Showing 20 papers (Total: 82374 papers, 47635 authors in database)
From the lattice of torsion classes to the posets of wide subcategories and ICE-closed subcategories
Published
• View Publication
• BIB
In this paper, we compute the posets of wide subcategories and ICE-closed subcategories from the lattice of torsion classes in an abelian length category in a purely lattice-theoretical way, by using the kappa map in a completely semidistributive lattice. As for the poset of wide subcategories, we give two more simple constructions via a bijection between wide subcategories and torsion classes with canonical join representations. More precisely, for a completely semidistributive lattice, we give two poset structures on the set of elements with canonical join representations: the kappa order (defined using the extended kappa map of Barnard--Todorov--Zhu), and the core label order (generalizing the shard intersection order for congruence-uniform lattices). Then we show that these posets for the lattice of torsion classes coincide and are isomorphic to the poset of wide subcategories. As a byproduct, we give a simple description of the shard intersection order on a finite Coxeter group using the extended kappa map.
Skew Dyck paths having no peaks at level 1
Skew Dyck paths are a variation of Dyck paths, where additionally to steps $(1,1)$ and $(1,-1)$ a south-west step $(-1,-1)$ is also allowed, provided that the path does not intersect itself. Replacing the south-west step by a red south-east step, we end up with decorated Dyck paths. Sequence A128723 of the Encyclopedia of Integer Sequences considers such paths where peaks at level 1 are forbidden. We provide a thorough analysis of a more general scenario, namely partial decorated Dyck paths, ending on a prescribed level $j$, both from left-to-right and from right-to-left (decorated Dyck paths are not symmetric). The approach is completely based on generating functions.
On the Diameters of Friends-and-Strangers Graphs
Published
• View Publication
• BIB
Given simple graphs $X$ and $Y$ on the same number of vertices, the friends-and-strangers graph $\mathsf{FS}(X, Y)$ has as its vertices all bijections from $V(X)$ to $V(Y)$, where two bijections are adjacent if and only if they differ on two adjacent elements of $V(X)$ with images adjacent in $Y$. We study the diameters of connected components of friends-and-strangers graphs: the diameter of a component of $\mathsf{FS}(X,Y)$ corresponds to the largest number of swaps necessary to go from one configuration in the component to another. We show that any component of $\mathsf{FS}(\mathsf{Path}_n, Y)$ has $O(n^2)$ diameter and that any component of $\mathsf{FS}(\mathsf{Cycle}_n, Y)$ has $O(n^4)$ diameter, improvable to $O(n^3)$ whenever $\mathsf{FS}(\mathsf{Cycle}_n, Y)$ is connected. These results address an open problem posed by Defant and Kravitz. Using an explicit construction, we show that there exist $n$-vertex graphs $X$ and $Y$ such that $\mathsf{FS}(X,Y)$ has a component with $e^{Ω(n)}$ diameter. This answers a question raised by Alon, Defant, and Kravitz in the negative. As a corollary, we observe that for such $X$ and $Y$, the lazy random walk on this component of $\mathsf{FS}(X,Y)$ has $e^{Ω(n)}$ mixing time. This result deviates from related classical theorems regarding rapidly mixing Markov chains and makes progress on another open problem of Alon, Defant, and Kravitz. We conclude with several suggestions for future research.
Three-color Ramsey number of an odd cycle versus bipartite graphs with small bandwidth
Published
• View Publication
• BIB
A graph $\mathcal{H}=(W,E_\mathcal{H})$ is said to have {\em bandwidth} at most $b$ if there exists a labeling of $W$ as $w_1,w_2,\dots,w_n$ such that $|i-j|\leq b$ for every edge $w_iw_j\in E_\mathcal{H}$. We say that $\mathcal{H}$ is a {\em balanced $(β,Δ)$-graph} if it is a bipartite graph with bandwidth at most $β|W|$ and maximum degree at most $Δ$, and it also has a proper 2-coloring $χ:W\rightarrow[2]$ such that $||χ^{-1}(1)|-|χ^{-1}(2)||\leqβ|χ^{-1}(2)|$.
In this paper, we prove that for every $γ>0$ and every natural number $Δ$, there exists a constant $β>0$ such that for every balanced $(β,Δ)$-graph $\mathcal{H}$ on $n$ vertices we have $$R(\mathcal{H}, \mathcal{H}, C_n) \leq (3+γ)n$$ for all sufficiently large odd $n$. The upper bound is sharp for several classes of graphs. Let $θ_{n,t}$ be the graph consisting of $t$ internally disjoint paths of length $n$ all sharing the same endpoints. As a corollary, for each fixed $t\geq 1$, $R(θ_{n, t},θ_{n, t}, C_{nt+λ})=(3t+o(1))n,$ where $λ=0$ if $nt$ is odd and $λ=1$ if $nt$ is even. In particular, we have $R(C_{2n},C_{2n}, C_{2n+1})=(6+o(1))n$, which is a special case of a result of Figaj and Łuczak (2018).
On the symmetric group action on rigid disks on a strip
Published
• View Publication
• BIB
In this paper we decompose the rational homology of the ordered configuration space of $p$ open unit-diameter disks on the infinite strip of width $2$ as a direct sum of induced $S_{n}$-representations. Alpert proved that the $k^{\text{th}}$-integral homology of the ordered configuration space of $n$ open unit-diameter disks on the infinite strip of width $2$ is an FI$_{k+1}$-module by studying certain operations on homology called "high-insertion maps." The integral homology groups $H_{k}(\text{cell}(n,2))$ are free abelian, and Alpert computed a basis for $H_{k}(\text{cell}(n,2))$ as an abelian group. In this paper, we study the rational homology groups as $S_{n}$-representations. We find a new basis for $H_{k}(\text{cell}(n,2);\mathbb{Q}),$ and use this, along with results of Ramos, to give an explicit description of $H_{k}(\text{cell}(n,2);\mathbb{Q})$ as a direct sum of induced $S_{n}$-representations arising from free FI$_{*}$-modules. We use this decomposition to calculate the dimension of the rational homology of the unordered configuration space of $p$ open unit-diameter disks on the infinite strip of width $2$.
Categorifying connected domination via graph überhomology
Published in Journal of Pure and Applied Algebra (2023)
• View Publication
• BIB
Überhomology is a recently defined homology theory for simplicial complexes, which yields subtle information on graphs. We prove that bold homology, a certain specialisation of überhomology, is related to dominating sets in graphs. To this end, we interpret überhomology as a poset homology, and investigate its functoriality properties. We then show that the Euler characteristic of the bold homology of a graph coincides with an evaluation of its connected domination polynomial. Even more, the bold chain complex retracts onto a complex generated by connected dominating sets. We conclude with several computations of this homology on families of graphs; these include a vanishing result for trees, and a characterisation result for complete graphs.
Perfect models for finite Coxeter groups
Published in J. Pure Appl. Algebra 227 (2023), 107303
• View Publication
• BIB
A model for a finite group is a set of linear characters of subgroups that can be induced to obtain every irreducible character exactly once. A perfect model for a finite Coxeter group is a model in which the relevant subgroups are the quasiparabolic centralizers of perfect involutions. In prior work, we showed that perfect models give rise to interesting examples of $W$-graphs. Here, we classify which finite Coxeter groups have perfect models. Specifically, we prove that the irreducible finite Coxeter groups with perfect models are those of types $\mathsf{A}_{n}$, $\mathsf{B}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{H}_3$, or $\mathsf{I}_2(n)$. We also show that up to a natural form of equivalence, outside types $\mathsf{A}_3$, $\mathsf{B}_n$, and $\mathsf{H}_3$, each irreducible finite Coxeter group has at most one perfect model. Along the way, we also prove a technical result about representations of finite Coxeter groups, namely, that induction from standard parabolic subgroups of corank at least two is never multiplicity-free.
$\mathbb{Q}$-bonacci words and numbers
Published
• View Publication
• BIB
We present a quite curious generalization of multi-step Fibonacci numbers. For any positive rational $q$, we enumerate binary words of length $n$ whose maximal factors of the form $0^a1^b$ satisfy $a = 0$ or $aq > b$. When $q$ is an integer we rediscover classical multi-step Fibonacci numbers: Fibonacci, Tribonacci, Tetranacci, etc. When $q$ is not an integer, obtained recurrence relations are connected to certain restricted integer compositions. We also discuss Gray codes for these words, and a possibly novel generalization of the golden ratio.
Expansion, divisibility and parity: an explanation
Published
• View Publication
• BIB
After seeing how questions on the finer distribution of prime factorization -- considered inaccessible until recently -- reduce to bounding the norm of an operator defined on a graph describing factorization, we will show how to bound that norm. In essence, the graph is a strong local expander, with all eigenvalues bounded by a constant factor times the theoretical minimum (i.e., the eigenvalue bound corresponding to Ramanujan graphs). The proof will take us on a walk from graph theory to linear algebra and the geometry of numbers, and back to graph theory, aided, along the way, by a generalized sieve. This is an expository paper; the full proof has appeared as a joint preprint with M. Radziwi\{l}\{l}.
On Color Isomorphic Pairs in Proper Edge Colourings of Complete Graphs
Following the recent paper which initiated the study of colour isomorphism problems for complete graphs, we obtain upper bounds for $f_2(n,H)$ for a family of graphs $H$ obtained as the $K_0$-th rooted power of a balanced rooted tree for some sufficiently large $K_0$. The proof uses the random polynomial method of Bukh. We also obtain matching lower bounds for $1$-subdivisions of the complete bipartite graph.
Constructions of Sarvate-Beam Group Divisible Designs
Published
• View Publication
• BIB
A balanced incomplete block design is a set system in which all pairs of distinct elements occur with a constant frequency. By contrast, a Sarvate-Beam design induces an interval of distinct frequencies on pairs. In this paper, we settle the existence of a Sarvate-Beam variant of group divisible designs of uniform type with block size three.
Balancing permuted copies of multigraphs and integer matrices
Published
• View Publication
• BIB
Given a square matrix $A$ over the integers, we consider the $\mathbb{Z}$-module $M_A$ generated by the set of all matrices that are permutation-similar to $A$. Motivated by analogous problems on signed graph decompositions and block designs, we are interested in the completely symmetric matrices $a I + b J$ belonging to $M_A$. We give a relatively fast method to compute a generator for such matrices, avoiding the need for a very large canonical form over $\mathbb{Z}$. We consider several special cases in detail. In particular, the problem for symmetric matrices answers a question of Cameron and Cioabǎ on determining the eventual period for integers $λ$ such that the $λ$-fold complete graph $λK_n$ has an edge-decomposition into a given (multi)graph.
On the concentration of the chromatic number of random graphs
Published in The Electronic Journal of Combinatorics 31 (2024), Paper 1.44, 18pp
• View Publication
• BIB
Shamir and Spencer proved in the 1980s that the chromatic number of the binomial random graph G(n,p) is concentrated in an interval of length at most ω\sqrt{n}, and in the 1990s Alon showed that an interval of length ω\sqrt{n}/\log n suffices for constant edge-probabilities p \in (0,1). We prove a similar logarithmic improvement of the Shamir-Spencer concentration results for the sparse case p=p(n) \to 0, and uncover a surprising concentration `jump' of the chromatic number in the very dense case p=p(n) \to 1.
A note on large induced subgraphs with prescribed residues in bipartite graphs
Published
• View Publication
• BIB
It was proved by Scott that for every $k\ge2$, there exists a constant $c(k)>0$ such that for every bipartite $n$-vertex graph $G$ without isolated vertices, there exists an induced subgraph $H$ of order at least $c(k)n$ such that $\textrm{deg}_H(v) \equiv 1\pmod{k}$ for each $v \in H$. Scott conjectured that $c(k) = Ω(1/k)$, which would be tight up to the multiplicative constant. We confirm this conjecture.
A new combinatorial approach for edge universality of Wigner matrices
In this paper we introduce a new combinatorial approach to analyze the trace of large powers of Wigner matrices. Our approach is motivated from the paper by \citet{sosh}. However the counting approach is different. We start with classical word sentence approach similar to \citet{AZ05} and take the motivation from \citet{sinaisosh}, \citet{sosh} and \citet{peche2009universality} to encode the words to objects similar to Dyck paths. To be precise the map takes a word to a Dyck path with some edges removed from it. Using this new counting we prove edge universality for large Wigner matrices with sub-Gaussian entries. One novelty of this approach is unlike \citet{sinaisosh}, \citet{sosh} and \citet{peche2009universality} we do not need to assume the entries of the matrices are symmetrically distributed around $0$. The main technical contribution of this paper is two folded. Firstly we produce an encoding of the ``contributing words" (for definition one might look at Section \ref{sec:word}) of the Wigner matrix which retrieves the edge universality. Hence this is the best one can do. We hope this method will be applicable to many other scenarios in random matrices. Secondly in course of the paper we give a combinatorial description of the GOE Tracy Widom law. The explanation for GUE is very similar. This explanation might be important for the models where exact calculations are not available but some combinatorial structures are present.
Implicit representation of sparse hereditary families
Published
• View Publication
• BIB
For a hereditary family of graphs $\FF$, let $\FF_n$ denote the set of all members of $\FF$ on $n$ vertices. The speed of $\FF$ is the function $f(n)=|\FF_n|$. An implicit representation of size $\ell(n)$ for $\FF_n$ is a function assigning a label of $\ell(n)$ bits to each vertex of any given graph $G \in \FF_n$, so that the adjacency between any pair of vertices can be determined by their labels. Bonamy, Esperet, Groenland and Scott proved that the minimum possible size of an implicit representation of $\FF_n$ for any hereditary family $\FF$ with speed $2^{Ω(n^2)}$ is $(1+o(1)) \log_2 |\FF_n|/n~(=Θ(n))$. A recent result of Hatami and Hatami shows that the situation is very different for very sparse hereditary families. They showed that for every $δ>0$ there are hereditary families of graphs with speed $2^{O(n \log n)}$ that do not admit implicit representations of size smaller than $n^{1/2-δ}$. In this note we show that even a mild speed bound ensures an implicit representation of size $O(n^c)$ for some $c<1$. Specifically we prove that for every $\eps>0$ there is an integer $d \geq 1$ so that if $\FF$ is a hereditary family with speed $f(n) \leq 2^{(1/4-\eps)n^2}$ then $\FF_n$ admits an implicit representation of size $O(n^{1-1/d} \log n)$. Moreover, for every integer $d>1$ there is a hereditary family for which this is tight up to the logarithmic factor.
A Normal Graph Algebra
We define a normal graph algebra modeled on algebras used in genetics. Although the algebra does not always determine its graph, it often highlights special features. After developing basic properties of the algebra, we examine those of certain minimal graphs. We then apply the results to the Petersen graph, finding connections between some of its many aspects. For example, the outer automorphisms of Sym(6) emerge naturally. The normal algebra of the Petersen graph is unique among normal graph algebras.
Space Complexity of Vertex Connectivity Oracles
Published
• View Publication
• BIB
A $k$-vertex connectivity oracle for undirected $G$ is a data structure that, given $u,v\in V(G)$, reports $\min\{k,κ(u,v)\}$, where $κ(u,v)$ is the pairwise vertex connectivity between $u,v$. There are three main measures of efficiency: construction time, query time, and space. Prior work of Izsak and Nutov shows that a data structure of total size $\tilde{O}(kn)$ can even be encoded as a $\tilde{O}(k)$-bit labeling scheme so that vertex-connectivity queries can be answered in $\tilde{O}(k)$ time. The construction time is polynomial, but unspecified.
In this paper we address the top three complexity measures: Space, Query Time, and Construction Time. We give an $Ω(kn)$-bit lower bound on any vertex connectivity oracle. We construct an optimal-space connectivity oracle in max-flow time that answers queries in $O(\log n)$ time, independent of $k$.
A Generalized RSK for Enumerating Linear Series on $n$-pointed Curves
Published
• View Publication
• BIB
We give a combinatorial proof of a recent geometric result of Farkas and Lian on linear series on curves with prescribed incidence conditions. The result states that the expected number of degree-$d$ morphisms from a general genus $g$, $n$-marked curve $C$ to $\mathbb{P}^r$, sending the marked points on $C$ to specified general points in $\mathbb{P}^r$, is equal to $(r+1)^g$ for sufficiently large $d$. This computation may be rephrased as an intersection problem on Grassmannians, which has a natural combinatorial interpretation in terms of Young tableaux by the classical Littlewood-Richardson rule. We give a bijection, generalizing the well-known RSK correspondence, between the tableaux in question and the $(r+1)$-ary sequences of length $g$, and we explore our bijection's combinatorial properties.
We also apply similar methods to give a combinatorial interpretation and proof of the fact that, in the modified setting in which $r=1$ and several marked points map to the same point in $\mathbb{P}^1$, the number of morphisms is still $2^g$ for sufficiently large $d$.
Classifying Subset Feedback Vertex Set for $H$-Free Graphs
Published
• View Publication
• BIB
In the Feedback Vertex Set problem, we aim to find a small set $S$ of vertices in a graph intersecting every cycle. The Subset Feedback Vertex Set problem requires $S$ to intersect only those cycles that include a vertex of some specified set $T$. We also consider the Weighted Subset Feedback Vertex Set problem, where each vertex $u$ has weight $w(u)>0$ and we ask that $S$ has small weight. By combining known NP-hardness results with new polynomial-time results we prove full complexity dichotomies for Subset Feedback Vertex Set and Weighted Subset Feedback Vertex Set for $H$-free graphs, that is, graphs that do not contain a graph $H$ as an induced subgraph.