Related papers: Perfect matchings for the three-term Gale-Robinson…
James Maynard has taken the analytic number theory world by storm in the last decade, proving several important and surprising theorems, resolving questions that had seemed far out of reach. He is perhaps best known for his work on small…
A new computational method that uses polynomial equations and dynamical systems to evaluate logical propositions is introduced and applied to Goedel's incompleteness theorems. The truth value of a logical formula subject to a set of axioms…
An algorithm for calculating two-loop propagator type Feynman diagrams with arbitrary masses and external momentum is proposed. Recurrence relations allowing to express any scalar integral in terms of basic integrals are given. A minimal…
In 1969, H. Davenport and W. M. Schmidt studied the problem of approximation to a real number \xi by algebraic integers of degree at most three. They did so, using geometry of numbers, by resorting to the dual problem of finding…
The famous three-body problem can be traced back to Isaac Newton in 1680s. In the 300 years since this "three-body problem" was first recognized, only three families of periodic solutions had been found, until 2013 when \v{S}uvakov and…
In this paper, we give the first combinatorial proof of a rationality scheme for the generating series of maps in positive genus enumerated by both vertices and faces, which was first obtained by Bender, Canfield and Richmond in 1993 by…
In [A. Berele, Computing super matrix invariants, {\it Advances in Applied Math. \bf48} (2012), 273--289.] we defined integrals that approximated the Poincar\'e series of the invariants and concomitants of the general linear Lie supergroup…
We exhibit a three parameter infinite family of quadratic recurrence relations inspired by the well known Somos sequences. For one infinite subfamily we prove that the recurrence generates an infinite sequence of integers by showing that…
Using Je\v{r}\'abek 's framework for probabilistic reasoning, we formalize the correctness of two fundamental RNC^2 algorithms for bipartite perfect matching within the theory VPV for polytime reasoning. The first algorithm is for testing…
In the paper [1] (arXiv:math/0408333) the authors discuss two possible definitions of the relative Cheeger-Simons characters, the second one fitting into a long exact sequence. Here we relate that picture to the one of the relative Deligne…
Denote by $\Gamma$ the set of pointwise good sequences. Those are sequences of real numbers $(a_k)$ such that for any measure preserving flow $(U_t)_{t\in \mathbb R}$ on a probability space and for any $f\in L^\infty$, the averages…
In 1980, Balasubramanian and Parthasarathy introduced the bivariate permanent polynomials of graphs and conjectured that this graph polynomial is a graph characterising polynomial, that is, any two graphs with the same bivariate permanent…
This paper describes a new approach to classifying integral factorial ratio, obtaining in particular a direct proof of a result of Bober. These results generalize an observation going back to Chebyshev that $(30n)!n!/((15n)!(10n)!(6n)!)$ is…
New sequences of orthogonal polynomials with ultra-exponential weight functions are discovered. In particular, it gives an explicit solution to the Ditkin-Prudnikov problem (1966). The 3-term recurrence relations, explicit representations,…
In a three-body system of identical bosons interacting through a large S-wave scattering length $a$, there are several sets of Efimov features related by discrete scale invariance. Effective field theory was recently used to derive…
We study the existence of perfect matchings in suitably chosen induced subgraphs of random biregular bipartite graphs. We prove a result similar to a classical theorem of Erdos and Renyi about perfect matchings in random bipartite graphs.…
Let $p(n)$ be the ordinary partition function. In the 1960s Atkin found a number of examples of congruences of the form $p( Q^3 \ell n+\beta)\equiv0\pmod\ell$ where $\ell$ and $Q$ are prime and $5\leq \ell\leq 31$; these lie in two natural…
A set $R\subset \mathbb{N}$ is called rational if it is well-approximable by finite unions of arithmetic progressions. Examples of rational sets include many classical sets of number-theoretical origin such as the set of squarefree numbers,…
Ramsey Theorem [6] for pairs is intuitionistically but not classically provable: it is equivalent to a subclassical principle [2]. In this note we show that Ramsey may be restated in an intuitionistically provable form, which is informative…
In 1959, N. J. Fine showed that the sum of the multinomial coefficients corresponding to the partitions of a natural number $n$ into $r$ parts is a binomial coefficient: $$ \sum_{\substack{k_1 + k_2 + k_3 + {}\ldots = r \\ k_1 + 2k_2 + 3k_3…