On polynomial representations of Boolean functions related to some number theoretic problem

合集下载

representations of orbitals -回复

representations of orbitals -回复

representations of orbitals -回复什么是轨道的表示?轨道是描述电子位置概率分布的数学函数。

在量子力学中,电子不是在确定的轨道上绕核心转动的,而是在空间中存在概率分布。

每个电子的这种概率分布可以由一种数学函数来表示,称为波函数。

波函数的平方可以给出电子在空间中的位置概率密度。

轨道表示方法主要有两种:波函数的表示和轨道图的表示。

本文将详细探讨这两种表示方法及其物理意义。

1. 波函数的表示:轨道的波函数表示是一种数学函数,用于描述电子在空间中存在的概率分布。

波函数可以由解薛定谔方程得到。

薛定谔方程是描述量子粒子行为的基本方程。

根据实验观察,薛定谔方程中的波函数必须满足一些限制条件,如波函数必须是无限可微的,且在整个空间中可归一化。

波函数一般用Ψ来表示,与经典物理学中的物理量不同,波函数不是直接测量的,而是用来计算各种物理量的期望值。

因此,波函数的平方( Ψ²)可以给出电子在空间中的位置概率密度。

在实践中,将波函数表示为一系列基函数(如高斯函数或Slater函数)的线性组合是常用的表示方法。

2. 轨道图的表示:轨道图常用于化学中的原子轨道和分子轨道的表示。

在这种表示中,轨道被看作是在空间中存在的形状和大小不同的区域。

轨道图通常是通过在空间中绘制电子概率分布的等概率曲面得到的。

这些等概率曲面称为轨道的云图。

对于原子轨道,轨道图的表示是通过解析计算得到的。

原子轨道的形状通过找到波函数的可能解得出。

在原子中,电子围绕原子核存在的位置是不确定的,因此依据波函数的相空间概率密度来绘制轨道图是有实际意义的。

对于分子轨道,轨道图是通过计算化学键形成过程中电子分布的变化得到的。

根据分子的对称性,我们可以得到分子轨道的性质和分布。

分子轨道的形状和大小也可以通过在空间绘制电子概率分布的等概率曲面来表示。

无论是波函数的表示还是轨道图的表示,它们都提供了一种描述电子存在位置分布的方法。

波函数的表示更加符合量子力学的基本原理,能够给出电子在空间中的位置概率密度,而轨道图的表示更加直观和易于理解。

interpolation on Chebyshev points of two variables

interpolation on Chebyshev points of two variables

and zero outside [−1, 1]. The orthonormal polynomials with respect to w0 are T0 (x) = 1, Tk (x) = √ 2 cos kθ, k ≥ 1, x = cos θ.
We warn the reader √ that our definition of Chebyshev polynomials differs from the usual one by a factor 2, since our Tn are orthonormal with respect to w0 . Moreover, in the 2
definition of w0 we already incorporate the factor π −1 , so that the integral of w0 on [−1, 1] is 1. The product Chebyshev weight function on [−1, 1]2 is defined by W0 (x, y ) = w0 (x)w0 (y ) = 1 1 , √ 2 π 1 − x2 1 − y 2 (x, y ) ∈ [−1, 1]2 .
1. Introduction It is well-known that the zeros of Chebyshev polynomials in one variable are in many ways optimal nodes for the purpose of polynomial interpolation, see, for example, [10]. For n ≥ 1, the Chebyshev polynomial of degree n is defined by

离散数学英中名词对照表

离散数学英中名词对照表

离散数学英中名词对照表英文Abel categoryAbel group (commutative group) Abel semigroup Abelian groupabsorption property accessibility relation acyclicaddition principleadequate set of connectives adjacentadjacent matrixadjugateadjunctionaffine planealgebraic closed field algebraic element algebraic extensionalphabetalternating groupannihilatorantecedentanti symmetryanti-isomorphismarc setargumentarityarrangement problem associateassociativeassociative algebraassociatorasymmetricatomatomic formulaaugmenting pigeon hole principle augmenting path automorphism automorphism group of graph auxiliary symbol A 离散数学英文—中文名词axiom of choiceaxiom of equalityaxiom of extensionalityaxiom of infinityaxiom of pairsaxiom of regularityaxiom of replacement for the formulaaxiom of the empty setaxiom of unionB balanced imcomplete block designbarber paradoxbase (base 2 exponential function)base (logarithm function to the base 2)Bell numberBernoulli numberBerry paradoxbiconditionalbijection (one-to-one correspondence)bi-mdulebinary relationbinary operationbinary symmetric channel (BSC)binary treebinomial coefficientbinomial theorembinomial transform bipartite graphblockblockblock codeblock designBondy theoremBoolean algebra Boolean expression Boolean functionBoole homomorophism Boole latticeBoolean matrixBoolean productbound occurrencebound variablebounded latticeBruijn theorem Burnside lemmaC cagecancellation property canonical epimorphism Cantor conjecture Cantor diagonal method Cantor paradoxcapacitycardinal number cardinalityCartesion product of graph Catalan numbercatenationCayley graphCayley theoremceiling functioncell (block)centercertain eventchain (walk) characteristic function characteristic of ring characteristic polynomial check digitsChinese postman problem chromatic number chromatic polynomial circuitcirculant graph circumferenceclassclassical completeness classical consistent cliqueclique numberclose with respect to closed termclosureclosure of graphcode elementcode lengthcode wordcoefficientcoimageco-kernalcoloringcoloring problemcombinationcombination numbercombination with repetationcommon divisorcommon factorcommutativecommutative diagramcommutative ringcommutative seimgroupcomparablecompatible withcomplementcomplement elementcomplement of B with respect to A complementary relation complemented latticecomplete bipartite graphcomplete graphcomplete k-partite graphcomplete latticecomplete matchcomplete n-treecompositecomposite operationcomposition (molecular proposition) composition of graph (lexicographic product) compound statementconcatenation (juxtaposition) concatenation graphconditional statement (implication) congruence relationcongruent toconjectureconjunctive normal form connected component connective connectivityconnectivity relation consecutively consequence (conclusion) conservation of flow consistent (non-contradiction) constructive proofcontain (in)contingencycontinuumcontraction of graph contradiction contravariant functor contrapositiveconversecoproductcorankcorresponding universal map countable (uncountable) countably infinite set counter examplecountingcovariant functorcoveringcovering numbercrossing number of graph cosetcotreecutcut edgecut vertexcyclecycle basiscycle matrixcycle rankcycle spacecycle vectorcyclic groupcyclic indexcyclic permutation cyclic semigroupD De Morgan's law decision procedure decoding table deduction theorem degreedegree sequence derivation algebra Descartes product descendant designated truth value deterministic diagonal functor diagonal matrix diameterdigraphdilemmadirect consequence direct limitdirect sumdirected by inclutiondisconnecteddiscrete Fourier transform discrete graph (null graph) disjoint setdisjunctiondisjunctive normal form disjunctive syllogism distancedistance transitive graph distinguished element distributivedistributive lattice divisibilitydivision subringdivison ringdivisor (factor) dodecahedrondomaindual categorydual formdual graphdual principledual statementdummy variableE eccentricityedge chromatic number edge coloringedge connectivityedge coveringedge covering numberedge cutedge setedge-independence number eigenvalue of graph element (entry) elementary divisor ideal elementary product elementary sumempty graphempty relationempty set endomorphismendpointentry (element) enumeration function epimorphismequipotentequivalenceequivalent category equivalent class equivalent matrix equivalent object equivalent relationerror functionerror patternEuclid algorithmEuclid domainEuler characteristicEuler circuitEuler functionEuler graphEuler numberEuler pathEuler polyhedron formula Euler tourEuler traileven permutationeventeverywhere defined excess capacity existence proof existential generalization existential quantification existential quantifier existential specification explicitextended Fibonacci number extended Lucas number extensionextension field extension graphexterior algebraF facefactorfactorablefactotialfactorizationfaithful (full) functor Ferrers graphFibonacci numberfieldfilterfinite dimensional associative division algebra finite extensionfinite field (Galois field )finite groupfinite setfinitely generated modulefirst order theory with equalityfive-color theoremfive-time-repetitionfixed pointfloor functionflowforestforgetful functorfour-color theorem (conjecture)F-reduced productfree elementfree monoidfree occurrencefree R-modulefree variablefree-Ω-algebrafull n-treefunction schemeG Galileo paradoxGauss coefficientGBN (G?del-Bernays-von Neumann system) GCD (Greatest Common Divisor) generalized Petersen graphgenerating functiongenerating proceduregeneratorgenerator matrixgeneric elementgenusgirthG?del completeness theoremgolden section numbergraceful graphgraceful tree conjecturegraphgraph of first class for edge coloring graph of second class for edge coloring graph rankgraph sequencegreatest common factorgreatest elementgreedy algorithmGrelling paradoxGr?tzsch graphgroupgroup codegroup of graphgrowth of functionHajós conjectureHamilton cycleHamilton graphHamilton pathHarary graphhash functionHasse diagramHeawood graphheightHerschel graphhom functorhomemorphism homomorphism homomorphism image homomorphism of graph hyperoctahedronhypothelical syllogism hypothesis (premise)idealidempotentidentityidentity functionidentity natural transformation imageimbeddingimmediate predcessor immediate successorimpossible eventincidentincident axiomincident matrixinclusion and exclusion principle inclusion relationindegreeindependentindependent number independent setindependent transcendental element indexindirected method H Iindividual variableinduced subgraphinfinite extensioninfinite groupinfinite setinitial endpointinitial objectinjectioninjection functorinjective (one to one mapping) inner faceinner neighbour setinorder searchintegral domainintegral subdomaininternal direct sum intersectionintersection of graph intersection operation intervalinvariant factorinvariant factor idealinverseinverse limitinverse morphisminverse natural transformation inverse operationinverse relationinversioninvertableinvolution property irreflexiveisolated vertexisomorphic categoryisomorphismisomorphism of graphjoinjoin of graphJ Jordan algebraJordan product (anti-commutator)Jordan sieve formulaj-skewjuxtapositionk-chromatic graphk-connected graphk-critical graphk-edge chromatic graphk-edge-connected graphk-edge-critical graph Kanaugh mapkernelKirkman schoolgirl problem Klein 4 groupKonisberge Brudge problem Kruskal's algorithm Kuratowski theoremlabeled graphLah numberLatin rectangleLatin squarelatticelattice homomorphismlawLCM (Least Common Multiple) leader cosetleast elementleafleast upper boundleft (right) identityleft (right) invertible element left (right) moduleleft (right) zeroleft (right) zero divisorleft adjoint functorleft cancellableleft cosetlengthlexicographic orderlLie algebraline- grouplinear array (list)linear graphlinear order (total order)K Llinear order set (chain)logical connective logical followlogically equivanlent logically implies logically valid loopLucas numbermagicmany valued proposition logic map coloring problem matchingmathematical structure matrix representation maximal element maximal idealmaximal outerplanar graph maximal planar graph maximum flow maximum matching maxtermmaxterm normal form (conjunctive normal form)McGee graph meetMenger theorem Meredith graph message word mini term minimal -connected graph minimal polynomial minimal spanning tree Minimanoff paradox minimum distance Minkowski summinterm (fundamental conjunctive form)minterm normal form (disjunctive normal form)M?bius function M?bius ladder M?bius transform (inversion)modal logic modelmodule homomorphismMkmoduler latticemodulusmodus ponensmodus tollensmodule isomorphismmonic morphismmonoidmonomorphismmorphism (arrow)M?bius functionM?bius ladderM?bius transform (inversion)multigraphmultinomial coefficientmultinomial expansion theoremmultiple-error-correcting codemultiplication principlemutually exclusivemultiplication tablemutually orthogonal Latin squareN n-ary operationn-ary productn-ary tree (n-tree)n-tuplenatural deduction systemnatural homomorphismnatural isomorphismnatural transformationnearest neighbernegationneighbour setnext state transition functionnon-associative algebranon-standard logicNorlund formulanormal formnormal modelnormal subgroup (invariant subgroup)n-relationnull graph (discrete graph)null objectnullary operationobjectodd permutationoffspringone to oneone-to-one correspondence (bijection) onto optimal solutionorbitorderorder (lower order,same order) order ideal order relationordered pairOre conditionorientationorthogonal Latin square orthogonal layoutoutarcoutdegreeouter faceouter neighbourouterneighbour setouterplanar graphpancycle graphparallelismparallelism classparentparity-check codeparity-check equationparity-check machineparity-check matrixpartial functionpartial ordering (partial relation) partial order relation partial order set (poset)partitionpartition number of integerpartition number of setPascal formulapathperfect code O Pperfect t-error-correcting code perfect graph permutationpermutation grouppermutation with repetation Petersen graphp-graphPierce arrowpigeonhole principleplanar graphplane graphPolish formPólya theorempolynomailpolynomial codepolynomial representation polynomial ring positional treepossible worldpostorder searchpower functorpower of graphpower setpredicateprenex normal formpreorder searchpre-ordered setprimary cycle modulePRIM's algorithmprimeprime fieldprime to each otherprimitive connectiveprimitive elementprimitive polynomialprincipal idealprincipal ideal domainprinciple of dualityprinciple of mathematical induction principle of redundancy probabilisticprobability (theory)productproduct categoryproduct partial orderproduct-sum formproof (deduction)proof by contraditionproper coloringproper factorproper filterproper subgroupproperly inclusive relationproposition (statement)propositional constantpropositional formula (well-formed formula,wff) propositional functionpropositional variablepseudocodepullbackpushoutquantification theoryquantifierquasi order relationquaternionquotient (difference) algebraquotient algebraquotient field (field of fraction)quotient groupquotient modulequotient ring (difference ring , residue ring) quotient set Ramsey graph Ramsey number Ramsey theorem rangerankreachability reconstruction conjecture recursive redundant digits reflexiveregular expression regular graph R Qregular representationrelation matrixrelative setremainderreplacement theoremrepresentationrepresentation functorrestricted proposition formrestrictionretractionreverse Polish formRichard paradoxright adjoint functorright cancellableright factorright zero divisonringring of endomorphismring with unity elementR-linear independencerooted treeroot fieldrule of inferenceRussell paradoxS sample spacesatisfiablesaturatedscopesearchingsectionself-complement graphsemantical completenesssemantical consistentsemigroupseparable elementseparable extensionsequencesequentsequentialSheffer strokesiblingssimple algebraic extensionsimple cyclesimple extensionsimple graphsimple pathsimple proposition (atomic proposition) simple transcental extension simplicationsinkslopesmall categorysmallest element Socrates argument soundness (validity) theorem sourcespanning subgraph spanning treespectra of graphspetral radiussplitting fieldsquare matrixstandard modelstandard monomil statement (proposition) Steiner tripleStirling numberStirling transformstrong induction subalgebrasubcategorysubdirect product subdivison of graph subfieldsubformulasubdivision of graph subgraphsubgroupsub-modulesubmonoidsublatticesubrelationsubringsub-semigroup subscript。

计算机历史大事年表

计算机历史大事年表

500 B.C.The abacus was first used by the Babylonians as an aid to simple arithmetic at sometime around this date. The abacus in the form we are most familiar withwas first used in China in around 1300 A.D.1614Scotsman John Napier (1550-1617) published a paper outlining his discovery of the logarithm. Napier also invented an ingenious system of moveable rods(referred to as Napier’s Rods or Napier’s bones). These allowed the operatorto multiply, divide and calculate square and calculate cube roots by movingthe rods around and placing them in specially constructed boards.1623Wilhelm Schickard (1592-1635), of Tuebingen, Wuerttemberg (now in Germany), made a "Calculating Clock". Thismechanical machine was capable of adding and subtractingup to 6 digit numbers, and warned of an overflow by ringinga bell. Operations were carried out by wheels, and acomplete revolution of the units wheel incremented thetens wheel in much the same way counters on old cassettedeck worked.The machine and plans were lost and forgotten in the warthat was going on, then rediscovered in 1935, only to belost in war again, and then finally rediscovered in 1956by the same man (Franz Hammer)! The machine wasreconstructed in 1960, and found to be workable. Schickardwas a friend of the astronomer Johannes Kepler since theymet in the winter of 1617.1625William Oughtred (1575-1660) invented the slide rule.1642French mathematician, Blaise Pascal built a mechanical adding machine (the "Pascaline"). Despite being more limited than Schickard’s ’CalculatingClock’ (see 1623), Pascal’s machine became far more well known. He wasable to sell around a dozen of his machines in various forms, coping with upto 8 digits.1668Sir Samuel Morland (1625-1695), of England, produces a non decimal adding machine, suitable for use with English money. Instead of a carry mechanism,it registers carries on auxiliary dials, from which the user must re-enter themas addends.1671German mathematician, Gottfried Leibniz designed a machine to carry out multiplication, the ’Stepped Reckoner’. It can multiple number of up to 5 and12 digits to give a 16 digit operand. The machine was later lost in an atticuntil 1879. Leibniz was also the co-inventor of calculus.1775Charles, the third Earl Stanhope, of England, makes a successful multiplying calculator similar to Leibniz’s.1776Mathieus Hahn, somewhere in what will be Germany, also makes a successful multiplying calculator that he started in 1770.1786J. H. Mueller, of the Hessian army, conceives the idea of what came to be called a "difference engine". That’s a special purpose calculator for tabulatingvalues of a polynomial, given the differences between certain values so thatthe polynomial is uniquely specified; it’s useful for any function that can beapproximated by a polynomial over suitable intervals. Mueller’s attempt toraise funds fails and the project is forgotten.1801Joseph-Maire Jacuard developed an automatic loom controlled by punched cards.1820Charles Xavier Thomas de Colmar (1785-1870), of France, makes his "Arithmometer", the first mass-produced calculator. It does multiplicationusing the same general approach as Leibniz’s calculator; wit h assistance fromthe user it can also do division. It is also the most reliable calculator yet.Machines of this general design, large enough to occupy most of a desktop,continue to be sold for about 90 years.1822Charles Babbage (1792-1871) designed his first mechanical computer, the first prototype for the difference engine. Babbage invented 2 machines theAnalytical Engine (a general purpose mathematical device, see 1834) and theDifference Engine (a re-invention of Mueller’s 1786 machine for solvin gpolynomials), both machines were too complicated to be built (althoughattempt was made in 1832) - but the theories worked. The analytical engine(outlined in 1833) involved many processes similar to the early electroniccomputers - notably the use of punched cards for input.1832Babbage and Joseph Clement produce a prototype segment of his difference engine, which operates on 6-digit numbers and 2nd-order differences (i.e. cantabulate quadratic polynomials). The complete engine, which would beroom-sized, is planned to be able to operate both on 6th-order differenceswith numbers of about 20 digits, and on 3rd-order differences with numbersof 30 digits. Each addition would be done in two phases, the second onetaking care of any carries generated in the first. The output digits would bepunched into a soft metal plate, from which a plate for a printing press couldbe made. But there are various difficulties, and no more than this prototypepiece is ever assembled.1834George Scheutz, of Stockholm, produces a small difference engine in wood, after reading a brief description of Babbage’s project.1834Babbage conceives, and begins to design, his "Analytical Engine". The program was stored on read-only memory, specifically in the form of punchcards. Babbage continues to work on the design for years, though after about1840 the changes are minor. The machine would operate on 40-digit numbers;the "mill" (CPU) would have 2 main accumulators and some auxiliary onesfor specific purposes, while the "store" (memory) would hold perhaps 100more numbers. There would be several punch card readers, for both programsand data; the cards would be chained and the motion of each chain could bereversed. The machine would be able to perform conditional jumps. Therewould also be a form of microcoding: the meaning of instructions woulddepend on the positioning of metal studs in a slotted barrel, called the "controlbarrel". The machine would do an addition in 3 seconds and a multiplicationor division in 2-4 minutes.1842Babbage’s difference engine project is officially cancelled. (The cost overruns have been considerable, and Babbage is spending too much time onredesigning the Analytical Engine.)1843Scheutz and his son Edvard Scheutz produce a 3rd-order difference engine with printer, and the Swedish government agrees to fund their nextdevelopment.1847Babbage designs an improved, simpler difference engine,a project which took 2 years. The machine could operateon 7th-order differences and 31-digit numbers, but nobodyis interested in paying to have it built.(In 1989-91, however, a team at London’s Science Museumwill do just that. They will use components of modernconstruction, but with tolerances no better than Clementcould have provided... and, after a bit of tinkering anddetail-debugging, they will find that the machine doesindeed work.)1848British Mathematician George Boole devised binary algebra (Boolean algebra) paving the way for the development of a binary computer almost acentury later. See 1939.1853To Babbage’s delight, the Scheutzes complete the first full-scale difference engine, which they call a Tabulating Machine. It operates on 15-digit numbersand 4th-order differences, and produces printed output as Babbage’s wouldhave. A second machine is later built to the same design by the firm of BrianDonkin of London.1858The first Tabulating Machine (see 1853) is bought by the Dudley Observatory in Albany, New York, and the second one by the British government. TheAlbany machine is used to produce a set of astronomical tables; but theobservatory’s director is then fired for this extravagant purchase, and themachine is never seriously used again, eventually ending up in a museum.The second machine, however, has a long and useful life.1871Babbage produces a prototype section of the Analytical Engine’s mill and printer.1878Ramon Verea, living in New York City, invents a calculator with an internal multiplication table; this is much faster than the shifting carriage or otherdigital methods. He isn’t interested in putting it into production; he just wantsto show that a Spaniard can invent as well as an American.1879 A committee investigates the feasibility of completing the Analytical Engineand concludes that it is impossible now that Babbage is dead. The project isthen largely forgotten, though Howard Aiken is a notable exception.1885 A multiplying calculator more compact than the Arithmometer enters mass production. The design is the independent, and more or less simultaneous,invention of Frank S. Baldwin, of the United States, and T. Odhner, a Swedeliving in Russia. The fluted drums are replaced by a "variable-toothed gear"design: a disk with radial pegs that can be made to protrude or retract from it. 1886Dorr E. Felt (1862-1930), of Chicago, makes his "Comptometer". This is the first calculator where the operands are entered merely by pressing keys ratherthan having to be, for example, dialled in. It is feasible because of Felt’sinvention of a carry mechanism fast enough to act while the keys return frombeing pressed.1889Felt invents the first printing desk calculator.18901890 U.S. census. The 1880 census took 7 years to complete since all processing was done by hand off of journal sheets. The increasing populationsuggested that by the 1890 census the data processing would take longer thanthe 10 years before the next census - so a competition was held to try to find abetter method. This was won by a Census Department employee, HermanHollerith - who went on to found the Tabulating Machine Company (see1911), later to become IBM. Herman borrowed Babbage’s idea of using thepunched cards (see 1801) from the textile industry for the data storage. Thismethod was used in the 1890 census, the result (62,622,250 people) wasreleased in just 6 weeks! This storage allowed much more in-depth analysisof the data and so, despite being more efficient, the 1890 census cost aboutdouble (actually 198%) that of the 1880 census.1892William S. Burroughs (1857-1898), of St. Louis, invents a machine similar to Felt’s (see 1886) but more robust, and this is the one that really starts themechanical office calculator industry.1896IBM founded (as the Tabulating Machine Company), see 1924. Founded by Herman Hollerith (1860-1929, see also 1890).1899"Everything that can be invented has already been invented.", Charles H.Duell, director of the U.S. Patent Office1906Henry Babbage, Charles’s son, with the help of the firm of R. W. Munro, completes the mill of h is father’s Analytical Engine, just to show that it wouldhave worked. It does. The complete machine is never produced.1906Electronic Tube (or Electronic V alve) developed by Lee De Forest in America. Before this it would have been impossible to make digital electroniccomputers.1911Merger of companies, including Herman Hollerith’s Tabulating Machine Company, to Computing - Tabulating - Recording Company - which becameIBM in 1924.1919W. H. Eccles and F. W. Jordan publish the first flip-flop circuit design.1924 - February International Business Machines (IBM corporation) formed after more mergers involving the Computing - Tabulating - Recording Company - see1911. By 1990 IBM had an income of around $69 Billion (and 373,816employees), although in 1992 recession caused a cut in stock dividends (forthe first time in the company’s history) and the sacking of 40,000 employees. 1931-1932 E. Wynn-Williams, at Cambridge, England, uses thyratron tubes to constructa binary digital counter for use in connection with physics experiments. 1935International Business Machines introduces the "IBM 601", a punch card machine with an arithmetic unit based on relays and capable of doing amultiplication in 1 second. The machine becomes important both in scientificand commercial computation, and about 1500 of them are eventually made. 1937Alan M. Turing (1912-1954), of Cambridge University, England, publishes a paper on "computable numbers" - the mathematical theory of computation.This paper solves a mathematical problem, but the solution is achieved byreasoning (as a mathematical device) about the theoretical simplifiedcomputer known today as a Turing machine.1937George Stibitz (c.1910-) of the Bell Telephone Laboratories (Bell Labs), New York City, constructs a demonstration 1-bit binary adder using relays. This isone of the first binary computers, although at this stage it was only ademonstration machine improvements continued leading to the ’complexnumber calculator’ of Jan. 1940.1938Claude E. Shannon (1916-) publishes a paper on the implementation of symbolic logic using relays.1938Konrad Zuse (1910-1995) of Berlin, with some assistance from Helmut Schreyer, completes a prototype mechanical binary programmable calculator,the first binary calculator it is based on Boolean Algebra (see 1848).Originally called the "V1" but retroactively renamed "Z1" after the war. Itworks with floating point numbers having a 7-bit exponent, 16-bit mantissa,and a sign bit. The memory uses sliding metal parts to store 16 such numbers,and works well; but the arithmetic unit is less successful. The program is readfrom punched tape -- not paper tape, but discarded 35 mm movie film. Datavalues can be entered from a numeric keyboard, and outputs are displayed onelectric lamps.1939 - January 1Hewlett-Packard formed by David Hewlett and William Packard in a garage in California. A coin toss decided the name.1939 - November John V. Atanasoff (1903-) and graduate student Clifford Berry (?-1963), of Iowa State College (now the Iowa State University), Ames, Iowa, complete aprototype 16-bit adder. This is the first machine to calculate using vacuumtubes.1939Start of WWII. This spurred many improvements in technology - and led to the development of machines such as the Colossus (see 1943).1939Zuse and Schreyer begin work on the "V2" (later "Z2"), which will marry theZ1’s existing mechanical memory unit to a new arithmetic unit using relaylogic. The project is interrupted for a year when Zuse is drafted, but thenreleased. (Zuse is a friend of Wernher von Braun, who will later develop the*other* "V2", and after that, play a key role in the US space program.)1939/1940Schreyer completes a prototype 10-bit adder using vacuum tubes, and a prototype memory using neon lamps.1940 - January At Bell Labs, Samuel Williams and Stibitz complete a calculator which can operate on complex numbers, and give it the imaginative name of the"Complex Number Calculator"; it is later known as the "Model I RelayCalculator". It uses telephone switching parts for logic: 450 relays and 10crossbar switches. Numbers are represented in "plus 3 BCD"; that is, for eachdecimal digit, 0 is represented by binary 0011, 1 by 0100, and so on up to1100 for 9; this scheme requires fewer relays than straight BCD. Rather thanrequiring users to come to the machine to use it, the calculator is providedwith three remote keyboards, at various places in the building, in the form ofteletypes. Only one can be used at a time, and the output is automaticallydisplayed on the same one. In September 1940, a teletype is set up at amathematical conference in Hanover, New Hampshire, with a connection toNew York, and those attending the conference can use the machine remotely. 1941 - Summer Atanasoff and Berry complete a special-purpose calculator for solving systems of simultaneous linear equations, later called the "ABC"("Atanasoff-Berry Computer"). This has 60 50-bit words of memory in theform of capacitors (with refresh circuits -- the first regenerative memory)mounted on two revolving drums. The clock speed is 60 Hz, and an additiontakes 1 second. For secondary memory it uses punch cards, moved around bythe user. The holes are not actually punched in the cards, but burned. Thepunch card system’s error rate is never reduced beyond 0.001%, and this isn’treally good enough. (Atanasoff will leave Iowa State after the US enters thewar, and this will end his work on digital computing machines.)1941 - December Now working with limited backing from the DVL (German Aero- nautical Research Institute), Zuse completes the "V3" (later "Z3"): the first operationalprogrammable calculator. It works with floating point numbers having a 7-bitexponent, 14-bit mantissa (with a "1" bit automatically prefixed unless thenumber is 0), and a sign bit. The memory holds 64 of these words andtherefore requires over 1400 relays; there are 1200 more in the arithmetic andcontrol units. The program, input, and output are implemented as describedabove for the Z1. Conditional jumps are not available. The machine can do3-4 additions per second, and takes 3-5 seconds for a multiplication. It is amarginal decision whether to call the Z3 a prototype; with its small memory itis certainly not very useful on the equation- solving problems that the DVLwas mostly interested in.1943Computers between 1943 and 1959 (or thereabouts - some say this era did not start until UNIV AC-1 in 1951) usually regarded as ’first generation’ and arebased on valves and wire circuits. The are characterised by the use ofpunched cards and vacuum valves. All programming was done in machinecode. A typical machine of the era was UNIV AC, see 1951.1943"I think there is a world market for maybe five computers.", Thomas Watson, chairman of IBM.1943 - January The Harvard Mark I (originally ASCC Mark I, Harvard-IBM Automatic Sequence Controlled Calculator) was built atHarvard University by Howard H. Aiken (1900-1973) and histeam, partly financed by IBM - it became the first programcontrolled calculator. The whole machine is 51 feet long,weighs 5 tons, and incorporates 750,000 parts. It used 3304electromechanical relays as on-off switches, had 72accumulators (each with it’s own arithmetic unit) as wellas mechanical register with a capacity of 23 digits plussign. The arithmetic is fixed-point, with a plugboardsetting determining the number of decimal places. I/Ofacilities include card readers, a card punch, paper tapereaders, and typewriters. There are 60 sets of rotaryswitches, each of which can be used as a constant register- sort of mechanical read-only memory. The program is readfrom one paper tape; data can be read from the other tapes,or the card readers, or from the constant registers.Conditional jumps are not available. However, in lateryears the machine is modified to support multiple papertape readers for the program, with the transfer from oneto another being conditional, sort of like a conditionalsubroutine call. Another addition allows the provision ofplugboard-wired subroutines callable from the tape.Used to create ballistics tables for the US Navy.1943 - April Max Newman, Wynn-Williams, and their team (including Alan Turing) at the secret Government Code and Cypher School(’Station X’), Bletchley Park, Bletchley, England,complete the "Heath Robinson". This is a specializedmachine for cipher-breaking, not a general-purposecalculator or computer but some sort of logic device, usinga combination of electronics and relay logic. It reads dataoptically at 2000 characters per second from 2 closed loopsof paper tape, each typically about 1000 characters long.It was significant since it was the fore-runner ofColossus, see December 1943.Newman knew Turing from Cambridge (Turing was a studentof Newman’s.), and had been the first person to see a draftof Turing’s 1937 paper.Heath Robinson is the name of a British cartoonist knownfor drawings of comical machines, like the American RubeGoldberg. Two later machines in the series will be namedafter London stores with "Robinson" in their names. 1943 - September Williams and Stibitz complete the "Relay Interpolator", later called the "Model II Relay Calculator". This is a programmable calculator; again, theprogram and data are read from paper tapes. An innovative feature is that, forgreater reliability, numbers are represented in a biquinary format using 7relays for each digit, of which exactly 2 should be "on": 01 00001 for 0, 0100010 for 1, and so on up to 10 10000 for 9. Some of the later machines inthis series will use the biquinary notation for the digits of floating-pointnumbers.)1943 - December The earliest Programmable Electronic Computer first ran (in Britain), it contained 2400 Vacuum tubes for logic, and was called the Colossus. It wasbuilt, by Dr Thomas Flowers at The Post Office Research Laboratories inLondon, to crack the German Lorenz (SZ42) Cipher used by the ’Enigma’machines. Colossus was used at Bletchly Park during WWII - as a successorto April’s ’Robinson’s. It translated an amaz ing 5000 characters a second, andused punched tape for input. Although 10 were eventually built, unfortunatelythey were destroyed immediately after they had finished their work - it was soadvanced that there was to be no possibility of it’s design falli ng into thewrong hands (presumably the Russians). One of the early engineers wrote anemulation on an early Pentium - that ran at 1/2 the rate!1946ENIAC (Electronic Numerical Integrator and Computer): One of the first totally electronic, valve driven, digital, computers. Development started in1943 and finished in 1946, at the Ballistic Research Laboratory, USA, byJohn W. Mauchly and J. Presper Eckert. It weighed 30 tonnes and contained18,000 Electronic Valves, consuming around 25kW of electrical power -widely recognised as the first Universal Electronic Computer. It could doaround 100,000 calculations a second. It was used for calculating Ballistictrajectories and testing theories behind the Hydrogen bomb.1947 - end Invention of Transistor at The Bell Laboratories, USA, by William B.Shockley, John Bardeen and Walter H. Brattain.1948 - June 21SSEM, Small Scale Experimental Machine or ’Baby’ was built at Manchester University (UK), It ran it’s firstprogram on this date. Based on ideas from Jon von Neumann(a Hungarian Mathematician) about stored programcomputers, it was the first computer to store both it’sprograms and data in RAM, as modern computers so.By 1949 the ’Baby’ had grown, and aquired a magentic drumfor more perminant storage, and it became the ManchesterMark I. The Ferranti MArk I was basically the same as theManchester Mark I but faster and made for commmercial sale. 1949 - May 6Wilkes and a team at Cambridge University build a stored program computer - EDSAC. It used paper tape I/O, and was the first stored-program computerto operate a regular computing service.1949EDV AC (electronic discrete variable computer) - First computer to use Magnetic Tape. This was a breakthrough as previous computers had to bere-programmed by re-wiring them whereas EDV AC could have newprograms loaded off of the tape. Proposed by John von Neumann, it wascompleted in 1952 at the Institute for Advance Study, Princeton, USA. 1949"Computers in the future may weigh no more than 1.5 tons.", Popular Mechanics, forecasting the relentless march of science.1950Floppy Disk invented at the Imperial University in Tokyo by Doctor Yoshiro Nakamats, the sales license for the disk was granted to IBM.1950The British mathematician and computer pioneer Alan Turing declared that one day there would be a machine that could duplicate human intelligence inevery way and prove it by passing a specialized test. In this test, a computerand a human hidden from view would be asked random identical questions. Ifthe computer were successful, the questioner would be unable to distinguishthe machine from the person by the answers.1951High level language compiler invented by Grace Murray Hopper.1951Whirlwind, the first real-time computer was built for the US Air Defence System.1951UNIV AC-1. The first commercially sucessful electronic computer, UNIV AC I, was also the first general purpose computer - designed to handle bothnumeric and textual information. Designed by J. Presper Eckert and JohnMauchly, whose corporation subsequently passed to Remington Rand. Theimplementation of this machine marked the real beginning of the computerera. Remington Rand delivered the first UNIV AC machine to the U.S. Bureauof Census in 1951. This machine used magentic tape for input.1952EDV AC (Electronic Discrete Variable Computer) completed at the Institute for Advanced Study, Princeton, USA (by Von Neumann and others).1953Estimate that there are 100 computers in the world.1953Magnetic Core Memory developed.1954FORTRAN (FORmula TRANslation) development started by John Backus and his team at IBM - continuing until 1957. FORTRAN is a programminglanguage, used for Scientific programming.1956First conference on Artificial Intelligence held at Dartmouth College in New Hampshire.1956Edsger Dijkstra invented an efficient algorithm for shortest paths in graphs asa demonstration of the abilities of the ARMAC computer.1957First Dot Matrix printer marketed by IBM.1957FORTRAN development finished. See 1954.1957"I have travelled the length and breadth of this country and talked with the best people, and I can assure you that data processing is a fad that won’t lastout the year." The editor in charge of business books for Prentice Hall.1958LISP (interpreted language) developed, Finished in 1960. LISP stands for ’LISt Processing’, but some call it ’Lots of Irritating and StupidParenthesis’ due to the huge number of confusing nested brackets used inLISP programs. Used in A.I. development. Developed by John McCarthy atMassachusetts Institute of Technology.1958 - September 12The integrated circuit invented by Jack St Clair Kilby at Texas Instruments. Robert Noyce, who later set up Intel, also worked separately on the invention. Intel later went on to invent perfect the microprocessor. The patent was applied for in 1959 and granted in 1964. This patent wasn’t accepted by Japan so Japanese businesses could avoid paying any fees, but in 1989 - after a 30 year legal battle - Japan granted the patent; so all Japanese companies paid fees up until the year 2001 - long after the patent became obsolete in the rest of the World!1959Computers built between 1959 and 1964 are often regarded as ’Second Generation’ computers, based on transistors and printe d circuits - resulting inmuch smaller computers. More powerful, the second generation of computerscould handle interpreters such as FORTRAN (for science) or COBOL (forbusiness), that accepting English-like commands, and so were much moreflexible in their applications.1959COBOL (COmmon Business-Orientated Language) was developed, the initial specifications being released in April 1960.1960ALGOL - first structured, procedural, language to be released.1960Tandy Corporation founded by Charles Tandy.1961APL programming language released by Kenneth Iverson at IBM.1964Computers built between 1964 and 1972 are often regarded as ’Third Generation’ computers, they are based on the first integrated circuits -creating even smaller machines. Typical of such machines was the IBM 360series mainframe, while smaller minicomputers began to open up computingto smaller businesses.1964Programming language PL/1 released by IBM.1964Launch of IBM 360 - the first series of compatible computers.1964DEC PDP-8 Mini Computer. The First Minicomputer, built by Digital EquipmentCost (DEC) it cost $16,000 to buy.1965Moore’s law published by Gordon Moore in the 35th Anniversary edition of Electronics magazine. Originally suggesting processor complexity every year。

EXTENSIONS OF THE BLOCH – PóLYA THEOREM ON THE NUMBER OF REAL ZEROS OF POLYNOMIALS

EXTENSIONS OF THE BLOCH – PóLYA THEOREM ON THE NUMBER OF REAL ZEROS OF POLYNOMIALS

EXTENSIONS OF THE BLOCH–P´OLYA THEOREM ONTHE NUMBER OF REAL ZEROS OF POLYNOMIALSTam´a s Erd´e lyiWe prove that there is an absolute constants c1>0such that for every{a0,a1,...,a n}⊂[1,M],1≤M≤exp((1/64)n1/4),there areb0,b1,...b n∈{−1,0,1}such thatP(z)=nj=0b j a j z jhas at least c1n1/4distinct sign changes in(0,1).This improves and extends earlier resultsof Bloch and P´o lya.1.IntroductionLet F n denote the set of polynomials of degree at most n with coefficients from{−1,0,1}. Let L n denote the set of polynomials of degree n with coefficients from{−1,1}.In[12] the authors write“The study of the location of zeros of these classes of polynomials begins with Bloch and P´o lya[6].They prove that the average number of real zeros of a polynomial from F n is at most c√log nreal zeros.This quite weak result appears to be thefirst on this subject.Schur[39]and by different methods Szeg˝o[41]and Erd˝o s and Tur´a n[19]improve this to c√n for the number of real zeros of polynomials from a much larger class,namely for all polynomials of the formp(x)=nj=0a j x j,|a j|≤1,|a0|=|a n|=1,a j∈.Schur [39]claims that Schmidt gives a version of part of this theorem.However,it does not appear in the reference he gives,namely [38],and we have not been able to trace it to any other source.Also,our method is able to give c√√log log log nandc 2log 2nand it is proved by Boyd [13]that every p ∈L n has at most c log 2n/log log n zeros at 1(in the sense of multiplicity).Kac [23]shows that the expected number of real roots of a polynomial of degree n with random uniformly distributed coefficients is asymptotically (2/π)log n .He writes “I have also stated that the same conclusion holds if the coefficients assume only the values 1and −1with equal probabilities.Upon closer examination it turns out that the proof I had in mind is inapplicable....This situation tends to emphasize the particular interest of the discrete case,which surprisingly enough turns out to be the most difficult.”In a recent related paper Solomyak [40]studies the random series ±λn .”In fact,the “polygon result”mentioned in the above quote appeared in [11]sooner than [12].In this paper we improve the lower boundcn 1/4log nin the result of Bloch and P´o lya to n 1/4.Moreover we allow a much more general coefficient constraint in our main result.2.New ResultTheorem 2.1.There is an absolute constants c 1>0such that for every{a 0,a 1,...,a n }⊂[1,M ],1≤M ≤exp((1/64)n 1/4),there areb 0,b 1,...b n ∈{−1,0,1}such thatP (z )=n j =0b j a j z jhas at least c 1n 1/4distinct sign changes in (0,1).23.LemmasLet D :={z ∈:|z |<1}be the open unit disk.Denote by S M the collection of all analytic functions f on the open unit disk D that satisfy|f (z )|≤Mβ−αf o r e v e r y f ∈S Mand 0<α<β≤1with |f (0)|≥1and for every M ≥1.This follows from the lemma below by a linear scaling:Lemma 3.2.There are absolute constants c 3>0and c 4>0such that|f (0)|c 3/a ≤expc 4(1+log M )4a and with major axis1−a −9a64 .Let Ea be the ellipse with foci at 1−a and 1−a +132,1−a +9a4a ]|f (z )|1/2max z ∈E a|f (z )| 1/2.Proof.This follows from the Hadamard Three Circles Theorem with the substitutionw =a2+1−a +aCorollary3.4.For every f∈S M and a∈(0,1]we havemax z∈E a |f(z)|≤64M2(1−a)(z+z2).Observe that h(0)=0,and there areabsolute constants c5>0and c6>0such that|h(e it)|≤1−c5t2,−π≤t≤π,and for t∈[−c6a,c6a],h(e it)lies inside the ellipse E a.Now let m:= π/(2c6a) +1.Let ξ:=exp(2πi/(2m))be thefirst2m th root of unity,and letg(z)=2m−1j=0f(h(ξj z)).Using the Maximum Principle and the properties of h,we obtain|f(0)|2m=|g(0)|≤max|z|=1|g(z)|≤maxz∈E a|f(z)|2m−1k=1M(m−1)!4<maxz∈E a|f(z)|2(Me)c8(m−1),with absolute constants c7and c8,and the theorem follows by Corollary2.4.4.Proof of Theorem2.1Proof of Theorem2.1.Let L≤1n,M√andP2(z)=n−1j=0bj a j z j,bj∈{0,1},such that|P1(1−jn−1/2)−P2(1−jn−1/2)|≤M√|=1,2,...,L.LetP1(z)−P2(z)=n−1j=mβj z j,βj∈{−1,0,1},b m=0.Let0=Q(z):=z−m(P1(z)−P2(z)).Then Q is of the formQ(z):=n−1j=0γj a j z j,γj∈{−1,0,1},γ0=0,and,since1−x≥e−2x for all x∈[0,1/2],we have(4.1)|Q(1−jn−1/2)|≤exp(2Ln1/2)M√|=1,2,...,L.Also,by Lemma3.1,there areξj∈I j:=[1−jn−1/2,1−(j−1)n−1/2],j=1,2,...,L,such that(4.2)|Q(ξj)|≥exp−c2(1+log M)√References6. A.Bloch and G.P´o lya,On the roots of certain algebraic equations,Proc.London Math.Soc33(1932),102–114.7. E.Bombieri and J.Vaaler,Polynomials with low height and prescribed vanishing,in AnalyticNumber Theory and Diophantine Problems,Birkh¨a user(1987),53–73.10.P.Borwein and T.Erd´e lyi,Polynomials and Polynomial Inequalities,Springer-Verlag,NewYork,1995.11.P.Borwein and T.Erd´e lyi,On the zeros of polynomials with restricted coefficients,Illinois J.Math.41(1997),667–675.12.P.Borwein,T.Erd´e lyi,and G.K´o s,Littlewood-type problems on[0,1].,Proc.London Math.Soc.79(1999),22–46.13. D.Boyd,On a problem of Byrnes concerning polynomials with restricted coefficients,Math.Comput.66(1997),1697–1703.16.J.Clunie,On the minimum modulus of a polynomial on the unit circle,Quart.J.Math.10(1959),95–98.18.P.Erd˝o s,Some old and new problems in approximation theory:research problems95-1,Constr.Approx.11(1995),419–421.19.P.Erd˝o s and P.Tur´a n,On the distribution of roots of polynomials,Annals of Math.57(1950),105–119.23.M.Kac,On the average number of real roots of a random algebraic equation,II,Proc.LondonMath.Soc.50(1948),390–408.24.J-P.Kahane,Some Random Series of Functions,vol.5,Cambridge Studies in Advanced Math-ematics,Cambridge,1985;Second Edition.30.J.E.Littlewood,Some Problems in Real and Complex Analysis,Heath Mathematical Mono-graphs,Lexington,Massachusetts,1968.31.J.E.Littlewood and A.C.Offord,On the number of real roots of a random algebraic equation,II,Proc.Cam.Phil.Soc.35(1939),133-148.32.K.Mahler,On two extremal properties of polynomials,Illinois J.Math.7(1963),681–701.33. D.J.Newman and J.S.Byrnes,The L4norm of a polynomial with coefficients±1,MAA Monthly97(1990),42–45.34. D.J.Newman and A.Giroux,properties on the unit circle of polynomials with unimodularcoefficients,in Recent Advances in Fourier Analysis and its Applications J.S.Byrnes and J.F.Byrnes,Eds.),Kluwer,1990,pp.79–81..35. A.Odlyzko and B.Poonen,Zeros of polynomials with0,1coefficients,Ens.Math.39(1993),317–348.36.G.P´o lya and G.Szeg˝o,Problems and Theorems in Analysis,Volume I,Springer-Verlag,NewYork,1972.37.R.Salem and A.Zygmund,Some properties of trigonometric series whose terms have randomsigns,Acta Math91(1954),254–301.38. E.Schmidt,¨Uber algebraische Gleichungen vom P´o lya-Bloch-Typos,Sitz.Preuss.Akad.Wiss.,Phys.-Math.Kl.(1932),321.39.I.Schur,Untersuchungen¨u ber algebraische Gleichungen.,Sitz.Preuss.Akad.Wiss.,Phys.-Math.Kl.(1933),403–428.40. B.Solomyak,On the random series±λn(an Erd˝o s problem),Annals of Math.142,611–625. E-mail address:terdelyi@6。

代数英语

代数英语

(0,2) 插值||(0,2) interpolation0#||zero-sharp; 读作零井或零开。

0+||zero-dagger; 读作零正。

1-因子||1-factor3-流形||3-manifold; 又称“三维流形”。

AIC准则||AIC criterion, Akaike information criterionAp 权||Ap-weightA稳定性||A-stability, absolute stabilityA最优设计||A-optimal designBCH 码||BCH code, Bose-Chaudhuri-Hocquenghem codeBIC准则||BIC criterion, Bayesian modification of the AICBMOA函数||analytic function of bounded mean oscillation; 全称“有界平均振动解析函数”。

BMO鞅||BMO martingaleBSD猜想||Birch and Swinnerton-Dyer conjecture; 全称“伯奇与斯温纳顿-戴尔猜想”。

B样条||B-splineC*代数||C*-algebra; 读作“C星代数”。

C0 类函数||function of class C0; 又称“连续函数类”。

CA T准则||CAT criterion, criterion for autoregressiveCM域||CM fieldCN 群||CN-groupCW 复形的同调||homology of CW complexCW复形||CW complexCW复形的同伦群||homotopy group of CW complexesCW剖分||CW decompositionCn 类函数||function of class Cn; 又称“n次连续可微函数类”。

Cp统计量||Cp-statisticC。

algebra and representation theory

algebra and representation theory

algebra and representation theoryAlgebra and representation theory are two important areas of mathematics that are closely related to each other. Algebra is the branch of mathematics that deals with the study of mathematical structures, while representation theory is the study of how abstract mathematical objects are represented in more concrete forms.In algebra, the basic operations of addition, subtraction, multiplication, and division are studied, along with their properties and rules. Algebraic structures such as groups, rings, and fields are also studied, along with their properties and applications.Representation theory, on the other hand, focuses on the representation of mathematical objects such as groups and rings in more concrete forms. This involves studying how these abstract mathematical structures can be represented by matrices, linear operators, and other mathematical objects.Representation theory has many applications in physics, engineering, and computer science. For example, in quantum mechanics, the theory of representations is used to study the symmetries of particles and their interactions, whilein computer science, it is used to study the representation of data in computer algorithms.Overall, algebra and representation theory are two interconnected fields of mathematics that have many important applications in various fields of science and engineering.。

distributed representations of words and phrases and their compositionality

distributed representations of words and phrases and their compositionality

Tomas MikolovGoogle Inc.Mountain View mikolov@Ilya SutskeverGoogle Inc.Mountain Viewilyasu@Kai ChenGoogle Inc.Mountain Viewkai@Greg CorradoGoogle Inc.Mountain View gcorrado@Jeffrey DeanGoogle Inc.Mountain View jeff@AbstractThe recently introduced continuous Skip-gram model is an efficient method forlearning high-quality distributed vector representations that capture a large num-ber of precise syntactic and semantic word relationships.In this paper we presentseveral extensions that improve both the quality of the vectors and the trainingspeed.By subsampling of the frequent words we obtain significant speedup andalso learn more regular word representations.We also describe a simple alterna-tive to the hierarchical softmax called negative sampling.An inherent limitation of word representations is their indifference to word orderand their inability to represent idiomatic phrases.For example,the meanings of“Canada”and“Air”cannot be easily combined to obtain“Air Canada”.Motivatedby this example,we present a simple method forfinding phrases in text,and showthat learning good vector representations for millions of phrases is possible.1IntroductionDistributed representations of words in a vector space help learning algorithms to achieve better performance in natural language processing tasks by grouping similar words.One of the earliest use of word representations dates back to1986due to Rumelhart,Hinton,and Williams[13].This idea has since been applied to statistical language modeling with considerable success[1].The follow up work includes applications to automatic speech recognition and machine translation[14,7],and a wide range of NLP tasks[2,20,15,3,18,19,9].Recently,Mikolov et al.[8]introduced the Skip-gram model,an efficient method for learning high-quality vector representations of words from large amounts of unstructured text data.Unlike most of the previously used neural network architectures for learning word vectors,training of the Skip-gram model(see Figure1)does not involve dense matrix multiplications.This makes the training extremely efficient:an optimized single-machine implementation can train on more than100billion words in one day.The word representations computed using neural networks are very interesting because the learned vectors explicitly encode many linguistic regularities and patterns.Somewhat surprisingly,many of these patterns can be represented as linear translations.For example,the result of a vector calcula-tion vec(“Madrid”)-vec(“Spain”)+vec(“France”)is closer to vec(“Paris”)than to any other word vector[9,8].Figure1:The Skip-gram vector representations that are good at predictingIn this paper we We show that sub-sampling of frequent(around2x-10x),and improves accuracy of we present a simpli-fied variant of Noise model that results in faster training and better vector representations for frequent words,compared to more complex hierarchical softmax that was used in the prior work[8].Word representations are limited by their inability to represent idiomatic phrases that are not com-positions of the individual words.For example,“Boston Globe”is a newspaper,and so it is not a natural combination of the meanings of“Boston”and“Globe”.Therefore,using vectors to repre-sent the whole phrases makes the Skip-gram model considerably more expressive.Other techniques that aim to represent meaning of sentences by composing the word vectors,such as the recursive autoencoders[15],would also benefit from using phrase vectors instead of the word vectors.The extension from word based to phrase based models is relatively simple.First we identify a large number of phrases using a data-driven approach,and then we treat the phrases as individual tokens during the training.To evaluate the quality of the phrase vectors,we developed a test set of analogi-cal reasoning tasks that contains both words and phrases.A typical analogy pair from our test set is “Montreal”:“Montreal Canadiens”::“Toronto”:“Toronto Maple Leafs”.It is considered to have been answered correctly if the nearest representation to vec(“Montreal Canadiens”)-vec(“Montreal”)+ vec(“Toronto”)is vec(“Toronto Maple Leafs”).Finally,we describe another interesting property of the Skip-gram model.We found that simple vector addition can often produce meaningful results.For example,vec(“Russia”)+vec(“river”)is close to vec(“V olga River”),and vec(“Germany”)+vec(“capital”)is close to vec(“Berlin”).This compositionality suggests that a non-obvious degree of language understanding can be obtained by using basic mathematical operations on the word vector representations.2The Skip-gram ModelThe training objective of the Skip-gram model is tofind word representations that are useful for predicting the surrounding words in a sentence or a document.More formally,given a sequence of training words w1,w2,w3,...,w T,the objective of the Skip-gram model is to maximize the average log probability1training time.The basic Skip-gram formulation defines p(w t+j|w t)using the softmax function:exp v′w O⊤v w Ip(w O|w I)=-2-1.5-1-0.5 0 0.511.5 2-2-1.5-1-0.5 0 0.5 1 1.5 2Country and Capital Vectors Projected by PCAChinaJapanFranceRussiaGermanyItalySpainGreece TurkeyBeijingParis Tokyo PolandMoscow Portugal Berlin Rome Athens MadridAnkara Warsaw LisbonFigure 2:Two-dimensional PCA projection of the 1000-dimensional Skip-gram vectors of countries and their capital cities.The figure illustrates ability of the model to automatically organize concepts and learn implicitly the relationships between them,as during the training we did not provide any supervised information about what a capital city means.which is used to replace every log P (w O |w I )term in the Skip-gram objective.Thus the task is to distinguish the target word w O from draws from the noise distribution P n (w )using logistic regres-sion,where there are k negative samples for each data sample.Our experiments indicate that values of k in the range 5–20are useful for small training datasets,while for large datasets the k can be as small as 2–5.The main difference between the Negative sampling and NCE is that NCE needs both samples and the numerical probabilities of the noise distribution,while Negative sampling uses only samples.And while NCE approximately maximizes the log probability of the softmax,this property is not important for our application.Both NCE and NEG have the noise distribution P n (w )as a free parameter.We investigated a number of choices for P n (w )and found that the unigram distribution U (w )raised to the 3/4rd power (i.e.,U (w )3/4/Z )outperformed significantly the unigram and the uniform distributions,for both NCE and NEG on every task we tried including language modeling (not reported here).2.3Subsampling of Frequent WordsIn very large corpora,the most frequent words can easily occur hundreds of millions of times (e.g.,“in”,“the”,and “a”).Such words usually provide less information value than the rare words.For example,while the Skip-gram model benefits from observing the co-occurrences of “France”and “Paris”,it benefits much less from observing the frequent co-occurrences of “France”and “the”,as nearly every word co-occurs frequently within a sentence with “the”.This idea can also be applied in the opposite direction;the vector representations of frequent words do not change significantly after training on several million examples.To counter the imbalance between the rare and frequent words,we used a simple subsampling ap-proach:each word w i in the training set is discarded with probability computed by the formulaP (w i )=1− f (w i )(5)Method Syntactic[%]Semantic[%]NEG-563549761 HS-Huffman53403853NEG-561583661 HS-Huffman5259/p/word2vec/source/browse/trunk/questions-words.txtNewspapersNHL TeamsNBA TeamsAirlinesCompany executives.(6)count(w i)×count(w j)Theδis used as a discounting coefficient and prevents too many phrases consisting of very infre-quent words to be formed.The bigrams with score above the chosen threshold are then used as phrases.Typically,we run2-4passes over the training data with decreasing threshold value,allow-ing longer phrases that consists of several words to be formed.We evaluate the quality of the phrase representations using a new analogical reasoning task that involves phrases.Table2shows examples of thefive categories of analogies used in this task.This dataset is publicly available on the web2.4.1Phrase Skip-Gram ResultsStarting with the same news data as in the previous experiments,wefirst constructed the phrase based training corpus and then we trained several Skip-gram models using different hyper-parameters.As before,we used vector dimensionality300and context size5.This setting already achieves good performance on the phrase dataset,and allowed us to quickly compare the Negative Sampling and the Hierarchical Softmax,both with and without subsampling of the frequent tokens. The results are summarized in Table3.The results show that while Negative Sampling achieves a respectable accuracy even with k=5, using k=15achieves considerably better performance.Surprisingly,while we found the Hierar-chical Softmax to achieve lower performance when trained without subsampling,it became the best performing method when we downsampled the frequent words.This shows that the subsampling can result in faster training and can also improve accuracy,at least in some cases.Dimensionality10−5subsampling[%]30027NEG-152730047Table3:Accuracies of the Skip-gram models on the phrase analogy dataset.The models were trained on approximately one billion words from the news dataset.HS with10−5subsamplingLingsugurGreat Rift ValleyRebbeca NaomiRuegenchess grandmasterVietnam+capital Russian+riverkoruna airline Lufthansa Juliette Binoche Check crown carrier Lufthansa Vanessa Paradis Polish zoltyflag carrier Lufthansa Charlotte Gainsbourg CTK Lufthansa Cecile De Table5:Vector compositionality using element-wise addition.Four closest tokens to the sum of two vectors are shown,using the best Skip-gram model.To maximize the accuracy on the phrase analogy task,we increased the amount of the training data by using a dataset with about33billion words.We used the hierarchical softmax,dimensionality of1000,and the entire sentence for the context.This resulted in a model that reached an accuracy of72%.We achieved lower accuracy66%when we reduced the size of the training dataset to6B words,which suggests that the large amount of the training data is crucial.To gain further insight into how different the representations learned by different models are,we did inspect manually the nearest neighbours of infrequent phrases using various models.In Table4,we show a sample of such comparison.Consistently with the previous results,it seems that the best representations of phrases are learned by a model with the hierarchical softmax and subsampling. 5Additive CompositionalityWe demonstrated that the word and phrase representations learned by the Skip-gram model exhibit a linear structure that makes it possible to perform precise analogical reasoning using simple vector arithmetics.Interestingly,we found that the Skip-gram representations exhibit another kind of linear structure that makes it possible to meaningfully combine words by an element-wise addition of their vector representations.This phenomenon is illustrated in Table5.The additive property of the vectors can be explained by inspecting the training objective.The word vectors are in a linear relationship with the inputs to the softmax nonlinearity.As the word vectors are trained to predict the surrounding words in the sentence,the vectors can be seen as representing the distribution of the context in which a word appears.These values are related logarithmically to the probabilities computed by the output layer,so the sum of two word vectors is related to the product of the two context distributions.The product works here as the AND function:words that are assigned high probabilities by both word vectors will have high probability,and the other words will have low probability.Thus,if“V olga River”appears frequently in the same sentence together with the words“Russian”and“river”,the sum of these two word vectors will result in such a feature vector that is close to the vector of“V olga River”.6Comparison to Published Word RepresentationsMany authors who previously worked on the neural network based representations of words have published their resulting models for further use and comparison:amongst the most well known au-thors are Collobert and Weston[2],Turian et al.[17],and Mnih and Hinton[10].We downloaded their word vectors from the web3.Mikolov et al.[8]have already evaluated these word representa-tions on the word analogy task,where the Skip-gram models achieved the best performance with a huge margin.Model Redmond ninjutsu capitulate (training time)Collobert(50d)conyers reiki abdicate (2months)lubbock kohona accedekeene karate rearmJewell gunfireArzu emotionOvitz impunityMnih(100d)Podhurst-Mavericks (7days)Harlang-planning Agarwal-hesitatedVaclav Havel spray paintpresident Vaclav Havel grafittiVelvet Revolution taggers/p/word2vecReferences[1]Yoshua Bengio,R´e jean Ducharme,Pascal Vincent,and Christian Janvin.A neural probabilistic languagemodel.The Journal of Machine Learning Research,3:1137–1155,2003.[2]Ronan Collobert and Jason Weston.A unified architecture for natural language processing:deep neu-ral networks with multitask learning.In Proceedings of the25th international conference on Machine learning,pages160–167.ACM,2008.[3]Xavier Glorot,Antoine Bordes,and Yoshua Bengio.Domain adaptation for large-scale sentiment classi-fication:A deep learning approach.In ICML,513–520,2011.[4]Michael U Gutmann and Aapo Hyv¨a rinen.Noise-contrastive estimation of unnormalized statistical mod-els,with applications to natural image statistics.The Journal of Machine Learning Research,13:307–361, 2012.[5]Tomas Mikolov,Stefan Kombrink,Lukas Burget,Jan Cernocky,and Sanjeev Khudanpur.Extensions ofrecurrent neural network language model.In Acoustics,Speech and Signal Processing(ICASSP),2011 IEEE International Conference on,pages5528–5531.IEEE,2011.[6]Tomas Mikolov,Anoop Deoras,Daniel Povey,Lukas Burget and Jan Cernocky.Strategies for TrainingLarge Scale Neural Network Language Models.In Proc.Automatic Speech Recognition and Understand-ing,2011.[7]Tomas Mikolov.Statistical Language Models Based on Neural Networks.PhD thesis,PhD Thesis,BrnoUniversity of Technology,2012.[8]Tomas Mikolov,Kai Chen,Greg Corrado,and Jeffrey Dean.Efficient estimation of word representationsin vector space.ICLR Workshop,2013.[9]Tomas Mikolov,Wen-tau Yih and Geoffrey Zweig.Linguistic Regularities in Continuous Space WordRepresentations.In Proceedings of NAACL HLT,2013.[10]Andriy Mnih and Geoffrey E Hinton.A scalable hierarchical distributed language model.Advances inneural information processing systems,21:1081–1088,2009.[11]Andriy Mnih and Yee Whye Teh.A fast and simple algorithm for training neural probabilistic languagemodels.arXiv preprint arXiv:1206.6426,2012.[12]Frederic Morin and Yoshua Bengio.Hierarchical probabilistic neural network language model.In Pro-ceedings of the international workshop on artificial intelligence and statistics,pages246–252,2005. [13]David E Rumelhart,Geoffrey E Hintont,and Ronald J Williams.Learning representations by back-propagating errors.Nature,323(6088):533–536,1986.[14]Holger Schwenk.Continuous space language puter Speech and Language,vol.21,2007.[15]Richard Socher,Cliff C.Lin,Andrew Y.Ng,and Christopher D.Manning.Parsing natural scenes andnatural language with recursive neural networks.In Proceedings of the26th International Conference on Machine Learning(ICML),volume2,2011.[16]Richard Socher,Brody Huval,Christopher D.Manning,and Andrew Y.Ng.Semantic CompositionalityThrough Recursive Matrix-Vector Spaces.In Proceedings of the2012Conference on Empirical Methods in Natural Language Processing(EMNLP),2012.[17]Joseph Turian,Lev Ratinov,and Yoshua Bengio.Word representations:a simple and general method forsemi-supervised learning.In Proceedings of the48th Annual Meeting of the Association for Computa-tional Linguistics,pages384–394.Association for Computational Linguistics,2010.[18]Peter D.Turney and Patrick Pantel.From frequency to meaning:Vector space models of semantics.InJournal of Artificial Intelligence Research,37:141-188,2010.[19]Peter D.Turney.Distributional semantics beyond words:Supervised learning of analogy and paraphrase.In Transactions of the Association for Computational Linguistics(TACL),353–366,2013.[20]Jason Weston,Samy Bengio,and Nicolas Usunier.Wsabie:Scaling up to large vocabulary image annota-tion.In Proceedings of the Twenty-Second international joint conference on Artificial Intelligence-Volume Volume Three,pages2764–2770.AAAI Press,2011.。

离散数学中英文名词对照表

离散数学中英文名词对照表

离散数学中英文名词对照表外文中文AAbel category Abel 范畴Abel group (commutative group) Abel 群(交换群)Abel semigroup Abel 半群accessibility relation 可达关系action 作用addition principle 加法原理adequate set of connectives 联结词的功能完备(全)集adjacent 相邻(邻接)adjacent matrix 邻接矩阵adjugate 伴随adjunction 接合affine plane 仿射平面algebraic closed field 代数闭域algebraic element 代数元素algebraic extension 代数扩域(代数扩张)almost equivalent 几乎相等的alternating group 三次交代群annihilator 零化子antecedent 前件anti symmetry 反对称性anti-isomorphism 反同构arboricity 荫度arc set 弧集arity 元数arrangement problem 布置问题associate 相伴元associative algebra 结合代数associator 结合子asymmetric 不对称的(非对称的)atom 原子atomic formula 原子公式augmenting digeon hole principle 加强的鸽子笼原理augmenting path 可增路automorphism 自同构automorphism group of graph 图的自同构群auxiliary symbol 辅助符号axiom of choice 选择公理axiom of equality 相等公理axiom of extensionality 外延公式axiom of infinity 无穷公理axiom of pairs 配对公理axiom of regularity 正则公理axiom of replacement for the formula Ф关于公式Ф的替换公式axiom of the empty set 空集存在公理axiom of union 并集公理Bbalanced imcomplete block design 平衡不完全区组设计barber paradox 理发师悖论base 基Bell number Bell 数Bernoulli number Bernoulli 数Berry paradox Berry 悖论bijective 双射bi-mdule 双模binary relation 二元关系binary symmetric channel 二进制对称信道binomial coefficient 二项式系数binomial theorem 二项式定理binomial transform 二项式变换bipartite graph 二分图block 块block 块图(区组)block code 分组码block design 区组设计Bondy theorem Bondy 定理Boole algebra Boole 代数Boole function Boole 函数Boole homomorophism Boole 同态Boole lattice Boole 格bound occurrence 约束出现bound variable 约束变量bounded lattice 有界格bridge 桥Bruijn theorem Bruijn 定理Burali-Forti paradox Burali-Forti 悖论Burnside lemma Burnside 引理Ccage 笼canonical epimorphism 标准满态射Cantor conjecture Cantor 猜想Cantor diagonal method Cantor 对角线法Cantor paradox Cantor 悖论cardinal number 基数Cartesion product of graph 图的笛卡儿积Catalan number Catalan 数category 范畴Cayley graph Cayley 图Cayley theorem Cayley 定理center 中心characteristic function 特征函数characteristic of ring 环的特征characteristic polynomial 特征多项式check digits 校验位Chinese postman problem 中国邮递员问题chromatic number 色数chromatic polynomial 色多项式circuit 回路circulant graph 循环图circumference 周长class 类classical completeness 古典完全的classical consistent 古典相容的clique 团clique number 团数closed term 闭项closure 闭包closure of graph 图的闭包code 码code element 码元code length 码长code rate 码率code word 码字coefficient 系数coimage 上象co-kernal 上核coloring 着色coloring problem 着色问题combination number 组合数combination with repetation 可重组合common factor 公因子commutative diagram 交换图commutative ring 交换环commutative seimgroup 交换半群complement 补图(子图的余) complement element 补元complemented lattice 有补格complete bipartite graph 完全二分图complete graph 完全图complete k-partite graph 完全k-分图complete lattice 完全格composite 复合composite operation 复合运算composition (molecular proposition) 复合(分子)命题composition of graph (lexicographic product)图的合成(字典积)concatenation (juxtaposition) 邻接运算concatenation graph 连通图congruence relation 同余关系conjunctive normal form 正则合取范式connected component 连通分支connective 连接的connectivity 连通度consequence 推论(后承)consistent (non-contradiction) 相容性(无矛盾性)continuum 连续统contraction of graph 图的收缩contradiction 矛盾式(永假式)contravariant functor 反变函子coproduct 上积corank 余秩correct error 纠正错误corresponding universal map 对应的通用映射countably infinite set 可列无限集(可列集)covariant functor (共变)函子covering 覆盖covering number 覆盖数Coxeter graph Coxeter 图crossing number of graph 图的叉数cuset 陪集cotree 余树cut edge 割边cut vertex 割点cycle 圈cycle basis 圈基cycle matrix 圈矩阵cycle rank 圈秩cycle space 圈空间cycle vector 圈向量cyclic group 循环群cyclic index 循环(轮转)指标cyclic monoid 循环单元半群cyclic permutation 圆圈排列cyclic semigroup 循环半群DDe Morgan law De Morgan 律decision procedure 判决过程decoding table 译码表deduction theorem 演绎定理degree 次数,次(度)degree sequence 次(度)序列derivation algebra 微分代数Descartes product Descartes 积designated truth value 特指真值detect errer 检验错误deterministic 确定的diagonal functor 对角线函子diameter 直径digraph 有向图dilemma 二难推理direct consequence 直接推论(直接后承)direct limit 正向极限direct sum 直和directed by inclution 被包含关系定向discrete Fourier transform 离散 Fourier 变换disjunctive normal form 正则析取范式disjunctive syllogism 选言三段论distance 距离distance transitive graph 距离传递图distinguished element 特异元distributive lattice 分配格divisibility 整除division subring 子除环divison ring 除环divisor (factor) 因子domain 定义域Driac condition Dirac 条件dual category 对偶范畴dual form 对偶式dual graph 对偶图dual principle 对偶原则(对偶原理) dual statement 对偶命题dummy variable 哑变量(哑变元)Eeccentricity 离心率edge chromatic number 边色数edge coloring 边着色edge connectivity 边连通度edge covering 边覆盖edge covering number 边覆盖数edge cut 边割集edge set 边集edge-independence number 边独立数eigenvalue of graph 图的特征值elementary divisor ideal 初等因子理想elementary product 初等积elementary sum 初等和empty graph 空图empty relation 空关系empty set 空集endomorphism 自同态endpoint 端点enumeration function 计数函数epimorphism 满态射equipotent 等势equivalent category 等价范畴equivalent class 等价类equivalent matrix 等价矩阵equivalent object 等价对象equivalent relation 等价关系error function 错误函数error pattern 错误模式Euclid algorithm 欧几里德算法Euclid domain 欧氏整环Euler characteristic Euler 特征Euler function Euler 函数Euler graph Euler 图Euler number Euler 数Euler polyhedron formula Euler 多面体公式Euler tour Euler 闭迹Euler trail Euler 迹existential generalization 存在推广规则existential quantifier 存在量词existential specification 存在特指规则extended Fibonacci number 广义 Fibonacci 数extended Lucas number 广义Lucas 数extension 扩充(扩张)extension field 扩域extension graph 扩图exterior algebra 外代数Fface 面factor 因子factorable 可因子化的factorization 因子分解faithful (full) functor 忠实(完满)函子Ferrers graph Ferrers 图Fibonacci number Fibonacci 数field 域filter 滤子finite extension 有限扩域finite field (Galois field ) 有限域(Galois 域)finite dimensional associative division algebra有限维结合可除代数finite set 有限(穷)集finitely generated module 有限生成模first order theory with equality 带符号的一阶系统five-color theorem 五色定理five-time-repetition 五倍重复码fixed point 不动点forest 森林forgetful functor 忘却函子four-color theorem(conjecture) 四色定理(猜想)F-reduced product F-归纳积free element 自由元free monoid 自由单元半群free occurrence 自由出现free R-module 自由R-模free variable 自由变元free-Ω-algebra 自由Ω代数function scheme 映射格式GGalileo paradox Galileo 悖论Gauss coefficient Gauss 系数GBN (Gödel-Bernays-von Neumann system)GBN系统generalized petersen graph 广义 petersen 图generating function 生成函数generating procedure 生成过程generator 生成子(生成元)generator matrix 生成矩阵genus 亏格girth (腰)围长Gödel completeness theorem Gödel 完全性定理golden section number 黄金分割数(黄金分割率)graceful graph 优美图graceful tree conjecture 优美树猜想graph 图graph of first class for edge coloring 第一类边色图graph of second class for edge coloring 第二类边色图graph rank 图秩graph sequence 图序列greatest common factor 最大公因子greatest element 最大元(素)Grelling paradox Grelling 悖论Grötzsch graph Grötzsch 图group 群group code 群码group of graph 图的群HHajós conjecture Hajós 猜想Hamilton cycle Hamilton 圈Hamilton graph Hamilton 图Hamilton path Hamilton 路Harary graph Harary 图Hasse graph Hasse 图Heawood graph Heawood 图Herschel graph Herschel 图hom functor hom 函子homemorphism 图的同胚homomorphism 同态(同态映射)homomorphism of graph 图的同态hyperoctahedron 超八面体图hypothelical syllogism 假言三段论hypothese (premise) 假设(前提)Iideal 理想identity 单位元identity natural transformation 恒等自然变换imbedding 嵌入immediate predcessor 直接先行immediate successor 直接后继incident 关联incident axiom 关联公理incident matrix 关联矩阵inclusion and exclusion principle 包含与排斥原理inclusion relation 包含关系indegree 入次(入度)independent 独立的independent number 独立数independent set 独立集independent transcendental element 独立超越元素index 指数individual variable 个体变元induced subgraph 导出子图infinite extension 无限扩域infinite group 无限群infinite set 无限(穷)集initial endpoint 始端initial object 初始对象injection 单射injection functor 单射函子injective (one to one mapping) 单射(内射)inner face 内面inner neighbour set 内(入)邻集integral domain 整环integral subdomain 子整环internal direct sum 内直和intersection 交集intersection of graph 图的交intersection operation 交运算interval 区间invariant factor 不变因子invariant factor ideal 不变因子理想inverse limit 逆向极限inverse morphism 逆态射inverse natural transformation 逆自然变换inverse operation 逆运算inverse relation 逆关系inversion 反演isomorphic category 同构范畴isomorphism 同构态射isomorphism of graph 图的同构join of graph 图的联JJordan algebra Jordan 代数Jordan product (anti-commutator) Jordan乘积(反交换子)Jordan sieve formula Jordan 筛法公式j-skew j-斜元juxtaposition 邻接乘法Kk-chromatic graph k-色图k-connected graph k-连通图k-critical graph k-色临界图k-edge chromatic graph k-边色图k-edge-connected graph k-边连通图k-edge-critical graph k-边临界图kernel 核Kirkman schoolgirl problem Kirkman 女生问题Kuratowski theorem Kuratowski 定理Llabeled graph 有标号图Lah number Lah 数Latin rectangle Latin 矩形Latin square Latin 方lattice 格lattice homomorphism 格同态law 规律leader cuset 陪集头least element 最小元least upper bound 上确界(最小上界)left (right) identity 左(右)单位元left (right) invertible element 左(右)可逆元left (right) module 左(右)模left (right) zero 左(右)零元left (right) zero divisor 左(右)零因子left adjoint functor 左伴随函子left cancellable 左可消的left coset 左陪集length 长度Lie algebra Lie 代数line- group 图的线群logically equivanlent 逻辑等价logically implies 逻辑蕴涵logically valid 逻辑有效的(普效的)loop 环Lucas number Lucas 数Mmagic 幻方many valued proposition logic 多值命题逻辑matching 匹配mathematical structure 数学结构matrix representation 矩阵表示maximal element 极大元maximal ideal 极大理想maximal outerplanar graph 极大外平面图maximal planar graph 极大平面图maximum matching 最大匹配maxterm 极大项(基本析取式)maxterm normal form(conjunctive normal form) 极大项范式(合取范式)McGee graph McGee 图meet 交Menger theorem Menger 定理Meredith graph Meredith 图message word 信息字mini term 极小项minimal κ-connected graph 极小κ-连通图minimal polynomial 极小多项式Minimanoff paradox Minimanoff 悖论minimum distance 最小距离Minkowski sum Minkowski 和minterm (fundamental conjunctive form) 极小项(基本合取式)minterm normal form(disjunctive normal form)极小项范式(析取范式)Möbius function Möbius 函数Möbius ladder Möbius 梯Möbius transform (inversion) Möbius 变换(反演)modal logic 模态逻辑model 模型module homomorphism 模同态(R-同态)modus ponens 分离规则modus tollens 否定后件式module isomorphism 模同构monic morphism 单同态monoid 单元半群monomorphism 单态射morphism (arrow) 态射(箭)Möbius function Möbius 函数Möbius ladder Möbius 梯Möbius transform (inversion) Möbius 变换(反演)multigraph 多重图multinomial coefficient 多项式系数multinomial expansion theorem 多项式展开定理multiple-error-correcting code 纠多错码multiplication principle 乘法原理mutually orthogonal Latin square 相互正交拉丁方Nn-ary operation n-元运算n-ary product n-元积natural deduction system 自然推理系统natural isomorphism 自然同构natural transformation 自然变换neighbour set 邻集next state 下一个状态next state transition function 状态转移函数non-associative algebra 非结合代数non-standard logic 非标准逻辑Norlund formula Norlund 公式normal form 正规形normal model 标准模型normal subgroup (invariant subgroup) 正规子群(不变子群)n-relation n-元关系null object 零对象nullary operation 零元运算Oobject 对象orbit 轨道order 阶order ideal 阶理想Ore condition Ore 条件orientation 定向orthogonal Latin square 正交拉丁方orthogonal layout 正交表outarc 出弧outdegree 出次(出度)outer face 外面outer neighbour 外(出)邻集outerneighbour set 出(外)邻集outerplanar graph 外平面图Ppancycle graph 泛圈图parallelism 平行parallelism class 平行类parity-check code 奇偶校验码parity-check equation 奇偶校验方程parity-check machine 奇偶校验器parity-check matrix 奇偶校验矩阵partial function 偏函数partial ordering (partial relation) 偏序关系partial order relation 偏序关系partial order set (poset) 偏序集partition 划分,分划,分拆partition number of integer 整数的分拆数partition number of set 集合的划分数Pascal formula Pascal 公式path 路perfect code 完全码perfect t-error-correcting code 完全纠-错码perfect graph 完美图permutation 排列(置换)permutation group 置换群permutation with repetation 可重排列Petersen graph Petersen 图p-graph p-图Pierce arrow Pierce 箭pigeonhole principle 鸽子笼原理planar graph (可)平面图plane graph 平面图Pólya theorem Pólya 定理polynomail 多项式polynomial code 多项式码polynomial representation 多项式表示法polynomial ring 多项式环possible world 可能世界power functor 幂函子power of graph 图的幂power set 幂集predicate 谓词prenex normal form 前束范式pre-ordered set 拟序集primary cycle module 准素循环模prime field 素域prime to each other 互素primitive connective 初始联结词primitive element 本原元primitive polynomial 本原多项式principal ideal 主理想principal ideal domain 主理想整环principal of duality 对偶原理principal of redundancy 冗余性原则product 积product category 积范畴product-sum form 积和式proof (deduction) 证明(演绎)proper coloring 正常着色proper factor 真正因子proper filter 真滤子proper subgroup 真子群properly inclusive relation 真包含关系proposition 命题propositional constant 命题常量propositional formula(well-formed formula,wff)命题形式(合式公式)propositional function 命题函数propositional variable 命题变量pullback 拉回(回拖) pushout 推出Qquantification theory 量词理论quantifier 量词quasi order relation 拟序关系quaternion 四元数quotient (difference) algebra 商(差)代数quotient algebra 商代数quotient field (field of fraction) 商域(分式域)quotient group 商群quotient module 商模quotient ring (difference ring , residue ring) 商环(差环,同余类环)quotient set 商集RRamsey graph Ramsey 图Ramsey number Ramsey 数Ramsey theorem Ramsey 定理range 值域rank 秩reconstruction conjecture 重构猜想redundant digits 冗余位reflexive 自反的regular graph 正则图regular representation 正则表示relation matrix 关系矩阵replacement theorem 替换定理representation 表示representation functor 可表示函子restricted proposition form 受限命题形式restriction 限制retraction 收缩Richard paradox Richard 悖论right adjoint functor 右伴随函子right cancellable 右可消的right factor 右因子right zero divison 右零因子ring 环ring of endomorphism 自同态环ring with unity element 有单元的环R-linear independence R-线性无关root field 根域rule of inference 推理规则Russell paradox Russell 悖论Ssatisfiable 可满足的saturated 饱和的scope 辖域section 截口self-complement graph 自补图semantical completeness 语义完全的(弱完全的)semantical consistent 语义相容semigroup 半群separable element 可分元separable extension 可分扩域sequent 矢列式sequential 序列的Sheffer stroke Sheffer 竖(谢弗竖)simple algebraic extension 单代数扩域simple extension 单扩域simple graph 简单图simple proposition (atomic proposition) 简单(原子)命题simple transcental extension 单超越扩域simplication 简化规则slope 斜率small category 小范畴smallest element 最小元(素)Socrates argument Socrates 论断(苏格拉底论断)soundness (validity) theorem 可靠性(有效性)定理spanning subgraph 生成子图spanning tree 生成树spectra of graph 图的谱spetral radius 谱半径splitting field 分裂域standard model 标准模型standard monomil 标准单项式Steiner triple Steiner 三元系大集Stirling number Stirling 数Stirling transform Stirling 变换subalgebra 子代数subcategory 子范畴subdirect product 子直积subdivison of graph 图的细分subfield 子域subformula 子公式subdivision of graph 图的细分subgraph 子图subgroup 子群sub-module 子模subrelation 子关系subring 子环sub-semigroup 子半群subset 子集substitution theorem 代入定理substraction 差集substraction operation 差运算succedent 后件surjection (surjective) 满射switching-network 开关网络Sylvester formula Sylvester公式symmetric 对称的symmetric difference 对称差symmetric graph 对称图symmetric group 对称群syndrome 校验子syntactical completeness 语法完全的(强完全的)Syntactical consistent 语法相容system Ł3 , Łn , Łא0 , Łא系统Ł3 , Łn , Łא0 , Łאsystem L 公理系统 Lsystem Ł公理系统Łsystem L1 公理系统 L1system L2 公理系统 L2system L3 公理系统 L3system L4 公理系统 L4system L5 公理系统 L5system L6 公理系统 L6system Łn 公理系统Łnsystem of modal prepositional logic 模态命题逻辑系统system Pm 系统 Pmsystem S1 公理系统 S1system T (system M) 公理系统 T(系统M)Ttautology 重言式(永真公式)technique of truth table 真值表技术term 项terminal endpoint 终端terminal object 终结对象t-error-correcing BCH code 纠 t -错BCH码theorem (provable formal) 定理(可证公式)thickess 厚度timed sequence 时间序列torsion 扭元torsion module 扭模total chromatic number 全色数total chromatic number conjecture 全色数猜想total coloring 全着色total graph 全图total matrix ring 全方阵环total order set 全序集total permutation 全排列total relation 全关系tournament 竞赛图trace (trail) 迹tranformation group 变换群transcendental element 超越元素transitive 传递的tranverse design 横截设计traveling saleman problem 旅行商问题tree 树triple system 三元系triple-repetition code 三倍重复码trivial graph 平凡图trivial subgroup 平凡子群true in an interpretation 解释真truth table 真值表truth value function 真值函数Turán graph Turán 图Turán theorem Turán 定理Tutte graph Tutte 图Tutte theorem Tutte 定理Tutte-coxeter graph Tutte-coxeter 图UUlam conjecture Ulam 猜想ultrafilter 超滤子ultrapower 超幂ultraproduct 超积unary operation 一元运算unary relation 一元关系underlying graph 基础图undesignated truth value 非特指值undirected graph 无向图union 并(并集)union of graph 图的并union operation 并运算unique factorization 唯一分解unique factorization domain (Gauss domain) 唯一分解整域unique k-colorable graph 唯一k着色unit ideal 单位理想unity element 单元universal 全集universal algebra 泛代数(Ω代数)universal closure 全称闭包universal construction 通用结构universal enveloping algebra 通用包络代数universal generalization 全称推广规则universal quantifier 全称量词universal specification 全称特指规则universal upper bound 泛上界unlabeled graph 无标号图untorsion 无扭模upper (lower) bound 上(下)界useful equivalent 常用等值式useless code 废码字Vvalence 价valuation 赋值Vandermonde formula Vandermonde 公式variery 簇Venn graph Venn 图vertex cover 点覆盖vertex set 点割集vertex transitive graph 点传递图Vizing theorem Vizing 定理Wwalk 通道weakly antisymmetric 弱反对称的weight 重(权)weighted form for Burnside lemma 带权形式的Burnside引理well-formed formula (wff) 合式公式(wff)word 字Zzero divison 零因子zero element (universal lower bound) 零元(泛下界)ZFC (Zermelo-Fraenkel-Cohen) system ZFC系统form)normal(Skolemformnormalprenex-存在正则前束范式(Skolem 正则范式)3-value proposition logic 三值命题逻辑。

数学专业英语词汇

数学专业英语词汇

数学专业英语词汇1b measurability b可测性b measurable function 波莱尔可测函数babylonian numerals 巴比伦数字back substitution 逆计算backward difference 后向差分backward difference operator 后向差分算子backward difference quotient 后向差商backward solution 后向解法baire function 贝利函数baire measure 贝利测度baire set 贝利集baire space 贝利空间baire theorem 贝利定理balance 平衡balanced category 平衡范畴balanced functor 平衡函子balanced hypergraph 平衡超图balanced neighborhood 平衡邻域balanced sample 平衡样本balanced set 平衡集balancing method 平衡法balayage 扫除ball 球ballistic curve 弹道banach algebra 巴拿赫代数banach lie group 巴拿赫李群banach space 巴拿赫空间band 带band chart 带状图band matrix 带状矩阵bar construction 棒构成bar diagram 条线图bar graph 条线图barrel 桶集barrel shape 桶型barrelled space 桶型空间barrier 闸barycenter 重心barycenter of a simplex 单形的重心barycentric 重心的barycentric complex 重心复形barycentric coordinates 重心坐标barycentric mapping 重心映射barycentric subdivision 重心重分base 底base angle 底角base line 底线base number 底数base of logarithms 对数的底base point 基点base register 基址寄存器变址寄存器base space 底空间base vector 基向量basic 基础的basic block 基本块basic field 基域basic form 基本形式basic point 基础点basic representation 基本表示basic ring 基环basic solution 基本解basic symbol 基本符号basic variable 基本变量basis 基basis for cohomology 上同爹basis for homology 同爹basis of linear space 线性空间的基basis of vector space 向量空间的基basis replacementprocedure 基替换过程basis theorem of hilbert 希耳伯特基定理basis vector 基本向量batch processing 成批处理bayes decision function 贝叶斯判定函数bayes formula 贝叶斯公式bayes postulate 贝叶斯公设bayes solution 贝叶斯解behavior 行为behavior strategy 行为策略bellman principle 贝尔曼原理beltrami equation 贝尔特拉米方程bending point 转向点bergman metric 伯格曼度量bernoulli equation 伯努利方程bernoulli inequality 伯努利不等式bernoulli method 伯努利法bernoulli number 伯努利数bernoulli polynomial 伯努利多项式bernoulli trials 伯努利试验bernoullian polynomial 伯努利多项式bernstein inequality 伯思斯坦不等式bernstein polynomial 伯思斯坦多项式bertrand curves 柏特龙曲线bertrand paradox 柏特龙悖论bessel equation 贝塞耳方程bessel function 贝塞耳函数bessel function of thesecond kind 第二类贝塞耳函数bessel function of the thirdkind 第三类贝塞耳函数bessel inequality 贝塞耳不等式bessel integral 贝塞耳积分best approximation 最佳逼近best estimator 最佳估计量best test 最佳检验best uniformapproximation 最佳一致逼近beta distribution 分布beta function 函数betti group 贝蒂群betti number 贝蒂数between group variance 群间方差biadditive 双加法的biangular 双角的bias 偏倚biased estimator 有偏估计量biased sample 有偏样本biased statistics 有偏统计量biased test 有偏检验biaxial 双轴的biaxial spherical harmonic function 双轴球面低函数bicartesian square 双笛卡儿方bicharacteristic 双特征bicompact 紧bicompact set 紧集bicompact space 列紧空间bicompact transformation group 列紧变换群bicompactification 紧化bicomplex 二重复形bicomplex function 二重复形函数biconcave 两面凹的biconditional 等价biconnected space 双连通空间bicontinuous function 双连续函数bicontinuously differentiable 双连续可微bicylinder 双圆柱bidimensional 二维的bidimensionality 二维性bidual banach space 双对偶巴拿赫空间bifunctor 二变项函子bifurcation point 歧点bifurcation theory 分歧理论bigraded group 双重分次群bigraded module 双重分次模biharmonic 双低的biharmonic equation 双低方程biharmonic function 双低函数biholomorphic 双全纯的biholomorphic function 双正则函数biholomorphic mapping双正则映射bihomomorphism 双同态bijection 双射bijective mapping 双射bijectivity 双射性bilateral 两面的bilateral derivative 双侧导数bilateral laplace transform双侧拉普拉斯变换bilaterally boundedsequence 双侧有界序列bilinear 双线性的bilinear form 双线性形式bilinear functional 双线性泛函bilinear integral form 双线性积分型bilinear mapping 双线性映射bilinear programming 双线性规划bilinear relation 双线性关系bilinear system 双线性系bilinear transformation 双线性变换bilinearity 双线性bimatrix game 双矩阵对策bimodal distribution 双峰分布bimodule 双模binary 二元的binary arithmetic 二进制算术binary code 二进制吗binary coded decimalnotation 二进制编码的十进记数法binary coded decimalsystem 二进制编码的十进制binary coding 二进制编码binary digit 二进制数字binary digital computer 二进制数字计算机binary element 双态元件binary number 二进制数binary number system 二进制数系binary operation 二元运算binary point 二进制小数点binary relation 二元关系binary system 二进制的binary translation 二进制变换bind 连结binomial 二项式binomial coefficient 二项式系数binomial differential 二项式微分binomial differentialequation 二项微分方程binomial distribution 二项分布binomial equation 二项方程binomial expansion 二项展开式binomial integral 二项式积分binomial probability paper二项式概率纸binomial series 二项级数binomial surd 二项不尽根binomial test 二项检验binomial theorem 二项式定理binormal 副法线binormal space 副法线空间binormal vector 副法线向量biodemography 生物人口统计学biomathematic 生物数学的biomathematics 生物数学biomechanics 生物力学biometrics 生物统计学biometrika 生物统计学biophysics 生物物理学biorthogonal system 双正交系biorthonormal expansion双标准正交展开biorthonormalization 双标准正交化bipartite cubic 双枝三次曲线bipartite graph 偶图bipolar 双极的bipolar coordinates 双极坐标bipolar theorem 双极定理biprism 双棱柱biquadrate 四次方biquadratic equation 双二次方程biquadratic residue 双二次剩余biquaternion 复四元数biquinary code 二元五元码birational 双有理的birational invariant 双有理不变量birational map 双有理映射birational transformation 双有理变换birectangular 两直角的biregular 双正则的biregular isomorphism 双正则同构birth process 出生过程birth rate 出生率bisect 平分bisecting point 平分点bisection 平分bisector 平分线bisector of angle 角的平分线bispherical 双球面的bispinor 双旋量bistable 双稳定的bisymmetry 双对称bit 比特bitangent 双切线biunique 一对一的bivalent 二价的bivariate distribution 二维分布bivariate distribution function 二元分布函数bivariate frequency function 二元频率函数bivariate normal distribution 二元正态分布bivariate population 二元总体bivector 二重向量block 块block design 区组设计block relaxation 块松弛block tridiagonal matrix块三对角阵blockdiagram 立体图bochner integral 博赫纳积分body 体body of revolution 旋转体boltzmann constant 玻耳兹曼常数boltzmann equation 玻耳兹曼方程boltzmann statistics 玻耳兹曼统计bolzano weierstrasstheorem 波尔察诺维尔斯特拉斯定理boole function 布尔函数boolean algebra 布尔代数boolean function 布尔函数boolean operation 布尔运算boolean optimization 布尔最优化boolean ring 布尔环boolean vector 布尔向量border 边缘border element 边缘元素border of the domain 域的边缘border set 边缘集bordered matrix 加边矩阵borel exceptional value 波莱尔例外值borel field 波莱尔域borel group 波莱尔群borel lebesgue coveringtheorem 波莱尔勒贝格覆盖定理borel measurable function波莱尔可测函数borel measure 波莱尔测度borel set 波莱尔集borel subgroup 波莱尔子群borel summable series 波莱尔可和级数born approximation 波饵似法bornological dual 有界型对偶bornological set 有界型集bornological space 有界型空间bornological topology 有界型拓扑学bornology 有界型性bott periodicity theorem博特周期性定理bound 界bound decision variable 约束决策变量bound term 约束项bound variable 约束变词boundary 边界;边缘boundary cell 边界胞腔boundary collocation 边界配置boundary condition 边界条件boundary correspondence边界对应boundary curve 边界曲线boundary element method边界元法boundary form 边缘形式boundary homomorphism边缘同态boundary interval 边界区间boundary layer 边界层boundary line 界线boundary method 边界法boundary operator 边缘算子boundary point 边界点boundary simplex 边界单形boundary strip 边界带boundary surface 带边界曲面boundary value 边界值boundary value problem边值问题bounded 有界的bounded above 上有界的bounded above sequence上有界序列bounded below 下有界的bounded below sequence下有界序列bounded chain 有界链bounded closed set 有界闭集bounded domain 有界域bounded existentialquantifier 有界存在量词bounded function 有界函数bounded matrix 有界矩阵bounded minimization 有界最小化bounded operator 有界算子bounded point sequence有界点序列bounded quantification 有界量词限制bounded quantifier 有界量词bounded sequence 有界序列bounded set 有界集合bounded to the downwards下有界的bounded to the upwards上有界的bounded variation 有界变分boundedly convergentseries 有界收敛级数boundedness 有界性bounding manifold 边界廖bounding surface 边界曲面boundless 无限的box 框brace 大括号brachistochrone 最速降线brachistochrone problem 最速降线问题bracket 括号bracket operation 括号运算bragg curve 布喇格曲线braid 辫braid group 辫群branch 分支branch and bound method 分支限界法branch curve 分枝曲线branch cut 分支切割branch divisor 分歧除子branch instruction 分枝指令branch line 分枝线branch of a curve 曲线的分枝branch of function 函数的分枝branch point 分枝点branching 分枝branching process 分枝过程brauer group 布劳韦尔群breadth 幅break point 断点;分割点break point instruction 断点指令breaking stress 破坏应力bridge 分离棱briggs' logarithm 常用对数briggsian logarithm 常用对数broken diagonal 折对角线broken line 折线broken number 分数brouwer fixed pointtheorem 布劳丰尔不动点定理brownian motion 布朗运动brownian movement 布朗运动bruhat decomposition 布鲁阿分解buckling 弯曲budget 顸算buffer 缓冲器bundle 束bundle map 丛映射bundle of coefficients 系数丛bundle of lines 线把bundle of p vectors 向量丛bundle of planes 平面把bundle of rays 线把bundle of spheres 球把bundle space 丛空间bundle structure theorem丛结构定理bus 母线byte 字节数学专业英语词汇2c function c类函数c manifold c廖c mapping c类映射ca set 上解析集calculability 可计算性calculable mapping 可计算映射calculable relation 可计算关系calculate 计算calculating automaton 计算自动机calculating circuit 计算电路calculating element 计算单元calculating machine 计算机calculating punch 穿孔计算机calculating register 计算寄存器calculating unit 计算装置calculation 计算calculation of areas 面积计算calculator 计算机calculus 演算calculus of approximations近似计算calculus of classes 类演算calculus of errors 误差论calculus of finitedifferences 差分法calculus of probability 概率calculus of residues 残数计算calculus of variations 变分法calibration 校准canal 管道canal surface 管道曲面cancel 消去cancellation 消去cancellation law 消去律cancellation property 消去性质cancelling of significantfigures 有效数字消去canonical basis 典范基canonical coordinates 标准坐标canonical correlationcoefficient 典型相关系数canonical decomposition标准分解canonical distribution 典型分布canonical ensemble 正则总体canonical equation 典型方程canonical equation ofmotion 标准运动方程canonical expression 典范式canonical factorization 典范因子分解canonical flabby resolution典型松弛分解canonical form 标准型canonical function 标准函数canonical fundamentalsystem 标准基本系统canonical homomorphism标准同态canonical hyperbolicsystem 典型双曲线系canonical image 标准象canonical mapping 标准映射canonical representation典型表示canonical sequence 标准序列canonical solution 标准解canonical system ofdifferential equations 标准微分方程组canonical variable 典型变量canonical variationalequations 标准变分方程canonical variational problem 标准变分问题cantor curve 康托尔曲线cantor discontinum 康托尔密断统cantorian set theory 经典集论cap 交cap product 卡积capacity 容量card 卡片card punch 卡片穿孔机card reader 卡片读数器cardinal 知的cardinal number 基数cardinal product 基数积cardioid 心脏线carrier 支柱carry 进位carry signal 进位信号cartan decomposition 嘉当分解cartan formula 嘉当公式cartan subalgebra 嘉当子代数cartan subgroup 嘉当子群cartesian coordinate system 笛卡儿坐标系cartesian coordinates 笛卡尔座标cartesian equation 笛卡儿方程cartesian folium 笛卡儿叶形线cartesian product 笛卡儿积cartesian space 笛卡儿空间cartography 制图学cascaded carry 逐位进位casimir operator 卡巫尔算子cassini oval 卡吾卵形线casting out 舍去casting out nines 舍九法catastrophe theory 突变理论categorical judgment 范畴判断categorical proposition 范畴判断categorical syllogism 直言三段论categorical theory 范畴论categoricity 范畴性category 范畴category of groups 群范畴category of modules 模的范畴category of sets 集的范畴category of topologicalspaces 拓扑空间的范畴catenary 悬链线catenary curve 悬链线catenoid 悬链曲面cauchy condensation test柯微项收敛检验法cauchy condition forconvergence 柯握敛条件cauchy criterion 柯握敛判别准则cauchy distribution 柯沃布cauchy filter 柯嗡子cauchy inequality 柯位等式cauchy integral 柯锡分cauchy integral formula 柯锡分公式cauchy kernel 柯嗡cauchy kovalevskayatheorem 柯慰仆吡蟹蛩箍ǘ数学专业英语词汇3d integrable d可积d integral d积分d'alembert principle 达朗贝尔原理d'alembert ratio test 达朗贝尔比例试验法d'alembert solution 达朗贝尔解d'alembertian 达朗伯符;达郎贝尔算子damped harmonicoscillation 阻尼谐振动damped oscillation 阻尼振动damped vibration 阻尼振动damping 阻尼damping factor 阻尼因子dantzig van de pannemethod 但泽范德潘方法darboux tangent 达布切线darboux theorem 达布定理data 数据data processing 数据处理data storage 数据存储器data storage register 数据存储寄存器death process 死亡过程death rate 死亡率debugging 堤序deca 十decade 十个decade scaler 十进制计数器decagon 十边形decahedron 十面体decameter 十米decay curve 衰变曲线deci 分decidability 可判定性decile 十分位数decimal 十进位的decimal arithmetic 十进算术decimal binary conversion十二进制变换decimal digit 十进制数字decimal expansion 十进制展开decimal fraction 十进小数decimal notation 十进制记数法decimal number 十进小数decimal number system 十进制decimal of many places 多位十进小数decimal part 小数部分decimal place 小数位decimal point 小数点decimal representation 十进制记数法decimal system 十进制decimal to binaryconversion 十二进制变换decimetre 分米decision 判定decision domain 决策域decision function 判定函数decision problem 判定问题decision procedure 判定过程decision space 判定空间decision theory 决策论decision variable 决策变量decision vector 决策向量decisive 决定的declination 倾斜decoder 译码器decomposability 可分解性decomposable form 可分解形式decomposable matrix 可分解矩阵decomposable operator 可分解算子decompose 分解decomposition 分解decomposition field 分解域decomposition formula 分解公式decomposition group 分解群decomposition in a direct sum 直和分解decomposition into linear factors 线性因子分解decomposition into partial fractions 部分分数分解decomposition operator 分解算子decomposition principle 分解原理decomposition theorem 分解定理decrease 减少decreasing function 递减函数decrement 减量dedekind axiom 绰金公理dedekind completion 绰金完备化dedekind cut 绰金切断dedekind domain 绰金环dedekind ring 绰金环dedekind set 绰金集dedekind sum 绰金和deduce 演绎deducibility 可推断deduction 演绎法deductive method 演绎法deductive proof 演绎证明defect 靠defect indices 扛数defect of operators 算子的靠defect of spline 样条的筐defect relation 控系defect subspaces 坑空间defective number 靠defective value 康deferent 圆心轨迹deficiency 靠deficiency index 扛标deficient number 靠definability 可定义性definable 可定义的define 定义definiendum 被定义者definiens 定义者defining contrast 定义对比defining equation 定义方程defining field 定义域defining relations 定义关系definite 定的definite divergence 定发散definite integral 定积分definiteness 梅性definition by induction 用归纳法定义definition by transfiniteinduction 依超限归纳法的定义deflation 降阶deform 使变形deformable 可变形的deformation 变形deformation ratio 形变比率deformation retract 形变收缩核deformation retraction 形变收缩degeneracy 退化degeneracy operator 退化算子degenerate 退化degenerate case 退化情况degenerate core 简并核degenerate distribution 退化分布degenerate eigenvalue 退化本盏degenerate extreme point退化极值点degenerate kernel 退化核degenerate parabolicequation 退化抛物型方程degenerate polyhedron 退化多面体degenerate set 退化集degenerate simplex 退化单形degeneration 退化degree 次数degree of a polynomial 多项式的次数degree of a representation表示度degree of accuracy 精确度degree of an equation 方程式的次数degree of approximation近似度degree of freedom 自由度degree of inseparability 不可分次数degree of mapping 映射度degree of stability 稳定度degree of symmetry 对称度del 倒三角形del operator 倒三角形delay 延迟delay equation 延滞方程delay line store 延迟线存储器delay time 延迟时间delete 删去deleted neighborhood 去心邻域deletion 删除delocalization 非局部化delta function 狄垃克函数deltoid 形曲线demarcation 划分界线demi continuous 半连续的demonstrate 证明论证demonstration 证明denominate number 庚denomination 名称denominator 分母denote 指示dense 稠密的dense in itself 自密的dense in itself set 自密集dense set 稠集dense subset 稠子集denseness 稠密性denseness of set 集的密度densimetry 密度测定density 密度density distribution 密度分布density function 密度函数density matrix 密度矩阵density of distribution 分布密度density of simultaneousdistribution 联合分布密度density theorem 密度定理denumerability 可数性denumerable 可数的denumerable set 可数集denumeration 计算depend 依赖dependence 相关dependent 相关的dependent equations 相关方程组dependent variable 应变数dependent variate 应变量depression 降低depth line 深度线derivability 可微性derivable 可微的derivate 导出数derivation 微分derivative 导数derivative of a distribution 分布导数derivative of a vector 向量导数derivative of higher order 高阶导数derivative of n th order n 阶导数derive 导出derived algebra 导出代数derived equation 导出方程derived function 导数derived functor 导函子derived graph 导出图derived rule of inference 推理的导出规则derived series 导出列derived set 推导集derived unit 导出单位derogatory matrix 减次阵descartes rule of signs 笛卡儿正负号规则descending central series降中心列descending chain 降链descending chain condition降链条件descending difference 前向差分descending induction 递减归纳descending order 递减次序descending power series递减幂级数descent 下降descent method 下降法description 描述description operator 摹状算子descriptive form 描述形式descriptive function 描述形式descriptive geometry 画法几何descriptive set theory 描述集论descriptive statistics 描述统计学design 计划design of experiments 实验设计detached coefficients 分离系数determinant 行列式determinant of infiniteorder 无限行列式determinant of thecoefficients 系数行列式determinant of thecoefficients of a linear form 线性形式的系数行列式determinantal divisor 行列式因子determinantal equation 行列式方程determinate 一定的determinate automaton 确定性自动机determinate system 确定组determine 决定出determined system 确定组determining equation 决定方程determining factor 决定因素deterministic digital system确定性数字系统deterministic optimization确定性最优化deterministic process 确定过程deterministic programming确定性最优化develop 展开developability 可展性developable 可展的developable function 可展函数developable surface 可展曲面development 展开development in powerseries 幂级数展开deviate 偏离deviation 偏差deviation from the mean平均偏差diadic system 二进制数系diagnostic routine 诊断程序diagonal 对角线diagonal continued fraction对角连分数diagonal dominancy 对角优势diagonal element 对角元素diagonal form 对角型diagonal map 对角映射diagonal matrix 对角阵diagonal method 对角线法diagonal morphism 对角射diagonal of a determinant行列式的对角线diagonal of the face 面对角线diagonal point 对边点diagonal procedure 对角线法diagonal process 对角线法diagonal sequence 对角序列diagonal sum 矩阵的迹diagonal sum rule 对角求和规则diagonalizable matrix 可对角化矩阵diagonalization 对角线化diagonalize 对角化diagonally dominantmatrix 对角占优矩阵diagram 图表diagram scheme 图解概型diameter 直径diameter of a circle 圆的直径diametric plane 径面diamond shaped 菱形的dichotomy 二分法diffeomorphic mapping 微分同胚映射diffeomorphism 微分同胚映射difference 差difference boundary valueproblem 差分边值问题difference differentialequation 差分微分方程difference equation 差分方程difference group 差群difference method 差分法difference operator 差分算子difference product 差积difference quotient 均差difference schema 差分格式difference sequence 差数序列difference set 差集difference table 差分表different 共轭差积differentiability 可微性differentiable 可微的differentiable function 可微函数differentiable manifold of class c c类微分廖differential 微分differential algebra 微分代数differential analyzer 微分分析仪differential and integral calculus 微积分differential calculus 微分学differential circuit 微分电路differential coefficient 微分系数differential cross section微分截面differential curve 微分曲线differential differenceequation 差分微分方程differential equation 微分方程differential equation withdelayed argument 延滞方程differential equation withdeviating argument 偏差自变数微分方程differential equation withlag 滞后微分方程differential equation withseparated variables 分离变数型微分方程differential expression 微分式differential form 微分形式differential form of the firstkind 第一种微分形式differential game 微分对策differential geometry 微分几何学differential ideal 微分理想differential method 微分法differential of arc 微弧differential operator 微分算子differential parameter 微分参数differential quotient 微分系数differential ring 微分环differential scattering 微分散射截面differential topology 微分拓扑differentiate 微分differentiating circuit 微分电路differentiation 微分differentiation of a function函数的微分法differentiation of implicitfunction 隐函数微分法differentiation operator 微分算子differentiation symbol 微分记号differentiation term byterm 逐项微分differentiation theorem 微分定理differentiator 微分器diffraction 衍射diffraction angle 衍射角diffraction curve 衍射曲线diffraction disc 绕射盘diffusion 扩散diffusion coefficient 扩散系数diffusion constant 扩散常数diffusion equation 扩散方程diffusion process 扩散过程digamma function 双函数digit 数字digital 数字的digital computer 数字计算机digital control 数字控制digital differential analyzer数字微分分析仪digital recorder 数字式自动记录器digital simulation 数据模拟digitize 计数化dihedral angle 二面角dihedral group 二面体群dihedron 二面体dilatation 单项变换dilated maximum principle扩张极大值原理dilemma 二难推论dimension 量纲dimension theorem 维数定理dimension theory 维数论dimensional 量纲的dimensional analysis 维量分析dimensional equation 量纲方程dimensionality 量纲dimensionless 无量纲的dimensionless quantity 无因次量dimer 二聚物dimetric 二维的diophantine analysis 丢番图分析diophantine equation 丢番图方程diplohedron 扁方二十四面体dirac delta distribution 狄垃克函数dirac equation 狄拉克方程dirac measure 狄拉克测度direct 直接的direct analytic continuation直接解析开拓direct correspondence 直接对应direct decomposition 直分解direct factor 直积因子direct image 直接象direct limit 归纳极限direct method 直接法direct numerical method直接数值法direct predecessor 直前仟direct product 直积direct successor 紧接后元direct sum 直和direct system 归纳系direct union 直并directed circuit 有向回路directed distance 有向距离directed edge sequence 有向棱序列directed graph 有向图directed group 有向群directed line 有向元directed line segment 有向线段directed path 有向通路directed quantity 有向量directed set 有向集directed system 有向系directing curve 有向曲线direction 方向direction angle 方向角direction cosine 方向余弦direction field 方向场direction of principal axis 轴方向direction of principal curvature 助率方向direction parameter 方向参数directional 定向的directional derivative 方向导数directional differentiation 方向微分法directional field 方向场directivity 方向性directly proportional 直接比例的directoin search program方向检颂序director circle 准圆director cone 准锥面director plane 准平面directrix 准线directrix of a conic 二次曲线的准线dirichlet boundarycondition 狄利克雷边界条件dirichlet conditions 狄利克雷条件dirichlet distribution 狄利克雷分布dirichlet domain 狄利克雷域dirichlet drawer principle狄利克雷抽屉原理dirichlet function 狄利克雷函数dirichlet integral 狄利克雷积分dirichlet principle 狄利克雷原理dirichlet problem 狄利克雷问题dirichlet product 狄利克雷乘积dirichlet series 狄利克雷级数dirichlet space 狄利克雷空间dirichlet theorem 狄利克雷定理disagreement 不符合disappearance 消失disassembly 拆卸disc 圆盘disconnected space 不连通空间discontinuity 不连续discontinuity interval 不连续区间discontinuity on the left 左方不连续性discontinuity on the right右方不连续性discontinuous function 不连续函数discontinuous group 不连续群discontinuous randomvariable 不连续变量discontinuous set 不连续集discontinuous term 不连续项discontinuous variate 不连续变量discontinuum 密断统discount 折扣discount factor 折扣因子discrete 分立的discrete category 离散范畴discrete continuous system离散连续系统discrete distribution 离散分布discrete distributionfunction 离散分布函数discrete flow 离散流discrete fourier transform离散傅里叶变换discrete group 离散群discrete mathematics 离散数学discrete optimization 离散最佳化discrete optimizationproblem 离散最优化问题discrete problem 离散问题discrete process 离散随机过程discrete programming 离散规划discrete random variable离散随机变量discrete series 离散序列discrete set 离散集discrete spectrum 离散谱discrete state 离散状态discrete system 离散系统discrete time 离散时间discrete topological space离散拓扑空间discrete topology 离散拓扑discrete uniformdistribution 离散均匀分布discrete valuation 离散赋值discreteness 离散性discretization 离散化discretization error 离散化误差discrimator 判别式函数discriminant 判别式discriminant analysis 判别分析discriminant function 判别式函数discriminant of apolynomial 多项式的判别式discriminatory analysis 判别分析disjoint elements 不相交元素disjoint relations 不相交关系disjoint sets 不相交集disjoint sum 不相交并集disjoint union 不相交并集disjointed set 不相交集disjunction 析取disjunction sign 析取记号disjunction symbol 析取记号disjunctive normal form析取范式disjunctive proposition 选言命题disk 圆盘disorder 无秩序disorder order transformation 无序有序变化dispersion 方差dispersion matrix 方差矩阵dispersion relations 分散关系dispersive 扩散的displacement 位移displacement operator 位移算符display statusconcomitant 相伴式disposition 配置disproportion 不相称disproportionate 不成比例的dissection 剖分dissimilar terms 不同类项dissipation 散逸dissipation of energy 消能dissipative function 散逸函数dissipative measurable transformation 散逸可测变换dissipative system 耗散系dissociation 解离dissociation constant 分离常数distance axioms 距离公理distance between twopoints 两点间距distance circle 距离圆distance function 距离函数distance matrix 距离矩阵distance meter 测距仪distance point 距离点distinction 差别distinguish 辨别distinguished polynomial特异多项式distortion 畸变distortion angle 畸变角distortion theorem 畸变定理distortionless 无畸变的distributed constant 分布常数distributed parameter 分布参数distribution 分布distribution coefficient 分布系数distribution curve 分布曲线distribution family 分布族distribution function 分布函数distribution law 分布律distribution of primenumbers 素数分布distribution parameter 分布参数distribution ratio 分布系数distribution rule 分布规则distribution space 广义函数空间distribution with negativeskewness 负偏斜分布distribution with positiveskewness 正偏斜分布distributionfree test 无分布检验distributive 分配的distributive lattice 分配格distributive law 分配律distributivity 分配性disturbance 扰动disturbing function 扰动函数diverge 发散divergence 发散divergence of a series 级数发散divergence of tensor field张量场的散度divergence of vector field向量场的散度divergent sequence 发散序列divergent series 发散级数divide 除divided difference 均差dividend 被除数divider compasses 除法器两脚规dividers 除法器两脚规divisibility 可除性divisible 可除的divisible element 可除元素division 除法;划分division algebra 可除代数division algorithm 辗转相除法division of a line segment线段的分割division ring 可除环division transformation 有剩余的除法division with remainder 有剩余的除法divisor 因divisor class 除子类divisor function 除数函数divisor problem 除数问题documentation 文件编制documentation of program程序文档dodecagon 十二边形dodecagonal 十二边形的dodecahedral number 十二面体数dodecahedron 十二面体dog curve 追踪曲线domain 定义域domain of attraction 吸引范围domain of convergence 收敛域domain of definition 定义域domain of dependence 依赖域domain of existence 存在域domain of integration 积分区域domain of integrity 整环domain of meromorphy 亚纯域domain of regularity 正则域domain of transitivity 可递域domain of unsolvability 不可解域domain of variability 定义域dominant 帜dominant strategy 优策略dominant weight 最高权dominate 支配dominated convergence 控制收敛dominating set 控制集domination 支配domination principle 优势原理domino problem 多米诺问题dot 点dot chart 点图表。

离散数学双语专业词汇表wps

离散数学双语专业词汇表wps

《离散数学》双语专业词汇表Abelian group:交换(阿贝尔)群absorption property:吸收律acyclic:无(简单)回路的adjacent vertices:邻接结点adjacent vertices:邻接结点adjacent vertices:邻接结点algorithm verification:算法证明algorithm:算法alphabet:字母表alternating group:交替群analogous:类似的analysis of algorithm:算法分析antisymmetric:反对称的approach:方法,方式argument:自变量associative:可结合的associative:可结合的asymmetric:非对称的backtracking:回溯base 2 exponential function:以2为底的指数函数basic step:基础步biconditional, equivalence:双条件式,等价bijection, one-to-one correspondence:双射,一一对应binary operation on a set A:集合A上的二元运算binary operation:二元运算binary relation:二元关系(complete) binary tree:(完全)二元(叉)树bland meats:未加调料的肉block, cell:划分块,单元Boolean algebra:布尔代数Boolean function:布尔函数Boolean matrix:布尔矩阵Boolean polynomial, Boolean expression:布尔多项式(表达式)Boolean product:布尔乘积bounded lattice:有界格brace:花括号bridge:桥,割边by convention:按常规,按惯例cancellation property:消去律capacity:容量cardinality:基数,势category:类别,分类catenation:合并,拼接ceiling function:上取整函数certain event:必然事件characteristic equation:特征方程characteristic function:特征函数chromatic number of G:G的色数chromatic polynomial:着色多项式circuit design:线路设计circuit:回路closed under the operation:运算对…是封闭的closed with respect to:对…是封闭的closure:闭包collision:冲突coloring graphs:图的着色column:列combination:组合common divisor:公因子commutative:可交换的commutative:可交换的commuter:经常往来于两地的人comparable:可比较的compatible with:与…相容compatible:相容的complement of B with respect to A:A与B的差集complement:补元complementary relation:补关系complete graph:完全图complete match:完全匹配complete n-tree:完全n-元树component sentence:分句component:分图composition:复合composition:关系的复合compound statement:复合命题conditional statement, implication:条件式,蕴涵式congruence relation:同余关系congruent to:与…同余conjecture:猜想conjunction:合取connected:连通的connected:连通的connection:连接connectivity relation:连通性关系consecutively:相继地consequent, conclusion:结论,后件constructive proof:构造性证明contain(in):包含(于)contingency:可满足式contradiction, absurdity:永假(矛盾)式contrapositive:逆否命题conversation of flow:流的守恒converse:逆命题conversely:相反地coordinate:坐标coset:陪集countable(uncountable):可数(不可数)counterexample;反例counting:计数criteria:标准,准则custom:惯例cut:割cycle:回路cyclic permutation:循环置换,轮换de Morgan’s laws:德摩根律declarative sentence:陈述句degree of a vertex:结点的度depot:货站,仓库descendant:后代diagonal matrix:对角阵die:骰子digraph:有向图dimension:维(数)direct flight:直飞航班discipline:学科disconnected:不连通的discrete graph(null graph):零图disjoint sets:不相交集disjunction:析取distance:距离distinguish:区分distributive lattice:分配格distributive:可分配的distributive:可分配的division:除法dodecahedron:正十二面体domain:定义域doubly linked list:双向链表dual:对偶edge:边edge:边element,member:成员,元素empty relation:空关系empty sequence(string):空串empty set:空集end point:端点entry(element):元素equally likely:等可能的,等概率的equivalence class:等价类equivalent relation:等价关系Euclidian algorithm:欧几里得算法,辗转相除法Euler path(circuit):欧拉路径(回路)event:事件everywhere defined:处处有定义的excess capacity:增值容量existence proof:存在性证明existential quantification:存在量词化expected value:期望值explicit:显式的extensively:广泛地,全面地extremal element:极值元素factor:因子factorial:阶乘finite (infinite) set:有限(无限)集finite group:有限(阶)群floor function:下取整函数free semigroup generated by A:由A生成的自由半群frequency of occurrence:出现次数(频率) function, mapping, transformation:函数,映射,变换GCD(greatest common divisor):最大公因子gender:性别generalize:推广generic element:任一元素graduate school:研究生院graph:(无向)图graph:无向图greatest(least) element:最大(小)元greedy algorithm:贪婪算法group:群growth of function:函数增长Hamiltonian path(circuit):哈密尔顿路径(回路) hashing function:杂凑函数Hasse diagram:哈斯图height:树高homomorphic image:同态像homomorphism:同态hypothesis:假设,前提,前件idempotent:等幂的idempotent:幂等的identity function on A:A上的恒等函数identity(element):么(单位)元identity:么元,单位元impossible event:不可能事件inclusion-exclusion principle:容斥原理in-degree:入度indirect method:间接证明法induction step:归纳步informal brand:不严格的那种inorder search:中序遍历intersection:交intuitively:直觉地inverse:逆关系inverse:逆元inverse:逆元inverter:反向器invertible function:可逆函数involution property:对合律irreflexive:反自反的isolated vertex:孤立结点isomorphism:同构isomorphism:同构join:,保联,并join:并Karnaugh map:卡诺图Kernel:同态核key:键Klein 4 group:Klein四元群Konisberg Bridge problem:哥尼斯堡七桥问题Kruskal’s algorithm:Kruskal算法labeled digraph:标记有向图lattice:格LCM(least common multiple):最小公倍数leaf(leave):叶结点least upper(greatest lower) bound:上(下)确界level:层,lexicographic order:字典序likelihood:可能性linear array(list):线性表linear graph:线性图linear homogeneous relation of degree k:k阶线性齐次关系linear order(total order):线序,全序linearly ordered set, chain:线(全)序集,链linked list:链表linked-list representation:链表表示logarithm function to the base n:以n为底的对数logical connective:命题联结词logically equivalent:(逻辑)等价的logically follow:是…的逻辑结论logician:逻辑学家loop:自回路lower order:低阶main diagonal:主对角线map-coloring problem:地图着色问题matching function:匹配函数matching problems:匹配问题mathematical structure(system):数学结构(系统)matrix:矩阵maximal match:最大匹配maximal(minimal) element:极大(小)元maximum flow:最大流meet:保交,交meet:交minimal spanning tree:最小生成树minterm:极小项modular lattice:模格modulus:模modus ponens:肯定律m odus tollens:否定律monoid:含么半群,独异点multigraph:多重图multiple:倍数multiplication table:运算表multi-valued function:多值函数mutually exclusive:互斥的,不相交的natural homomorphism:自然同态nearest neighbor:最邻近结点negation:否定(式)normal subgroup:正规(不变)子群notation:标记notion:概念n-tree:n-元树n-tuple:n-元组odd(even) permutation:奇(偶)置换offspring:子女结点one to one:单射,一对一函数onto:到上函数,满射operation on sets:集合运算optimal solution:最佳方法or(and, not) gate:或(与,非)门order of a group:群的阶order relation:序关系ordered pair:有序对,序偶ordered tree:有序树ordered triple:有序三元组ordinance:法规out-degree:出度parent:父结点partial order:偏序关系partially ordered set, poset:偏序集partition, quotient set:划分,商集path:路径path:通路,路径permutation:置换,排列pictorially:以图形方式pigeonhole principle:鸽巢原理planar graph:(可)平面图plausible:似乎可能的pointer:指针Polish form:(表达式的)波兰表示polynomial:多项式positional binary tree:位置二元(叉)树positional tree:位置树postorder search:后序遍历power set:幂集predicate:谓词preorder search:前序遍历prerequisite:预备知识prescribe:命令,规定Prim’s algorithm:Prim算法prime:素(数)principle of mathematical induction:(第一)数学归纳法probabilistic:概率性的probability(theory):概率(论)product partial order:积偏序product set, Caretesian set:叉积,笛product:积proof by contradiction:反证法proper coloring:正规着色propositional function:命题公式propositional variable:命题变元pseudocode:伪码(拟码)pumping station:抽水站quantifier:量词quotient group:商群random access:随机访问random selection(choose an object at random):随机选择range:值域rational number:有理数reachability relation:可达性关系reasoning:推理recreational area:游乐场所recursive:递归recycle:回收,再循环reflexive closure:自反闭包reflexive:自反的regular expression:正则表达式regular graph:正规图,正则图relation:关系relationship:关系relay station:转送站remainder:余数representation:表示restriction:限制reverse Polish form:(表达式的)逆波兰表示(left) right coset:(左)右陪集root:根,根结点rooted tree:(有)根树row:行R-relative set:R相关集rules of reference:推理规则running time:运行时间same order:同阶sample space:样本空间semigroup:半群sensible:有意义的sensible:有意义的sequence:序列sequential access:顺序访问set corresponding to a sequence:对应于序列的集合set inclusion(containment):集合包含set:集合siblings:兄弟结点simple cycle:简单回路simple path(circuit):基本路径(回路)simple path:简单路径(通路)sink:汇sophisticated:复杂的source:源spanning tree:生成树,支撑树square matrix:方阵statement, proposition:命题storage cell:存储单元string:串,字符串strong induction:第二数学归纳法subgraph:子图subgroup:子群sublattice:子格submonoid:子含么半群subscript:下标subsemigroup:子半群subset:子集substitution:替换subtree:子树summarize:总结,概括symmetric closure:对称闭包symmetric difference:对称差symmetric group:对称群symmetric:对称的tacitly:默认tautology:永真(重言)式tedious:冗长乏味的terminology:术语the capacity of a cut:割的容量topological sorting:拓扑排序transitive closure:传递闭包transitive:传递的transport network:运输网络transposition:对换traverse:遍历,周游tree searching:树的搜索(遍历)tree:树truth table:真值表TSP(traveling salesperson problem):货郎担问题unary operation:一元运算undirected edge:无向边undirected edge:无向边undirected tree:无向树union:并unit element:么(单位)元universal quantification:全称量词化universal set:全集upper(lower) bound:上(下)界value of a flow:流的值value, image:值,像,应变量Venn diagram:文氏图verbally:用言语vertex(vertices):结点vertex(vertices):结点,顶点virtually:几乎Warshal’s algorithm:Warshall算法weight:权weight:树weighted graph:(赋)权图well-defined:良定,完全确定word:词zero element:零元。

Multiple ergodic averages for three polynomials and applications

Multiple ergodic averages for three polynomials and applications

a rX iv:mat h /66567v2[mat h.DS]25Aug27MULTIPLE ERGODIC AVERAGES FOR THREE POLYNOMIALS AND APPLICATIONS NIKOS FRANTZIKINAKIS Abstract.We find the smallest characteristic factor and a limit formula for the multi-ple ergodic averages associated to any family of three polynomials and polynomial fam-ilies of the form {l 1p,l 2p,...,l k p }.We then derive several multiple recurrence results and combinatorial implications,including an answer to a question of Brown,Graham,and Landman,and a generalization of the Polynomial Szemer´e di Theorem of Bergelson and Leibman for families of three polynomials with not necessarily zero constant term.We also simplify and generalize a recent result of Bergelson,Host,and Kra,showing that for all ε>0and every subset of the integers Λthe set n ∈N :d ∗ Λ∩(Λ+p 1(n ))∩(Λ+p 2(n ))∩(Λ+p 3(n )) >(d ∗(Λ))4−ε has bounded gaps for “most”choices of integer polynomials p 1,p 2,p 3.Contents 1.Introduction and main results 12.Background in ergodic theory and nilsystems 83.Weyl complexity for families of three polynomials 174.Characteristic factors for the families {l 1p,l 2p,...,l k p }and {p 1,p 2,p 3}235.Applications in combinatorics 32References 451.Introduction and main results1.1.Background.A far reaching generalization of the theorem of Szemer´e di [32]on arithmetic progressions states that every subset of the integers with positive upper Ba-nach density 1contains infinitely many configurations of the form {x,x +p 1(n ),...,x +p k (n )},where p 1,...,p k is any collection of integer polynomials (meaning they have inte-ger coefficients)with zero constant term.This was proved by Bergelson and Leibman [7]using a Correspondence Principle of Furstenberg and the following result in ergodic the-ory:Theorem1.1(Bergelson&Leibman[7]).Let(X,X,µ,T)be an invertible measure preserving system and let p1,...,p k be integer polynomials with p i(0)=0for i=1,...,k. If A∈B withµ(A)>0,then(1)lim infN−M→∞1N−M N−1n=MT p1(n)f1·...·T p k(n)f k.Bergelson and Leibman studied these averages in[7],in a depth that was sufficient forproving(1).Obtaining a better understanding of their limiting behavior(as N−M→∞)in L2(µ)has been a driving force of research in ergodic theory during the last two decades.The basic approach for studying them goes back to the original paper of Furstenberg[15].Using modern terminology,it consists offinding an appropriate factor C of a given system,called characteristic factor,such that the L2-limit of the averages in question remainsunchanged when each function is replaced by its projection on this factor.Equivalently,this means that the averages(P)converge to0in L2(µ)as N−M→∞wheneverE(f i|C)=0for some i=1,...,k,where E(f|C)is the conditional expectation of f given C.The next step is to obtain a concrete description for some well chosen characteristic factor that is going to facilitate our ing methods from[19],this was done in[20]for weak convergence,and in[25]for strong convergence of the averages(P). Theorem1.2(Host&Kra[20]-Leibman[25]).Let p1,...,p k be a family of essen-tially distinct(meaning,p i and p i−p j=const for i=j)integer polynomials.Then there exists a d=d(p1,...,p k)∈N with the following property:For every invertible er-godic system some characteristic factor for the averages(P)is an inverse limit of d-step nilsystems(defined in Section2).This result opens up the road for a better understanding of the limiting behavior ofthe averages(P),and in fact combined with a recent result of Leibman[22]immediatelyimplies that they converge in L2(µ).But we are still left with some interesting problemssince computing the smallest characteristic factor and the actual limit in the case of anilsystem is still a difficult task.For example,it is not even clear from the results in[20]and[25]whether the minimal d(p1,p2)is bounded when the polynomials p1,p2vary,and what the limit of the averages(P)is for k=2.Formulas for the limit are knownwhen all the polynomials are linear(see[34])or linearly independent(see[13]).Also, very recently some other cases where covered in[27].In this paper we are going tofind the smallest characteristic factor and limit formulas for the averages(P)for any family of three polynomials and for polynomial families of the form{l1p,l2p,...,l k p}.We will then use these results to derive several combinatorial implications.1.2.Results in ergodic theory.Given a measure preserving system and a family of integer polynomials P={p1,...,p k}we say that a factor C is the smallest characteristic factor for P,if it is a characteristic factor for the averages(P)and it is a factor of every other such characteristic factor.We will completely determine the structure of the smallest characteristic factor for any family of three polynomials and the family {l1p,l2p,...,l k p}.The reader who is not familiar with the notions we use in ergodic theory may wish to consult Section2.1first.Wefirst deal with the polynomial family{l1p,l2p,...,l k p}:Theorem A.Let(X,X,µ,T)be an invertible ergodic system,p be a nonconstant integer polynomial,and l1,...,l k nonzero distinct integers.If k≥2then the(k−1)-step nilfactor Z k−1is the smallest characteristic factor for the multiple ergodic averages12If k=1it is well known([16])that the rational Kronecker factor Krat is a characteristic factor.Theorem B.Let(X,B,µ,T)be an invertible ergodic system and{p1,p2,p3}be a family of essentially distinct integer polynomials.Consider the multiple ergodic averages1(2)3In case(i)it is the smallest under the extra assumption that the system is totally ergodic.onfinite dimensional tori.This reduction is done using Theorems2.5and2.6but variesin difficulty depending on the problem.(ii)Verify the simplified(but often challenging)problem“by hand”for affine transformations.Here is a more detailed sketch of how thisplan is executed to deal with the various parts of Theorem B:Part(i)deals with linearly independent polynomial families,a case that has beenalready worked out in[13]and[14]using a“reduction to affine argument”.Part(ii)deals with families of type(e1),(e2),and(e3).A typical family of type(e1)is P={n2,2n2,3n2}.It follows from Theorem A(which is again proved using a“reduction to affine argument”)that P∼{n,2n,3n}.4This completes our task since it is known([10],[11])that for this family the factor Z2is characteristic.A typical family of type(e2)is P={n,2n,n2}.To deal with this case,wefirst use Van der Corput Lemma and the fact that for families of the form{n,n2,n2+kn}(k=0)the Kronecker factor K is characteristic(Lemma4.2and4.3),to show that if E(f3|K)=0then the averages (2)converge to zero in L2.This fact greatly simplifies the analysis,and we are led to consider averages corresponding to the family{n,2n}for a transformation S=T×R where R is a2-step affine transformation on T2.From this we deduce using a result from [12]that the factor A2is characteristic.To complete the study of families of type(e2) we need also to show that{lp,mp,kp2+rp}∼{ln,mn,kn2+rn}when the polynomial p is nonconstant.To do this we use Proposition2.7(again proved using a“reduction to affine argument”)which roughly speaking tells us that if p(n)is a nonconstant integer polynomial,then the substitution n→p(n)does not change the distribution of any polynomial sequence that has connected orbit closure.Families of type(e3)are easily reduced to families of type(e2),thus completing the study of part(ii).Finally,to deal with part(iii),the crucial step is Proposition3.7.We show there that the polynomial families that were not covered by part(i)and(ii)have Weyl complexity2(defined in Section3).This fact,combined with Lemmas4.2and4.3,allows us to conclude that in this case the Kronecker factor K is characteristic.The following is an immediate corollary of Theorem B:Corollary.For any two essentially distinct polynomials and every invertible ergodicsystem,the Kronecker factor K is characteristic for the corresponding averages(P),andfor any three essentially distinct polynomials the2-step nilfactor Z2is characteristic.It seems plausible that for k≥2the(k−1)-step nilfactor Z k−1is characteristicfor any family of k essentially distinct polynomials.Moreover,one would expect thatfor k≥2the smallest m for which the factor Z m−1is characteristic for a family P ofessentially distinct integer polynomials is W(P)(defined in Section3).It is an immediateconsequence of Theorem B and Proposition3.7that both statements hold for k=2,3.Next we establish a multiple recurrence result that generalizes a result of Bergelson, Host,and Kra[6]:Theorem C.Let(X,X,µ,T)be an invertible ergodic system,A∈X withµ(A)>0, and{p1,p2,p3}be integer polynomials with p i(0)=0,for i=1,2,3.Then for every ε>0the set n∈N:µ A∩T p1(n)A∩T p2(n)A ≥µ(A)3−εhas bounded gaps.Moreover,the setn∈N:µ A∩T p1(n)A∩T p2(n)A∩T p3(n)A ≥µ(A)4−εhas bounded gaps,unless the polynomials are essentially distinct and of type(e1)with l<m<r and r=l+m,or of type(e2),(e3).This result was established in[6]for the polynomial families{n,2n}and{n,2n,3n}. Moreover,it was shown that an analogous result fails for the family{n,2n,3n,4n},in fact nofixed power ofµ(A)works as a lower bound.To prove Theorem C we use Theorem A and parts(i),(iii)of Theorem B.We remark that even for the two cases covered in[6] our argument is different and much simpler(1and2pages long correspondingly).The crucial observation is that although we cannot get good lower bounds for the averages corresponding to the families{n,2n}and{n,2n,3n}if we average over the full set of positive integers,we can get optimal lower bounds as long as the average is taken over an appropriately chosen subset of the integers(that depends on the system given).5This observation greatly simplifies the whole analysis,as we do not have to rely on the rather complicated nilsequence decompositions used in[6].For the exceptional polynomial families of Theorem C we believe that the analogous result fails and we provide conditional counterexamples in Section5.5.1.3.Results in combinatorics.We are going to utilize the previous results in ergodic theory to derive several implications in combinatorics.We mention them in increasing degree of difficulty.We start with an answer to a question of Brown,Graham,and Landman.In[9]the authors define a set S⊂Z to be large if everyfinite coloring of the positive integers contains arbitrarily long monochromatic arithmetic progressions with common difference a nonzero integer in S.It follows from Theorem1.1that if p is an integer polynomial with p(0)=0then the set S p={p(n):n∈N}is large.If we do not assume that p(0)=0an obvious necessary condition for the set S p to be large is that it contains multiples of every positive integer.The authors of[9]asked whether this condition is also sufficient and in particular whether the range of the polynomial p(n)=(n2−13)(n2−17)(n2−221)islarge;this is an example of a polynomial with no linear integer factors whose range does contain multiples of every positive integer6(this can be easily verified using properties of the Legendre symbol).We will give a positive answer to these questions,in fact we will verify a stronger“density”statement.We say that S⊂Z is a set of multiple recurrence if every subset of the integers with positive density contains arbitrarily long arithmetic progressions with common difference a nonzero integer in S.We show:Theorem D.Let p be an integer polynomial.Then S p={p(n):n∈N}is a set of multiple recurrence if and only if it contains multiples of every positive integer.To prove this result we use Theorem A and Furstenberg’s Multiple Recurrence The-orem[15].Polynomials that satisfy the conditions of Theorem D have been studied in [4].It is shown there that p(n)≡0(mod m)is solvable for every m∈N if and only if it is solvable for afinite set of m∈N explicitly depending on p.Our next application is to construct a set S that has bad recurrence properties but its set of squares S2is a set of multiple recurrence.Note that if S is a set multiple recurrence it is not known whether its set of squares S2is always a set of multiple recurrence(the chromatic version of this question was conjectured to be true in[9]).Theorem E.There exists a set S⊂N that is not a set of multiple(in fact not even single)recurrence but p(S)={p(s),s∈S}is a set of multiple recurrence for every integer polynomial p with degree greater than1.Our example is explicit,in fact we show that the set S= n∈N:{n√6As shown in[4],the smallest possible degree of a polynomial having this property is5,an example is p(n)=(n3−19)(n2+n+1).Theorem C’.LetΛ⊂N and p1,p2,p3be integer polynomials with p i(0)=0for i= 1,2,3.Then for everyε>0the set{n∈N:d∗ Λ∩(Λ+p1(n))∩(Λ+p2(n)) ≥(d∗(Λ))3−ε}has bounded gaps,and the set{n∈N:d∗ Λ∩(Λ+p1(n))∩(Λ+p2(n))∩(Λ+p3(n)) ≥(d∗(Λ))4−ε} has bounded gaps,unless the polynomials are essentially distinct and of type(e1)with l<m<r and r=l+m,or of type(e2),(e3).Examples of random sets show that the lower bounds given are tight.The same result was established in[6]in the special case of the polynomial families{n,2n}and {n,2n,3n}.In the case of the family{n,2n}a relatedfinite version of this result was established by Green[18].Some other examples of eligible3-term polynomial families are the following:{n,3n,4n},{n k,2n k,3n k}for all k∈N,{n,n2,an2+bn}with a=0, and{n,2n,n k}for all k≥3.It was shown in[6]that similar lower bounds fail for the polynomial family{n,2n,3n,4n}.In contrast to this,similar lower bounds hold for any family of k linearly independent polynomials with zero constant term(see[14]).As was the case with the corresponding result in ergodic theory,for the exceptional polynomial families of Theorem C’we believe that the analogous result fails and we provide conditional counterexamples in Section5.5.Notation:The following notation will be used throughout the article:T f=f◦T, e(x)=e2πix,{x}=x−[x],UD-lim(a n)=0if for everyε>0we have d∗({n:|a n|>ε})=0.Acknowledgements.The author would like to thank B.Kra for helpful discussions during the preparation of this article,M.Johnson for helpful remarks,and S.Leibman for providing the simple proof of Proposition2.7.2.Background in ergodic theory and nilsystems2.1.Ergodic theory background and notation.Background information we assume in this article can be found in the books[16],[30],[33].By a measure preserving system (or just system)we mean a quadruple(X,X,µ,T),where(X,X,µ)is a probability space and T:X→X is a measurable map such thatµ(T−1A)=µ(A)for all A∈X.Without loss of generality we can assume that the probability space is Lebesgue.A factor of a system can be defined in any of the following three ways:it is a T-invariant sub-σ-algebra D of X,it is a T-invariant sub-algebra F of L∞(X),or it is a system(Y,Y,ν,S)and a measurable mapπ:X′→Y′,where X′is a T-invariant set and Y′is an S-invariant set of full measure,such thatµ◦π−1=νand S◦π(x)=π◦T(x)for x∈X′..In a slight abuse of terminology,when any of these conditions holds,we say that Y(or the appropriateσ-algebra of X)is a factor of X and callπ:X′→Y′the factor map.If the factor mapπ:X′→Y′can be chosen to be injective,then we say that the systems(X,X,µ,T)and(Y,Y,ν,S)are isomorphic(bijective maps on Lebesgue spaces havemeasurable inverses).If Y is a T-invariant sub-σ-algebra of X and f∈L2(µ),we define the conditionalexpectation E(f|Y)of f with respect to Y to be the orthogonal projection of f ontoL2(Y).We frequently use the identitiesE(f|Y)dµ= f dµ,T E(f|Y)=E(T f|Y).For each r∈N,we define K r to be the factor induced by the algebra{f∈L∞(µ):T r f=f}.We define K rat to be the factor induced by the algebra generated by the functions{f∈L∞(µ):T r f=f for some r∈N}.The Kronecker factor K is induced by the algebra spanned by the bounded eigenfunctionsof T,i.e.functions that satisfy T f=e(a)·f for some a∈R.We also define higher ordereigenfunctions and their corresponding factors.Let E0denote the set of eigenvalues of Tand for k∈N we define inductivelyE k={f∈L∞(µ):|f|=1and T f·¯f∈E k−1(T)}.We call the factor spanned by E k the k-step affine factor of the system,and denoteit by A k.The reason for this notation is that for totally ergodic systems the factorsystem induced by A k is isomorphic to a nilpotent k-step affine transformation on someconnected compact abelian group(this is a result of Abramov[1]),and A k is the largestfactor with this property.The transformation T is ergodic if K1consists only of constant functions,and T istotally ergodic if K rat consists only of constant functions.Every system(X,X,µ,T)has an ergodic decomposition,meaning that we can writeµ= µt dλ(t),whereλis a probability measure on[0,1]andµt are T-invariant probability measures on(X,X)such that the systems(X,X,µt,T)are ergodic for t∈[0,1].We sometimes denote theergodic components by(T t)t∈[0,1].We say that the system(X,X,µ,T)is an inverse limit of a sequence of factors(X,X j,µ,T)if{X j}i∈N is an increasing sequence of T-invariant sub-σ-algebras such that j∈N X j=X up to sets of measure zero.Following[19],for every system(X,X,µ,T)and function f∈L∞(µ),we define in-ductively the seminorms|||f|||k as follows:For k=1we set|||f|||1=|E(f|I)|,7where I istheσ-algebra of T-invariant sets.For k≥2we set(3)|||f|||2k+1k+1=limN→+∞1f·T n f|||2k k.It was shown in[19]that for every integer k≥1,|||·|||k is a seminorm on L∞(µ)and it defines factors Z k−1in the following manner:the T-invariant sub-σ-algebra Z k−1ischaracterized byfor f∈L∞(µ),E(f|Z k−1)=0if and only if|||f|||k=0.We remark that if(T t)t∈[0,1]are the ergodic components of the system then E(f|Z k(T))=0if and only if E(f|Z k(T t))=0for a.e.t∈[0,1].For ergodic systems the factor Z0is trivial,Z1=A1=K,and A k⊂Z k(the inclusion is in general proper for k≥2). The factors Z k are of particular interest since they are characteristic for L2-convergenceof ergodic averages(P).Moreover,in[19]it was shown that the factor Z k is an inverselimit of k-step nilsystems which brings us to our next topic of discussion.2.2.Nilsystems,definition and examples.Fundamental properties of nilsystems,related to our discussion,were studied in[2],[29],[28],[23],and[24].Below we summarizesome facts that we shall use,all the proofs can be found in[22].Given a topological group G,we denote the identity element by e and we let G0denotethe connected component of e.If A,B⊂G,then[A,B]is defined to be the subgroup{[a,b]:a∈A,b∈B}where[a,b]=aba−1b−1.We define the commutator subgroups recursively by G1=G and G k+1=[G,G k].A group G is said to be k-step nilpotent if its(k+1)commutator G k+1is trivial.If G is a k-step nilpotent Lie group andΓis a discrete cocompact subgroup,then the compact space X=G/Γis said to be a k-step nilmanifold.The group G acts on G/Γby left translation and the translation by afixed element a∈G is given by T a(gΓ)=(ag)Γ.Let m denote the unique probability measure on X that is invariant under the action of G by left translations(called the Haar measure)and let G/Γdenote the Borelσ-algebra of G/Γ.Fixing an element a∈G,we call the system(G/Γ,G/Γ,m,T a)a k-step nilsystem and call the map T a a nilrotation. If H is a closed subgroup of G then Y=(HΓ)/Γ≃H/(H∩Γ)may not be compact in general(take X=R/Z and H={t√Example1.On the space G=Z×R2,define multiplication as follows:if g1=(m1,x1,x2)and g2=(n1,y1,y2),letg1·g2=(m1+n1,x1+y1,x2+y2+m1y1).Then G is a2-step nilpotent group and the discrete subgroupΓ=Z3is cocompact.If a=(m1,a1,a2),it turns out that T a is isomorphic to the a nilpotent affine transformation S:T2→T2given byS(x1,x2)=(x1+a1,x2+m1x1+a2).Example2.On the space G=R3,define multiplication as follows:if g1=(x1,x2,x3)and g2=(y1,y2,y3),letg1·g2=(x1+y1,x2+y2,x3+y3+x1y2).Then G is a2-step nilpotent group and the discrete subgroupΓ=Z3is cocompact.Let a=(a1,a2,0),where a1,a2∈[0,1)are linearly independent.It turns out that T a is isomorphic to a skew product transformation S:T3→T3that has the formS(x1,x2)=(x1+a1,x2+a2,x3+f(x1,x2)),where f:T2→T is defined byf(x1,x2)=(x1+a1)[x2+a2]−x1[x2]−a1x2.It can be shown that S(or T a)is not isomorphic to a nilpotent affine transformation on somefinite dimensional torus.Let(X=G/Γ,G/Γ,m,T a)be an ergodic nilsystem.The subgroup<G0,a>projects to an open subgroup of X that is invariant under a.By ergodicity this projection equals X.Hence,X=<G0,a>/Γ′whereΓ′=Γ∩<G0,a>.Using this representation of X for ergodic nilsystems we have that(4)G is generated by the connected component of the identity element and a.¿From now on when we work with an ergodic nilsystem we will freely assume that hypothesis(4)is satisfied.We remark that under this hypothesis it was shown in[23] that for every integer k≥2the group G k is connected.We will make frequent use of the following simple facts:Proposition2.1.Let(X=G/Γ,G/Γ,m,T a)be an ergodic nilsystem.Then(i)The system is totally ergodic if and only if X is connected.(ii)There exists an r∈N such that the(finitely many)ergodic components of T r a are totally ergodic.Proof.Wefirst prove statement(i).Suppose that the system is totally ergodic.Let X0 be the identity component of X.Since X is compact,it is a disjoint union of afinite number of translations of X0.Since a permutes these copies,there exists an r∈N suchthat a r preserves X0.By assumption the translation by T a r=T r a is ergodic and so X0=X.Conversely,suppose that X is connected and let r∈N.Because T a is ergodic,there exists x0∈X such that the sequence{a nπ(x0)}n∈N is uniformly distributed in Z= G/([G,G]Γ),whereπ:X→Z is the natural projection.Since Z is a connected compact abelian group,it is well known that{a rnπ(x0)}n∈N is also uniformly distributed in Z. By Theorem2.5below we have that T r a=T a r is ergodic.Since r∈N was arbitrary,T a is totally ergodic.We now prove statement(ii).The Kronecker factor of an ergodic nilsystem is isomor-phic to a rotation on a monothetic compact abelian Lie group G.Every such group has the form Z d1×T d2for some positive integer d1and nonnegative integer d2,where Z d,and T d1hasfinitely denotes the cyclic group with d elements.It follows that K rat=K d1many ergodic components and they are all totally ergodic.2.3.Factors of nilsystems.Given an ergodic nilsystem the following result allows us to identify its factors Z k(T a):Theorem2.2(Ziegler[35]).Let(X=G/Γ,G/Γ,m,T a)be an ergodic nilsystem.Then f∈Z k(T a)if and only if f∈L∞(m)and f factors through G/(G k+1Γ).It will also be convenient for us to identify the2-step affine factor A2of an ergodic nilsystem.We adapt a technique from[23]to do this.Wefirst need a lemma: Lemma2.3.Let(X=G/Γ,G/Γ,m,T a)be an ergodic nilsystem.If f∈E2(T a)then for every b∈G we have f b∈E2(T a),where f b(x)=f(bx).Proof.We know that A2(T a)is a factor of Z2(T a),so by Theorem2.2the function f factors through G/(G3Γ).Hence,after replacing G by G/G3we can assume that G is 2-step nilpotent.We know from[1]that|f|=const,so we can assume that|f|=1in which case we have that¯f=f−1.Since f∈E2(T a)there exists h∈E1(T a)such thatf(ax)=h(x)·f(x).By Theorem2.2the function h factors through the compact abelian group G/([G,G]Γ). Moreover,since h is an eigenfunction of T a it is a character of G.Wefirst claim that(5)if c∈[G,G]then f c=λc·ffor some constantλc∈C.Since h(cx)=h(x)and c belongs to the center of G wefind thatT a f c=f(cax)=f(acx)=h(cx)·f(cx)=h(x)·f(cx)=h·f c. Hence,f c·¯f∈E1(T a).We define a mapφ:[G,G]→E1(T a)byφ(c)=f c·¯f.It suffices to show thatφ([G,G])⊂C,where C is the set of constant functions.We will use a connectedness argument to do this.If we equip E1(T a)with the L2(m)topology thenthe map φis continuous.Since T a is ergodic the connected component of the function 1in E 1(T a )is the set C .Since φis continuous,φ(e )=1,and [G,G ]is connected,we have that φ([G,G ])⊂C .This proves the claim.We now show that for every b ∈G we have f b ∈E 2(T a ).We compute(6)f b (ax )=f (bax )=f (ab [a,b ]x )=h (b [a,b ]x )·f (b [a,b ]x ).Since h is a character of G we have(7)h (b [a,b ]x )=λ1h (x ).Using that [a,b ]belongs to the center of G and (5)we find(8)f (b [a,b ]x )=f ([b,a ]bx )=f [a,b ](bx )=λ2f (bx ).Putting together equations (6),(7),(8),we findT a f b =h 1·f bwhere h 1=λ1λ2h ∈E 1(T a ).This completes the proof. Proposition 2.4.Let (X =G/Γ,G /Γ,m,T a )be an ergodic nilsystem and suppose that X is connected.Then f ∈A 2(T a )if and only if f ∈L ∞(m )and f factors through G/(G 3[G 0,G 0]Γ).Proof.Suppose first that f ∈L ∞(m )factors through G/(G 3[G 0,G 0]Γ).Replacing G by the group G/(G 3[G 0,G 0])we can assume that G is 2-step nilpotent and that G 0is abelian.In this case,by Theorem 2.6below the system is isomorphic to a 2-step nilpotent affine transformation on some finite dimensional torus.For such systems it is easy to verify that A 2(T a )=L ∞(m ),and so f ∈A 2(T a ).We move now to the converse.It suffices to show that if f ∈E 2(T a )then f factors through G/(G 3[G 0,G 0]Γ).We know from[1]that f =const,so we can assume that|f |=1in which case we have that ¯f =f −1.Since A 2(T a )is a factor of Z 2(T a ),byTheorem 2.2the function f factors through G/(G 3Γ).So it remains to show that fis invariant under elements in [G 0,G 0].We define the map φ:G →L ∞(m )by φ(b )=f (bx )·¯f (x ).We need to show that φ([G 0,G 0])=1.First notice that by Lemma 2.3the map φtakes values in E 2(T a ).Next we claim that φ(G 0)⊂C where C is the set of constant functions of modulus 1.We will use a connectedness argument to show this (similar to the one used in Lemma 2.3).If we equip E 1(T a )with the L 2(m )topology then the map φis continuous.The connected component of the function 1in E 2(T a )is the setC .One can see this by using the fact that if f ∈E 2(T a )is nonconstant then f dm =0(see [1]),which implies that f −c L 2(m )=√which implies (obviously φ(x )=0for x ∈G )thatφ([a,b ])=1,a,b ∈G 0.This completes the proof.2.4.Polynomial sequences on nilmanifolds.If G is a nilpotent Lie group,a 1,...,a k ∈G ,and p 1,...,p k are integer polynomials N d →Z ,a sequence of the form g (n )=a p 1(n )1a p 2(n )2···a p k (n )k is called a polynomial sequence in G .If the polynomials p 1(n ),...,p k (n )are linear then g (n )is called a linear sequence .The following result of Leibman ([23],[24])gives information about the orbit closure of polynomial sequences on nilmanifolds and helps us handle their uniform distribution properties 8by reducing them to uniform distribution properties on a certain factor:Theorem 2.5(Leibman [23],[24]).Let X =G/Γbe a nilmanifold and g (n )be a polynomial sequence in G .Define Z =G/([G 0,G 0]Γ)and Z ′=G/([G,G ]Γ)and let π:X →Z and π′:X →Z ′be the corresponding natural projections.Then for every x ∈X :(i)There exist sub-nilmanifolds Y i =Hx i of X ,where H is a closed subgroup of G (depending on x )and x 1,...,x k ∈X ,such that 8Forthe purpose of this article,we will say that a sequence {x (n )}n ∈N d is uniformly distributed onthe nilmanifold X with the Haar measure m ,if for every Følner sequence ΦN in N d and continuous f :X →C ,we have lim N →∞1。

Moment methods for structural reliability

Moment methods for structural reliability
Department of Architecture, Nagoya Institute of Technology, Gokiso-cho, Showa-ku, Nagoya 466-8555, Japan
Abstract F ir st-order reliability method (FORM) is considered to be one of the most reliable computational methods. In the last decades, researchers have examined the shortcomings of FORM, primarily accuracy and the difficulties involved in searching for the design point by iteration using the derivatives of the performance function. In o rde r to improve upon FORM, several structural reliability methods have been developed based on FORM, such as second-order reliability method (SORM), importance sampling Monte~Carlo simulation, first-order third-moment reliability method (FOTM), and response surface approach (RSA). In the present paper, moment methods for structural reliability are investigated. Five moment method formulas are presented a nd investigated, and the accuracy and efficiency of these methods are demonstrated using numerical examples. The moment methods, being very simple, have no shortcomings with respect to design points, and requires neither iteration nor the computation of derivatives, and thus are convenient to be applied to structural reliability analysis. © 2001 Elsevier Science L td. All rights reserved.

数学专业词汇及翻译

数学专业词汇及翻译

一、字母顺序表 (1)二、常用的数学英语表述 (7)三、代数英语(高端) (13)一、字母顺序表1、数学专业词汇Aabsolute value 绝对值 accept 接受 acceptable region 接受域additivity 可加性 adjusted 调整的 alternative hypothesis 对立假设analysis 分析 analysis of covariance 协方差分析 analysis of variance 方差分析 arithmetic mean 算术平均值 association 相关性 assumption 假设 assumption checking 假设检验availability 有效度average 均值Bbalanced 平衡的 band 带宽 bar chart 条形图beta-distribution 贝塔分布 between groups 组间的 bias 偏倚 binomial distribution 二项分布 binomial test 二项检验Ccalculate 计算 case 个案 category 类别 center of gravity 重心 central tendency 中心趋势 chi-square distribution 卡方分布 chi-square test 卡方检验 classify 分类cluster analysis 聚类分析 coefficient 系数 coefficient of correlation 相关系数collinearity 共线性 column 列 compare 比较 comparison 对照 components 构成,分量compound 复合的 confidence interval 置信区间 consistency 一致性 constant 常数continuous variable 连续变量 control charts 控制图 correlation 相关 covariance 协方差 covariance matrix 协方差矩阵 critical point 临界点critical value 临界值crosstab 列联表cubic 三次的,立方的 cubic term 三次项 cumulative distribution function 累加分布函数 curve estimation 曲线估计Ddata 数据default 默认的definition 定义deleted residual 剔除残差density function 密度函数dependent variable 因变量description 描述design of experiment 试验设计 deviations 差异 df.(degree of freedom) 自由度 diagnostic 诊断dimension 维discrete variable 离散变量discriminant function 判别函数discriminatory analysis 判别分析distance 距离distribution 分布D-optimal design D-优化设计Eeaqual 相等 effects of interaction 交互效应 efficiency 有效性eigenvalue 特征值equal size 等含量equation 方程error 误差estimate 估计estimation of parameters 参数估计estimations 估计量evaluate 衡量exact value 精确值expectation 期望expected value 期望值exponential 指数的exponential distributon 指数分布 extreme value 极值F factor 因素,因子 factor analysis 因子分析 factor score 因子得分 factorial designs 析因设计factorial experiment 析因试验fit 拟合fitted line 拟合线fitted value 拟合值 fixed model 固定模型 fixed variable 固定变量 fractional factorial design 部分析因设计 frequency 频数 F-test F检验 full factorial design 完全析因设计function 函数Ggamma distribution 伽玛分布 geometric mean 几何均值 group 组Hharmomic mean 调和均值 heterogeneity 不齐性histogram 直方图 homogeneity 齐性homogeneity of variance 方差齐性 hypothesis 假设 hypothesis test 假设检验Iindependence 独立 independent variable 自变量independent-samples 独立样本 index 指数 index of correlation 相关指数 interaction 交互作用 interclass correlation 组内相关 interval estimate 区间估计 intraclass correlation 组间相关 inverse 倒数的iterate 迭代Kkernal 核 Kolmogorov-Smirnov test柯尔莫哥洛夫-斯米诺夫检验 kurtosis 峰度Llarge sample problem 大样本问题 layer 层least-significant difference 最小显著差数 least-square estimation 最小二乘估计 least-square method 最小二乘法 level 水平 level of significance 显著性水平 leverage value 中心化杠杆值 life 寿命 life test 寿命试验 likelihood function 似然函数 likelihood ratio test 似然比检验linear 线性的 linear estimator 线性估计linear model 线性模型 linear regression 线性回归linear relation 线性关系linear term 线性项logarithmic 对数的logarithms 对数 logistic 逻辑的 lost function 损失函数Mmain effect 主效应 matrix 矩阵 maximum 最大值 maximum likelihood estimation 极大似然估计 mean squared deviation(MSD) 均方差 mean sum of square 均方和 measure 衡量 media 中位数 M-estimator M估计minimum 最小值 missing values 缺失值 mixed model 混合模型 mode 众数model 模型Monte Carle method 蒙特卡罗法 moving average 移动平均值multicollinearity 多元共线性multiple comparison 多重比较 multiple correlation 多重相关multiple correlation coefficient 复相关系数multiple correlation coefficient 多元相关系数 multiple regression analysis 多元回归分析multiple regression equation 多元回归方程 multiple response 多响应 multivariate analysis 多元分析Nnegative relationship 负相关 nonadditively 不可加性 nonlinear 非线性 nonlinear regression 非线性回归 noparametric tests 非参数检验 normal distribution 正态分布null hypothesis 零假设 number of cases 个案数Oone-sample 单样本 one-tailed test 单侧检验 one-way ANOVA 单向方差分析 one-way classification 单向分类 optimal 优化的optimum allocation 最优配制 order 排序order statistics 次序统计量 origin 原点orthogonal 正交的 outliers 异常值Ppaired observations 成对观测数据paired-sample 成对样本parameter 参数parameter estimation 参数估计 partial correlation 偏相关partial correlation coefficient 偏相关系数 partial regression coefficient 偏回归系数 percent 百分数percentiles 百分位数 pie chart 饼图 point estimate 点估计 poisson distribution 泊松分布polynomial curve 多项式曲线polynomial regression 多项式回归polynomials 多项式positive relationship 正相关 power 幂P-P plot P-P概率图predict 预测predicted value 预测值prediction intervals 预测区间principal component analysis 主成分分析 proability 概率 probability density function 概率密度函数 probit analysis 概率分析 proportion 比例Qqadratic 二次的 Q-Q plot Q-Q概率图 quadratic term 二次项 quality control 质量控制 quantitative 数量的,度量的 quartiles 四分位数Rrandom 随机的 random number 随机数 random number 随机数 random sampling 随机取样random seed 随机数种子 random variable 随机变量 randomization 随机化 range 极差rank 秩 rank correlation 秩相关 rank statistic 秩统计量 regression analysis 回归分析regression coefficient 回归系数regression line 回归线reject 拒绝rejection region 拒绝域 relationship 关系 reliability 可*性 repeated 重复的report 报告,报表 residual 残差 residual sum of squares 剩余平方和 response 响应risk function 风险函数 robustness 稳健性 root mean square 标准差 row 行 run 游程run test 游程检验Sample 样本 sample size 样本容量 sample space 样本空间 sampling 取样 sampling inspection 抽样检验 scatter chart 散点图 S-curve S形曲线 separately 单独地 sets 集合sign test 符号检验significance 显著性significance level 显著性水平significance testing 显著性检验 significant 显著的,有效的 significant digits 有效数字 skewed distribution 偏态分布 skewness 偏度 small sample problem 小样本问题 smooth 平滑 sort 排序 soruces of variation 方差来源 space 空间 spread 扩展square 平方 standard deviation 标准离差 standard error of mean 均值的标准误差standardization 标准化 standardize 标准化 statistic 统计量 statistical quality control 统计质量控制 std. residual 标准残差 stepwise regression analysis 逐步回归 stimulus 刺激 strong assumption 强假设 stud. deleted residual 学生化剔除残差stud. residual 学生化残差 subsamples 次级样本 sufficient statistic 充分统计量sum 和 sum of squares 平方和 summary 概括,综述Ttable 表t-distribution t分布test 检验test criterion 检验判据test for linearity 线性检验 test of goodness of fit 拟合优度检验 test of homogeneity 齐性检验 test of independence 独立性检验 test rules 检验法则 test statistics 检验统计量 testing function 检验函数 time series 时间序列 tolerance limits 容许限total 总共,和 transformation 转换 treatment 处理 trimmed mean 截尾均值 true value 真值 t-test t检验 two-tailed test 双侧检验Uunbalanced 不平衡的 unbiased estimation 无偏估计 unbiasedness 无偏性 uniform distribution 均匀分布Vvalue of estimator 估计值 variable 变量 variance 方差 variance components 方差分量 variance ratio 方差比 various 不同的 vector 向量Wweight 加权,权重 weighted average 加权平均值 within groups 组内的ZZ score Z分数2. 最优化方法词汇英汉对照表Aactive constraint 活动约束 active set method 活动集法 analytic gradient 解析梯度approximate 近似 arbitrary 强制性的 argument 变量 attainment factor 达到因子Bbandwidth 带宽 be equivalent to 等价于 best-fit 最佳拟合 bound 边界Ccoefficient 系数 complex-value 复数值 component 分量 constant 常数 constrained 有约束的constraint 约束constraint function 约束函数continuous 连续的converge 收敛 cubic polynomial interpolation method三次多项式插值法 curve-fitting 曲线拟合Ddata-fitting 数据拟合 default 默认的,默认的 define 定义 diagonal 对角的 direct search method 直接搜索法 direction of search 搜索方向 discontinuous 不连续Eeigenvalue 特征值 empty matrix 空矩阵 equality 等式 exceeded 溢出的Ffeasible 可行的 feasible solution 可行解 finite-difference 有限差分 first-order 一阶GGauss-Newton method 高斯-牛顿法 goal attainment problem 目标达到问题 gradient 梯度 gradient method 梯度法Hhandle 句柄 Hessian matrix 海色矩阵Independent variables 独立变量inequality 不等式infeasibility 不可行性infeasible 不可行的initial feasible solution 初始可行解initialize 初始化inverse 逆 invoke 激活 iteration 迭代 iteration 迭代JJacobian 雅可比矩阵LLagrange multiplier 拉格朗日乘子 large-scale 大型的 least square 最小二乘 least squares sense 最小二乘意义上的 Levenberg-Marquardt method 列文伯格-马夸尔特法line search 一维搜索 linear 线性的 linear equality constraints 线性等式约束linear programming problem 线性规划问题 local solution 局部解M medium-scale 中型的 minimize 最小化 mixed quadratic and cubic polynomialinterpolation and extrapolation method 混合二次、三次多项式内插、外插法multiobjective 多目标的Nnonlinear 非线性的 norm 范数Oobjective function 目标函数 observed data 测量数据 optimization routine 优化过程optimize 优化 optimizer 求解器 over-determined system 超定系统Pparameter 参数 partial derivatives 偏导数 polynomial interpolation method 多项式插值法Qquadratic 二次的 quadratic interpolation method 二次内插法 quadratic programming 二次规划Rreal-value 实数值 residuals 残差 robust 稳健的 robustness 稳健性,鲁棒性S scalar 标量 semi-infinitely problem 半无限问题 Sequential Quadratic Programming method 序列二次规划法 simplex search method 单纯形法 solution 解 sparse matrix 稀疏矩阵 sparsity pattern 稀疏模式 sparsity structure 稀疏结构 starting point 初始点 step length 步长 subspace trust region method 子空间置信域法 sum-of-squares 平方和 symmetric matrix 对称矩阵Ttermination message 终止信息 termination tolerance 终止容限 the exit condition 退出条件 the method of steepest descent 最速下降法 transpose 转置Uunconstrained 无约束的 under-determined system 负定系统Vvariable 变量 vector 矢量Wweighting matrix 加权矩阵3 样条词汇英汉对照表Aapproximation 逼近 array 数组 a spline in b-form/b-spline b样条 a spline of polynomial piece /ppform spline 分段多项式样条Bbivariate spline function 二元样条函数 break/breaks 断点Ccoefficient/coefficients 系数cubic interpolation 三次插值/三次内插cubic polynomial 三次多项式 cubic smoothing spline 三次平滑样条 cubic spline 三次样条cubic spline interpolation 三次样条插值/三次样条内插 curve 曲线Ddegree of freedom 自由度 dimension 维数Eend conditions 约束条件 input argument 输入参数 interpolation 插值/内插 interval取值区间Kknot/knots 节点Lleast-squares approximation 最小二乘拟合Mmultiplicity 重次 multivariate function 多元函数Ooptional argument 可选参数 order 阶次 output argument 输出参数P point/points 数据点Rrational spline 有理样条 rounding error 舍入误差(相对误差)Sscalar 标量 sequence 数列(数组) spline 样条 spline approximation 样条逼近/样条拟合spline function 样条函数 spline curve 样条曲线 spline interpolation 样条插值/样条内插 spline surface 样条曲面 smoothing spline 平滑样条Ttolerance 允许精度Uunivariate function 一元函数Vvector 向量Wweight/weights 权重4 偏微分方程数值解词汇英汉对照表Aabsolute error 绝对误差 absolute tolerance 绝对容限 adaptive mesh 适应性网格Bboundary condition 边界条件Ccontour plot 等值线图 converge 收敛 coordinate 坐标系Ddecomposed 分解的 decomposed geometry matrix 分解几何矩阵 diagonal matrix 对角矩阵 Dirichlet boundary conditions Dirichlet边界条件Eeigenvalue 特征值 elliptic 椭圆形的 error estimate 误差估计 exact solution 精确解Ggeneralized Neumann boundary condition 推广的Neumann边界条件 geometry 几何形状geometry description matrix 几何描述矩阵 geometry matrix 几何矩阵 graphical user interface(GUI)图形用户界面Hhyperbolic 双曲线的Iinitial mesh 初始网格Jjiggle 微调LLagrange multipliers 拉格朗日乘子Laplace equation 拉普拉斯方程linear interpolation 线性插值 loop 循环Mmachine precision 机器精度 mixed boundary condition 混合边界条件NNeuman boundary condition Neuman边界条件 node point 节点 nonlinear solver 非线性求解器 normal vector 法向量PParabolic 抛物线型的 partial differential equation 偏微分方程 plane strain 平面应变 plane stress 平面应力 Poisson's equation 泊松方程 polygon 多边形 positive definite 正定Qquality 质量Rrefined triangular mesh 加密的三角形网格 relative tolerance 相对容限 relative tolerance 相对容限 residual 残差 residual norm 残差范数Ssingular 奇异的二、常用的数学英语表述1.Logic∃there exist∀for allp⇒q p implies q / if p, then qp⇔q p if and only if q /p is equivalent to q / p and q are equivalent2.Setsx∈A x belongs to A / x is an element (or a member) of Ax∉A x does not belong to A / x is not an element (or a member) of AA⊂B A is contained in B / A is a subset of BA⊃B A contains B / B is a subset of AA∩B A cap B / A meet B / A intersection BA∪B A cup B / A join B / A union BA\B A minus B / the diference between A and BA×B A cross B / the cartesian product of A and B3. Real numbersx+1 x plus onex-1 x minus onex±1 x plus or minus onexy xy / x multiplied by y(x - y)(x + y) x minus y, x plus yx y x over y= the equals signx = 5 x equals 5 / x is equal to 5x≠5x (is) not equal to 5x≡y x is equivalent to (or identical with) yx ≡ y x is not equivalent to (or identical with) yx > y x is greater than yx≥y x is greater than or equal to yx < y x is less than yx≤y x is less than or equal to y0 < x < 1 zero is less than x is less than 10≤x≤1zero is less than or equal to x is less than or equal to 1| x | mod x / modulus xx 2 x squared / x (raised) to the power 2x 3 x cubedx 4 x to the fourth / x to the power fourx n x to the nth / x to the power nx −n x to the (power) minus nx (square) root x / the square root of xx 3 cube root (of) xx 4 fourth root (of) xx n nth root (of) x( x+y ) 2 x plus y all squared( x y ) 2 x over y all squaredn! n factorialx ^ x hatx ¯ x barx ˜x tildex i xi / x subscript i / x suffix i / x sub i∑ i=1 n a i the sum from i equals one to n a i / the sum as i runs from 1 to n of the a i4. Linear algebra‖ x ‖the norm (or modulus) of xOA →OA / vector OAOA ¯ OA / the length of the segment OAA T A transpose / the transpose of AA −1 A inverse / the inverse of A5. Functionsf( x ) fx / f of x / the function f of xf:S→T a function f from S to Tx→y x maps to y / x is sent (or mapped) to yf'( x ) f prime x / f dash x / the (first) derivative of f with respect to xf''( x ) f double-prime x / f double-dash x / the second derivative of f with r espect to xf'''( x ) triple-prime x / f triple-dash x / the third derivative of f with respect to xf (4) ( x ) f four x / the fourth derivative of f with respect to x∂f ∂ x 1the partial (derivative) of f with respect to x1∂ 2 f ∂ x 1 2the second partial (derivative) of f with respect to x1∫ 0 ∞the integral from zero to infinitylim⁡x→0 the limit as x approaches zerolim⁡x→0 + the limit as x approaches zero from abovelim⁡x→0 −the limit as x approaches zero from belowlog e y log y to the base e / log to the base e of y / natural log (of) yln⁡y log y to the base e / log to the base e of y / natural log (of) y一般词汇数学mathematics, maths(BrE), math(AmE)公理axiom定理theorem计算calculation运算operation证明prove假设hypothesis, hypotheses(pl.)命题proposition算术arithmetic加plus(prep.), add(v.), addition(n.)被加数augend, summand加数addend和sum减minus(prep.), subtract(v.), subtraction(n.)被减数minuend减数subtrahend差remainder乘times(prep.), multiply(v.), multiplication(n.)被乘数multiplicand, faciend乘数multiplicator积product除divided by(prep.), divide(v.), division(n.)被除数dividend除数divisor商quotient等于equals, is equal to, is equivalent to 大于is greater than小于is lesser than大于等于is equal or greater than小于等于is equal or lesser than运算符operator数字digit数number自然数natural number整数integer小数decimal小数点decimal point分数fraction分子numerator分母denominator比ratio正positive负negative零null, zero, nought, nil十进制decimal system二进制binary system十六进制hexadecimal system权weight, significance进位carry截尾truncation四舍五入round下舍入round down上舍入round up有效数字significant digit无效数字insignificant digit代数algebra公式formula, formulae(pl.)单项式monomial多项式polynomial, multinomial系数coefficient未知数unknown, x-factor, y-factor, z-factor 等式,方程式equation一次方程simple equation二次方程quadratic equation三次方程cubic equation四次方程quartic equation不等式inequation阶乘factorial对数logarithm指数,幂exponent乘方power二次方,平方square三次方,立方cube四次方the power of four, the fourth power n次方the power of n, the nth power开方evolution, extraction二次方根,平方根square root三次方根,立方根cube root四次方根the root of four, the fourth root n次方根the root of n, the nth root集合aggregate元素element空集void子集subset交集intersection并集union补集complement映射mapping函数function定义域domain, field of definition值域range常量constant变量variable单调性monotonicity奇偶性parity周期性periodicity图象image数列,级数series微积分calculus微分differential导数derivative极限limit无穷大infinite(a.) infinity(n.)无穷小infinitesimal积分integral定积分definite integral不定积分indefinite integral有理数rational number无理数irrational number实数real number虚数imaginary number复数complex number矩阵matrix行列式determinant几何geometry点point线line面plane体solid线段segment射线radial平行parallel相交intersect角angle角度degree弧度radian锐角acute angle直角right angle钝角obtuse angle平角straight angle周角perigon底base边side高height三角形triangle锐角三角形acute triangle直角三角形right triangle直角边leg斜边hypotenuse勾股定理Pythagorean theorem钝角三角形obtuse triangle不等边三角形scalene triangle等腰三角形isosceles triangle等边三角形equilateral triangle四边形quadrilateral平行四边形parallelogram矩形rectangle长length宽width附:在一个分数里,分子或分母或两者均含有分数。

Gabor wavelet analysis and the fractional Hilbert transform

Gabor wavelet analysis and the fractional Hilbert transform
Gabor wavelet analysis and the fractional Hilbert transform
Kunal Narayan Chaudhury and Michael Unser Biomedical Imaging Group, Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland
ABSTRACT
We propose an amplitude-phase representation of the dual-tree complex wavelet transform (DT-CWT) which provides an intuitive interpretation of the associated complex wavelet coefficients. The representation, in particular, is based on the shifting action of the group of fractional Hilbert transforms (fHT) which allow us to extend the notion of arbitrary phase-shifts beyond pure sinusoids. We explicitly characterize this shifting action for a particular family of Gabor-like wavelets which, in effect, links the corresponding dual-tree transform with the framework of windowed-Fourier analysis. We then extend these ideas to the bivariate DT-CWT based on certain directional extensions of the fHT. In particular, we derive a signal representation involving the superposition of direction-selective wavelets affected with appropriate phase-shifts. Keywords: fractional Hilbert transform, dual-tree complex wavelet transform, amplitude-phase factors, Gabor wavelets analysis.

representations of orbitals -回复

representations of orbitals -回复

representations of orbitals -回复表示轨道的不同方法在量子力学中经常出现,用于描述原子或分子中电子的空间分布。

这些表示形式有助于我们理解和预测电子在原子和分子中的行为,并提供关于化学反应和性质的重要信息。

本文将讨论常见的表示轨道的方法,包括波函数、图像和数学方程式等。

首先,让我们从波函数开始。

在量子力学中,波函数是描述微观粒子(如电子)行为的数学函数。

对于电子轨道来说,波函数描述了电子在空间中的概率分布。

波函数的平方模是概率密度函数,表示在给定位置找到电子的概率。

波函数通常用希腊字母Ψ来表示,并伴随着量子数来区分不同的轨道。

除了波函数,我们还可以使用图像来表示轨道。

这些图像通常称为轨道云图,用于可视化电子在三维空间中的分布。

轨道云图通过将概率密度表示为颜色或阴影的不同程度来显示电子的位置分布。

这些图像可以帮助我们直观地理解电子云的形状和分布情况。

例如,s轨道通常是球对称的,p轨道则呈现出三个互相垂直的圆环。

除了波函数和图像,表示轨道的另一种常见方法是使用数学方程式。

通过解析量子力学方程,如薛定谔方程,我们可以得到描述电子轨道的数学表达式。

这些方程式使我们能够计算电子在给定势能场中可能的能量和位置。

通过解方程,我们可以得到各种不同形式的轨道,如s、p、d和f等。

在化学中,我们常常用如1s、2p等标记来表示各种轨道。

这些标记中的数字表示主量子数,而字母表示次量子数。

主量子数决定了电子所处的主能级,而次量子数则描述了电子轨道的角动量和形状。

例如,1s表示主量子数为1、次量子数为s的轨道,其形状为球对称。

通过表示轨道的不同方法,我们可以更好地理解和预测原子和分子中电子的行为。

波函数提供了电子在空间中的概率分布,轨道云图则使我们能够直观地观察到电子云的形状和分布情况。

而数学方程式则提供了更精确的描述和计算轨道的方法。

总结一下,表示轨道的不同方法在量子力学中扮演着非常重要的角色。

Polynomial Averages Converge to the Product of Integrals

Polynomial Averages Converge to the Product of Integrals

a rX iv:mat h /43454v1[mat h.DS]26Mar24POLYNOMIAL AVERAGES CONVERGE TO THE PRODUCT OF INTEGRALS NIKOS FRANTZIKINAKIS AND BRYNA KRA Abstract.We answer a question posed by Vitaly Bergelson,show-ing that in a totally ergodic system,the average of a product of functions evaluated along polynomial times,with polynomials of pairwise differing degrees,converges in L 2to the product of the integrals.Such averages are characterized by nilsystems and so we reduce the problem to one of uniform distribution of polynomial sequences on nilmanifolds.1.Introduction 1.1.Bergelson’s Question.In [B96],Bergelson asked if the average of a product of functions in a totally ergodic system (meaning that each power of the transformation is ergodic)evaluated along polynomial times converges in L 2to the product of the integrals.More precisely,if (X,X ,µ,T )is a totally ergodic probability measure preserving system,p 1,p 2,...,p k are polynomials taking integer values on the integers with pairwise distinct non-zero degrees,and f 1,f 2,...,f k ∈L ∞(µ),does lim N →∞ 12NIKOS FRANTZIKINAKIS AND BRYNA KRA independent family of polynomials.Then for f1,f2,...,f k∈L∞(µ), (1)limN→∞ 1POLYNOMIAL AVERAGES CONVERGE TO THE PRODUCT OF INTEGRALS3 A factor of the measure preserving system(X,X,µ,T)is a measure preserving system(Y,Y,ν,S)so that there exists a measure preserving mapπ:X→Y takingµtoνand such that S◦π=π◦T.In a slight abuse of terminology,when the underlying measure space is implicit we call S a factor of T.In this terminology,Host and Kra’s result means that there exists a factor(Z,Z,m)of X,where Z denotes the Borelσ-algebra of Z and m its Haar measure,so that the action of T on Z is an inverse limit of nilsystems and furthermore,whenever E(f j|Z)=0for some j∈{1,2,...,k},the average in(1)is itself0.Since an inverse limits of nilsystems can be approximated arbitrarily well by a nilsystem,it suffices to verify Theorem1.1for nilsystems.Moreover,since measur-able functions can be approximated arbitrarily well in L2by continuous functions,Theorem1.1is equivalent to the following generalization of Weyl’s polynomial uniform distribution theorem(see Section4for the statement of Weyl’s Theorem):Theorem1.2.Let X=G/Γbe a nilmanifold,(G/Γ,G/Γ,µ,T a)a nilsystem and suppose that the nilrotation T a is totally ergodic.If {p1(n),p2(n),...,p k(n)}is an independent polynomial family,then for almost every x∈X the sequence(a p1(n)x,a p2(n)x,...,a p k(n)x)is uni-formly distributed in X k.If G is connected,we can reduce Theorem1.2to a uniform distribu-tion problem that is easily verified using the standard uniform distri-bution theorem of Weyl.The general(not necessarily connected)case is more ing a result of Leibman[L02],in Section2,we reduce the problem to studying the action of a polynomial sequence on a fac-tor space with abelian identity component.The key step(Section3)is then to prove that nilrotations acting on such spaces are isomorphic to affine transformations on somefinite dimensional torus.In Section4, we complete the proof by checking the result for affine transformations.2.Reduction to an abelian connected component Suppose that G is a nilpotent Lie group andΓis a discrete,cocom-pact subgroup.Throughout,we let G0denote the connected compo-nent of the identity element and denote the identity element by e.A sequence g(n)=a p1(n)1a p2(n)2...a p k(n)kwith a1,a2,...,a k∈G andp1,p2,...,p k integer polynomials is called a polynomial sequence in G. We are interested in studying uniform distribution properties of poly-nomial sequences on the nilmanifold X=G/Γ.4NIKOS FRANTZIKINAKIS AND BRYNA KRALeibman[L02]showed that the uniform distribution of a polynomial sequence in a connected nilmanifold reduces to uniform distribution in a certain factor:Theorem.[Leibman]Let X=G/Γbe a connected nilmanifold andlet g(n)=a p1(n)1a p2(n)2...a p k(n)kbe a polynomial sequence in G.Let Z=X/[G0,G0]and letπ:X→Z be the natural projection.If x∈X then {g(n)x}n∈Z is uniformly distributed in X if and only if{g(n)π(x)}n∈Z is uniformly distributed in Z.We remark that if G is connected,then the factor X/[G0,G0]is an abelian group.However,this does not hold in general as the following examples illustrate:Example1.On the space G=Z×R2,define multiplication as follows: if g1=(m1,x1,x2)and g2=(n1,y1,y2),letg1·g2=(m1+n1,x1+y1,x2+y2+m1y1).Then G is a2-step nilpotent group and G0={0}×R2is abelian.The discrete subgroupΓ=Z3is cocompact and X=G/Γis connected. Moreover,[G0,G0]={e}and so X/[G0,G0]=X.Example2.On the space G=Z×R3,define multiplication as follows: if g1=(m1,x1,x2,x3)and g2=(n1,y1,y2,y3),letg1·g2=(m1+n1,x1+y1,x2+y2+m1y1,x3+y3+m1y2+1POLYNOMIAL AVERAGES CONVERGE TO THE PRODUCT OF INTEGRALS53.Reduction to an affine transformation on a torus We reduce the problem on uniform distribution(Theorem1.2)to studying an affine transformation on a torus.If G is a group then a map T:G→G is said to be affine if T(g)=bA(g)for a homomorphism A of G and some b∈G.The homomorphism A is said to be unipotent if there exists n∈N so that so that(A−I d)n=0.In this case we say that the affine transformation T is a unipotent affine transformation. Proposition3.1.Let X=G/Γbe a connected nilmanifold such that G0is abelian.Then any nilrotation T a(x)=ax defined on X with the Haar measureµis isomorphic to a unipotent affine transformation on somefinite dimensional torus.Proof.First observe that for every g∈G,the subgroup g−1G0g is both open and closed in G so g−1G0g=G0.Hence,G0is a normal subgroup of G.Similarly,since G0Γis both open and closed in G,we have that (G0Γ)/Γis open and closed in X.Since X is connected,X=(G0Γ)/Γand so G=G0Γ.We claim thatΓ0=Γ∩G0is a normal subgroup of G.Letγ0∈Γ0 and g=g0γ,where g0∈G0andγ∈Γ.Since G0is normal in G,we have that g−1γ0g∈G0.Moreover,g−1γ0g=γ−1g−10γ0g0γ=γ−1γ0γ∈Γ,the last equality being valid since G0is abelian.Hence,g−1γ0g∈Γ0 andΓ0is normal in G.Therefore we can substitute G/Γ0for G andΓ/Γ0forΓ;then X= (G/Γ0)/(Γ/Γ0).So we can assume that G0∩Γ={e}.Note that we now have that G0is a connected compact abelian Lie group and so is isomorphic to somefinite dimensional torus T d.Every g∈G is uniquely representable in the form g=g0γ,with g0∈G0,γ∈Γ.The mapφ:X→G0,given byφ(gΓ)=g0is a well defined homeomorphism.Sinceφ(hgΓ)=hφ(gΓ)for any h∈G0,the measureφ(µ)on G0is invariant under left translations.Thusφ(µ)is the Haar measure on G0.If a=a0γ,g=g0γ′with a0,g0∈G0and γ,γ′∈Γ,then agΓ=a0γg0γ−1Γ.Sinceγg0γ−1∈G0,we have that φ(agΓ)=a0γg0γ−1.Henceφconjugates T a to T′a:G0→G0defined byT′a(g0)=φT aφ−1=a0γg0γ−1.Since G0is abelian this is an affine map;its linear part g0→γg0γ−1 is unipotent since G is nilpotent.Lettingψ:G0→T d denote the isomorphism between G0and T d,we have that T a is isomorphic to the unipotent affine transformation S=ψT′aψ−1acting on T d.6NIKOS FRANTZIKINAKIS AND BRYNA KRAWe illustrate this with the examples of the previous section: Example3.Let X be as in Example1and let a=(m1,a1,a2).Since G0/Γ0=T2we see that T a is isomorphic to the unipotent affine trans-formation S:T2→T2given byS(x1,x2)=(x1+a1,x2+m1x1+a2).Example4.Let X be as in Example2and a=(m1,a1,a2,a3).Since G0/Γ0=R3/(Z2×Z/2),andψ:G0/Γ0→T3defined byψ(x1,x2,x3)= (x1,x2,2x3)is an isomorphism,we see that T a is isomorphic to the unipotent affine transformation S:T3→T3given byS(x1,x2,x3)=(x1+a1,x2+m1x1+a2,x3+2m1x2+m21x1+2a3). Proposition3.2.Theorem1.2follows if it holds for all nilsystems (G/Γ,G/Γ,µ,T a)such that T a is isomorphic to an ergodic,unipotent, affine transformation on somefinite dimensional torus.Proof.Wefirst note that since X=G/Γadmits a totally ergodic nilrotation T a,it must be connected.Indeed,let X0be the identity component of X.Since X is compact,it is a disjoint union of d copies of translations of X0for some d∈N.Since a permutes these copies, a d preserves X0.By assumption the translation by T a d=T d a is ergodic and so X0=X.By Proposition2.1we can assume that G0is abelian.Since X is connected,the result follows from Proposition3.1.4.Uniform distribution for an affine transformation We are left with showing that Theorem1.2holds when the nilsystem is isomorphic to an ergodic,unipotent,affine system on afinite dimen-sional torus.Before turning into the proof,note that if G is connected then the uniform distribution property of Theorem1.2holds for every x∈X.However,this does not hold in general.We illustrate this with the following example:Example5.We have seen that the nilrotation of Example1is iso-morphic to the affine transformation S:T2→T2given byS(x1,x2)=(x1+a1,x2+m1x1+a2).If m1=2and a1=a2=a is irrational then S is totally ergodic and S n(x1,x2)=(x1+na,x2+2nx1+n2a).ThenS n(0,0),S n2(0,0) =(na,n2a,n2a,n4a)POLYNOMIAL AVERAGES CONVERGE TO THE PRODUCT OF INTEGRALS7 is not uniformly distributed on T4.On the other handS n(x1,x2),S n2(x1,x2) =(x1+na,x2+2nx1+n2a,x1+n2a,x2+2n2x1+n4a,)is uniformly distributed on T4as long as a and x1are rationally inde-pendent.The main tool used in the proof of Theorem1.2is the following classic theorem of Weyl[W16]on uniform distribution:Theorem.[Weyl](i)Let a n∈R d.Then a n is uniformly distributed in T d if and only iflimN→∞1NNn=1e2πia n=0.Before turning to the proof of Theorem1.2,we prove a lemma that simplifies the computations:Lemma4.1.Let T:T d→T d be defined by T(x)=Ax+b,where A is a d×d unipotent integer matrix and b∈T d.Assume furthermore that T is ergodic.Then T is a factor of an ergodic affine transformation S:T d→T d,where S=S1×S2×···×S s and for r=1,2,...,s, S r:T d r→T d r( s r=1d r=d)has the formS r(x r1,x r2,...,x rd r)=(x r1+b r,x r2+x r1,...,x rd r+x rd r−1)for some b r∈T.Proof.Let J be the Jordan canonical form of A with Jordan blocks J r of dimension d r for r=1,2,...,s.Since A is unipotent,all diagonal entries of J are equal to1.There exists a matrix P with rational entries such that P A=JP.After multiplying P by an appropriate integer,we can assume that it too has integer entries.So P defines a homomorphism P:T d→T d such that P T=SP,where S:T d→T d is given by S(x)=J(x)+c for c=P(b).Hence,T is a factor of S.By making the change of variables x ij→x ij+a ij,we can assume that S has the advertised form.8NIKOS FRANTZIKINAKIS AND BRYNA KRAIt remains to show that S is ergodic.Since J is unipotent,using a theorem of Hahn([H63],Theorem4)we get that ergodicity of S is equivalent to showing that for every nontrivial characterχin the dual of T d we have the implicationχ(Jx)=χ(x)for every x∈T d⇒χ(c)=1.Suppose thatχ(Jx)=χ(x).Using the relation P A=JP we get that χ′(Ax)=χ′(x)whereχ′(x)=χ(P x).Since T(x)=Ax+b is assumed to be ergodic,again using Hahn’s theorem we get thatχ′(b)=1.The relation P A=JP implies thatχ(c)=1and the proof is complete. Proof of Theorem1.2.By Proposition3.2it suffices to verify the uni-form distribution property for all ergodic,unipotent,affine transforma-tions on T d.First observe that relation(1)of Theorem1.1is preserved when passing to factors.Hence,using Lemma4.1we can assume that T=T1×T2×···×T s,where T r:T d r→T d r( s r=1d r=d)is given by T r(x r1,x r2,...,x rd r)=(x r1+b r,x r2+x r1,...,x rd r+x rd r−1),for r=1,2,...,s.Since T is ergodic the set{b1,b2,...,b s}is rationally independent.For convenience,set x r0=b r for r=1,2,...s.We claim that if x is chosen so that the set A={x rj:1≤r≤s,0≤j≤d r}is rationally independent,then the polynomial sequence g(n)˜x=(T p1(n)x,T p2(n)x,...,T p k(n)x)is uniformly distributed on T dk (we include x rd r in A only for simplicity).To see this we use thefirst part of Weyl’s theorem;letting Q rjl(n)denote the j-th coordinate of x andT p l(n)r(2)R(n)= r,j,l m rjl Q rjl(n)where{m rjl:1≤r≤s,1≤j≤d r,1≤l≤k}are integers,not all of them zero,it suffices to check that1(3)limN→∞POLYNOMIAL AVERAGES CONVERGE TO THE PRODUCT OF INTEGRALS 9We can put R (n )in the form(5)R (n )= r,jR rj (n )x rj ,where R rj are integer polynomials and 1≤r ≤s ,0≤j ≤d r .This representation is unique since the x rj are rationally independent.So it remains to show that some R rj is nonconstant.To see this,choose any r 0such that m r 0jl =0for some j,l ,and define j 0to be the maximum 1≤j ≤d r 0such that m r 0jl =0for some 1≤l ≤k .We show that R r 0,j 0−1is nonconstant.By the definition of j 0we have m r 0jl =0for j >j 0.For j ≤j 0we see from (4)that the variable x r 0j 0−1appears only in the polynomials Q r 0j 0l with coefficient p l (n ),and if j 0>1also in the polynomials Q r 0(j 0−1)l with coefficient 1.It follows from (2)and(5)thatR r 0j 0−1(n )=kl =1m r 0j 0l p l (n )+c,where c = kl =1m r 0j 0l if j 0>1,and c =0if j 0=1.Since thepolynomial family {p i (n )}k i =1is independent and m r 0j 0l =0for some l ,the polynomial R r 0j 0−1is nonconstant.We have thus established uniform distribution for a set of x of full measure,completing the proof.Acknowledgment :The authors thank the referee for his help in orga-nizing and simplifying the presentation,and in particular for the simple proof of Proposition 3.1.References[B87]V.Bergelson.Weakly mixing PET.Erg.Th.&Dyn.Sys.,7(1987),337-349.[B96]V.Bergelson.Ergodic Ramsey theory an update.Ergodic Theory of Z d -actions ,Eds.:M.Pollicott,K.Schmidt.Cambridge University Press,Cam-bridge (1996),1-61.[FW96]H.Furstenberg and B.Weiss.A mean ergodic theorem for 110NIKOS FRANTZIKINAKIS AND BRYNA KRA[W16]H.Weyl.¨Uber die Gleichverteilung von Zahlen mod Eins.Math.Ann.,77 (1916),313-352.Department of Mathematics,McAllister Building,The Pennsylva-nia State University,University Park,PA16802E-mail address:nikos@E-mail address:kra@。

Chaotic billiards

Chaotic billiards

Chaotic BilliardsNikolai ChernovRoberto MarkarianDepartment of Mathematics,University of Alabama at Birming-ham,Birmingham,AL35294,USAE-mail address:chernov@Instituto de Matem´a tica y Estad´ıstica“Prof.Ing.Rafael La-guardia”F acultad de Ingenier´ıa,Universidad de la Rep´u blica, C.C. 30,Montevideo,UruguayE-mail address:roma@.uyTo Yakov Sinai on the occasion of his70th birthdayThe authors are grateful to many colleagues who have read the manuscript and made numerous useful remarks,in particular P.Balint,D.Dolgopyat,C.Liverani,G.Del Magno,and H.-K.Zhang.It is a pleasure to acknowledge the warm hospitality of IMPA(Rio de Janeiro),where thefinal version of the book was prepared.We also thank the anonymous referees for helpful st but not the least,the book was written at the suggestion of Sergei Gelfand and thanks to his constant encouragement.Thefirst author was partially supported by NSF grant DMS-0354775(USA).The second author was partially supported by aProyecto PDT-Conicyt(Uruguay).ContentsPreface vii Symbols and notation ix Chapter1.Simple examples11.1.Billiard in a circle11.2.Billiard in a square51.3.A simple mechanical model91.4.Billiard in an ellipse111.5.A chaotic billiard:pinball machine15 Chapter2.Basic constructions192.1.Billiard tables192.2.Unbounded billiard tables222.3.Billiardflow232.4.Accumulation of collision times242.5.Phase space for theflow262.6.Coordinate representation of theflow272.7.Smoothness of theflow292.8.Continuous extension of theflow302.9.Collision map312.10.Coordinates for the map and its singularities322.11.Derivative of the map332.12.Invariant measure of the map352.13.Mean free path372.14.Involution38 Chapter3.Lyapunov exponents and hyperbolicity413.1.Lyapunov exponents:general facts413.2.Lyapunov exponents for the map433.3.Lyapunov exponents for theflow453.4.Hyperbolicity as the origin of chaos483.5.Hyperbolicity and numerical experiments503.6.Jacobi coordinates513.7.Tangent lines and wave fronts523.8.Billiard-related continued fractions553.9.Jacobian for tangent lines573.10.Tangent lines in the collision space583.11.Stable and unstable lines593.12.Entropy60iiiiv CONTENTS3.13.Proving hyperbolicity:cone techniques62 Chapter4.Dispersing billiards674.1.Classification and examples674.2.Another mechanical model694.3.Dispersing wave fronts714.4.Hyperbolicity734.5.Stable and unstable curves754.6.Proof of Proposition4.29774.7.More continued fractions834.8.Singularities(local analysis)864.9.Singularities(global analysis)884.10.Singularities for type B billiard tables914.11.Stable and unstable manifolds934.12.Size of unstable manifolds954.13.Additional facts about unstable manifolds974.14.Extension to type B billiard tables99 Chapter5.Dynamics of unstable manifolds1035.1.Measurable partition into unstable manifolds1035.2.u-SRB densities1045.3.Distortion control and homogeneity strips1075.4.Homogeneous unstable manifolds1095.5.Size of H-manifolds1115.6.Distortion bounds1135.7.Holonomy map1185.8.Absolute continuity1215.9.Two growth lemmas1255.10.Proofs of two growth lemmas1275.11.Third growth lemma1325.12.Fundamental theorem136 Chapter6.Ergodic properties1416.1.History1416.2.Hopf’s method:heuristics1416.3.Hopf’s method:preliminaries1436.4.Hopf’s method:main construction1446.5.Local ergodicity1476.6.Global ergodicity1516.7.Mixing properties1526.8.Ergodicity and invariant manifolds for billiardflows1546.9.Mixing properties of theflow and4-loops156ing4-loops to prove K-mixing1586.11.Mixing properties for dispersing billiardflows160 Chapter7.Statistical properties1637.1.Introduction1637.2.Definitions1637.3.Historic overview1677.4.Standard pairs and families169CONTENTS v7.5.Coupling lemma1727.6.Equidistribution property1757.7.Exponential decay of correlations1767.8.Central Limit Theorem1797.9.Other limit theorems1847.10.Statistics of collisions and diffusion1867.11.Solid rectangles and Cantor rectangles1907.12.A‘magnet’rectangle1937.13.Gaps,recovery,and stopping1977.14.Construction of coupling map2007.15.Exponential tail bound205 Chapter8.Bunimovich billiards2078.1.Introduction2078.2.Defocusing mechanism2078.3.Bunimovich tables2098.4.Hyperbolicity2108.5.Unstable wave fronts and continued fractions2148.6.Some more continued fractions2168.7.Reduction of nonessential collisions2208.8.Stadia2238.9.Uniform hyperbolicity2278.10.Stable and unstable curves2308.11.Construction of stable and unstable manifolds2328.12.u-SRB densities and distortion bounds2358.13.Absolute continuity2388.14.Growth lemmas2428.15.Ergodicity and statistical properties248 Chapter9.General focusing chaotic billiards2519.1.Hyperbolicity via cone techniques2529.2.Hyperbolicity via quadratic forms2549.3.Quadratic forms in billiards2559.4.Construction of hyperbolic billiards2579.5.Absolutely focusing arcs2609.6.Continued fractions2659.7.Singularities2669.8.Application of Pesin and Katok-Strelcyn theory2709.9.Invariant manifolds and absolute continuity2739.10.Ergodicity via‘regular coverings’274 Afterword279 Appendix A.Measure theory281 Appendix B.Probability theory291 Appendix C.Ergodic theory299 Index309vi CONTENTSBibliography311PrefaceBilliards are mathematical models for many physical phenomena where one or more particles move in a container and collide with its walls and/or with each other.The dynamical properties of such models are determined by the shape of the walls of the container,and they may vary from completely regular(integrable)to fully chaotic.The most intriguing,though least elementary,are chaotic billiards. They include the classical models of hard balls studied by L.Boltzmann in the XIX century,the Lorentz gas introduced to describe electricity in1905,as well as modern dispersing billiard tables due to Ya.Sinai and the stadium.Mathematical theory of chaotic billiards was born in1970when Ya.Sinai pub-lished his seminal paper[Sin70];and now it is only35years old.But during these years it grew and developed at a remarkable speed,and became a well-established andflourishing area within the modern theory of dynamical systems and statistical mechanics.It is no surprise that many young mathematicians and scientists attempt to learn chaotic billiards,in order to investigate some of them or explore related phys-ical models.But such studies are used to be prohibitively difficult for too many a novice and an outsider,not only because the subject itself is intrinsically quite complex,but to a large extend because of the lack of comprehensive introductory texts.True,there are excellent books covering general mathematical billiards[Ta95, KT91,KS86,GZ90,CFS82],but these barely touch upon chaotic models.There are surveys devoted to chaotic billiards as well,see[Sin00,Sz00,CM03],but those are expository,they only sketch selective arguments and rarely go down to‘nuts and bolts’.For the readers who want to look‘under the hood’and become professional (and we speak of graduate students and young researchers here),there is not much choice left:either learning from their advisors or other experts by way of personal communication,or reading the original publications(most of them very long and technical articles translated from Russian).Then students quickly discover that some essential facts and techniques can only be found in the middle of long dense papers.Worse yet,some of those facts have never even been published–they exist as folklore.This book attempts to present the fundamentals of the mathematical theory of chaotic billiards in a systematic way.We cover all the basic facts,provide full proofs,intuitive explanations and plenty of illustrations.Our book can be used by students and self-learners–it starts with the most elementary examples and formal definitions,and then takes the reader step by step into the depth of Sinai’s theory of hyperbolicity and ergodicity of chaotic billiards,as well as more recent achievements related to their statistical properties(decay of correlations and limit theorems).viiviii PREF ACEThe reader should be warned that our book is designed for active learning.It contains plenty exercises of various kinds;some constitute small steps in the proofs of major theorems,some others present interesting examples and counterexamples, yet others are given for the reader’s practice(some exercises are actually quite challenging).The reader is strongly encouraged to do exercises when reading the book,as this is the best way to grasp the main concepts and eventually master the techniques of billiard theory.The book is restricted to two-dimensional chaotic billiards,primarily dispersing tables by Sinai and circular-arc-tables by Bunimovich(with some other planar chaotic billiards reviewed in the last chapter).We have several compelling reasons for such a confinement.First,Sinai’s and Bunimovich’s billiards are the oldest and best explored(for instance,statistical properties are established only for them and for no other billiard model);the current knowledge of other chaotic billiards is much less complete;the work on some of them(most notably,hard ball gases)is currently under way and should be perhaps the subject of future textbooks.Second,the two classes presented here constitute the core of the entire theory of chaotic billiards,all its apparatus is built upon the original works by Sinai and Bunimovich;but their fundamental works are hardly accessible to today’s students or researchers;there have been no attempts to update or republish their results since the middle1970s (after Gallavotti’s book[Ga74]).Our book makes such an attempt.We do not cover polygonal billiards,even though some of them are mildly chaotic(ergodic); for surveys of polygonal billiards see[Gut86,Gut96].We assume that the reader is familiar with standard graduate courses in math-ematics–linear algebra,measure theory,topology,Riemannian geometry,complex analysis,probability theory.We also assume knowledge of ergodic theory;although the latter is not a standard graduate course,it is absolutely necessary for reading this book;we do not attempt to cover it here,though,as there are many excellent texts around[Wa82,Man83,KH95,Pet83,CFS82,Sin00,BrS02,Dev89, Sin76](see also our previous book[CM03]).For the reader’s convenience,we pro-vide basic definitions and facts from ergodic theory,probability theory,and measure theory in Appendices.Symbols and notationD billiard table Section2.1Γboundary of the billiard table 2.1Γ+union of dispersing components of the boundaryΓ 2.1Γ−union of focusing components of the boundaryΓ 2.1Γ0union of neutral(flat)components of the boundaryΓ 2.1˜Γregular part of the boundary of billiard table 2.1Γ∗Corner points on billiard table 2.1 degree of smoothness of the boundaryΓ=∂D 2.1 n normal vector to the boundary of billiard table 2.3 T tangent vector to the boundary of billiard table 2.6 K(signed)curvature of the boundary of billiard table 2.1Φt billiardflow 2.5Ωthe phase space of the billiardflow 2.5˜ΩPart of phase space where dynamics is defined at all times 2.5πq,πv projections ofΩto the position and velocity subspaces 2.5ωangular coordinate in phase spaceΩ 2.6η,ξJacobi coordinates in phase spaceΩ 3.6µΩinvariant measure for theflowΦt 2.6 F collision map or billiard map 2.9 M collision space(phase space of the billiard map) 2.9˜M part of M where all iterations of F are defined 2.9ˆM part of M where all iterations of F are smooth 2.11 r,ϕcoordinates in the collision space M 2.10µinvariant measure for the collision map F 2.12 S0boundary of the collision space M 2.10 S±1singularity set for the map F±1 2.10 S±n singularity set for the map F±n 2.11 S±∞same as∪n≥1S±n 4.11 Q n(x)connected component of M\S n containing x 4.11 V(=dϕ/dr)slope of smooth curves in M 3.10τreturn time(intercollision time) 2.9¯τmean return time(mean free path) 2.12λ(i)x Lyapunov exponent at the point x 3.1E s x,E u x stable and unstable tangent subspaces at the point x 3.1 C s x,C u x stable and unstable cones at the point x 3.13Λ(minimal)factor of expansion of unstable vectors 4.4 B the curvature of wave fronts 3.7ixx SYMBOLS AND NOTATIONR collision parameter 3.6 H k homogeneity strips 5.3 S k lines separating homogeneity strips 5.3 k0minimal nonzero index of homogeneity strips 5.3 M H new collision space(union of homogeneity strips) 5.4 h holonomy map 5.7 I involution map 2.14 m Lebesgue measure on lines and curves 5.9 |W|length of the curve W 4.5 |W|p length of the curve W in the p-metric 4.5 J W F n(x)Jacobian of the restriction of F n to the curve W at the point x∈W 5.2 r W(x)distance from x∈W to the nearest endpoint of the curve W 4.12 r n(x)distance from F n(x)to the nearest endpoint of the componentof F n(W)that contains F n(x) 5.9 p W(x)distance from x∈W to the nearest endpoint of W in the p-metric 4.13ρW(x)u-SRB density on unstable manifold W 5.2 ‘same order of magnitude’ 4.3 L ceiling function for suspensionflows 2.9CHAPTER1Simple examplesWe start with a few simple examples of mathematical billiards,which will help us introduce basic features of billiard dynamics.This chapter is for the complete beginner.The reader familiar with some billiards may safely skip it–all the formal definitions will be given in Chapter2.1.1.Billiard in a circleLet D denote the unit disk x2+y2≤1.Let a point-like(dimensionless)particle move inside D with constant speed and bounce offits boundary∂D according to the classical rule the angle of incidence is equal to the angle of reflection,see below.Denote by q t=(x t,y t)the coordinates of the moving particle at time t and by v t=(u t,w t)its velocity vector.Then its position and velocity at time t+s can be computed byx t+s=x t+u t s u t+s=u t(1.1)y t+s=y t+w t s w t+s=w tas long as the particle stays inside D(makes no contact with∂D).When the particle collides with the boundary∂D={x2+y2=1},its velocity vector v gets reflected across the tangent line to∂D at the point of collision,see Fig.1.1.2 1.SIMPLE EXAMPLESAfter the reflection,the particle resumes its free motion(1.1)inside the disk D,until the next collision with the boundary∂D.Then it bounces offagain,and so on.The motion can be continued indefinitely,both in the future and the past.For example,if the particle runs along a diameter of the disk,its velocity vector will get reversed at every collision;and the particle will keep running back and forth along the same diameter forever.Other examples of periodic motion are shown on Fig.1.2,where the particle traverses the sides of some regular polygons.Figure1.2.Periodic motion in a circle.In the studies of dynamical systems,the primary goal is to describe the evolu-tion of the system over long time periods and its asymptotic behavior in the limit t→∞.We will focus on such a description.Let us parameterize the unit circle x2+y2=1by the polar(counterclockwise) angleθ∈[0,2π](sinceθis a cyclic coordinate,its values0and2πare identified). Also,denote byψ∈[0,π]the angle of reflection as shown on Fig.1.1.Remark1.2.We note thatθis actually an arc length parameter on the circle ∂D;when studying more general billiard tables D we will always parameterize the boundary∂D by its arc length.Instead ofψ,a reflection can also be described by the angleϕ=π/2−ψ∈[−π/2,π/2]that the postcollisional velocity vector makes with the inward normal to∂D.In fact,all principal formulas in this book will be given in terms ofϕ,rather thanψ,but for the moment we proceed withψ.For every n∈Z,letθn denote the n th collision point andψn the corresponding angle of reflection.Exercise1.3.Show thatθn+1=θn+2ψn(mod2π)(1.3)ψn+1=ψnfor all n∈Z.We make two important observations now:•All the distances between reflection points are equal.•The angle of reflection remains unchanged.1.1.BILLIARD IN A CIRCLE3Corollary 1.4.Let(θ0,ψ0)denote the parameters of the initial collision.Thenθn=θ0+2nψ0(mod2π)ψn=ψ0.Every collision is characterized by two numbers:θ(the point)andψ(the angle).All the collisions make the collision space with coordinatesθandψon it.It is a cylinder becauseθis a cyclic coordinate,see Fig.1.3.We denote the collision spaceby M.The motion of the particle,from collision to collision,corresponds to a map F:M→M,which we call the collision map.For a circular billiard it is given by equations(1.3).Observe that F leaves every horizontal level Cψ={ψ=const}of the cylinder M invariant.Furthermore,the restriction of F to Cψis a rotation of the circle Cψthrough the angle2ψ.The angle of rotation continuously changes from circle to circle,growing from0at the bottom{ψ=0}to2πat the top{ψ=π}(thus the top and bottom circles are actually keptfixed by F).The cylinder M is“twisted upward”(“unscrewed”)by the map F,see Fig.1.3.1A sequence of points xn∈C on a circle C is said to be uniformly distributed if for any interval I⊂C we have lim N→∞#{n:0<n<N,a n∈I}/N=length(I)/length(C).4 1.SIMPLE EXAMPLESExercise 1.6.Show that every segment of the particle’s trajectory between consecutive collisions is tangent to the smaller circle S ψ={x 2+y 2=cos 2ψ}concentric to the disk D .Show that if ψ/πis irrational,the trajectory densely fills the ring between ∂D and the smaller circle S ψ(see Fig.1.4).Remark:one can clearly see on Fig.1.4that the particle’s trajectory looks denser near the inner boundary of the ring (it “focuses”on the inner circle).If the particle’s trajectory were the path of a laser ray and the border of the unit disk were a perfect mirror,then it would feel “very hot”there,on the inner circle.For this reason,the inner circle is called a caustic (which means “burning”in Greek).Figure 1.4.A nonperiodic trajectory.Exercise 1.7.Can the trajectory of the moving particle be dense is the entire disk D ?(Answer:No.)Exercise 1.8.Does the map F :M →M preserve any absolutely continuous invariant measure dµ=f (θ,ψ)dθdψon M ?Answer:any measure whose density f (θ,ψ)=f (ψ)is independent of θis F -invariant.Next,we can fix the speed of the moving particle due to the following facts.Exercise 1.9.Show that v t =const,so that the speed of the particle remains constant at all times.Exercise 1.10.Show that if we change the speed of the particle,say we set v new =c v old with some c >0,then its trajectory will remain unchanged,up to a simple rescaling of time:q new t =q old ct and v new t =v old ct for all t ∈R .Thus,the speed of the particle remains constant and its value is not important.It is customary to set the speed to one: v =1.Then the velocity vector at time t can be described by an angular coordinate ωt so that v t =(cos ωt ,sin ωt )and ωt ∈[0,2π]with the endpoints 0and 2πbeing identified.Now,the collision map F :M →M represents collisions only.To describe the motion of the particle inside D ,let us consider all possible states (q,v ),where q ∈D is the position and v ∈S 1is the velocity vector of the particle.The space of all states (called the phase space )is then a three-dimensional manifold Ω:=D ×S 1,which is,of course,a solid torus (doughnut).The motion of the billiard particle induces a continuous group of transforma-tions of the torus Ωinto itself.Precisely,for every (q,v )∈Ωand every t ∈R the billiard particle starting at (q,v )will come to some point (q t ,v t )∈Ωat time t .1.2.BILLIARD IN A SQUARE5 Thus we get a map(q,v)→(q t,v t)onΩ,which we denote byΦt.The family of maps{Φt}is a group,i.e.Φt◦Φs=Φt+s for all t,s∈R.This family is called the billiardflow on the phase space.Let us consider a modification of the circular billiard.Denote by D+the upper half disk x2+y2≤1,y≥0,and let a point particle move inside D+and bounce off∂D+.(A delicate question arises here:what happens if the particle hits∂D+at (1,0)or(−1,0),since there is no tangent line to∂D+at those points?We address this question in the next section.)6 1.SIMPLE EXAMPLESFigure1.6.Billiard in a square.then stops and its trajectory terminates.We will discuss this exceptional situation later,first we consider regular trajectories that never hit the vertices.Let v t=(u t,w t)denote the velocity vector of the moving particle at time t(in the x,y coordinates).If it hits a vertical side of D at time t,then u t changes sign (u t+0=−u t−0)and w t remains unchanged.If the particle hits a horizontal side of D,then w t changes sign(w t+0=−w t−0)and u t remains unchanged.Thus, (1.4)u t=(−1)m u0and w t=(−1)n w0,where m and n denote the number of collisions with vertical and,respectively, horizontal sides of D during the time interval(0,t).Exercise1.13.Show that if u0=0and w0=0(and assuming the particle never hits a vertex),then all the four combinations(±u0,±w0)appear along the particle’s trajectory infinitely many times.Next we make use of the trick shown on Fig.1.5.Instead of reflecting the trajectory of the billiard particle in a side of∂D,we reflect the square D across that side and let the particle move straight into the mirror image of D.If we keep doing this at every collision,our particle will move along a straight line through the multiple copies of D obtained by successive reflections(the particle“pierces”a chain of squares,see Fig.1.7).This construction is called the unfolding of the billiard trajectory.To recover the original trajectory in D,one folds the resulting string of adjacent copies of D back onto D.We denote the copies of D by(1.5)D m,n={(x,y):m≤x≤m+1,n≤y≤n+1}Exercise1.14.Show that if m and n are even,then the folding procedure transforms D m,n back onto D=D0,0by translations x→x−m and y→y−n, thus preserving orientation of both x and y.If m is odd,then the orientation of x is reversed(precisely,x→m+1−x).If n is odd,then the orientation of y is reversed(precisely,y→n+1−y).Observe that these rules do not depend on the particular trajectory that was originally unfolded.The squares D m,n with m,n∈Z tile,like blocks,the entire plane R2.Any regular billiard trajectory unfolds into a directed straight line on the plane,and any directed line(which avoids the sites of the integer lattice)folds back into a billiard trajectory.A trajectory hits a vertex of D iffthe corresponding line runs into a site of the integer lattice.1.2.BILLIARD IN A SQUARE78 1.SIMPLE EXAMPLESThe phase space of the billiard system in the unit square D is the three-dimensional manifoldΩ=D×S1,cf.the previous section.The billiardflow Φt is defined for all times−∞<t<∞on regular trajectories.On exceptional trajectories(which hit a vertex of D at some time),theflow is only defined until the trajectory terminates in a vertex.Exercise1.18.Show that the set of exceptional trajectories is a countable union of2D surfaces inΩ.We see that the set of exceptional trajectories is negligible in the topological and measure-theoretic sense(it has zero Lebesgue measure and is an Fσset,i.e.a countable union of nowhere dense closed subsets),but still its presence is bother-some.For the billiard in a square,though,one can get rid of them altogether by extending the billiardflow by continuity:Exercise1.19.Show that theflowΦt can be uniquely extended by continuity to all exceptional trajectories.In that case every trajectory hitting a vertex of D will simply reverse its course and run straight back,see Fig.1.8.Figure1.8.Extension of theflow near a vertex.The above extension defines the billiardflowΦt on the entire phase spaceΩand makes it continuous everywhere.We will assume this extension in what follows.We remark,however,that in generic billiards such nice extensions are rarely possible–see Section2.8.Now,the action of theflowΦt on the phase spaceΩcan be fully described as follows.For every unit vector v0=(u0,w0)∈S1,consider the setL v0={(q,v)∈Ω:q∈D,v=(±u0,±w0)}(the two signs are,of course,independent).Due to(1.4),each set L vremains invariant under theflowΦt.Supposefirst that u0=0and v0=0,then L v0is the union of four squares, obtained by“slicing”Ωat the four“levels”corresponding to the vectors(±u0,±w0), see Fig.1.9.Exercise1.20.Check that the four squares constituting the set L vcan be glued together along their boundaries and obtain a smooth closed surface without boundary(a2×2torus)T2v,on which the billiardflow will coincide with the linear flow along the vector v0(i.e.theflow on T2vwill be defined by differential equations˙x=u0,˙y=w0).Hint:the assembly of the torus T2v0from the squares of L visvery similar to the reduction of the billiard dynamics in D to the geodesicflow on the2×2torus described above(in fact,these two procedures are equivalent).1.3.A SIMPLE MECHANICAL MODEL9x1x201Figure1.10.Two particles in a unit interval.Next we describe collisions.When a particle hits a wall,it simply reverses its velocity.When the two particles collide with each other,we denote by u−i the precollisional velocity and by u+i the postcollisional velocity of the i th particle,i= 1,2.The law of elastic collisions requires the conservation of the total momentum, i.e.m1u+1+m2u+2=m1u−1+m2u−210 1.SIMPLE EXAMPLESand the total kinetic energy,i.e.(1.6)m1[u+1]2+m2[u+2]2=m1[u−1]2+m2[u−2]2.Solving these equations gives2m2u+1=u−1+(u−1−u−2)m1+m2(we recommend the reader derives these formulas for an exercise).Note that if m1=m2,then the particles simply exchange their velocities:u+1=u−2and u+2= u−1.The variables x i and u i are actually inconvenient,we will work with new vari-ables defined by(1.7)q i=x i√m ifor i=1,2.Now the positions of the particles are described by a point q= (q1,q2)∈R2(it is called a configuration point).The set of all configuration points (called the configuration space)is the right triangleD={q=(q1,q2):0≤q1/√m2≤1}.The velocities of the particles are described by the vector v=(v1,v2).Note that the energy conservation law(1.6)implies that v =const,thus we can set v =1.The state of the system is described by a pair(q,v).The configuration point q moves in D with velocity vector v.When thefirst particle collides with the wall (x1=0),the configuration point hits the left side q1=0of the triangle D.When the second particle collides with the wall(x2=1),the point q hits the upper side q2/√m1=q2/√1.4.BILLIARD IN AN ELLIPSE11a 2+y 2F 1F 2Figure 1.12.A trajectory passing through the foci.12 1.SIMPLE EXAMPLESExercise1.23.Show that every trajectory passing through the foci F1and F2converges to the major axis of the ellipse(the x axis).By the way,the major and the minor axes of the ellipse are clearly two periodic trajectories–they run back and forth between their endpoints.In Section1.1we used the coordinatesψandθto describe collisions in a circular billiard,and the cyclic coordinateθwas actually the arc length parameter on the circle(Remark1.2).Here we use two coordinatesψand r,whereψis the same angle of reflection as in Section1.1and r is an arclength parameter on the ellipse. We choose the reference point r=0as the rightmost point(a,0)on the ellipse and orient r counterclockwise.Note that0≤r≤|∂D|and0≤ψ≤π.The collision space M is again a cylinder whose base is the ellipse and whose height isπ.It is shown on Fig.1.13as a rectangle[0,|∂D|]×[0,π],but we keep in mind that the left and right sides of this rectangle must be identified.The motion of the billiard particle,from collision to collision,induces the collision map F:M→M.Exercise1.24.Verify that the trajectories passing through the foci lie on a closed curve on the surface M.Determine its shape.Answer:it is the∞-shaped curve on Fig.1.13that separates the white and grey areas.Thus,the trajectories passing through the foci make a special(one-dimensional) family in M.。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
i1 ,...,in in 1 Ai1 ,...,in xi 1 . . . xn ,
Ai1 ,...,in = 0.
For a real w we define the sign-function as sign w = 1, 0, if w ≥ 0, if w < 0.
Here we also obtain lower bounds on the degree deg f and sparsity spr f of polynomials f providing a threshold representation of S (x) for n -bit integers x , that is a representation of the form sign f (x1 , . . . , xn ) = S (x), where x = x1 . . . xn is the bit representation of x , 1 ≤ x ≤ 2n − 1 .
where x = x1 . . . xn is the bit representation of x . For Boolean inputs we simply need to consider multilinear polynomials. Each polynomial over Z Z M is of the form P (x1 , . . . t by NSF grant CCR-9877150. Supported in part by ARC grant A69700294.
For a given integer n ≥ 1 , we can identify x , 0 ≤ x ≤ 2n − 1 , and its bit representation x1 . . . xn (if necessary we add several leading zeroes) and consider S (x) as a Boolean function of n variables. We say a polynomial P over Z Z M strongly M -represents S if for all 1 ≤ x ≤ 2n − 1 , P (x1 , . . . , xn ) ≡ S (x) (mod M ), (1) where x = x1 . . . xn is the bit representation of x . Similarly, we say a polynomial P over Z Z M one-sidedly M -represents S if for all 1 ≤ x ≤ 2n − 1 , P (x1 , . . . , xn ) ≡ 0 (mod M ) ⇐⇒ S (x) = 0, (2)
1
2
Abstract. We say a polynomial P over Z Z M strongly M -represents a Boolean function F if F (x) ≡ P (x) (mod M ) for all x ∈ {0, 1}n . Similarly, P one-sidedly M -represents F if F (x) = 0 ⇐⇒ P (x) ≡ 0 (mod M ) for all x ∈ {0, 1}n . Lower bounds are obtained on the degree and the number of monomials of polynomials over Z Z M , which strongly or one-sidedly M -represent the Boolean function deciding if a given n bit integer is square-free. Similar lower bounds are also obtained for polynomials over the reals which provide a threshold representation of the above Boolean function.
1
Introduction
In this paper, we obtain lower bounds on the degree and the number of monomials of polynomials over Z Z M , which strongly or one-sidedly M -represent the Boolean function deciding if a given n -bit integer is square-free. These results provide the first non-trivial lower bounds over Z Z M on the complexity of a number theoretic problem which is closely related to the integer factorization problem. Similar lower bounds are also obtained for polynomials over the reals which provide a threshold representation of the above Boolean function. We also show that some simple number theoretic observations allow us to obtain quite strong lower bounds on several other complexity characteristics of testing if a given integer is square-free. We recall that an integer x is called square-free if there is no prime p such that p2 |x . Otherwise, x is called square-full . We define the function S (x) = 1, 0, if x is square-free, if x is square-full.
H ∈H
AH
i∈H
xi ,
(3)
where H ⊆ 2{1,2,...,n} and 0 = AH ∈ Z ZM. We call the largest value of |H | in the representation (3) the degree of P and write deg P . We call the number of coefficients AH , or equivalently |H| , the sparsity of P and write spr P . In this paper, we obtain lower bounds on the degree deg P and the sparsity spr P of polynomials over Z Z M , satisfying either (1) or (2) for all inputs. Similarly to the case of polynomials over Z Z M , for a polynomial f in n variables over the reals IR, we define the total degree deg f as the largest sum i1 + . . . + in and the sparsity spr f as the number of coefficients Ai1 ...in in the representation f (x1 , . . . , xn ) =
Furthermore, in the case of real polynomials, the Boolean values 0 and 1 can be interpreted as two arbitrary real values α0 and α1 , not necessarily α0 = 0 and α1 = 1 . It is easy to see that the degree of the corresponding polynomials does not depend on the particular choice of α0 , α1 because they are equivalent under a linear transformation of variables [19]. But it is shown in [19] that the sparsity spr f depends on the choice of α0 and α1 . In fact, there are examples of Boolean functions demonstrating that for (α0 , α1 ) = (0, 1) and (α0 , α1 ) = (1, −1) the gap between the numbers of monomials of the corresponding polynomials for these two representations can be exponentially large [19]. Threshold representations of Boolean functions via real polynomials have been studied in a number of works [8, 9, 14, 19, 24, 28]. These papers contain many general estimates together with lower bounds for some particular Boolean functions. However, these Boolean functions are usually specially constructed examples which are not related to any particular number theoretic or combinatorial problem. Representations of Boolean functions via polynomials over Z Z M have been studied in [2, 3, 15, 30]. In these papers, lower and upper bounds are obtained for polynomials representing the OR, MOD M (that determines if the sum of the inputs is not divisible by M ), and ¬ MOD M Boolean functions. We note that a polynomial of degree d over Z Z M is represented by a circuit consisting of an unbounded fan-in MOD M gate at the top where each input wire is a function of no more than d variables. In [12, 29], some lower bounds are obtained for polynomials over Z Z 2 strongly 2 -representing the Boolean function deciding the quadratic residuacity of an n -bit integer x . In the series of papers [4–7] lower bounds have been obtained on the circuit complexity, sensitivity, degree of polynomial representation and other complexity characteristics of testing square-free numbers and computing the greatest common divisor. As in [12, 29] the method of [4–7] is based on the uniformity of distribution of long patterns of 0, 1 in the values of S (x). For the quadratic residuacity a similar property has been established in [12, 29] by using the very powerful Weil estimate, in [4–7] a sieve method has been used for this purpose. In particular, for a strongly 2 -representing polynomial P the lower bound deg P ≥ 0.165 . . . n has been obtained in [5]. It has also been applied to obtain a lower bound of order n1/2 on the degree of real polynomials P which approximate S in the following sense: for all 1 ≤ x ≤ 2n − 1 , |S (x) − P (x1 , . . . , xn )| ≤ 1/3 where x = x1 . . . xn is the bit representation of x . These lower bounds are derived from the asymptotic formula for the sensitivity of the function S obtained in [5]. Unfortunately, there is no link between the sensitivity and the degrees of M -representing polynomials, M ≥ 3 , and of threshold representations. Alternative methods of [1] and [32] yield stronger but less explicit complexity results (which apply to primality testing as well). However these approaches work neither for M -representing polynomials nor for threshold representations.
相关文档
最新文档