Related papers: Visualize Geometric Series
We consider the embedding theory, the approach to gravity proposed by Regge and Teitelboim, in which 4D space-time is treated as a surface in high-dimensional flat ambient space. In its general form, which does not contain artificially…
The closed form for the hyper-Catalan number C[m2,m3,m4,...], which counts the number of subdivisions of a roofed polygon into m2 triangles, m3 quadrilaterals, m4 pentagons, etc., has been known since 1940. In 2025, Wildberger and Rubine…
We prove that many normal subgroups of the extended mapping class group of a surface with punctures are geometric, that is, that their automorphism groups and abstract commensurator groups are isomorphic to the extended mapping class group.…
We introduce the notion of a meromorphic group, weakening somewhat Fujiki's definition We prove that a meromorphic group is meromorphically an extension of a complex torus by a linear algebraic group, generalizing results in [Fujiki, 1978].…
Let k be a field, let G be an affine algebraic k-group and V a finite-dimensional G-module. We say V is rigid if the socle series and radical series coincide for the action of G on each indecomposable summand of V; say V is geometrically…
I will discuss results of three different types in geometry and topology. (1) General vanishing and rigidity theorems of elliptic genera proved by using modular forms, Kac-Moody algebras and vertex operator algebras. (2) The computations of…
We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian…
In this paper, we prove some supercongruences concerning truncated hypergeometric series. For example, we show that for any prime $p>3$ and positive integer $r$, $$ \sum_{k=0}^{p^r-1}(3k+1)\frac{(\frac12)_k^3}{(1)_k^3}4^k\equiv…
We give an arithmetic count of the lines on a smooth cubic surface over an arbitrary field $k$, generalizing the counts that over $\mathbb{C}$ there are $27$ lines, and over $\mathbb{R}$ the number of hyperbolic lines minus the number of…
By the theorem of Mantel $[5]$ it is known that a graph with $n$ vertices and $\lfloor \frac{n^{2}}{4} \rfloor+1$ edges must contain a triangle. A theorem of Erd\H{o}s gives a strengthening: there are not only one, but at least…
In this paper we obtain some novel identities involving trigonometric functions. Let $n$ be any positive odd integer. We show that $$\sum_{r=0}^{n-1}\frac1{1+\sin2\pi\frac{x+r}n+\cos2\pi\frac{x+r}n}…
We show under the assumption that the Tate-Shafarevich group of any elliptic curve over the rational numbers is finite that the cubic surface $x_1^3 + p_1p_2x_2^3 + p_2p_3x_3^3 + p_3p_1x_4^3 = 0$ has a rational point, where $p_1, p_2$ and…
A general method for constructing essential uniform algebras with prescribed properties is presented. Using the method, the following examples are constructed: an essential, natural, regular uniform algebra on the closed unit disc; an…
We give more evidence for Patterson's conjecture on sums of exponential sums, by getting an asymptotic for a sum of quartic exponential sums over $\Q[i].$ Previously, the strongest evidence of Patterson's conjecture over a number field is…
Extensions of Erd\H{o}s-Gallai Theorem for general hypergraphs are well studied. In this work, we prove the extension of Erd\H{o}s-Gallai Theorem for linear hypergraphs. In particular, we show that the number of hyperedges in an $n$-vertex…
We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…
The topic of this paper are (multi-window) Gabor frames for signals over finite Abelian groups, generated by an arbitrary lattice within the finite time-frequency plane. Our generic approach covers simultaneously multi-dimensional signals…
We consider the coefficients in the series expansion at zero of the Weierstrass sigma function \[ \sigma(z) = z \sum_{i, j \geqslant 0} {a_{i,j} \over (4 i + 6 j + 1)!} \left({g_2 z^4 \over 2}\right)^i \left(2 g_3 z^6\right)^j. \] We have…
We present a detailed computational and algebraic study of Mutually Unbiased Bases (MUBs) in finite-dimensional Hilbert spaces, with a particular focus on dimensions 2, 3, 4, and the challenging case of 6. Starting from the Hadamard-phase…
Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present…