Related papers: The equivalence between many-to-one polygraphs and…
Polytopes from subgraph statistics are important in applications and conjectures and theorems in extremal graph theory can be stated as properties of them. We have studied them with a view towards applications by inscribing large explicit…
We investigate affine Berkovich spaces over maximally complete fields and prove that they may be approximated by simpler spaces when the only functions we need to evaluate are polynomials of bounded degree. We derive applications to…
In the present paper we construct a one-to-one correspondence between the set of graph-knots and the set of homotopy classes of looped graphs. Moreover, the graph-knot and the homotopy class constructed from a given knot are related with…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…
Multiple orthogonal polynomials are traditionally studied because of their connections to number theory and approximation theory. In recent years they were found to be connected to certain models in random matrix theory. In this paper we…
We investigate a family of polytopes introduced by E.M.\ Feichtner, A.\ Postnikov and B.\ Sturmfels, which were named nestohedra. The vertices of these polytopes may intuitively be understood as constructions of hypergraphs. Limit cases in…
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple…
We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an…
Presheaves and nominal sets provide alternative abstract models of sets of syntactic objects with free and bound variables, such as lambda-terms. One distinguishing feature of the presheaf-based perspective is its elegant syntax-free…
We show that the K-theory spectra of many assemblers, such as the assembler of polytopes in euclidean, hyperbolic or spherical geometry, as well as the assembler of definable sets, are equivalent to the K-theory spectrum of a squares…
In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani, and topos quantum theory, as developed by Isham, Butterfield and Doring, amongst others. Towards this end, we…
A classical result due to Lovasz (1967) shows that the isomorphism type of a graph is determined by homomorphism counts. That is, graphs G and H are isomorphic whenever the number of homomorphisms from K to G is the same as the number of…
Let $E\subset \mathbb Z$ be a set of positive upper density. Suppose that $P_1,P_2,..., P_k\in \mathbb Z[X]$ are polynomials having zero constant terms. We show that the set $E\cap (E-P_1(p-1))\cap ... \cap (E-P_k(p-1))$ is non-empty for…
We introduce an object that has obvious similarity to the classical one - the algebra of supersymmetric polynomials. Despite the similarity, the known structure theorems on supersymmetric polynomials do not help in the study of the new…
There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result…
This manuscript introduces a finite collection of generalized permutohedra associated to a simple graph. The first polytope of this collection is the graphical zonotope of the graph and the last is the graph-associahedron associated to it.…
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…
We study homotopy theory of the category of spectral sequences with respect to the class of weak equivalences given by maps which are quasi-isomorphisms on a fixed page. We introduce the category of extended spectral sequences and show that…
We define graded Hopf algebras with bases labeled by various types of graphs and hypergraphs, provided with natural embeddings into an algebra of polynomials in infinitely many variables. These algebras are graded by the number of edges and…
We introduce a method, based on the Poincare-Hopf index theorem, to classify solutions to overdetermined problems for fully nonlinear elliptic equations in domains diffeomorphic to a closed disk. Applications to some well-known nonlinear…