Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Non-adaptive Bellman-Ford: Yen's improvement is optimal
The Bellman-Ford algorithm for single-source shortest paths repeatedly updates tentative distances in an operation called relaxing an edge. In several important applications a non-adaptive (oblivious) implementation is preferred, which means fixing the entire sequence of relaxations upfront, independently of the edge-weights. Such an implementation performs, in a dense graph on $n$ vertices, $(1 + o(1))n^3$ relaxations. An improvement by Yen from 1970 reduces the number of relaxations by a factor of two. We show that no further constant-factor improvements are possible, and every non-adaptive deterministic algorithm based on relaxations must perform $(\frac{1}{2} - o(1))n^3$ steps. This improves an earlier lower bound of Eppstein of $(\frac{1}{6} - o(1))n^3$. Given that a non-adaptive randomized variant of Bellman-Ford with at most $(\frac{1}{3} + o(1))n^3$ relaxations (with high probability) is known, our result implies a strict separation between deterministic and randomized strategies, answering an open question of Eppstein. On the complexity side, we show that deciding whether a given relaxation sequence is guaranteed to yield correct distances is NP-hard, even with the complete graph as input.
An approximation algorithm for zero forcing
Published
• View Publication
• BIB
We give an algorithm that finds a zero forcing set which approximates the optimal size by a factor of $\text{pw}(G)+1$, where $\text{pw}(G)$ is the pathwidth of $G$. Starting from a path decomposition, the algorithm runs in $O(nm)$ time, where $n$ and $m$ are the order and size of the graph, respectively. As a corollary, we obtain a new upper bound on the zero forcing number in terms of the fort number and the pathwidth. The algorithm is based on a correspondence between zero forcing sets and forcing arc sets. This correspondence leads to a new bound on the zero forcing number in terms of vertex cuts, and to new, short proofs for known bounds on the zero forcing number.
Sudoku Number of Corona of Graphs
Let $G = (V,E)$ be a graph of order $n$ with chromatic number $χ(G) = k$, let $S \subset V$ and let $C_0$ be a $k$-coloring of the induced subgraph $G[S]$. The coloring $C_0$ is called an extendable coloring, if $C_0$ can be extended to a $k$-coloring of $G$ and it is a Sudoku coloring of $G$ if the extension is unique. The smallest order of such an induced subgraph $G[S]$ of $G$ which admits a Sudoku coloring is called the Sudoku number of $G$ and is denoted by $sn(G)$. In this paper, we first introduce the notion of uniquely color extendable vertex and then we obtain the lower and upper bounds for the Sudoku number of $G \circ K_1$. Some families of graphs which attain these bounds are also obtained. The exact value of the Sudoku number of corona of $C_n$, $W_n$ and $K_n$ with $K_1$ and $C_n \circ P_m$ are also obtained.
An Algorithmic Meta Theorem for Homomorphism Indistinguishability
Two graphs $G$ and $H$ are homomorphism indistinguishable over a family of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphism from $F$ to $H$. Many natural equivalence relations comparing graphs such as (quantum) isomorphism, cospectrality, and logical equivalences can be characterised as homomorphism indistinguishability relations over various graph classes.
For a fixed graph class $\mathcal{F}$, the decision problem HomInd($\mathcal{F}$) asks to determine whether two input graphs $G$ and $H$ are homomorphism indistinguishable over $\mathcal{F}$. The problem HomInd($\mathcal{F}$) is known to be decidable only for few graph classes $\mathcal{F}$. We show that HomInd($\mathcal{F}$) admits a randomised polynomial-time algorithm for every graph class $\mathcal{F}$ of bounded treewidth which is definable in counting monadic second-order logic CMSO2. Thereby, we give the first general algorithm for deciding homomorphism indistinguishability.
This result extends to a version of HomInd where the graph class $\mathcal{F}$ is specified by a CMSO2-sentence and a bound $k$ on the treewidth, which are given as input. For fixed $k$, this problem is randomised fixed-parameter tractable. If $k$ is part of the input then it is coNP- and coW[1]-hard. Addressing a problem posed by Berkholz (2012), we show coNP-hardness by establishing that deciding indistinguishability under the $k$-dimensional Weisfeiler--Leman algorithm is coNP-hard when $k$ is part of the input.
The polyhedral type of a polynomial map on the plane
Two continuous maps $f, g : \mathbb{C}^2\to\mathbb{C}^2$ are said to be topologically equivalent if there exist homeomorphisms $\varphi,ψ:\mathbb{C}^2\to\mathbb{C}^2$ satisfying $ψ\circ f\circ\varphi = g$. It is known that there are finitely many topologically non-equivalent polynomial maps $\mathbb{C}^2\to\mathbb{C}^2$ with any given degree $d$. The number $T(d)$ of these topological types is known only whenever $d=2$. In this paper, we describe the topology of generic complex polynomial maps on the plane using the corresponding pair of Newton polytopes and establish a method for constructing topologically non-equivalent maps of degree $d$. We furthermore provide a software implementation of the resulting algorithm, and present lower bounds on $T(d)$ whenever $d=3$ and $d=4$.
An example of an "unlinked" set of $2k + 3$ points in $2k$-space
Take any $d + 3$ points in $\mathbb{R}^d$. It is known that
(a) if $d = 2k + 1$, then there are two linked $(k + 1)$-simplices with the vertices at these points;
(b) if $d = 2k$, then there are two disjoint $(k + 1)$-tuples of these points such that their convex hulls intersect.
The analogue of (b) for $d = 2k + 1$, which is also the analogue of (a) for intersections (instead of linkings), states that there are two disjoint $(k + 1)$- and $(k + 2)$-tuples of these points such that their convex hulls intersect. This analogue is correct by (a).
Cartesian products of two $CR$ sets
Published
• View Publication
• BIB
The notions of CR set is intimately related with the generalized van der Waerden's theorem. In this article, we prove the product of two CR sets is again a CR set. This answers [Question 4.2., N. Hindman, H. Hosseini, D. Strauss, and M. Tootkaboni: Combinatorially rich sets in arbitrary semigroups, Semigroup Forum, 107 (2023), 127-143.] . We use combinatorial arguments to prove our result.
General penny graphs are at most 43/18-dense
Published in Combinatorics and Number Theory, 2025, Vol. 14, No. 1, pp. 75--89
• View Publication
• BIB
We prove that among $n$ points in the plane in general position, the shortest distance occurs at most $43n/18$ times, improving upon the upper bound of $17n/7$ obtained by Tóth in 1997.
Monotonicity of the cops and robber game for bounded depth treewidth
We study a variation of the cops and robber game characterising treewidth, where in each play at most q cops can be placed in order to catch the robber, where q is a parameter of the game. We prove that if k cops have a winning strategy in this game, then k cops have a monotone winning strategy. As a corollary we obtain a new characterisation of bounded depth treewidth, and we give a positive answer to an open question by Fluck, Seppelt and Spitzer (2024), thus showing that graph classes of bounded depth treewidth are homomorphism distinguishing closed. Our proof of monotonicity substantially reorganises a winning strategy by first transforming it into a pre-decomposition, which is inspired by decompositions of matroids, and then applying an intricate breadth-first "cleaning up" procedure along the pre-decomposition (which may temporarily lose the property of representing a strategy), in order to achieve monotonicity while controlling the number of cop placements simultaneously across all branches of the decomposition via a vertex exchange argument. We believe this can be useful in future research.
At the end of the spectrum: Chromatic bounds for the largest eigenvalue of the normalized Laplacian
Published
• View Publication
• BIB
For a graph with largest normalized Laplacian eigenvalue $λ_N$ and (vertex) coloring number $χ$, it is known that $λ_N\geq χ/(χ-1)$. Here we prove properties of graphs for which this bound is sharp, and we study the multiplicity of $χ/(χ-1)$. We then describe a family of graphs with largest eigenvalue $χ/(χ-1)$. We also study the spectrum of the $1$-sum of two graphs (also known as graph joining or coalescing), with a focus on the maximal eigenvalue. Finally, we give upper bounds on $λ_N$ in terms of $χ$.
A characterization of permutability of 2-uniform tolerances on posets
Published
• View Publication
• BIB
Tolerance relations were investigated by several authors in various algebraic structures, see e.g. the monograph by I. Chajda. Recently G. Czédli studied so-called 2-uniform tolerances on lattices, i.e. tolerances that are compatible with the lattice operations and whose blocks are of cardinality 2. He showed that two such tolerances on a lattice containing no infinite chain permute if and only if they are amicable (a concept introduced in his paper). We extend this study to tolerances on posets. Since in posets we have no lattice operations, we must modify the notion of amicability. We modified it in such a way that in case of lattices it coincides with the original definition. With this new definition we can prove that two tolerances on a poset containing no infinite chain permute if and only if they are amicable in the new sense.
Monochromatic $k$-connection of graphs
Published
• View Publication
• BIB
An edge-coloured path is monochromatic if all of its edges have the same colour. For a $k$-connected graph $G$, the monochromatic $k$-connection number of $G$, denoted by $mc_k(G)$, is the maximum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint monochromatic paths. In this paper, we shall study the parameter $mc_k(G)$. We obtain bounds for $mc_k(G)$, for general graphs $G$. We also compute $mc_k(G)$ exactly when $k$ is small, and $G$ is a graph on $n$ vertices, with a spanning $k$-connected subgraph having the minimum possible number of edges, namely $\lceil\frac{kn}{2}\rceil$. We prove a similar result when $G$ is a bipartite graph.
On a family of quasi-strongly regular Cayley graphs
Published
• View Publication
• BIB
In this paper, we construct a family of quasi-strongly regular Cayley graphs $Γ_H(G)$ which is defined on a finite group $G$ with respect to a subgroup $H$ of $G$. We also compute its full automorphism group and characterize various transitivity properties of it.
On solutions of $\sum_{i=1}^n 1/x_i = 1$ in integers of the form $2^a k^b$
Published in Int. J. Number Theory 21 (2025) 415-436
• View Publication
• BIB
We give an algorithm that produces all solutions of the equation $\sum_{i=1}^n 1/x_i = 1$ in integers of the form $2^a k^b$, where $k$ is a fixed positive integer that is not a power of $2$, $a$ is an element of $\{0,1,2\}$ that can vary from term to term, and $b$ is a nonnegative integer that can vary from term to term. We also completely characterize the pairs $(k,n)$ for which this equation has a nontrivial solution in integers of this form.
Irreducible Markov Chains on spaces of graphs with fixed degree-color sequences
Published
• View Publication
• BIB
We study a colored generalization of the famous simple-switch Markov chain for sampling the set of graphs with a fixed degree sequence. Here we consider the space of graphs with colored vertices, in which we fix the degree sequence and another statistic arising from the vertex coloring, and prove that the set can be connected with simple color-preserving switches or moves. These moves form a basis for defining an irreducible Markov chain necessary for testing statistical model fit to block-partitioned network data. Our methods further generalize well-known algebraic results from the 1990s: namely, that the corresponding moves can be used to construct a regular triangulation for a generalization of the second hypersimplex. On the other hand, in contrast to the monochromatic case, we show that for simple graphs, the 1-norm of the moves necessary to connect the space increases with the number of colors.
Consecutive Power Occurrences in Sturmian Words
Published
• View Publication
• BIB
We show that every Sturmian word has the property that the distance between consecutive ending positions of cubes occurring in the word is always bounded by $10$ and this bound is optimal, extending a result of Rampersad, who proved that the bound $9$ holds for the Fibonacci word. We then give a general result showing that for every $e \in [1,(5+\sqrt{5})/2)$ there is a natural number $N$, depending only on $e$, such that every Sturmian word has the property that the distance between consecutive ending positions of $e$-powers occurring in the word is uniformly bounded by $N$.
Hitting times in the stochastic block model
Published
• View Publication
• BIB
Given a large connected graph $G=(V,E)$, and two vertices $w,\neq v$, let $T_{w,v}$ be the first hitting time to $v$ starting from $w$ for the simple random walk on $G$. We prove a general theorem that guarantees, under some assumptions on $G$, to approximate $\mathbb E[T_{w,v}]$ up to $o(1)$ terms. As a corollary, we derive explicit formulas for the stochastic block model with two communities and connectivity parameters $p$ and $q$, and show that the average hitting times, for fixed $v$ and as $w$ varies, concentrates around four possible values. The proof is purely probabilistic and uses a coupling argument.
Integral and rational graphs in the plane
Published
• View Publication
• BIB
We describe constructions of infinite graphs which are not representable as integral graphs in the plane, addressing a question of Erdős. We also mention some related problems.
Integrating High-Dimensional Functions Deterministically
We design a Quasi-Polynomial time deterministic approximation algorithm for computing the integral of a multi-dimensional separable function, supported by some underlying hyper-graph structure, appropriately defined. Equivalently, our integral is the partition function of a graphical model with continuous potentials. While randomized algorithms for high-dimensional integration are widely known, deterministic counterparts generally do not exist. We use the correlation decay method applied to the Riemann sum of the function to produce our algorithm. For our method to work, we require that the domain is bounded and the hyper-edge potentials are positive and bounded on the domain. We further assume that upper and lower bounds on the potentials separated by a multiplicative factor of $1 + O(1/Δ^2)$, where $Δ$ is the maximum degree of the graph. When $Δ= 3$, our method works provided the upper and lower bounds are separated by a factor of at most $1.0479$. To the best of our knowledge, our algorithm is the first deterministic algorithm for high-dimensional integration of a continuous function, apart from the case of trivial product form distributions.
Rehan-Lanel Indices of Graphs
A graph $G$ consists of vertices $V(G)$ and edges $E(G)$. In this paper, we propose four new indices defined and named as first Rehan-Lanel index of $G$ $(RL_1)$, second Rehan-Lanel index of $G$ $(RL_2)$, second Rehan-Lanel index of $G$, third Rehan-Lanel index of $G$, $(RL_3)$ and fourth Rehan-Lanel index of $G$ $(RL_4)$. The degrees of the vertices $u, v \in V(G)$ are denoted by $d_G(u)$ and $d_G(v)$. Based on these new indices and the definitions of Revan degree, Domination degree, Banhatti degree, Temperature of a vertex, KV indices, we subsequently introduced an additional 448 indices/exponentials and computed results for the first four new indices of each subsequent definition, for the standard graphs such as $r-$ regular graph, complete graph, cycle, path and compete bipartite graph. In addition, we performed calculations for the Wheel graph, Sunflower graph, and French Windmill graph. Furthermore, using the exponential of a degree of a vertex, the centrality concept, we introduced another 8 indices. Furthermore, we defined a new degree called Chandana-Lanel degree of a vertex of a graph(CL degree). Using this degree, new 6 indices were defined. Also, we defined the index called the Heronian Rehan-Lanel index using the Heronian mean of two numbers. These novel 462 indices would be advantageous in QSPR/QSAR studies.