Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Counting Triangles in Triangles
We give a formula for counting the triangles in a picture consisting of the three sides of a triangle and some cevians. This lets us prove statements that are claimed without proof in the Online Encyclopedia of Integer Sequences and some popular YouTube videos, and also prove some new results. We also give formulas that apply when the cevians cut each side into equal-length pieces.
On the Bivariate Characteristic Polynomial of the Shuffle Lattice
Published
• View Publication
• BIB
The shuffle lattice was introduced by Greene in 1988 as an idealized model for DNA mutation, when he revealed remarkable combinatorial properties of this structure. In this paper, we prove an explicit formula for the $M$-triangle of the shuffle lattice, a bivariate refinement of the characteristic polynomial, as conjectured by McConville and Mühle in 2022, and find a relation between the $M$-triangle and the $H$-triangle, a bivariate refinement of the rank generating function.
Kernelization Complexity of Solution Discovery Problems
In the solution discovery variant of a vertex (edge) subset problem $Π$ on graphs, we are given an initial configuration of tokens on the vertices (edges) of an input graph $G$ together with a budget $b$. The question is whether we can transform this configuration into a feasible solution of $Π$ on $G$ with at most $b$ modification steps. We consider the token sliding variant of the solution discovery framework, where each modification step consists of sliding a token to an adjacent vertex (edge). The framework of solution discovery was recently introduced by Fellows et al. [Fellows et al., ECAI 2023] and for many solution discovery problems the classical as well as the parameterized complexity has been established. In this work, we study the kernelization complexity of the solution discovery variants of Vertex Cover, Independent Set, Dominating Set, Shortest Path, Matching, and Vertex Cut with respect to the parameters number of tokens $k$, discovery budget $b$, as well as structural parameters such as pathwidth.
Bounds on the Complete Forcing Number of Graphs
Published
• View Publication
• BIB
A forcing set for a perfect matching of a graph is defined as a subset of the edges of that perfect matching such that there exists a unique perfect matching containing it. A complete forcing set for a graph is a subset of its edges, such that it intersects the edges of every perfect matching in a forcing set of that perfect matching. The size of a smallest complete forcing set of a graph is called the complete forcing number of the graph. In this paper, we derive new upper bounds for the complete forcing number of graphs in terms of other graph theoretical parameters such as the degeneracy or the spectral radius of the graph. We show that for graphs with the number of edges more than some constant times the number of vertices, our result outperforms the best known upper bound for the complete forcing number. For the set of edge-transitive graphs, we present a lower bound for the complete forcing number in terms of maximum forcing number. This result in particular is applied to the hypercube graphs and Cartesian powers of even cycles.
Weighted Padovan graphs
Published
• View Publication
• BIB
Weighted Padovan graphs $Φ^{n}_{k}$, $n \geq 1$, $\lfloor \frac{n}{2} \rfloor \leq k \leq \lfloor \frac{2n-2}{3} \rfloor$, are introduced as the graphs whose vertices are all Padovan words of length $n$ with $k$ $1$s, two vertices being adjacent if one can be obtained from the other by replacing exactly one $01$ with a $10$. By definition, $\sum_k |V(Φ^{n}_{k})|=P_{n+2}$, where $P_n$ is the $n$th Padovan number. Two families of graphs isomorphic to weighted Padovan graphs are presented. The order, the size, the degree, the diameter, the cube polynomial, and the automorphism group of weighted Padovan graphs are determined. It is also proved that they are median graphs.
The submonoid and rational subset membership problems for Artin groups
Published
• View Publication
• BIB
We demonstrate that the submonoid membership problem and the rational subset membership problem are equivalent in Artin groups. Both these problem are undecidable in a given Artin group if and only if the group embeds the right-angled Artin groups of rank 4 over a path or a square; and this can be characterized using only the defining graph of the Artin group. These results generalize the ones by Lohrey - Steinberg for right-angled Artin groups. Moreover, both these decision problems are decidable for a given Artin group if and only if the group is subgroup separable. This equivalence for right-angled Artin groups is provided by Lohrey - Steinberg and Metaftsis - Raptis. The equivalence for general Artin groups comes from some observations here and the characterization of separable Artin groups by Almeida - Lima.
A Bijection Between All Shi Regions and Core Partitions
We extend the bijection of Fishel-Vazirani on dominant regions of the $m$-Shi arrangement. Our map puts the set of all minimal chambers of the $m$-Shi arrangement of Type $A_{n}$ in bijection with a certain set of (equivalence classes of) $n$-core partitions. As a step to our proof, we give a potentially interesting classification of the alcoves in the $S_{n}$-orbit of an $m$-minimal alcove which are themselves $m$-minimal.
Ricci Curvature Formula: Applications to Bonnet-Myers Sharp Irregular Graphs
In this paper, we establish a simple formula for computing the Lin-Lu-Yau Ricci curvature on graphs. For any edge $xy$ in a simple locally finite graph $G$, the curvature $κ(x,y)$ can be expressed as a cost function of an optimal bijection between two blow-up sets of the neighbors of $x$ and $y$. Utilizing this approach, we derive several results including a structural theorem for the Bonnet-Myers sharp irregular graphs of diameter $3$ and a theorem on $C_3$-free Bonnet-Myers sharp graphs.
$R(5,5)\le 46$
We prove that the Ramsey number $R(5,5)$ is less than or equal to~$46$. The proof uses a combination of linear programming and checking a large number of cases by computer. All of the computations were independently implemented by both authors, with consistent results.
Listing spanning trees of outerplanar graphs by pivot-exchanges
We prove that the spanning trees of any outerplanar triangulation $G$ can be listed so that any two consecutive spanning trees differ in an exchange of two edges that share an end vertex. For outerplanar graphs $G$ with faces of arbitrary lengths (not necessarily 3) we establish a similar result, with the condition that the two exchanged edges share an end vertex or lie on a common face. These listings of spanning trees are obtained from a simple greedy algorithm that can be implemented efficiently, i.e., in time $\mathcal{O}(n \log n)$ per generated spanning tree, where $n$ is the number of vertices of $G$. Furthermore, the listings correspond to Hamilton paths on the 0/1-polytope that is obtained as the convex hull of the characteristic vectors of all spanning trees of $G$.
A new proof of the Herzog-Hibi-Zheng theorem
Published
• View Publication
• BIB
We give a new, elementary proof of the celebrated Herzog-Hibi-Zheng theorem on powers of quadratic monomial ideals.
On certain $q$-multiple sums
We present outlines of a general method to reach certain kinds of $q$-multiple sum identities. Throughout our exposition, we shall give generalizations to the results given by Dilcher, Prodinger, Fu and Lascoux, Zeng, and Guo and Zhang concerning $q$-series identities related to divisor functions. Our exposition shall also provide a generalization of the duality relation for finite multiple harmonic $q$-series given by Bradley. Utilizing these generalizations, we will also arrive at some new interesting classes of $q$-multiple sums.
Aperiodic monotiles: from geometry to groups
Published
• View Publication
• BIB
In 2023, two striking, nearly simultaneous, mathematical discoveries have excited their respective communities, one by Greenfeld and Tao, the other (the Hat tile) by Smith, Myers, Kaplan and Goodman-Strauss, which can both be summed up as the following: there exists a single tile that tiles, but not periodically (sometimes dubbed the einstein problem). The two settings and the tools are quite different (as emphasized by their almost disjoint bibliographies): one in euclidean geometry, the other in group theory. Both are highly nontrivial: in the first case, one allows complex shapes; in the second one, also the space to tile may be complex. We propose here a framework that embeds both of these problems. From any tile system in this general framework, with some natural additional conditions, we exhibit a construction to simulate it by a group-theoretical tiling. We illustrate our setting by transforming the Hat tile into a new aperiodic group monotile, and we describe the symmetries of both the geometrical Hat tilings and the group tilings we obtain.
Spectral extrema of graphs with fixed size: forbidden a fan graph, friendship graph or theta graph
Published
• View Publication
• BIB
It is well-known that the Brualdi-Hoffman-Turán-type problem inquiries about the maximum spectral radius \( λ(G) \) of an \( F \)-free graph \( G \) with \( m \) edges. Let \( θ_{1,p,q} \) denote the theta graph, which is constructed by connecting two vertices with 3 internally disjoint paths of lengths 1, \( p \), and \( q \) respectively. Let \( F_k \) be the fan graph, that is, the join of a \( K_1 \) and a path \( P_{k - 1} \). Let \( F_{k,3} \) be the friendship graph, obtained by having \( k \) triangles share a common vertex. In this paper, we utilize the \( k \)-core method and spectral techniques to address some spectral extrema of graphs with a fixed number of edges. Firstly, we demonstrate that for \( m \geqslant \frac{9}{4}k^6 + 6k^5 + 46k^4 + 56k^3 + 196k^2 \) and \( k \geqslant 3 \), if \( G \) is \( F_{2k + 2} \)-free, then \( λ(G) \leqslant \frac{k - 1 + \sqrt{4m - k^2 + 1}}{2} \). Equality holds if and only if \( G \cong K_k \vee (\frac{m}{k}-\frac{k - 1}{2})K_1 \). This validates a conjecture by Yu, Li, and Peng [Discrete Math. 348 (2025) 114391] and refines a recent result by Li, Zhai, and Shu [European J. Combin. 120 (2024) 103966]. Secondly, we show that for \( m \geqslant \frac{9}{4}k^6 + 6k^5 + 46k^4 + 56k^3 + 196k^2 \) with \( k \geqslant 3 \), if \( G \) is \( F_{k,3} \)-free and has \( m \) edges, then \( λ(G) \leqslant \frac{k - 1 + \sqrt{4m - k^2 + 1}}{2} \). Equality holds precisely when \( G \cong K_k \vee (\frac{m}{k}-\frac{k - 1}{2})K_1 \). This confirms a conjecture put forward by Li, Lu, and Peng [Discrete Math. 346(2023)113680]. Finally, we identify the \( θ_{1,p,q} \)-free graph with \( m \) edges that possesses the largest spectral radius, where \( q \geqslant p \geqslant 3 \) and \( p + q \geqslant 2k + 1 \). A further research problem is also proposed.
The ascent lattice on Dyck paths
Published in Elec. J. Combinatorics, 32(2), 2025, P2.36
• View Publication
• BIB
In the Stanley lattice defined on Dyck paths of size $n$, cover relations are obtained by replacing a valley $DU$ by a peak $UD$. We investigate a greedy version of this lattice, first introduced by Chenevière, where cover relations replace a factor $DU^k D$ by $U^kD^2$. By relating this poset to another poset recently defined by Nadeau and Tewari, we prove that this still yields a lattice, which we call the ascent lattice, $L_n$. We then count intervals in $L_n$. Their generating function is found to be algebraic of degree $3$. The proof is based on a recursive decomposition of intervals involving two catalytic parameters. The solution of the corresponding functional equation is inspired by recent work on the enumeration of walks confined to a quadrant. We also consider the order induced in $L_{mn}$ on $m$-Dyck paths, that is, paths in which all ascent lengths are multiples of $m$, and on mirrored $m$-Dyck paths, in which all descent lengths are multiples of $m$. The first poset $L_{m,n}$ is still a lattice for any $m$, while the second poset $L'_{m,n}$ is only a join semilattice when $m>1$. In both cases, the enumeration of intervals is still described by an equation in two catalytic variables. Interesting connections arise with the sylvester congruence of Hivert, Novelli and Thibon, and again with walks confined to a quadrant. We combine the latter connection with probabilistic results to give asymptotic estimates of the number of intervals in both $L_{m,n}$ and $L'_{m,n}$. Their form implies that the generating functions of intervals are no longer algebraic, nor even D-finite, when $m>1$.
On the Incidence matrices of hypergraphs
Published in Linear Multilinear Algebra, 2025
• View Publication
• BIB
This study delves into the incidence matrices of hypergraphs, with a focus on two types: the edge-vertex incidence matrix and the vertex-edge incidence matrix. The edge-vertex incidence matrix is a matrix in which the rows represent hyperedges and the columns represent vertices. For a given hyperedge $e$ and vertex $u$, the $(e,u)$-th entry of the matrix is $1$ if $u$ is incident to $e$; otherwise, this entry is $0$. The vertex-edge incidence matrix is simply the transpose of the edge-vertex incidence matrix. This study examines the ranks and null spaces of these incidence matrices. It is shown that certain hypergraph structures, such as $k$-uniform cycles, units, and equal partitions of hyperedges and vertices, can influence specific vectors in the null space. In a hypergraph, a unit is a maximal collection of vertices that are incident with the same set of hyperedges. Identification of vertices within the same unit leads to a smaller hypergraph, known as unit contraction. The rank of the edge-vertex incidence matrix remains the same for both the original hypergraph and its unit contraction. Additionally, this study establishes connections between the edge-vertex incidence matrix and certain eigenvalues of the adjacency matrix of the hypergraph.
A survey of Zarankiewicz problems in geometry
One of the central topics in extremal graph theory is the study of the function $ex(n,H)$, which represents the maximum number of edges a graph with $n$ vertices can have while avoiding a fixed graph $H$ as a subgraph. Tur{á}n provided a complete characterization for the case when $H$ is a complete graph on $r$ vertices. Erd{\H o}s, Stone, and Simonovits extended Tur{á}n's result to arbitrary graphs $H$ with $χ(H) > 2$ (chromatic number greater than 2). However, determining the asymptotics of $ex(n, H)$ for bipartite graphs $H$ remains a widely open problem. A classical example of this is Zarankiewicz's problem, which asks for the asymptotics of $ex(n, K_{t,t})$.
In this paper, we survey Zarankiewicz's problem, with a focus on graphs that arise from geometry. Incidence geometry, in particular, can be viewed as a manifestation of Zarankiewicz's problem in geometrically defined graphs.
(Co)Minuscule Hecke categories
Published
• View Publication
• BIB
We determine the p-Kazhdan-Lusztig bases for antispherical (co)minuscule Hecke categories in all characteristics, and for spherical (co)minuscule Hecke categories in good characteristic. This is achieved using geometric and diagrammatic methods. The 2-Kazhdan-Lusztig bases of antispherical cominuscule Hecke categories exhibit extremely pathological behaviour. The notions of p-small resolutions and p-tight elements are introduced and conjecturally explain this behaviour.
Sensitivity of $m$-ary functions and low degree partitions of Hamming graphs
The study of complexity measures of Boolean functions led Nisan and Szegedy to state the sensitivity conjecture in 1994, claiming a polynomial relation between degree and sensitivity. This problem remained unsolved until 2019, when Huang proved the conjecture via an equivalent graph theoretical reformulation due to Gotsman and Linial.
We study $m$-ary functions, i.e., functions $f: T^n \rightarrow T$ where $T\subseteq \mathbb{C}$ is a finite alphabet of cardinality $|T| = m $ and extend the notions of degree $\mathrm{deg}(f)$ and sensitivity $s(f)$ to $m$-ary functions and show $s(f)\in O(\mathrm{deg}(f)^2)$. This generalizes results of Nisan and Szegedy. Conversely, we introduce the $m$-ary sensitivity conjecture, claiming a polynomial upper bound for $\mathrm{deg}(f)$ in terms of $s(f)$. Analogously to results of Gotsman and Linial, we provide a formulation of the conjecture in terms of imbalanced partitions of Hamming graphs into low degree subgraphs. Combining this with ideas of Chung, Füredi, Graham and Seymour, we show that for any prime $p$ the bound in the $p$-ary sensitivity conjecture has to be at least quadratic: there exist $p$-ary functions $f$ of arbitrarily large degree and $\mathrm{deg}(f)\in Ω(s(f)^2)$.
Equiangular lines via improved eigenvalue multiplicity
A family of lines passing through the origin in an inner product space is said to be equiangular if every pair of lines defines the same angle. In 1973, Lemmens and Seidel raised what has since become a central question in the study of equiangular lines in Euclidean spaces. They asked for the maximum number of equiangular lines in $\mathbb{R}^r$ with a common angle of $\arccos{\frac{1}{2k-1}}$ for any integer $k \geq 2$. We show that the answer equals $r-1+\left\lfloor\frac{r-1}{k-1}\right\rfloor,$ provided that $r$ is at least exponential in a polynomial in $k$. This improves upon a recent breakthrough of Jiang, Tidor, Yao, Zhang, and Zhao [Ann. of Math. (2) 194 (2021), no. 3, 729-743], who showed that this holds for $r$ at least doubly exponential in a polynomial in $k$. We also show that for any common angle $\arccosα$, the answer equals $r+o(r)$ already when $r$ is superpolynomial in $1/α\to \infty$.
The key new ingredient underlying our results is an improved upper bound on the multiplicity of the second-largest eigenvalue of a graph. In one of the regimes, this improves and significantly extends a result of McKenzie, Rasmussen, and Srivastava [STOC 2021, pp. 396-407].