《10000個科學難題·數(shù)學卷》是教育部、科學技術(shù)部、中國科學院和國家自然科學基金委員會聯(lián)合組織開展的“10000個科學難題”征集活動的重要成果,書中的題目均由國內(nèi)國際知名的數(shù)學專家撰寫。書中收集了有關數(shù)學很多分支學科及數(shù)學的應用等方面的大量問題,以及當今一些重要的數(shù)學問題。
更多科學出版社服務,請掃碼獲取。
《10000個科學難題》系列叢書是教育部、科學技術(shù)部、中國科學院和國家自然科學基金委員會四部門聯(lián)合發(fā)起的“10000個科學難題”征集活動的重要成果,是我國相關學科領域知名科學家集體智慧的結(jié)晶.征集的難題包括各學科尚未解決的基礎理論問題,特別是學科優(yōu)先發(fā)展問題、前沿問題和國際研究熱點問題,也包括在學術(shù)上未獲得廣泛共識、存在一定爭議的問題.這次試點征集的數(shù)理化學科的難題,正如專家們所總結(jié)的“一些征集到的難題在相當程度上代表了我國相關學科的一些主要領域的前沿水平”.當然,由于種種原因很難做到在所有研究方向都是如此,這是需要今后改進和大家見諒的.
“10000個科學難題”征集活動是,由四部門聯(lián)合組織在國家層面開展的一個公益性項目,這是一項涉及我國教育界、科技界眾多專家學者,為我國教育和科學技術(shù)發(fā)展、創(chuàng)新型國家建設,特別是科技文化建設添磚加瓦,功在當代、利在千秋、規(guī)模宏大、意義深遠的工作.從這個意義上說,此次征集活動也是新中國教育與科技發(fā)展史上一項具有開創(chuàng)性的工作,沒有任何現(xiàn)成的經(jīng)驗、模式和操作方法可供參考和借鑒,所有的工作都是在不斷探索中推進的,期間我們克服了諸多困難,也積累了許多寶貴的經(jīng)驗,因此,征集活動本身作為一個新生事物,我們也希望能得到全社會的廣泛認同。
目錄
《10000個科學難題》序
前言
奧特(Vaught)猜想與拓撲奧特猜想 高速 (1)
超緊基數(shù)典型內(nèi)模型問題 馮琦 (3)
遞歸可枚舉度中的格嵌入問題和雙量詞理論可判定性問題 楊躍 (5)
高層有限波雷爾(Borel)等價關系中的兩個問題 高速 (7)
極小塔問題 張樹果 (9)
r=rw?及s=sw? 張樹果 (10)
連續(xù)統(tǒng)勢確定問題 馮琦 (11)
奇異基數(shù)問題 馮琦 (13)
薩克斯(Sscks)關于波斯特(Post)問題的度不變解問題和馬丁(Martin)猜想 楊躍 (15)
圖靈(Turing)等價問題 高速 (17)
圖靈(Turing)度的自同構(gòu)問題 楊躍 (19)
是否存在一個穩(wěn)定的一階完全理論,官有大于一的有窮多個可數(shù)模型 史念東 (21)
Cherlin-Zilber猜想 龐煒恩 (23)
帶指數(shù)函數(shù)的實數(shù)理論的可判定性問題 龐煒恩 (24)
Shelah唯一性猜想 龐煒恩 (26)
微分封閉域上的平凡強極小集 龐煒恩 (27)
3-Calabi-Yau代數(shù)的分類 章瑛 (28)
阿廷(Artin)群的Grobner-Shirshov基L.Bokut陳裕群 (30)
布如意(Broue)交換虧群猜想 張繼平 (35)
布朗(Brown)問題 吳泉水張堅 (37)
凱萊(Cayley)圖和相關的問題 李才恒 (39)
?怂(Foulkes)猜想 王立中 (41)
戈倫斯坦(Gorenstein)對稱猜想 陳小伍 章璞 (43)
卡普蘭斯基(Kaplansky)第六猜想 陳忠香 (45)
中山(Nakayama)猜想和廣義中山(Nakayama)猜想 郭晉云 (47)
拉姆拉斯(Ra.mras)問題 吳泉水張堅 (49)
Smashing子范疇上的公開問題 樂鈺 章璞 (51)
巴斯-奎倫(Bass-Quillen)猜想 丁南慶 (53)
非半單Brauer代數(shù)的表示理論 芮和兵 (55)
非交換曲面的分類 吳泉水 張堅 (57)
關于碼交換等價于前綴碼的猜測 郭幸琦 (59)
關于半群上一類重要同余的一個系列推廣模式 郭隸琦 王守峰 (61)
關于有限碼具有有限完備化的判定問題 郭隸琦 劉云 (64)
關于正則半群的兩個嵌入問題 郭隸琦 (66)
廣義傾斜模中的兩個猜想 葉郁 章璞 (68)
考克斯特群的胞腔 時儉益 (70)
滿足正規(guī)子群極小條件的可解群的Fitting子群是否是冪零的? 劉合國 (72)
模代數(shù)smash積的半素性 朱勝林 (74)
球極函數(shù)的提升Pieri型公式 景乃桓 (76)
穩(wěn)定等價猜想 張英伯 (78)
一些代數(shù)的Grobner-Shirshov基L.Bokut 陳裕群 (81)
由導出范疇建立量子群和典范基 肖杰 (85)
有限維數(shù)猜想 黃兆泳 (87)
ABC猜測 袁平之 (89)
巴斯(Bass)猜想和索爾(Soule)猜想 秦厚榮 (91)
Lichtenbaum猜想 秦厚榮 (93)
里德-所羅門(Reed-Solomon)碼的譯碼問題 萬大慶 (95)
沙努爾(Schanuel)猜想 姚家燕 (98)
哥德巳赫(Goldbach)猜想 賈朝華 (101)
關于不同模覆蓋系的厄爾多斯(Erdos)問題 孫智偉 (104)
關于倒數(shù)和發(fā)散序列的厄爾多斯一圖蘭(Erdos Turan)猜想 孫智偉 潘新 (107)
關于奇數(shù)階阿貝爾 (Abel)群的Snevily猜想 孫智偉 (109)
關于有限域上代數(shù)曲線點數(shù)的Drinfeld-Vladt界 馮克勤 (112)
朗蘭茲(Langlands)綱領 葉揚旋劉建亞 (114)
類數(shù)1實二次域的高斯猜想 馮克勤 (122)
黎曼(Riemann)zeta函數(shù)在奇正整數(shù)點處值的超越性 姚家燕 (124)
黎曼(Riemann)猜想 賈朝華 (126)
歐拉常數(shù)的超越性 姚家燕 (129)
橢圓曲線的BSD猜想 馮克勤 (131)
希爾伯特第九問題:高斯二次互反律如何推廣 馮克勤 (133)
希爾伯特第十三問題:構(gòu)作數(shù)域的最大阿貝爾擴域 馮克勤 (136)
巖澤(Iwasawa)理論的主猜想 歐陽被 (138)
有限阿貝爾(Abel)群的Davenport常數(shù) 孫智偉 (141)
Cheeger-Goresky-MacPherson猜想 陳伯勇 (143)
Chern-Moser的一個問題 黃孝軍 (144)
CR型的Bonnet剛性問題和Siu的孤立復正規(guī)奇點的超剛性問題 黃孝軍 (146)
格里菲思(Griffiths)問題 陳伯勇 (148)
晗茨霍恩(Hartshorne)猜想 談勝利 (149)
飯高(litaka)猜想: Cn,m 陳猛 (152)
長田(Nagata)猜想 楊勃根 (154)
Tate-Oort問題 李先正 (156)
Tate猜想 扶磊 (158)
調(diào)和叢的上同調(diào) 楊義虎 (160)
格拉騰迪克(Grothendieck)標準猜想 扶磊 (162)
關于全純雙截曲率的猜想 睞伯勇 (164)
緊閉包與局部化相交換的問題 唐忠明 (165)
局部上同調(diào)模的相伴素理想的有限性問題 唐忠明 (166)
Calahi-Yau模空間的陳數(shù)不等式 陸志勤 (168)
量子層猜想 陸志勤 (170)
奇點解消 楊勃根 (172)
球和代數(shù)區(qū)域的剛性 黃孝軍 (174)
群作用下全純映射的剛性問題 黃孝軍 (177)
雅可比猜想 余解臺 (179)
霍普夫(Hopf)猜想 忻元龍 (181)
霍普夫(Hopf)問題 唐梓洲 (184)
非線性狄拉克(Dirac)方程解的存在性問題 陳群 (185)
高維單值化猜測 鄧少雄 (187)
關于K等價代數(shù)簇的量子上同調(diào)環(huán)的猜想 李安民 (189)
六維球面上復結(jié)構(gòu)的存在性問題 唐梓洲 (191)
曲面到四維歐氏空間的等距浸入的存在性 唐梓洲 (192)
3維流形上tight切觸結(jié)構(gòu)的分類 丁帆 (193)
4維光滑龐加萊(PoinCare)猜想 丁帆 (195)
波雷爾(Borel)猜想:非球面性閉流形之間的同倫等價必同倫于一個同胚 郁國 徐勝芝 (196)
11/8猜想 方復全 (198)
Kashaev-Murakami-Murakami體積猜想 羅鋒 (200)
瑟斯頓(Thurston)有效纖維化猜想 羅鋒 (王慰譯) (202)
Virtual Haken猜想 雷逢春 (203)
仿射平坦流形的陳猜想 于立 (205)
光滑復完全交的沙利文 (Sulliva)猜想 蘇陽 (207)
廣義斯梅爾(Srnale)猜想 羅鋒 (王慰譯) (209)
廣義度量空間問題 王國俊 (211)
矩陣的拓撲相似問題 方復全 (213)
紐結(jié)的交叉點數(shù)的計算和可加性 楊志青 (215)
紐結(jié)的解結(jié)數(shù)的計算和可加性 楊志青 (217)
嵌入猜想 方復全 (219)
三維流形分類問題 楊志青 (220)
osp型李超代數(shù)的特征標問題 蘇育才 (222)
維特(Witt)代數(shù)的自同構(gòu)群問題 蘇育才 (224)
非可對稱化的卡茨-穆池(Kac-Moody)代數(shù)的定義關系問題 蘇育才 (226)
李代數(shù)及其對偶壁間的冪零元的分類 陳智奇 梁科 (228)
李群表示的分歧律 朱富海侯自新 (230)
李群西表示的分類 黃勃松 (232)
模李代數(shù)模表示論中的卡茨-Weisfeiler(Kac-Weisfeiler)猜想 胡乃紅 (235)
齊性愛因斯坦(Einstein)流形 鄧少強 侯自新 (238)
有理頂點算子代數(shù)的分類 姜翠波 (241)
百表示中的狄拉克(Dirac)算子 康毅芳 梁科 (243)
2D瞬時頻率 彭立中 (245)
3n+1猜想與復解析方法 李玉華 (249)
布格克(Bloch)常數(shù) 劉勃松 (251)
博克納-里斯(Bochner-Riesz)乘子問題 楊大春 (252)
布倫南(Brennan)猜測 伍勝健 (255)
傅里葉(Fourier)變換的限制性問題 楊大春 (257)
朱莉婭(Julia)集的分形維數(shù) 喬建永 (260)
掛谷(Kakeya)問題 楊大春 (262)
Koebe問題 賀正需 (265)
龐加萊(Poincare)的圓盤上調(diào)和映射的舍恩(Schoen)猜想 漆毅 李忠 (266)
Sierpinski地毯上狄氏型的構(gòu)造 胡家信 (268)
Sierpinski雙曲分支的布界性問題 崔貴珍 (270)
斯梅爾 (Srnale)均值猜想 王躍飛 (272)
雙曲猜想 王躍飛 崔貴珍 (274)
雙線性希爾伯特(Hilbert)變換的P有界性 顏立新 (276)
亞純函數(shù)的虧量問題 伍勝健 (278)
亞純函數(shù)與其導函數(shù)有公共的波雷爾(Borel)方向嗎? 張廣遠 (280)
游蕩連續(xù)統(tǒng)存在性問題 崔貴珍 (283)
阿諾德(Arnold)猜想 劉春根 (284)
Dry Ten Martini問題 尤建功 (287)
菲爾斯滕貝格(Fustenberg)猜想 黃文 葉向東 (289)
埃農(nóng)(Henon)映射族中奇異吸引子的存在性問題 王蘭宇 (291)
希爾伯特(Hilbert)第16問題 李承治 (293)
Palis猜測 文蘭 (295)
羅林(Rohlin)問題 邵松 葉向東 (297)
Veech猜測 邵松 葉向東 (299)
魏因施泰因(Weinstein)猜想 蔣美躍 (301)
多重遍歷定理 葉向東 (304)
關于閘軌道多重性的塞弗特(Seifert)猜想 張端智 (307)
哈密頓(Hamilton)系統(tǒng)平衡點附近的不變環(huán)面 尤建功 (310)
緊流形上的閉測地線猜想 龍以明 (312)
弱Pinsker猜想 黃文 葉向東 (315)
天體力學中的中心構(gòu)型有限性猜想 孫善忠 (317)
波利亞(Polya)猜測 戴求億 (320)
玻爾茲曼(Boltzmann)方程的Boltzmann-Grad極限 楊彤 (322)
玻爾茲曼(Boltzmann)方程的流體動力學極限 楊形 (324)
不可壓縮納維耶-新托克斯(Navier-Stokes)方程 何成 (327)
等譜問題 陳化 (330)
鈍體超音速繞流問題的數(shù)學分析 陳恕行 (332)
非線性雙曲型守恒律方程組的高維黎曼(Riemann)問題 陳恕行 (334)
非線性橢圓方程中的De Giorgi及吉本斯(Gibbons)猜想 魏軍城 (336)
馮諾伊曼(Von Neumann)悖論 陳恕行 (339)
沒有對稱性的非線性橢圓型方程無窮多個解的存在性 劉兆理 (341)
擬線性雙曲型方程組由特征向量引發(fā)的奇性 李大潛 (344)
歐拉方程整體L∞弱解的適定性問題 黃飛敏 (347)
趨化性模型解的行為與模式形成問題 陳化 劉偉安 (349)
聲波和電磁波反散射問題的唯一性 劉宏宇 鄒軍 (352)
橢圓算子的譜漸近以及韋爾-貝里(Weyl-Berry)猜想 陳化 (356)
線性退化的擬線性雙曲型方程組不會導致激波形成? 李大潛 (359)
薛定詩(Schrodinger)方程中的孤立子猜想 張曉軼 (362)
一類二階完全非線性偏微分方程的格林(Green)函數(shù) 徐超江 陳化 (366)
AdS/CFT對應中的可積性 陳斌 (369)
Donaldson不變量和Seiberg-Witten不變量的關系 孫善忠 (371)
愛因斯坦(Einstein)場方程的數(shù)學研究 張曉 (373)
Gromov-Witten不變量的Virasoro猜想 劉小博 (375)
KZB方程 丁祥茂 (377)
帶通量的弦真空和緊化與廣義復幾何 胡森 殷峰 (379)
量子楊-米爾斯(Yang-Mills)千禧問題 王世坤 吳可 (381)
量子極小模型猜測 胡建勛 (384)
彭羅斯(Penrose)猜想 白姍 劉潤球 (386)
三種狹義相對論和引力及其相互關系 郭漢英 (388)
雙黑洞系統(tǒng)的數(shù)恒研究 曹周鍵 (390)
楊-巳克斯特(Yang-Baxter)方程 王世坤 (393)
宇宙監(jiān)督假設 白姍 劉潤球 (395)
亨特(Hunt)假設與Getoor猜測 應堅剛 (397)
常微分方程與隨機分析中的相關問題 方詩贊 (399)
復雜數(shù)據(jù)的變量選擇問題 孫六全 (402)
如何解決反映變量粗測量下"維數(shù)禍根"問題 王啟華 (404)
相依結(jié)構(gòu)下復雜刪失數(shù)據(jù)統(tǒng)計建模問題 孫六全 (406)
樣本量的增加能保持原估計的漸近性質(zhì)嗎? 崔恒建 (408)
最熱點猜測 陳振慶 (410)
阿達馬(Hadamard)矩陣存在性 葛根年向青殷劍興 (413)
Hadwiger猜想 許寶剛 (415)
西摩(Seymour)的二階鄰域猜想 李學良 (417)
韋斯(Weiss)有限局部本原圖猜想 馮衍全 (419)
并閉集猜想 王軍 (421)
獨立系的Chvatal猜想 王毅 (422)
非素數(shù)事階射影平面的存在性 葛根年 (424)
經(jīng)典拉姆齊(Ramsey)函數(shù)的估值 李雨生 (425)
柯克曼三元系大集的存在性問題 常彥勛 (428)
拉丁方的橫截問題 李學良 (430)
列表染色猜想 許寶剛 (432)
旅行售貨員問題 許寶剛 (434)
球面上的g-猜想 陳永川 Richard P.Stanley (436)
雙圈覆蓋猜想 張存栓 (438)
凸多邊形與厄爾多斯-Szekeres(Erdos-Szekeres)問題 李學良 (444)
圖的pfaffian 定向 張福基 (442)
圖的重構(gòu)猜想 洪測 (組4)
整數(shù)流猜想 范吳華 (446)
子圖覆蓋問題 范是華 (448)
自回避行走的計數(shù)問題 陳永川 Richard P.Stanley (450)
P=NP? 高小山 朱洪 (453)
單向函數(shù)的存在性 鄧映蒲 (456)
設計既實用又安全的公鑰密碼系統(tǒng) 鄧映蒲 (457)
大數(shù)分解是否有多項式算法? 馮克勤 (460)
離散對數(shù)求解問題 龔賢 (463)
多變元公鑰密碼中MQ問題是否存在有效算法? 劉卓軍 (466)
"最小秩"問題是否存在有效算法? 劉卓軍 (469)
符號-數(shù)值混合計算 吳文俊 (471)
多項式方程組的有效求解 高小山 (473)
基于有理多項式平方和的全局最優(yōu)驗證 支麗紅 (475)
有理代數(shù)曲面的高效參數(shù)化與隱式化方法 高小山 陳友來 (478)
曲面交線的高效可靠計算 鄧建松陳友來 (480)
平面向量場不變曲線次數(shù)的龐加萊 (Poincare)的問題 馮如勇 (482)
微分代數(shù)簇的不可縮分解 高小山 (485)
差分代數(shù)簇的不可約分解 高小山袁春明 (487)
最小徽分維數(shù)多項式的計算Alexander Levin (489)
羅塔-巳克斯特(Rota-Baxter)代數(shù)中的兒個問題 郭鈕 (492)
阿蒂亞(Atiyah)猜想 李洪波 (494)
非負矩陣分解 柏兆俊 (495)
非線性偏微分方程間斷解問題的高精度格式 舒其望 (497)
分片多項式方程組的計算及相關幾何問題 王仁宏 (499)
高維大尺度反散射問題的分析與計算 包剛 (501)
求解無界區(qū)域非線性偏微分方程的人工邊界方法 余德浩 (503)
求解線性代數(shù)方程組的最優(yōu)方法 許進超 (505)
燃燒方程組間斷解的數(shù)值計算方法 應隆安 袁禮 (508)
三維橢圓和電磁場計算問題的仰自適應有限元方法 陳志明 (511)
雙曲型守恒律方程組差分方法對間斷解的收斂性 應隆安 (513)
高精度有限元方法中未解決的具體問題 林群 (516)
最優(yōu)剖分的有關理論和計算問題 杜強 (518)
凸多面體的6步猜想 袁亞湘 (521)
有限個二次函數(shù)最大值的極小化問題 袁亞湘 (523)
推廣的Lax猜想:雙曲錐能表示為半定錐的一個截面 修乃華 (525)
DFP擬牛頓法的收斂性 戴虹 (527)
最小阻力凸體問題 戴虹 (529)
是否存在求解性線性規(guī)劃的強多項式時間算法? 張樹中 何斯邁 (532)
組合優(yōu)化反問題的計算復雜性 楊曉九 (535)
旅行商問題是否存在性能比小于1.5的近似算法 胡曉東 (537)
k-服務器猜想 徐寅峰 (539)
是否存在求解裝箱問題的絕對近似算法 張國川 (541)
隨機排隊網(wǎng)絡的遍歷性 戴建崗 張漢勤 (543)
位相型分布的最小表示 何啟明 張漢勤 (544)
非線性動力系統(tǒng)的模型降階 蘇仰鋒 曾璇 (546)
水分子多尺度建模與計算 張平文 (549)
編后記 (553)