Related papers: New 5-designs---revisited
Many theories which unify gravity with the other known forces of nature predict the existence of an intermediate-range ``fifth force'' similar to gravity. Such a force could be manifest as a deviation from the gravitational inverse-square…
One of the two basic theorems in [5] on the existence of solutions of PDEs is improved with the use of a group analysis type argument.
Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cutting-plane theorems in Gomory--Johnson's model of cut generating functions.
In this note, we prove the last remaining case of the original 15 two-term supercongruence conjectures for sporadic sequences. The proof utilizes a new representation for this sequence (due to Gorodetsky) as the constant term of powers of a…
We prove the existence conjecture for combinatorial designs, answering a question of Steiner from 1853. More generally, we show that the natural divisibility conditions are sufficient for clique decompositions of simplicial complexes that…
In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…
We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…
We revisit the notion of one-sided recognizability of morphisms and its relation to two-sided recognizability.
Some mistaken reasonings at the end of the paper omitted.
These are extended notes of a course given at Tulane University for the 2015 Clifford Lectures. Their aim is to present structure results for group schemes of finite type over a field, with applications to Picard varieties and automorphism…
5-brane configurations describing 5d field theories are promoted to an M theory description a la Witten in terms of polynomials in two complex variables. The coefficients of the polynomials are the Coulomb branch. This picture resolves…
Brane actions with chiral bosons present special challenges. Recent progress in the description of the two main examples -- the M theory five-brane and the heterotic string -- is described. Also, double dimensional reduction of the M theory…
In this note, we establish some new results on some special types of function algebras and also give new proofs to some existing ones
A new Dimensional Regularization of $\gamma_5$ is proposed. Cyclicity and Lorentz covariance are enforced. The extension to generic dimension is based on the integral representation of the trace of gamma's, presented in a previous paper.
We explore the properties of five-dimensional supersymmetric gauge theories living on $5$-brane webs in orientifold $5$-plane backgrounds. This allows constructing quiver gauge theories with alternating $USp(2N)$ and $SO(N)$ gauge groups…
This paper shows how to obtain the key concepts and notations of Garside theory by using the Composition--Diamond lemma. We also show in some cases the greedy normal form is exactly a Gr\"obner--Shirshov normal form and a family of a…
In a 1977 paper, Steffens identified an elegant criterion for determining when a countable graph has a perfect matching. In this paper, we will investigate the proof-theoretic strength of this result and related theorems. We show that a…
An interpretation of selected parts of Newton's Principia, with modern notation and methods. Keplers Laws are derived from an inverse square law using Newton's methods.
In this article, the author provides full details of the proof of the concordance/isotopy problem. The first published proof, [5], accomplished this task only partially since there was an error, see the erratum [6], which damaged the main…
We compute modular forms known to arise from the order 5 generators of the 5-local Adams-Novikov spectral sequence 2-line, generalizing and contextualizing previous computations of M. Behrens and G. Laures. We exhibit analogous computations…