Showing 20 papers (Total: 83842 papers, 48355 authors in database)
On the Homotopy Type of the Polyhedral Join over the Independence Complex of a Forest
Published
• View Publication
• BIB
We consider a certain class of simplicial complexes which includes the independence complexes of forests. We show that if a simplicial complex $K$ belongs to this class, then the polyhedral join $\mathcal{Z}^*_{K}(\underline{X}, \emptyset)$ is homotopy equivalent to a wedge sum of CW complexes of the form $Σ^r X_{i_1} * X_{i_2} * \cdots * X_{i_k}$, where $\underline{X}$ is a family $\{X_i\}_{i \in V(K)}$ of CW complexes and $Σ$ denotes the unreduced suspension. This result is applied to study the homotopy type of the independence complex of the lexicographic product $G[H]$ of a graph $H$ over a forest $G$. We denote by $L_m$ a tree on $m$ vertices with no branches. We show that the geometric realization of the independence complex of $L_m [H]$ is homotopy equivalent to a wedge sum of spheres if $m \neq 2,3$ and the geometric realization of the independence complex of $H$ is homotopy equivalent to a wedge sum of same dimensional spheres.
On regular graphs with Šoltés vertices
Let $W(G)$ be the Wiener index of a graph $G$. We say that a vertex $v \in V(G)$ is a Šoltés vertex in $G$ if $W(G - v) = W(G)$, i.e. the Wiener index does not change if the vertex $v$ is removed. In 1991, Šoltés posed the problem of identifying all connected graphs $G$ with the property that all vertices of $G$ are Šoltés vertices. The only such graph known to this day is $C_{11}$. As the original problem appears to be too challenging, several relaxations were studied: one may look for graphs with at least $k$ Šoltés vertices; or one may look for $α$-Šoltés graphs, i.e. graphs where the ratio between the number of Šoltés vertices and the order of the graph is at least $α$. Note that the original problem is, in fact, to find all $1$-Šoltés graphs. We intuitively believe that every $1$-Šoltés graph has to be regular and has to possess a high degree of symmetry. Therefore, we are interested in regular graphs that contain one or more Šoltés vertices. In this paper, we present several partial results. For every $r\ge 1$ we describe a construction of an infinite family of cubic $2$-connected graphs with at least $2^r$ Šoltés vertices. Moreover, we report that a computer search on publicly available collections of vertex-transitive graphs did not reveal any $1$-Šoltés graph. We are only able to provide examples of large $\frac{1}{3}$-Šoltés graphs that are obtained by truncating certain cubic vertex-transitive graphs. This leads us to believe that no $1$-Šoltés graph other than $C_{11}$ exists.
A topological quantum field theory approach to graph coloring
In this paper, we use a topological quantum field theory (TQFT) to define families of new homology theories of a $2$-dimensional CW complex of a smooth closed surface. The dimensions of these homology groups can be used to count the number of ways that each face of the CW complex can be colored with one of $n$ colors so that no two adjacent faces have the same color. We use these homologies to define new invariants of graphs, give new characterizations of well-known polynomial invariants of graphs, and rephrase and offer new approaches to famous conjectures about graph coloring. In particular, we show that the TQFT has the potential to generate $4$-face colorings of a bridgeless planar graph, leading to a constructive approach to the four color theorem. The TQFT has ramifications for the study of smooth surfaces and provides examples of new types of Frobenius algebras.
A Jump of the Saturation Number in Random Graphs?
Published
• View Publication
• BIB
For graphs $G$ and $F$, the saturation number $\textit{sat}(G,F)$ is the minimum number of edges in an inclusion-maximal $F$-free subgraph of $G$. In 2017, Korándi and Sudakov initiated the study of saturation in random graphs. They showed that for constant $p\in (0,1)$, whp $\textit{sat}\left(G(n,p),K_s\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$.
We show that for every graph $F$ and every constant $p\in (0,1)$, whp $\textit{sat}\left(G(n,p), F\right)=O(n\ln n)$. Furthermore, if every edge of $F$ belongs to a triangle, then the above is the right asymptotic order of magnitude, that is, whp $\textit{sat}\left(G(n,p),F\right)=Θ(n\ln n)$. We further show that for a large family of graphs $\mathcal{F}$ with an edge that does not belong to a triangle, which includes all the bipartite graphs, for every $F\in \mathcal{F}$ and constant $p\in(0,1)$, whp $\textit{sat}\left(G(n,p),F\right)=O(n)$. We conjecture that this sharp transition from $O(n)$ to $Θ(n\ln n)$ depends only on this property, that is, that for any graph $F$ with at least one edge that does not belong to a triangle, whp $\textit{sat}\left(G(n,p),F\right)=O(n)$.
We further generalise the result of Korándi and Sudakov, and show that for a more general family of graphs $\mathcal{F}'$, including all complete graphs $K_s$ and all complete multipartite graphs of the form $K_{1,1,s_3,\ldots, s_{\ell}}$, for every $F\in \mathcal{F}'$ and every constant $p\in(0,1)$, whp $\textit{sat}\left(G(n,p),F\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$. Finally, we show that for every complete multipartite graph $K_{s_1, s_2, \ldots, s_{\ell}}$ and every $p\in \left[\frac{1}{2},1\right)$, $\textit{sat}\left(G(n,p),K_{s_1,s_2,\ldots,s_{\ell}}\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$.
Identifiability of the Rooted Tree Parameter under the Cavender-Farris-Neyman Model with a Molecular Clock
Identifiability of the discrete tree parameter is a key property for phylogenetic models since it is necessary for statistically consistent estimation of the tree from sequence data. Algebraic methods have proven to be very effective at showing that tree and network parameters of phylogenetic models are identifiable, especially when the underlying models are group-based. However, since group-based models are time-reversible, only the unrooted tree topology is identifiable and the location of the root is not. In this note we show that the rooted tree parameter of the Cavender-Farris-Neyman Model with a Molecular Clock is generically identifiable by using the invariants of the model which were characterized by Coons and Sullivant.
Linkages and removable paths avoiding vertices
Published
• View Publication
• BIB
We say that a graph $G$ is $(2,m)$-linked if, for any distinct vertices $a_1,\ldots, a_m, b_1,b_2$ in $G$, there exist vertex disjoint connected subgraphs $A,B$ of $G$ such that $\{a_1, \ldots, a_m\}$ is contained in $A$ and $\{b_1,b_2\}$ is contained in $B$. A fundamental result in structural graph theory is the characterization of $(2,2)$-linked graphs, with different versions obtained independently by Robertson and Chakravarty, Seymour, and Thomassen. It appears to be very difficult to characterize $(2,m)$-linked graphs for $m\ge 3$. In this paper, we provide a partial characterization of $(2,m)$-linked graphs by adding an average degree condition. This implies that $(2m+2)$-connected graphs are $(2,m)$-linked. Moreover, if $G$ is a $(2m+2)$-connected graph and $a_1, \ldots, a_m, b_1,b_2$ are distinct vertices of $G$, then there is a path $P$ in $G$ between $b_1$ and $b_2$ and avoiding $\{a_1, \ldots, a_m\}$ such that $G-P$ is connected, improving a previous connectivity bound of $10m$.
The quantum detection of projectors in finite-dimensional algebras and holography
Published in J. High Energ. Phys. 2023, 191 (2023)
• View Publication
• BIB
We define the computational task of detecting projectors in finite dimensional associative algebras with a combinatorial basis, labelled by representation theory data, using combinatorial central elements in the algebra. In the first example, the projectors belong to the centre of a symmetric group algebra and are labelled by Young diagrams with a fixed number of boxes $n$. We describe a quantum algorithm for the task based on quantum phase estimation (QPE) and obtain estimates of the complexity as a function of $n$. We compare to a classical algorithm related to the projector identification problem by the AdS/CFT correspondence. This gives a concrete proof of concept for classical/quantum comparisons of the complexity of a detection task, based in holographic correspondences. A second example involves projectors labelled by triples of Young diagrams, all having $n$ boxes, with non-vanishing Kronecker coefficient. The task takes as input the projector, and consists of identifying the triple of Young diagrams. In both of the above cases the standard QPE complexities are polynomial in $n$. A third example of quantum projector detection involves projectors labelled by a triple of Young diagrams, with $m,n$ and $m+n$ boxes respectively, such that the associated Littlewood-Richardson coefficient is non-zero. The projector detection task is to identify the triple of Young diagrams associated with the projector which is given as input. This is motivated by a two-matrix model, related via the AdS/CFT correspondence, to systems of strings attached to giant gravitons. The QPE complexity in this case is polynomial in $m$ and $n$.
Alcove Walks and GKM Theory for Affine Flags
We develop the GKM theory for the torus-equivariant cohomology of the affine flag variety using the combinatorics of alcove walks. Dual to the usual GKM setup, which depicts the orbits of the small torus action on a graph, alcove walks take place in tessellations of Euclidean space. Walks in affine rank two occur on triangulations of the plane, providing a more direct connection to splines used for approximating surfaces. Alcove walks in GKM theory also need not be minimal length, and can instead be randomly generated, giving rise to more flexible implementation. This work reinterprets and recovers classical results in GKM theory on the affine flag variety, generalizing them to both non-minimal and folded alcove walks, all motivated by applications to splines.
On a barrier height problem for RNA branching
Published
• View Publication
• BIB
The branching of an RNA molecule is an important structural characteristic yet difficult to predict correctly, especially for longer sequences. Using plane trees as a combinatorial model for RNA folding, we consider the thermodynamic cost, known as the barrier height, of transitioning between branching configurations. Using branching skew as a coarse energy approximation, we characterize various types of paths in the discrete configuration landscape. In particular, we give sufficient conditions for a path to have both minimal length and minimal branching skew. The proofs offer some biological insights, notably the potential importance of both hairpin stability and domain architecture to higher resolution RNA barrier height analyses.
An aperiodic monotile
Published
• View Publication
• BIB
A longstanding open problem asks for an aperiodic monotile, also known as an "einstein": a shape that admits tilings of the plane, but never periodic tilings. We answer this problem for topological disk tiles by exhibiting a continuum of combinatorially equivalent aperiodic polygons. We first show that a representative example, the "hat" polykite, can form clusters called "metatiles", for which substitution rules can be defined. Because the metatiles admit tilings of the plane, so too does the hat. We then prove that generic members of our continuum of polygons are aperiodic, through a new kind of geometric incommensurability argument. Separately, we give a combinatorial, computer-assisted proof that the hat must form hierarchical -- and hence aperiodic -- tilings.
Refined product formulas for Tamari intervals
Published
• View Publication
• BIB
We provide short product formulas for the $f$-vectors of the canonical complexes of the Tamari lattices and of the cellular diagonals of the associahedra.
Optimal functions with spectral constraints in hypercubes
Published
• View Publication
• BIB
The $n$-dimensional hypercube has $n+1$ distinct eigenvalues $n-2i$, $0\leq i\leq n$, with corresponding eigenspaces $U_i(n)$. In 2021 it was proved by the author that if a function with non-empty support belongs to the direct sum $U_i(n)\oplus U_{i+1}(n)\oplus\ldots\oplus U_j(n)$, where $0\leq i\leq j\leq n$, then it has at least $\max(2^i,2^{n-j})$ non-zeros. In this work we give a characterization of functions achieving this bound.
Higher incidence matrices and tactical decomposition matrices
Published in Glasnik Matematički. Serija III 58[2] (2023), 181-200
• View Publication
• BIB
In 1985, Janko and Tran Van Trung published an algorithm for constructing symmetric designs with prescribed automorphisms. This algorithm is based on the equations by Dembowski (1958) for tactical decompositions of point-block incidence matrices. In the sequel, the algorithm has been generalized and improved in many articles.
In parallel, higher incidence matrices have been introduced by Wilson in 1982. They have proven useful for obtaining several restrictions on the existence of designs. For example, a short proof of the generalized Fisher's inequality makes use of these incidence matrices.
In this paper, we introduce a unified approach to tactical decompositions and incidence matrices. It works for both combinatorial and subspace designs alike. As a result, we obtain a generalized Fisher's inequality for tactical decompositions of combinatorial and subspace designs. Moreover, our approach is explored for the construction of combinatorial and subspace designs of arbitrary strength.
Lattices of acyclic pipe dreams
Published in Alg. Comb., 8(3):817-856, 2025
• View Publication
• BIB
We show that for any permutation $ω$, the increasing flip graph on acyclic pipe dreams with exiting permutation $ω$ is a lattice quotient of the interval $[e,ω]$ of the weak order. We then discuss conjectural generalizations of this result to acyclic facets of subword complexes on arbitrary finite Coxeter groups.
On vertex-transitive graphs with a unique hamiltonian cycle
Published
• View Publication
• BIB
A graph is said to be uniquely hamiltonian if it has a unique hamiltonian cycle. For a natural extension of this concept to infinite graphs, we find all uniquely hamiltonian vertex-transitive graphs with finitely many ends, and also discuss some examples with infinitely many ends. In particular, we show each nonabelian free group $F_n$ has a Cayley graph of degree $2n + 2$ that has a unique hamiltonian circle. (A weaker statement had been conjectured by A. Georgakopoulos.) Furthermore, we prove that these Cayley graphs of $F_n$ are outerplanar.
Sturmian and infinitely desubstitutable words accepted by an ω-automaton
Given an $ω$-automaton and a set of substitutions, we look at which accepted words can also be defined through these substitutions, and in particular if there is at least one. We introduce a method using desubstitution of $ω$-automata to describe the structure of preimages of accepted words under arbitrary sequences of homomorphisms: this takes the form of a meta-$ω$-automaton.
We decide the existence of an accepted purely substitutive word, as well as the existence of an accepted fixed point. In the case of multiple substitutions (non-erasing homomorphisms), we decide the existence of an accepted infinitely desubstitutable word, with possibly some constraints on the sequence of substitutions e.g. Sturmian words or Arnoux-Rauzy words). As an application, we decide when a set of finite words codes e.g. a Sturmian word. As another application, we also show that if an $ω$-automaton accepts a Sturmian word, it accepts the image of the full shift under some Sturmian morphism.
Randomized Rumor Spreading Revisited (Long Version)
We develop a simple and generic method to analyze randomized rumor spreading processes in fully connected networks. In contrast to all previous works, which heavily exploit the precise definition of the process under investigation, we only need to understand the probability and the covariance of the events that uninformed nodes become informed. This universality allows us to easily analyze the classic push, pull, and push-pull protocols both in their pure version and in several variations such as messages failing with constant probability or nodes calling a random number of others each round. Some dynamic models can be analyzed as well, e.g., when the network is a $G(n,p)$ random graph sampled independently each round [Clementi et al. (ESA 2013)].
Despite this generality, our method determines the expected rumor spreading time precisely apart from additive constants, which is more precise than almost all previous works. We also prove tail bounds showing that a deviation from the expectation by more than an additive number of $r$ rounds occurs with probability at most $\exp(-Ω(r))$.
We further use our method to discuss the common assumption that nodes can answer any number of incoming calls. We observe that the restriction that only one call can be answered leads to a significant increase of the runtime of the push-pull protocol. In particular, the double logarithmic end phase of the process now takes logarithmic time. This also increases the message complexity from the asymptotically optimal $Θ(n \log\log n)$ [Karp, Shenker, Schindelhauer, Vöcking (FOCS 2000)] to $Θ(n \log n)$. We propose a simple variation of the push-pull protocol that reverts back to the double logarithmic end phase and thus to the $Θ(n \log\log n)$ message complexity.
Canonical colourings in random graphs
Rödl and Ruciński (1990) established Ramsey's theorem for random graphs. In particular, for fixed integers $r$, $\ell\geq 2$ they showed that $\hat p_{K_\ell,r}(n)=n^{-\frac{2}{\ell+1}}$ is a threshold for the Ramsey property that every $r$-colouring of the edges of the binomial random graph $G(n,p)$ yields a monochromatic copy of $K_\ell$. We investigate how this result extends to arbitrary colourings of $G(n,p)$ with an unbounded number of colours. In this situation, Erdős and Rado showed that canonically coloured copies of $K_\ell$ can be ensured in the deterministic setting. We transfer the Erdős-Rado theorem to the random environment and show that both thresholds coincide for $\ell\geq 4$. As a consequence, the proof yields $K_{\ell+1}$-free graphs $G$ for which every edge colouring contains a canonically coloured $K_\ell$.
The $0$-statement of the threshold is a direct consequence of the corresponding statement of the Rödl-Ruciński theorem and the main contribution is the $1$-statement. The proof of the $1$-statement employs the transference principle of Conlon and Gowers.
On Intersecting Polygons
Consider two regions in the plane, bounded by an $n$-gon and an $m$-gon, respectively. At most how many connected components can there be in their intersection? This question was asked by Croft. We answer this asymptotically, proving the bounds $$\left\lfloor \frac{m}{2}\right\rfloor \cdot \left\lfloor \frac{n}{2}\right\rfloor\le f(n,m)\le \left\lfloor \frac{m}{2}\right\rfloor \cdot \frac{n}{2} + \frac{m}{2} $$ where $f(n,m)$ denotes the maximal number of components and $m\le n$. Furthermore, we give an exact answer to the related question of finding the maximal number of components if the $m$-gon is required to be convex: $\left \lfloor \frac{m+n-2}{2}\right\rfloor$ if $n\ge m+2$ and $n-2$ otherwise.
Combinatorial zeta functions counting triangles
Published
• View Publication
• BIB
In this paper, we compute special values of certain combinatorial zeta functions counting geodesic paths in the (n-1)-skeleton of a triangulation of a n-dimensional manifold. We show that they carry a topological meaning. As such, we recover the first Betti number and L2-Betti number of compact manifolds, and the linking number of pairs of null-homologous knots in a 3-manifold. The tool to relate the two sides (counting geodesics/topological invariants) are random walks on higher dimensional skeleta of the triangulation.