Related papers: The Canada Day Theorem

We establish metric graph counterparts of Pleijel's theorem on the asymptotics of the number of nodal domains $\nu_n$ of the $n$-th eigenfunction(s) of a broad class of operators on compact metric graphs, including Schr\"odinger operators…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We generalize the Davenport transform and use it to prove that, for a (possibly non-commutative) cancellative semigroup $\mathbb A = (A, +)$ and non-empty subsets $X,Y$ of $A$ such that the subsemigroup generated by $Y$ is commutative, we…

Dyson's integration theorem is widely used in the computation of eigenvalue correlation functions in Random Matrix Theory. Here we focus on the variant of the theorem for determinants, relevant for the unitary ensembles with Dyson index…

In order to find a causal explanation for data presented in the form of covariance and concentration matrices it is necessary to decide if the graph formed by such associations is a projection of a directed acyclic graph (dag). We show that…

We show that every graph $G$ on $n$ vertices with $\delta(G) \geq (1/2+\varepsilon)n$ is spanned by a complete blow-up of a cycle with clusters of nearly uniform size $\Omega(\log n)$. The proof is based on a recently introduced approach…

We show that doubling at some large scale in a Cayley graph implies uniform doubling at all subsequent scales. The proof is based on the structure theorem for approximate subgroups proved by Green, Tao and the first author. We also give a…

Ideles and adeles can be viewed as a generalization of Minkowski theory, in which embedding of a number field to the Cartesian product of its completions at the archimedean valuation is generalized to an embedding of the Cartesian product…

We prove that for every finitely generated subgroup of a virtually connected Lie group which admits a finite dimensional model for the classifying space for proper actions the assembly map in algebraic K-theory is split injective. We also…

Given a particular prescription for the Einstein field equations (EFE's), it is important to have general protective theorems that lend support to it. The prescription of data on a timelike hypersurface for the (n + 1)-d EFE's arises in…

Following ideas of V. Batyrev, we prove an analogue of the Cone Theorem for the closed cone of nef curves: an enlargement of the cone of nef curves is the closure of the sum of a K_X-non-negative portion and countably many K_X-negative…

Cauchy's interlace theorem states that the characteristic polynomial of a symmetric matrix is interlaced by the characteristic polynomial of any principle submatrix. We prove this in two sentences using only the linearity of the…

Aiming to provide weak as possible axiomatic assumptions in which one can develop basic linear algebra, we give a uniform and integral version of the short propositional proofs for the determinant identities demonstrated over $GF(2)$ in…

We prove a Cayley-Bacharach-type theorem for points in projective space $\mathbb{P}^n$ that lie on a complete intersection of $n$ hypersurfaces. This is made possible by new bounds on the growth of the Hilbert function of almost complete…

If A is an n \times n matrix over a ring R satisfying the polynomial identity [x,y][u,v]=0, then an invariant Cayley-Hamilton identity of the form \Sigma A^{i}c_{i,j}A^{j}=0 with c_{i,j}\in R and c_{n,n}=(n!)^2 holds for A.

We define united KK-theory for real C*-algebras A and B such that A is separable and B is sigma-unital, extending united K-theory in the sense that KK\crt(\R, B) = K\crt(B). United KK-theory contains real, complex, and self-conjugate…

We construct a polynomial-time algorithm which given a graph $\Gamma$ finds the full set of non-equivalent Cayley representations of $\Gamma$ over the group $D\cong C_p\times C_{p^k}$, where $p\in\{2,3\}$ and $k\geq 1$. This result implies…

Finding identities in nonassociative algebras plays an important role in the study of properties of these algebras. In this paper, we present some identities in alternative algebras and in algebras obtained by the Cayley-Dickson process.…

The famous Dirac's Theorem gives an exact bound on the minimum degree of an $n$-vertex graph guaranteeing the existence of a hamiltonian cycle. We prove exact bounds of similar type for hamiltonian Berge cycles in $r$-uniform, $n$-vertex…

Let $A$ be a separable, unital and exact $C^*$-algebra satisfying the universal coefficient theorem. We prove uniqueness theorems up to unitary conjugacy for unital, full and nuclear maps from $A$ into ultraproducts of finite von Neumann…