mm-86 === Here's a differential equation that seems very beautiful to me:f'(f*(Exp(kt)f(x))) = s(t)f'(x)f is a function of a real variable.f' is the derivative of f. f* is the inverse of f.Exp(kt) is e to the power kt. s(t) can be any function of t. I'd like to know if there are any solutions f(x) other than f(x)=a(x^n) and f(x) = Exp(bx).I would be extremely grateful for any assistance.Eugene Shuberthttp://www.everythingimportant.org === Could someone prove/disprove this:If max clique size of a graph omega(G)=3 andthere are no two triangles in this graphhaving a common edge, then the Lovasz numbertheta(~G)=3 ?Stashttp://www.busygin.dp.ua === what are Bogomolny equations? === > what are Bogomolny equations?> They are equations describing magnetic monopoles. They were especiallypopular in the late 80s. For instance you could look in the bookbib{MR89k:53067}{book}{ author={Atiyah, Michael}, title={The geometry and dynamics of magnetic monopoles}, series={M. B. Porter Lectures}, publisher={Princeton University Press}, place={Princeton, NJ}, date={1988}, pages={viii+134}, isbn={0-691-08480-7}, review={MR 89k:53067},}Math. Review also lists more than a 100 references to Bogomolny. === > what are Bogomolny equations?> case you cannot get it I have a short introduction to monopoles (which are solutions of the Bogomolny equations) at http://front.math.ucdavis.edu/math-ph/0101035Michael === > what are Bogomolny equations?Nucl Physics in 1974. In this he discusses 3 relativistic ?ld equationsoverdetermined ?st order system implies the full second order ?ldequations.The ?st order solutions saturate a lower bound (given by a topologicalcharge) on the energy of the system (Bogomolny inequality) and are relatedto the existence of a non trivial supersymmetry (which was undiscovered atPeter Ruback === > in ?ite dimensions, it is no problem to show that a closed (algebraic)> subgroup of a Lie group is in fact a Lie subgroup.> Since the proofs I know of require local compactness, which fails in> in?ite dimension, my question is:> Does anyone know of a counterexample for this in the in?ite dimensional> case?> FrederickExamples are well-known, many and varied. Here is perhaps one of themost convincing - and simplest - among them.$L^2(0,1)$ with the norm topology, and take as $H$ the group formed byall functions $f$ whose range is the set of integers a.e.Then $G$ is the nicest in?ite dimensional Lie group imaginable,that. At the same time, $H$, which is a closed connected topologicalsubgroup, fails to form a Lie group in any possible sense of the wordno matter how you weaken it, because $H$ contains no non-trivialone-parameter subgroups.There is of course a great variety of differing approaches to in?itedimensional Lie group theory beyond the Banach-Lie case (check out thework by H. Omori, J. Leslie, J. Milnor, P. Michor and co-authors, andW. Wojtynski, among others). However everyone seems to agree that aconnected Lie group must satisfy a regularity condition in the sensethat it contains at least some one-parameter subgroups, e.g. enough ofthose in order for their union to generate the connected component o?entity, or something of the sort.Having said that, I hasten to add that even as I work on this posting,one of the big unresolved problems concerning in?ite dimensional Liegroups modeled on sequentially complete locally convex spaces otherthan Banach spaces (e.g., Fr.8echet spaces) remains this: does everygroup $G$, which is at the same time a manifold modeled on a locallyconvex space as above in such a way that the group operations aresmooth, admit an exponential map from its Lie algebra (de?ed in anatural way)?If the answer turns out to be `yes,' then of course there will beexponential subgroups in existence in every such $G$. But, strictlyspeaking, nothing at this point prevents the existence of an exampleof a group which is a Fr.8echet (say) manifold, with smoothmultiplication and invertion, and without any one-parameter subgroupswhatsoever. As far as I know, even an abelian such example has notbeen yet ruled out. But of course even if this sort of pathologicalobject does exist, hardly anyone would refer to the sorry creature asa `Lie group.' (`Fake Lie' would rather be like it.)Vladimir Pestov === Is there a dense subset S of R^2 such that for every pair of points p,qin S the Euclideean distance d(p,q) is a rational number ? === > Also, it seems a good improvement for Lovasz's> theta(~G) to calculate t=theta(~H) and consider> phi(G) = (1+sqrt(1+8t))/2 instead as a tighter> max clique size bound. Any thoughts? Can you explain why this woud be an improved bound,and why another transformation like the standard substitutionof each vertex with some large clique wouldn't be as goodan improvement?Jim === > Also, it seems a good improvement for Lovasz's> theta(~G) to calculate t=theta(~H) and consider> phi(G) = (1+sqrt(1+8t))/2 instead as a tighter> max clique size bound. Any thoughts?> Can you explain why this woud be an improved bound,> and why another transformation like the standard substitution> of each vertex with some large clique wouldn't be as good> an improvement?> JimFirst off, substitution of a vertex by a largerclique is equivalent to assigning the vertexweight w equal to the clique size. So, you justassign each vertex the weight w and this onlymultiplies theta by w, nothing more. Of courseit doesn't provide any improvement.As for the considered transformation, it destroysimperfect structures in a graph. Generalizing,consider m-th level involution transforming allK_{m+1} subgraphs to vertices providing an edgeiff two of them induce a complete subgraph in theoriginal graph. At that, the maximum clique sizebecomes omega!/((m+1)!(omega-m-1)!). Of course,~theta provides exact clique number at least whenm=omega-1, since the graph becomes a set of isolatedvertices, each corresponding to a maximum clique ofthe original graph, so no imperfection is possible.But I assume the bound m=omega-1 is not tight here.In fact, I've not found so far any graph withomega=3, for which the 1-st level involution(edges->vertices) doesn't make ~theta=omega.Comparing to Lovasz-Shrijver lift-and-projector Pasechnik-de Klerk copositivity framework fortheta improvement, the complete subgraph involutionlooks better because its dimensionality growth isslower. Indeed, the m-th level involution involvesonly those m-tuples of vertices corresponding tocliques of the original graph, while the mentionedframeworks consider all m-tuples of vertices at thesame improvement level.Best, Stashttp://www.busygin.dp.ua === It seems that the examples (with which I'm familiar) of second-kindlinear Fredholm problems are de?ed either over intervals or overboundaries~$partialOmega$, where the region~$Omegasubsetreals^d$has positive $d$-dimensional Lebesgue measure.Could somebody point me to examples of problems that are de?ed oversuch regions~$Omega$ themselves?This request may sound a little ill-de?ed, since (using a change ofvariables) a problem over~$partialOmega$ can be rewritten as aproblem over a $d-1$-dimensional region of~$mathbb{R}^{d-1}$ havingpositive $d-1$-dimensional Lebesgue measure. What I'm interested inis problems whose initial or natural formulation is over regions~$Omega$ as described in the ?st paragraph.-- Art Werschulz (8-{)} Metaphors be with you. -- bumper stickerGCS/M (GAT): d? -p+ c++ l u+(-) e--- m* s n+ h f g+ w+ t++ r- y? Internet: agw@cs.columbia.eduWWWATTnet: Columbia U. (212) 939-7060, Fordham U. (212) 636-6325 === I am smoothing then differentiating position data in Matlab. Then, Icalculate and plot the fft spectra of raw and smoothed, position,velocity, and acceleration data (velocity and acceleration are derived from raw and also smoothed data). Could the spectra from smooth dataever be greater (peaks) than those from raw data? That is what I am?ding in many instances, but it seems erroneous relative to myunderstanding of the ?tering: 2nd-order no-lag butterworth ?ter 8hz cutoff (after 2 passes) .The data are from human hand movement during pointing (Expected signalpower is generally below 8 hz, but some Parkinsons subjects mighthave tremor up to 15 hz, hence, the analysis of fft spectra). === I may be applying Fourier Integral Operators to seismicray theory (and probably the transport equation portion)for my Ph.D. thesis and would like to know of anygood online or printed recent or standard referencesin the subject and I guess also in its subsetpseudodifferential operators.David === Dan Lior> One widely used de?ition for adjoint is as follows:>> Let V, W be ?ite dimensional inner product spaces and T:V--W a> linear transformation. The adjoint of T is the unique transformation> T*:W-->V that satis?s;> = for every x in V and y in W.>> Of course the existence and uniqueness of T* takes requires some> argument. Another de?ition of adjoint doesn't require that V and W> be any more than mere vector spaces. It goes like this:>> Let V,W be vector spaces and T:V--W a linear transformation. The> adjoint of T is the transformation T*:W'-->V' de?ed by;> T*(a) = a o T.>> Here, V' denotes dual of V, o denotes composition and a is a typical> element of W'.This latter mapping is more properly called the _transpose_ of T. But aninner product gives rise to an isomorphism of a ?ite-dimensional spaceonto its dual; if we thereby identify the two spaces, then the adjoint isidentical (up to mere notation) to the transpose.LH === >I wonder if there has been any recent work in >modi?d equation methods (introduced by Warming >and Hyett in the 1970s for CFD) when the >discrete solution is nodally exact.>[...]> I am not sure what you want (for starters, what is ?nodally exact'?)> but you might be interested in Chapter IX, Backward Error Analysis> and Structure Preservation, of Hairer, Lubich and Wanner: Geometric> Numerical Integration, Springer, 2002.> Here, the authors discuss theorems like:> - the modi?d equation of a (time) reversible method is reversible> - the modi?d equation of a symplectic method is Hamiltonian> Jitse NiesenMany thanks for the reference. Actually I am familiar with those theorems. They are not of use in my research, since the systems I am dealing with are strongly dissipative. But I found what I needed in an AMS book titled Chaotic Numerics, the proceedings of a 1993 workshop on nondeterministicdynamical systems.The quali?r nodally exact (NE) is a subset of nodally superconvergent (NS). A discretization is NS if the nodes aresuperconvergent locations (aka Barlow points when thediscretization is FEM based). NE only holds under veryrestrictive conditions and never in 2D or 3D, but is isa good departure point for iterative parameter selectionin multiple dimensions. === Fields-sponsored Mini-Conference and Workshop on ConcentrationPhenomenon, Transformation Groups, and Ramsey Theory will be held fromThe Workshop Web page:http://www.?lds.utoronto.ca/programs/scienti?/03-04/ cgr/The workshop will consist of a series of lectures, assuming nospeci? background, and concerning dynamics and geometry of `large,'`in?ite-dimensional' groups, in particular interactions between thephenomenon of concentration of measure on high-dimensional structures,actions of large groups on compact spaces, and combinatorialRamsey-type results. `Large' groups at the centre of attention incudevarious groups of automorphisms of measure spaces and measurableequivalence relations, groups of homeomorphisms and isometries, groupsof automorphisms of various countable structures (graphs, Booleanalgebras...), etc. The concepts, results and techniques from this areacould bene? mathematicians working in a broad variety ofdisciplines.There will be also an open problem discussion session, and possibly asession for short contributed talks.Con?med lecturers:Thierry Giordano (University of Ottawa)S. Solecki (Univ. of Illinois at UC)S. Todorcevic (Paris VII)V.V. Uspenskij (Ohio University)A. Vershik (St. Petersburg, Steklov Institute)Benjy Weiss (Hebrew University)Funding support is available for graduate student to partially coverlocal expenses and travel. Some funding may also be available topostdocs depending on budget constraints. Apply for funding via thew/shop web page above. A block of rooms has been reserved at:Quality Hotel Downtown,290 Rideau St. Ottawa,Ontario K1N 5Y3.Reservations: 1-800-359-4827.The special conference rate: $CAN 105.00 + 12 % tax, single, double,or triple room share.Workshop organizers:Thierry Giordano, David Handelman and Vladimir Pestov (University ofOttawa). === The following paper has been published:Algebraic and Geometric TopologyURL:http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3- 25.abs.htmlTitle:Near-group categoriesAuthor(s):Jacob SiehlerAbstract:We consider the possibility of semisimple tensor categories whosefusion rule includes exactly one noninvertible simpleobject. Conditions are given for the existence or nonexistence ofcoherent associative structures for such fusion rules, and an explicitconstruction of matrix solutions to the pentagon equations in thecases where we establish existence. Many of these also support(braided) commutative and tortile structures and we indicate when thisis possible. Small examples are presented in detail.AMS Classi?ation Numbers. Primary: 18D10Keywords:Monoidal categories, braided categoriesAuthor(s) address(es):Department of Mathematics, Virginia Tech Blacksburg, VA 24061-0123, USA === The following UBASIC program correctly identi?s divisors of phi(N),without having to factor N or know the value of phi(N), for all thevalues of N that I have tried it on. Admittedly this program is notpractical and the amount of work done is far more than simply justfactoring N, but I believe it is of theoretical interest, and maybesomeone may be able to improve upon it to make it practical, or maybethe idea has been already thought of and rejected. Any comments onthis will be welcome. The theoretical basis for the algorithm hastitle Possible test for divisor of Phi(N), for anyone who might beinterested.This program test a bunch of trial divisors of phi(N) up to the limitspeci?d in line 100, so only those trial divisors less than thisvalue will be returned. It seems to clearly draw a distinction betweenthe divisors of phi(N) and the non-divisors, though admittedly afterfar too much work to make this practical.However the program following this compromises on certain parametersof the program, such as the size of the factor base and the numberof different values of A to try. It correctly identi?s with highprobability that the primes 2, 3, 83, 103 and 599 are divisors ofphi(N) when N = 2^103 -1. The amount of work needed to do this ismuch more reasonable, but still factoring N would still probably befaster.I only present the algorithm of these programs to demonstrate thatone can theoretically test for divisors of phi(N) without ?sthaving to factor N. Perhaps it is not practical, but maybe someonebetter than me can make it so, or it may lead to other usefulalgorithms. 10 ? Uses least absolute residues to reduce factor base size 20 ? N = prm(30) * prm(50) = 113 * 229 30 ? phi(N) = 2^6 * 3 * 7 * 19 40 ? Finds all divisors of phi(N) 50 word 4:cls 60 dim Fb(10000),Td(2,2000):' max array size DO NOT EXCEED 70 N=prm(30)*prm(50) 80 Fb_sz=fnCalc_FB_Sz(N):' calc factor base size 90 A_sz=fnCalc_A_Sz(Fb_sz):' calc # of A to use for each X 100 Td_sz=50:' # of trial divisors X of phi(N) to try 110 print N = ;N 120 print Factor base = primes 2 to ;prm(Fb_sz) 130 print # of bases A: ;A_sz 140 print Testing primes 2 to;prm(Td_sz) 150 ? *** Generate, Test & Score Trial Divisors X of phi(N) *** 160 for I=0 to Td_sz-1 170 X=prm(I) 180 if X>(N-1)2 then cancel for:goto 360 190 Bs=fnClr_FB(Fb_sz) 200 Td(0,I)=X 210 ? generate various residues & factor over FB() 220 for A=2 to A_sz+2 230 ? if gcd(A,N)>1 then goto 230 240 R=modpow(A,X,N):Rr=N-R:if Rr(N-1)2 then cancel for:goto 330 310 if Fb(J)=0 then Score=Score+10 320 next J 330 Td(1,I)=Score 340 next I 350 ? sort factor base by score & print out 360 Bs=fnDsc_Sort(Td_sz) 370 print Possible divisors of phi(N): 380 for I=0 to 19 390 print Td(0,I),Td(1,I) 400 next I 410 end 420 fnNum_PdivN(P,N) 430 ? Expected # of times P is a factor of N random integers 440 local Sum,Sx 450 if P<2 then goto 500 460 Sum=0:Sx=N 470 Sx=SxP:if Sx=0 then goto 500 480 Sum=Sum+Sx 490 goto 470 500 return(Sum) 510 fnDsc_Sort(N) 520 ? Descending sort 1st N-1 elements of array TD() 530 local I,Flg,Tmp0,Tmp1 540 Flg=0 550 for I=0 to N-2 560 if Td(1,I)>=Td(1,I+1) then goto 610 570 Flg=1 580 Tmp0=Td(0,I+1):Tmp1=Td(1,I+1) 590 Td(0,I+1)=Td(0,I):Td(1,I+1)=Td(1,I) 600 Td(0,I)=Tmp0:Td(1,I)=Tmp1 610 next I 620 if Flg=1 then goto 540 630 return(0) 640 fnFact_FB(R,N) 650 ? Factors R over factor base FB() up to Prm(N) 660 local I,U 670 if abs(R)<2 then goto 770 680 for I=1 to N-1 690 U=prm(I) 700 if R@U>0 then goto 750 710 R=RU 720 Fb(I)=Fb(I)+1 730 if R=1 then cancel for:goto 770 740 goto 700 750 next I 760 if R>1 then Fb(0)=Fb(0)+1 770 return(R) 780 fnClr_FB(N) 790 ? Clears FB() array up to element N-1 800 local I 810 for I=0 to N-1 820 Fb(I)=0 830 next I 840 return(0) 850 fnCalc_FB_Sz(N) 860 ? Calc factor base size, if use least absolute 870 ? residues R, max R ~ (N-1)/2, which may be prime 880 local I,Pmax 890 Pmax=(N-1)2 900 for I=2 to 12251 910 if prm(I)>Pmax then cancel for:goto 940 920 next I 930 I=1 940 return(I-1) 950 fnCalc_A_Sz(Fb_sz) 960 ? Calc # of A's to use to ensure each prime of factor 970 ? base has probability of occurence = at least once 980 local A 990 A=2*prm(Fb_sz) 1000 if A>N-1 then A=N-1 1010 return(A)The following output is obtained - after several minutes of computation. Note that the true divisors of phi(N) all havehigh scores, while the non-divisors all have score of 0.N = 25877Factor base = primes 2 to 12923# of bases A: 25846Testing primes 2 to 229Possible divisors of phi(N): 19 12120 7 9340 2 7190 3 7020 1 0 5 0 11 0 13 0 17 0 23 0 29 0 31 0 37 0 41 0 43 0 47 0 53 0 59 0 61 0 67 0The following program compromises on the parameters of the previousprogram, and thus is more fuzzy in its results. However it stillidenti?s within the top 10 scores many divisors of phi(N). 10 ? Identi?s prime factors 2, 3, 83, 103 & 599 of M103 20 word 10:cls 30 dim Fb(5000),Td(2,1000):' max array size DO NOT EXCEED 40 N=2^103-1 50 Fb_sz=200 60 A_sz=3*prm(Fb_sz) 70 Td_sz=150:' # of trial divisors X of phi(N) to try 80 print N = ;N 90 print Factor base = primes 2 to ;prm(Fb_sz) 100 print # of bases A: ;A_sz 110 print Testing primes 2 to;prm(Td_sz) 120 ? *** Generate, Test & Score Trial Divisors X of phi(N) *** 130 for I=0 to Td_sz-1 140 X=prm(I) 150 if X>(N-1)2 then cancel for:goto 370 160 Bs=fnClr_FB(Fb_sz) 170 Td(0,I)=X 180 ? generate various residues & factor over FB() 190 for A=2 to A_sz+2 200 ? if gcd(A,N)>1 then goto 230 210 R=modpow(A,X*X,N):Rr=N-R:if Rr(N-1)2 then cancel for:goto 340 280 Ex=fnNum_PdivN(prm(J),A_sz) 290 Dif=abs(Fb(J)-Ex) 300 if Ex>0 then Wdif=Dif/Ex else Wdif=Dif 310 Score=Score+Wdif 320 if Fb(J)=0 then Score=Score+50 330 next J 340 Td(1,I)=Score 350 next I 360 ? sort factor base by score & print out 370 Bs=fnDsc_Sort(Td_sz) 380 print Possible divisors of phi(N): 390 for I=0 to 19 400 print Td(0,I),Td(1,I) 410 next I 420 end 430 fnNum_PdivN(P,N) 440 ? Expected # of times P is a factor of N random integers 450 local Sum,Sx 460 if P<2 then goto 510 470 Sum=0:Sx=N 480 Sx=SxP:if Sx=0 then goto 510 490 Sum=Sum+Sx 500 goto 480 510 return(Sum) 520 fnDsc_Sort(N) 530 ? Descending sort 1st N-1 elements of array TD() 540 local I,Flg,Tmp0,Tmp1 550 Flg=0 560 for I=0 to N-2 570 if Td(1,I)>=Td(1,I+1) then goto 620 580 Flg=1 590 Tmp0=Td(0,I+1):Tmp1=Td(1,I+1) 600 Td(0,I+1)=Td(0,I):Td(1,I+1)=Td(1,I) 610 Td(0,I)=Tmp0:Td(1,I)=Tmp1 620 next I 630 if Flg=1 then goto 550 640 return(0) 650 fnFact_FB(R,N) 660 ? Factors R over factor base FB() up to Prm(N) 670 local I,U 680 if abs(R)<2 then goto 780 690 for I=1 to N-1 700 U=prm(I) 710 if R@U>0 then goto 760 720 R=RU 730 Fb(I)=Fb(I)+1 740 if R=1 then cancel for:goto 780 750 goto 710 760 next I 770 if R>1 then Fb(0)=Fb(0)+1 780 return(R) 790 fnClr_FB(N) 800 ? Clears FB() array up to element N-1 810 local I 820 for I=0 to N-1 830 Fb(I)=0 840 next I 850 return(0) This is the output. Note there is no longer a cleardistinction between divisors and non-divisors of phi(N).N = 10141204801825835211973625643007Factor base = primes 2 to 1223# of bases A: 3669Testing primes 2 to 863Possible divisors of phi(N): 3 1083.4524295400385285135 103 604.9451914092674068615 2 597.4499131113493295557 619 372.83237058645136445 823 337.2740150815111568052 347 317.5110992872035363556 379 315.6857063919037966168 83 314.7626013083207306273 811 313.7072659523984019686 599 311.3255338542056126114 67 311.2123353310085655291 167 310.1772617882111763595 401 273.8717707457288138118 257 272.6599300837469459347 457 271.5376592974496433302 499 268.4911567131769994752 179 267.7067183016312623204 433 267.5523987468723091826 31 266.9582656858247732207 787 265.7991150192255056549 === My apologies, my ?st post had an error in the ?st program listed.Line 230 was commented out and should be uncommented and the goto destinationshould be changed to 260. This line was originally intended to exclude valuesof A that were multiples of factors of N, as that would be cheating. When Iwas experimenting with larger vales of N, this line was no longer needed soI commented it out, but forgot to put it back for the small values of N inthis program. The results are not changed much, the non-divisors have a smallnon-zero score, now, but much smaller than the divisors.Original:230 ? if gcd(A,N)>1 then goto 230New:230 if gcd(A,N)>1 then goto 260 === Schatten-$p$ operator. Write $|F|_p$ for the Schatten-$p$ norm of $F$. Isfollowing true, or do you know a counterexample?$|F (A+B)^{1/p}|_p^p le |F A^{1/p}|_p^p + |F B^{1/p} |_p^p$The cases $p = 1$, $p = 2$ and $p = infty$ (with $A^{1/infty} = A^0 =identity$) are easy to prove, but what about other values of $p$? I havewith no result, so any ideas will be welcome.Markus SiggApproved: Daniel Grayson, dan@math.uiuc.edu, moderator for sci.math.research === Ops, please remove the exponents. It should read$|F (A+B)^{1/p}|_p le |F A^{1/p}|_p + |F B^{1/p} |_p$Or, which means a second question: Keep the exponents, and restrict$p$ to $1 le p le 2$.Markus Sigg === > A mirror site for Abramowitz and Stegun exists at:> http://jove.prohosting.com/~skripty/> - Tom Willis 12. Struve Functions and Eelated Functions ..... 495 Nice to know that they're elated, but isn't it spelt with one e?GC-- === Is there anything updated and yet comprehensive in mathematicallogic??? Something like Shoen?ld's 1967 Mathematical Logic, butupdated with the last 35 years of FOM development. Even Barwise'sHandbook of Mathematical Logic misses out on the last 25 years ofFOM.For set theory, Jech has a wonderfully up-to-date 3rd edition of hisSet Theory textbook just published this year, but besidesAdamowicz's Logic of Mathematics: A Modern Course of Classical Logicpublished in 2001, I can't seem to ?d a corresponding comprehensivegraduate-level mathematical logic text. (Adamowicz doesn't seempopular, though I know not why.) === > Is there anything updated and yet comprehensive in mathematical> logic??? Something like Shoen?ld's 1967 Mathematical Logic, but> updated with the last 35 years of FOM development. Even Barwise's> Handbook of Mathematical Logic misses out on the last 25 years of> FOM.> For set theory, Jech has a wonderfully up-to-date 3rd edition of his> Set Theory textbook just published this year, but besides> Adamowicz's Logic of Mathematics: A Modern Course of Classical Logic> published in 2001, I can't seem to ?d a corresponding comprehensive> graduate-level mathematical logic text. (Adamowicz doesn't seem> popular, though I know not why.) Published in 1995, Richard Hodel's An Introduction to Mathematical Logic is a pretty comprehensive graduate-level textbook and has references going right up to 1993, but I really don't know if it touches the last 35 years of FOM development. Perhaps you want to be more speci? as to the developments you are referring to.Jim === > Is there anything updated and yet comprehensive in mathematical> logic??? Something like Shoen?ld's 1967 Mathematical Logic, but Sorry to make a 2nd post, but I thought I'd point out something about the Hodel book that relates to the above comment of yours: The author acknowledges Shoen?ld's lectures and calls Shoen?ld his mathematical uncle (i.e. close to mathematical father.) So since you are looking for a book something like Shoen?ld's perhaps this one will serve as a modern sequel to it (but I'm unfamiliar with Schoen?ld's book.)Jim === What is known about the following game? There are n non-cooperatingplayers (where the value of n is ?ed and is public knowledge), eachof whom secretly selects a positive integer. All the numbers are thenrevealed, and the winner is the player with the smallest number notchosen by any other player (if such a player exists; otherwise thereis no winner).-- Tim Chow tchow-at-alum-dot-mit-dot-eduThe range of our projectiles---even ... the artillery---however great, willnever exceed four of those miles of which as many thousand separate us fromthe center of the earth. ---Galileo, Dialogues Concerning Two New Sciences === I saw this contest in a magazine a long time ago. I beleive thewinner chose 2. Unsure how many people participated, maybe between20 and 50.Michel> What is known about the following game? There are n non-cooperating> players (where the value of n is ?ed and is public knowledge), each> of whom secretly selects a positive integer. All the numbers are then> revealed, and the winner is the player with the smallest number not> chosen by any other player (if such a player exists; otherwise there> is no winner).-- === > I saw this contest in a magazine a long time ago. I beleive the> winner chose 2. Unsure how many people participated, maybe between> 20 and 50.> MichelAs I understand the problem, a strategy is sought which shouldwork for all participants. This strategy can't be of the typechoose k which ?ed k, because if all participants wouldplay with this strategy, no one would win. So some type ofrandomness has to be included.I think an optimal strategy would be one which wins one playout of every n plays in average. A better result cannot beexpected if you do not know what the other players will do.Choosing one of the numbers {1,...,n} by chance is the ?stidea coming to mind. However, this does not win one out of nplays, because it still will happen that all players choosethe same number (in average every n^(n-1) plays). And a playerwho chooses the number 1 at every play would would win againstplayers playing this strategy. So the numbers {1,...,n} haveto be chosen with certain probabilities, where the smallnumbers have to be preferred. What is the optimal probabilitydistribution?Markus === > What is known about the following game? There are n non-cooperating players> (where the value of n is ?ed and is public knowledge), each of whom secretly> selects a positive integer. All the numbers are then revealed, and the winner> is the player with the smallest number not chosen by any other player (if such> a player exists; otherwise there is no winner).and Michel Grim replied:> I saw this contest in a magazine a long time ago. I beleive the> winner chose 2. Unsure how many people participated, maybe between> 20 and 50.When played anonymously like that, a player could ?spoil' all small numbersby sending in bogus entries. E.g. if he chooses 7 as his real entry, hesends in, under psuedonyms, two 1s, two 2s, ... , two 6s. If everyoneentering knows this strategy, it would just become a matter of who hasenough time to ?l out the most entries.So just changing the *how* people participate in the game changes the gameitself.Bob H === I have convinced myself that, with three players, an equillibriumhas each player use 1 or 2 with probability .5. However, I think thingsget more complicated for more players. I think the game is unaffected if we require that all numbers be usedbe between 1 and n, the number of players. This is NOT a game in whichthe complexity comes from an in?ite number of options. In fact, I suspectthat the numbers could be restricted to something like 1 to n/2 withoutchanging things. An interesting problem! === > I have convinced myself that, with three players, an equillibrium>has each player use 1 or 2 with probability .5. However, I think things>get more complicated for more players.>> I think the game is unaffected if we require that all numbers be used>be between 1 and n, the number of players. This is NOT a game in which>the complexity comes from an in?ite number of options. In fact, I suspect>that the numbers could be restricted to something like 1 to n/2 without>changing things.If I am one of three players, and the other two are choosing 1 or 2with probability .5, I can always choose 3 and win half the time.-M- === > I have convinced myself that, with three players, an equillibrium>has each player use 1 or 2 with probability .5. No. If you are in a three-player game and both opponents are using thismixed strategy, they will choose the same number with probability 1/2,and so if you choose 3 you will win with probability 1/2. For the three-player case, I believe an equilibrium strategy must choose j with probability p_j satisfying the equationsp_j^2 + (1-p_1-...-p_{j+1})^2 = (1-p_1-...-p_j)^2 , j = 1,2,3...together with, of course, sum_j p_j = 1 and all p_j > 0.This is because if two players are using this mixed strategy, thethird will have no reason to switch iff his probability of winningis the same for all pure strategies, and his probability of winningby choosing j is sum_{i=1}^{j-1} p_i^2 + (1-p_1-...-p_j)^2(i.e. he wins if both opponents choose the same number < j or both choose any numbers > j). This system of equations looksrather formidable to solve; for n > 3 players, it will be evenmore complicated.In any case, there can't be an equilibrium strategy that involves sometimes using m and never using m+1, because then each player would have an incentive to use m+1 instead of m (if the opponents never use m+1, then m+1 would win in every case where m would win, and would also win in some cases where m would not).Robert Israel israel@math.ubc.caDepartment of Mathematics http://www.math.ubc.ca/~israel University of British Columbia Vancouver, BC, Canada V6T 1Z2 === >For the three-player case, I believe an equilibrium strategy must >choose j with probability p_j satisfying the equations>p_j^2 + (1-p_1-...-p_{j+1})^2 = (1-p_1-...-p_j)^2 , j = 1,2,3...>together with, of course, sum_j p_j = 1 and all p_j > 0.Or rather, this would be required for a symmetric equilibrium whereall three players use the same mixed strategy.>In any case, there can't be an equilibrium strategy that involves >sometimes using m and never using m+1, because then each player would >have an incentive to use m+1 instead of m (if the opponents never use >m+1, then m+1 would win in every case where m would win, and would also >win in some cases where m would not).I should be more precise: there can't be a Nash equilibriumwhere no player ever uses m+1, at least two players sometimesuse m, and it is possible for one of those players to win with m.In the three-player case, there is a Nash equilibrium with player 1 always choosing 1, player 2 choosing 2 and player 3 choosing 3.Here player 1 wins all the time, but neither player 2 nor 3 can improve his/her own probability by a unilateral change in strategy,although of course players 2 and 3 together can improve both their chances by sometimes choosing 1. This shows one of the pitfalls of the notion of Nash equilibrium in multi-player games.Robert Israel israel@math.ubc.caDepartment of Mathematics http://www.math.ubc.ca/~israel University of British Columbia Vancouver, BC, Canada V6T 1Z2 === >>For the three-player case, I believe an equilibrium strategy must >>choose j with probability p_j satisfying the equations>>p_j^2 + (1-p_1-...-p_{j+1})^2 = (1-p_1-...-p_j)^2 , j = 1,2,3...>>together with, of course, sum_j p_j = 1 and all p_j > 0.>Or rather, this would be required for a symmetric equilibrium where>all three players use the same mixed strategy.A solution is p_j = (1-r) r^(j-1) where r is the real root ofthe polynomial z^3+z^2+z-1, approximately 0.54368901269207636157.This gives each player probability r^2 (or approximately0.29559774252208477098) of winning. Note that this is a Nash equilibrium since if any two players use this mixed strategy, the third player has probability r^2 of winningno matter what he does, and therefore has no incentive to deviatefrom the given strategy. Other Nash equilibria, where one player (say A) always chooses 1, arerather interesting: once it is known that A will be choosing 1, Band C are in a kind of Prisoner's Dilemma situation. They could eachachieve probability 1/4 of winning if both used the strategy (p_1,p_2) =(1/2, 1/2). But if one used (0,1) while the other used (1/2, 1/2), the one using (0,1) would raise his/her winning probability to 1/2. So they can end up in a Nash equilibrium where neither ever chooses 1 and A always wins.Robert Israel israel@math.ubc.caDepartment of Mathematics http://www.math.ubc.ca/~israel University of British Columbia Vancouver, BC, Canada V6T 1Z2 === Here are this week's titles in the mathematics arXiv, available at: http://front.math.ucdavis.edu/ http://front.math.ucdavis.edu/submissionsThis week in the mathematics arXiv may be freely redistributedwith attribution and without modi?ation.Titles in the mathematics arXiv (21 Jul - 25 Jul)-------------------------------------------------AC: Commutative Algebra-----------------------math.AC/0307294 three-dimensional local ringsmath.AC/0307281 Anthony Iarrobino: Ancestor ideals of vector spaces of forms, and level algebrasAG: Algebraic Geometry----------------------math.AG/0307326 S. V. Shadrin: Intersections in genus 3 and the Boussinesq hierarchymath.AG/0307325 hep-th/0307167 Brian Forbes: Open string mirror maps from Picard- Fuchs equations on relative cohomologymath.AG/0307301 Gavin Brown, Alessio Corti, Francesco Zucconi: Birational Geometry of 3-fold Mori Fibre Spacesmath.AG/0307299 Montserrat Teixidor i Bigas: Subbundles of maximal degreemath.AG/0307298 Montserrat Teixidor i Bigas: Rank two vector bundles with canonical determinantmath.AG/0307296 E.Artal, J.Carmona, J.I.Cogolludo, M.Marco: Topology and combinatorics of real line arrangementsmath.AG/0307260 P. M. H. Wilson: Sectional curvatures of Kahler moduliAP: Analysis of PDEs--------------------math.AP/0307295 M. C. Lopes Filho, H. J. Nussenzveig Lopes, G. V. Planas: On the inviscid limit for 2D incompressible ?th Navier friction conditionmath.AP/0307291 Adam Sikora: Riesz transform, Gaussian bounds and the method of wave equationmath.AP/0307289 Terence Tao: Global well-posedness of the Benjamin-Ono equation in H^1(R)math.AP/0307262 Wenxiong Chen, Congming Li, Biao Ou: Qualitative Properties of Solutions for an Integral Equationmath.AP/0307253 Gunther Uhlmann, Andras Vasy: Fixed energy inverse problem for exponentially decreasing potentialsAT: Algebraic Topology----------------------math.AT/0307327 Philippe Gaucher: The homotopy branching space of a ? Classical Analysis and ODEs-------------------------------math.CA/0307323 Joaquim Bruna, Alexander Olevskii, Alexander Ulanovskii: Completeness in $L^1(R)$ of discrete translatesCO: Combinatorics-----------------math.CO/0307315 Michel Lassalle, Michael Schlosser: An analytic formula for Macdonald polynomialsmath.CO/0307292 Denis Chebikin, Pavlo Pylyavskyy: Two bijections between G-parking functions and spanning treesmath.CO/0307280 Jessica Sidman: De?ing equations of subspace arrangements embedded in re?n arrangementsmath.CO/0307271 Lauren K. Williams: Enumeration of totally positive Grassmann cellsmath.CO/0307269 Paul Terwilliger, Chih-wen Weng: Distance-regular graphs, pseudo primitive idempotents, and the Terwilliger algebramath.CO/0307252 Ioana Dumitriu, Etienne Rassart: Path counting and random matrix theoryDG: Differential Geometry-------------------------math.DG/0307309 Masaaki Umehara, Kotaro Yamada: Maximal surfaces with singularities in Minkowski spacemath.DG/0307303 Denis Kochan, Pavol Severa: Differential gorms, differential wormsmath.DG/0307293 Albert Chau, Oliver C. Schnuerer: Stability of gradient Kaehler-Ricci solitonsmath.DG/0307288 Jian Song: The alpha-Invariant on Toric Fano Manifoldsmath.DG/0307286 Lars Andersson: Bel--Robinson energy and constant mean curvature foliationsmath.DG/0307282 Iakovos Androulidakis: Connections and holonomy for extensions of Lie groupoidsmath.DG/0307278 P.T. Chrusciel, R. Bartnik: Boundary value problems for Dirac--type equations, with applicationsmath.DG/0307275 Lei Ni: A monotonicity formula on complete Kahler manifolds with nonnegative bisectional curvaturemath.DG/0307273 Josef Dorfmeister, Junichi Inoguchi, Magdalena Toda: Weierstra{ss} type representation of timelike surfaces with constant mean curvaturemath.DG/0307272 Magdalena Toda: Weierstrass-type Representation of Weakly Regular Pseudospherical Surfaces in Euclidean Spacemath.DG/0307270 Magdalena Toda: Initial Value Problems of the Sine-Gordon Equation and Geometric Solutionsmath.DG/0307267 Kenro Furutani: A Kaehler structure on the punctured cotangent bundle of the Cayley projective planemath.DG/0307266 Kenro Furutani: Quantization of the Geodesic ? Quaternion Projective Spacesmath.DG/0307261 Sarah Hansoul, Pierre B. A. Lecomte: Af?e representations of Lie algebras and geometric interpretation in the case of smooth manifoldsnlin.SI/0307021 Claudio Bartocci, Gregorio Falqui, Marco Pedroni: A geometric approach to the separability of the Neumann-Rosochatius systemDS: Dynamical Systems---------------------math.DS/0307316 C. M. Carballo, C. A. Morales: Omega-limit sets close to singular-hyperbolic attractorsmath.DS/0307290 A. J. Roberts: A step towards holistic discretisation of stochastic partial differential equationsmath.DS/0307259 Charles Holton, Charles Radin, Lorenzo Sadun: Conjugacies for Tiling Dynamical SystemsFA: Functional Analysis-----------------------math.FA/0307317 Gestur Olafsson, Darrin Speegle: Groups, Wavelets, and Wavelet Setsmath.FA/0307312 Daniel M. Pellegrino: Almost summing mappingsmath.FA/0307311 Daniel M. Pellegrino: Cotype and nonlinear absolutely summing mappingsmath.FA/0307285 Daniel M. Pellegrino: On ideals of polynomials and their applicationsmath.FA/0307274 Sandrine Grellier & Mohammad Kacim: Multilinear Hankel operatorGR: Group Theory----------------math.GR/0307321 Henry Cohn, Christopher Umans: A group-theoretic approach to fast matrix multiplicationGT: Geometric Topology----------------------math.GT/0307314 Ian Hambleton, Matthias Kreck: Homotopy self-equivalences of 4-manifoldsmath.GT/0307302 Alexander Barchechat: Minimal Triangulations of Reducible 3-Manifoldsmath.GT/0307297 Ian Hambleton, Mihail Tanase: Permutations, isotropy and smooth cyclic group actions on de?ite 4-manifoldsmath.GT/0307283 Ulrich Oertel: Incompressible maps of surfaces and Dehn ?lingmath.GT/0307276 Ulrich Oertel, Jacek Swiatkowski: A contamination carrying criterion for branched surfacesmath.GT/0307254 Greg Friedman: Strati?d ?rations and the intersection homology of the regular neighborhoods of bottom strataLO: Logic---------math.LO/0307284 William McCune, Ranganathan Padmanabhan, Robert Veroff: Yet Another Single Law for LatticesMP: Mathematical Physics------------------------nlin.SI/0307042 Vladimir Dorodnitsyn, Roman Kozlov, Pavel Winternitz: Continuous symmetries of Lagrangians and exact solutions of discrete equationsmath-ph/0307050 Yuri G. Kondratiev, Maria Jo~ao Oliveira: Invariant measures for Glauber dynamics of continuous systemsmath-ph/0307049 Fei Wang: Note on the asymptotic approximation of a double integral with an angular spectrum representationnlin.SI/0307026 P.G.Grinevich, P.M.Santini: The initial boundary value problem on the segment for the Nonlinear Schrodinger equation; the algebro-geometric approach. Imath-ph/0307048 Claudio D'Antoni, Gerardo Morsella, Rainer Verch: Scaling algebras for charged ?lds and short-distance analysis for localizable and topological chargesmath-ph/0307047 Dariusz Chruscinski: Quantum Mechanics of Damped Systems II. Damping and Parabolic Potential Barriermath-ph/0307046 Elliott H. Lieb, Michael Loss: Existence of Atoms and Molecules in Non-Relativistic Quantum Electrodynamicshep-th/0307199 Michael Forger, Hartmann Romer: Currents and the Energy-Momentum Tensor in Classical Field Theory: A fresh look at an Old Problemmath-ph/0307045 Chin-Sheng Wu: The Comparison between the In?itesimal Operators for SU(3) and Boson Operators in Cartan-Weyl Basishep-th/0307186 Henriette Elvang, Predrag Cvitanovi'c, Anthony D. Kennedy: Diagrammatic Young Projection Operators for U(n)math-ph/0307044 Andreas U. Schmidt: Mathematics of the Quantum Zeno Effectmath-ph/0307043 N.G.Marchuk, S.E.Martynova: Notions of determinant, spectrum, and Hermitian conjugation of Clifford algebra elementsmath-ph/0307042 N.G.Marchuk: A coordinateless form of the Dirac equationmath-ph/0307041 J. Guerrero, J.L. Jaramillo, V. Aldaya: Group-cohomology re?ement to classify $G$-symplectic manifoldsmath-ph/0307040 S. V. Lototsky, B. L. Rozovskii: Time Evolution of a Passive Scalar in a Turbulent Incompressible Gaussian Velocity Fieldmath-ph/0307039 E. G. Kalnins, J. M. Kress, W. Miller Jr, P. Winternitz: Superintegrable Systems in Darboux spacesmath-ph/0307038 Peter Michael Jack: Physical Space as a Quaternion Structure, I: Maxwell Equations. A Brief Notehep-th/0307141 A. Mikovic: String Theory and Quantum Spin Networksmath-ph/0307037 O. Babelon: Equations in dual variables for Whittaker functionshep-th/0306287 Roberto Zucchini: Global Aspects of Abelian and Center Projections in SU(2) Gauge TheoryNA: Numerical Analysis----------------------math.NA/0307313 Fabricio Macia: Wigner measures in the discrete setting: high-frequency analysis of sampling & reconstruction operatorsNT: Number Theory-----------------math.NT/0307322 Tim Dokchitser: LLL & Abcmath.NT/0307308 Jonathan Sondow: An irrationality measure for Liouville numbers and conditional measures for Euler's constantmath.NT/0307300 Joel Bellaiche: Augmentation du niveau pour U(3) (Level-Raising for U(3))math.NT/0307279 Werner Georg Nowak: Primitive lattice points inside an ellipsemath.NT/0307264 Takashi Aoki, Yasuo Ohno: Sum relations for multiple zeta values and connection formulas for the Gauss hypergeometric functionsOC: Optimization and Control----------------------------math.OC/0307305 Steven J. Benson, Todd S. Munson: Flexible Complementarity Solvers for Large-Scale ApplicationsPR: Probability Theory----------------------math.PR/0307310 Itai Benjamini, Zhen-Qing Chen, Steffen Rohde: Boundary Trace of Re?g Brownian Motionsmath.PR/0307307 Alexander Gnedin, Jim Pitman: Regenerative Composition Structuresmath.PR/0307287 Jon Warren, Shinzo Watanabe: On Spectra of Noises associated with Harris ?th.PR/0307265 V. P. Maslov: Approximation probabilities, the law of quasistable markets, and phase transitions from the condensed stateQA: Quantum Algebra-------------------math.QA/0307324 Michael F. Mueller-Bahns, Nikolai Neumaier: Invariant Star Products of Wick Type: Classi?ation and Quantum Momentum Mappingsmath.QA/0307306 A.A.Stolin, P.P.Kulish, E.V.Damaskinsky: On construction of universal twist element from $R$-matrixmath.QA/0307277 Philippe Bonneau, Daniel Sternheimer: Topological Hopf algebras, quantum groups and deformation quantizationmath.QA/0307263 RA: Rings and Algebras----------------------math.RA/0307320 P. Ara, M.A. Gonzalez-Barroso, K.R. Goodearl, E. Pardo: Fractional skew monoid ringsmath.RA/0307304 Peter Jorgensen: Linear free resolutions over non-commutative algebrasmath.RA/0307258 Bangming Deng, Jie Du: On bases of quantized enveloping algebrasmath.RA/0307257 Bangming Deng, Jie Du: Monomial bases for quantum af?e sl_nmath.RA/0307256 Bangming Deng, Jie Du: Frobenius morphisms and representations of algebrasmath.RA/0307255 Shouchuan Zhang: Duality Theorem and Drinfeld Double in Braided Tensor CategoriesRT: Representation Theory-------------------------math.RT/0307268 G. Lusztig: Character sheaves on disconnected groups, IISG: Symplectic Geometry-----------------------math.SG/0307319 Ping Xu: Momentum Maps and Morita Equivalencemath.SG/0307318 Jose Agapito: A weighted version of quantization commutes with reduction principle for a toric manifold-- / Greg Kuperberg (UC Davis) / / Visit the Math ArXiv Front at http://front.math.ucdavis.edu/ / * All the math that's ? to e-print * === Here are this week's titles in the mathematics arXiv, available at: http://front.math.ucdavis.edu/ http://front.math.ucdavis.edu/submissionsThis week in the mathematics arXiv may be freely redistributedwith attribution and without modi?ation.Titles in the mathematics arXiv (28 Jul - 1 Aug)------------------------------------------------AC: Commutative Algebra-----------------------math.AC/0307403 Sara Faridi: Cohen-Macaulay Properties of Square-Free Monomial IdealsAG: Algebraic Geometry----------------------math.AG/0307398 Kang Zuo, Eckart Viehweg: Complex multiplication, Grif?hs-Yukawa couplings, and rigidy for families of hypersurfacesmath.AG/0307387 Andrea D'Agnolo, Pietro Polesello: Stacks of twisted modules and integral transformsmath.AG/0307386 Artur Elezi: Virtual Class of Zero Loci and Mirror Theoremsmath.AG/0307378 Marta Casanellas, Elena Drozd, Robin Hartshorne: Gorenstein Liaison and ACM Sheavesmath.AG/0307369 Thierry Zell: Topology of de?able Hausdorff limitsmath.AG/0307366 Ricardo Garcia Lopez: Microlocalization and stationary phasemath.AG/0307361 Hans-Christian v. Bothmer: Last syzygies of 1-generic spacesmath.AG/0307355 Viacheslav V. Nikulin: On Correspondences of a K3 Surface with itself IAP: Analysis of PDEs--------------------math.AP/0307406 Guenther Hoermann: First-order hyperbolic pseudodifferential equations with generalized symbolsmath.AP/0307400 Xavier Carvajal: Well-posedness for a higher order nonlinear Schrodinger equation in Sobolev spaces of negative indicesmath.AP/0307397 Chu-Pin Lo: A Blowup Problem of Reaction Diffusion Equation Related to the Diffusion Induced Blowup Phenomenonmath.AP/0307377 Lubomira G. Softova: Poincar'e problem for a kind of parabolic operatorsmath.AP/0307344 Chongsheng Cao, Edriss S. Titi, Mohammed Ziane: A ``horizontal hyper--diffusion $3-D$ thermocline planetary geostrophic model: well-posedness and long time behaviorAT: Algebraic Topology----------------------math.AT/0307339 Wolfgang Pitsch, Jerome Scherer: Homology ?rations and group-completion revisitedCA: Classical Analysis and ODEs-------------------------------math.CA/0307372 Timoteo Carletti, Gabriele Villari: A note on existence and uniqueness of limit cycles for Li'enard systemsmath.CA/0307348 meaningful functionsCO: Combinatorics-----------------math.CO/0307405 Jeremy L. Martin: On the topology of multigraph picture spacesmath.CO/0307401 Narad Rampersad: Words avoiding 7/3-powers and the Thue-Morse morphismmath.CO/0307399 Martin Klazar: On the least exponential growth admitting uncountably many closed permutation classesmath.CO/0307380 Alina Vdovina: Groups, periodic planes and hyperbolic buildingsmath.CO/0307370 David Orden, Francisco Santos, Brigitte Servatius, Herman Servatius: Combinatorial pseudo-Triangulationsmath.CO/0307365 Narad Rampersad: A note on non-repetitive colourings of planar graphsmath.CO/0307363 Narad Rampersad: A note on avoidable words in squarefree ternary wordsmath.CO/0307359 Denis Chebikin: Graph powers and k-ordered Hamiltonicitymath.CO/0307357 Svante Linusson, Johan Wastlund: A proof of a conjecture of Buck, Chan and Robbins on the random assignment problemmath.CO/0307350 Jesus De Loera, David Haws, Raymond Hemmecke, Peter Huggins, Bernd Sturmfels, Ruriko Yoshida: Short Rational Functions for Toric Algebra and Applicationsmath.CO/0307347 Ruth Haas, David Orden, Guenter Rote, Francisco Santos, Brigitte Servatius, Herman Servatius, Diane Souvaine, Ileana Streinu, Walter Whiteley: Planar Minimally Rigid Graphs and Pseudo-Triangulationscond-mat/0307606 J. Bouttier, P. Di Francesco, E. Guitter: Statistics of planar graphs viewed from a vertex: A study via labeled treesCV: Complex Variables---------------------math.CV/0307335 H Gaussier, A Sukhov: Wong-Rosay Theorem in almost complex manifoldsmath.CV/0307334 H Gaussier, A Sukhov: Estimates of the Kobayashi metric on almost complex manifoldsmath.CV/0307332 B Coupet, H Gaussier, A Sukhov: Riemann maps in almost complex manifoldsDG: Differential Geometry-------------------------hep-th/0307285 Marco Matone: The Af?e Connection of Supersymmetric SO(N)/Sp(N) Theoriesgr-qc/0307117 David Maxwell: Solutions of the Einstein Constraint Equations with Apparent Horizon Boundarymath.DG/0307375 M.L. Barberis, I. Dotti: Complex structures on af?e motion groupsmath.DG/0307374 Boris Dubrovin: On almost duality for Frobenius manifoldsmath.DG/0307373 Kiyonori Gomi: Equivariant smooth Deligne cohomologymath.DG/0307368 C. Jang, K. Park, P.E. Parker: PseudoH-type 2-step nilpotent Lie groupsmath.DG/0307360 Ilka Agricola, Thomas Friedrich: Killing spinors in supergravity with 4-?ath.DG/0307338 Lars Andersson: Constant mean curvature foliations of simplicial ?acetimesDS: Dynamical Systems---------------------math.DS/0307394 Chu-Pin Lo, Nedialko S. Nedialkov, Juan-Ming Yuan: Classi?ation of Steadily Rotating Spiral Waves for the Kinematic Modelmath.DS/0307389 Lennard F. Bakker: Quasiperiodic Flows and Algebraic Number Fieldsmath.DS/0307384 Idris Assani, Zoltan Buczolich, Daniel Mauldin: An $L^1$ counting problem in ergodic theorymath.DS/0307379 Xianghong Gong: Existence of divergent Birkhoff normal forms of Hamiltonian functionsmath.DS/0307371 Lasse Rempe: A Landing Theorem for Periodic Rays of Exponential Mapsmath.DS/0307329 C. Azevedo, P. Ontaneda: On the ?ed homogeneous circle problemFA: Functional Analysis-----------------------math.FA/0307367 Ken Dykema, Nate Strawn: Manifold structure of spaces of spherical tight framesmath.FA/0307337 Daniel M. Pellegrino: A remark on absolutely summing multilinear mappingsGM: General Mathematics-----------------------math.GM/0307395 Vaclav Studeny: Functional Equation of the Rate of In?GR: Group Theory----------------math.GR/0307362 D. Kotschick: Quasi-homomorphisms and stable lengths in mapping class groupsmath.GR/0307345 Arturo Magidin: Capability of certain nilpotent products of cyclic groupsGT: Geometric Topology----------------------math.GT/0307396 Gwenael Massuyeau: Cohomology rings, Rochlin function, linking pairing and the Goussarov-Habiro theory of 3-manifoldsmath.GT/0307382 Benjamin A. Burton: Face pairing graphs and 3-manifold enumerationmath.GT/0307340 Paolo Ghiggini: Tight Contact structures on Seifert Manifolds over $T^2$ with one singular ?remath.GT/0307328 Greg Friedman: Alexander polynomials of non-locally-?otsKT: K-Theory and Homology-------------------------math.KT/0307354 J.M. Casas, M. Ladra, T. Pirashvili: Triple Cohomology of Lie-Rinehart Algebras and the Canonical Class of Associative AlgebrasLO: Logic---------math.LO/0307388 Vinay Deolalikar, Joel David Hamkins, Ralf-Dieter Schindler: P is not equal to NP intersect coNP for In?ite Time Turing MachinesMG: Metric Geometry-------------------math.MG/0307342 Marius Buliga: Tangent bundles to sub-Riemannian groupsMP: Mathematical Physics------------------------quant-ph/0307232 R. M. Cavalcanti, P. Giacconi, R. Soldati: Decay in a uniform ?ld: An exactly solvable modelquant-ph/0307206 Asoka Biswas, G. S. Agarwal: Strong subadditivity inequality for quantummath-ph/0307065 Debasis Biswas, Asoke P. Chattopadhyay: Generalised de?itions of certain functions and their usesmath-ph/0307064 Zhenquan Li, A.J. Roberts: Low-dimensional modelling of a generalized Burgers equationmath-ph/0307063 N.S. Witte: Gap Probabilities for Double Intervals in Hermitian Random Matrix Ensembles as $tau$-Functions -- Spectrum Singularity casemath-ph/0307062 Ivan Veselic': Integrated density of states and Wegner estimates for random Schrodinger Operatorsmath-ph/0307061 Bernhard G. Bodmann: A lower bound for the Wehrl entropy of quantum spin with sharp high-spin asymptoticscond-mat/0307698 Petr Jizba, Toshihico Arimitsu: On observability of Renyi's entropycond-mat/0307649 Malte Henkel, Alan Picone, Michel Pleimling, Jeremie Unterberger: Local scale invariance and its applications to strongly anisotropic critical phenomenamath-ph/0307060 Jaroslaw Wawrzycki: Generally covariant Quantum Mechanicsmath-ph/0307059 N.P. Landsman: Functorial quantization and the Guillemin-Sternberg conjecturemath-ph/0307058 Frederic Lesage, Jorgen Rasmussen: SLE-type growth processes and the Yang-Lee singularitymath-ph/0307057 Anna Jencova: Flat connections and Wigner-Yanase-Dyson metricsmath-ph/0307056 Michele Correggi, Gianfausto Dell'Antonio: Rotating Singular Perturbations of the Laplacianmath-ph/0307055 P.M. Bleher, A.B.J. Kuijlaars: Random matrices with external source and multiple orthogonal polynomialsmath-ph/0307054 K.Thirulogasanthar, G.Honnouvo: Coherent states labeled by the iterates of a complex functionmath-ph/0307053 Christian Gerard, Christian Jaekel: Thermal Quantum Fields with Spatially Cut-off Interactions in 1+1 Space-time Dimensionsmath-ph/0307052 Bertrand Eynard: Large N expansion of the 2-matrix model, multicut casemath-ph/0307051 Tom Michoel, Bruno Nachtergaele: The large-spin asymptotics of the ferromagnetic XXZ chainhep-th/0307235 Conformally Invariant Quantum Field Theorygr-qc/0307103 Sergiu I. Vacaru: Exact Solutions with Noncommutative Symmetries in Einstein and Gauge GravityNT: Number Theory-----------------math.NT/0307376 David Goss: Applications of non-Archimedean integration to the $L$-series of $tau$-sheavesmath.NT/0307352 Pieter Moree, Huib Hommersom: Value distribution of Ramanujan sums and of cyclotomic polynomial coef?ientsOC: Optimization and Control----------------------------math.OC/0307333 Ivar Ekeland: A duality theory for some non-convex functions of matricesmath.OC/0307331 Paolo d'Alessandro: A new conical internal evolutive LP algorithmPR: Probability Theory----------------------math.PR/0307353 Wendelin Werner: Conformal restriction and related questionsmath.PR/0307346 D. Khoshnevisan, D. A. Levin, P. J. Mendez-Hernandez: On Dynamical Gaussian Random Walksmath.PR/0307336 Fabio Martinelli, Alistair Sinclair, Dror Weitz: Glauber dynamics on trees:Boundary conditions and mixing timemath.PR/0307330 Wlodzimierz Bryc, Amir Dembo, Tiefeng Jiang: Spectral measure of large random Hankel, Markov and Toeplitz matricesQA: Quantum Algebra-------------------math.QA/0307402 I. Heckenberger, S. Kolb: De Rham Complex for Quantized Irreducible Flag Manifoldsmath.QA/0307393 Yu. I. Manin: Functional equations for quantum theta functionsmath.QA/0307391 N. Aizawa, P. S. Isaac: Weak Hopf algebras corresponding to $U_q[sl_n]$math.QA/0307381 Alexander V. Karabegov: On Dequantization of Fedosov's Deformation Quantizationmath.QA/0307364 James Conant, Ferenc Gerlits, Karen Vogtmann: Cut vertices in commutative graphsmath.QA/0307356 Vadim V. Borzov, Eugene V. Damaskinsky: Generalized coherent states for q-oscillator connected with q-Hermite polynomialsmath.QA/0307351 S. Majid: Noncommutative Riemannian and Spin Geometry of the Standard q-Spherehep-th/0307168 G.A. Goldin, S. Majid: On the Fock space for nonrelativistic anyon ?lds and braided tensor productsRA: Rings and Algebras----------------------math.RA/0307392 Osamu Iyama: The relationship between homological properties and representation theoretic realization of artin algebrasmath.RA/0307385 Gert K. Pedersen, Francesc Perera: Inverse limits of rings and Multiplier ringsRT: Representation Theory-------------------------math.RT/0307390 Fr'ed'eric Latour: Representations of rational Cherednik algebras of rank 1 in positive characteristicmath.RT/0307383 Anthony Henderson: Representations of wreath products on cohomology of De Concini-Procesi compacti?ationsmath.RT/0307349 Konstanze Rietsch: An introduction to perverse sheavesmath.RT/0307343 Mark Davidson, Gestur Olafsson: The Generalized Segal-Bargmann transform and Special FunctionsSG: Symplectic Geometry-----------------------math.SG/0307404 Lisa Jeffrey, Nan-Kuo Ho: The volume of the moduli space of ?nnections on a nonorientable 2-manifoldmath.SG/0307358 Junho Lee: Counting Curves in Elliptic Surfaces by Symplectic Methodsmath.SG/0307341 Paolo Lisca, Andras I. Stipsicz: Seifert ?ered contact three--manifolds via surgery-- / Greg Kuperberg (UC Davis) / / Visit the Math ArXiv Front at http://front.math.ucdavis.edu/ / * All the math that's ? to e-print * === > I'm curious to know if there is anyone studying the group structure of> ?st questions is on connectedness. Also, is there a theory on> in?ite-dimensional Lie groups? need to go as far as suggested by other posters and use Fr.8echet-Liegroups. The traditional theory of Banach-Lie groups, developed in the1930s, works very nicely here. And Banach-Lie groups are as close to?ite dimensional Lie groups as possible in many respects, the onlydifference being that the Lie-Cartan theorem not necessarily works,but cohomology theory of central extensions provides a verysatisfactory picture of when a Lie algebra can be enlarged to a Liegroup.As an introductory reference, I'd suggest Bourbaki's Lie Groups andLie Algebras volumes, where the entire theory is developed forBanach-Lie groups right from the start, read in conjunction with theindispensable monograph by Pierre de la Harpe, Classical Banach-LieNotes in Math., volume 285.cheers,Vladimir Pestov === >Densely ordered means ordered in such a way that between >any two elements there is another. >A corollary is that having a countable dense subset >suf?es for your purpose. -- Mike HardyBy dense subset do you mean topologically dense subset?Then I've counterexample.Let S = Rx{0,1} ordered lexicographically (r,a) <= (s,b) when r < s or r = s, a <= bS is the double pointed line. Write r_a for (r,a).A countable dense subset, that's also densely ordered, is Qx{0}.S is also ?st countable, but does S embed into the reals R ?If so, then S would have to be second countable, which I doubt asthere are uncountably many (r_0, s_1) = [r_1, s_0] where r < s.Note: for [r_1, s_0] to be an open set, ie a union of open base sets,there has to be an open base set for which r_1 is the ?st element.---- === > A theorem of Cantor says any two densely ordered sets> without endpoints that are countable are order-isomorphic.> Densely ordered means ordered in such a way that between> any two elements there is another.> A corollary is that having a countable dense subset> suf?es for your purpose. -- Mike Hardy William Elliot (mars@agora.rdrop.com) answered:> By dense subset do you mean topologically dense subset? If B is a linearly ordered set and A is a subset of B, thento say that A is dense in B means that between any two membersof B there is a member of A. I think that's the same astopologically dense if you put the order topology on B.> Then I've counterexample.> Let S = Rx{0,1} ordered lexicographically> (r,a) <= (s,b) when r < s or r = s, a <= b> S is the double pointed line. Write r_a for (r,a).> A countable dense subset, that's also densely ordered, is Qx{0}. Is that dense? Let's see ... between (0, 0.1) and (0, 0.2)there is no member of Qx{0}, so Qx{0} is not dense according tothe de?ition I stated above. It's also not topologically dense,since the interval from (0, 0.1) to (0, 0.2) is an open set thatdoes not intersect Qx{0}. So this is not actually a counterexample. Mike Hardy === > A theorem of Cantor says any two densely ordered sets> without endpoints that are countable are order-isomorphic.> Densely ordered means ordered in such a way that between> any two elements there is another.> A corollary is that having a countable dense subset> suf?es for your purpose. -- Mike Hardy William Elliot (mars@agora.rdrop.com) answered:> Then I've counterexample.> Let S = Rx{0,1} ordered lexicographically> (r,a) <= (s,b) when r < s or r = s, a <= b> S is the double pointed line. Write r_a for (r,a).> A countable dense subset, that's also densely ordered, is Qx{0}. I answered:> Is that dense? Let's see ... between (0, 0.1) and (0, 0.2)> there is no member of Qx{0}, so Qx{0} is not dense according to> the de?ition I stated above. It's also not topologically dense,> since the interval from (0, 0.1) to (0, 0.2) is an open set that> does not intersect Qx{0}. So this is not actually a counterexample. Oh .... I see that you had curly braces: {0,1}, denotinga set with two members. I had read this as [0,1], with squarebrackets, denoting the closed unit interval. It is not the casethat strictly between any two members of your linarly ordered setQx{0,1} (with curly braces) there is a member of the subset Qx{0},so in that sense the subset is not dense in the larger set.I didn't have in mind topological denseness necessarily. Mike Hardy