arXiv research

We describe unicorn paths in the arc graph and show that they form 1-slim triangles and are invariant under taking subpaths. We deduce that all arc graphs are 7-hyperbolic. Considering the same paths in the arc and curve graph, this also shows that all curve graphs are 17-hyperbolic, including closed surfaces.

We explain and generalise a construction due to Gromov to realise geometric small cancellation groups over graphs of groups as fundamental groups of non-positively curved 2-dimensional complexes of groups. We then give conditions so that the hyperbolicity and some finiteness properties of the small cancellation quotien…

Method guarantees coherent factuality for language model outputs in reasoning tasks.

The paper proves that certain spaces are injective and Helly graphs.

Study area and coarea formulas for graphs and submanifolds in Carnot groups.

We give a monoidal presentation of Coxeter and braid 2-groups, in terms of decorated planar graphs. This presentation extends the Coxeter presentation. We deduce a simple criterion for a Coxeter group or braid group to act on a category.

For finite reflection groups of types A and B, we determine the diameter of the graph whose vertices are reduced words for the longest element and whose edges are braid relations. This is deduced from a more general theorem that applies to supersolvable hyperplane arrangements.

Our main theorem identifies a class of totally geodesic subgraphs of the 1-skeleton of the pants complex, each isomorphic to the product of two Farey graphs. We deduce the existence of many convex planes in the 1-skeleton of the pants complex.

The face pairing graph of a 3-manifold triangulation is a 4-valent graph denoting which tetrahedron faces are identified with which others. We present a series of properties that must be satisfied by the face pairing graph of a closed minimal P^2-irreducible triangulation. In addition we present constraints upon the co…

Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there is a "sufficient" collection of surfaces in M, then the fundamental group of M is…

Study automorphism groups of Artin groups, proving rigidity and classification results.

The study examines how automorphism growth rates of a group can be deduced from its simpler decompositions.

We define algebraic structures on graph cohomology and prove that they correspond to algebraic structures on the cohomology of the spaces of imbeddings of S^1 or R into R^n. As a corollary, we deduce the existence of an infinite number of nontrivial cohomology classes in Imb(S^1,R^n) when n is even and greater than 3. …

We show that the identity component of the group of diffeomorphisms of a closed oriented surface of positive genus admits many unbounded quasi-morphisms. As a corollary, we also deduce that this group is not uniformly perfect and its fragmentation norm is unbounded, answering a question of Burago--Ivanov--Polterovich. …

Artin groups have finite stature based on vertex groups.

We extend Jendrol' and Skupień's results about the local structure of maps on the 2-sphere: In this paper we show that if a polyhedral map $G$ on a surface $\M$ of Euler characteristic $χ(\M) \le 0$ has more than $126|χ(\M)|$ vertices, then $G$ has a vertex with "nearly" non-negative combinatorial curvature. As a corol…

In this paper, we study curvature dimension conditions on birth-death processes which correspond to linear graphs, i.e., weighted graphs supported on the infinite line or the half line. We give a combinatorial characterization of Bakry and Émery's $CD(K,n)$ condition for linear graphs and prove the triviality of edge w…

We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces. We deduce a classification of all 4-manifolds with finite fundamental group and …

Finite stature proven for cube complexes with cyclonormal edges.

The aim of this text is to establish some relations between Markov chains in Dirichlet Environments on directed graphs and certain hypergeometric integrals associated with a particular arrangement of hyperplanes. We deduce from these relations and the computation of the connexion obtained by moving one hyperplane of th…

We study the topology of a space parametrizing stable tropical curves of genus g with volume 1, showing that its reduced rational homology is canonically identified with both the top weight cohomology of M_g and also with the genus g part of the homology of Kontsevich's graph complex. Using a theorem of Willwacher rela…

After shortly recalling the construction of the Khovanov-Kuperberg algebras, we give a characterisation of indecomposable web-modules. It says that a web-module is indecomposable if and only if one can deduce it directly from the Kuperberg bracket (via a Schur lemma argument). The proofs relies on the construction of i…

A simplicial complex is called negatively curved if all its simplices are isometric to simplices in hyperbolic space, and it satisfies Gromov's Link Condition. We prove that, subject to certain conditions, a compact graph of spaces whose vertex spaces are negatively curved 2-complexes, and whose edge spaces are points …

We study dismantling properties of the arc, disc and sphere graphs. We prove that any finite subgroup H of the mapping class group of a surface with punctures, the handlebody group, or Out(F_n) fixes a filling (resp. simple) clique in the appropriate graph. We deduce realisation theorems, in particular the Nielsen Real…

The covering spectrum is a geometric invariant of a Riemannian manifold, more generally of a metric space, that measures the size of its one-dimensional holes by isolating a portion of the length spectrum. In a previous paper we demonstrated that the covering spectrum is not a spectral invariant of a manifold in dimens…

We introduce a modified non-linear heat equation $\partial_t u = Δu + Γu$ as a substitute of $\log P_t f$ where $P_t$ is the heat semigroup. We prove an exponential decay of $Γu$ under the Bakry Emery curvature condition $CD(K,\infty)$ and prove the Li-Yau inequality $-Δu_t \leq \frac{n}{2t}$ under the Bakry Emery curv…

The study shows that certain groups can be uniquely identified by their finite abelian summands.

A clover is a framed trivalent graph with some additional structure, embedded in a 3-manifold. We define surgery on clovers, generalizing surgery on Y-graphs used earlier by the second author to define a new theory of finite-type invariants of 3--manifolds. We give a systematic exposition of a topological calculus of c…

We study the Fibered Isomorphism Conjecture of Farrell and Jones in L-theory for groups acting on trees. In several cases we prove the conjecture. This includes wreath products of abelian groups and free metabelian groups. We also deduce the conjecture in pseudoisotopy theory for these groups. Finally in B of Theorem 1…

We prove the equivalence between a relative bottleneck property and being quasi-isometric to a tree-graded space. As a consequence, we deduce that the quasi-trees of spaces defined axiomatically by Bestvina-Bromberg-Fujiwara are quasi-isometric to tree-graded spaces. Using this we prove that mapping class groups quasi-…

We prove several Liouville theorems for F-harmonic maps from some complete Riemannian manifolds by assuming some conditions on the Hessian of the distance function, the degrees of F(t) and the asymptotic behavior of the map at infinity. In particular, the results can be applied to F-harmonic maps from some pinched mani…

New IPL graphs identified and conditions for their projective embeddings established.

We study constant mean curvature 1/2 surfaces in H2xR that admit a compactification of the mean curvature operator. We show that a particular family of complete entire graphs over H2 admits a structure of infinite dimensional manifold with local control on the behaviors at infinity. These graphs also appear to have a h…

Proposes a co-hub node model for multiview graph learning.

We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We approach this using the theory of modular operads by introducing a new operad governing associative algebras with involution. This operad is Koszul an…

We study the problem of finding a minimal graph with prescribed boundary data in arbitrary dimension and codimension. Existence, uniqueness, stability and regularity are treated. We first present the well-known results for codimension one: Jenkins-Serrin's existence theorem, convexity properties of the area which give …

In this paper we establish some parabolicity criteria for maximal surfaces immersed into a Lorentzian product space of the form $M^2\times\mathbb{R}_1$, where $M^2$ is a connected Riemannian surface with non-negative Gaussian curvature and $M^2\times\mathbb{R}_1$ is endowed with the Lorentzian product metric $<,>=<,>_M…

Well-quasi-orders proved on embedded planar graphs.

Study on stable translation lengths of surface homeomorphisms and their approximations.

In this work, we address semi-supervised classification of graph data, where the categories of those unlabeled nodes are inferred from labeled nodes as well as graph structures. Recent works often solve this problem via advanced graph convolution in a conventionally supervised manner, but the performance could degrade …

The paper studies graph products of groups and recovers graph and vertex groups under certain conditions.

The Gromov-Eliashberg theorem says that the group of symplectomorphisms of a symplectic manifold is C^0-closed in the group of diffeomorphisms. This can be translated into a statement about the Lagrangian submanifolds which are graphs of symplectomorphisms. It is also known that such Lagrangian submanifolds are locally…

Loops in surfaces and chord diagrams are studied with graph factorizations and grammars.

We say a graph has property $\mathcal{P}_{g,p}$ when it is an induced subgraph of the curve graph of a surface of genus $g$ with $p$ punctures. Two well-known graph invariants, the chromatic and clique numbers, can provide obstructions to $\mathcal{P}_{g,p}$. We introduce a new invariant of a graph, the 'nested complex…

Heterophily affects GNN robustness; separating ego- and neighbor-embeddings improves defense.

Canonical correlation analysis (CCA) is a powerful technique for discovering whether or not hidden sources are commonly present in two (or more) datasets. Its well-appreciated merits include dimensionality reduction, clustering, classification, feature selection, and data fusion. The standard CCA however, does not expl…

Associated to an embedded surface in the $3$-sphere, we construct a diagram of fundamental groups, and prove that it is a complete invariant, wherefrom we deduce complete invariants of handlebody links, tunnels of handlebody links, and spatial graphs.The main ingredients in the proof of the completeness are a generaliz…

Graphs with bounded degrees and non-negative Ollivier-Ricci curvature have subexponential growth and diffusive random walk.