Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the number of drawings of a combinatorial triangulation
In 1962, Tutte provided a formula for the number of combinatorial triangulations, that is, maximal planar graphs with a fixed triangular face and $n$ additional vertices. In this note, we study how many ways a combinatorial triangulation can be drawn as geometric triangulation, that is, with straight-line segments, on a given point set in the plane. Our central contribution is that there exists a combinatorial triangulation with n vertices that can be drawn in at least $Ω(1,31^n)$ ways on a set of n points as different geometric triangulations. We also show an upper bound on the number of drawings of a combinatorial triangulation on the so-called double chain point set.
Insertion algorithms and pattern avoidance on trees arising in the Kapranov embedding of $\overline{M}_{0,n+3}$
We resolve a question of Gillespie, Griffin, and Levinson that asks for a combinatorial bijection between two classes of trivalent trees, tournament trees and slide trees, that both naturally arise in the intersection theory of the moduli space $\overline{M}_{0,n+3}$ of stable genus zero curves with $n+3$ marked points. Each set of trees enumerates the same intersection product of certain pullbacks of $ψ$ classes under forgetting maps.
We give an explicit combinatorial bijection between these two sets of trees using an insertion algorithm. We also classify the words that appear on the slide trees of caterpillar shape via pattern avoidance conditions.
The Ehrhart polynomial of a matroid specializes to the beta invariant
We show that the linear coefficient of the Ehrhart polynomial of a matroid base polytope evaluated at $t-1$ is equal to, up to normalization, the $β$-invariant of the matroid. This yields a lattice-point counting formula for the $β$-invariant and establishes a new and unexpected positivity property of Ehrhart polynomials of matroid polytopes.
Hypertrees and their host trees: a survey
A hypergraph $\mathcal{H}=(V,\mathcal{E})$ is a hypertree if it admits a tree $T$ with vertex set $V$ such that every edge of $\mathcal{H}$ induces a subtree of $T$. A tree like that is called a host tree. Several characterizations and properties of hypertrees have been discovered over the years. However, the interest in the structure of their host trees was weaker and restricted to particular scenarios where they arise, like the clique tree of chordal graphs. In that special case, the proofs of most characteristics of clique trees that exist in the literature rely significantly on the structural properties of chordal graphs. The purpose of this work is the study of the properties of the host trees of hypertrees in a more general context and have them described in a single place, giving simpler proofs for known facts, generalizing others and introducing some new concepts that the author considers that are relevant for the study of the topic. Particularly, we will determine what edges can be found in some host tree of a hypertree, and how these edges must be combined to form a host tree, with an emphasis in tools like the basis and the completion of a hypergraph, and the concept of equivalent hypergraphs.
Forcibly unicyclic and bicyclic graphic sequences
A sequence $D=(d_1,d_2,\ldots,d_n)$ of non-negative integers is called a graphic sequence if there is a simple graph with vertices $v_1,v_2,\ldots,v_n$ such that the degree of $v_i$ is $d_i$ for $1\leq i\leq n$. Given a graph theoretical property $\mathcal{P}$, a graphic sequence $D$ is forcibly $\mathcal{P}$ graphic if each graph with degree sequence $D$ has property $\mathcal{P}$. A graph is acyclic if it contains no cycles. A connected acyclic graph is just a tree and has $n-1$ edges. A graph of order $n$ is unicyclic (resp. bicyclic) if it is connected and has $n$ (resp. $n+1$) edges. Bar-Noy, Böhnlein, Peleg and Rawitz [Discrete Mathematics 346 (2023) 113460] characterized forcibly acyclic and forcibly connected acyclic graphic sequences. In this paper, we aim to characterize forcibly unicyclic and forcibly bicyclic graphic sequences.
Contracting elements and conjugacy growth in Coxeter groups, graph products, and further groups
In this article we construct contracting elements in the standard Cayley graphs of the so-called periagroups, a family of groups introduced by the second-named author which include Coxeter groups, graph products, and Dyer groups. As a consequence, we deduce that, unless they virtually split as direct products, periagroups are acylindrically hyperbolic and their conjugacy growth series, with respect to standard generating sets, are transcendental.
A study of two Ramsey numbers involving odd cycles
The \emph{book graph} of order $(n+2)$, denoted by $B_{n}$, is the graph with $n$ distinct copies of triangles sharing a common edge called the `base'. A cycle of order $m$ is denoted by $C_{m}$. A lot of studies have been done in recent years on the Ramsey number $R(B_{n}, C_{m})$. However, the exact value remains unknown for several $n$ and $m$. In 2021, Lin and Peng obtained the value of $R(B_{n}, C_{m})$ under certain conditions on $n$ and $m$. In this paper, they remarked that the value is still unknown for the range $n\in [\frac{9m}{8}-125, 4m-14]$. In a recent paper, Hu et al. determined the value of the book-cycle Ramsey number within the range $n\in [ \frac{3m-5}{2}-125, 4m]$ where $m$ is odd and $n$ is sufficiently large. In this article, we extend the investigation to smaller values of $n$. We have obtained a bound of $R(B_{n}, C_{m})$ if $n\in [2m-3, 4m-14]$ and $m\geq 7$ is odd. This is a progress on the earlier result. A connected graph $G$ is said to be \emph{$H$-good} if the formula, \begin{equation*} R(G,H)= (|G|-1)(χ(H)-1)+σ(H) \end{equation*} holds, where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest colour class for the $χ(H)$-colouring. In this article, we have studied the \emph{Ramsey goodness} of the graph pair $(C_{m}, \mathbb{K}_{2,n})$, where $\mathbb{K}_{2,n}$ is the complete biparite graph. We have obtained an exact value of $R(\mathbb{K}_{2,n},C_{m})$ for all $n$ satisfying $n\geq 3493$ and $n\geq 2m+499$ where $m\geq 7$ is odd. This shows that $\mathbb{K}_{2,n}$ is $C_{m}$-good, which extends a previous result on the Ramsey goodness of $(C_{m}, \mathbb{K}_{2,n})$. Also, this improves the lower bound on $n$ from a previous result on the Ramsey number $R(B_{n}, C_{m})$
Laplacian eigenvalue distribution and girth of graphs
Let $G$ be a connected graph on $n$ vertices with girth $g$. Let $m_GI$ denote the number of Laplacian eigenvalues of graph $G$ in an interval $I$. In this paper, we show that if $G$ is not a cycle, then $m_G(n-g+3,n]\leq n-g$. Moreover, we prove that $m_G(n-g+3,n]= n-g$ if and only if $G\cong C_3$ or $G\cong K_{3,2}$ or $G\cong U_1$, where $U_1$ is obtained from a cycle by joining a single vertex with a vertex of this cycle.
On commuting integer matrices
Given $d, N \in \mathbb{N}$, we define $\mathfrak{C}_d(N)$ to be the number of pairs of $d\times d$ matrices $A,B$ with entries in $[-N,N] \cap \mathbb{Z}$ such that $AB = BA$. We prove that $$ N^{10} \ll \mathfrak{C}_3(N) \ll N^{10},$$ thus confirming a speculation of Browning-Sawin-Wang. We further establish that $$ \mathfrak{C}_2(N) = K(2N+1)^5 (1 + o(1)),$$ where $K>0$ is an explicit constant. Our methods are completely elementary and rely on upper bounds of the correct order for restricted divisor correlations with high uniformity.
Geometry of regular semisimple Lusztig varieties
Lusztig varieties are subvarieties in flag manifolds $G/B$ associated to an element $w$ in the Weyl group $W$ and an element $x$ in $G$, introduced in Lusztig's papers on character sheaves. We study the geometry of these varieties when $x$ is regular semisimple.
In the first part, we establish that they are normal, Cohen-Macaulay, of pure expected dimension and have rational singularities. We then show that the cohomology of ample line bundles vanishes in positive degrees, in arbitrary characteristic. This extends to nef line bundles when the base field has characteristic zero or sufficiently large characteristic. Along the way, we prove that Lusztig varieties are Frobenius split in positive characteristic and that their open cells are affine. We also prove that the open cells in Deligne-Lusztig varieties are affine, settling a question that has been open since the foundational paper of Deligne and Lusztig.
In the second part, we explore their relationship with regular semisimple Hessenberg varieties. Both varieties admit Tymoczko's dot action of $W$ on their (intersection) cohomology. We associate to each element $w$ in $W$ a Hessenberg space using the tangent cone of the Schubert variety associated with $w$, and show that the cohomology of the associated regular semisimple Lusztig varieties and Hessenberg varieties is isomorphic as graded $W$-representations when they are smooth.
This relationship extends to the level of varieties: we construct a flat degeneration of regular semisimple Lusztig varieties to regular semisimple Hessenberg varieties. In particular, this proves a conjecture of Abreu and Nigro on the homeomorphism types of regular semisimple Lusztig varieties in type $A$, and generalizes it to arbitrary Lie types.
Construction of Butson matrices using Fourier matrices as input
Butson matrices are square orthogonal matrices, denoted by $BH(m,n)$, whose entries are the complex $m$th roots of unity and satisfy the condition\\ $BH(m,n)\cdot{BH(m,n)}^*=nI_n$, where ${BH(m,n)}^*$ is the conjugate transpose of $BH(m,n)$ and $I_n$ is the identity matrix. In this work, we propose constructions for $BH(m,(n-1)n)$ then $BH(m,(\frac{n}{2}-1)n)$, when $n$ and $m$ are even numbers, using the existing $BH(m,n)$. For each case, we provide two construction methods: one uses a single input Butson matrix, and another uses two input Butson matrices. Moreover, we present some results about the construction of Hadamard matrices.
All generalized rose window graphs are hamiltonian
A bicirculant is a regular, $d$-valent graph that admits a semiregular automorphism of order $m$ having two vertex-orbits of size $m$. The vertices of each orbit induce a circulant graph of order $m$ and the remaining edges span a regular bipartite graph of valence, say $s$, $1 \leq s \leq d$, connecting the two vertex-orbits. Generalized Petersen graphs constitute a prominent family of bicirculants, with $d = 3$ and $s = 1$. In 1983, Brian Alspach proved that all generalized Petersen graphs are hamiltonian, except for the family $G(m, 2)$ with $m\equiv 5\pmod 6$. In this paper we conjecture that among all connected bicirculants of valence at least 2, there are no other exceptions. It follows from various sources that the conjecture is true for all cubic bicirculants. In this paper we prove the conjecture for quartic bicirulants with $s = 2$, also known as the generalized rose window graphs.
New bounds on the modularity of $G(n,p)$
Modularity is a parameter indicating the presence of community structure in the graph. Nowadays it lies at the core of widely used clustering algorithms. We study the modularity of the most classical random graph, binomial $G(n,p)$. In 2020 McDiarmid and Skerman proved, taking advantage of the spectral graph theory and a specific subgraph construction by Coja-Oghlan from 2007, that there exists a constant $b$ such that with high probability the modularity of $G(n,p)$ is at most $b/\sqrt{np}$. The obtained constant $b$ is very big and not easily computable. We improve upon this result showing that a constant under $3$ may be derived here. Interesting is the fact that it might be obtained by basic probabilistic tools. We also address the lower bound on the modularity of $G(n,p)$ and improve the results of McDiarmid and Skerman from 2020 using estimates of bisections of random graphs derived by Dembo, Montanari, and Sen in 2017.
On Euler's magic matrices of sizes $3$ and $8$
A proper Euler's magic matrix is an integer $n\times n$ matrix $M\in\mathbb Z^{n\times n}$ such that $M\cdot M^t=γ\cdot I$ for some nonzero constant $γ$, the sum of the squares of the entries along each of the two main diagonals equals $γ$, and the squares of all entries in $M$ are pairwise distinct. Euler constructed such matrices for $n=4$. In this work, we construct examples for $n=8$ and prove that no such matrix exists for $n=3$.
Term Coding for Extremal Combinatorics: Dispersion and Complexity Dichotomies
We introduce \emph{Term Coding}, a novel framework for analysing extremal problems in discrete mathematics by encoding them as finite systems of \emph{term equations} (and, optionally, \emph{non-equality constraints}). In its basic form, all variables range over a single domain, and we seek an interpretation of the function symbols that \emph{maximises} the number of solutions to these constraints. This perspective unifies classical questions in extremal combinatorics, network/index coding, and finite model theory.
We further develop \emph{multi-sorted Term Coding}, a more general approach in which variables may be of different sorts (e.g., points, lines, blocks, colours, labels), possibly supplemented by variable-inequality constraints to enforce distinctness. This extension captures sophisticated structures such as block designs, finite geometries, and mixed coding scenarios within a single logical formalism.
Our main result shows how to determine (up to a constant) the maximum number of solutions \(\max_{\mathcal{I}}(Γ,n)\) for any system of term equations (possibly including non-equality constraints) by relating it to \emph{graph guessing numbers} and \emph{entropy measures}.
Finally, we focus on \emph{dispersion problems}, an expressive subclass of these constraints. We discover a striking complexity dichotomy: deciding whether, for a given integer \(r\), the maximum code size that reaches \(n^{r}\) is \emph{undecidable}, while deciding whether it exceeds \(n^{r}\) is \emph{polynomial-time decidable}.
Enumerative combinatorics of unlabeled and labeled time-consistent galled trees
In mathematical phylogenetics, the time-consistent galled trees provide a simple class of rooted binary network structures that can be used to represent a variety of different biological phenomena. We study the enumerative combinatorics of unlabeled and labeled time-consistent galled trees. We present a new derivation via the symbolic method of the number of unlabeled time-consistent galled trees with a fixed number of leaves and a fixed number of galls. We also derive new generating functions and asymptotics for labeled time-consistent galled trees.
Classification of silted algebras for two quivers of Dynkin type $\mathbb{A}_{n}$
In this paper, we give a complete classification of silted algebras for the quiver $\overrightarrow{\mathbb{A}}_{n}$ of type $\mathbb{A}_{n}$ with linear orientation and for the quiver obtained from $\overrightarrow{\mathbb{A}}_{n}$ by reversing the arrow at the unique source. Based on the classification, we also compute the number of silted algebras for these two quivers.
On minimal nonperfectly divisible fork-free graphs
A fork is a graph obtained from $K_{1,3}$ (usually called claw) by subdividing an edge once. A graph is perfectly divisible if for each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$. In this paper, we prove that the perfect divisibility of fork-free graphs is equivalent to that of claw-free graphs. We also prove that, for $F\in \{P_7, P_6\cup K_1\}$, each (fork, $F$)-free graph $G$ is perfectly divisible and hence $χ(G)\leq \binom{ω(G)+1}{2}$.
Sombor Spectrum of Super Graphs defined on groups
Given a simple graph $A$ on a group $G$ and an equivalence relation $B$ on $G$, the $B$ super $A$ graph is defined as a simple graph, whose vertex set is $G$ and two vertices $g$, $h$ are adjacent if either they are in the same equivalence class or there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$ such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. In the literature, the $B$ super $A$ graphs have been investigated by considering $A$ to be either power graph, enhanced power graph, or commuting graph and $B$ to be an equality, order or conjugacy relation. In this paper, we investigate the Sombor spectrums of these $B$ super $A$ graphs for certain non-abelian groups, viz. the dihedral group, generalized quaternion group and the semidihedral group, respectively.
Lower bounds for online size Ramsey numbers for paths
Given two graphs $H_1$ and $H_2$, an online Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round Builder selects an edge and Painter colors it red or blue. Builder is trying to force Painter to create a red copy of $H_1$ or a blue copy of $H_2$ as soon as possible, while Painter's goal is the opposite. The online (size) Ramsey number $\tilde{r}(H_1,H_2)$ is the smallest number of rounds in the game provided Builder and Painter play optimally. Let $v(G)$ be the number of vertices in the graph $G$ and $v_1(G)$ be the number of vertices of degree 1 in $G$. We prove that if $G$ has no isolated vertices, then $\tilde{r}(P_7,G)\ge 8v(G)/5-v_1(G)$, $\tilde{r}(P_8,G)\ge 18v(G)/11-v_1(G)$ and $\tilde{r}(P_9,G)\ge 5v(G)/3-v_1(G)$. In particular $\tilde{r}(P_9,P_n)\ge 5n/3-2,$ which with known upper bound implies $\lim_{n\to\infty} \tilde{r}(P_9,P_n)/n=5/3.$ We also show that for any fixed $k$, $\lim_{n\to\infty} \tilde{r}(P_k,P_n)/n$ exists.