Related papers: Eight lectures on quadratic reciprocity

We introduce the notion of quadratic hull of a linear code, and give some of its properties. We then show that any symmetric bilinear multiplication algorithm for a finite-dimensional algebra over a field can be obtained by…

We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We…

We propose a set of 4 recurrence relations whose linear combination gives the number of group invariants, equivalently the dimension of the invariant subspace, in the tensor product of an arbitrary number of adjoint representations of the…

We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable…

We show that in the quantum case any work distribution can be related to an equilibrium correlation function in an extended Hilbert space. As a consequence of this identification the Crooks relation is a restatement of the detailed balance…

In this paper, we introduce the sign q-permutation representation of the Iwahori-Hecke algebra on the tensor space of the graded vector space. We establish Schur-Weyl reciprocity between the quantum general super Lie algebra and the…

We provide a simple method to recognize classical orthogonal polynomials on lattices defined only by their coefficients of the three term recurrence relation.

The q-characters of quantum loop algebras are very important objects in representation theory. In [20], we showed that q-characters factor as a power series of the form studied in [9] times a character, an important phenomenon which had…

We give formulas for the number of representations of non negative integers by various quadratic forms. We also give evaluations in the case of sum of two cubes (cubic case) and the quintic case, as well. We introduce a class of generalized…

Let $h(-n)$ be the class number of the imaginary quadratic field with discriminant $-n$. We establish an asymtotic formula for correlations involving $h(-n)$ and $h(-n-l)$, over fundamental discriminants that avoid the congruence class…

We explicitly study Kato's residue homomorphisms in Milnor $K$-theory, which are closely related to Contou-Carr\`ere symbols. As applications we establish several reciprocity laws for certain locally defined maps on $K$-groups that are…

I formalize important theorems about classical propositional logic in the proof assistant Coq. The main theorems I prove are (1) the soundness and completeness of natural deduction calculus, (2) the equivalence between natural deduction…

The Symmetric Imprimitivity Theorem provides a Morita equivalence between two crossed products of induced C*-algebras. Quigg and Spielberg proved, by indirect but ingenious methods, that the symmetric imprimitivity theorem has an analog for…

A formulation of quaternionic quantum mechanics ($\mathbb{H}$QM) is presented in terms of a real Hilbert space. Using a physically motivated scalar product, we prove the spectral theorem and obtain a novel quaternionic Fourier series. After…

Quantum mechanics in the Rigged Hilbert Space formulation describes quasistationary phenomena mathematically rigorously in terms of Gamow vectors. We show that these vectors exhibit microphysical irreversibility, related to an intrinsic…

The Descartes circle theorem states that if four circles are mutually tangent with disjoint intersion, then their curvatures (or "bends) b_j = 1/r_j satisfy the relation (b_1 + b_2 + b_3 + b_4)^2 = 2(b_1^2 + b_2^2 + b_3^2 + b_4^2). We show…

All physical observations are made relative to a reference frame, which is a system in its own right. If the system of interest admits a group symmetry, the reference frame observing it must transform commensurately under the group to…

Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness…

The tensor product postulate of quantum mechanics states that the Hilbert space of a composite system is the tensor product of the components' Hilbert spaces. All current formalizations of quantum mechanics that do not contain this…

In this note, we prove that under some conditions, certain products of integers related to Gauss factorials are always quadratic residues.