Garay, Mauricio
2012-01-01
Arithmetic class are closed subsets of the euclidean space which generalise arithmetical conditions encoutered in dynamical systems, such as diophantine conditions or Bruno type conditions. I prove density estimates for such sets using Dani-Kleinbock-Margulis techniques.
Reversible arithmetic logic unit
zhou, Rigui; Shi, Yang; Zhang, Manqun
2011-01-01
Quantum computer requires quantum arithmetic. The sophisticated design of a reversible arithmetic logic unit (reversible ALU) for quantum arithmetic has been investigated in this letter. We provide explicit construction of reversible ALU effecting basic arithmetic operations. By provided the corresponding control unit, the proposed reversible ALU can combine the classical arithmetic and logic operation in a reversible integrated system. This letter provides actual evidence to prove the possib...
Burgos Gil, José Ignacio; Feliu, E.
2009-01-01
We give a new construction of higher arithmetic Chow groups for quasi-projective arithmetic varieties over a field. Our definition agrees with the higher arithmetic Chow groups defined by Goncharov for projective arithmetic varieties over a field. These groups are the analogue, in the Arakelov context, of the higher algebraic Chow groups defined by Bloch. The degree zero group agrees with the arithmetic Chow groups of Burgos. Our new construction is shown to be a contravariant functor and is ...
Zariski decompositions on arithmetic surfaces
Moriwaki, Atsushi
2009-01-01
In this paper, we establish the Zariski decompositions of arithmetic R-divisors of continuous type on arithmetic surfaces and investigate several properties. We also develop the general theory of arithmetic R-divisors on arithmetic varieties.
We incorporate the string theory into the number theoretic formulation based on arithmetic geometry. The string theory is generalized p-adically and interpreted on an arithmetic surface. A p-adic multi-loop scattering amplitude is constructed. (orig.)
Introduction to Projective Arithmetics
Burgin, Mark
2010-01-01
Science and mathematics help people to better understand world, eliminating many inconsistencies, fallacies and misconceptions. One of such misconceptions is related to arithmetic of natural numbers, which is extremely important both for science and everyday life. People think their counting is governed by the rules of the conventional arithmetic and thus other kinds of arithmetics of natural numbers do not exist and cannot exist. However, this popular image of the situation with the natural numbers is wrong. In many situations, people have to utilize and do implicitly utilize rules of counting and operating different from rules and operations in the conventional arithmetic. This is a consequence of the existing diversity in nature and society. To correctly represent this diversity, people have to explicitly employ different arithmetics. To make a distinction, we call the conventional arithmetic by the name Diophantine arithmetic, while other arithmetics are called non-Diophantine. There are two big families ...
Rastegar, Arash
2015-01-01
By Grothendieck's anabelian conjectures, Galois representations landing in outer automorphism group of the algebraic fundamental group which are associated to hyperbolic smooth curves defined over number-fields encode all the arithmetic information of these curves. The Goal of this paper is to develop an arithmetic Teichmuller theory, by which we mean, introducing arithmetic objects summarizing the arithmetic information coming from all curves of the same topological type defined over number-...
Sugahara, K.; Weng, L
2015-01-01
We first introduce global arithmetic cohomology groups for quasi-coherent sheaves on arithmetic varieties, adopting an adelic approach. Then, we establish fundamental properties, such as topological duality and inductive long exact sequences, for these cohomology groups on arithmetic surfaces. Finally, we expose basic structures for ind-pro topologies on adelic spaces of arithmetic surfaces. In particular, we show that these adelic spaces are topologically self-dual.
Bruno, Adriano; Yasaki, Dan
2008-01-01
The arithmetic of the natural numbers can be extended to arithmetic operations on planar binary trees. This gives rise to a non-commutative arithmetic theory. In this exposition, we describe this arithmetree, first defined by Loday, and investigate prime trees.
No Arithmetic Cyclic Quadrilaterals
Beauregard, Raymond A.
2006-01-01
A quadrilateral is arithmetic if its area is an integer and its sides are integers in an arithmetic progression, and it is cyclic if it can be inscribed in a circle. The author shows that no quadrilateral is both arithmetic and cyclic.
Oller-Marcén, Antonio M.
2012-01-01
An integer $n$ is said to be \\textit{arithmetic} if the arithmetic mean of its divisors is an integer. In this paper, using properties of the factorization of values of cyclotomic polynomials, we characterize arithmetic numbers. As an application, in Section 2, we give an interesting characterization of Mersenne numbers.
Adelic divisors on arithmetic varieties
Moriwaki, Atsushi
2013-01-01
In this article, we generalize several fundamental results for arithmetic divisors, such as the continuity of the volume function, the generalized Hodge index theorem, Fujita's approximation theorem for arithmetic divisors and Zariski decompositions for arithmetic divisors on arithmetic surfaces, to the case of the adelic arithmetic divisors.
Reversible arithmetic logic unit for quantum arithmetic
Thomsen, Michael Kirkedal; Glück, Robert; Axelsen, Holger Bock
2010-01-01
This communication presents the complete design of a reversible arithmetic logic unit (ALU) that can be part of a programmable reversible computing device such as a quantum computer. The presented ALU is garbage free and uses reversible updates to combine the standard reversible arithmetic...... ALU for a programmable computing device is possible and that the V-shape design is a very versatile approach to the design of quantum networks....... and logical operations in one unit. Combined with a suitable control unit, the ALU permits the construction of an r-Turing complete computing device. The garbage-free ALU developed in this communication requires only 6n elementary reversible gates for five basic arithmetic-logical operations on two n...
Gil, J. I. Burgos; Feliu, Elisenda
2012-01-01
context, of the higher algebraic Chow groups defined by Bloch. For projective varieties the degree zero group agrees with the arithmetic Chow groups defined by Gillet and Soulé, and in general with the arithmetic Chow groups of Burgos. Our new construction is shown to be a contravariant functor and is...... endowed with a product structure, which is commutative and associative....
Curiosities of arithmetic gases
Statistical mechanical systems with an exponential density of states are considered. The arithmetic analog of parafermions of arbitrary order is constructed and a formula for boson-parafermion equivalence is obtained using properties of the Riemann zeta function. Interactions (nontrivial mixing) among arithmetic gases using the concept of twisted convolutions are also introduced. Examples of exactly solvable models are discussed in detail
Precision Arithmetic: A New Floating-Point Arithmetic
Wang, Chengpu
2006-01-01
A new deterministic floating-point arithmetic called precision arithmetic is developed to track precision for arithmetic calculations. It uses a novel rounding scheme to avoid excessive rounding error propagation of conventional floating-point arithmetic. Unlike interval arithmetic, its uncertainty tracking is based on statistics and the central limit theorem, with a much tighter bounding range. Its stable rounding error distribution is approximated by a truncated normal distribution. Generic...
Dominici, Diego
2011-01-01
This work introduces a distance between natural numbers not based on their position on the real line but on their arithmetic properties. We prove some metric properties of this distance and consider a possible extension.
Ganea, Mihai
2009-01-01
Relations between some theories of semigroups (also known as theories of strings or theories of concatenation) and arithmetic are surveyed. In particular Robinson's arithmetic Q is shown to be mutually interpretable with TC, a weak theory of concatenation introduced by Grzegorczyk. Furthermore, TC is shown to be interpretable in the theory F studied by Tarski and Szmielewa, thus confirming their claim that F is essentially undecidable.
Nonstandard arithmetic and reverse mathematics
Keisler, H. Jerome
2006-01-01
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard arithmetic. In the earlier paper [3] we introduced saturation principles in nonstandard arithmetic which are equivalent in strength to strong choice axioms in second order arithmetic. This paper studies principles which are equivalent in strength to weaker theories in second order arithmetic.
Kazhdan's Theorem on Arithmetic Varieties
Milne, J S
2001-01-01
Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again arithmetic. This article simplifies Kazhdan's proof. In particular, it avoids recourse to the classification theorems. It was originally completed on March 28, 1984, and distribu...
Reversible arithmetic logic unit for quantum arithmetic
This communication presents the complete design of a reversible arithmetic logic unit (ALU) that can be part of a programmable reversible computing device such as a quantum computer. The presented ALU is garbage free and uses reversible updates to combine the standard reversible arithmetic and logical operations in one unit. Combined with a suitable control unit, the ALU permits the construction of an r-Turing complete computing device. The garbage-free ALU developed in this communication requires only 6n elementary reversible gates for five basic arithmetic-logical operations on two n-bit operands and does not use ancillae. This remarkable low resource consumption was achieved by generalizing the V-shape design first introduced for quantum ripple-carry adders and nesting multiple V-shapes in a novel integrated design. This communication shows that the realization of an efficient reversible ALU for a programmable computing device is possible and that the V-shape design is a very versatile approach to the design of quantum networks. (fast track communication)
Numerical characterization of nef arithmetic divisors on arithmetic surfaces
Moriwaki, Atsushi
2012-01-01
In this paper, we give a numerical characterization of nef arithmetic R-Cartier divisors of C^0-type on an arithmetic surface. Namely an arithmetic R-Cartier divisor D of C^0-type is nef if and only if D is pseudo-effective and deg(D^2) = vol(D).
An "Arithmetic" Thinker Tackles Algebra
Armstrong, Alayne C.
2006-01-01
Working from Carolyn Kieran's categorization of "arithmetic" and "algebraic" thinkers, the article describes one eighth-grade "arithmetic" thinker's progress as she attempts to solve one- and two-step equations.
Connecting Arithmetic to Algebra
Darley, Joy W.; Leapard, Barbara B.
2010-01-01
Algebraic thinking is a top priority in mathematics classrooms today. Because elementary school teachers lay the groundwork to develop students' capacity to think algebraically, it is crucial for teachers to have a conceptual understanding of the connections between arithmetic and algebra and be confident in communicating these connections. Many…
Dominici, Diego
2009-01-01
What is the distance between 11 (a prime number) and 12 (a highly composite number)? If your answer is 1, then ask yourself "is this reasonable?" In this work, we will introduce a distance between natural numbers based on their arithmetic properties, instead of their position on the real line.
Arithmetic of Complex Manifolds
Lange, Herbert
1989-01-01
It was the aim of the Erlangen meeting in May 1988 to bring together number theoretists and algebraic geometers to discuss problems of common interest, such as moduli problems, complex tori, integral points, rationality questions, automorphic forms. In recent years such problems, which are simultaneously of arithmetic and geometric interest, have become increasingly important. This proceedings volume contains 12 original research papers. Its main topics are theta functions, modular forms, abelian varieties and algebraic three-folds.
Several ways of local timing of the Josephson-junction RSFQ (Rapid Single Flux Quantum) logic elements are proposed, and their peculiarities are discussed. Several examples of serial and parallel pipelined arithmetic blocks using various types of timing are suggested and their possible performance is discussed. Serial devices enable one to perform n-bit functions relatively slowly but using integrated circuits of a moderate integration scale, while parallel pipelined devices are more hardware-wasteful but promise extremely high productivity
Towards an arithmetical logic the arithmetical foundations of logic
Gauthier, Yvon
2015-01-01
This book offers an original contribution to the foundations of logic and mathematics, and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic, and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of l...
Sets with Prescribed Arithmetic Densities
Luca, F.; Pomerance, C.; Porubský, Štefan
2008-01-01
Roč. 3, č. 2 (2008), s. 67-80. ISSN 1336-913X R&D Projects: GA ČR GA201/07/0191 Institutional research plan: CEZ:AV0Z10300504 Keywords : generalized arithmetic density * generalized asymptotic density * generalized logarithmic density * arithmetic al semigroup * weighted arithmetic mean * ratio set * R-dense set * Axiom A * delta-regularly varying function Subject RIV: BA - General Mathematics
Yablo's Paradox And Arithmetical Incompleteness
Leach-Krouse, Graham
2011-01-01
In this short paper, I present a few theorems on sentences of arithmetic which are related to Yablo's Paradox as G\\"odel's first undecidable sentence was related to the Liar paradox. In particular, I consider two different arithemetizations of Yablo's sentences: one resembling G\\"odel's arithmetization of the Liar, with the negation outside of the provability predicate, one resembling Jeroslow's undecidable sentence, with negation inside. Both kinds of arithmetized Yablo sentence are undecida...
Graph colorings, flows and arithmetic Tutte polynomial
D'Adderio, Michele; Moci, Luca
2011-01-01
We introduce the notions of arithmetic colorings and arithmetic flows over a graph with labelled edges, which generalize the notions of colorings and flows over a graph. We show that the corresponding arithmetic chromatic polynomial and arithmetic flow polynomial are given by suitable specializations of the associated arithmetic Tutte polynomial, generalizing classical results of Tutte.
Introduction to cardinal arithmetic
Holz, M; Weitz, E
1999-01-01
This book is an introduction into modern cardinal arithmetic in the frame of the axioms of Zermelo-Fraenkel set theory together with the axiom of choice (ZFC). A first part describes the classical theory developed by Bernstein, Cantor, Hausdorff, König and Tarski between 1870 and 1930. Next, the development in the 1970s led by Galvin, Hajnal and Silver is characterized. The third part presents the fundamental investigations in pcf theory which have been worked out by Shelah to answer the questions left open in the 1970s.Reviews:'The authors aim their text at beginners in set theory. They start
Fast Fuzzy Arithmetic Operations
Hampton, Michael; Kosheleva, Olga
1997-01-01
In engineering applications of fuzzy logic, the main goal is not to simulate the way the experts really think, but to come up with a good engineering solution that would (ideally) be better than the expert's control, In such applications, it makes perfect sense to restrict ourselves to simplified approximate expressions for membership functions. If we need to perform arithmetic operations with the resulting fuzzy numbers, then we can use simple and fast algorithms that are known for operations with simple membership functions. In other applications, especially the ones that are related to humanities, simulating experts is one of the main goals. In such applications, we must use membership functions that capture every nuance of the expert's opinion; these functions are therefore complicated, and fuzzy arithmetic operations with the corresponding fuzzy numbers become a computational problem. In this paper, we design a new algorithm for performing such operations. This algorithm is applicable in the case when negative logarithms - log(u(x)) of membership functions u(x) are convex, and reduces computation time from O(n(exp 2))to O(n log(n)) (where n is the number of points x at which we know the membership functions u(x)).
Conceptual Knowledge of Fraction Arithmetic
Siegler, Robert S.; Lortie-Forgues, Hugues
2015-01-01
Understanding an arithmetic operation implies, at minimum, knowing the direction of effects that the operation produces. However, many children and adults, even those who execute arithmetic procedures correctly, may lack this knowledge on some operations and types of numbers. To test this hypothesis, we presented preservice teachers (Study 1),…
Valuations on arithmetic surfaces
XU Ning
2009-01-01
In this paper,we give the definition of the height of a valuation and the definition of the big field Cp,G,where p is a prime and G R is an additive subgroup containing 1.We conclude that Cp,G is a field and Cp,G is algebraically closed.Based on this the author obtains the complete classification of valuations on arithmetic surfaces.Furthermore,for any m ≤ n ∈ Z,let Vm,n be an R-vector space of dimension n - m + 1,whose coordinates are indexed from rn to n.We generalize the definition of Cp,G,where p is a prime and G C Vm,n is an additive subgroup containing 1.We also conclude that Cp,G is a field if m ≤ 0 ≤ n.
Valuations on arithmetic surfaces
无
2009-01-01
In this paper, we give the definition of the height of a valuation and the definition of the big field Cp,G, where p is a prime and GR is an additive subgroup containing 1. We conclude that Cp,G is a field and Cp,G is algebraically closed. Based on this the author obtains the complete classification of valuations on arithmetic surfaces. Furthermore, for any m ≤n∈ Z, let Vm,n be an R-vector space of dimension n-m + 1, whose coordinates are indexed from m to n. We generalize the definition of Cp,G, where p is a prime and GVm,n is an additive subgroup containing 1. We also conclude that Cp,G is a field if m ≤0 ≤n.
New properties of arithmetic groups
Platonov, Vladimir P [Scientific Research Institute for System Studies of RAS (Russian Federation)
2011-01-25
New substantial results including the solutions of a number of fundamental problems have been obtained in the last decade or so: the first and rather unexpected examples of arithmetic groups with finite extensions that are not arithmetic were constructed; a criterion for arithmeticity of such extensions was found; deep rigidity theorems were proved for arithmetic subgroups of algebraic groups with radical; a theorem on the finiteness of the number of conjugacy classes of finite subgroups in finite extensions of arithmetic groups was proved, leading to numerous applications, in particular, this theorem made it possible to solve the Borel-Serre problem (1964) on the finiteness of the first cohomology of finite groups with coefficients in an arithmetic group; the problem posed more than 30 years ago on the existence of finitely generated integral linear groups that have infinitely many conjugacy classes of finite subgroups was solved; the arithmeticity question for solvable groups was settled. Similar problems were also solved for lattices in Lie groups with finitely many connected components. This paper is a survey of these results. Bibliography: 27 titles.
New properties of arithmetic groups
New substantial results including the solutions of a number of fundamental problems have been obtained in the last decade or so: the first and rather unexpected examples of arithmetic groups with finite extensions that are not arithmetic were constructed; a criterion for arithmeticity of such extensions was found; deep rigidity theorems were proved for arithmetic subgroups of algebraic groups with radical; a theorem on the finiteness of the number of conjugacy classes of finite subgroups in finite extensions of arithmetic groups was proved, leading to numerous applications, in particular, this theorem made it possible to solve the Borel-Serre problem (1964) on the finiteness of the first cohomology of finite groups with coefficients in an arithmetic group; the problem posed more than 30 years ago on the existence of finitely generated integral linear groups that have infinitely many conjugacy classes of finite subgroups was solved; the arithmeticity question for solvable groups was settled. Similar problems were also solved for lattices in Lie groups with finitely many connected components. This paper is a survey of these results. Bibliography: 27 titles.
Arithmetic the foundation of mathematics
2015-01-01
Arithmetic factors into our lives on a daily basis, so it's hard to imagine a world without the six basic operations: addition, subtraction, multiplication, division, raising to powers, and finding roots. Readers will get a solid overview of arithmetic, while offering useful examples of how they are used in routine activities, such as social media applications. It reinforces Common Core math standards, including understanding basic math concepts and how they apply to students' daily lives and challenges. A history of arithmetic helps provide a contextual framework for the course of its develop
Periodic orbits in arithmetical chaos
Length spectra of periodic orbits are investigated for some chaotic dynamical systems whose quantum energy spectra show unexpected statistical properties and for which the notion of arithmetical chaos has been introduced recently. These systems are defined as the unconstrained motions of particles on two dimensional surfaces of constant negative curvature whose fundamental groups are given by number theoretical statements (arithmetic Fuchsian groups). It is shown that the mean multiplicity of lengths l of periodic orbits grows asymptotically like c x el/2/l, l → ∞. Moreover, the constant c (depending on the arithmetic group) is determined. (orig.)
Arakelov theory of noncommutative arithmetic surfaces
Borek, Thomas
2008-01-01
The purpose of this paper is to initiate Arakelov theory in a noncommutative setting. More precisely, we are concerned with noncommutative arithmetic surfaces. We introduce a version of arithmetic intersection theory on noncommutative arithmetic surfaces and we prove an arithmetic Riemann-Roch theorem in this setup.
On the concavity of the arithmetic volumes
Ikoma, Hideaki
2013-01-01
In this note, we study the differentiability of the arithmetic volumes along arithmetic R-divisors, and give some equality conditions for the Brunn-Minkowski inequality for arithmetic volumes over the cone of nef and big arithmetic R-divisors.
Remarks on the arithmetic restricted volumes and the arithmetic base loci
Ikoma, Hideaki
2014-01-01
In this paper, we collect some fundamental properties of the arithmetic restricted volumes (or the arithmetic multiplicities) of the adelically metrized line bundles. The arithmetic restricted volume has the concavity property and characterizes the arithmetic augmented base locus as the null locus. We also show a generalized Fujita approximation for the arithmetic restricted volume.
Yablo's Paradox And Arithmetical Incompleteness
Leach-Krouse, Graham
2011-01-01
In this short paper, I present a few theorems on sentences of arithmetic which are related to Yablo's Paradox as G\\"odel's first undecidable sentence was related to the Liar paradox. In particular, I consider two different arithemetizations of Yablo's sentences: one resembling G\\"odel's arithmetization of the Liar, with the negation outside of the provability predicate, one resembling Jeroslow's undecidable sentence, with negation inside. Both kinds of arithmetized Yablo sentence are undecidable, and connected to the consistency sentence for the ambient formal system in roughly the same manner as G\\"odel and Jeroslow's sentences. Finally, I consider a sentence which is related to the Henkin sentence "I am provable" in the same way that first two arithmetizations are related to G\\"odel and Jeroslaw's sentences. I show that this sentence is provable, using L\\"ob's theorem, as in the standard proof of the Henkin sentence.
Markov, Svetoslav; Hayes, Nathan
2010-01-01
An approximate number is an ordered pair consisting of a (real) number and an error bound, briefly error, which is a (real) non-negative number. To compute with approximate numbers the arithmetic operations on errors should be well-known. To model computations with errors one should suitably define and study arithmetic operations and order relations over the set of non-negative numbers. In this work we discuss the algebraic properties of non-negative numbers starting from fa...
Inequalities for semistable families of arithmetic varieties
Kawaguchi, Shu; Moriwaki, Atsushi
1997-01-01
In this paper, we will consider a generalization of Bogomolov's inequality and Cornalba-Harris-Bost's inequality to semistable families of arithmetic varieties under the idea that geometric semistability implies a certain kind of arithmetic positivity. The first one is an arithmetic analogue of the relative Bogomolov's inequality proved by the second author. We also establish the arithmetic Riemann-Roch formulae for stable curves over regular arithmetic varieties and generically finite morphi...
Primitive geodesic lengths and (almost) arithmetic progressions
Lafont, Jean-François; McReynolds, D. B.
2014-01-01
In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsification of arithmetic progressions, and prove that every negatively curved, closed Riemannian manifold has arbitrarily long almost arithmetic progressions in its primitive length ...
Neuropsychology of childhood arithmetic disorders.
Batchelor, E S
1989-01-01
The arithmetic learning disability literature was reviewed and critiqued. Due to the paucity of research in this area, few conclusions may be inferred. In general, the available research has provided tentative hypotheses about the nature of arithmetic disabilities. A variety of psychosocial variables notwithstanding, childhood arithmetic disability may directly result from cerebral dysfunction, poor motivation, and emotional/behavioral disturbance. However, further research is necessary in order to clarify the effects of maturation on arithmetic skills acquisition. Indeed, one approach to identification of the disorder would consider individual differences in neuropsychological development and performance affecting arithmetic achievement. It was concluded that a more comprehensive approach to investigating and diagnosing childhood arithmetic disability is needed. Reformulations and methods of study were articulated. Six related lines of research were outlined. A diagnostic rating scale was suggested which would account for type and severity of disorder. Diagnostic criteria were recommended based on the degree and definition of disability. Needs for remediation research were briefly explored. PMID:2485827
New technological design of arithmetics
There are illogical and irrational rules in numbers writing and pronunciation in almost of languages. A part of the aim is to show the electronic applications possibility of logical and systematic rules which are proposed by Raoelina Andriambololona to write and pronounce numbers; we had studied and created the arithmetic operations representation corresponding in binary basis and in hexadecimal basis. The brand new found concept corresponds as well as the method which uses the matrix product calculation, in according with the writing and the pronunciation of numbers. It was shown how to concept the arithmetic operators in digital electronics; and we proposed and assumed to make headway and to do amelioration for technical conception of calculator and arithmetic unite those are at the basic function of all computers and almost domestic sophisticated machine. The left hand side- right hand side and increasing order writing of number is exploited to build a new computer programming for a scientific calculator.
Trace formulae for arithmetical systems
For quantum problems on the pseudo-sphere generated by arithmetic groups there exist special trace formulae, called trace formulae for Hecke operators, which permit the reconstruction of wave functions from the knowledge of periodic orbits. After a short discussion of this subject, the Hecke operators trace formulae are presented for the Dirichlet problem on the modular billiard, which is a prototype of arithmetical systems. The results of numerical computations for these semiclassical type relations are in good agreement with the directly computed eigenfunctions. (author) 23 refs.; 2 figs
Counting arithmetic lattices and surfaces
Belolipetsky, Mikhail; Gelander, Tsachik; Lubotzky, Alexander; Shalev, Aner
2010-01-01
We give estimates on the number $AL_H(x)$ of arithmetic lattices $\\Gamma$ of covolume at most $x$ in a simple Lie group $H$. In particular, we obtain a first concrete estimate on the number of arithmetic 3-manifolds of volume at most $x$. Our main result is for the classical case $H=PSL(2,R)$ where we compute the limit of $\\log AL_H(x) / x\\log x$ when $x\\to\\infty$. The proofs use several different techniques: geometric (bounding the number of generators of $\\Gamma$ as a function of its covolu...
Predicting Arithmetic Abilities: The Role of Preparatory Arithmetic Markers and Intelligence
Stock, Pieter; Desoete, Annemie; Roeyers, Herbert
2009-01-01
Arithmetic abilities acquired in kindergarten are found to be strong predictors for later deficient arithmetic abilities. This longitudinal study (N = 684) was designed to examine if it was possible to predict the level of children's arithmetic abilities in first and second grade from their performance on preparatory arithmetic abilities in…
An arithmetic Lefschetz-Riemann-Roch theorem
Tang, Shun
2015-01-01
In this article, we consider regular arithmetic schemes in the context of Arakelov geometry, endowed with an action of the diagonalisable group scheme associated to a finite cyclic group. For any equivariant and proper morphism of such arithmetic schemes, which is smooth over the generic fibre, we define a direct image map between corresponding higher equivariant arithmetic K-groups and we discuss its transitivity property. Then we use the localization sequence of higher arithmetic K-groups a...
Is the conventional interval-arithmetic correct?
Andrzej Piegat; Marek Landowski
2012-01-01
Interval arithmetic as part of interval mathematics and Granular Computing is unusually important for development of science and engineering in connection with necessity of taking into account uncertainty and approximativeness of data occurring in almost all calculations. Interval arithmetic also conditions development of Artificial Intelligence and especially of automatic thinking, Computing with Words, grey systems, fuzzy arithmetic and probabilistic arithmetic. However, the mostly used con...
Differential forms on arithmetic jet spaces
Borger, James; Buium, Alexandru
2009-01-01
We study derivations and differential forms on the arithmetic jet spaces of smooth schemes, relative to several primes. As applications we give a new interpretation of arithmetic Laplacians and we discuss the de Rham cohomology of some specific arithmetic jet spaces.
On Volumes of Arithmetic Line Bundles
Yuan, Xinyi
2008-01-01
We show an arithmetic generalization of the recent work of Lazarsfeld-Mustata which uses Okounkov bodies to study linear series of line bundles. As applications, we derive a log-concavity inequality on volumes of arithmetic line bundles and an arithmetic Fujita approximation theorem for big line bundles.
Heights for line bundles on arithmetic surfaces
Jahnel, Joerg
1995-01-01
For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genus g, for line bundles of degree g equivalence is shown to the height on the Jacobian defined by the Theta divisor.
Solutions to Arithmetic Convolution Equations
Glöckner, H.; Lucht, L.G.; Porubský, Štefan
2007-01-01
Roč. 135, č. 6 (2007), s. 1619-1629. ISSN 0002-9939 R&D Projects: GA ČR GA201/04/0381 Institutional research plan: CEZ:AV0Z10300504 Keywords : arithmetic functions * Dirichlet convolution * polynomial equations * analytic equations * topological algebras * holomorphic functional calculus Subject RIV: BA - General Mathematics Impact factor: 0.520, year: 2007
Arithmetic theory of brick tilings
A new, 'arithmetic', approach to the algebraic theory of brick tilings is developed. This approach enables one to construct a simple classification of brick tilings in Zd and to find new proofs of several classical results on brick packing and tilings in Zd. In addition, possible generalizations of results on integer brick packing to the Euclidean plane R2 are investigated
The Development of Arithmetical Abilities
Butterworth, Brian
2005-01-01
Background: Arithmetical skills are essential to the effective exercise of citizenship in a numerate society. How these skills are acquired, or fail to be acquired, is of great importance not only to individual children but to the organisation of formal education and its role in society. Method: The evidence on the normal and abnormal…
A Short Survey on Arithmetic Transforms and the Arithmetic Hartley Transform
Cintra, R. J.; de Oliveira, H. M.
2015-01-01
Arithmetic complexity has a main role in the performance of algorithms for spectrum evaluation. Arithmetic transform theory offers a method for computing trigonometrical transforms with minimal number of multiplications. In this paper, the proposed algorithms for the arithmetic Fourier transform are surveyed. A new arithmetic transform for computing the discrete Hartley transform is introduced: the Arithmetic Hartley transform. The interpolation process is shown to be the key element of the a...
FAST TRACK COMMUNICATION: Reversible arithmetic logic unit for quantum arithmetic
Kirkedal Thomsen, Michael; Glück, Robert; Axelsen, Holger Bock
2010-09-01
This communication presents the complete design of a reversible arithmetic logic unit (ALU) that can be part of a programmable reversible computing device such as a quantum computer. The presented ALU is garbage free and uses reversible updates to combine the standard reversible arithmetic and logical operations in one unit. Combined with a suitable control unit, the ALU permits the construction of an r-Turing complete computing device. The garbage-free ALU developed in this communication requires only 6n elementary reversible gates for five basic arithmetic-logical operations on two n-bit operands and does not use ancillae. This remarkable low resource consumption was achieved by generalizing the V-shape design first introduced for quantum ripple-carry adders and nesting multiple V-shapes in a novel integrated design. This communication shows that the realization of an efficient reversible ALU for a programmable computing device is possible and that the V-shape design is a very versatile approach to the design of quantum networks.
Memory Updating and Mental Arithmetic
Han, Cheng-Ching; Yang, Tsung-Han; Lin, Chia-Yuan; Yen, Nai-Shing
2016-01-01
Is domain-general memory updating ability predictive of calculation skills or are such skills better predicted by the capacity for updating specifically numerical information? Here, we used multidigit mental multiplication (MMM) as a measure for calculating skill as this operation requires the accurate maintenance and updating of information in addition to skills needed for arithmetic more generally. In Experiment 1, we found that only individual differences with regard to a task updating num...
The Arithmetic of Supersymmetric Vacua
Bourget, Antoine
2016-01-01
We provide explicit formulas for the number of vacua of four-dimensional pure N=1 super Yang-Mills theories on a circle, with any simple gauge algebra and any choice of center and spectrum of line operators. These form a key ingredient in the semi-classical calculation of the number of massive vacua of N=1* gauge theories with gauge algebra su(n) compactified on a circle. Using arithmetic, we express that number in an SL(2,Z) duality invariant manner. We confirm our tally of massive vacua of the N=1* theories by a count of inequivalent extrema of the exact superpotential.
Arithmetical chaos and quantum cosmology
In this paper, we present the formalism to start a quantum analysis for the recent billiard representation introduced by Damour, Henneaux and Nicolai in the study of the cosmological singularity. In particular we use the theory of Maass automorphic forms and recent mathematical results about arithmetical dynamical systems. The predictions of the billiard model give precise automorphic properties for the wavefunction (Maass-Hecke eigenform), the asymptotic number of quantum states (Selberg asymptotics for PSL(2,Z)), the distribution for the level spacing statistics (the Poissonian one) and the absence of scarred states. The most interesting implication of this model is perhaps that the discrete spectrum is fully embedded in the continuous one.
Arithmetic geometry and number theory
Weng, Lin
2006-01-01
Mathematics is very much a part of our culture; and this invaluable collection serves the purpose of developing the branches involved, popularizing the existing theories and guiding our future explorations.More precisely, the goal is to bring the reader to the frontier of current developments in arithmetic geometry and number theory through the works of Deninger-Werner in vector bundles on curves over p-adic fields; of Jiang on local gamma factors in automorphic representations; of Weng on Deligne pairings and Takhtajan-Zograf metrics; of Yoshida on CM-periods; of Yu on transcendence of specia
A Bertini-type theorem for free arithmetic linear series
Ikoma, Hideaki
2015-01-01
In this paper, we prove a version of the arithmetic Bertini theorem asserting that there exists a strictly small and generically smooth section of a given arithmetically free graded arithmetic linear series.
Arithmetic of quantum entropy function
Quantum entropy function is a proposal for computing the entropy associated with the horizon of a black hole in the extremal limit, and is related via AdS/CFT correspondence to the dimension of the Hilbert space in a dual quantum mechanics. We show that in N = 4 supersymmetric string theories, quantum entropy function formalism naturally explains the origin of the subtle differences between the microscopic degeneracies of quarter BPS dyons carrying different torsion, i.e. different arithmetical properties. These arise from additional saddle points in the path integral - whose existence depends on the arithmetical properties of the black hole charges - constructed as freely acting orbifolds of the original AdS2 x S2 near horizon geometry. During this analysis we demonstrate that the quantum entropy function is insensitive to the details of the infrared cutoff used in the computation, and the details of the boundary terms added to the action. We also discuss the role of the asymptotic symmetries of AdS2 in carrying out the path integral in the definition of quantum entropy function. Finally we show that even though quantum entropy function is expected to compute the absolute degeneracy in a given charge and angular momentum sector, it can also be used to compute the index. This can then be compared with the microscopic computation of the index.
From Arithmetic Sequences to Linear Equations
Matsuura, Ryota; Harless, Patrick
2012-01-01
The first part of the article focuses on deriving the essential properties of arithmetic sequences by appealing to students' sense making and reasoning. The second part describes how to guide students to translate their knowledge of arithmetic sequences into an understanding of linear equations. Ryota Matsuura originally wrote these lessons for…
Weak Theories of Concatenation and Arithmetic
Horihata, Yoshihiro
2012-01-01
We define a new theory of concatenation WTC which is much weaker than Grzegorczyk's well-known theory TC. We prove that WTC is mutually interpretable with the weak theory of arithmetic R. The latter is, in a technical sense, much weaker than Robinson's arithmetic Q, but still essentially undecidable. Hence, as a corollary, WTC is also essentially undecidable.
Some results on uniform arithmetic circuit complexity
Frandsen, Gudmund Skovbjerg; Valence, Mark; Barrington, David A. Mix
1994-01-01
polynomial-size unbounded fan-in arithmetic circuits satisfying a natural uniformity constraint (DLOGTIME-uniformity). A 1-input and 1-output arithmetic function over the fieldsF2n may be identified with ann-input andn-output Boolean function when field elements are represented as bit strings. We prove that...
ASIC For Complex Fixed-Point Arithmetic
Petilli, Stephen G.; Grimm, Michael J.; Olson, Erlend M.
1995-01-01
Application-specific integrated circuit (ASIC) performs 24-bit, fixed-point arithmetic operations on arrays of complex-valued input data. High-performance, wide-band arithmetic logic unit (ALU) designed for use in computing fast Fourier transforms (FFTs) and for performing ditigal filtering functions. Other applications include general computations involved in analysis of spectra and digital signal processing.
Szemeredi's theorem and problems on arithmetic progressions
Szemeredi's famous theorem on arithmetic progressions asserts that every subset of integers of positive asymptotic density contains arithmetic progressions of arbitrary length. His remarkable theorem has been developed into a major new area of combinatorial number theory. This is the topic of the present survey.
Numerical Magnitude Representations Influence Arithmetic Learning
Booth, Julie L.; Siegler, Robert S.
2008-01-01
This study examined whether the quality of first graders' (mean age = 7.2 years) numerical magnitude representations is correlated with, predictive of, and causally related to their arithmetic learning. The children's pretest numerical magnitude representations were found to be correlated with their pretest arithmetic knowledge and to be…
Error-correcting codes in computer arithmetic.
Massey, J. L.; Garcia, O. N.
1972-01-01
Summary of the most important results so far obtained in the theory of coding for the correction and detection of errors in computer arithmetic. Attempts to satisfy the stringent reliability demands upon the arithmetic unit are considered, and special attention is given to attempts to incorporate redundancy into the numbers themselves which are being processed so that erroneous results can be detected and corrected.
Prevalence of Combined Reading and Arithmetic Disabilities
Dirks, Evelien; Spyer, Ginny; van Lieshout, Ernest C. D. M.; de Sonneville, Leo
2008-01-01
This study assesses the prevalence of combined reading and arithmetic disabilities in 799 Dutch schoolchildren using standardized school achievement tests. Scores of arithmetic, word recognition, reading comprehension, and spelling of children in fourth and fifth grade were used. The main interest involved the co-occurrence of word recognition and…
Patrick Lemaire
2010-10-01
Full Text Available In this paper, we provide an overview of three important issues regarding working-memory/executive functions (WM/EF, strategies, and cognitive development in the domain of arithmetic. One goal of this overview is to bring some lights on the depth and breadth of the most valuable contributions that André Vandierendonck and his collaborators made on these issues. First, we consider strategic aspects of arithmetic performance and strategic development in arithmetic. Second, the role of WM/EF on arithmetic performance and arithmetic strategies is discussed. Finally, some data are reported on how age-related changes in WM/EF affect strategic development in arithmetic. For each of these issues, we highlight how the works carried out by André Vandierendonck and his colleagues, when integrated in the broader context of research on cognitive arithmetic, contributed to our further understanding of participants' performance and age-related changes in this performance.
Level statistics in arithmetical and pseudo-arithmetical chaos
We investigate a long-standing riddle in quantum chaos, posed by certain fully chaotic billiards with constant negative curvature whose periodic orbits are highly degenerate in length. Depending on the boundary conditions for the quantum wavefunctions, the energy spectra either have uncorrelated levels usually associated with classical integrability or conform to the 'universal' Wigner-Dyson type although the classical dynamics in both cases is the same. The resolution turns out surprisingly simple. The Maslov indices of orbits within multiplets of degenerate length either yield equal phases for the respective Feynman amplitudes (and thus Poissonian level statistics) or give rise to amplitudes with uncorrelated phases (leading to Wigner-Dyson level correlations). The recent semiclassical explanation of spectral universality in quantum chaos is thus extended to the latter case of 'pseudo-arithmetical' chaos. (fast track communication)
Plain Polynomial Arithmetic on GPU
As for serial code on CPUs, parallel code on GPUs for dense polynomial arithmetic relies on a combination of asymptotically fast and plain algorithms. Those are employed for data of large and small size, respectively. Parallelizing both types of algorithms is required in order to achieve peak performances. In this paper, we show that the plain dense polynomial multiplication can be efficiently parallelized on GPUs. Remarkably, it outperforms (highly optimized) FFT-based multiplication up to degree 212 while on CPU the same threshold is usually at 26. We also report on a GPU implementation of the Euclidean Algorithm which is both work-efficient and runs in linear time for input polynomials up to degree 218 thus showing the performance of the GCD algorithm based on systolic arrays.
Arithmetic area for m planar Brownian paths
Desbois, Jean
2012-01-01
We pursue the analysis made in [1] on the arithmetic area enclosed by m closed Brownian paths. We pay a particular attention to the random variable S{n1,n2, ...,n} (m) which is the arithmetic area of the set of points, also called winding sectors, enclosed n1 times by path 1, n2 times by path 2, ...,nm times by path m. Various results are obtained in the asymptotic limit m->infinity. A key observation is that, since the paths are independent, one can use in the m paths case the SLE information, valid in the 1-path case, on the 0-winding sectors arithmetic area.
Quality of Arithmetic Education for Children with Cerebral Palsy
Jenks, Kathleen M.; de Moor, Jan; van Lieshout, Ernest C. D. M.; Withagen, Floortje
2010-01-01
The aim of this exploratory study was to investigate the quality of arithmetic education for children with cerebral palsy. The use of individual educational plans, amount of arithmetic instruction time, arithmetic instructional grouping, and type of arithmetic teaching method were explored in three groups: children with cerebral palsy (CP) in…
Patrick Lemaire
2010-01-01
In this paper, we provide an overview of three important issues regarding working-memory/executive functions (WM/EF), strategies, and cognitive development in the domain of arithmetic. One goal of this overview is to bring some lights on the depth and breadth of the most valuable contributions that André Vandierendonck and his collaborators made on these issues. First, we consider strategic aspects of arithmetic performance and strategic development in arithmetic. Second, the role of WM/EF on...
Obstacle problem for Arithmetic Asian options
Laura Monti; Andrea Pascucci
2009-01-01
We prove existence, regularity and a Feynman-Ka\\v{c} representation formula of the strong solution to the free boundary problem arising in the financial problem of the pricing of the American Asian option with arithmetic average.
L(2)-cohomology of arithmetic varieties.
Saper, L; Stern, M
1987-08-01
The L(2)-cohomology of arithmetic quotients of bounded symmetric domains is studied. We establish the conjecture of Zucker equating the L(2)-cohomology of these spaces to the intersection cohomology of their Baily-Borel compactifications. PMID:16593866
L2-cohomology of arithmetic varieties
Saper, Leslie; Stern, Mark
1987-01-01
The L2-cohomology of arithmetic quotients of bounded symmetric domains is studied. We establish the conjecture of Zucker equating the L2-cohomology of these spaces to the intersection cohomology of their Baily-Borel compactifications. PMID:16593866
Recursive formula for arithmetic Asian option prices
Kyungsub Lee
2013-01-01
We derive a recursive formula for arithmetic Asian option prices with finite observation times in semimartingale models. The method is based on the relationship between the risk-neutral expectation of the quadratic variation of the return process and European option prices. The computation of arithmetic Asian option prices is straightforward whenever European option prices are available. Applications with numerical results under the Black-Scholes framework and the exponential L\\'evy model are...
Complete Program Synthesis for Linear Arithmetic
Mayer, Mikael
2010-01-01
Synthesis of programs or their fragments is a way to write programs by providing only their meaning without worrying about the implementation details. It avoids the drawback of writing sequential code, which might be difficult to check, error-prone or tedious. Our contribution is to provide complete program synthesis algorithms with unbounded data types in decidable theories. We present synthesis algorithms for Linear Rational Arithmetic, Linear Integer Arithmetic and Parametrized Linear Inte...
A general purpose arithmetic logic unit
A fast arithmetic and logic unit (ALU) has been constructed as a single CAMAC unit. This device has been designed to provide both arithmetic and logical operations on two 16-bit data fields. The ALU will be put into practical use in the energy trigger of the L3 experiment at LEP, CERN. Due to its simplicity and flexibility the circuit may have applications in other high energy physics experiments. In this paper we describe the details of this circuit. (orig.)
How to be Brilliant at Mental Arithmetic
Webber, Beryl
2010-01-01
How to be Brilliant at Mental Arithmetic addresses the twin pillars of mental arithmetic - mental recall and mental agility. Mental recall depends on familiarity with number bonds and plenty of opportunity to practise. Mental agility depends more on confidence with the number system and the four operations. Using the worksheets in this book, students will learn about: tens and units; addition, subtraction, multiplication and division; addition shortcuts; product squares; quick recall; number se
Herbrand consistency of some arithmetical theories
Salehi, Saeed
2012-01-01
G\\"odel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the witnesses of bounded formulas, due to Z. Adamowicz [Herbrand consistency and bounded arithmetic, \\textit{Fundamenta Mathematicae} 171 (2002) 279--292]. In that paper, it was shown that one cannot always shrink the witness of a bounded formula logarithmically, but in the presence of Herbrand consistency, for theories ...
Dynamic mental number line in simple arithmetic.
Yu, Xiaodan; Liu, Jie; Li, Dawei; Liu, Hang; Cui, Jiaxin; Zhou, Xinlin
2016-05-01
Studies have found that spatial-numerical associations could extend to arithmetic. Addition leads to rightward shift in spatial attention while subtraction leads to leftward shift (e.g., Knops et al. 2009; McCrink et al. 2007; Pinhas & Fischer 2008), which is consistent with the hypothesis of static mental number line (MNL) for arithmetic. The current investigation tested the hypothesis of dynamic mental number line which was shaped by the relative magnitudes of two operands in simple arithmetic. Horizontal and vertical electrooculograms (HEOG and VEOG) during simple arithmetic were recorded. Results showed that the direction of eye movements was dependent on the relative magnitudes of two operands. Subtraction was associated with larger rightward eye movements than addition (Experiment 1), and smaller-operand-first addition (e.g., 2+9) was associated with larger rightward eye movement than larger-operand-first addition (e.g., 9+2) only when the difference of two operands was large (Experiment 2). The results suggest that the direction of the mental number line could be dynamic during simple arithmetic, and that the eyes move along the dynamic mental number line to search for solutions. PMID:26645825
Arithmetic Self-Similarity of Infinite Sequences
Hendriks, Dimitri; Endrullis, Joerg; Dow, Mark; Klop, Jan Willem
2012-01-01
We define the arithmetic self-similarity (AS) of a one-sided infinite sequence sigma to be the set of arithmetic progressions through sigma which are a vertical shift of sigma. We classify the AS of several well-known sequences, such as the Thue-Morse sequence, the period doubling sequence, and the regular paperfolding sequence. The latter two are examples of (completely) additive sequences as well as of Toeplitz words. We investigate the intersection of these families. We give a complete characterization of single-gap patterns that yield additive Toeplitz words, and classify their AS. Moreover, we show that every arithmetic progression through a Toeplitz word generated by a one-gap pattern is again a Toeplitz word. Finally, we establish that generalized Morse sequences are specific sum-of-digits sequences, and show that their first difference is a Toeplitz word.
Arithmetic geometry over global function fields
Longhi, Ignazio; Trihan, Fabien
2014-01-01
This volume collects the texts of five courses given in the Arithmetic Geometry Research Programme 2009–2010 at the CRM Barcelona. All of them deal with characteristic p global fields; the common theme around which they are centered is the arithmetic of L-functions (and other special functions), investigated in various aspects. Three courses examine some of the most important recent ideas in the positive characteristic theory discovered by Goss (a field in tumultuous development, which is seeing a number of spectacular advances): they cover respectively crystals over function fields (with a number of applications to L-functions of t-motives), gamma and zeta functions in characteristic p, and the binomial theorem. The other two are focused on topics closer to the classical theory of abelian varieties over number fields: they give respectively a thorough introduction to the arithmetic of Jacobians over function fields (including the current status of the BSD conjecture and its geometric analogues, and the con...
Learning, Realizability and Games in Classical Arithmetic
Aschieri, Federico
2010-01-01
In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic. First, we extend Kreisel modified realizability to a classical fragment of first order Arithmetic, Heyting Arithmetic plus EM1 (Excluded middle axiom restricted to Sigma^0_1 formulas). We introduce a new realizability semantics we call "Interactive Learning-Based Realizability". Our realizers are self-correcting programs, which learn from their errors and evolve through time. Secondly, we extend the class of learning based realizers to a classical version PCFclass of PCF and, then, compare the resulting notion of realizability with Coquand game semantics and prove a full soundness and completeness result. In particular, we show there is a one-to-one correspondence between realizers and recursive winning strategies in the 1-Backtracking version of Tarski games. Third, we provide a complete and fully...
Arithmetic in large GF(2(exp n))
Cameron, Kelly
1993-01-01
The decoding of Reed Solomon (BCH) codes usually requires large numbers of calculations using GF(2(exp n)) arithmetic. Though efficient algorithms and corresponding circuits for performing basic Galois field arithmetic are known, many of these techniques either become very slow or else require an inordinate amount of circuitry to implement when the size of the Galois field becomes much larger than GF(2(exp 8)). Consequently, most currently available Reed-Solomon decoders are built using small fields, such as GF(2(exp 8)) or GF(2(exp 10)), even though significant coding efficiencies could often be obtained if larger symbol sizes, such as GF(2(exp 16)) or GF(2(exp 32)), were used. Algorithms for performing the basic arithmetic required to decode Reed-Solomon codes have been developed explicitly for use in these large fields. They are discussed in detail.
Design of optimized Interval Arithmetic Multiplier
Rajashekar B.Shettar
2011-07-01
Full Text Available Many DSP and Control applications that require the user to know how various numericalerrors(uncertainty affect the result. This uncertainty is eliminated by replacing non-interval values withintervals. Since most DSPs operate in real time environments, fast processors are required to implementinterval arithmetic. The goal is to develop a platform in which Interval Arithmetic operations areperformed at the same computational speed as present day signal processors. So we have proposed thedesign and implementation of Interval Arithmetic multiplier, which operates with IEEE 754 numbers. Theproposed unit consists of a floating point CSD multiplier, Interval operation selector. This architectureimplements an algorithm which is faster than conventional algorithm of Interval multiplier . The costoverhead of the proposed unit is 30% with respect to a conventional floating point multiplier. Theperformance of proposed architecture is better than that of a conventional CSD floating-point multiplier,as it can perform both interval multiplication and floating-point multiplication as well as Intervalcomparisons
Arithmetic area for m planar Brownian paths
We pursue the analysis made in Desbois and Ouvry (2011 J. Stat. Mech. P05024) on the arithmetic area enclosed by m closed Brownian paths. We pay particular attention to the random variable Sn1,n2,...,nm(m), which is the arithmetic area of the set of points, also called winding sectors, enclosed n1 times by path 1, n2 times by path 2,..., and nm times by path m. Various results are obtained in the asymptotic limit m→∞. A key observation is that, since the paths are independent, one can use in the m-path case the SLE information, valid in the one-path case, on the zero-winding sectors arithmetic area
Arithmetic area for m planar Brownian paths
Desbois, Jean; Ouvry, Stéphane
2012-05-01
We pursue the analysis made in Desbois and Ouvry (2011 J. Stat. Mech. P05024) on the arithmetic area enclosed by m closed Brownian paths. We pay particular attention to the random variable Sn1, n2,..., nm(m), which is the arithmetic area of the set of points, also called winding sectors, enclosed n1 times by path 1, n2 times by path 2,..., and nm times by path m. Various results are obtained in the asymptotic limit m\\to \\infty . A key observation is that, since the paths are independent, one can use in the m-path case the SLE information, valid in the one-path case, on the zero-winding sectors arithmetic area.
Arithmetic algorithms for error-coded operands.
Avizienis, A.
1973-01-01
Arithmetic algorithms for separate and nonseparate codes are considered. The nonseparate AN code is formed when an uncoded operand X is multiplied by the check modulus A to give the coded operand AX. The separate codes are the residue code, and the inverse-residue code, which has significant advantages in fault detection of repeated-use faults. A set of algorithms for low-cost AN-coded operands is discussed together with questions of their implementation in a byte-organized arithmetic processor. Algorithms for inverse-residue coded operands of the STAR computer are also examined.
Arithmetic area for m planar Brownian paths
Desbois, Jean; Ouvry, Stephane
2012-01-01
We pursue the analysis made in [1] on the arithmetic area enclosed by m closed Brownian paths. We pay a particular attention to the random variable S{n1,n2, ...,n} (m) which is the arithmetic area of the set of points, also called winding sectors, enclosed n1 times by path 1, n2 times by path 2, ...,nm times by path m. Various results are obtained in the asymptotic limit m->infinity. A key observation is that, since the paths are independent, one can use in the m paths case the SLE informatio...
Derivations and Generating Degrees in the Ring of Arithmetical Functions
Alexandru Zaharescu; Mohammad Zaki
2007-05-01
In this paper we study a family of derivations in the ring of arithmetical functions of several variables over an integral domain, and compute the generating degrees of the ring of arithmetical functions over the kernel of these derivations.
Training of Attention in Children With Low Arithmetical Achievement.
Maria Guarnera; Antonella D’Amico
2014-01-01
This study focuses on the role of attentional processes in arithmetical skills and examines if training of basic attentive skills may improve also working memory abilities reducing arithmetic difficulties. In order to study the efficacy of attentional treatment in arithmetic achievement and in enhancing working memory abilities a test-treatment-retest quasi experimental design was adopted. The research involved 14 children, attending fourth and fifth grades, with Arithmetical Learning Disabil...
A Mathematical Basis for an Interval Arithmetic Standard
Bohlender, Gerd; Kulisch, Ulrich
2010-01-01
Basic concepts for an interval arithmetic standard are discussed in the paper. Interval arithmetic deals with closed and connected sets of real numbers. Unlike floating-point arithmetic it is free of exceptions. A complete set of formulas to approximate real interval arithmetic on the computer is displayed in section 3 of the paper. The essential comparison relations and lattice operations are discussed in section 6. Evaluation of functions for interval arguments is studied ...
Training of Attention in Children With Low Arithmetical Achievement
Maria Guarnera; Antonella D’Amico
2014-01-01
This study focuses on the role of attentional processes in arithmetical skills and examines if training of basic attentive skills may improve also working memory abilities reducing arithmetic difficulties. In order to study the efficacy of attentional treatment in arithmetic achievement and in enhancing working memory abilities a test-treatment-retest quasi experimental design was adopted. The research involved 14 children, attending fourth and fifth grades, with Arithmetical Learning Disabil...
Personal Experience and Arithmetic Meaning in Semantic Dementia
Julien, Camille L.; Neary, David; Snowden, Julie S.
2010-01-01
Arithmetic skills are generally claimed to be preserved in semantic dementia (SD), suggesting functional independence of arithmetic knowledge from other aspects of semantic memory. However, in a recent case series analysis we showed that arithmetic performance in SD is not entirely normal. The finding of a direct association between severity of…
Intersection pairing for arithmetic cycles with degenerate Green currents
Moriwaki, Atsushi
1998-01-01
In this note, we would like to propose a suitable extension of the arithmetic Chow group of codimension one, in which the Hodge index theorem holds. We also prove an arithmetic analogue of Bogomolov's instability theorem for rank 2 vector bundles on arbitrary regular projective arithmetic varieties.
Price, Gavin R; Mazzocco, Michèle M M; Ansari, Daniel
2013-01-01
Do individual differences in the brain mechanisms for arithmetic underlie variability in high school mathematical competence? Using functional magnetic resonance imaging, we correlated brain responses to single digit calculation with standard scores on the Preliminary Scholastic Aptitude Test (PSAT) math subtest in high school seniors. PSAT math scores, while controlling for PSAT Critical Reading scores, correlated positively with calculation activation in the left supramarginal gyrus and bilateral anterior cingulate cortex, brain regions known to be engaged during arithmetic fact retrieval. At the same time, greater activation in the right intraparietal sulcus during calculation, a region established to be involved in numerical quantity processing, was related to lower PSAT math scores. These data reveal that the relative engagement of brain mechanisms associated with procedural versus memory-based calculation of single-digit arithmetic problems is related to high school level mathematical competence, highlighting the fundamental role that mental arithmetic fluency plays in the acquisition of higher-level mathematical competence. PMID:23283330
Mathematical Fuzzy Logic and Axiomatic Arithmetic
Hájek, Petr
Linz : Johannes Kepler Universität, 2010 - (Cintula, P.; Klement, E.; Stout, L.). s. 63-63 [Linz Seminar on Fuzzy Set Theory /31./. 03.02.2010-07.02.2010, Linz] Institutional research plan: CEZ:AV0Z10300504 Keywords : mathematical fuzzy logic * axiomatic arithmetic Subject RIV: BA - General Mathematics
Goldbach Conjecture and First-Order Arithmetic
Revilla, Fernando
2007-01-01
Using the concepts of Hyperbolic Classification of Natural Numbers, Essential Regions and Goldbach Conjecture Function we prove that the existence of a proof of the Goldbach Conjecture in First-Order Arithmetic would imply the existence of another proof in a certain extension that would not be valid in all states of time associated to natural numbers created by means of adequate dynamic processes.
Circuit lower bounds in bounded arithmetics
Pich, Ján
2015-01-01
Roč. 166, č. 1 (2015), s. 29-45. ISSN 0168-0072 R&D Projects: GA AV ČR IAA100190902 Keywords : bounded arithmetic * circuit lower bounds Subject RIV: BA - General Mathematics Impact factor: 0.548, year: 2014 http://www.sciencedirect.com/science/article/pii/S0168007214000888
Intuitionistic fixed point theories over Heyting arithmetic
Arai, Toshiyasu
2010-01-01
In this paper we show that an intuitionistic theory for fixed points is conservative over the Heyting arithmetic with respect to a certain class of formulas. This extends partly the result of mine. The proof is inspired by the quick cut-elimination due to G. Mints.
Backgrounds of arithmetic and geometry an introduction
Miron, Radu
1995-01-01
The book is an introduction to the foundations of Mathematics. The use of the constructive method in Arithmetic and the axiomatic method in Geometry gives a unitary understanding of the backgrounds of geometry, of its development and of its organic link with the study of real numbers and algebraic structures.
Approximate counting by hashing in bounded arithmetic
Jeřábek, Emil
2009-01-01
Roč. 74, č. 3 (2009), s. 829-860. ISSN 0022-4812 R&D Projects: GA AV ČR IAA1019401 Institutional research plan: CEZ:AV0Z10190503 Keywords : bounded arithmetic * approximate counting * universal hashing Subject RIV: BA - General Mathematics Impact factor: 0.631, year: 2009
Improved closeness centrality using arithmetic mean approach
Ruslan, Nuraimi; Sharif, Shamshuritawati
2015-12-01
In this paper, we improved the mathematical formulation of closeness centrality measure for weighted network. The proposed measure is used arithmetic mean approach and the performance is successfully better than the existing closeness centrality. This measure can be used as a measure of influential nodes.
Modular arithmetic weight and cyclic shifting.
Hartman, W. F.
1972-01-01
This note shows that the modular arithmetic weight of an integer is invariant to the cyclic shifts of its radix-2 form. This result leads to a reduced search for the minimum weight codeword in a cyclic AN-code as well as to a better understanding of previous work.
Non-commutative arithmetic circuits with division
Hrubeš, Pavel; Wigderson, A.
2015-01-01
Roč. 11, Article 14 (2015), s. 357-393. ISSN 1557-2862 EU Projects: European Commission(XE) 339691 - FEALORA Institutional support: RVO:67985840 Keywords : arithmetic circuits * non-commutative rational function * skew field Subject RIV: BA - General Mathematics http://theoryofcomputing.org/articles/v011a014/
Fuzzy Logic and Arithmetical Hierarchy III
Hájek, Petr
2001-01-01
Roč. 68, č. 1 (2001), s. 129-142. ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: AV0Z1030915 Keywords : fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy Subject RIV: BA - General Mathematics
Non-commutative arithmetic circuits with division
Hrubeš, Pavel; Wigderson, A.
2015-01-01
Roč. 11, Article 14 (2015), s. 357-393. ISSN 1557-2862 EU Projects: European Commission(XE) 339691 - FEALORA Institutional support: RVO:67985840 Keywords : arithmetic circuits * non-commutative rational function * skew field Subject RIV: BA - General Mathematics http://theoryofcomputing.org/ articles /v011a014/
Fuzzy Logic and Arithmetical Hierarchy IV
Hájek, Petr
Berlin : Logos Verlag, 2004 - ( Hendricks , V.; Neuhaus, F.; Pedersen, S.; Scheffler, U.; Wansing, H.), s. 107-115 ISBN 3-8325-0475-3 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: CEZ:AV0Z1030915 Keywords : fuzzy logic * arithmetical hierarchy Subject RIV: BA - General Mathematics
Arithmetic and Cognitive Contributions to Algebra
Cirino, Paul T.; Tolar, Tammy D.; Fuchs, Lynn S.
2013-01-01
Algebra is a prerequisite for access to STEM careers and occupational success (NMAP, 2008a), yet algebra is difficult for students through high school (US DOE, 2008). Growth in children's conceptual and procedural arithmetical knowledge is reciprocal, although conceptual knowledge has more impact on procedural knowledge than the reverse…
Retrieval-Induced Forgetting of Arithmetic Facts
Campbell, Jamie I. D.; Thompson, Valerie A.
2012-01-01
Retrieval-induced forgetting (RIF) is a widely studied phenomenon of human memory, but RIF of arithmetic facts remains relatively unexplored. In 2 experiments, we investigated RIF of simple addition facts (2 + 3 = 5) from practice of their multiplication counterparts (2 x 3 = 6). In both experiments, robust RIF expressed in response times occurred…
Kühn, Ulf; Müller, Jan Steffen
2012-01-01
We give an explicitly computable lower bound for the arithmetic self-intersection number of the dualizing sheaf on a large class of arithmetic surfaces. If some technical conditions are satisfied, then this lower bound is positive. In particular, these technical conditions are always satisfied for minimal arithmetic surfaces with simple multiplicities and at least one reducible fiber, but we have also used our techniques to obtain lower bounds for some arithmetic surfaces with non-reduced fib...
K. Anup Kumar
2012-07-01
Full Text Available In this investigation, we have modified the Feistel cipher by taking the plaintext in the form of a pair of square matrices. Here we have introduced the operation multiplication with the key matrices and the modular arithmetic addition in encryption. The modular arithmetic inverse of the key matrix is introduced in decryption. The cryptanalysis carried out in this paper clearly indicate that this cipher cannot be broken by the brute force attack and the known plaintext attack.
Ray system in lasers, nonlinear arithmetic pyramid and nonlinear arithmetic triangles
Yurkin, Alexander
2013-01-01
The paper describes a system of rays declining at small angles in lasers. The correlation between a group of rays and binomial coefficients is shown. The correlation of distribution of rays in the system of numbers placed in a three-dimensional table, the nonlinear arithmetic pyramid is shown. Two types of nonlinear arithmetic triangles are considered. Various types of partitions of integers is described.
Learning, Realizability and Games in Classical Arithmetic
Aschieri, Federico
2010-12-01
In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic. First, we extend Kreisel modified realizability to a classical fragment of first order Arithmetic, Heyting Arithmetic plus EM1 (Excluded middle axiom restricted to Sigma^0_1 formulas). We introduce a new realizability semantics we call "Interactive Learning-Based Realizability". Our realizers are self-correcting programs, which learn from their errors and evolve through time. Secondly, we extend the class of learning based realizers to a classical version PCFclass of PCF and, then, compare the resulting notion of realizability with Coquand game semantics and prove a full soundness and completeness result. In particular, we show there is a one-to-one correspondence between realizers and recursive winning strategies in the 1-Backtracking version of Tarski games. Third, we provide a complete and fully detailed constructive analysis of learning as it arises in learning based realizability for HA+EM1, Avigad's update procedures and epsilon substitution method for Peano Arithmetic PA. We present new constructive techniques to bound the length of learning processes and we apply them to reprove - by means of our theory - the classic result of Godel that provably total functions of PA can be represented in Godel's system T. Last, we give an axiomatization of the kind of learning that is needed to computationally interpret Predicative classical second order Arithmetic. Our work is an extension of Avigad's and generalizes the concept of update procedure to the transfinite case. Transfinite update procedures have to learn values of transfinite sequences of non computable functions in order to extract witnesses from classical proofs.
Pankovic, Vladan; Predojevic, Milan
2006-01-01
In this work we define an universal arithmetical algorithm, by means of the standard quantum mechanical formalism, called universal qm-arithmetical algorithm. By universal qm-arithmetical algorithm any decidable arithmetical formula (operation) can be decided (realized, calculated. Arithmetic defined by universal qm-arithmetical algorithm called qm-arithmetic one-to-one corresponds to decidable part of the usual arithmetic. We prove that in the qm-arithmetic the undecidable arithmetical formu...
Recursive double-size fixed precision arithmetic
Chabot, Christophe; Fousse, Laurent; Giorgi, Pascal
2011-01-01
This work is a part of the SHIVA (Secured Hardware Immune Versatile Architecture) project whose purpose is to provide a programmable and reconfigurable hardware module with high level of security. We propose a recursive double-size fixed precision arithmetic called RecInt. Our work can be split in two parts. First we developped a C++ software library with performances comparable to GMP ones. Secondly our simple representation of the integers allows an implementation on FPGA. Our idea is to consider sizes that are a power of 2 and to apply doubling techniques to implement them efficiently: we design a recursive data structure where integers of size 2^k, for k>k0 can be stored as two integers of size 2^{k-1}. Obviously for k<=k0 we use machine arithmetic instead (k0 depending on the architecture).
Dictionary of algebra, arithmetic, and trigonometry
Krantz, Steven G
2000-01-01
Clear, rigorous definitions of mathematical terms are crucial to good scientific and technical writing-and to understanding the writings of others. Scientists, engineers, mathematicians, economists, technical writers, computer programmers, along with teachers, professors, and students, all have the need for comprehensible, working definitions of mathematical expressions. To meet that need, CRC Press proudly introduces its Dictionary of Algebra, Arithmetic, and Trigonometry- the second published volume in the CRC Comprehensive Dictionary of Mathematics. More than three years in development, top academics and professionals from prestigious institutions around the world bring you more than 2,800 detailed definitions, written in a clear, readable style, complete with alternative meanings, and related references.From Abelian cohomology to zero ring and from the very basic to the highly advanced, this unique lexicon includes terms associated with arithmetic, algebra, and trigonometry, with natural overlap into geom...
Arithmetic Operand Ordering for Equivalence Checking
WENG Yanling; GE Haitong; YAN Xiaolang; Ren Kun
2007-01-01
An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished on multiplications with different coding methods, with which the operand ordering/grouping information could be extracted from a given implementation gate netlist, helping the RTL synthesis engine generate a gate netlist with great similarity. This technique has been implemented in an internal equivalence checking tool, ZD_VIS. Compared with the simple equivalence checking, the speed is accelerated by at least 40% in its application to a class of arithmetic designs, addition and multiplication trees. The method can be easily incorporated into existing RTL-to-gate equivalence checking frameworks, increasing the robustness of equivalence checking for arithmetic circuits.
Recursive double-size fixed precision arithmetic
Chabot, Christophe; Dumas, Jean-Guillaume; Fousse, Laurent; Giorgi, Pascal
2011-01-01
This work is a part of the SHIVA (Secured Hardware Immune Versatile Architecture) project whose purpose is to provide a programmable and reconfigurable hardware module with high level of security. We propose a recursive double-size fixed precision arithmetic called RecInt. Our work can be split in two parts. First we developped a C++ software library with performances comparable to GMP ones. Secondly our simple representation of the integers allows an implementation on FPGA. Our idea is to co...
Arithmetic Properties of the Ramanujan Function
Florian Luca; Igor E Shparlinski
2006-02-01
We study some arithmetic properties of the Ramanujan function (), such as the largest prime divisor ( ()) and the number of distinct prime divisors (()) of () for various sequences of . In particular, we show that ( ()) ≥ $(\\log n)^{33/31+(1)}$ for infinitely many , and $$P((p)(p^2)(p^3))>(1+(1))\\frac{\\log\\log p\\log\\log\\log p}{\\log\\log\\log\\log p}$$ for every prime with $(p)≠ 0$.
Set Theory and Arithmetic in Fuzzy Logic
Běhounek, Libor; Haniková, Zuzana
Cham : Springer, 2015 - (Montagna, F.), s. 63-89 ISBN 978-3-319-06232-7. - (Outstanding Contributions to Logic. 6) R&D Projects: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826 Institutional support: RVO:67985807 Keywords : fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic Subject RIV: BA - General Mathematics
Randomness, pseudorandomness and models of arithmetic
Pudlák, P.
2013-01-01
Pseudorandmness plays an important role in number theory, complexity theory and cryptography. Our aim is to use models of arithmetic to explain pseudorandomness by randomness. To this end we construct a set of models $\\cal M$, a common element $\\iota$ of these models and a probability distribution on $\\cal M$, such that for every pseudorandom sequence $s$, the probability that $s(\\iota)=1$ holds true in a random model from $\\cal M$ is equal to 1/2.
Arithmetic Operators for Pairing-Based Cryptography
Beuchat, Jean-Luc; Brisebarre, Nicolas; Detrey, Jérémie; Okamoto, Eiji
2007-01-01
Since their introduction in constructive cryptographic applications, pairings over (hyper)elliptic curves are at the heart of an ever increasing number of protocols. Software implementations being rather slow, the study of hardware architectures became an active research area. In this paper, we first study an accelerator for the eta_T pairing over F_3[x]/(x^97 + x^12 + 2). Our architecture is based on a unified arithmetic operator which performs addition, multiplication, and cubing over F_3^9...
Calculation Methodology for Flexible Arithmetic Processing
García Chamizo, Juan Manuel; Mora Pascual, Jerónimo Manuel; Mora Mora, Higinio; Signes Pont, María Teresa
2003-01-01
A new operation model of flexible calculation that allows us to adjust the operation delay depending on the available time is presented. The operation method design uses look-up tables and progressive construction of the result. The increase in the operators’ granularity opens up new possibilities in calculation methods and microprocessor design. This methodology, together with the advances in technology, enables the functions of an arithmetic unit to be implemented on the basis of techniques...
Time-Precision Flexible Arithmetic Unit
García Chamizo, Juan Manuel; Mora Pascual, Jerónimo Manuel; Mora Mora, Higinio; Signes Pont, María Teresa
2003-01-01
A new conception of flexible calculation that allows us to adjust an operation depending on the available time computation is presented. The proposed arithmetic unit is based on this principle. It contains a control operation module that determines the process time of each calculation. The operation method design uses precalculated data stored in look-up tables, which provide, above all, quality results and systematization in the implementation of low level primitives that set parameters for ...
Real closures of models of weak arithmetic
Jeřábek, Emil; Kolodziejczyk, L.. A.
2013-01-01
Roč. 52, 1-2 (2013), s. 143-157. ISSN 0933-5846 R&D Projects: GA AV ČR IAA100190902; GA MŠk(CZ) 1M0545 Institutional support: RVO:67985840 Keywords : bounded arithmetic * real-closed field * recursive saturation Subject RIV: BA - General Mathematics http://link.springer.com/article/10.1007%2Fs00153-012-0311-x
MCNPX graphics and arithmetic tally upgrades
MCNPX tallies and cross-sections are plotted using the MCPLOT package. We report on an assortment of upgrades to MCPLOT that are intended to improve the appearance of two-dimensional tally and cross-section plots. We have also expanded the content and versatility of the MCPLOT 'help' command. Finally, we describe the initial phase of capability implementation to post-process tally data using arithmetic operations. These improvements will enable users to better display and manipulate simulation results. (authors)
Coherent states, pseudodifferential analysis and arithmetic
Basic questions regarding families of coherent states include describing some constructions of such and the way they can be applied to operator theory or partial differential equations. In both questions, pseudodifferential analysis is important. Recent developments indicate that they can contribute to methods in arithmetic, especially modular form theory. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘Coherent states: mathematical and physical aspects’. (paper)
Coinductive Formal Reasoning in Exact Real Arithmetic
Niqui, Milad
2008-01-01
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations are special cases-- on a representation of real numbers by coinductive streams. The algorithms work on coinductive stream of M\\"{o}bius maps and form the basis of the Edalat--Potts exact real arithmetic. We use the machinery of the Coq proof assistant for the coinductive types to present the formalisation. The form...
A sorting network in bounded arithmetic
Jeřábek, Emil
2011-01-01
Roč. 162, č. 4 (2011), s. 341-355. ISSN 0168-0072 R&D Projects: GA AV ČR IAA1019401; GA MŠk(CZ) 1M0545 Institutional research plan: CEZ:AV0Z10190503 Keywords : bounded arithmetic * sorting network * proof complexity * monotone sequent calculus Subject RIV: BA - General Mathematics Impact factor: 0.450, year: 2011 http://www.sciencedirect.com/science/article/pii/S0168007210001272
A common Misconception about the Categorical Arithmetic
Raguní, Giuseppe
2016-01-01
Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the second-order Logic that can be deduced by these same Theorems does not imply the standard semantic incompleteness that can be derived using the Loewenheim-Skolem or the compactness Theorem. This state of affairs has its origins in an incorrect and misinterpret...
Set Theory and Arithmetic in Fuzzy Logic
Běhounek, Libor; Haniková, Zuzana
Cham: Springer, 2015 - (Montagna, F.), s. 63-89. (Outstanding Contributions to Logic. 6). ISBN 978-3-319-06232-7 R&D Projects: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826 Institutional support: RVO:67985807 Keywords : fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic Subject RIV: BA - General Mathematics
Efficient Unified Arithmetic for Hardware Cryptography
SAVAŞ, Erkay; Savas, Erkay; Koç, Çetin Kaya; Koc, Cetin Kaya
2008-01-01
The basic arithmetic operations (i.e. addition, multiplication, and inversion) in finite fields, GF(q), where q = pk and p is a prime integer, have several applications in cryptography, such as RSA algorithm, Diffie-Hellman key exchange algorithm [1], the US federal Digital Signature Standard [2], elliptic curve cryptography [3, 4], and also recently identity based cryptography [5, 6]. Most popular finite fields that are heavily used in cryptographic applications due to elliptic curve based s...
Residues : The gateway to higher arithmetic I
Siebeneicher, Christian
2012-01-01
Residues to a given modulus have been introduced to mathematics by Carl Friedrich Gauss with the definition of congruence in the `Disquisitiones Arithmeticae'. Their extraordinary properties provide the basis for a change of paradigm in arithmetic. By restricting residues to remainders left over by divison Peter Gustav Lejeune Dirichlet - Gauss's successor in G\\"ottingen - eliminated in his `Lectures on number theory' the fertile concept of residues and attributed with the number-theoretic ap...
Arithmetic functions in torus and tree networks
Bhanot, Gyan; Blumrich, Matthias A.; Chen, Dong; Gara, Alan G.; Giampapa, Mark E.; Heidelberger, Philip; Steinmacher-Burow, Burkhard D.; Vranas, Pavlos M.
2007-12-25
Methods and systems for performing arithmetic functions. In accordance with a first aspect of the invention, methods and apparatus are provided, working in conjunction of software algorithms and hardware implementation of class network routing, to achieve a very significant reduction in the time required for global arithmetic operation on the torus. Therefore, it leads to greater scalability of applications running on large parallel machines. The invention involves three steps in improving the efficiency and accuracy of global operations: (1) Ensuring, when necessary, that all the nodes do the global operation on the data in the same order and so obtain a unique answer, independent of roundoff error; (2) Using the topology of the torus to minimize the number of hops and the bidirectional capabilities of the network to reduce the number of time steps in the data transfer operation to an absolute minimum; and (3) Using class function routing to reduce latency in the data transfer. With the method of this invention, every single element is injected into the network only once and it will be stored and forwarded without any further software overhead. In accordance with a second aspect of the invention, methods and systems are provided to efficiently implement global arithmetic operations on a network that supports the global combining operations. The latency of doing such global operations are greatly reduced by using these methods.
Duverne, Sandrine; Lemaire, Patrick; Michel, Bernard François
2003-08-01
Three groups of healthy younger adults, healthy older adults, and probable AD patients, performed an addition/number comparison task. They compared 128 couples of additions and numbers (e.g., 4 + 9 15) and had to identify the largest item for each problem by pressing one of two buttons located under each item. Manipulations of problem characteristics (i.e., problem difficulty and splits between correct sums and proposed numbers) enabled us to examine strategy selection and specific arithmetic fact retrieval processes. Results showed that arithmetic facts retrieval processes, which were spared with aging, were impaired in AD patients. However, AD patients were able to switch between strategies across trials according to problem characteristics as well as healthy older adults, and less systematically than healthy younger adults. We discuss implications of these findings for further understanding AD-related differences in arithmetic in particular, and problem solving in general. PMID:12907175
Are individual differences in arithmetic fact retrieval related to inhibition?
Bellon, Elien
2016-01-01
Although it has been proposed that inhibition is related to individual differences in mathematical achievement, it is not clear how it is related to specific aspects of mathematical skills, such as arithmetic fact retrieval. The present study therefore investigated the association between inhibition and arithmetic fact retrieval and further examined the unique role of inhibition in individual differences in arithmetic fact retrieval, in addition to numerical magnitude processin...
Sets of integers that do not contain long arithmetic progressions
O'Bryant, Kevin
2008-01-01
In 1946, Behrend gave a construction of dense finite sets of integers that do not contain 3-term arithmetic progressions. In 1961, Rankin generalized Behrend's construction to sets avoiding k-term arithmetic progressions, and in 2008 Elkin refined Behrend's 3-term construction. In this work, we combine Elkin's refinement and Rankin's generalization. Arithmetic progressions are handled as a special case of polynomial progressions. In 1946, Behrend gave a construction of dense finite sets of in...
Implicit Learning of Arithmetic Regularities Is Facilitated by Proximal Contrast
Prather, Richard W.
2012-01-01
Natural number arithmetic is a simple, powerful and important symbolic system. Despite intense focus on learning in cognitive development and educational research many adults have weak knowledge of the system. In current study participants learn arithmetic principles via an implicit learning paradigm. Participants learn not by solving arithmetic equations, but through viewing and evaluating example equations, similar to the implicit learning of artificial grammars. We expand this to the symbo...
Iglesias-Sarmiento, Valentín; Deaño, Manuel
2016-01-01
This study analyzed the cognitive functioning underlying arithmetical difficulties and explored the predictors of arithmetic achievement in the last three grades of Spanish Primary Education. For this purpose, a group of 165 students was selected and divided into three groups of arithmetic competence: Mathematical Learning Disability group (MLD, n = 27), Low Achieving group (LA, n = 39), and Typical Achieving group (TA, n = 99). Students were assessed in domain-general abilities (working memory and PASS cognitive processes), and numerical competence (counting and number processing) during the last two months of the academic year. Performance of children from the MLD group was significantly poorer than that of the LA group in writing dictated Arabic numbers (d = -0.88), reading written verbal numbers (d = -0.84), transcoding written verbal numbers to Arabic numbers (-0.75) and comprehension of place value (d = -0.69), as well as in simultaneous (d = -0.62) and successive (d = -0.59) coding. In addition, a specific developmental sequence was observed in both groups, the implications of which are discussed. Hierarchical regression analysis revealed simultaneous coding (β = .47, t(155) = 6.18, p processing (β = .23, t(155) = 3.07, p < .01) as specific predictors of arithmetical performance. PMID:27320030
A Geometric Characterization of Arithmetic Varieties
Kapil Hari Paranjape
2002-08-01
A result of Belyi can be stated as follows. Every curve defined over a number field can be expressed as a cover of the projective line with branch locus contained in a rigid divisor. We define the notion of geometrically rigid divisors in surfaces and then show that every surface defined over a number field can be expressed as a cover of the projective plane with branch locus contained in a geometrically rigid divisor in the plane. The main result is the characterization of arithmetically defined divisors in the plane as geometrically rigid divisors in the plane.
Aztec arithmetic: positional notation and area calculation.
Harvey, H R; Williams, B J
1980-10-31
Texcocan-Aztec peoples in the Valley of Mexico used both picture symbols and lines and dots for numerical notation. Decipherment and analysis of mid-16th-century native pictorial land documents from the Texcocan region indicate that the line-and-dot system incorporated a symbol for zero and used position to ascribe values. Positional line-and-dot notation was used to record areas of agricultural fields, and analysis of the documentary data suggests that areas were calculated arithmetically. These findings demonstrate that neither positional notation nor the zero were unique to the Maya area, and they imply an equally sophisticated mathematical development among the Aztecs. PMID:17841389
Arithmetic, mutually unbiased bases and complementary observables
Complementary observables in quantum mechanics may be viewed as Frobenius structures in a dagger monoidal category, such as the category of finite dimensional Hilbert spaces over the complex numbers. On the other hand, their properties crucially depend on the discrete Fourier transform and its associated quantum torus, requiring only the finite fields that underlie mutually unbiased bases. In axiomatic topos theory, the complex numbers are difficult to describe and should not be invoked unnecessarily. This paper surveys some fundamentals of quantum arithmetic using finite field complementary observables, with a view considering more general axiom systems.
Functional verification of floating point arithmetic unit
For continuous real-time reactivity monitoring of PFBR reactivity safety channel, a FPGA based reactivity meter has been developed by Electronics Division, BARC. Verification of designs involved in Safety Critical systems is very important and necessary. Functional verification of this design is presently carried out by EID, IGCAR. In Reactivity meter, Floating Point Arithmetic Unit (FPAU) is a major and very important sub module, which needs to be completely verified first. Two types of verifications are possible: Functional verification and Formal verification. This paper discusses and shares the experiences of functional verification of FPAU module for all special floating point numbers. (author)
Arithmetic fundamental groups and moduli of curves
This is a short note on the algebraic (or sometimes called arithmetic) fundamental groups of an algebraic variety, which connects classical fundamental groups with Galois groups of fields. A large part of this note describes the algebraic fundamental groups in a concrete manner. This note gives only a sketch of the fundamental groups of the algebraic stack of moduli of curves. Some application to a purely topological statement, i.e., an obstruction to the subjectivity of Johnson homomorphisms in the mapping class groups, which comes from Galois group of Q, is explained. (author)
Using fuzzy arithmetic in containment event trees
The use of fuzzy arithmetic is proposed for the evaluation of containment event trees. Concepts such as improbable, very improbable, and so on, which are subjective by nature, are represented by fuzzy numbers. The quantitative evaluation of containment event trees is based on the extension principle, by which operations on real numbers are extended to operations on fuzzy numbers. Expert knowledge is considered as state of the base variable with a normal distribution, which is considered to represent the membership function. Finally, this paper presents results of an example calculation of a containment event tree for the CAREM-25 nuclear power plant, presently under detailed design stage at Argentina. (author)
ARITHMETIC PROGRESSIONS FOR COUNTING PRIME NUMBERS
V.J.DEVASIA
2014-11-01
Full Text Available In this paper two arithmetic progressions are proposed for listing and counting the prime numbers less than or equal to a given integer. From these progressions, how one can filter out prime numbers is the topic of discussion in this paper. An easy to implement formula is presented to compute the number of primes by eliminating the number of composite numbers in an iterative and recursive manner. Numerical examples are presented to demonstrate how the procedure works in an efficient and simple way.
Stock, Pieter; Desoete, Annemie; Roeyers, Herbert
2010-01-01
In a 3-year longitudinal study, 471 children were classified, based on their performances on arithmetic tests in first and second grade, as having persistent arithmetic disabilities (AD), persistent low achieving (LA), persistent typical achieving, inconsistent arithmetic disabilities (DF1), or inconsistent low achieving in arithmetic. Significant…
Outer Billiards, Arithmetic Graphs, and the Octagon
Schwartz, Richard Evan
2010-01-01
Outer Billiards is a geometrically inspired dynamical system based on a convex shape in the plane. When the shape is a polygon, the system has a combinatorial flavor. In the polygonal case, there is a natural acceleration of the map, a first return map to a certain strip in the plane. The arithmetic graph is a geometric encoding of the symbolic dynamics of this first return map. In the case of the regular octagon, the case we study, the arithmetic graphs associated to periodic orbits are polygonal paths in R^8. We are interested in the asymptotic shapes of these polygonal paths, as the period tends to infinity. We show that the rescaled limit of essentially any sequence of these graphs converges to a fractal curve that simultaneously projects one way onto a variant of the Koch snowflake and another way onto a variant of the Sierpinski carpet. In a sense, this gives a complete description of the asymptotic behavior of the symbolic dynamics of the first return map. What makes all our proofs work is an efficient...
Arithmetic intersection on a Hilbert modular surface and the Faltings height
Yang, Tonghai
2013-01-01
In this paper, we prove an explicit arithmetic intersection formula between arithmetic Hirzebruch-Zagier divisors and arithmetic CM cycles in a Hilbert modular surface over $\\mathbb Z$. As applications, we obtain the first `non-abelian' Chowla-Selberg formula, which is a special case of Colmez's conjecture; an explicit arithmetic intersection formula between arithmetic Humbert surfaces and CM cycles in the arithmetic Siegel modular variety of genus two; Lauter's conjecture about the denominat...
Guest Editors' Introduction: Special Section on Computer Arithmetic
Nannarelli, Alberto; Seidel, Peter-Michael; Tang, Ping Tak Peter
2014-01-01
The articles in this special issue focus on current trends and developments in the field of computer arithmetic. This is a field that encompasses the definition and standardization of arithmetic system for computers. The field also deals with issues of hardware and software implementations and...
Higher Arithmetic Sequence and Its Implicit Common Difference
Wu Qu
2015-12-01
Full Text Available The concept of k-order sequence of first order arithmetic sequence has been defined by mathematical induction based on finite difference theory. It has been proved this sequence is higher arithmetic sequence. Meanwhile the sum formula and the derivation of its implicit common difference have been given.
Higher Arithmetic Sequence and Its Implicit Common Difference
Wu Qu
2015-01-01
The concept of k-order sequence of first order arithmetic sequence has been defined by mathematical induction based on finite difference theory. It has been proved this sequence is higher arithmetic sequence. Meanwhile the sum formula and the derivation of its implicit common difference have been given.
FPGA Based Quadruple Precision Floating Point Arithmetic for Scientific Computations
Mamidi Nagaraju
2012-09-01
Full Text Available In this project we explore the capability and flexibility of FPGA solutions in a sense to accelerate scientific computing applications which require very high precision arithmetic, based on IEEE 754 standard 128-bit floating-point number representations. Field Programmable Gate Arrays (FPGA is increasingly being used to design high end computationally intense microprocessors capable of handling floating point mathematical operations. Quadruple Precision Floating-Point Arithmetic is important in computational fluid dynamics and physical modelling, which require accurate numerical computations. However, modern computers perform binary arithmetic, which has flaws in representing and rounding the numbers. As the demand for quadruple precision floating point arithmetic is predicted to grow, the IEEE 754 Standard for Floating-Point Arithmetic includes specifications for quadruple precision floating point arithmetic. We implement quadruple precision floating point arithmetic unit for all the common operations, i.e. addition, subtraction, multiplication and division. While previous work has considered circuits for low precision floating-point formats, we consider the implementation of 128-bit quadruple precision circuits. The project will provide arithmetic operation, simulation result, hardware design, Input via PS/2 Keyboard interface and results displayed on LCD using Xilinx virtex5 (XC5VLX110TFF1136 FPGA device.
The behaviour of eigenstates of arithmetic hyperbolic manifolds
In this paper we study some problems arising from the theory of Quantum Chaos, in the context of arithmetic hyperbolic manifolds. We show that there is no strong localization (''scarring'') onto totally geodesic submanifolds. Arithmetic examples are given, which show that the random wave model for eigenstates does not apply universally in 3 degrees of freedom. (orig.)
Understanding and Using Principles of Arithmetic: Operations Involving Negative Numbers
Prather, Richard W.; Alibali, Martha W.
2008-01-01
Previous work has investigated adults' knowledge of principles for arithmetic with positive numbers (Dixon, Deets, & Bangert, 2001). The current study extends this past work to address adults' knowledge of principles of arithmetic with a negative number, and also investigates links between knowledge of principles and problem representation.…
24 CFR Appendix E to Part 3500 - Arithmetic Steps
2010-04-01
... 24 Housing and Urban Development 5 2010-04-01 2010-04-01 false Arithmetic Steps E Appendix E to Part 3500 Housing and Urban Development Regulations Relating to Housing and Urban Development...—Arithmetic Steps I. Example Illustrating Aggregate Analysis: ASSUMPTIONS: Disbursements: $360 for...
Children's Acquisition of Arithmetic Principles: The Role of Experience
Prather, Richard; Alibali, Martha W.
2011-01-01
The current study investigated how young learners' experiences with arithmetic equations can lead to learning of an arithmetic principle. The focus was elementary school children's acquisition of the Relation to Operands principle for subtraction (i.e., for natural numbers, the difference must be less than the minuend). In Experiment 1, children…
Genetic Programming with Smooth Operators for Arithmetic Expressions
Ursem, Rasmus Kjær; Krink, Thiemo
This paper introduces the smooth operators for arithmetic expressions as an approach to smoothening the search space in Genetic Programming (GP). Smooth operator GP interpolates between arithmetic operators such as * and /, thereby allowing a gradual adaptation to the problem. The suggested...
The Arithmetic Tie Effect Is Mainly Encoding-based.
Blankenberger, Sven
2001-01-01
Examined two possible explanations for the arithmetic tie effect: faster encoding of tie problems versus faster access to arithmetic facts. Found that the tie effect vanished with heterogeneous addition problems, and for seven out of eight participants, the effect vanished with heterogeneous multiplication problems. Concludes that the tie effect…
A novel chaotic encryption scheme based on arithmetic coding
In this paper, under the combination of arithmetic coding and logistic map, a novel chaotic encryption scheme is presented. The plaintexts are encrypted and compressed by using an arithmetic coder whose mapping intervals are changed irregularly according to a keystream derived from chaotic map and plaintext. Performance and security of the scheme are also studied experimentally and theoretically in detail
Is integer arithmetic fundamental to mental processing?: the mind's secret arithmetic.
Snyder, A.W.; Mitchell, D.J.
1999-01-01
Unlike the ability to acquire our native language, we struggle to learn multiplication and division. It may then come as a surprise that the mental machinery for performing lightning-fast integer arithmetic calculations could be within us all even though it cannot be readily accessed, nor do we have any idea of its primary function. We are led to this provocative hypothesis by analysing the extraordinary skills of autistic savants. In our view such individuals have privileged access to lower ...
Coinductive Formal Reasoning in Exact Real Arithmetic
Niqui, Milad
2008-01-01
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations are special cases-- on a representation of real numbers by coinductive streams. The algorithms work on coinductive stream of M\\"obius maps and form the basis of the Edalat--Potts exact real arithmetic. We use the machinery of the Coq proof assistant for the coinductive types to present the formalisation. The formalised algorithms are only partially productive, i.e., they do not output provably infinite streams for all possible inputs. We show how to deal with this partiality in the presence of syntactic restrictions posed by the constructive type theory of Coq. Furthermore we show that the type theoretic techniques that we develop are compatible with the semantics of the algorithms as continuous maps on real numbers. The resulting Coq formalisation is available for public download.
The arithmetic basis of special relativity
Under relatively general particle and rocket frame motions, it is shown that, for special relativity, the basic concepts can be formulated and the basic properties deduced using only arithmetic. Particular attention is directed toward velocity, acceleration, proper time, momentum, energy, and 4-vectors in both space-time and Minkowski space, and to relativistic generalizations of Newton's second law. The resulting mathematical simplification is not only completely compatible with modern computer technology, but it yields dynamical equations that can be solved directly by such computers. Particular applications of the numerical equations, which are either Lorentz invariant or are directly related to Lorentz-invariant formulas, are made to the study of a relativistic harmonic oscillator and to the motion of an electric particle in a magnetic field. (author)
On Arithmetic Densities of Sets of Generalized Integers
Porubský, Štefan
Book 4, Volume 1. Kyiv : Institute of Mathematics, NAS of Ukraine, 2008, s. 132-136. ISBN 978-966-02-4891-5. [International Conference on Analytic Number Theory and Spatial Tessellation /4./. Kyiv (UA), 22.09.2008-28.09.2008] R&D Projects: GA ČR GA201/07/0191 Institutional research plan: CEZ:AV0Z10300504 Keywords : asymptotic density * logarithmic density * weighted means * arithmetical semigroup * arithmetic function * generalized arithmetic density * topological density Subject RIV: BA - General Mathematics
A novel operation associated with Gauss' arithmetic-geometric means
Tanimoto, Shinji
2007-01-01
The arithmetic mean is the mean for addition and the geometric mean is that for multiplication. Then what kind of binary operation is associated with the arithmetic-geometric mean (AGM) due to C. F. Gauss? If it is possible to construct an arithmetic operation such that AGM is the mean for this operation, it can be regarded as an intermediate operation between addition and multiplication in view of the meaning of AGM. In this paper such an operation is introduced and several of its algebraic ...
Arithmetic Data Cube as a Data Intensive Benchmark
Frumkin, Michael A.; Shabano, Leonid
2003-01-01
Data movement across computational grids and across memory hierarchy of individual grid machines is known to be a limiting factor for application involving large data sets. In this paper we introduce the Data Cube Operator on an Arithmetic Data Set which we call Arithmetic Data Cube (ADC). We propose to use the ADC to benchmark grid capabilities to handle large distributed data sets. The ADC stresses all levels of grid memory by producing 2d views of an Arithmetic Data Set of d-tuples described by a small number of parameters. We control data intensity of the ADC by controlling the sizes of the views through choice of the tuple parameters.
Frege, Dedekind, and Peano on the foundations of arithmetic
Gillies, Donald
2013-01-01
First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This historical-critical study provides an excellent introduction to the problems of the philosop
Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic
Towsner, Henry
2009-01-01
Hindman's Theorem is a prototypical example of a combinatorial theorem with a proof that uses the topology of the ultrafilters. We show how the methods of this proof, including topological arguments about ultrafilters, can be translated into second order arithmetic.
Dependence of arithmetic functions and differential transcendence of Dirichlet series
Different kinds of dependence (linear and algebraic) are investigated in the domain of arithmetic functions under addition and convolution, while measures of differential transcendence are derived in the domain of Dirichlet series. (author). 18 refs
Verification of Linear (In)Dependence in Finite Precision Arithmetic
Rohn, Jiří
2014-01-01
Roč. 8, č. 3-4 (2014), s. 323 -328. ISSN 1661-8289 Institutional support: RVO:67985807 Keywords : linear dependence * linear independence * pseudoinverse matrix * finite precision arithmetic * verification * MATLAB file Subject RIV: BA - General Mathematics
FPGA Based Quadruple Precision Floating Point Arithmetic for Scientific Computations
Mamidi Nagaraju; Geedimatla Shekar
2012-01-01
In this project we explore the capability and flexibility of FPGA solutions in a sense to accelerate scientific computing applications which require very high precision arithmetic, based on IEEE 754 standard 128-bit floating-point number representations. Field Programmable Gate Arrays (FPGA) is increasingly being used to design high end computationally intense microprocessors capable of handling floating point mathematical operations. Quadruple Precision Floating-Point Arithmetic is important...
Neurofunctional Differences Associated with Arithmetic Processing in Turner Syndrome
Kesler, Shelli R.; Menon, Vinod; Reiss, Allan L.
2005-01-01
Turner syndrome (TS) is a neurogenetic disorder characterized by the absence of one X chromosome in a phenotypic female. Individuals with TS are at risk for impairments in mathematics. We investigated the neural mechanisms underlying arithmetic processing in TS. Fifteen subjects with TS and 15 age-matched typically developing controls were scanned using functional MRI while they performed easy (two-operand) and difficult (three-operand) versions of an arithmetic processing task. Both groups a...
Finite Field Arithmetic and its Application in Cryptography
Ansari, Bijan
2012-01-01
The groundbreaking idea of public key cryptography and the rapid expansion of the internetin the 80s opened a new research area for finite field arithmetic. The large size of fields incryptography demands new algorithms for efficient arithmetic and new metrics for estimatingfinite field operation performance. The area, power, and timing constraints on hand-heldand embedded devices necessitate accurate models to achieve expected goals. Additionally,cryptosystems need to protect their secrets a...
Torsionfree Sheaves over a Nodal Curve of Arithmetic Genus One
Usha N Bhosle; Indranil Biswas
2008-02-01
We classify all isomorphism classes of stable torsionfree sheaves on an irreducible nodal curve of arithmetic genus one defined over $\\mathbb{C}$. Let be a nodal curve of arithmetic genus one defined over $\\mathbb{R}$, with exactly one node, such that does not have any real points apart from the node. We classify all isomorphism classes of stable real algebraic torsionfree sheaves over of even rank. We also classify all isomorphism classes of real algebraic torsionfree sheaves over of rank one.
Finite Field Arithmetic Architecture Based on Cellular Array
Kee-Won Kim
2015-05-01
Full Text Available Recently, various finite field arithmetic structures are introduced for VLSI circuit implementation on cryptosystems and error correcting codes. In this study, we present an efficient finite field arithmetic architecture based on cellular semi-systolic array for Montgomery multiplication by choosing a proper Montgomery factor which is highly suitable for the design on parallel structures. Therefore, our architecture has reduced a time complexity by 50% compared to typical architecture.
Finite and Infinite Arithmetic Progressions Related to Beta-Expansion
Bing Li
2014-01-01
Full Text Available Let 1<β<2 and ε(x,β be the β-expansion of x∈[0,1. Denote by Aβ(x the set of positions where the digit 1 appears in ε(x,β. We consider the sets of points x such that Aβ(x contains arbitrarily long arithmetic progressions and includes infinite arithmetic progressions, respectively. Their sizes are investigated from the topological, metric, and dimensional viewpoints.
Arithmetic for the unification of quantum mechanics and general relativity
In the paper we bring attention to description of complex systems in terms of self-organization processes of prime integer relations. Revealed through the unity of two equivalent forms, arithmetical and geometrical, the description may have the potential for the unification of quantum mechanics and general relativity. Remarkably, based on integers and controlled by arithmetic only such processes can define nonlocal correlations between parts of a complex system and the geometry of their spacetimes.
Crystallization of space: Space-time fractals from fractal arithmetic
Aerts, Diederik; Czachor, Marek; Kuna, Maciej
2016-02-01
Fractals such as the Cantor set can be equipped with intrinsic arithmetic operations (addition, subtraction, multiplication, division) that map the fractal into itself. The arithmetics allows one to define calculus and algebra intrinsic to the fractal in question, and one can formulate classical and quantum physics within the fractal set. In particular, fractals in space-time can be generated by means of homogeneous spaces associated with appropriate Lie groups. The construction is illustrated by explicit examples.
Some studies on arithmetical chaos in classical and quantum mechanics
Several aspects of classical and quantum mechanics applied to a class of strongly chaotic systems are studied. The latter consists of single particles moving without external forces on surfaces of constant negative Gaussian curvature whose corresponding fundamental groups are supplied with an arithmetic structure. It is shown that the arithmetical features of the considered systems lead to exceptional properties of the corresponding spectra of lengths of closed geodesics (periodic orbits). The most significant one is an exponential growth of degeneracies in these geodesic length spectra. Furthermore, the arithmetical systems are distinguished by a structure that appears as a generalization of geometric symmetries. These pseudosymmetries occur in the quantization of the classical arithmetic systems as Hecke operators, which form an infinite algebra of self-adjoint operators commuting with the Hamiltonian. The statistical properties of quantum energies in the arithmetical systems have previously been identified as exceptional. They do not fit into the general scheme of random matrix theory. It is shown with the help of a simplified model for the spectral form factor how the spectral statistics in arithmetical quantum chaos can be understood by the properties of the corresponding classical geodesic length spectra. A decisive role is played by the exponentially increasing multiplicities of lengths. The model developed for the level spacings distribution and for the number variance is compared to the corresponding quantities obtained from quantum energies for a specific arithmetical system. Finally, the convergence properties of a representation for the Selberg zeta function as a Dirichlet series are studied. It turns out that the exceptional classical and quantum mechanical properties shared by the arithmetical systems prohibit a convergence of this important function in the physically interesting domain. (orig.)
Pu600 energy window arithmetic of plutonium isotopes ratio
The idea of calculating plutonium isotopes ratio using Pu600 energy window (630-670 keV) was put forward by the LLNL. And plutonium isotopes ratio arithmetic on Pu600 energy window was developed in this paper. Some γ energy spectra of two plutonium samples were calculated on this arithmetic, and the results are consistent with the results from PC/FRAM. (authors)
Crystallization of space: Space-time fractals from fractal arithmetics
Aerts, Diederik; Kuna, Maciej
2016-01-01
Fractals such as the Cantor set can be equipped with intrinsic arithmetic operations (addition, subtraction, multiplication, division) that map the fractal into itself. The arithmetics allows one to define calculus and algebra intrinsic to the fractal in question, and one can formulate classical and quantum physics within the fractal set. In particular, fractals in space-time can be generated by means of homogeneous spaces associated with appropriate Lie groups. The construction is illustrated by explicit examples.
Design of Floating Point Arithmetic Logic Unit with Universal Gate
Shraddha N. Zanjat; Dr.S.D.Chede; Prof.B.J.Chilke
2014-01-01
A floating point arithmetic and logic unit design using pipelining is proposed. By using pipeline with ALU design, ALU provides a high performance. With pipelining plus parallel processing concept ALU execute multiple instructions simultaneously. Floating point ALU unit is formed by combination of arithmetic modules (addition, subtraction, multiplication, division), Universal gate module. Each module is divided into sub-module. Bits selection determines which operation takes place at a partic...
On the arithmetic of crossratios and generalised Mertens' formulas
Parkkonen, Jouni; Paulin, Frédéric
2013-01-01
We develop the relation between hyperbolic geometry and arithmetic equidistribution problems that arises from the action of arithmetic groups on real hyperbolic spaces, especially in dimension up to 5. We prove generalisations of Mertens' formula for quadratic imaginary number fields and definite quaternion algebras over the rational numbers, counting results of quadratic irrationals with respect to two different natural complexities, and counting results of representations of (algebraic) int...
Adams operations on higher arithmetic K-theory
Feliu, Elisenda
2010-01-01
We construct Adams operations on the rational higher arithmetic K-groups of a proper arithmetic variety. The de¿nition applies to the higher arithmetic K-groups given by Takeda as well as to the groups suggested by Deligne and Soulé, by means of the homotopy groups of the homotopy ¿ber of the reg......We construct Adams operations on the rational higher arithmetic K-groups of a proper arithmetic variety. The de¿nition applies to the higher arithmetic K-groups given by Takeda as well as to the groups suggested by Deligne and Soulé, by means of the homotopy groups of the homotopy ¿ber...... of the regulator map. They are compatible with the Adams operations on algebraic K-theory. The de¿nition relies on the chain morphism representing Adams operations in higher algebraic K-theory given previously by the author. It is shown that this chain morphism commutes strictly with the representative...
Is integer arithmetic fundamental to mental processing?: the mind's secret arithmetic.
Snyder, A W; Mitchell, D J
1999-03-22
Unlike the ability to acquire our native language, we struggle to learn multiplication and division. It may then come as a surprise that the mental machinery for performing lightning-fast integer arithmetic calculations could be within us all even though it cannot be readily accessed, nor do we have any idea of its primary function. We are led to this provocative hypothesis by analysing the extraordinary skills of autistic savants. In our view such individuals have privileged access to lower levels of information not normally available through introspection. PMID:10212449
Conference on Number Theory and Arithmetic Geometry
Silverman, Joseph; Stevens, Glenn; Modular forms and Fermat’s last theorem
1997-01-01
This volume contains expanded versions of lectures given at an instructional conference on number theory and arithmetic geometry held August 9 through 18, 1995 at Boston University. Contributor's includeThe purpose of the conference, and of this book, is to introduce and explain the many ideas and techniques used by Wiles in his proof that every (semi-stable) elliptic curve over Q is modular, and to explain how Wiles' result can be combined with Ribet's theorem and ideas of Frey and Serre to show, at long last, that Fermat's Last Theorem is true. The book begins with an overview of the complete proof, followed by several introductory chapters surveying the basic theory of elliptic curves, modular functions, modular curves, Galois cohomology, and finite group schemes. Representation theory, which lies at the core of Wiles' proof, is dealt with in a chapter on automorphic representations and the Langlands-Tunnell theorem, and this is followed by in-depth discussions of Serre's conjectures, Galois deformations, ...
Development of Superconductive Arithmetic and Logic Devices
Due to the very fast switching speed of Josephson junctions, superconductive digital circuit has been a very good candidate fur future electronic devices. High-speed and Low-power microprocessor can be developed with Josephson junctions. As a part of an effort to develop superconductive microprocessor, we have designed an RSFQ 4-bit ALU (Arithmetic Logic Unit) in a pipelined structure. To make the circuit work faster, we used a forward clocking scheme. This required a careful design of timing between clock and data pulses in ALU. The RSFQ 1-bit block of ALU used in this work consisted of three DC current driven SFQ switches and a half-adder. We successfully tested the half adder cell at clock frequency up to 20 GHz. The switches were commutating output ports of the half adder to produce AND, OR, XOR, or Add functions. For a high-speed test, we attached switches at the input ports to control the high-speed input data by low-frequency pattern generators. The output in this measurement was an eye-diagram. Using this setup, 1-bit block of Alum was successfully tested up to 40 GHz. An RSFQ 4-bit ALU was fabricated and tested. The circuit worked at 5 GHz. The circuit size of the 4-bit ALU was 3 mm X 1.5 mm, fitting in a 5 mm X 5 mm chip.
Training of Attention in Children With Low Arithmetical Achievement
Maria Guarnera
2014-05-01
Full Text Available This study focuses on the role of attentional processes in arithmetical skills and examines if training of basic attentive skills may improve also working memory abilities reducing arithmetic difficulties. In order to study the efficacy of attentional treatment in arithmetic achievement and in enhancing working memory abilities a test-treatment-retest quasi experimental design was adopted. The research involved 14 children, attending fourth and fifth grades, with Arithmetical Learning Disabilities (ALD assigned to experimental and control conditions. The numerical comprehension and calculation processes were assessed using the ABCA battery (Lucangeli, Tressoldi, & Fiore, 1998. Attentional abilities were evaluated using a multitask computerized assessment battery Attenzione e Concentrazione (Di Nuovo, 2000. WM abilities were evaluated by Listening span task, Digit span backward, Making verbal trails and Making colour trails. The results showed that intensive computerized attention training increased basic attentive skills and arithmetical performances with respect to numeric system in children with ALD. No effect on working memory abilities was found. Results are also important from a clinical perspective, since they may suggest strategies for planning individualized training programs.
Number processing and arithmetic skills in children with cochlear implants.
Pixner, Silvia; Leyrer, Martin; Moeller, Korbinian
2014-01-01
Though previous findings report that hearing impaired children exhibit impaired language and arithmetic skills, our current understanding of how hearing and the associated language impairments may influence the development of arithmetic skills is still limited. In the current study numerical/arithmetic performance of 45 children with a cochlea implant were compared to that of controls matched for hearing age, intelligence and sex. Our main results were twofold disclosing that children with CI show general as well as specific numerical/arithmetic impairments. On the one hand, we found an increased percentage of children with CI with an indication of dyscalculia symptoms, a general slowing in multiplication and subtraction as well as less accurate number line estimations. On the other hand, however, children with CI exhibited very circumscribed difficulties associated with place-value processing. Performance declined specifically when subtraction required a borrow procedure and number line estimation required the integration of units, tens, and hundreds instead of only units and tens. Thus, it seems that despite initially atypical language development, children with CI are able to acquire arithmetic skills in a qualitatively similar fashion as their normal hearing peers. Nonetheless, when demands on place-value understanding, which has only recently been proposed to be language mediated, hearing impaired children experience specific difficulties. PMID:25566152
A New Fast Modular Arithmetic Method in Public Key Cryptography
WANG Bangju; ZHANG Huanguo
2006-01-01
Modular arithmetic is a fundamental operation and plays an important role in public key cryptosystem. A new method and its theory evidence on the basis of modular arithmetic with large integer modulus-changeable modulus algorithm is proposed to improve the speed of the modular arithmetic in the presented paper. For changeable modulus algorithm, when modular computation of modulo n is difficult, it can be realized by computation of modulo n-1 and n-2 on the perquisite of easy modular computations of modulo n-1 and modulo n-2. The conclusion is that the new method is better than the direct method by computing the modular arithmetic operation with large modulus. Especially, when computations of modulo n-1 and modulo n-2 are easy and computation of modulo n is difficult, this new method will be faster and has more advantages than other algorithms on modular arithmetic. Lastly, it is suggested that the proposed method be applied in public key cryptography based on modular multiplication and modular exponentiation with large integer modulus effectively
Reading, arithmetic, and task orientation--how are they related?
Lundberg, Ingvar; Sterner, Görel
2006-12-01
A sample of 60 children in Grade 3 was followed over one year. In the first year, an extensive battery of assessments was used including aspects of reading, arithmetic, and working memory. Teachers rated the children on 7-point scales on various motivational dimensions summarized to a total score tentatively called task orientation. In the follow-up assessment one year later, the testing and teacher ratings were repeated. The cross-sectional correlations between reading, arithmetic, and task orientation were all high (about +.70). The high correlation between reading and arithmetic decreased significantly when task orientation was partialed out, and it was further reduced when working memory as assessed by backward digit span was added to the controlling factors. Also, teacher ratings of cognitive ability and language development accounted for some of the common variance between reading and arithmetic. The correlation between task orientation and school achievement cannot be causally interpreted in cross-sectional designs. Some support for a "causal" hypothesis, however, was obtained in crosslagged correlation analyses indicating that task orientation in Grade 3 may have a causal impact on the level of performance in reading, and in arithmetic in Grade 4. Most likely, however, there is also a reciprocal relationship. PMID:17849205
Perceiving fingers in single-digit arithmetic problems
Ilaria eBerteletti
2015-03-01
Full Text Available In this study, we investigate in children the neural underpinnings of finger representation and finger movement involved in single-digit arithmetic problems. Evidence suggests that finger representation and finger-based strategies play an important role in learning and understanding arithmetic. Because different operations rely on different networks, we compared activation for subtraction and multiplication problems in independently localized finger somatosensory and motor areas and tested whether activation was related to skill. Brain activations from children between 8 and 13 years of age revealed that only subtraction problems significantly activated finger motor areas, suggesting reliance on finger-based strategies. In addition, larger subtraction problems yielded greater somatosensory activation than smaller problems, suggesting a greater reliance on finger representation for larger numerical values. Interestingly, better performance in subtraction problems was associated with lower activation in the finger somatosensory area. Our results support the importance of fine-grained finger representation in arithmetical skill and are the first neurological evidence for a functional role of the somatosensory finger area in proficient arithmetical problem solving, in particular for those problems requiring quantity manipulation. From an educational perspective, these results encourage investigating whether different finger-based strategies facilitate arithmetical understanding and encourage educational practices aiming at integrating finger representation and finger-based strategies as a tool for instilling stronger numerical sense.
Optimization Approaches for Designing Quantum Reversible Arithmetic Logic Unit
Haghparast, Majid; Bolhassani, Ali
2016-03-01
Reversible logic is emerging as a promising alternative for applications in low-power design and quantum computation in recent years due to its ability to reduce power dissipation, which is an important research area in low power VLSI and ULSI designs. Many important contributions have been made in the literatures towards the reversible implementations of arithmetic and logical structures; however, there have not been many efforts directed towards efficient approaches for designing reversible Arithmetic Logic Unit (ALU). In this study, three efficient approaches are presented and their implementations in the design of reversible ALUs are demonstrated. Three new designs of reversible one-digit arithmetic logic unit for quantum arithmetic has been presented in this article. This paper provides explicit construction of reversible ALU effecting basic arithmetic operations with respect to the minimization of cost metrics. The architectures of the designs have been proposed in which each block is realized using elementary quantum logic gates. Then, reversible implementations of the proposed designs are analyzed and evaluated. The results demonstrate that the proposed designs are cost-effective compared with the existing counterparts. All the scales are in the NANO-metric area.
Relativity of arithmetics as a fundamental symmetry of physics
Czachor, Marek
2014-01-01
Arithmetic operations can be defined in various ways, even if one assumes commutativity and associativity of addition and multiplication, and distributivity of multiplication with respect to addition. In consequence, whenever one encounters `plus' or `times' one has certain freedom of interpreting this operation. This leads to some freedom in definitions of derivatives, integrals and, thus, practically all equations occurring in natural sciences. A change of realization of arithmetics, without altering the remaining structures of a given equation, plays the same role as a symmetry transformation. An appropriate construction of arithmetics turns out to be particularly important for dynamical systems in fractal space-times. Simple examples from classical and quantum, relativistic and nonrelativistic physics are discussed.
Lossless Image Compression Based on Multiple-Tables Arithmetic Coding
Rung-Ching Chen
2009-01-01
Full Text Available This paper is intended to present a lossless image compression method based on multiple-tables arithmetic coding (MTAC method to encode a gray-level image f. First, the MTAC method employs a median edge detector (MED to reduce the entropy rate of f. The gray levels of two adjacent pixels in an image are usually similar. A base-switching transformation approach is then used to reduce the spatial redundancy of the image. The gray levels of some pixels in an image are more common than those of others. Finally, the arithmetic encoding method is applied to reduce the coding redundancy of the image. To promote high performance of the arithmetic encoding method, the MTAC method first classifies the data and then encodes each cluster of data using a distinct code table. The experimental results show that, in most cases, the MTAC method provides a higher efficiency in use of storage space than the lossless JPEG2000 does.
Design and Implementation of Fixed Point Arithmetic Unit
S Ramanathan
2016-06-01
Full Text Available This paper aims at Implementation of Fixed Point Arithmetic Unit. The real number is represented in Qn.m format where n is the number of bits to the left of the binary point and m is the number of bits to the right of the binary point. The Fixed Point Arithmetic Unit was designed using Verilog HDL. The Fixed Point Arithmetic Unit incorporates adder, multiplier and subtractor. We carried out the simulations in ModelSim and Cadence IUS, used Cadence RTL Compiler for synthesis and used Cadence SoC Encounter for physical design and targeted 180 nm Technology for ASIC implementation. From the synthesis result it is found that our design consumes 1.524 mW of power and requires area 20823.26 μm2 .
Uncertainty propagation in fault trees using a quantile arithmetic methodology
A methodology based on Quantile Arithmetic, the probabilistic analog to Interval Analysis (Dempster 1969), is proposed for the computation of uncertainty propagation in Fault Tree Analysis (Apostolakis 1977). The basic events' continuous probability density functions are represented by equivalent discrete distributions through dividing them into a number of quantiles N. Quantile Arithmetic is then used to perform the binary arithmetical operations corresponding to the logical gates in the Boolean expression for the Top Event of a given Fault Tree. The computational characteristics of the proposed methodology as compared with the exact analytical solutions are discussed for the cases of the summation of M normal variables. It is further compared with the Monte Carlo method through the use of the efficiency ratio defined as the product of the labor and error ratios. (orig./HP)
Computer arithmetic and validity theory, implementation, and applications
Kulisch, Ulrich
2013-01-01
This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic capability of the computer can be enhanced. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties
Grounding Concepts An Empirical Basis for Arithmetical Knowledge
Jenkins, C S
2008-01-01
Grounding Concepts tackles the issue of arithmetical knowledge, developing a new position which respects three intuitions which have appeared impossible to satisfy simultaneously: a priorism, mind-independence realism, and empiricism.Drawing on a wide range of philosophical influences, but avoiding unnecessary technicality, a view is developed whereby arithmetic can be known through the examination of empirically grounded concepts. These are concepts which, owing to their relationship to sensory input, are non-accidentally accurate representations of the mind-independent world. Examination of
Degrading Precision Arithmetics for Low-power FIR Implementation
Albicocco, Pietro; Cardarilli, Gian Carlo; Nannarelli, Alberto; Petricca, Massimo; Re, Marco
2011-01-01
dissipation is mandatory. After a review of the possible "standard" optimization techniques, the paper addresses aggressive methodologies where power and area savings are obtained by introducing the concept of "Degrading Precision Arithmetic" (DPA). Three different approaches are discussed: DPA-I, based on...... selective bit freezing, DPA-II, based on VDD voltage scaling, and DPA-III, based on power gating. Some theoreticaVsimuiative analysis of the introduced arithmetic errors and some implementation results are shown. A discussion on the suitability of these methodologies on standard cell technologies and FPGAs...
Algebraic and arithmetic area for $m$ planar Brownian paths
Desbois, Jean; Ouvry, Stephane
2011-01-01
The leading and next to leading terms of the average arithmetic area $$ enclosed by $m\\to\\infty$ independent closed Brownian planar paths, with a given length $t$ and starting from and ending at the same point, is calculated. The leading term is found to be $ \\sim {\\pi t\\over 2}\\ln m$ and the $0$-winding sector arithmetic area inside the $m$ paths is subleading in the asymptotic regime. A closed form expression for the algebraic area distribution is also obtained and discussed.
Algebraic and arithmetic area for m planar Brownian paths
The leading and next to leading terms of the average arithmetic area (S(m)) enclosed by m→∞ independent closed Brownian planar paths, with a given length t and starting from and ending at the same point, are calculated. The leading term is found to be (S(m)) ∼ (πt/2)lnm and the 0-winding sector arithmetic area inside the m paths is subleading in the asymptotic regime. A closed form expression for the algebraic area distribution is also obtained and discussed
Reason's Nearest Kin Philosophies of Arithmetic from Kant to Carnap
Potter, Michael
2000-01-01
How do we account for the truth of arithmetic? And if it does not depend for its truth on the way the world is, what constrains the world to conform to arithmetic? Reason's Nearest Kin is a critical examination of the astonishing progress made towards answering these questions from the late nineteenth to the mid-twentieth century. In the space of fifty years Frege, Dedekind, Russell, Wittgenstein, Ramsey, Hilbert, and Carnap developed accounts of the content of arithmeticthat were brilliantly original both technically and philosophically. Michael Potter's innovative study presents them all as
Matrix inequalities for the difference between arithmetic mean and harmonic mean
Liao, Wenshi; Wu, Junliang
2015-01-01
Motivated by the refinements and reverses of arithmetic-geometric mean and arithmetic-harmonic mean inequalities for scalars and matrices, in this article, we generalize the scalar and matrix inequalities for the difference between arithmetic mean and harmonic mean. In addition, relevant inequalities for the Hilbert-Schmidt norm and determinant are established.
Chapman, Olive
2007-01-01
Mathematical tasks, centered on arithmetic word problems, are discussed as the basis of an approach to facilitate preservice elementary teachers' development of mathematical knowledge for teaching arithmetic operations. The approach consists of three groups of tasks that allow students to reflect on their initial knowledge, explore arithmetic word…
The Development of Arithmetic Principle Knowledge: How Do We Know What Learners Know?
Prather, Richard W.; Alibali, Martha W.
2009-01-01
This paper reviews research on learners' knowledge of three arithmetic principles: "Commutativity", "Relation to Operands", and "Inversion." Studies of arithmetic principle knowledge vary along several dimensions, including the age of the participants, the context in which the arithmetic is presented, and most importantly, the type of knowledge…
An arithmetic regularity lemma, an associated counting lemma, and applications
Green, Ben
2010-01-01
Szemer\\'edi's regularity lemma can be viewed as a rough structure theorem for arbitrary dense graphs, decomposing such graphs into a structured piece (a partition into cells with edge densities), a small error (corresponding to irregular cells), and a uniform piece (the pseudorandom deviations from the edge densities). We establish an \\emph{arithmetic regularity lemma} that similarly decomposes bounded functions $f : [N] \\to \\C$, into a (well-equidistributed, virtual) $s$-step nilsequence, an error which is small in $L^2$ and a further error which is miniscule in the Gowers $U^{s+1}$-norm, where $s \\geq 1$ is a parameter. We then establish a complementary \\emph{arithmetic counting lemma} that counts arithmetic patterns in the nilsequence component of $f$. We provide a number of applications of these lemmas: a proof of Szemer\\'edi's theorem on arithmetic progressions, a proof of a conjecture of Bergelson, Host and Kra, and a generalisation of certain results of Gowers and Wolf. Our result is dependent on the i...
Nonsymbolic, Approximate Arithmetic in Children: Abstract Addition Prior to Instruction
Barth, Hilary; Beckmann, Lacey; Spelke, Elizabeth S.
2008-01-01
Do children draw upon abstract representations of number when they perform approximate arithmetic operations? In this study, kindergarten children viewed animations suggesting addition of a sequence of sounds to an array of dots, and they compared the sum to a second dot array that differed from the sum by 1 of 3 ratios. Children performed this…
Optimal Inequalities for Generalized Logarithmic, Arithmetic, and Geometric Means
Chu Yu-Ming; Long Bo-Yong
2010-01-01
For , the generalized logarithmic mean , arithmetic mean , and geometric mean of two positive numbers and are defined by , for , , for , , and , , for , and , , for , and , , and , respectively. In this paper, we find the greatest value (or least value , resp.) such that the inequality (or , resp.) holds for (or , resp.) and all with .
Embedding adaptive arithmetic coder in chaos-based cryptography
In this study an adaptive arithmetic coder is embedded in the Baptista-type chaotic cryptosystem for implementing secure data compression. To build the multiple lookup tables of secure data compression, the phase space of chaos map with a uniform distribution in the search mode is divided non-uniformly according to the dynamic probability estimation of plaintext symbols. As a result, more probable symbols are selected according to the local statistical characters of plaintext and the required number of iterations is small since the more probable symbols have a higher chance to be visited by the chaotic search trajectory. By exploiting non-uniformity in the probabilities under which a number of iteration to be coded takes on its possible values, the compression capability is achieved by adaptive arithmetic code. Therefore, the system offers both compression and security. Compared with original arithmetic coding, simulation results on Calgary Corpus files show that the proposed scheme suffers from a reduction in compression performance less than 12% and is not susceptible to previously carried out attacks on arithmetic coding algorithms. (general)
Tame symbols and reciprocity laws on arithmetic surfaces
Liu, Dongwen
2012-01-01
We define and study tame symbols for two-dimensional local fields, which are closely related to Kato's residue homomorphisms in Milnor $K$-theory and also explicitly related to Contou-Carrere symbols. As applications we establish several reciprocity laws for tame symbols on arithmetic surfaces.
A Stock Pricing Model Based on Arithmetic Brown Motion
YAN Yong-xin; HAN Wen-xiu
2001-01-01
This paper presents a new stock pricing model based on arithmetic Brown motion. The model overcomes the shortcomings of Gordon model completely. With the model investors can estimate the stock value of surplus companies, deficit companies, zero increase companies and bankrupt companies in long term investment or in short term investment.
Deduction arithmetic of continuous measurement the radon daughters potential energy
According to continuous measurement the radon daughters potential energy, the deduction arithmetic is presented. And the theoretical formula, coefficient, calculation error, method of sampling and measurement, condition of calibration are given. The calculation error of this method is less than 4%. This method is suitable for environmental measurement for it's high sensitivity when sampling with low flow rate. (authors)
Arithmetic procedural knowledge: a cortico-subcortical circuit.
Roşca, Elena Cecilia
2009-12-11
The disturbances of arithmetic procedural knowledge form a heterogeneous picture, in which we can distinguish "memory" impairments and "monitoring" problems. Patients with "memory" disturbances reported in the literature present left parietal lesions, while "monitoring" impairments have been assumed to be due to frontal damage. Procedural knowledge has been less investigated in basal ganglia lesions, in which there has been no analysis of procedural impairments. The present study investigates and compares the patterns of acalculia in two patients, one with a left parietal lesion and the other with a left basal ganglia lesion. The patients were tested on a broad range of neuropsychological abilities, with the main focus on number processing and calculation. The results show many similarities between their deficits, with some difficulties in simple arithmetic, arithmetical rules and mental and written complex calculations. The errors made in complex mental and written calculations were due to memory-based procedural impairments in both patients. These findings, corroborated with other studies reported in the literature, suggest the existence of a fronto-parieto-subcortical circuit responsible for arithmetic complex calculations and that procedural knowledge relies on a visuo-spatial sketchpad that contains a representation of each sub-step of the procedure. PMID:19765552
Toward a Student-Centred Process of Teaching Arithmetic
Eriksson, Gota
2011-01-01
This article describes a way toward a student-centred process of teaching arithmetic, where the content is harmonized with the students' conceptual levels. At school start, one classroom teacher is guided in recurrent teaching development meetings in order to develop teaching based on the students' prerequisites and to successively learn the…
Towards Metamathematics of Weak Arithmetics over Fuzzy Logic
Hájek, Petr
2011-01-01
Roč. 19, č. 3 (2011), s. 467-475. ISSN 1367-0751 R&D Projects: GA AV ČR IAA100300503 Institutional research plan: CEZ:AV0Z10300504 Keywords : weak arithmetic s * mathematical fuzzy logic * Gödel’s theorem * essential undecidability Subject RIV: BA - General Mathematics Impact factor: 0.913, year: 2011
Arithmetic and Aging: Impact of Quantitative Knowledge and Processing Speed
Rozencwajg, Paulette; Schaeffer, Olivier; Lefebvre, Virginie
2010-01-01
The main objective of this study was to examine how quantitative knowledge ("Gq" in the CHC model) and processing speed ("Gs" in the CHC model) affect scores on the WAIS-III Arithmetic Subtest (Wechsler, 2000) with aging. Two age groups were compared: 30 young adults and 25 elderly adults. For both age groups, "Gq" was an important predictor of…
Operation-Specific Encoding in Single-Digit Arithmetic
Zhou, Xinlin
2011-01-01
Solving simple arithmetic problems involves three stages: encoding the problem, retrieving or calculating the answer, and reporting the answer. This study compared the event-related potentials elicited by single-digit addition and multiplication problems to examine the relationship between encoding and retrieval/calculation stages. Results showed…
Numerical Predictors of Arithmetic Success in Grades 1-6
Lyons, Ian M.; Price, Gavin R.; Vaessen, Anniek; Blomert, Leo; Ansari, Daniel
2014-01-01
Math relies on mastery and integration of a wide range of simpler numerical processes and concepts. Recent work has identified several numerical competencies that predict variation in math ability. We examined the unique relations between eight basic numerical skills and early arithmetic ability in a large sample (N = 1391) of children across…
Unconscious Addition: When We Unconsciously Initiate and Follow Arithmetic Rules
Ric, Francois; Muller, Dominique
2012-01-01
This research shows that people can unconsciously initiate and follow arithmetic rules (e.g., addition). Participants were asked to detect whether a symbol was a digit. This symbol was preceded by 2 digits and a subliminal instruction: "add" or a control instruction. Participants were faster at identifying a symbol as a number when the symbol was…
Effects of Numerical Surface Form in Arithmetic Word Problems
Orrantia, Josetxu; Múñez, David; San Romualdo, Sara; Verschaffel, Lieven
2015-01-01
Adults' simple arithmetic performance is more efficient when operands are presented in Arabic digit (3 + 5) than in number word (three + five) formats. An explanation provided is that visual familiarity with digits is higher respect to number words. However, most studies have been limited to single-digit addition and multiplication problems. In…
Fragments of bounded arithmetic and the lengths of proofs
Pudlák, Pavel
2008-01-01
Roč. 73, č. 4 (2008), s. 1389-1406. ISSN 0022-4812 R&D Projects: GA AV ČR IAA1019401 Institutional research plan: CEZ:AV0Z10190503 Keywords : bounded arithmetic * length proofs * Herbrand´s theorem Subject RIV: BA - General Mathematics Impact factor: 0.439, year: 2008
Relational Thinking: Learning Arithmetic in Order to Promote Algebraic Thinking
Napaphun, Vishnu
2012-01-01
Trends in the curriculum reform propose that algebra should be taught throughout the grades, starting in elementary school. The aim should be to decrease the discontinuity between the arithmetic in elementary school and the algebra in upper grades. This study was conducted to investigate and characterise upper elementary school students…
A codesign case study: implementing arithmetic functions in FPGAs
Klotchkov, I. V.; Pedersen, Steen
Different ways of implementing and designing arithmetic functions for 16/32 bit integers in FPGA technology are studied. A comparison of four different design methods is also included. The results are used to increase the overall system performance in a dedicated 3D image analysis prototype system...
Partial sums of arithmetical functions with absolutely convergent Ramanujan expansions
BISWAJYOTI SAHA
2016-08-01
For an arithmetical function $f$ with absolutely convergent Ramanujan expansion, we derive an asymptotic formula for the $\\sum_{n\\leq N}$ f(n)$ with explicit error term. As a corollary we obtain new results about sum-of-divisors functions and Jordan’s totient functions.
Sex Differences in Arithmetical Performance Scores: Central Tendency and Variability
Martens, R.; Hurks, P. P. M.; Meijs, C.; Wassenberg, R.; Jolles, J.
2011-01-01
The present study aimed to analyze sex differences in arithmetical performance in a large-scale sample of 390 children (193 boys) frequenting grades 1-9. Past research in this field has focused primarily on average performance, implicitly assuming homogeneity of variance, for which support is scarce. This article examined sex differences in…
Neuroanthropological Understanding of Complex Cognition – Numerosity and Arithmetics
Zarja Mursic
2013-10-01
Full Text Available Humankind has a long evolutionary history. When we are trying to understand human complex cognition, it is as well important to look back to entire evolution. I will present the thesis that our biological predispositions and culture, together with natural and social environment, are tightly connected. During ontogenetically development we are shaped by various factors, and they enabled humans to develop some aspects of complex cognition, such as mathematics.In the beginning of the article I present the importance of natural and cultural evolution in other animals. In the following part, I briefly examine the field of mathematics – numerosity and arithmetic. Presentation of comparative animal studies, mainly made on primates, provides some interesting examples in animals’ abilities to separate between different quantities. From abilities for numerosity in animals I continue to neuroscientific studies of humans and our ability to solve simple arithmetic tasks. I also mention cross-cultural studies of arithmetic skills. In the final part of the text I present the field neuroanthropology as a possible new pillar of cognitive science. Finally, it is important to connect human evolution and development with animal cognition studies, but as well with cross-cultural studies in shaping of human ability for numerosity and arithmetic.
Dark energy as a manifestation of nontrivial arithmetic
Czachor, Marek
2016-01-01
Arithmetic operations (addition, subtraction, multiplication, division), as well as the calculus they imply, are non-unique. The examples of four-dimensional spaces, $\\mathbb{R}_+^4$ and $(-L/2,L/2)^4$, are considered where different types of arithmetic and calculus coexist simultaneously. In all the examples there exists a non-Diophantine arithmetic that makes the space globally Minkowskian, and thus the laws of physics are formulated in terms of the corresponding calculus. However, when one switches to the `natural' Diophantine arithmetic and calculus, the Minkowskian character of the space is lost and what one effectively obtains is a Lorentzian manifold. I discuss in more detail the problem of electromagnetic fields produced by a pointlike charge. The solution has the standard form when expressed in terms of the non-Diophantine formalism. When the `natural' formalsm is used, the same solution looks as if the fields were created by a charge located in an expanding universe, with nontrivially accelerating e...
Representations in the Sixteenth-Century Arithmetic Books
Madrid, María José; Maz-Machado, Alexander; León-Mantero, Carmen
2015-01-01
The research on the History of Mathematics and Mathematics Education has on textbook a useful tool to provide diverse types of information; this fact has led to the realization of many different studies focus on them. In this context, this work analyzes eight different sixteenth-century arithmetic books to know the different types of…
Arithmetic Motivic Poincar\\'e series of toric varieties
Pablos, Helena Cobo
2010-01-01
The arithmetic motivic Poincar\\'e series of a variety $V$ defined over a field of characteristic zero, is an invariant of singularities which was introduced by Denef and Loeser by analogy with the Serre-Oesterl\\'e series in arithmetic geometry. They proved that this motivic series has a rational form which specializes to the Serre-Oesterl\\'e series when $V$ is defined over the integers. This invariant, which is known explicitly for a few classes of singularities, remains quite mysterious. In this paper we study this motivic series when $V$ is an affine toric variety. We obtain a formula for the rational form of this series in terms of the Newton polyhedra of the ideals of sums of combinations associated to the minimal system of generators of the semigroup of the toric variety. In particular, we deduce explicitly a finite set of candidate poles for this invariant.
To what extent are arithmetic progressions of fractional parts stochastic?
For the sequence of residues of division of n members of an arithmetic progression by a real number N, it is proved that the Kolmogorov stochasticity parameter λn tends to 0 as n tends to infinity when the progression step is commensurable with N. In contrast, for the case when the step is incommensurable with N, examples are given in which the stochasticity parameter λn not only does not tend to 0, but even takes some arbitrary large values (infrequently). Too small and too large values of the stochasticity parameter both indicate a small probability that the corresponding sequence is random. Thus, long arithmetic progressions of fractional parts are apparently much less stochastic than for geometric progressions (which provide moderate values of the stochasticity parameter, similar to its values for genuinely random sequences)
Hardware Implementations of GF (2m Arithmetic Using Normal Basis
Turki F. Al-Somani
2006-01-01
Full Text Available This study presents a survey of algorithms used in field arithmetic over GF (2m using normal basis and their hardware implementations. These include the following arithmetic field operations: addition, squaring, multiplication and inversion. This study shows that the type II Sunar-Koc multiplier is the best multiplier with a hardware complexity of m2 AND gates + XOR gates and a time complexity of TA+ (1+ l log2 (m l Tx. The study also show that the Itoh-Tsujii inversion algorithm was the best inverter and it requires almost log2 (m-1 multiplications.
An efficient adaptive arithmetic coding image compression technology
This paper proposes an efficient lossless image compression scheme for still images based on an adaptive arithmetic coding compression algorithm. The algorithm increases the image coding compression rate and ensures the quality of the decoded image combined with the adaptive probability model and predictive coding. The use of adaptive models for each encoded image block dynamically estimates the probability of the relevant image block. The decoded image block can accurately recover the encoded image according to the code book information. We adopt an adaptive arithmetic coding algorithm for image compression that greatly improves the image compression rate. The results show that it is an effective compression technology. (electromagnetism, optics, acoustics, heat transfer, classical mechanics, and fluid dynamics)
Memristor-based Circuits for Performing Basic Arithmetic Operations
Merrikh-Bayat, Farnood
2010-01-01
In almost all of the currently working circuits, especially in analog circuits implementing signal processing applications, basic arithmetic operations such as multiplication, addition, subtraction and division are performed on values which are represented by voltages or currents. However, in this paper, we propose a new and simple method for performing analog arithmetic operations which in this scheme, signals are represented and stored through a memristance of the newly found circuit element, i.e. memristor, instead of voltage or current. Some of these operators such as divider and multiplier are much simpler and faster than their equivalent voltage-based circuits and they require less chip area. In addition, a new circuit is designed for programming the memristance of the memristor with predetermined analog value. Presented simulation results demonstrate the effectiveness and the accuracy of the proposed circuits.
Executable Set Theory and Arithmetic Encodings in Prolog
Tarau, Paul
2008-01-01
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic encodings. The complete Prolog code is available at http://logic.csci.unt.edu/tarau/research/2008/pHFS.zip . First, ranking and unranking functions for some "mathematically elegant" data types in the universe of Hereditarily Finite Sets with Urelements are provided, resulting in arithmetic encodings for powersets, hypergraphs, ordinals and choice functions. After implementing a digraph representation of Hereditarily Finite Sets we define {\\em decoration functions} that can recover well-founded sets from encodings of their associated acyclic digraphs. We conclude with an encoding of arbitrary digraphs and discuss a concept of duality induced by the set membership relation. In the process, we uncover the surprising possibility of internally sharing isomorphic objects, independently of their language level types and meanings.
Interval arithmetic operations for uncertainty analysis with correlated interval variables
Jiang, Chao; Fu, Chun-Ming; Ni, Bing-Yu; Han, Xu
2016-08-01
A new interval arithmetic method is proposed to solve interval functions with correlated intervals through which the overestimation problem existing in interval analysis could be significantly alleviated. The correlation between interval parameters is defined by the multidimensional parallelepiped model which is convenient to describe the correlative and independent interval variables in a unified framework. The original interval variables with correlation are transformed into the standard space without correlation, and then the relationship between the original variables and the standard interval variables is obtained. The expressions of four basic interval arithmetic operations, namely addition, subtraction, multiplication, and division, are given in the standard space. Finally, several numerical examples and a two-step bar are used to demonstrate the effectiveness of the proposed method.
On Jacobian group arithmetic for typical divisors on curves
Khuri-Makdisi, Kamal
2013-01-01
In a previous joint article with F. Abu Salem, we gave efficient algorithms for Jacobian group arithmetic of "typical" divisor classes on C_{3,4} curves, improving on similar results by other authors. At that time, we could only state that a generic divisor was typical, and hence unlikely to be encountered if one implemented these algorithms over a very large finite field. This article pins down an explicit characterization of these typical divisors, for an arbitrary smooth projective curve o...
Self-Similarity in Geometry, Algebra and Arithmetic
Rastegar, Arash
2012-01-01
We define the concept of self-similarity of an object by considering endomorphisms of the object as `similarity' maps. A variety of interesting examples of self-similar objects in geometry, algebra and arithmetic are introduced. Self-similar objects provide a framework in which, one can unite some results and conjectures in different mathematical frameworks. In some general situations, one can define a well-behaved notion of dimension for self-similar objects. Morphisms between self-similar o...