Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On digraphs without onion star immersions
The $t$-onion star is the digraph obtained from a star with $2t$ leaves by replacing every edge by a triple of arcs, where in $t$ triples we orient two arcs away from the center, and in the remaining $t$ triples we orient two arcs towards the center. Note that the $t$-onion star contains, as an immersion, every digraph on $t$ vertices where each vertex has outdegree at most $2$ and indegree at most $1$, or vice versa. We investigate the structure in digraphs that exclude a fixed onion star as an immersion. The main discovery is that in such digraphs, for some duality statements true in the undirected setting we can prove their directed analogues. More specifically, we show the next two statements.
There is a function $f\colon \mathbb{N}\to \mathbb{N}$ satisfying the following: If a digraph $D$ contains a set $X$ of $2t+1$ vertices such that for any $x,y\in X$ there are $f(t)$ arc-disjoint paths from $x$ to $y$, then $D$ contains the $t$-onion star as an immersion.
There is a function $g\colon \mathbb{N}\times \mathbb{N}\to \mathbb{N}$ satisfying the following: If $x$ and $y$ is a pair of vertices in a digraph $D$ such that there are at least $g(t,k)$ arc-disjoint paths from $x$ to $y$ and there are at least $g(t,k)$ arc-disjoint paths from $y$ to $x$, then either $D$ contains the $t$-onion star as an immersion, or there is a family of $2k$ pairwise arc-disjoint paths with $k$ paths from $x$ to $y$ and $k$ paths from $y$ to $x$.
Central Limit Theorems via Analytic Combinatorics in Several Variables
Published
• View Publication
• BIB
The field of analytic combinatorics is dedicated to the creation of effective techniques to study the large-scale behaviour of combinatorial objects. Although classical results in analytic combinatorics are mainly concerned with univariate generating functions, over the last two decades a theory of analytic combinatorics in several variables (ACSV) has been developed to study the asymptotic behaviour of multivariate sequences. In this work we survey ACSV from a probabilistic perspective, illustrating how its most advanced methods provide efficient algorithms to derive limit theorems, and comparing the results to past work deriving combinatorial limit theorems. Using the results of ACSV, we provide a SageMath package that can automatically compute (and rigorously verify) limit theorems for a large variety of combinatorial generating functions. To illustrate the techniques involved, we also establish explicit local central limit theorems for a family of combinatorial classes whose generating functions are linear in the variables tracking each parameter. Applications covered by this result include the distribution of cycles in certain restricted permutations (proving a limit theorem stated as a conjecture in recent work of Chung et al.), integer compositions, and $n$-colour compositions with varying restrictions and values tracked. Key to establishing these explicit results in arbitrary dimension is an interesting symbolic determinant, which we compute by conjecturing and then proving an appropriate $LU$-factorization. It is our hope that this work provides readers a blueprint to apply the powerful tools of ACSV to prove central limit theorems in their own work, making them more accessible to combinatorialists, probabilists, and those in adjacent fields.
On Dyck Path Expansion Formulas for Rank 2 Cluster Variables
Published
• View Publication
• BIB
In this paper, we simplify and generalize formulas for the expansion of rank 2 cluster variables. In particular, we prove an equivalent, but simpler, description of the colored Dyck subpaths framework introduced by Lee and Schiffler. We then prove the conjectured bijectivity of a map constructed by Feiyang Lin between collections of colored Dyck subpaths and compatible pairs, objects introduced by Lee, Li, and Zelevinsky to study the greedy basis. We use this bijection along with Rupel's expansion formula for quantum greedy basis elements, which sums over compatible pairs, to provide a quantum generalization of Lee and Schiffler's colored Dyck subpaths formula.
Upper Bounds for All and Max-gain Policy Iteration Algorithms on Deterministic MDPs
Published
• View Publication
• BIB
Policy Iteration (PI) is a widely used family of algorithms to compute optimal policies for Markov Decision Problems (MDPs). We derive upper bounds on the running time of PI on Deterministic MDPs (DMDPs): the class of MDPs in which every state-action pair has a unique next state. Our results include a non-trivial upper bound that applies to the entire family of PI algorithms; another to all "max-gain" switching variants; and affirmation that a conjecture regarding Howard's PI on MDPs is true for DMDPs. Our analysis is based on certain graph-theoretic results, which may be of independent interest.
Adversarial graph burning densities
Published
• View Publication
• BIB
Graph burning is a discrete-time process that models the spread of influence in a network. Vertices are either burning or unburned, and in each round, a burning vertex causes all of its neighbours to become burning before a new fire source is chosen to become burning. We introduce a variation of this process that incorporates an adversarial game played on a nested, growing sequence of graphs. Two players, Arsonist and Builder, play in turns: Builder adds a certain number of new unburned vertices and edges incident to these to create a larger graph, then every vertex neighbouring a burning vertex becomes burning, and finally Arsonist `burns' a new fire source. This process repeats forever. Arsonist is said to win if the limiting fraction of burning vertices tends to 1, while Builder is said to win if this fraction is bounded away from 1.
The central question of this paper is determining if, given that Builder adds $f(n)$ vertices at turn $n$, either Arsonist or Builder has a winning strategy. In the case that $f(n)$ is asymptotically polynomial, we give threshold results for which player has a winning strategy.
Upper bounds for Heilbronn's triangle problem in higher dimensions
Published
• View Publication
• BIB
We develop a new simple approach to prove upper bounds for generalizations of the Heilbronn's triangle problem in higher dimensions. Among other things, we show the following: for fixed $d \ge 1$, any subset of $[0, 1]^d$ of size $n$ contains
- $d+1$ points which span a simplex of volume at most $C_d n^{-\log d+ 6}$,
- $1.1 d$ points whose convex hull has volume at most $C_d n^{-1.1}$,
- $k\ge 4\sqrt{d}$ points which span a $(k-1)$-dimensional simplex of volume at most $C_d n^{-\frac{k-1}{d} - \frac{k^2}{8d^2}}$.
Reconnectads
Published in Algebraic Combinatorics, Volume 7 (2024) 801-842
• View Publication
• BIB
We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of the reconnected complement of a subgraph. The prototypical example of a reconnectad is given by the collection of toric varieties of graph associahedra of Carr and Devadoss, with the structure operations given by inclusions of orbits closures. We develop the general theory of reconnectads, and use it to study the ``wonderful reconnectad'' assembled from homology groups of complex toric varieties of graph associahedra.
On powers of the cover ideals of graphs
For a simple graph $G$, assume that $J(G)$ is the vertex cover ideal of $G$ and $J(G)^{(s)}$ is the $s$-th symbolic power of $J(G)$. We prove that $(J(C)^{(s)})=(J(C)^s)$ for all $s\geq 1$ and for all odd cycle $C$. For a simplicial complex $Δ$, we show that $Δ$ is vertex decomposable if $I_Δ^{\vee}$ is weakly polymatroidal. Let $W=G^π$ be a fully clique-whiskering graph, we prove that $J(W)^s$ is weakly polymatroidal for all $s\geq 1$.
Quantum State Transfer in Graphs with Tails
Published
• View Publication
• BIB
We consider quantum state transfer on finite graphs which are attached to infinite paths. The finite graph represents an operational quantum system for performing useful quantum information tasks. In contrast, the infinite paths represent external infinite-dimensional systems which have limited (but nontrivial) interaction with the finite quantum system. We show that {\em perfect} state transfer can surprisingly still occur on the finite graph even in the presence of the infinite tails. Our techniques are based on a decoupling theorem for eventually-free Jacobi matrices, equitable partitions, and standard Lie theoretic arguments. Through these methods, we rehabilitate the notion of a dark subspace which had been so far viewed in an unflattering light.
Derivation of Identities of the Rogers--Ramanujan Type by the Method of Constant Terms
What follows is a lightly edited version of the author's unpublished master's essay, submitted in partial fulfillment of the requirements of the degree of Master of Arts at the Pennsylvania State University, dated June 1994, written under the supervision of Professor George E. Andrews. It was retyped by the author on November 23, 2022. Obvious typographical errors in the original were corrected without comment; hopefully not too many new errors were introduced during the retyping. Explanatory text added by the author in 2022 is notated by \emph{Remark added in 2022}. After the initial posting on the arXiv on November 29, 2022, the author received email from Wadim Zudilin and George Andrews, pointing out some typos and making some interesting comments. These comments have been incorporated in this revised submission to the arXiv. The bibliography in this version is more extensive than that of the original.
The reducibility of optimal 1-planar graphs
A graph is reducible if it is the lexicographic product of two smaller non-trivial graphs. It is well-known a 1-planar graph with $n ~(\ge3)$ vertices has at most $4n-8$ edges, and a graph $G$ with $n$ vertices is optimal if $G$ has exactly $4n-8$ edges. In this paper, we characterize the reducibility of optimal 1-planar graphs. This work is motivated by a problem posed by Bucko and Czap in 2015, which concerns determining the 1-planarity of the lexicographic product of a graph and two isolated vertices.
Critical classes of power graphs and reconstruction of directed power graphs
Published
• View Publication
• BIB
In a graph $Γ=(V,E)$, we consider the common closed neighbourhood of a subset of vertices and use this notion to introduce a Moore closure operator in $V.$ We also consider the closed twin equivalence relation in which two vertices are equivalent if they have the same closed neighbourhood. Those notions are deeply explored when $Γ$ is the power graph associated with a finite group $G$. In that case, among the corresponding closed twin equivalence classes, we introduce the concepts of plain, compound and critical classes. The study of critical classes, together with properties of the Moore closure operator, allow us to correct a mistake in the proof of {\rm \cite[Theorem 2 ]{Cameron_2}} and to deduce a simple algorithm to reconstruct the directed power graph of a finite group from its undirected counterpart, as asked in \cite[Question 2]{GraphsOnGroups}.
Cats in cubes
Published
• View Publication
• BIB
Answering a recent question of Patchell and Spiro, we show that when a $d$-dimensional cube of side length $n$ is filled with letters, the word $\mathsf{CAT}$ can appear contiguously at most $(3^{d-1}/2)n^d$ times (allowing diagonals); we also characterize when equality occurs and extend our results to words other than $\mathsf{CAT}$.
An asymptotic lower bound on the number of polyominoes
Published in Ann. Comb. 28, 459-484 (2024)
• View Publication
• BIB
Let $P(n)$ be the number of polyominoes of $n$ cells and $λ$ be Klarner's constant, that is, $λ=\lim_{n\to\infty} \sqrt[n]{P(n)}$. We show that there exist some positive numbers $A,T$, so that for every $n$ \[ P(n) \ge An^{-T\log n} λ^n. \] This is somewhat a step toward the well known conjecture that there exist positive $C,θ$ so that $P(n)\sim Cn^{-θ}λ^n$ for every $n$. In fact, if we assume another popular conjecture that $P(n)/P(n-1)$ is increasing, we can get rid of $\log n$ to have \[ P(n)\ge An^{-T}λ^n. \] Beside the above theoretical result, we also conjecture that the ratio of the number of some class of polyominoes, namely inconstructible polyominoes, over $P(n)$ is decreasing, by observing this behavior for the available values. The conjecture opens a nice approach to bounding $λ$ from above, since if it is the case, we can conclude that \[ λ< 4.1141, \] which is quite close to the current best lower bound $λ> 4.0025$ and greatly improves the current best upper bound $λ< 4.5252$.
The approach is merely analytically manipulating the known or likely properties of the function $P(n)$, instead of giving new insights of the structure of polyominoes. The techniques can be applied to other lattice animals and self-avoiding polygons of a given area with almost no change.
Fault-Tolerant Detection Systems on the King's Grid
Published
• View Publication
• BIB
A detection system, modeled in a graph, uses "detectors" on a subset of vertices to uniquely identify an "intruder" at any vertex. We consider two types of detection systems: open-locating-dominating (OLD) sets and identifying codes (ICs). An OLD set gives each vertex a unique, non-empty open neighborhood of detectors, while an IC provides a unique, non-empty closed neighborhood of detectors. We explore their fault-tolerant variants: redundant OLD (RED:OLD) sets and redundant ICs (RED:ICs), which ensure that removing/disabling at most one detector guarantees the properties of OLD sets and ICs, respectively. This paper focuses on constructing optimal RED:OLD sets and RED:ICs on the infinite king's grid, and presents the proof for the bounds on their minimum densities; [3/10, 1/3] for RED:OLD sets and [3/11, 1/3] for RED:ICs.
The gerrymander sequence, or A348456
Published in Advances in Applied Mathematics 148 (2023) 102520
• View Publication
• BIB
Recently Kauers, Koutschan and Spahn announced a significant increase in the length of the so-called {\em gerrymander sequence}, given as A348456 in the OEIS, extending the sequence from 3 terms to 7 terms. We give a further extension to 11 terms, but more significantly prove that the coefficients grow as $λ^{4L^2},$ where $λ\approx 1.7445498, $ and is equal to the corresponding quantity for self-avoiding walks crossing a square (WCAS), or self-avoiding polygons crossing a square (PCAS). These are, respectively, OEIS sequences A007764 and A333323. Thus we have established a close connection between these previously separate problems.
We have also related the sub-dominant behaviour to that of WCAS and PCAS, allowing us to conjecture that the coefficients of the gerrymander sequence A348456 grow as $λ^{4L^2+dL+e} \cdot L^g,$ where $d=-8.08708 \pm 0.0002,$ $e \approx 7.69$ and $g = 0.75 \pm 0.01,$ with $g$ almost certainly $3/4$ exactly.
We also have generated 26 terms in the related gerrymander polynomial (defined below), and have been able to predict the asymptotic behaviour with a satisfying degree of precision. Indeed, it behaves exactly as $L$ times the corresponding coefficient of the generalised gerrymander sequence.
The improved algorithm we give for counting these sequences is a variation of that which we recently developed for extending a number of sequences for SAWs and SAPs crossing a domain of the square or hexagonal lattices. It makes use of a minimal perfect hash function and in-place memory updating of the arrays for the counts of the number of paths.
Two-arc-transitive bicirculants
Published
• View Publication
• BIB
In this paper, we determine the class of finite 2-arc-transitive bicirculants. We show that a connected $2$-arc-transitive bicirculant is one of the following graphs: $C_{2n}$ where $n\geqslant 2$, $\K_{2n}$ where $n\geqslant 2$, $\K_{n,n}$ where $n\geqslant 3$, $ \K_{n,n}-n\K_2$ where $n\geqslant 4$,
$B(\PG(d-1,q))$ and $B'(\PG(d-1,q))$ where $d\geq 3$ and $q$ is a prime power,
$ X_1(4,q)$ where $q\equiv 3\pmod{4}$ is a prime power,
$\K_{q+1}^{2d}$ where $q$ is an odd prime power and $d\geq 2$ dividing $q-1$, $ AT_Q(1+q,2d)$ where $d\mid q-1$ and $d\nmid \frac{1}{2}(q-1)$, $ AT_D(1+q,2d)$ where $d\mid \frac{1}{2}(q-1)$ and $d\geq 2$,
$Γ(d, q, r)$, where $d\geq 2$, $q$ is a prime power and $r|q-1$, Petersen graph, Desargues graph, dodecahedron graph, folded $5$-cube, $X(3,2)$, $ X_2(3)$, $ AT_Q(4,12)$, $GP(12,5)$, $GP(24,5)$, $B(H(11))$, $B'(H(11))$,
$ AT_D(4,6)$ and $ AT_D(5,6)$.
Identifying a 3-vertex strongly biconnected directed subgraph with minimum number of edges
A strongly connected graph is strongly biconnected if after ignoring the direction of its edges we have an undirected graph with no articulation points. A 3-vertex strongly biconnected graph is a strongly biconnected digraph that has the property that deleting any two vertices in this graph leaves a strongly binconnected subgraph. Jaberi [11] presented approximation algorithms for minimum cardinality 2-vertex strongly biconnected directed subgraph problem. We will focus in this paper on polynomial time algorithms which we have implemented for producing spanning subgraphs that are 3-vertex strongly biconnected.
On Gorenstein algebras of finite Cohen-Macaulay type: dimer tree algebras and their skew group algebras
Published
• View Publication
• BIB
Dimer tree algebras are a class of non-commutative Gorenstein algebras of Gorenstein dimension 1. In previous work we showed that the stable category of Cohen-Macaulay modules of a dimer tree algebra $A$ is a 2-cluster category of Dynkin type $\mathbb{A}$. Here we show that, if $A$ has an admissible action by the group $G$ with two elements, then the stable Cohen-Macaulay category of the skew group algebra $AG$ is a 2-cluster category of Dynkin type $\mathbb{D}$. This result is reminiscent of and inspired by a result by Reiten and Riedtmann, who showed that for an admissible $G$-action on the path algebra of type $\mathbb{A}$ the resulting skew group algebra is of type $\mathbb{D}$. Moreover, we provide a geometric model of the syzygy category of $AG$ in terms of a punctured polygon $\mathcal{P}$ with a checkerboard pattern in its interior, such that the 2-arcs in $\mathcal{P}$ correspond to indecomposable syzygies in $AG$ and 2-pivots correspond to morphisms. In particular, the dimer tree algebras and their skew group algebras are Gorenstein algebras of finite Cohen-Macaulay type $\mathbb{A}$ and $\mathbb{D}$ respectively. We also provide examples of types $\mathbb{E}_6,\mathbb{E}_7,$ and $\mathbb{E}_8$.
A Note on Large Cycles in Graphs Around Conjectures of Bondy and Jung
Published
• View Publication
• BIB
Two new sufficient conditions for generalized cycles (including Hamilton and dominating cycles as special cases) in an arbitrary k-connected graph (k=1,2,...) are derived, which prove the truth of Bondy's (1980) famous conjecture for some variants significantly improving the result expected by the given hypothesis. Similarly, two new lower bounds for the circumference (the length of a longest cycle) are established for the reverse hypothesis proposed by Jung (2001).