Related papers: Quadrangulations and the Lov\'asz complex
We derive upper and lower bounds on the degree $d$ for which the Lov\'asz $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show…
We study scattering processes on $p$-adic multiloop surfaces represented as multiloop infinite graphs with total valence in each vertex equal $p+1$. They all are spaces of the constant negative curvature since they are quotients of the…
Inside a symplectic leaf of the cluster Poisson variety of Borel-decorated $PGL_2$ local systems on a punctured surface is an isotropic subvariety we will call the chromatic Lagrangian. Local charts for the quantized cluster variety are…
Given graphs $X$ and $Y$, we define two conic feasibility programs which we show have a solution over the completely positive cone if and only if there exists a homomorphism from $X$ to $Y$. By varying the cone, we obtain similar…
Motivated by a recent work of Chen-Zheng [8] on Strominger space forms, we prove that a compact Hermitian surface with pointwise constant holomorphic sectional curvature with respect to a Gauduchon connection $\nabla^t $ is either K\"ahler,…
The symplectomorphism group of a 2-dimensional surface is homotopy equivalent to the orbit of a filling system of curves. We give a generalization of this statement to dimension 4. The filling system of curves is replaced by a decomposition…
In this paper we study a pair of numerical parameters associated to a graph $G$. One the one hand, one can construct $\text{Hom}(K_2, G)$, a space of homomorphisms from a edge $K_2$ into $G$ and study its (topological) connectivity. This…
We give criteria for the existence of bifurcations of symmetric periodic orbits in reversible Hamiltonian systems in terms of local equivariant Lagrangian Rabinowitz Floer homology. As an example, we consider the family of the direct…
We study real Lagrangian analytic surfaces in C^2 with a non-degenerate complex tangent. Webster proved that all such surfaces can be transformed into a quadratic surface by formal symplectic transformations of C^2. We show that there is a…
A multigraph is locally irregular if the degrees of the end-vertices of every multiedge are distinct. The locally irregular coloring is an edge coloring of a multigraph $G$ such that every color induces a locally irregular submultigraph of…
A graph G is locally isometric if the subgraph induced by the neighbourhood of every vertex is an isometric subgraph of G. It is shown that the hamilton cycle problem for locally isometric graphs with maximum degree at most 8 is…
In [10] it was shown that there is a mapping class group-equivariant deformation retraction of the Teichm\"uller space of a closed surface onto a CW complex with dimension equal to the virtual cohomological dimension of the mapping class…
Ozsvath and Szabo have established an algebraic relationship, in the form of a spectral sequence, between the reduced Khovanov homology of (the mirror of) a link L in S^3 and the Heegaard Floer homology of its double-branched cover. This…
The Hom complex $\mathrm{Hom}(G, H)$ of graphs is a simplicial complex associated to a pair of graphs $G$ and $H$, and its homotopy type is of interest in the graph coloring problem and the homomorphism reconfiguration problem. In this…
Let G be a noncompact real semisimple Lie group. The regular coadjoint orbits of G can be partitioned into a finite set of types. We show that on each regular orbit, the Iwasawa decomposition induces a left-invariant foliation which is…
A quadrangular embedding of a graph in a surface $\Sigma$, also known as a quadrangulation of $\Sigma$, is a cellular embedding in which every face is bounded by a $4$-cycle. A quadrangulation of $\Sigma$ is minimal if there is no…
A fundamental result in the study of graph homomorphisms is Lov\'asz's theorem that two graphs are isomorphic if and only if they admit the same number of homomorphisms from every graph. A line of work extending Lov\'asz's result to more…
For a locally linear graph $G$, which is a graph built out of triangles, it is possible to construct another graph $G^*$ that would consist of triangles of $G$ as vertices, while sharing (or not sharing) a common vertex between a pair of…
It is proved that whenever two aperiodic repetitive tilings with finite local complexity have homeomorphic tiling spaces, their associated complexity functions are asymptotically equivalent in a certain sense (which implies, if the…
L. Lov\'asz and B. Szegedy proved in 2006 that the limits of convergent graph sequences can be described by measurable symmetric functions $W: [0, 1]\times [0, 1]\to [0, 1]$ called graphons. In our present paper we investigate the structure…