Related papers: The Conway-Sloane calculus for 2-adic lattices
In 1983, Conway and Gordon proved that for every spatial complete graph on six vertices, the sum of the linking numbers over all of the constituent two-component links is odd, and that for every spatial complete graph on seven vertices, the…
We study rational curves of degree two on a smooth sextic 4-fold and their counting invariant defined using Donaldson-Thomas theory of Calabi-Yau 4-folds. By comparing it with the corresponding Gromov-Witten invariant, we verify a…
Let $n$ and $k$ be positive integers. We denote by $v_2(n)$ the 2-adic valuation of $n$. The Stirling numbers of the first kind, denoted by $s(n,k)$, counts the number of permutations of $n$ elements with $k$ disjoint cycles. In recent…
In this paper we prove the main conjectures of Berkovich and Jagy about weighted averages of representation numbers over an S-genus of ternary lattices (defined below) for any odd squarefree S \in N. We do this by reformulating them in…
Different recently developed Krylov space methods for solving linear systems are studied and compared for the solution of the Dirac equation on the lattice. Stabilized Biconjugate Gradient (BiCGstab2) is shown to be a robust and efficient…
We present a proof system for a multimodal logic, based on our previous work on a multimodal Martin-Loef type theory. The specification of modes, modalities, and implications between them is given as a mode theory, i.e. a small 2-category.…
Menon's proof of the preservation of log-concavity of sequences under convolution becomes simpler when adapted to 2-sided infinite sequences. Under assumption of log-concavity of two 2-sided infinite sequences, the existence of the…
In most text books on number theory Wilson Theorem is proved by applying Lagrange theorem concerning polynomial congruences.Hardy and Wright also give a proof using cuadratic residues. In this article Wilson theorem is derived as a…
An exposition on "Spacing of zeros of Hecke L-functions and the class number problem" by Conrey and Iwaniec; any errors are my own.
This paper extends the dual calculus with inductive types and coinductive types. The paper first introduces a non-deterministic dual calculus with inductive and coinductive types. Besides the same duality of the original dual calculus, it…
Recently, Z.-W. Sun introduced two kinds of polynomials related to the Delannoy numbers, and proved some supercongruences on sums involving those polynomials. We deduce new summation formulas for squares of those polynomials and use them to…
In 1866, Charles Ludwidge Dodgson published a paper concerning a method for evaluating determinants called the condensation method. His paper documented a new method to calculate determinants that was based on Jacobi's Theorem. The…
Quadratic algebras are generalizations of Lie algebras; they include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical…
In this paper will be proved an inequality regarding $v_2(a^{b}-c^{d})$. Using this formula it will be possible to have informations about the divisibility of 2 of this function without computing it. Then, will be studied the behavior of…
A well-known conjecture states that the Whitney numbers of the second kind of a geometric lattice (simple matroid) are logarithmically concave. We show this conjecture to be equivalent to proving an upper bound on the number of new copoints…
In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard…
We show that the second coefficient of the Conway knot polynomial is annihilated by the Hamiltonian constraint of canonically quantized general relativity in the loop representation. The calculations are carried out in a fully regularized…
We address the problem of the existence of a Lagrangian for a given system of linear PDEs with constant coefficients. As a subtask, this involves bringing the system into a pre-Lagrangian form, wherein the number of equations matches the…
Firstly, we provide a different proof of an important lemma in Buzzard and Calegari's work on slopes of overconvergent 2-adic modular forms via nonarchimedean linear Hodge-Newton decomposition. The lemma shows that two equivalent matrices…
We propose a modified condition of consistency on cubic lattices for some special classes of two-dimensional discrete equations and prove that the discrete nonlinear equations defined by determinants of matrices of orders N > 2 are…