Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Universal diameter bounds for random graphs with given degrees
Given a graph $G$, let $\mathrm{diam}(G)$ be the greatest distance between any two vertices of $G$ which lie in the same connected component, and let $\mathrm{diam}^+(G)$ be the greatest distance between any two vertices of $G$; so $\mathrm{diam}^+(G)=\infty$ if $G$ is not connected.
Fix a sequence $(d_1,\ldots,d_n)$ of positive integers, and let $\mathbf{G}$ be a uniformly random connected simple graph with $V(\mathbf{G})=[n]:=\{1,\ldots,n\}$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$. We show that, unless a $1-o(1)$ proportion of vertices have degree $2$, then $\mathbb{E}[\mathrm{diam}(\mathbf{G})]=O(\sqrt{n})$. It is not hard to see that this bound is best possible for general degree sequences (and in particular in the case of trees, in which $\sum_{v=1}^n d_v = 2(n-1)$). We also prove that this bound holds without the connectivity constraint. As a key input to the proofs, we show that graphs with minimum degree $3$ are with high probability connected and have logarithmic diameter: if $\min(d_1,\ldots,d_n) \ge 3$ and $\mathbf{G}$ is a uniformly random simple graph with $V(\mathbf{G})=[n]$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$, then $\mathrm{diam}^+(\mathbf{G})=$ $O_{\mathbb{P}}(\log n)$; this bound is also best possible.
On the forts and related parameters of the hypercube graph
In 2018, forts were defined as non-empty subsets of vertices in a graph where no vertex outside the set has exactly one neighbor in the set. Forts have since been used to characterize zero forcing sets, model zero forcing as an integer program, and provide lower bounds on the zero forcing number. In this article, we give a complete characterization of minimum forts in the hypercube graph, showing that they are automorphic to one of two sets. In contrast, non-automorphic minimum zero forcing sets are identified with distinct propagation times. We also derive the fractional zero forcing number and bounds on the fort number of the hypercube. When the hypercube's dimension is a power of two, the fort number and fractional zero forcing number are equal to the domination number, total domination number, and open packing number. Lastly, we present general constructions for minimal forts in the Cartesian product of graphs, reflecting some minimal forts of the hypercube.
Maximal sets of a given diameter in Hamming cubes
A subset of the Hamming cube over $n$-letter alphabet is said to be $d$-maximal if its diameter is $d$, and adding any point increases the diameter. Our main result shows that each $d$-maximal set is either of size at most $(n+o(n))^d$ or contains a non-trivial Hamming ball. The bound of $(n+o(n))^d$ is asymptotically tight. Additionally, we give a non-trivial lower bound on the size of any $d$-maximal set and show that the number of essentially different $d$-maximal sets is finite.
Covering Complete Geometric Graphs by Monotone Paths
Published
• View Publication
• BIB
Given a set $A$ of $n$ points (vertices) in general position in the plane, the \emph{complete geometric graph} $K_n[A]$ consists of all $\binom{n}{2}$ segments (edges) between the elements of $A$. It is known that the edge set of every complete geometric graph on $n$ vertices can be partitioned into $O(n^{3/2})$ crossing-free paths (or matchings). We strengthen this result under various additional assumptions on the point set. In particular, we prove that for a set $A$ of $n$ \emph{randomly} selected points, uniformly distributed in $[0,1]^2$, with probability tending to $1$ as $n\rightarrow\infty$, the edge set of $K_n[A]$ can be covered by $O(n\log n)$ crossing-free paths and by $O(n\sqrt{\log n})$ crossing-free matchings. On the other hand, we construct $n$-element point sets such that covering the edge set of $K_n[A]$ requires a quadratic number of monotone paths.
On the Range of the Permanent of $(\pm1)$-Matrices
Published
• View Publication
• BIB
We establish a superpolynomial lower bound on the range of the permanent function on the set of $n\times n$ matrices with $\pm1$ entries.
Polynomial-to-exponential transition in 3-uniform Ramsey numbers
Let $r_k(s, e; t)$ denote the smallest $N$ such that any red/blue edge coloring of the complete $k$-uniform hypergraph on $N$ vertices contains either $e$ red edges among some $s$ vertices, or a blue clique of size $t$. Erd\H os and Hajnal introduced the study of this Ramsey number in 1972 and conjectured that for fixed $s>k\geq 3$, there is a well defined value $h_k(s)$ such that $r_k(s, h_k(s)-1; t)$ is polynomial in $t$, while $r_k(s, h_k(s); t)$ is exponential in a power of $t$. Erd\H os later offered \$500 for a proof. Conlon, Fox, and Sudakov proved the conjecture for $k=3$ and $3$-adically special values of $s$, and Mubayi and Razborov proved it for $s > k \geq 4$. We prove the conjecture for $k=3$ and all $s$, settling all remaining cases of the problem. We do this by solving a novel Turán-type problem: what is the maximum number of edges in an $n$-vertex $3$-uniform hypergraph in which all tight components are tripartite? We show that the balanced iterated blowup of an edge is an exact extremizer for this problem for all $n$.
Reconstruction of real algebraic functions into curves with prescribed Reeb graphs
We discuss reconstructing smooth real algebraic maps onto curves whose Reeb graph is as prescribed. This can be contributed to real algebraic geometry, especially in explicit examples in real algebraic geometry in a new way. The Reeb graph of a smooth function is the space of all connected components of preimages of all single points and a natural quotient space of the manifold with the vertex set being all connected components containing some singular points of it. This gives a strong tool in geometry of manifolds and appeared already in 1950 with Morse functions.
The Reeb graph of the natural height of the unit sphere of dimension at least 2 is a graph with exactly two vertices and one edge. We reconstruct functions, from general finite graphs, conversely. In the differentiable situations, Sharko pioneered this in 2006, followed by Masumoto-Saeki and Michalak, mainly. Related real algebraic situations have been launched and studied by the author. The curve-valued case is first considered here.
Riordan pattern's quest within simplicial complexes
Published
• View Publication
• BIB
The aim of this paper is twofold. First, we demonstrate how Riordan matrices can be employed to connect well-known concepts in geometric combinatorics, such as $f$-vectors, $h$-vectors $γ$-vectors, in a similar fashion to the McMullen Correspondence, and the Dehn-Sommerville equations, among others. Second, we investigate the combinatorial properties of the topological join operation, both for simplicial complexes and for Alexandroff spaces. Finally, we explore the Riordan matrices arising from the iteration of this topological operation and analyze their properties.
Equiangular lines via nodal domains
For given $Δ>0$ and $0<λ<3/\sqrt{2}$, we show that the maximum multiplicity that $λ$ can appear as the second largest eigenvalue of a connected graph with maximum degree at most $Δ$ is $O_{Δ,λ}(1)$. This result answers a question due to Jiang, Tidor, Yao, Zhang and Zhao [Question 6.4, Ann. of Math. (2) 194 (2021), no. 3, 729-743] in the case of $0<λ<3/\sqrt{2}$, and consequently leads to improvements in their results on equiangular lines. Our proof is based on the concept of nodal domains of eigenfunctions. Indeed, we establish a multiplicity estimate in terms of maximum degree and cyclomatic number of the graph, via a novel construction of eigenfunctions with large number of nodal domains.
Correlations in random cluster model at $q=1$
Let $μ$ be a measure that samples a subset of a finite ground set, and let $\mathcal{A}_e$ be the event that element $e$ is sampled. The measure $μ$ is negatively correlated if for any pair of elements $e, f$ one has $μ(\mathcal{A}_e \cap \mathcal{A}_f) - μ(\mathcal{A}_e) μ(\mathcal{A}_f) \leq 0$. A measure is positively correlated if the direction of the inequality is reversed. For the random cluster model on graphs positive correlation between edges is known for $q \geq 1$ due to the FKG inequality, while the negative correlation is only conjectured for $0 \leq q \leq 1$. The main result of this paper is to give a combinatorial formula for the difference in question at $q=1$. Previously, such a formula was known in the uniform spanning tree case, which is a limit of the random cluster model at $q=0$.
Correlation Clustering for General Graphs
Published
• View Publication
• BIB
Correlation clustering provides a method for separating the vertices of a signed graph into the optimum number of clusters without specifying that number in advance. The main goal in this type of clustering is to minimize the number of disagreements: the number of negative edges inside clusters plus the number of positive edges between clusters. In this paper, we present an algorithm for correlation clustering in general case. Also, we show that there is a necessary and sufficient condition under which the lower bound, maximum number of edge disjoint weakly negative cycles, is equal to minimum number of disagreements. Finally, we prove that the presented algorithm gives a $2$-approximation for a subclass of signed graphs.
A bound for plany Kakeya sets in $\mathbb{F}_q^4$ using the planebrush method
Published in Res Math Sci 13, 13 (2026)
• View Publication
• BIB
Katz and Zahl used a planebrush argument to prove that Kakeya sets in $\mathbb{R}^4$ have Hausdorff dimension at least 3.059. In the special case when the Kakeya set is plany, their argument gives a better lower bound of 10/3. We give a nontechnical exposition of the Katz-Zahl argument for plany Kakeya sets in the finite field setting.
Paths and Intersections: Exact Emulators for Planar Graphs
Published
• View Publication
• BIB
We study vertex sparsification for preserving distances in planar graphs. Given an edge-weighted planar graph with $k$ terminals, the goal is to construct an emulator, which is a smaller edge-weighted planar graph that contains the terminals and exactly preserves the pairwise distances between them. We construct exact planar emulators of size $O(f^2k^2)$ in the setting where terminals lie on $f$ faces in the planar embedding of the input graph. Our result generalizes and interpolates between the previous results of Chang and Ophelders and Goranci, Henzinger, and Peng which is an $O(k^2)$ bound in the setting where all terminals lie on a single face (i.e., $f=1$), and the result of Krauthgamer, Nguyen, and Zondiner, which is an $O(k^4)$ bound for the general case (i.e., $f=k$).
Our construction follows a recent new way of analyzing graph structures, by viewing graphs as paths and their intersections, which we believe is of independent interest.
Fibonacci, Lucas, and Spread Polynomials
This note gives an elementary exposition of a variant of the spread polynomials in terms of Fibonacci and Lucas polynomials.
Breaking the Symmetries of Amenable Graphs
Published
• View Publication
• BIB
In this paper, we consider two ways of breaking a graph's symmetry: distinguishing labelings and fixing sets. A distinguishing labeling $φ$ of $G$ colors the vertices of $G$ so that the only automorphism of the labeled graph $(G, φ)$ is the identity map. The distinguishing number of $G$, $D(G)$, is the fewest number of colors needed to create a distinguishing labeling of $G$. A subset $S$ of vertices is a fixing set of $G$ if the only automorphism of $G$ that fixes every element in $S$ is the identity map. The fixing number of $G$, $Fix(G)$, is the size of a smallest fixing set. A fixing set $S$ of $G$ can be translated into a distinguishing labeling $φ_S$ by assigning distinct colors to the vertices in $S$ and assigning another color (e.g., the ``null" color) to the vertices not in $S$.
Color refinement is a well-known efficient heuristic for graph isomorphism. A graph $G$ is amenable if, for any graph $H$, color refinement correctly determines whether $G$ and $H$ are isomorphic or not. Using the characterization of amenable graphs by Arvind et al. as a starting point, we show that both $D(G)$ and $Fix(G)$ can be computed in $O((|V(G)|+|E(G)|) \log |V(G)|)$ time when $G$ is an amenable graph.
Generalised wavefunction coefficients and acyclonesto-cosmohedra
Published in J.Phys.A 58 (2025) 465403
• View Publication
• BIB
Scattering amplitudes of $\operatorname{tr}(φ^3)$ theory can be encoded as the canonical form of the Stasheff associahedron. Similarly, the flat-space wavefunction coefficients of the same theory are captured by the recently proposed cosmohedron, a non-simple polytope associated to the Stasheff associahedron; unitarity and locality of the amplitudes and wavefunction coefficients are then encoded in the factorisation properties of faces of these polytopes. In this paper, we argue that these desirable properties of the Stasheff associahedron are shared by a wider class of polytopes called acyclonestohedra and generalise the cosmohedron construction to arbitrary acyclonestohedra.
Acyclonestohedra are generalisations of Stasheff associahedra and graph associahedra defined on the data of a partially ordered set or, more generally, an acyclic realisable matroid on a building set. When the acyclonestohedron is associated to a partially ordered set, it may be interpreted as arising from Chan-Paton-like factors that are only (cyclically) partially ordered, rather than (cyclically) totally ordered as for the ordinary open string. In this paper, we argue that the canonical forms of acyclonestohedra encode scattering-amplitude-like objects that factorise onto themselves, thereby extending recent results for graph associahedra, and construct truncations of acyclonestohedra into acyclonesto-cosmohedra whose canonical forms may be interpreted as encoding a generalisation of the cosmological wavefunction coefficients. As a byproduct, we provide evidence that acyclonesto-cosmohedra can be obtained as sections of graph cosmohedra.
Hilbert Series for Configuration Spaces of Punctured Surfaces
Let $Σ_{g,r}$ denote the $r$-punctured closed Riemann surface of genus $g$. For every $g\geq 0$, we determine the four-variable generating function for the mixed Hodge numbers of the unordered configuration spaces of $Σ_{g,1}$. The cases where $g\geq 2$ are new. Combining a result of \cite{huang2020cohomology}, this determines the analogous generating function for $Σ_{g,r}$ for all $r\geq 1$. As an application of our formula we illustrate how classical homological stability results, as well as so-called secondary stability results of \cite{miller2019higher} can be interpolated to illustrate stable behaviors in the mixed Hodge numbers of these spaces which have been thus-far undiscovered.
A Family of Congruences Modulo 7 for Partitions with Monochromatic Even Parts and Multi--Colored Odd Parts
In recent work, Amdeberhan and Merca considered the integer partition function $a(n)$ which counts the number of integer partitions of weight $n$ wherein even parts come in only one color (i.e., they are monochromatic), while the odd parts may appear in one of three colors. One of the results that they proved was that, for all $n\geq 0$, $a(7n+2) \equiv 0 \pmod{7}$. In this work, we generalize this function $a(n)$ by naturally placing it within an infinite family of related partition functions. Using elementary generating function manipulations and classical $q$--series identities, we then prove infinitely many congruences modulo 7 which are satisfied by members of this family of functions.
Vector-valued Laurent polynomial equations, toric vector bundles and matroids
Let $L \subset \mathbb{C}^r \otimes \mathbb{C}[x_1^\pm, \ldots, x_n^\pm]$ be a finite dimensional subspace of vector-valued Laurent polynomials invariant under the action of torus $(\mathbb{C}^*)^n$. We study subvarieties in the torus, defined by equations $f = 0$ for generic $f \in L$. We generalize the BKK theorem, that counts the number of solutions of a system of Laurent polynomial equations generic for their Newton polytopes, to this setting. The answer is in terms of mixed volume of certain virtual polytopes encoding discrete invariants of $L$ which involves matroid data. Moreover, we prove an Alexandrov-Fenchel type inequality for these virtual polytopes. Finally, we extend this inequality to non-representable polymatroids. This extends the usual Alexandrov-Fenchel inequality for polytopes as well as log-concavity results related to matroids.
The Fractional Haemers Bound of The Mycielski Construction
Published
• View Publication
• BIB
We investigate the effect of the generalized Mycielski construction $M_r(G)$ on the complementary fractional Haemers bound $\bar{\mathcal{H}}_f(G; \mathbb{F})$, a parameter that depends on a graph $G$ and a field $\mathbb{F}$. The effect of the Mycielski construction on graph parameters has already been studied for the fractional chromatic number $χ_f$ and the complementary Lovász theta number $\bar{\vartheta}$. Larsen, Propp, and Ullman provided a formula for $ χ_f(M_2(G)) $ in terms of $χ_f(G)$. This was later generalized by Tardif to $ χ_f(M_r(G)) $ for any $r$, and Simonyi and the author gave a similar expression for $ \bar{\vartheta}(M_2(G)) $ in terms of $\bar{\vartheta}(G)$. In this paper, we show that Tardif's formula for the fractional chromatic number remains valid for $ \bar{\mathcal{H}}_f $ whenever $ \bar{\mathcal{H}}_f(G; \mathbb{F})$ equals the clique number of $G$. In particular, we provide a general upper bound on $\bar{\mathcal{H}}_f(M_r(G); \mathbb{F})$ in terms of $\bar{\mathcal{H}}_f(G;\mathbb{F})$ and we prove that this bound is tight whenever $ \bar{\mathcal{H}}_f(G; \mathbb{F})$ equals the clique number of $G$.