Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Upper Chromatic Numbers: An Update
Published in Geombinatorics, vol. 10 no. 1 (2000), pp. 4-11
• Search Publication
This is a survey written in 2000 about upper chromatic numbers
Yet Another Species of Forbidden-distances Chromatic Number
Published in Geombinatorics, vol. 10 no. 3 (2001), pp. 89-95
• Search Publication
This 2001 paper introduces a new type of chromatic number for point sets.
Vertex addition to a ball graph with application to reliability and area coverage in autonomous swarms
A unit ball graph consists of a set of vertices, labeled by points in Euclidean space, and edges joining all pairs of points within distance 1. These geometric graphs are used to model a variety of spatial networks, including communication networks between agents in an autonomous swarm. In such an application, vertices and/or edges of the graph may not be perfectly reliable; an agent may experience failure or a communication link rendered inoperable. With the goal of designing robust swarm formations, or unit ball graphs with high reliability (probability of connectedness), in a preliminary conference paper we provided an algorithm with cubic time complexity to determine all possible changes to a unit ball graph by repositioning a single vertex. Using this algorithm and Monte Carlo simulations, one obtains an efficient method to modify a unit ball graph by moving a single vertex to a location which maximizes the reliability. Another important consideration in many swarm missions is area coverage, yet highly reliable ball graphs often contain clusters of vertices. Here, we generalize our previous algorithm to improve area coverage as well as reliability. Our algorithm determines a location to add or move a vertex within a unit ball graph which maximizes the reliability, under the constraint that no other vertices of the graph be within some fixed distance. We compare this method of obtaining graphs with high reliability and evenly distributed area coverage to another method which uses a modified Fruchterman-Reingold algorithm for ball graphs.
Proofs Of Three Geode Conjectures
Published
• View Publication
• BIB
In the May 2025 issue of the Amer. Math. Monthly, Norman J. Wildberger and Dean Rubine intoduced a new kind of multi-indexed numbers, that they call `Geode numbers', obtained from the Hyper-Catalan numbers. They posed three intriguing conjectures about them, that are proved in this note.
Some sharp bounds on the average Steiner (k, l)-eccentricity for trees
Published
• View Publication
• BIB
In this paper we introduce some transformations for trees that do not increase the average Steiner $(k,l)$-eccentricity for all $0\leq l\leq k\leq n$. Using these transformations, we obtain some sharp bounds on the average Steiner $(k,l)$-eccentricity for trees with some certain conditions, including given nodes, given diameter, given max degree and given leaves, and get the corresponding extremal trees as well.
How Trees on Atoms of Subset Algebras Define Minimal Forests and Their Growth
A complete description is given of how minimal trees on atoms of the algebra of subsets $\mathfrak{A}_k$ generated by minimal spanning $k$-component forests of a weighted digraph $V$ determine the form of these forests and how forests grow with increasing number of arcs (that is with a decrease in the number of trees). Precise bounds are established on what can be extracted about the tree structure of the original graph if the minimal trees on the atoms of a single algebra $\mathfrak{A}_k$ are known, and also what minimum spanning forests with fewer components can be constructed based on this, and what exactly additional information is required to determine minimum spanning forests consisting of even fewer components.
A unified approach to total irregular labeling
We present a unified approach to compute the total vertex irregularity strength (tvs) of various graphs, employing a novel technique recently proposed by Barra et al. For graphs such as cycles, paths, prisms, wheels, complete graphs, helm graphs, friendship graphs, and $K_{n,n}$ , we offer simplified and unified proofs of their previously established tvs values. Furthermore, we resolve an open problem by determining the tvs for simple 2-regular graphs.
Reducible Iterated Graph Systems: multiscale-freeness and multifractals
Published
• View Publication
• BIB
Iterated Graph Systems (IGS) aims to transplant ideas from fractal geometry into graph theory. Building on this framework, we extend Edge IGS from the primitive to the reducible setting. Within this broader context, we formulate rigorous definitions of multifractality and multiscale-freeness for graph fractals, and we establish conditions that are equivalent to the occurrence of these two phenomena. We further determine the corresponding fractal and degree spectra, proving that both are finite and discrete. These results complete the foundational theory of Edge IGS by filling the gap left by the primitive case studied in [1,2].
Large grid subsets without many cospherical points
Motivated by intuitions from projective algebraic geometry, we provide a novel construction of subsets of the $d$-dimensional grid $[n]^d$ of size $n - o(n)$ with no $d + 2$ points on a sphere or a hyperplane. For $d = 2$, this improves the previously best known lower bound of $n/4$ toward the Erdős--Purdy problem due to Thiele in 1995. For $d \ge 3$, this improves the recent $Ω\bigl( n^{\frac{3}{d+1}-o(1)} \bigr)$ bound due to Suk and White, confirming their conjectured $Ω\bigl( n^{\frac{d}{d+1}} \bigr)$ bound in a strong sense, and asymptotically resolves the generalized Erdős--Purdy problem posed by Brass, Moser, and Pach.
Moduli Theory of the $r$-Braid Arrangement
Published
• View Publication
• BIB
We describe a family of hyperplane arrangements depending on a positive integer parameter $r$, which we refer to as the $r$-braid arrangements, and which can be viewed as a generalization of the classical braid arrangement. The wonderful compactification of the braid arrangement (with respect to its minimal building set) is well-known to yield the moduli space $\overline{\mathcal{M}}_{0,n}$, and, in this work, we generalize this result, constructing a moduli space $\overline{\mathcal{M}}^r_{n}$ of certain genus-zero curves with an order-$r$ involution that we identify with the corresponding wonderful compactification of the $r$-braid arrangement. The resulting space is a variant of the previously studied moduli space $\overline{\mathcal{L}}^r_n$ [arXiv:2104.06526], related via a change of weights on the markings.
Detection and Reconstruction of a Random Hypergraph from Noisy Graph Projection
Published
• View Publication
• BIB
For a $d$-uniform random hypergraph on $n$ vertices in which hyperedges are included i.i.d.\ so that the average degree in the hypergraph is $n^{δ+o(1)}$, the projection of such a hypergraph is a graph on the same $n$ vertices where an edge connects two vertices if and only if they belong to a same hyperedge. In this work, we study the inference problem where the observation is a \emph{noisy} version of the graph projection where each edge in the projection is kept with probability $p=n^{-1+α+o(1)}$ and each edge not in the projection is added with probability $q=n^{-1+β+o(1)}$. For all constant $d$, we establish sharp thresholds for both detection (distinguishing the noisy projection from an Erdős-Rényi random graph with edge density $q$) and reconstruction (estimating the original hypergraph). Notably, our results reveal a \emph{detection-reconstruction gap} phenomenon in this problem. Our work also answers a problem raised in \cite{BGPY25+}.
The characteristic polynomial of sunflowers
A uniform hypergraph is called a sunflower if all of its hyperedges intersect in the same set of vertices. In this paper, we determine the eigenvalues and spectral moments of a sunflower, thereby obtaining an explicit formula for its characteristic polynomial.
Entropy Bounds for Perfect Matchings in Bipartite Hypergraphs
Published
• View Publication
• BIB
A hypergraph is \textit{bipartite with bipartition} $(A, B)$ if every edge has exactly one vertex in $A$, and a matching in such a hypergraph is \textit{$A$-perfect} if it saturates every vertex in $A$. We prove an upper bound on the number of $A$-perfect matchings in uniform hypergraphs with small maximum codegree. Using this result, we prove that there exist order-$n$ Latin squares with at most $(n/e^{2.117})^n$ transversals when $n$ is odd and $n \equiv 0\pmod 3$. We also show that $k$-uniform $D$-regular hypergraphs on $n$ vertices have at most $((1+o(1))q/e^k)^{Dn/k}$ proper $q$-edge-colorings when $q = (1+o(1))D$ and the maximum codegree is $o(q)$.
Coloring outside the lines: Spectral bounds for generalized hypergraph colorings
Published
• View Publication
• BIB
It is known that, for an oriented hypergraph with (vertex) coloring number $χ$ and smallest and largest normalized Laplacian eigenvalues $λ_1$ and $λ_N$, respectively, the inequality $χ\geq (λ_N-λ_1)/\min\{λ_N-1,1-λ_1\}$ holds. We provide necessary conditions for oriented hypergraphs for which this bound is tight. Focusing on $c$-uniform unoriented hypergraphs, we then generalize the bound to the setting of \emph{$d$-proper colorings}: colorings in which no edge contains more than $d$ vertices of the same color. We also adapt our proof techniques to derive analogous spectral bounds for \emph{$d$-improper colorings} of graphs and for edge colorings of hypergraphs. Moreover, for all coloring notions considered, we provide necessary conditions under which the bound is an equality.
A monotonicity conjecture for the local maximal singularity of the Hilbert scheme of points
The Briançon-Iarrobino conjecture predicts the maximum singularity of the Hilbert scheme of a tetrahedral number of points. As for the maximal singularities of the Hilbert scheme of a non-tetrahedral number of points, the second named author gave some separate conjectural necessary and sufficient conditions. In this paper, we provide a conjectural sufficient condition for the necessary condition, and propose a monotonicity conjecture which predicts that for a fixed colength $l$, the maximal dimension of the tangent space over all the Borel-fixed ideals of colength $l$ is increasing with respect to the smallest pure exponent of the ideal.
Quantum $\mathfrak{gl}$-weight system and its average values
We present a proof of a recent conjecture due to M. Kazarian, E. Krasilnikov, S. Lando, and M. Shapiro, which describes the average value of the universal $\mathfrak{gl}$-weight system on permutations. The proof uses a quantum analogue of the $\mathfrak{gl}$-weight system on Hecke algebras of type $A$, which leads to a one-parameter deformation of the average value of the universal ${\mathfrak{gl}}$-weight system. We show that the average value of the quantum weight system is a linear combination of one-part Schur functions, with coefficients being $q$-analogues of Bernoulli polynomials.
Ergodic averages and the large intersection property along IP sets
We study multiple ergodic averages along IP sets, meaning we restrict iterates in the averages to all finite sums of some infinite sequence of natural numbers. We give criteria for convergence and divergence in mean of these multiple averages and derive sufficient conditions for convergence to the projection onto the space of invariant functions. For a class of sequences that, roughly speaking, only have rational obstructions to such a limit, we show that the behavior is controlled by nilsystems. We also consider pointwise convergence, obtaining convergence and a formula for a set of functions on nilsystems that are dense in $L^2$. Finally, we show that certain correlations have optimally large intersections along an IP set
Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
Published
• View Publication
• BIB
We define and study an extension of the notion of the VC-dimension of a hypergraph and apply it to establish a Tverberg type theorem for unions of convex sets. We also prove a new Radon type theorem for unions of convex sets,
vastly improving the estimates in an earlier result of Bárány and Kalai.
Moment-like maps and real algebraic functions with prescribed preimages
We discuss a problem on singularity theory of differentiable (smooth) or real algebraic maps which is different from knowing existence and has been difficult: constructing explcit real algebraic functions.
We discuss construction of real algebraic functions with exactly one singular value, the singular points being of definite type, and prescribed preimages of single points. We discuss generalizations of the canonical projection of the unit sphere around the pole and the Morse-Bott functions around the boundaries of the images with preimages diffeomorphic to the torus.
This has been discussed in the differentiable (smooth) category since the pioneering study of Sharko in 2006, followed by Masumoto-Saeki, Michalak and so on: the author has first considered the cases respecting the topologies of the preimages of the points where these studies had not done this essentially. Related real algebraic studies have been started by the author essentially in 2020's and the studies are developing, mainly due to the author.
Greedy Gossiping
The renowned Gossiping Problem (1971) asks the following. There are $n$ people who each know an item of gossip. In a telephone call, two people share all the gossip they know. How many calls are needed for all of them to be informed of all the gossip? If $n\ge 4$, the answer is $2n-4$.
We initiate and solve the related Greedy Gossiping Problem: given a fixed number $m<2n-4$ of calls, at most how much gossip can be known altogether? If every call increases the total knowledge of gossip as much as possible, the sum reaches $n^2$ only when $m=2n-3$. Our main result is that surprisingly, for each $m<2n-4$, this calling strategy is optimal.