Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Fractional revival on quasi-abelian Cayley graphs
Fractional revival, a quantum transport phenomenon critical to entanglement generation in quantum spin networks, generalizes the notion of perfect state transfer on graphs. A Cayley graph $\mathrm{Cay}(G,S)$ is called quasi-abelian if its connection set $S$ is a union of conjugacy classes of the group $G$. In this paper, we establish a necessary and sufficient condition for quasi-abelian Cayley graphs to have fractional revival. This extends a result of Cao and Luo (2022) on the existence of fractional revival in Cayley graphs over abelian groups.
Domination Parameters of Graph Covers
A graph $G$ is a \emph{cover} of a graph $F$ if there exists an onto mapping $π: V(G) \to V(F)$, called a (\emph{covering}) \emph{projection}, such that $π$ maps the neighbours of any vertex $v$ in $G$ bijectively onto the neighbours of $π(v)$ in $F$. This paper is the first attempt to study the connection between domination parameters and graph covers. We focus on the domination number, the total domination number, and the connected domination number. We prove upper and lower bounds for the domination parameters of $G$. Moreover, we propose a conjecture on the lower bound for the domination number of $G$ and provide evidence to support the conjecture.
An exposition of recent list-size bounds of FRS Codes
In the last year, there have been some remarkable improvements in the combinatorial list-size bounds of Folded Reed Solomon codes and multiplicity codes. Starting from the work on Kopparty, Ron-Zewi, Saraf and Wootters (SIAM J. Comput. 2023) (and subsequent simplifications due to Tamo (IEEE Trans. Inform. Theory 2024), we have had dramatic improvements in the list-size bounds of FRS codes due to Srivastava (SODA 2025) and Chen & Zhang (STOC 2025). In this note, we give a short exposition of these three results (Tamo, Srivastava and Chen-Zhang).
Orientation-Reversing Crystallographic Rigidity
This paper provides a combinatorial characterisation for generic forced symmetric rigidity of bar-joint frameworks in the Euclidean plane that are symmetric with respect to the orientation-reversing wallpaper group $\mathbb{Z}^2\rtimes\mathcal{C}_s$, also known as $pm$ in crystallography, under a fixed lattice representation. Corresponding results for the wallpaper groups $cm$ and $pg$ follow directly from this. The method used also provides an inductive construction for the corresponding gain graphs, in terms of Henneberg-type graph operations.
Circular sorting
We determine the maximal number of steps required to sort $n$ labeled points on a circle by adjacent swaps. Lower bounds for sorting by all swaps, not necessarily adjacent, are given as well.
Signless Laplacian State Transfer on Vertex Complemented Coronae
Given a graph $G$ with vertex set $V(G)=\{v_1,v_2,\ldots,v_{n_1}\}$ and a graph $H$ of order $n_2$, the vertex complemented corona, denoted by $G\tilde{\circ}{H}$, is the graph produced by copying $H$ $n_1$ times, with the $i$-th copy of $H$ corresponding to the vertex $v_i$, and then adding edges between any vertex in $V(G)\setminus\{v_{i}\}$ and any vertex of the $i$-th copy of $H$. The present article deals with quantum state transfer of vertex complemented coronae concerning signless Laplacian matrix. Our research investigates conditions in which signless Laplacian perfect state transfer exists or not on vertex complemented coronae. Additionally, we also provide some mild conditions for the class of graphs under consideration that allow signless Laplacian pretty good state transfer.
Polycyclic Geometric Realizations of the Gray Configuration
The Gray configuration is a (27_3) configuration which typically is realized as the points and lines of the 3 x 3 x 3 integer lattice. It occurs as a member of an infinite family of configurations defined by Bouwer in 1972. Since their discovery, both the Gray configuration and its Levi graph (i.e., its point-line incidence graph) have been the subject of intensive study. Its automorphism group contains cyclic subgroups isomorphic to Z_3 and Z_9, so it is natural to ask whether the Gray configuration can be realized in the plane with any of the corresponding rotational symmetry. In this paper, we show that there are two distinct polycyclic realizations with Z_3 symmetry. In contrast, the only geometric polycyclic realization with straight lines and Z_9 symmetry is only a "weak" realization, with extra unwanted incidences (in particular, the realization is actually a (27_4) configuration).
Sharp thresholds for higher powers of Hamilton cycles in random graphs
For $k \geq 4$, we establish that $p = (e/n)^{1/k}$ is a sharp threshold for the existence of the $k$-th power $H$ of a Hamilton cycle in the binomial random graph model. Our proof builds upon an approach by Riordan based on the second moment method, which previously established a weak threshold for $H$. This method expresses the second moment bound through contributions of subgraphs of $H$, with two key quantities: the number of copies of each subgraph in $H$ and the subgraphs' densities. We control these two quantities more precisely by carefully restructuring Riordan's proof and treating sparse and dense subgraphs of $H$ separately. This allows us to determine the exact constant in the threshold.
On strong nodal domains for eigenfunctions of Hamming graphs
The Laplacian matrix of the $n$-dimensional hypercube has $n+1$ distinct eigenvalues $2i$, where $0\leq i\leq n$. In 2004, Bıyıkoğlu, Hordijk, Leydold, Pisanski and Stadler initiated the study of eigenfunctions of hypercubes with the minimum number of weak and strong nodal domains. In particular, they proved that for every $1\leq i\leq \frac{n}{2}$ there is an eigenfunction of the hypercube with eigenvalue $2i$ that have exactly two strong nodal domains. Based on computational experiments, they conjectured that the result also holds for all $1\leq i\leq n-2$. In this work, we confirm their conjecture for $i\leq \frac{2}{3}(n-\frac{1}{2})$ if $i$ is odd and for $i\leq \frac{2}{3}(n-1)$ if $i$ is even. We also consider this problem for the Hamming graph $H(n,q)$, $q\geq 3$ (for $q=2$, this graph coincides with the $n$-dimensional hypercube), and obtain even stronger results for all $q\geq 3$.
A new measure of robustness of Erdős--Ko--Rado Theorems on permutation groups
In this paper we introduce a new way of measuring the robustness of Erdős--Ko--Rado (EKR) Theorems on permutation groups. EKR-type results can be viewed as results about the independence numbers of certain corresponding graphs, namely the derangement graphs, and random subgraphs of these graphs have been used to measure the robustness of these extremal results. In the context of permutation groups, the derangement graphs are Cayley graphs on the permutation group in question. We propose studying extremal properties of subgraphs of derangement graphs, that are themselves Cayley graphs of the group, to measure robustness.
We present a variety of results about the robustness of the EKR property of various permutation groups using this new measure.
Alternative set-theoretical algorithms for efficient computations of cliques in Vietoris-Rips complexes
Identifying cliques in dense networks remains a formidable challenge, even with significant advances in computational power and methodologies. To tackle this, numerous algorithms have been developed to optimize time and memory usage, implemented across diverse programming languages. Yet, the inherent NP-completeness of the problem continues to hinder performance on large-scale networks, often resulting in memory leaks and slow computations. In the present study, we critically evaluate classic algorithms to pinpoint computational bottlenecks and introduce novel set-theoretical approaches tailored for network clique computation. Our proposed algorithms are rigorously implemented and benchmarked against existing Python-based solutions, demonstrating superior performance. These findings underscore the potential of set-theoretical techniques to drive substantial performance gains in network analysis.
A note on plane trees with decreasing labels
This note derives asymptotic upper and lower bounds for the number of planted plane trees on $n$ nodes assigned labels from the set $\{1,2,\ldots, k\}$ with the restriction that on any path from the root to a leaf, the labels must strictly decrease. We illustrate an application to calculating the largest eigenvalue of the adjacency matrix of a tree.
Enumerating minimal dominating sets and variants in chordal bipartite graphs
Enumerating minimal dominating sets with polynomial delay in bipartite graphs is a long-standing open problem. To date, even the subcase of chordal bipartite graphs is open, with the best known algorithm due to Golovach, Heggernes, Kanté, Kratsch, Saether, and Villanger running in incremental-polynomial time. We improve on this result by providing a polynomial delay and space algorithm enumerating minimal dominating sets in chordal bipartite graphs. Additionally, we show that the total and connected variants admit polynomial and incremental-polynomial delay algorithms, respectively, within the same class. This provides an alternative proof of a result by Golovach et al. for total dominating sets, and answers an open question for the connected variant. Finally, we give evidence that the techniques used in this paper cannot be generalized to bipartite graphs for (total) minimal dominating sets, unless P = NP, and show that enumerating minimal connected dominating sets in bipartite graphs is harder than enumerating minimal transversals in general hypergraphs.
3D permutations and triangle solitaire
We provide a bijection between a class of 3-dimensional pattern avoiding permutations and triangle bases, special sets of integer points arising from the theory of tilings and TEP subshifts. This answers a conjecture of Bonichon and Morel.
Orthogonally connected sets
In this paper, we further investigate the orthogonally connected sets and establish necessary and sufficient conditions for a set to be staircase connected.
Robust Information Selection for Hypothesis Testing with Misclassification Penalties
We study the problem of robust information selection for a Bayesian hypothesis testing / classification task, where the goal is to identify the true state of the world from a finite set of hypotheses based on observations from the selected information sources. We introduce a novel misclassification penalty framework, which enables non-uniform treatment of different misclassification events. Extending the classical subset selection framework, we study the problem of selecting a subset of sources that minimize the maximum penalty of misclassification under a limited budget, despite deletions or failures of a subset of the selected sources. We characterize the curvature properties of the objective function and propose an efficient greedy algorithm with performance guarantees. Next, we highlight certain limitations of optimizing for the maximum penalty metric and propose a submodular surrogate metric to guide the selection of the information set. We propose a greedy algorithm with near-optimality guarantees for optimizing the surrogate metric. Finally, we empirically demonstrate the performance of our proposed algorithms in several instances of the information set selection problem.
Coxeter codes: Extending the Reed-Muller family
Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal $Z$ rotations can perform non-trivial logic.
Every Graph is Essential to Large Treewidth
We show that for every graph $H$, there is a hereditary weakly sparse graph class $\mathcal C_H$ of unbounded treewidth such that the $H$-free (i.e., excluding $H$ as an induced subgraph) graphs of $\mathcal C_H$ have bounded treewidth. This refutes several conjectures and critically thwarts the quest for the unavoidable induced subgraphs in classes of unbounded treewidth, a wished-for counterpart of the Grid Minor theorem. We actually show a stronger result: For every positive integer $t$, there is a hereditary graph class $\mathcal C_t$ of unbounded treewidth such that for any graph $H$ of treewidth at most $t$, the $H$-free graphs of $\mathcal C_t$ have bounded treewidth. Our construction is a variant of so-called layered wheels. We also introduce a framework of abstract layered wheels, based on their most salient properties. In particular, we streamline and extend key lemmas previously shown on individual layered wheels. We believe that this should greatly help develop this topic, which appears to be a very strong yet underexploited source of counterexamples.
Sharp thresholds for spanning regular subgraphs
We prove that $(1+o(1))\sqrt{e/n}$ is the sharp threshold for the appearance of the square of a Hamilton cycle in $G(n,p)$, confirming the conjecture of Kahn, Narayanan, and Park. We also find the exact asymptotics of the threshold for the emergence of a spanning subgraph isomorphic to a fixed graph $F$ for a wide family of $d$-regular graphs $F$. This family includes almost all $d$-regular graphs.
A Correlation Inequality on Three Functions
Let $X$ and $Y$ be upward closed set systems in the lattice of $\{0,1\}^n$. The celebrated Harris-Kleitman inequality implies that if $|X|=α2^n$, $|Y|=β2^n$, the density of the set of points in exactly one of $X$ and $Y$ is maximal when $X$ and $Y$ are independent, meaning $|X\cap Y|=αβ2^n$. Is the same true of three upward closed systems, $X$, $Y$, and $Z$? Suppose $|X|=|Y|=|Z|$. Kahn asked whether the set of points in exactly one of $X$, $Y$, $Z$ has density at most $\frac49$. We answer this question in the negative.