Related papers: Visualize Geometric Series
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula…
We investigate the properties of the Extended Fock Basis (EFB) of Clifford algebras introduced in [1]. We show that a Clifford algebra can be seen as a direct sum of multiple spinor subspaces that are characterized as being left…
In this paper, we relate the MacDonald index of a 4d $\mathcal{N}=2$ SCFT with the Hilbert series of the arc space of the Zhu algebra of the corresponding Schur VOA. Using this, we conjecture a simple formula for the MacDonald index of…
Let $G$ be a bridgeless cubic graph. Consider a list of $k$ 1-factors of $G$. Let $E_i$ be the set of edges contained in precisely $i$ members of the $k$ 1-factors. Let $\mu_k(G)$ be the smallest $|E_0|$ over all lists of $k$ 1-factors of…
Geometric number systems, obtained by extending the real number system to include new anticommuting square roots of +1 and -1, provide a royal road to higher mathematics by largely sidestepping the tedious languages of tensor analysis and…
In 1914, Ramanujan presented a collection of 17 elegant and rapidly converging formulae for $\pi$. Among these, one of the most celebrated is the following series:…
This article gives an elementary computational proof of the group law for Edwards elliptic curves following Bernstein, Lange, et al., Edwards, and Friedl. The associative law is expressed as a polynomial identity over the integers that is…
By using contiguous relations for basic hypergeometric series, we give simple proofs of Bailey's $_4\phi_3$ summation, Carlitz's $_5\phi_4$ summation, Sears' $_3\phi_2$ to $_5\phi_4$ transformation, Sears' ${}_4\phi_3$ transformations,…
In their 2004 paper, Stretched Littlewood-Richardson and Kostka Coefficients, King, Tollu, and Toumazet conjectured that if a Littlewood-Richardson coefficient of value 2 is stretched by a factor of N, the resulting coefficient has value…
Thurston conjectured that a closed triangulated 3-manifold in which every edge has degree 5 or 6, and no two edges of degree 5 lie in a common 2-cell, has word-hyperbolic fundamental group. We establish Thurston's conjecture by proving that…
This paper presents, for the first time, a Geometry of Interaction (GoI) interpretation inspired from Hughes-vanGlabbeek (HvG) proof-nets for multiplicative additive linear logic (MALL). Our GoI dynamically captures HvG's geometric…
Recently, Andrews, Hirschhorn and Sellers have proven congruences modulo 3 for four types of partitions using elementary series manipulations. In this paper, we generalize their congruences using arithmetic properties of certain quadratic…
A finite group $G$, its group algebra $R[G]$ over the field of real numbers, any power series $p(t)= a_0+a_1t+ a_{2}t^{2}+ ...$, where $ a_i \geq 0$, and $a_0+a_1+ a_{2}+...= 1$, and simplex $$ S= \{x=\sum_{g\in G}x_gg\in R[G]: \sum_{g\in…
A well-known conjecture of Gross and Zagier states that the values of the higher automorphic Green's function at pairs of points with complex multiplication in the upper half-plane are proportional to the logarithm of an algebraic number.…
In this work, we introduce a new geometry based on the difference angle, an angle defined as the difference of slopes of two lines, together with an axiomatic system for angles. This framework provides a constructive approach to the…
We obtain for the Kempner series (i.e. harmonic series where certain digits are excluded from all denominators, for example the digit 9 in base 10) new representations as geometrically convergent series. The coefficients for these…
In this paper, we study the class of parabolically geometrically finite (PGF) subgroups of mapping class groups, introduced by Dowdall-Durham-Leininger-Sisto. We prove a combination theorem for graphs of PGF groups (and other…
It is shown that the four-parameter family of elliptic functions $$u_D(z)=m_0(m_0+1)\wp(z)+\sum_{i=1}^3 m_i(m_i+1)\wp(z-\omega_i)$$ introduced by Darboux and rediscovered a hundred years later by Treibich and Verdier, is the most general…
Sidorov and Vershik showed that in base $G=\frac{\sqrt{5}+1}{2}$ and with the digits $0,1$ the numbers $x=nG ~(\text {mod} 1)$ have $\aleph_{0}$ expansions for any $n\in\mathbb{Z}$, while the other elements of $(0, \frac{1}{G-1})$ have…
A cubic algebraic equation for the effective parametrizations of the standard gravitational Lagrangian has been obtained without applying any variational principle.It was suggested that such an equation may find application in gravity…