Just Think Aloud

One should never try to prove anything that is not almost obvious.
                         -- Alexander Grothendieck

We can talk about physics and mathematics in Chinese, English, French and Japanese.

Research Interests

• High Energy Physics-Theory/Phenomenology
  • Perturbative Quantum Field Theory: Calculating High-loop Feynman Integrals
  • Some basic ideas towards standard model
• Mathematical Physics
  • Topological Quantum Field Theory: Torus Knot Groups and Physics
  • Categories: Topos and QFT
  • Intersection Theory: Intersection Number and Twisted De Rham Cohomology
  • Representation of Quantum Groups
• Mathematics
  • Algebraic Geometry: Sheaves on Calabi-Yau Manifolds
  • Mathematical Logic: ZFC and TG theory.
  • Theoretical Computer Science: ZFC and TG theory.
  • Computational Algebraic Geometry: Massively Parallelization via Singular/GPI-space framework
  • Some reading/translation project: Récoltes et Semailles by A. Grothendieck

Seminars

Currently, I myself am reading some tough books to learn QFT, Algebraic Geometry, etc. So here are some reading seminars.

Also, there are some acadamic communications in the form of seminars happening here. I also attend some of them.

• Seminar on Peskin's An Introduction to Quantum Field Theory
  • Organized by HX
  • Every Wednesday night, 2021 ~
• Seminar on Hartshorne's Exercises
  • Given by GPJ,
  • Room 5107, every Sunday night, Spring Semester, 2021.
• Seminar on Differential Cohesive Topos
  • Organized by Keyao Peng
  • Every Saturday GMT +8 = 01:30-03:00, Long Term, 2021
• Seminar on Arithmatic Geometry
  • Organized by Yongqi Liang
  • Room 1418, Dept. of Math. Every Friday night, Spring Semester, 2021.
• Seminar on Homological Algebra
  • Given by HX
  • Every Saturday night, Autumn Semester, 2020.
  • Lecture Notes(CURRENTLY UNAVALIABLE)
• Seminar on Loop Integral and Phase Space Integral Calculation
  • Organized by Yang Zhang, Lilin Yang, etc
  • Homepage (Indico)
  • Every Thursday night, since Oct.29, 2020.
  • Be advised to talk on Erik's Euler Characteristics, see here:arXiv: 1712.09215
  • Regular talk with Jiuci Xu (UCSB) on this topic, maybe long term. Every Thursday morning.
• Seminar on Gravitational Wave
  • Organized by Yang Zhang, Zonglin Mo, etc
  • PCFT-USTC, every Tuesday night, since Sept.28, 2021.
  • Be advised to talk on geometric and topological structure on the semi-flat space-time in the E3 space
• Seminar on Algebraic Geometry (I)
  • Organized by Mao Sheng, GPJ, etc
  • Room 5406, every Saturday night, since Sept.25, 2021.
  • Mainly on Chapter 1, 4~7, Hartshorne's Book and some of EGA
• Seminar on Algebraic Geometry (II)
  • Organized by Rourou Ma, MathBao, Shihuai Xie and HX
  • Tencent meeting, every Sunday night, HX joined on Apr.3, 2022.
  • Mainly on Algebraic Geometry and Arithmatic Curves, Qing Liu.
  • Homepage of the Seminar
• Seminar on Elliptic Curves
  • Organized by Rourou Ma, Yushu Zhu, Shihuai Xie and HX
  • Tencent meeting, every Wednesday night.
  • Mainly on Elliptic Curves, Huesemuller.
  • Homepage of the Seminar
• Seminar on KMOC formalism
  • Organized by Yang Zhang, Xiaoran Zhao and Zhengwen Liu
  • ZOOM, every Friday night.
  • Mainly on arXiv:1811.10950
  • Homepage of the Seminar
• Seminar on Calabi-Yau Manifolds and Mirror Symmetry
  • Organized by Rourou Ma, Yushu Zhu, Shihuai Xie and HX
  • Tencent meeting, every Saturday night.
  • On both sides: Mathematically with the lecture notes by Zhiwei Zheng in BIMSA
  • Homepage of the Seminar

Teaching

Not Yet By Far

Notes

Here's the archive of the notes I've made in the past few years, Including lecture notes of the courses in USTC and some reading notes. You may feel free to take them. I'd be glad if you report the bugs to me.

• Course Notes in USTC (Click to expand)

  • Analytic Mechanics (A)
    • Given by Asst.Prof. Haijun Pan, autumn 2020.
    • NOTE HERE
  • Electrodynamics
    • Given by Prof. Xin Tao, Spring 2021. (Official note by Prof. X.Tao)
    • NOTE HERE
  • Thermaldynamics and Statistical Physics (A)
    • Given by Lec. Chuncheng Wang, spring 2021.
    • NOTE HERE
  • Solid State Physics (B)
    • Given by Prof. Xinhua Peng, spring 2022.
    • NOTE HERE
  • Quantum Mechanics (A)
    • Given by Prof. Yang Zhang and Asst.Prof Xiangfa Zhou, autumn 2021.
    • NOTE HERE
  • Advanced Quantum Mechanics
    • Given by Asst.Prof. Renyou Zhang, autumn 2021.
    • NOTE HERE
  • Quantum Field Theory (I)
    • Given by Prof. Daoneng Gao, autumn 2021.
    • NOTE HERE
    • Course Thesis on Quantization of Fields of Spin 1 Particles
  • Quantum Field Theory (II)
    • Given by Prof. Daoneng Gao & Prof. Yang Zhang, Spring 2022.
    • NOTE HERE
  • Equations in Mathematical Physics (A)
    • Given by Asst.Prof. Yongbing Zhang, Spring 2021.
    • NOTE HERE
  • Computational Physics (A)
    • Given by Prof. Zejun Ding, autumn 2021.
    • NOTE HERE
  • General Relativity and Cosmology
    • Given by Prof. Liming Cao, Spring 2022.
    • NOTE HERE
  • Modern Methods in Mathematical Physics
    • Given by Prof. Minxin Huang, Autumn 2022.
    • NOTE HERE
  • Analysis (B1)
    • Given by Prof. Xin Li & Assi.Prof Hao Yin, autumn 2019.
    • NOTE HERE
  • Analysis (B2)
    • Given by Prof. Yi Cheng, spring 2020.
    • NOTE HERE
  • Analysis (B3)
    • Given by Prof. Qing Chen, autumn 2020.
    • NOTE HERE
  • Real Analysis (H)
    • Given by Prof. Guangbin Ren, spring 2021.
    • NOTE HERE
  • Complex Analysis (H)
    • Given by Prof. Haozhao Li, spring 2021.
    • NOTE HERE
  • Function Theory of Several Complex Variables
    • Given by Asst.Prof. Xieping Wang, autumn 2022.
    • NOTE HERE
  • Advanced Real Analysis
    • Given by Asst.Prof. Xieping Wang, autumn 2021.
    • NOTE HERE
  • Functional Analysis (H)
    • Given by Prof. Wen Huang, autumn 2020.
    • NOTE HERE
  • Linear Algebra (B2)
    • Given by Prof. Xiaowu Chen, autumn 2020.
    • NOTE HERE
  • Probability and Mathematical Statistics
    • Given by Asst.Prof. Tiantian Mao, autumn 2020.
    • NOTE HERE
  • Modern Algebra (H)
    • Given by Prof. Xiaowu Chen, spring 2021.
    • NOTE HERE
  • Lie Algebra and Their Representations
    • Given by Prof. Hongjia Chen, spring 2022.
    • NOTE HERE
  • Algebra (III)
    • Given by Prof. Lei Zhang, autumn 2022.
    • NOTE HERE
  • Topology (H)
    • Given by Prof. Zuoqin Wang, spring 2021.
    • NOTE HERE
  • Algebraic Topology
    • Given by Asst.Prof. Bailin Song, autumn 2021.
    • NOTE HERE
  • Differential Geometry
    • Given by Prof. Shiping Liu, autumn 2020.
    • NOTE HERE
  • Riemannian Geometry
    • Given by Prof. Shiping Liu, spring 2021.
    • NOTE HERE
  • Differential Manifolds
    • Given by Prof. Zuoqin Wang, autumn 2021.
    • NOTE HERE
  • Complex Geometry
    • Given by Asst.Prof. Chen Zhao, autumn 2022.
    • NOTE HERE
  • Riemann Surface
    • Given by Asst.Prof Bin Xu, Postdoc Sicheng Lu, spring 2023.
    • NOTE HERE
  • Algebraic Geometry (I)
    • Given by Prof. Mao Sheng, autumn 2020.
    • NOTE HERE
  • Algebraic Geometry (II)
    • Given by Prof. Mao Sheng, spring 2021.
    • NOTE HERE
  • Algebraic Geometry (III)
    • Given by Prof. Mao Sheng, autumn 2021.
    • NOTE HERE
  • Computational Algebraic Geometry
    • Given by Prof. Falai Chen, spring 2023.
    • NOTE HERE
  • Modern Mathematical Methods
    • Given by Prof. Sen Hu, spring 2023.
    • NOTE HERE
  • Quantum Field Theory (For Dept. of Mathematics)
    • Given by Prof. Sen Hu, autumn 2023.
    • NOTE HERE
  • Geometric Topology and Selected Topics for Teichmüller Theory
    • Given by Prof. Zhe Sun, autumn 2023.
    • NOTE HERE
• Reading Notes (Click to expand)

  • A Course in Homological Algebra, Stammbach.
    • Complete Version (1.0)
  • Introduction to Commutative Algebra, Atiyah-Macdonald
    • Complete Version (1.0)
  • Algebraic Geometry, Hartshorne.
    • Including Exercises
    • Updated to Chap.4
  • Éléments de géométrie algébrique, Grothendieck.
    • Le langage des schémas (Updated to Chap.1 Sec.6)
  • Fondements de la Géometrie Algébrique, Grothendieck
    • Technique de descente et théorèmes d'existence en géométrie algébrique (Updated to II: Le théorème d'existence en théorie formelle des modules)
    • Théorème de dualité pour les faisceaux algébriques cohérents
  • Théorie des topos, Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4). Dirigé par M. Artin, A. Grothendieck
  • Algebraic Topology, Hatcher.
    • Updated to Chap.4
  • Categories for Working Mathematicians.
    • Updated to Chap.8
  • An Introduction to Quantum Field Theory, Peskin and Schroeder
    • Updated to Chap.12
  • Quantum Field Theory, Srednicki
    • Sect.9 ~ 21
  • Principles of Algebraic Geometry, Griffith and Harris
    • Updated to Chap.6
  • Introduction to Complex Analysis in Several Variables, V.Scheidermann
    • Updated to Chap.4
  • Real Analysis, G.B.Folland
    • Updated to Chap.5
  • Algebraic Topology, J.Munkres
    • Updated to Chap.3

Publications

• arXiv: hep-ph/2305.08783 | NeatIBP 1.0, A package generating small-size integration-by-parts relations for Feynman integrals | Joint work with Janko Boehm, Rourou Ma, Zihao Wu and Yang Zhang

• arXiv: hep-ph/2104.06866 | pfd-parallel, a Singular/GPI-Space package for massively parallel multivariate partial fractioning | Joint work with Janko Boehm, et al.

Projects

Here's the archive of projects I've finished and in progress. The vault may include the main note/paper, core code package, pics/videos of result, references, etc. If you are going to cite/use any of these projects, please contact me.

• CUPT 2020 (China Undergraduate Physics Tournament) (Click to expand)

  • Polygon Vortex (Exps., Analysis, PPTs, Paper, Refs.)
  • Magnetic Levitation (Exps., Analysis, Paper, Refs.)
• Seminar of "Science & Society", 2019~2020 (Click to expand)

  • Photovoltaic panel power generation and optimization based on the influence of geographical factors and its application prospects in poverty alleviation (Exps., Data, PPTs, Paper, Refs.)
• Qiangji Talented Class of Physical Experiments (Click to expand)

  • Wireless Charging Device (Exps., Designs, Data, PPTs, Paper, Refs.) (Group Work by Yizhuo Tan, Yuqian Chen, Wenwei Xu, Shuchen Zhang and Hefeng Xu)
  • Michelson Interferometer (Exps., Designs, Data, PPTs, Paper, Refs.) (Lead by Shuchen Zhang)
  • Thermometer for Extremele High and Low Temperature (Exps., Designs, Data, PPTs, Paper, Refs.) (Lead by Hefeng Xu)
• Homework from Prof. Yang Zhang (Click to expand)

  • Check the Feynman Integrals in paper (Codes, Data, Refs)
  • Papers Check (Codes, Data, Refs)
• Intersection Theory and High-loop Feynman Integrals (Click to expand)

  • An Introduction to Intersection Theory in HEP (Note)
  • Winding number of the Fundamental Groups of knots in 3-loop 2-Point Feynman Integral (Code, Note) (In Progress)
  • The Irreducible Representation of the Clliford Algebra of 3-loop 2-Point Feynman Integral and the Intersection Number of Its Galois Correspondence(Code, Note) (In Progress)
• Java Programming Design Final Project (Click to expand)

  • Integrated Simulator of Various Phenomena in Classic Mechanics (Codes)
• Computational Algebra Work(Click to expand)

  • Submodule: SparseRREF package, calling SpaSM functions in Mathematica interface via LibraryLink, currently published on GitHub, still developing.
  • Parallel Buchberger Algorithm via GPI-space, in association with Dr. Janko Böhm, TU Kaiserslautern.
  • Mathematica-Singular interface, currently for pfd-parallel, in association with Dr. Janko Böhm, TU Kaiserslautern.
  • Calculator for Grothendieck ring on higher-dimensional affine space, in association with Jiuci Xu.
  • Buchberger algorithm with non-commutative algebra, in association with Zihao wu, Jiuci Xu and Yingxuan Xu.
• My Bachelor Degree Thesis(Click to expand)

  • ParaBuchberger, a Massive Parallelization of Improved Buchberger Algorithm and Some Applications in HEP-th

Useful Links

Here are some useful links to some other institutes, personnels and information. Hope these can help you out.

• Links (Click to expand)

  • Official Site of University of Science and Technology of China
  • School of Physical Science, USTC
  • Dept. of Modern Physics, USTC
  • Interdisciplinary Center for Theoretical Study, USTC
  • School of Mathematical Science, USTC
  • Peng Huanwu Center for Fundamental Theory in High Energy Physics
  • Institute of High Energy Physics, CAS
  • Institute of Theoretical Physics, CAS
  • Institute of Mathematics, Academy of Mathematics and Systems Science, CAS
  • Yau Mathematical Sciences Center, THU
  • Homepage of Prof. Zuoqin Wang
  • Homepage of Prof. Shiping Liu
  • Homepage of Prof. Xin Tao
  • Homepage of Prof. Yang Zhang
  • Homepage of Junyan Zhang (Refs. in Maths)
  • Official Site of Warming (Students' Magazine of Dept. of Maths.)
  • Official Site of USTCLUG (Linux Users Group)
  • USTCLUG Mirror Site
  • Stack Project
  • Alexander Grothendieck's Work
  • Tim Hosgood's SGA translation program
  • Geometry of Physics in nlab
  • Homepage of Janko Böhm
  • Group Page of Singular/GPI-space Framework
  • Startseite Fraunhofer ITWM - Fraunhofer ITWM
  • Fachbereich Mathematik - Technische Universität Kaiserslautern