Showing 20 papers (Total: 83342 papers, 48132 authors in database)
On the weak $k$-metric dimension of Hamming graphs
Given a connected graph $G$, a set of vertices $X\subset V(G)$ is a weak $k$-resolving set of $G$ if for each two vertices $y,z\in V(G)$, the sum of the values $|d_G(y,x)-d_G(z,x)|$ over all $x\in X$ is at least $k$, where $d_G(u,v)$ stands for the length of a shortest path between $u$ and $v$. The cardinality of a smallest weak $k$-resolving set of $G$ is the weak $k$-metric dimension of $G$, and is denoted by $\mathrm{wdim}_k(G)$. In this paper, $\mathrm{wdim}_k(K_n\,\square\,K_n)$ is determined for every $n\ge 3$ and every $2\le k\le 2n$. An improvement of a known integer linear programming formulation for this problem is developed and implemented for the graphs $K_n\,\square\,K_m$. Conjectures regarding these general situations are posed.
Perfect codes in quartic Cayley graphs of generalized dihedral groups
For a graph $Γ=(VΓ,EΓ)$, a subset $D$ of $VΓ$ is a perfect code in $Γ$ if every vertex of $Γ$ is dominated by exactly one vertex in $D$. In this paper, we classify all connected quartic Cayley graphs on generalized dihedral groups admitting a perfect code, and determine all perfect codes in such graphs.
Pathographs and some (un)decidability results
We introduce pathographs as a framework to study graph classes defined by forbidden structures, including forbidding induced subgraphs, minors, etc. Pathographs approximately generalize s-graphs of Lévêque--Lin--Maffray--Trotignon by the addition of two extra adjacency relations: one between subdivisible edges and vertices called spokes, and one between pairs of subdivisible edges called rungs. We consider the following decision problem: given a pathograph $\mathfrak{H}$ and a finite set of pathographs $\mathcal{F}$, is there an $\mathcal{F}$-free realization of $\mathfrak{H}$? This may be regarded as a generalization of the "graph class containment problem": given two graph classes $S$ and $S'$, is it the case that $S\subseteq S'$? We prove the pathograph realization problem is undecidable in general, but it is decidable in the case that $\mathfrak{H}$ has no rungs (but may have spokes), or if $\mathcal{F}$ is closed under adding edges, spokes, and rungs. We also discuss some potential applications to proving decomposition theorems.
Isometric path partition: a new upper bound and a characterization of some extremal graphs
Published
• View Publication
• BIB
An $\textit{isometric path}$ is a shortest path between two vertices. An $\textit{isometric path partition}$ (IPP) of a graph $G$ is a set $I$ of vertex-disjoint isometric paths in $G$ that partition the vertices of $G$. The \textit{isometric path partition number} of $G$, denoted by $\text{ipp}(G)$, is the minimum cardinality of an IPP of $G$. In this article, we prove that every graph $G$ satisfies $\text{ipp}(G) \leq |V(G)| - ν(G)$, where $ν(G)$ is matching number of $G$. We further prove that a connected graph $G$ is extremal with respect to this upper bound, i.e.\ satisfies $\text{ipp}(G) = |V(G)| - ν(G)$, if and only if either (i) all blocks of $G$ are odd complete graphs, or (ii) all blocks of $G$ except one are odd complete graphs, and the unique block $B$ of $G$ that is not an odd complete graph is even and satisfy $\text{ipp}(B) = |V(B)| - ν(B)$. As corollaries of this result, we obtain a full structural characterization of all connected odd graphs that are extremal with respect to our upper bound, as well as of all extremal block graphs.
Bounding Width on Graph Classes of Constant Diameter
Published
• View Publication
• BIB
We determine if the width of a graph class ${\cal G}$ changes from unbounded to bounded if we consider only those graphs from ${\cal G}$ whose diameter is bounded. As parameters we consider treedepth, pathwidth, treewidth and clique-width, and as graph classes we consider classes defined by forbidding some specific graph $F$ as a minor, induced subgraph or subgraph, respectively. Our main focus is on treedepth for $F$-subgraph-free graphs of diameter at most~$d$ for some fixed integer $d$. We give classifications of boundedness of treedepth for $d\in \{4,5,\ldots\}$ and partial classifications for $d=2$ and $d=3$.
On the monoid of lexicographically minimal extensions
A sequence $(e_i)_{i \le m}$ of nonnegative integers $e_i$, where $m \in \mathbb{N}$ or $m =\infty$, is called a binomid index if $\sum_{i=n-k+1}^{n} e_i\geq \sum_{i=1}^ke_i$ for all $k, n \in \mathbb{N}$ such that $ 1\le k \le n < m$. Infinite binomid indices give rise to binomid sequences (also known as Raney sequences) and generalized binomial coefficients. A finite binomid index $η$ can be extended to a unique lexicographically minimal infinite binomid index $\tildeη$. This lex-minimal extension $\tildeη$ is necessarily eventually periodic. In this research, we give a formula for the minimal period and provide an upper bound for the preperiod of $\tildeη$. We also show that the monoid of lex-minimal extensions is an inductive limit of finitely presented monoids.
An Introductory Survey of Recursions in the Computation of Resistance Distance
Published
• View Publication
• BIB
This paper presents an introduction and expository account of a beautiful, current, and active application of recursions to the computation of resistance distance. Resistance distance, also referred to as effective resistance, is a well-known graph metric that arises naturally by considering a graph as an electrical circuit; heuristically resistance distance measures both the number of paths between two vertices in a graph and the cost of each path. This topic finds applications in a rich array of fields including social, biological, ecological, and transportation networks, chemistry, graph theory, numerical linear algebra, and engineering. A variety of methods are used in the field to determine resistance distance including recursive, mathematical, and graphical techniques. Sequences familiar to the readers of the Fibonacci Quarterly such as the Fibonacci and Lucas sequences appear quite often in results in the literature. Twenty five to forty years ago there were a handful of papers on resistance that appeared in the Fibonacci Quarterly and the Proceedings and recently papers on the subject have appeared again. It is hoped that this introductory expository account will interest readers of the Quarterly to renew interest in this current and active field.
Proof of a Conjecture on the Growth of the Maximal Resistance Distance in a Linear 3--Tree
Published
• View Publication
• BIB
Barret, Evans, and Francis conjectured that if $G$ is the straight linear 3-tree with $n$ vertices and $H$ is the straight linear 3-tree with $n+1$ vertices then
\[\lim_{n\rightarrow \infty} r_{H} (1, n+1) - r_G(1,n) = \frac{1}{14},\] where $r_G(u,v)$ and $r_H(u,v)$ are the resistance distance between vertices $u$ and $v$ in graphs $G$ and $H$ respectively. In this paper, we prove the conjecture by looking at the determinants of deleted Laplacian matrices. The proof uses a Laplace expansion method on a family of determinants to determine the underlying recursion this family satisfies and then uses routine linear algebra methods to obtain an exact Binet formula for the $n$-th term.
Strong edge-coloring of graphs with maximum edge weight seven
Published in J. Comb. Optim. 51 (2026), no. 1, Paper No. 2
• View Publication
• BIB
A strong edge-coloring of a graph $G$ is an edge-coloring such that any two edges of distance at most two receive distinct colors. The minimum number of colors we need in order to give $G$ a strong edge-coloring is called the strong chromatic index of $G$, denoted by $χ_s'(G)$. The maximum edge weight of $G$ is defined to be $\max\{d(u)+d(v):\ uv\in E(G)\}$. In this paper, using the discharging method, we prove that if $G$ is a graph with maximum edge weight $7$ and maximum average degree less than $\frac{40}{13}$, then $χ_s'(G)\le 13$. Also, we determine the largest possible maximum average degree of a graph with given maximum edge weight.
Hybrid Grothendieck polynomials
For a skew shape $λ/μ$, we define the hybrid Grothendieck polynomial $${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w}) =\sum_{T\in \mathrm{SVRPP}(λ/μ)} \textbf{x}^{\mathrm{ircont}(T)}\textbf{t}^{\mathrm{ceq} (T)}\textbf{w}^{\mathrm{ex}(T)}$$ as a weight generating function over set-valued reverse plane partitions of shape $λ/μ$. It specializes to \begin{itemize}
\item[(1)] the refined
stable Grothendieck polynomial introduced by Chan--Pflueger by setting all $t_i=0$;
\item[(2)] the refined dual stable Grothendieck polynomial introduced by Galashin--Grinberg--Liu by setting all $w_i=0$. \end{itemize}
We show that ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ is symmetric in the $\textbf{x}$ variables. By building a crystal structure on set-valued reverse plane partitions, we obtain the expansion of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ in the basis of Schur functions, extending previous work by Monical--Pechenik--Scrimshaw and Galashin. Based on the Schur expansion, we deduce that hybrid Grothendieck polynomials of straight shapes have saturated Newton polytopes. Finally, using Fomin--Greene's theory on noncommutative Schur functions, we give a combinatorial formula for the image of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ (in the case $t_i=α$ and $w_i=β$) under the omega involution on symmetric functions. The formula unifies the structures of weak set-valued tableaux and valued-set tableaux introduced by Lam--Pylyavskyy. Several problems and conjectures are motivated and discussed.
Effective resistance in planar graphs and continued fractions
For a simple graph $G=(V,E)$ and edge $e\in E$, the effective resistance is defined as a ratio $\frac{τ(G/e)}{τ(G)}$, where $τ(G)$ denotes the number of spanning trees in $G$. We resolve the inverse problem for the effective resistance for planar graphs. Namely, we determine (up to a constant) the smallest size of a simple planar graph with a given effective resistance. The results are motivated and closely related to our previous work arXiv:2411.18782 on Sedláček's inverse problem for the number of spanning trees.
Where Paths Collide: A Comprehensive Survey of Classic and Learning-Based Multi-Agent Pathfinding
Multi-Agent Path Finding (MAPF) is a fundamental problem in artificial intelligence and robotics, requiring the computation of collision-free paths for multiple agents navigating from their start locations to designated goals. As autonomous systems become increasingly prevalent in warehouses, urban transportation, and other complex environments, MAPF has evolved from a theoretical challenge to a critical enabler of real-world multi-robot coordination. This comprehensive survey bridges the long-standing divide between classical algorithmic approaches and emerging learning-based methods in MAPF research. We present a unified framework that encompasses search-based methods (including Conflict-Based Search, Priority-Based Search, and Large Neighborhood Search), compilation-based approaches (SAT, SMT, CSP, ASP, and MIP formulations), and data-driven techniques (reinforcement learning, supervised learning, and hybrid strategies). Through systematic analysis of experimental practices across 200+ papers, we uncover significant disparities in evaluation methodologies, with classical methods typically tested on larger-scale instances (up to 200 by 200 grids with 1000+ agents) compared to learning-based approaches (predominantly 10-100 agents). We provide a comprehensive taxonomy of evaluation metrics, environment types, and baseline selections, highlighting the need for standardized benchmarking protocols. Finally, we outline promising future directions including mixed-motive MAPF with game-theoretic considerations, language-grounded planning with large language models, and neural solver architectures that combine the rigor of classical methods with the flexibility of deep learning. This survey serves as both a comprehensive reference for researchers and a practical guide for deploying MAPF solutions in increasingly complex real-world applications.
Visibility in graphs under edge and vertex removal
For a connected graph $G$ and $X\subseteq V(G)$, we say that two vertices $u$, $v$ are $X$-visible if there is a shortest $u,v$-path $P$ with $V(P)\cap X \subseteq \{u,v\}$. If every two vertices from $X$ are $X$-visible, then $X$ is a mutual-visibility set in $G$. The largest cardinality of such a set in $G$ is the mutual-visibility number $μ(G)$. When the visibility constraint is extended to further types of vertex pairs, we get the definitions of outer, dual, and total mutual-visibility sets and the respective graph invariants $μ_o(G)$, $μ_d(G)$, and $μ_t(G)$.
This work concentrates on the possible changes in the four visibility invariants when an edge $e$ or a vertex $x$ is removed from $G$ and the graph remains connected. It is proved that $\frac{1}{2}μ(G) \le μ(G-e) \le 2μ(G)$ and $\frac{1}{6}μ_o(G) \le μ_o(G-e) \le 2μ_o(G)+1$ hold for every graph. Further general upper bounds established here are $μ_t(G-e) \leq μ_t(G)+2$ and $μ(G-x) \leq 2μ(G)$. For all but one of the remaining cases, it is shown that the visibility invariant may increase or decrease arbitrarily under the considered local operation. For example, neither $μ_d(G-e)$ nor $μ_d(G-x)$ allows lower or upper bounds of the form $a \cdot μ_d(G)+b$ with a positive constant $a$. Along the way, the realizability of the four visibility invariants in terms of the order is also characterized in the paper.
Higher Order Bell Symmetric Functions
We study symmetric function analogues of the higher order Bell numbers. Their construction involves iterated plethystic exponential towers mimicking the single variable exponential generating functions for the higher order Bell numbers. We derive explicit recurrence relations for the expansion coefficients of the Bell functions into the monomial and power sum bases of the ring of symmetric functions. Using the machinery of combinatorial species, the Bell functions are proven to be the Frobenius characteristics of the permutation representations of symmetric groups on hyper-partitions of certain orders and sizes. In the order 1 case, we are able to give more details about the expansion coefficients of the Bell functions in terms of vector partitions and divisor sums as well as give a recurrence relation analogous to the well known recursion for the Bell numbers. Lastly, we use Littlewood's reciprocity theorem and the Hardy-Littlewood Tauberian theorem to prove that the Schur expansion coefficients of the order 1 Bell functions are certain asymptotic averages of restriction coefficients.
Notes on the Linear Algebraic View of Regularity Lemmas
When regularity lemmas were first developed in the 1970s, they were described as results that promise a partition of any graph into a ``small'' number of parts, such that the graph looks ``similar'' to a random graph on its edge subsets going between parts. Regularity lemmas have been repeatedly refined and reinterpreted in the years since, and the modern perspective is that they can instead be seen as purely linear-algebraic results about sketching a large, complicated matrix with a smaller, simpler one. These matrix sketches then have a nice interpretation about partitions when applied to the adjacency matrix of a graph.
In these notes we will develop regularity lemmas from scratch, under the linear-algebraic perspective, and then use the linear-algebraic versions to derive the familiar graph versions. We do not assume any prior knowledge of regularity lemmas, and we recap the relevant linear-algebraic definitions as we go, but some comfort with linear algebra will definitely be helpful to read these notes.
Liftings of surfaces in the plane
In this note we provide a topological definition of Maxwell-Cremona liftings for non-planar frameworks of surfaces (both oriented and non-oriented). In the non-oriented case we give an estimate on the dimension of self-stresses, when the frameworks will posses a non-trivial lifting.
Homotopy Type of Intersections of Real Bruhat Cells in Dimension 6
In this work, we investigate the arbitrary intersection of real Bruhat cells. Such objects have attracted interest from various authors, particularly due to their appearance in different contexts: such as in Kazhdan-Lusztig theory and in the study of locally convex curves. We study the homotopy type of the intersection of two real Bruhat cells. This homotopy type is the same as that of an explicit submanifold of the group of real lower triangular matrices with diagonal entries equal to 1. For $(n+1)\times(n+1)$ matrices with $n\leq4$, these submanifolds are the disjoint union of contractible connected components. Our focus is on such intersections for $6\times6$ real matrices. For this, we study the connected components of Bruhat cells for permutations $σ\in\Sn_6$ with at most 12 inversions. We make use of the structure of the dual CW complexes associated with these components. We show that for permutations with at most 12 inversions, with the exception of $σ=[563412]$ , all connected components are contractible. Furthermore, for $σ=[563412]$, we identify new non-contractible connected components with the homotopy type of the circle.
Examples of IDP lattice polytopes with non-log-concave $h^*$-vector
Lattice polytopes are called IDP polytopes if they have the integer decomposition property, i.e., any lattice point in a $k$th dilation is a sum of $k$ lattice points in the polytope. It is a long-standing conjecture whether the numerator of the Ehrhart series of an IDP polytope, called the $h^*$-polynomial, has a unimodal coefficient vector. In this preliminary report on research in progress we present examples showing that $h^*$-vectors of IDP polytopes do not have to be log-concave. This answers a question of Luis Ferroni and Akihiro Higashitani.
As this is an ongoing project, this paper will be updated with more details and examples in the near future.
S-packing chromatic critical graphs
Published
• View Publication
• BIB
For a non-decreasing sequence of positive integers $S=(s_1,s_2,\ldots)$, the $S$-packing chromatic number of a graph $G$ is denoted by $χ_S(G)$. In this paper, $χ_S$-critical graphs are introduced as the graphs $G$ such that $χ_S(H) < χ_S(G)$ for each proper subgraph $H$ of $G$. Several families of $χ_S$-critical graphs are constructed, and $2$- and $3$-colorable $χ_S$-critical graphs are presented for all packing sequences $S$, while $4$-colorable $χ_S$-critical graphs are found for most of $S$. Cycles which are $χ_S$-critical are characterized under different conditions. It is proved that for any graph $G$ and any edge $e \in E(G)$, the inequality $χ_S(G - e) \ge χ_S(G)/2$ holds. Moreover, in several important cases, this bound can be improved to $χ_S(G - e) \ge (χ_S(G)+1)/2$. The sharpness of the bounds is also discussed. Along the way an earlier result on $χ_S$-vertex-critical graphs is supplemented.
Polynomial progressions in the generalized twin primes
Published
• View Publication
• BIB
By Maynard's theorem and the subsequent improvements by the Polymath Project, there exists a positive integer $b\leq 246$ such that there are infinitely many primes $p$ such that $p+b$ is also prime. Let $P_1,...,P_t\in \mathbb{Z}[y]$ with $P_1(0)=\cdots=P_t(0)=0$. We use the transference argument of Tao and Ziegler to prove there exist positive integers $x, y,$ and $b \leq 246 $ such that $x+P_1(y),x+P_2(y),...,x+P_t(y)$ and $x+P_1(y)+b,x+P_2(y)+b,...,x+P_t(y)+b$ are all prime. Our work is inspired by Pintz, who proved a similar result for the special case of arithmetic progressions.