Related papers: The non-peripheral curve graph and divergence in b…
We prove that the inertia groups of all sufficiently-connected, high-dimensional $(2n)$-manifolds are trivial. This is a key step toward a general classification of manifolds in the metastable range. Specifically, for $m \gg 0$ and…
In this paper, let $n\geq2$ be an integer, $P=diag(-I_{n-\kappa},I_\kappa,-I_{n-\kappa},I_\kappa)$ for some integer $\kappa\in[0, n)$, and $\Sigma \subset {\bf R}^{2n}$ be a partially symmetric compact convex hypersurface, i.e., $x\in…
We associate a graph $\mathcal{C}_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | < x,y> \text{is cyclic for all} y\in G\}$ is called…
Let $G$ be a (finite or infinite) group such that $G/Z(G)$ is not simple. The non-commuting, non-generating graph $\Xi(G)$ of $G$ has vertex set $G \setminus Z(G)$, with vertices $x$ and $y$ adjacent whenever $[x,y] \ne 1$ and $\langle x, y…
Let $\gamma_0$ be a curve on a surface $\Sigma$ of genus $g$ and with $r$ boundary components and let $\pi_1(\Sigma)\curvearrowright X$ be a discrete and cocompact action on some metric space. We study the asymptotic behavior of the number…
In a recent paper by a superset of the authors it was proved that for every primitive 3-constrained space $\Gamma$ of finite diameter $\delta$ from Cherlin's catalogue of metrically homogeneous graphs, there exists a finite family $\mathcal…
We prove that every locally Hamiltonian graph with $n\ge 3$ vertices and possibly with multiple edges has at least $3n-6$ edges with equality if and only if it triangulates the sphere. As a consequence, every edge-maximal embedding of a…
To a subshift over a finite alphabet, one can naturally associate an infinite family of finite graphs, called its Rauzy graphs. We show that for a subshift of subexponential complexity the Rauzy graphs converge to the line $\mathbf{Z}$ in…
The total $\sigma$-irregularity is given by $ \sigma_t(G) = \sum_{\{u,v\} \subseteq V(G)} \left(d_G(u) - d_G(v)\right)^2, $ where $d_G(z)$ indicates the degree of a vertex $z$ within the graph $G$. It is known that the graphs maximizing…
The ring of graph invariants is spanned by the basic graph invariants which calculate the number of subgraphs isomorphic to a given graph in other graphs. These subgraphs counting invariants are not algebraically independent. In our view…
The singular set of a generic map $f: M\to F$ of a manifold $M$ of dimension $m\ge 2$ to an oriented surface $F$ is a closed smooth curve $\Sigma(f)$. We study the parity of the number of components of $\Sigma(f)$. The image $f(\Sigma)$ of…
In this note, we prove that for every $0<\sigma<1$, there exists a smooth complete hypersurface $\Sigma$ in $\mathbb{H}^{n+1}$ with prescribed asymptotic boundary $\partial \Sigma=\Gamma$ at infinity, whose principal curvatures…
Given a rank-two sub-Riemannian structure $(M,\Delta)$ and a point $x_0\in M$, a singular curve is a critical point of the endpoint map $F:\gamma\mapsto\gamma(1)$ defined on the space of horizontal curves starting at $x_0$. The typical…
Two major milestones on the road to the full complexity dichotomy for finite-domain constraint satisfaction problems were Bulatov's proof of the dichotomy for conservative templates, and the structural dichotomy for smooth digraphs of…
We describe an algorithm for the exhaustive generation of non-isomorphic graphs with a given number $k \ge 0$ of hamiltonian cycles, which is especially efficient for small $k$. Our main findings, combining applications of this algorithm…
We define and study a special type of hypergraph. A $\sigma$-hypergraph $H= H(n,r,q$ $\mid$ $\sigma$), where $\sigma$ is a partition of $r$, is an $r$-uniform hypergraph having $nq$ vertices partitioned into $ n$ classes of $q$ vertices…
In this paper we introduce the notion of $\Sigma$-colouring of a graph $G$: For given subsets $\Sigma(v)$ of neighbours of $v$, for every $v\in V(G)$, this is a proper colouring of the vertices of $G$ such that, in addition, vertices that…
The invisibility graph $I(X)$ of a set $X \subseteq \mathbb{R}^d$ is a (possibly infinite) graph whose vertices are the points of $X$ and two vertices are connected by an edge if and only if the straight-line segment connecting the two…
Let $G$ be a group such that $G/Z(G)$ is finite and simple. The non-commuting, non-generating graph $\Xi(G)$ of $G$ has vertex set $G \setminus Z(G)$, with edges corresponding to pairs of elements that do not commute and do not generate…
We show the existence of Lebesgue-equivalent conservative and ergodic $\sigma$-finite invariant measures for a wide class of one-dimensional random maps consisting of piecewise convex maps. We also estimate the size of invariant measures…