Showing 20 papers (Total: 83400 papers, 48159 authors in database)
From descriptive to distributed
In the past couple of years a rich connection has been found between the fields of descriptive set theory and distributed computing. Frequently, and less surprisingly, finitary algorithms can be adopted to the infinite setting, resulting in theorems about infinite, definable graphs. In this survey, we take a different perspective and illustrate how results and ideas from descriptive set theory provide new insights and techniques to the theory of distributed computing. We focus on the two classical topics from graph theory, vertex and edge colorings. After summarizing the up-to-date results from both areas, we discuss the adaptation of Marks' games method to the LOCAL model of distributed computing and the development of the multi-step Vizing's chain technique, which led to the construction of the first non-trivial distributed algorithms for Vizing colorings. We provide a list of related open problems to complement our discussion. Finally, we describe an efficient deterministic distributed algorithm for Brooks coloring on graphs of subexponential growth.
On generic $Δ$-modular integer matrices with two rows
Published
• View Publication
• BIB
The column number question asks for the maximal number of columns of an integer matrix with the property that all its rank size minors are bounded by a fixed parameter $Δ$ in absolute value. Polynomial upper bounds have been proved in various settings in recent years, with consequences for algorithmic questions in integer linear programming and matroid theory. In this paper, we focus on the exact determination of the maximal column number of such matrices with two rows and no vanishing $2$-minors. We prove that for large enough $Δ$, this number is a quasi-linear function, non-decreasing and always even. Such basic structural properties of column number functions are barely known, but expected to hold in other settings as well. Moreover, our results identify the unique excluded (co)rank two minors for the class of matroids that are representable as a $Δ$-submodular matrix.
Fast and Furious: A study on Monotonicity and Speed in Cops-and-Robber Games
In this paper, we study different variants of the Cops-and-Robber game with respect to cop- and robber\-/monotonicity.
We study a visible and invisible robber and variants where the robber is lazy, thus can only move when the cops announce to move on top of him.
In all four combinations, we also vary the number $s$ of edges that the robber can traverse in a single round, called speed.
We complete the study of the unbounded speed case by showing that, besides the active variants, also the visible lazy variant has both the cop- and robber\-/monotonicity property.
Furthermore, we prove that the cop\-/monotone invisible lazy copwidth characterizes path-width, while the non\-/monotone and robber\-/monotone is known to characterize tree-width, thus these variants differ even in the unbounded speed case.
We find that, even with speed restriction, the cop\-/monotone invisible copwidth and the robber\-/monotone invisible active copwidth all characterize path-width.
On the other hand, we show that the path-width of a graph can be arbitrarily larger than the number of cops needed to win the non\-/monotone invisible active variant.
To complete our study of cop\-/monotone variants, we show that also in the visible variants the cop\-/monotone copwidth can be arbitrarily larger than the non\-/monotone.
Regarding robber\-/monotonicity, for all speeds $s\geq 4$, we give graphs where the non\-/monotone and robber\-/monotone copwidth differ.
On the other hand, we prove that there is a function that bounds the robber\-/monotone copwidth in terms of the non\-/monotone copwidth and the speed, thus the gap between the variants is bounded.
This proof also yields that a graph class has bounded expansion if and only if, for every speed $s$, the number of cops needed in any robber\-/monotone lazy variant is bounded by some constant $c(s)$.
An efficient algorithm for generating transmission irregular trees
The transmission of a vertex in a connected graph is the sum of distances from that vertex to all the other vertices. A connected graph is transmission irregular if any two distinct vertices have different transmissions. We present an efficient algorithm that generates all the transmission irregular trees up to a given order, up to isomorphism.
Extremal graphs for disjoint union of vertex-critical graphs
Published
• View Publication
• BIB
For a graph $F$, let ${\rm EX}(n,F)$ be the set of $F$-free graphs of order $n$ with the maximum number of edges. The graph $F$ is called vertex-critical, if the deletion of its some vertex induces a graph with smaller chromatic number. For example, an odd wheel (obtained by connecting a vertex to a cycle of even length) is a vertex-critical graph with chromatic number 3. For $h\geq2$, let $F_{1},F_{2},...,F_{h}$ be vertex-critical graphs with the same chromatic number. Let $\cup_{1\leq i\leq h}F_{i}$ be the disjoint union of them. In this paper, we characterize the graphs in ${\rm EX}(n,\cup_{1\leq i\leq h}F_{i})$, when there is a proper order among the graphs $F_{1},F_{2},...,F_{h}$. This solves a conjecture (on extremal problem for disjoint union of odd wheels) proposed by Xiao and Zamora \cite{XZ}.
Self-affine quadrangles
A quadrangle in the Euclidean plane is called $n$-self-affine if it has a dissection into $n$ affine images of itself. All convex quadrangles are known to be $n$-self-affine for every $n \ge 5$. The only $2$-self-affine convex quadrangles are trapezoids. Here we characterize all $3$-self-affine convex quadrangles, obtaining $5$ one-parameter families and $13$ singular examples of affine types. This way we reduce the quest for all $n$-self-affine convex quadrangles to the open case $n=4$.
In addition, we show that there are $n$-self-affine non-convex quadrangles for all $n \ge 3$, but not for $n=2$.
Coarse cops and robber in graphs and groups
Published
• View Publication
• BIB
(abstract shortened to meet arxiv's length requirements) We investigate two variants of the classical Cops and robber game in graphs, recently introduced by Lee, Martínez-Pedroza, and Rodríguez-Quinche. The two versions are played in infinite graphs and the goal of the cops is to prevent the robber to visit some ball of finite radius (chosen by the robber) infinitely many times. Moreover the cops and the robber move at a different speed, and the cops can choose a radius of capture before the game starts. Depending on the order in which the parameters are chosen, this naturally defines two games, a weak version and a strong version (in which the cops are more powerful), and thus two variants of the cop number of a graph $G$: the weak cop number and the strong cop number. It turns out that these two parameters are invariant under quasi-isometry and thus we can investigate these parameters in finitely generated groups by considering any of their Cayley graphs; the parameters do not depend on the chosen set of generators.
We answer a number of questions raised by Lee, Martínez-Pedroza, and Rodríguez-Quinche, and more recently by Cornect and Martínez-Pedroza. This includes a proof that the weak and strong cop numbers are monotone under quasi-isometric embedding, characterizations of graphs of weak cop number 1 and graphs of strong cop number 1, and a proof that the grid has infinite strong cop number. Moreover we tie the weak cop number of a graph $G$ to the existence of asymptotic minors of large tree-width in $G$, and use the result to prove that any finitely presented group has weak cop number 1 or $\infty$.
We have learned very recently that some of our results have been obtained independently by Appenzeller and Klinge, using fairly different arguments.
Skew odd orthogonal characters and interpolating Schur polynomials
Published in Bull. Lond. Math. Soc. 57 (2025), No. 8, 2509-2530
• View Publication
• BIB
We introduce two vertex operators to realize skew odd orthogonal characters $so_{λ/μ}(x^{\pm})$ and derive the Cauchy identity for the skew characters via Toeplitz-Hankel-type determinant similar to the Schur functions. The method also gives new proofs of the Jacobi--Trudi identity and Gelfand--Tsetlin patterns for $so_{λ/μ}(x^{\pm})$. Moreover, combining the vertex operators related to characters of types $C,D$ (\cite{Ba1996,JN2015}) and the new vertex operators related to $B$-type characters, we obtain three families of symmetric polynomials that interpolate among characters of $SO_{2n+1}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$ and $Sp_{2n}(\mathbb{C})$, Their transition formulas are also explicitly given among symplectic and/or orthogonal characters and odd orthogonal characters.
Homochiral inflation for the aperiodic monotile Tile(1,1)
The recently discovered chiral monotile Tile(1,1) is tiling the plane in a quasiperiodic fashion by taking twelve different orientations when applying $2π/12$ rotation. An homochiral inflation construction of such a quasiperiodic tiling is proposed where the chirality of the monotile is completely fixed at all inflation steps, avoiding to exchange its chirality between two successive steps. Doing so, the twelve possible orientations of the monotile are explicitly coded and the key difference between odd and even orientations is taken into account. The tiling is decomposed using only two different clusters, $Γ$ and $Ω$, each of them taking six possible orientations. This gives a total set of twelve metatiles, which assembly can be mapped onto a triangular lattice. This approach allows to properly separate rotation and translation symmetry elements relating monotiles together. As all possible orientations of the two clusters are already incorporated in the twelve metatiles, positions of adjacent metatiles are given by translations which are along three equivalent directions ($2π/3$ rotation) as evidenced by junction lines. Finally, thanks to the homochiral inflation, the orientation distribution of the monotile at each inflation step is computed.
Bivariate local permutation polynomials, their companions, and related enumeration results
Published
• View Publication
• BIB
We construct a new family of permutation group polynomials over finite fields of arbitrary characteristic, which are special types of bivariate local permutation polynomials. For this family, we explicitly construct their companion. We also determine the total number of permutation group polynomials of this form. Moreover, we resolve the problem of enumerating $e$-Klenian polynomials over finite fields for $e\geq 1$, a problem previously noted as nontrivial by Gutierrez and Urroz (2023). In addition, we provide the exact number of permutation group polynomials equivalent to our proposed permutation group polynomials, as well as the exact number of those permutation group polynomials equivalent to $e$-Klenian polynomials.
Sharp estimates for large N Weingarten functions
Weingarten functions provide a tool for computing Haar measure matrix integrals of polynomials in the matrix entries. An important property of Weingarten functions, is their particularly simple large $N$ limits. In 2017 Benoit Collins and Sho Matsumoto studied when this limit holds for Weingarten functions associated to integrals of products of $2n$ matrix entries, as $n \to \infty$, together with the matrix size $N$. They showed that the large $N$ limit is uniformly achieved as long as $n=o(N^{4/7})$, a result which already has applications to strong asymptotic freeness. However, their result is not optimal. They conjectured that their result should actually hold up to $n=o(N^{2/3})$ which is optimal. We prove this conjecture for the matrix groups $G \in \{\mathrm{U}(N)$, $\mathrm{O}(N)$, $\mathrm{Sp}(N)\}$. The proof proceeds by introducing a Markov process on permutations (pairings) which we call the unitary (orthogonal) $\textit{Weingarten process}$. We believe this process may have further applications to the theory of Weingarten functions. We also prove two new bounds regarding the large $N$ limit of the Weingarten function in the regimes when $n=o(N^{4/5})$, and $n=o(N)$.
Hunting a rabbit: complexity, approximability and some characterizations
Published
• View Publication
• BIB
In the Hunters and Rabbit game, $k$ hunters attempt to shoot an invisible rabbit on a given graph $G$. In each round, the hunters select $k$ vertices to shoot at, while the rabbit moves along an edge of $G$. The hunters win if, at any point, the rabbit is shot. The hunting number of $G$, denoted $h(G)$, is the minimum integer $k$ such that $k$ hunters have a winning strategy regardless of the rabbit's moves.
The computational complexity of determining $h(G)$ has been one of the longest-standing open questions about the game. Our first main contribution resolves this by proving that computing $h(G)$ is NP-hard, even for bipartite simple graphs. We further show that the problem remains NP-hard even when $h(G) = O(n^ε)$ or when $n - h(G) = O(n^ε)$, where $n$ is the order of $G$. In addition, we prove that it is NP-hard to approximate $h(G)$ additively within $O(n^{1-ε})$.
When a time limit $l$ is imposed on the hunting process, we show that computing $h(G)$ remains NP-hard for any $l \ge 2$ bounded by a polynomial in $n$. On the positive side, we present a polynomial-time $l$-factor approximation algorithm for computing the hunting number with time limit $l$, and we show that $h(G)$ can be computed in polynomial time for bipartite graphs when only two time slots are allowed ($l = 2$).
Finally, we provide a forbidden-subgraph characterization of graphs with loops that satisfy $h(G) = 1$, extending a known characterization for simple graphs.
Counting spinal phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks are an important way to represent evolutionary histories that involve reticulations such as hybridization or horizontal gene transfer, yet fundamental questions such as how many networks there are that satisfy certain properties are very difficult. A new way to encode a large class of networks, using expanding covers, may provide a way to approach such problems. Expanding covers encode a large class of phylogenetic networks, called labellable networks. This class does not include all networks, but does include many familiar classes, including orchard, normal, tree-child and tree-sibling networks. As expanding covers are a combinatorial structure, it is possible that they can be used as a tool for counting such classes for a fixed number of leaves and reticulations, for which, in many cases, a closed formula has not yet been found. More recently, a new class of networks was introduced, called spinal networks, which are analogous to caterpillar trees for phylogenetic trees and can be fully described using covers. In the present article, we describe a method for counting networks that are both spinal and belong to some more familiar class, with the hope that these form a base case from which to attack the more general classes.
Divisibility relation between the number of certain surjective group and ring homomorphisms
In this article, we identify the existence of a divisibility relationship between the number of ring homomorphisms and surjective group homomorphisms. We demonstrate that for finite cyclic structures, the number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$ is a divisor of the number of surjective group homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$, where $n$ is not of the form $2 \cdot α$, where each prime factor $p$ of $α$ satisfies $p \equiv 3 \pmod{4}$. We further extend this result for finite abelian structures.
Odd Verma's Theorem
We formulate several basic properties of Verma supermodules over regular symmetrizable Kac--Moody Lie superalgebras, exhibiting $\mathfrak{gl}(1|1)$-nature as revealed through changing Borel subalgebras.
We investigate variants of Verma modules obtained by changing Borel subalgebras, which enable us to realize the principal block of $\mathfrak{gl}(1|1)$ as an extension-closed abelian subcategory of category $\mathcal{O}$. This phenomenon is precisely formulated in terms of semibricks.
On the other hand, by applying the exchange property of odd reflections, we describe compositions of homomorphisms between Verma modules associated with different Borel subalgebras that share the same character. As an application, we refine existing results on the associated varieties and projective dimensions of Verma modules.
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.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.