Related papers: The Refined Lecture Hall Theorem via Abacus Diagra…
Poisson-Lie duality provides an algebraic extension of conventional Abelian and non-Abelian target space dualities of string theory and has seen recent applications in constructing quantum group deformations of holography. Here we…
In this note, let $\A$ be a finitary hereditary abelian category with enough projectives. By using the associativity formula of Hall algebras, we give a new and simple proof of the main theorem in \cite{Yan}, which states that the…
By using of Euler's difference table, we obtain simple explicit formula for the decomposition of $k$-th tensor power of adjoint representation of $A_n$ Lie algebra at $2 k \le{n+1}$.
Formalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a comprehensive overview of the Lebesgue Differentiation…
Robertson and Seymour proved two fundamental theorems about tangles in graphs: the tree-of-tangles theorem, which says that every graph has a tree-decomposition such that distinguishable tangles live in different nodes of the tree, and the…
The paper is devoted to a proof of the de Bruijn-Erd\"os theorem in incidence geometry based on the Ph. Hall's marriage theorem (the theorem about the systems of distinct representatives).
Recently, George Andrews has given a Glaisher style proof of a finite version of Euler's partition identity. We generalise this result by giving a finite version of Glaisher's partition identity. Both the generating function and bijective…
We prove that two general Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. We apply the same techniques to give a new simple proof…
Motivated by a recent paper of Straub, we study the distribution of integer partitions according to the length of their largest hook, instead of the usual statistic, namely the size of the partitions. We refine Straub's analogue of Euler's…
We give a simple, short and self-contained presentation of Bourgain's discretised projection theorem from 2010, which is a fundamental tool in many recent breakthroughs in geometric measure theory, harmonic analysis, and homogeneous…
In this paper, we give a geometrization and a generalization of a lemma of differential Galois theory. This geometrization, in addition of giving a nice insight on this result, offers us the occasion to investigate several points of…
The paper contains a very simple proof of the classical Hasumi's theorem that each usco mapping defined on an extremally disconnected space has a continuous selection. The paper also contains a very simple proof of a recent result about…
In this paper, we present the Baumkuchen Theorem related to the combination of divided Baumkuchen pieces. It can be proved using the basic properties of elementary geometry. We also apply some lemmas to prove the Pizza Theorem.
We develop the theory of algebraic groups over real closed fields and apply the results to construct a geometric object $\mathcal{B}$ and to prove that $\mathcal{B}$ is an affine $\Lambda$-building. We use a model theoretic transfer…
We study the partition function of the compactified 5D U(1) gauge theory (in the Omega-background) with a single adjoint hypermultiplet, calculated using the refined topological vertex. We show that this partition function is an example a…
We introduce the notion of extended admissible dissections of a marked surface, building upon the notion of an admissible dissection of a marked surface by Amiot--Plamondon--Schroll. For each extended admissible dissection we construct a…
We give a geometric realization of the whole universal enveloping algebra of the Borcherds-Bozec algebra using quiver with loops via the motivic semi-derived Hall algebra approach. In particular, using acyclic quivers, we give a geometric…
The graph reconstruction conjecture asserts that every simple graph on at least three vertices is uniquely determined by its deck of vertex-deleted subgraphs. In this expository article we survey the conjecture and present an…
For a positive integer $r$, George Andrews proved that the set of partitions of $n$ in which odd multiplicities are at least $2r + 1$ is equinumerous with the set of partitions of $n$ in which odd parts are congruent to $2r + 1$ modulo $4r…
Let $A$ be a finite-dimensional algebra over an algebraically closed field. The problem of constructing indecomposable $A$-modules inductively from simple ones by means of exact sequences - called accessibility - is the starting point of…