Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Majority bootstrap percolation on the permutahedron and other high-dimensional graphs
Published
• View Publication
• BIB
Majority bootstrap percolation is a model of infection spreading in networks. Starting with a set of initially infected vertices, new vertices become infected once half of their neighbours are infected. Balogh, Bollobás and Morris studied this process on the hypercube and showed that there is a phase transition as the density of the initially infected set increases. Generalising their results to a broad class of high-dimensional graphs, the authors of this work established similar bounds on the critical window, establishing a universal behaviour for these graphs. These methods necessitated an exponential bound on the order of the graphs in terms of their degrees. In this paper, we consider a slightly more restrictive class of high-dimensional graphs, which nevertheless covers most examples considered previously. Under these stronger assumptions, we are able to show that this universal behaviour holds in graphs of superexponential order. As a concrete and motivating example, we apply this result to the permutahedron, a symmetric high-dimensional graph of superexponential order which arises naturally in many areas of mathematics. Our methods also allow us to slightly improve the bounds on the critical window given in previous work, in particular in the case of the hypercube. Finally, the upper and lower bounds on the critical window depend on the maximum and minimum degree of the graph, respectively, leading to much worse bounds for irregular graphs. We also analyse an explicit example of a high-dimensional irregular graph, namely the Cartesian product of stars and determine the first two terms in the expansion of the critical probability, which in this case is determined by the minimum degree.
The cohomology ring of the boundary manifold of a combinatorial line arrangement
Cohen--Suciu proved that the cohomology ring of the boundary manifold of a complex projective line arrangement is isomorphic to the double of the cohomology ring of the complement. In this paper, we generalize this result to arbitrary combinatorial line arrangements, including non-realizable ones. The notion of the boundary manifold for combinatorial line arrangements was introduced by Ruberman--Starkston. To handle arbitrary combinatorial line arrangements, we construct explicit homology cycles following the method by Doig--Horn. Using these cycles, we compute the cohomology ring of the boundary manifold and prove that it is isomorphic to the double of the Orlik-Solomon algebra. As an application, we derive several results on the resonance variety of the boundary manifold.
On Sierpiński packing chromatic number and recognition of Sierpiński products
The Sierpiński product $G \otimes _f H$ of graphs $G$ and $H$ with respect to a function $f \colon V(G)\rightarrow V(H)$ has the vertex set $V(G)\times V(H)$. For every $g\in V(G)$ it contains a disjoint copy $gH$ of $H$, and for every edge $gg'$ of $G$ there is the edge $(g,f(g'))(g',f(g))$ between $gH$ and $g'H$. In this paper, the Sierpiński packing chromatic number is defined as the minimum of $χ_ρ(G\otimes _f H)$ over all functions $f$, where $χ_ρ(X)$ is the packing chromatic number of $X$. The upper Sierpiński packing chromatic number is analogously defined as the maximum corresponding value. The (upper) Sierpiński packing chromatic number is determined for all Sierpiński product graphs whose both factors are complete. Sierpiński product graphs whose factors are paths or stars are also studied. Their Sierpiński packing chromatic number is always $3$, while their upper Sierpiński packing chromatic number is bounded from below and above. It is also proved that for a given graph $G$, it can be checked in polynomial time whether $G$ has a representation as a Sierpiński product graphs both factors of which being trees.
On divisibility relation graphs
For each positive integer $n$, we define the divisibility relation graph $D_n$ whose vertex set is the set of divisors of $n$, and in which two vertices are adjacent if one is a divisor of the other. This type of graph is a special case of graphs associated with a partial order, which have been widely studied in the literature. In this work, we determine various graph-theoretic invariants of divisibility relation graphs, such as their clique and independence numbers, and their planarity. We also discuss various spectral properties that are discovered by our numerical experiments.
On orbit sets generated by semigroups of one-dimensional affine functions
Published
• View Publication
• BIB
The one-dimensional orbit set $\langle F : s \rangle$ is formed by the images of a number $s$ under the action of a semigroup generated by integer affine functions $f_i=a_i x+b_i$ taken from the set $F=\{f_1,\ldots,f_n\}$. P.Erdős established an upper bound $O(x^{σ+ε})$ for the growth function $|\langle F : s \rangle\cap[0,x]|$, where $1/a_1^σ+1/a_2^σ+\ldots + 1/a_n^σ=1$ and $\varepsilon>0$, which was extended to orbit multisets and real affine functions by J.Lagarias. We complement this by a lower bound $Ω(x^σ)$ for the multiset size $|\langle F : s \rangle^\#\cap[0,x]|$.
P.Erdős and R.Graham asked whether an orbit set $\langle F : s \rangle$ has positive density when $F$ is a basis of a free semigroup and $1/a_1+1/a_2+\ldots + 1/a_n=1$. Under these two conditions, we establish a sublinear lower bound $|\langle F : s \rangle \cap [0,x]|=Ω(x/\log^{\frac{n-1}2} x)$. We also show that in the case when the functions of $F$ form an exact covering system of integers, i.e. when $f_1(\mathbb Z) \sqcup \ldots \sqcup f_n(\mathbb Z)=\mathbb Z$, this bound can be strengthened to $Ω(x)$, so the set $\langle F : s \rangle$ has positive density.
Strength of the Upper Bounds for the Edge-Weighted Maximum Clique Problem
We theoretically and computationally compare the strength of the two main upper bounds from the literature on the optimal value of the Edge-Weighted Maximum Clique Problem (EWMCP). We provide a set of instances for which the ratio between either of the two upper bounds and the optimal value of the EWMCP is unbounded. This result shows that neither of the two upper bounds can give a performance guarantee. In addition, we provide two sets of instances for which the ratio between the two upper bounds, and its reciprocal, are unbounded. This result shows that there are EWMCP instances in which one of the upper bounds can be arbitrarily better than the other one and vice versa. Our theoretical analysis is complemented by extensive computational experiments on two benchmark datasets: the standard DIMACS instances and randomly generated instances, providing practical insights into the empirical strength of the upper bounds.
Cluster algebraic interpretation of generalized Markov numbers and their matrixizations
Markov numbers, i.e. positive integers appearing in solutions to $x^2 + y^2 + z^2 = 3xyz$, can be viewed as specializations of cluster variables. The second author and Matsushita gave a generalization of the Markov equation, $x^2 + y^2 + z^2 + k_1yz + k_2xz + k_3xy = (3+k_1+k_2+k_3)xyz$, whose solutions can be viewed as specializations of cluster variables in generalized cluster algebras. We give two families of matrices in $SL(2,\mathbb{Z}[x_1^\pm,x_2^\pm,x_3^\pm])$ associated to these cluster structures. These matrix formulas relate to previous matrices appearing in the context of Markov numbers, including Cohn matrices and generalized Cohn matrices given by the second author, Maruyama, and Sato, as well as matrices appearing in the context of cluster algebras, including matrix formulas given by Kanatarcı Oğuz and Yıldırım. We provide a classification of the two families of matrices and exhibit an explicit family of each. The latter is done by realizing cluster variables in generalized Markov cluster algebras as weight-generating functions of order ideals in certain fence posets which are related to Christoffel words. An interesting observation is that these functions resemble Caldero-Chapoton functions for string modules, and a byproduct of our proofs is a new skein-like formula for such functions.
Partitions of mass assignments with spheres and wedges
In this paper, we generalize classic mass partition results dealing with partitions using spheres, parallel hyperplanes, or axis-parallel wedges to the setting of mass assignments. In a mass assignment problem, we assign mass distributions continuously to all $k$-dimensional subspaces of $\mathbb{R}^d$, and seek to guarantee the existence of a particular subspace in which more masses can be bisected than those by analyzing the problem in $\mathbb{R}^k$. We prove new mass assignment results for spheres, parallel hyperplanes, and axis-parallel wedges. The proof techniques rely on new Borsuk--Ulam type theorems on spheres and Stiefel manifolds.
Bisections of mass assignments by parallel hyperplanes
In this paper, we prove a result on the bisection of mass assignments by parallel hyperplanes on Euclidean vector bundles. Our methods consist of the development of a novel lifting method to define the configuration space--test map scheme, which transforms the problem to a Borsuk--Ulam-type question on equivariant fiber bundles, along with a new computation of the parametrized Fadell--Husseini index. As the primary application, we show that any $d+k+m-1$ mass assignments to linear $d$-spaces in $\mathbb{R}^{d+m}$ can be bisected by $k $ parallel hyperplanes in at least one $d$-space, provided that the Stirling number of the second kind $S(d+k+m-1, k)$ is odd. This generalizes all known cases of a conjecture by Soberón and Takahashi, which asserts that any $d+k-1$ measures in $\mathbb{R}^d$ can be bisected by $k$ parallel hyperplanes.
Walk Matrix-Based Upper Bounds on Generalized Cospectral Mates
The problem of characterizing graphs determined by their spectrum (DS) or generalized spectrum (DGS) has been a longstanding topic of interest in spectral graph theory, originating from questions in chemistry and mathematical physics. While previous studies primarily focus on identifying whether a graph is DGS, we address a related yet distinct question: how many non-isomorphic generalized cospectral mates a graph can have? Building upon recent advances that connect this question to the properties of the walk matrix, we introduce a broad family of graphs and establish an explicit upper bound on the number of non-isomorphic generalized cospectral mates they can have. This bound is determined by the arithmetic structure of the determinant of the walk matrix, offering a refined criterion for quantifying the multiplicity of generalized cospectral graphs. This result sheds new light on the structure of generalized cospectral graphs and provides a refined arithmetic criterion for bounding their multiplicity.
Principal vector-spread Borel ideals
Published
• View Publication
• BIB
We study the class of squarefree principal vector-spread Borel ideals. We compute the minimal primary decomposition of these ideals and thereby we prove that they are sequentially Cohen-Macaulay. As the final conclusion of our results, we completely classify the ideals in our class having the property that their ordinary and symbolic powers coincide.
Linearizing Algebraic Matroids
Although algebraic matroids were discovered in the 1930s, interest in them was largely dormant until their recent use in applications of algebraic geometry. Because nonlinear algebra is computationally challenging, it is easier to work with an isomorphic linear matroid if one exists. We describe an explicit construction that produces a linear representation over an algebraically closed field of characteristic zero starting with the data used in applications. We will also discuss classical examples of algebraic matroids in the modern language of polynomial ideals, illustrating how the existence of an isomorphic linear matroid depends on properties of the field.
New Sufficient Conditions for Linear-Sized Epsilon-Nets and $(p,2)$-Theorems
An $ε$-net theorem for a hypergraph upper bounds the minimum size of a vertex set that pierces all $ε$-heavy hyperedges. A $(p,2)$-theorem bounds from above the minimum size of a vertex set that pierces all hyperedges, in terms of the maximum size of a set of pairwise disjoint hyperedges. Numerous works studied $ε$-net theorems and $(p,2)$-theorems that guarantee the existence of small-sized piercing sets.
We focus on the question: In which settings the asymptotically smallest possible piercing sets -- i.e., $ε$-nets of size $O(\frac{1}ε)$ and piercing sets of size $O(p)$ in $(p,2)$-theorems, are guaranteed? We obtain several sufficient criteria for the existence of such linear $ε$-net theorems and $(p,2)$-theorems that unveil interesting connections to graph theory and improve and generalize several previous results. Most notably, we exhibit an unexpected relation of $ε$-nets to the classical Zarankiewicz's problem in graph theory. We show that a linear bound in the Zarankiewicz-type problem that asks for the maximum size of a bipartite graph with no copy of $K_{2,t}$, implies a linear $ε$-net theorem for the corresponding neighborhood hypergraph. We also show that hypergraphs with a hereditarily linear-sized Delaunay graph admit an almost linear $(p,2)$-theorem, and deduce that incidence hypergraphs of non-piercing regions in the plane admit a linear $(p,2)$-theorem, significantly improving previous results on such hypergraphs.
Our work presents a landscape of sufficient conditions for the existence of linear $ε$-net theorems and $(p,2)$-theorems, with complex interrelations between them. Many of the interrelations are still unknown and call for future research.
Betti numbers of fold products of linear forms
Published
• View Publication
• BIB
The ideals generated by fold products of linear forms are generalizations of powers of defining ideals of star configurations, or of Veronese type ideals, and in this paper we study their Betti numbers. In earlier work, the authors together with Yu Xie showed that these ideals have linear graded free resolution, and in this paper we take the study of the homological information about these ideals to the next natural level.
Spanning k-trees, odd [1,b]-factors and spectral radius in binding graphs
The binding number of a graph $G$, written as $\mbox{bind}(G)$, is defined by $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}. $$ A graph $G$ is called $r$-binding if $\mbox{bind}(G)\geq r$. An odd $[1,b]$-factor of a graph $G$ is a spanning subgraph $F$ with $d_F(v)\in\{1,3,\ldots,b\}$ for all $v\in V(G)$, where $b\geq1$ is an odd integer. A spanning $k$-tree of a connected graph $G$ is a spanning tree $T$ with $d_T(v)\leq k$ for every $v\in V(G)$. In this paper, we first show a tight sufficient condition with respect to the adjacency spectral radius for connected $\frac{1}{b}$-binding graphs to have odd $[1,b]$-factors, which generalizes Fan and Lin's previous result [D. Fan, H. Lin, Binding number, $k$-factor and spectral radius of graphs, Electron. J. Combin. 31(1) (2024) \#P1.30] and partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16]. Then we put forward a tight sufficient condition via the adjacency spectral radius for connected $\frac{1}{k-2}$-binding graphs to have spanning $k$-trees, which partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16].
Volumes of moduli spaces of directed ribbon graphs and Cut-and-Join operators
In this paper, we investigate the algebraic structure underlying the acyclic decomposition. This decomposition applies to directed metric ribbon graphs and enables the recursive computation of the volumes of their moduli spaces. Building on this, we define integral operators with these volumes and show that they satisfy a Cut-and-Join type equation. Furthermore, we demonstrate that a suitable specialization of these operators gives rise to a generating series for \textit{dessins d'enfants}.
Total coloring graphs with large minimum degree
We prove that for all $\varepsilon>0$, there exists a positive integer $n_0$ such that if $G$ is a graph on $n\geq n_0$ vertices with $δ(G)\geq\tfrac{1}{2}(1 + \varepsilon)n$, then $G$ satisfies the Total Coloring Conjecture, that is, $χ_T(G)\leq Δ(G)+2$.
Signless Laplacian index conditions for doubly chorded cycles in graphs with given order
Published
• View Publication
• BIB
In this paper, we show that for a graph of order $n$, where $n\ge 5$, if the signless Laplacian index is larger than or equal to certain value depending on $n$, then the graph contains a doubly chorded cycle, where the chords incident to a common vertex, unless it is two specified graphs.
Divided difference operators for Hessenberg representations
The equivariant cohomology ring of a regular semisimple Hessenberg variety in type A is a free module over the equivariant cohomology ring of a point. When equipped with Tymoczko's dot action, it becomes a twisted representation of the symmetric group, and the character of this representation is given by the chromatic quasisymmetric function of an indifference graph. In this note, we use divided difference operators to decompose this representation as a direct sum of sub-representations in a way that categorifies the modular relation between chromatic quasisymmetric functions.
Off-Diagonal Ramsey Numbers for Linear Hypergraphs
Published
• View Publication
• BIB
We study off-diagonal Ramsey numbers $r(H, K_n^{(k)})$ of $k$-uniform hypergraphs, where $H$ is a fixed linear $k$-uniform hypergraph and $K_n^{(k)}$ is complete on $n$ vertices. Recently, Conlon et al.\ disproved the folklore conjecture that $r(H, K_n^{(3)})$ always grows polynomially in $n$. In this paper we show that much larger growth rates are possible in higher uniformity. In uniformity $k\ge 4$, we prove that for any constant $C>0$, there exists a linear $k$-uniform hypergraph $H$ for which $$r(H,K_n^{(k)}) \geq \textup{twr}_{k-2}(2^{(\log n)^C}).$$