Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A lifting of the Goulden-Jackson cluster method to the Malvenuto-Reutenauer algebra
Published in Algebr. Comb. 5(6): 1391-1425, 2022
• View Publication
• BIB
The Goulden-Jackson cluster method is a powerful tool for counting words by occurrences of prescribed subwords, and was adapted by Elizalde and Noy for counting permutations by occurrences of prescribed consecutive patterns. In this paper, we lift the cluster method for permutations to the Malvenuto-Reutenauer algebra. Upon applying standard homomorphisms, our result specializes to both the cluster method for permutations as well as a q-analogue which keeps track of the inversion number statistic. We construct additional homomorphisms using the theory of shuffle-compatibility, leading to further specializations which keep track of various "inverse statistics", including the inverse descent number, inverse peak number, and inverse left peak number. This approach is then used to derive formulas for counting permutations by occurrences of two families of consecutive patterns -- monotone patterns and transpositional patterns -- refined by these statistics.
Algebra and geometry of link homology
Published in Bulletin of the London Mathematical Society 55 (2023), no. 2, 537-591
• View Publication
• BIB
These notes cover the lectures of the first named author at 2021 IHES Summer School on "Enumerative Geometry, Physics and Representation Theory" with additional details and references. They cover the definition of Khovanov-Rozansky triply graded homology, its basic properties and recent advances, as well as three algebro-geometric models for link homology: braid varieties, Hilbert schemes of singular curves and affine Springer fibers, and Hilbert schemes of points on the plane.
Smallest graphs with given automorphism group
Published
• View Publication
• BIB
For a finite group $G$, denote by $α(G)$ the minimum number of vertices of any graph $Γ$ having $\text{Aut}(Γ)\cong G$. In this paper, we prove that $α(G)\leq |G|$, with specified exceptions. The exceptions include four infinite families of groups, and 17 other small groups. Additionally, we compute $α(G)$ for the groups $G$ such that $α(G)> |G|$ where the value $α(G)$ was previously unknown.
Hypergraph Turán Problems in $\ell_2$-Norm
There are various different notions measuring extremality of hypergraphs. In this survey we compare the recently introduced notion of the codegree squared extremal function with the Turán function, the minimum codegree threshold and the uniform Turán density.
The codegree squared sum $\textrm{co}_2(G)$ of a $3$-uniform hypergraph $G$ is defined to be the sum of codegrees squared $d(x,y)^2$ over all pairs of vertices $x,y$. In other words, this is the square of the $\ell_2$-norm of the codegree vector. We are interested in how large $\textrm{co}_2(G)$ can be if we require $G$ to be $H$-free for some $3$-uniform hypergraph $H$. This maximum value of $\textrm{co}_2(G)$ over all $H$-free $n$-vertex $3$-uniform hypergraphs $G$ is called the codegree squared extremal function, which we denote by $\textrm{exco}_2(n,H)$. We systemically study the extremal codegree squared sum of various $3$-uniform hypergraphs using various proof techniques. Some of our proofs rely on the flag algebra method while others use more classical tools such as the stability method. In particular, we (asymptotically) determine the codegree squared extremal numbers of matchings, stars, paths, cycles, and $F_5$, the $5$-vertex hypergraph with edge set $\{123,124,345\}$.
Additionally, our paper has a survey format, as we state several conjectures and give an overview of Turán densities, minimum codegree thresholds and codegree squared extremal numbers of popular hypergraphs. We intend to update the arXiv version of this paper regularly.
Solving Turán's Tetrahedron Problem for the $\ell_2$-Norm
Published
• View Publication
• BIB
Turán's famous tetrahedron problem is to compute the Turán density of the tetrahedron $K_4^3$. This is equivalent to determining the maximum $\ell_1$-norm of the codegree vector of a $K_4^3$-free $n$-vertex $3$-uniform hypergraph. We introduce a new way for measuring extremality of hypergraphs and determine asymptotically the extremal function of the tetrahedron in our notion.
The codegree squared sum, $\text{co}_2(G)$, of a $3$-uniform hypergraph $G$ is the sum of codegrees squared $d(x,y)^2$ over all pairs of vertices $xy$, or in other words, the square of the $\ell_2$-norm of the codegree vector of the pairs of vertices. We define $\text{exco}_2(n,H)$ to be the maximum $\text{co}_2(G)$ over all $H$-free $n$-vertex $3$-uniform hypergraphs $G$. We use flag algebra computations to determine asymptotically the codegree squared extremal number for $K_4^3$ and $K_5^3$ and additionally prove stability results. In particular, we prove that the extremal $K_4^3$-free hypergraphs in $\ell_2$-norm have approximately the same structure as one of the conjectured extremal hypergraphs for Turán's conjecture. Further, we prove several general properties about $\text{exco}_2(n,H)$ including the existence of a scaled limit, blow-up invariance and a supersaturation result.
On the Foundation of Sparse Sensing (Part II): Diophantine Sampling and Array Configuration
Published
• View Publication
• BIB
In the second part of the series papers, we set out to study the algorithmic efficiency of sparse sensing. Stemmed from co-prime sensing, we propose a generalized framework, termed Diophantine sensing, which utilizes generic Diophantine equation theory and higher-order sparse ruler to strengthen the sampling time, the degree of freedom (DoF), and the sampling sparsity, simultaneously. Resorting to higher-moment statistics, the proposed Diophantine framework presents two fundamental improvements. First, on frequency estimation, we prove that given arbitrarily large down-sampling rates, there exist sampling schemes where the number of samples needed is only proportional to the sum of DoF and the number of snapshots required, which implies a linear sampling time. Second, on Direction-of-arrival (DoA) estimation, we propose two generic array constructions such that given N sensors, the minimal distance between sensors can be as large as a polynomial of N, O(N^q), which indicates that an arbitrarily sparse array (with arbitrarily small mutual coupling) exists given sufficiently many sensors. In addition, asymptotically, the proposed array configurations produce the best known DoF bound compared to existing sparse array designs.
Shotgun assembly of unlabeled Erdos-Renyi graphs
Published
• View Publication
• BIB
Given a positive integer $n$, an unlabeled graph $G$ on $n$ vertices, and a vertex $v$ of $G$, let $N_G(v)$ be the subgraph of $G$ induced by vertices of $G$ of distance at most one from $v$. We show that there are universal constants $C,c>0$ with the following property. Let the sequence $(p_n)_{n=1}^\infty$ satisfy $n^{-1/2}\log^C n\leq p_n\leq c$. For each $n$, let $Γ_n$ be an unlabeled $G(n,p_n)$ Erdös-Rényi graph. Then with probability $1-o_n(1)$, any unlabeled graph $\tilde Γ_n$ on $n$ vertices with $\{N_{\tilde Γ_n}(v)\}_{v}=\{N_{Γ_n}(v)\}_{v}$ must coincide with $Γ_n$. This establishes $\tilde Θ(n^{-1/2})$ as the transition range for the density parameter $p_n$ between reconstructability and non-reconstructability of Erdös-Rényi graphs from their $1$-neighborhoods, and resolves a problem of Gaudio and Mossel.
Partial skew Dyck paths -- a kernel method approach
Published
• View Publication
• BIB
Skew Dyck 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 with decorated Dyck paths. We analyze partial versions of them where the path ends on a fixed level $j$, not necessarily at level 0. We exclusively use generating functions and derive them with the celebrated kernel method.
In the second part of the paper, a dual version is studied, where the paths are read from right to left. In this way, we have two types of up-steps, not two types of down-steps, as before.
A last section deals with the variation that the negative territory (below the $x$-axis) is also allowed. Surprisingly, this is more involved in terms of computations.
Intersecting diametral balls induced by a geometric graph
Published
• View Publication
• BIB
For a graph whose vertex set is a finite set of points in the Euclidean $d$-space consider the closed (open) balls with diameters induced by its edges. The graph is called a (an open) Tverberg graph if these closed (open) balls intersect. Using the idea of halving lines, we show that ($i$) for any finite set of points in the plane, there exists a Hamiltonian cycle that is a Tverberg graph; ($ii$) for any $ n $ red and $ n $ blue points in the plane, there exists a perfect red-blue matching that is a Tverberg graph. Also, we prove that ($iii$) for any even set of points in the Euclidean $ d $-space, there exists a perfect matching that is an open Tverberg graph; ($iv$) for any $ n $ red and $ n $ blue points in the Euclidean $ d $-space, there exists a perfect red-blue matching that is a Tverberg graph.
The average search probabilities of discrete-time quantum walks
Published
• View Publication
• BIB
We study the average probability that a discrete-time quantum walk finds a marked vertex on a graph. We first show that, for a regular graph, the spectrum of the transition matrix is determined by the weighted adjacency matrix of an augmented graph. We then consider the average search probability on a distance regular graph, and find a formula in terms of the adjacency matrix of its vertex-deleted subgraph. In particular, for any family of (1) complete graphs, or (2) strongly regular graphs, or (3) distance regular graphs of a fixed parameter $d$, varying valency $k$ and varying size $n$, such that $k^{d-1}/n$ vanishes as $k$ increases, the average search probability approaches $1/4$ as the valency goes to infinity. We also present a more relaxed criterion, in terms of the intersection array, for this limit to be approached by distance regular graphs.
Uniform scrambles on graphs
A scramble on a connected multigraph is a collection of connected subgraphs that generalizes the notion of a bramble. The maximum order of a scramble, called the scramble number of a graph, was recently developed as a tool for lower bounding divisorial gonality. We present results on the scramble of all connected subgraphs with a fixed number of vertices, using these to calculate scramble number and gonality both for large families of graphs, and for specific examples like the $4$- and $5$-dimensional hypercube graphs. We also study the computational complexity of the egg-cut number of a scramble.
Morse subgroups and boundaries of random right-angled Coxeter groups
Published
• View Publication
• BIB
We study Morse subgroups and Morse boundaries of random right-angled Coxeter groups in the Erdős--Rényi model. We show that at densities below $\left(\sqrt{\frac{1}{2}}-ε\right)\sqrt{\frac{\log{n}}{n}}$ random right-angled Coxeter groups almost surely have Morse hyperbolic surface subgroups. This implies their Morse boundaries contain embedded circles and they cannot be quasi-isometric to a right-angled Artin group. Further, at densities above $\left(\sqrt{\frac{1}{2}}+ε\right)\sqrt{\frac{\log{n}}{n}}$ we show that, almost surely, the hyperbolic Morse special subgroups of a random right-angled Coxeter group are virtually free.
We also apply these methods to show that for a random graph $Γ$ at densities below $(1-ε)\sqrt{\frac{\log{n}}{n}}$, $\square(Γ)$ almost surely contains an isolated vertex. As a consequence, this provides infinitely many examples of right-angled Coxeter groups with no one-ended hyperbolic Morse special subgroups that are not quasi-isometric to a right-angled Artin group.
On universal covers for carpenter's rule folding
We present improved universal covers for carpenter's rule folding in the plane.
Combinatorial Perspectives on the Crank and Mex Partition Statistics
Published in Electron. J. Combin. 29 (2022) P2.11
• View Publication
• BIB
Several authors have recently considered the smallest positive part missing from an integer partition, known as the minimum excludant or mex. In this work, we revisit and extend connections between Dyson's crank statistics, the mex, and Frobenius symbols, with a focus on combinatorial proof techniques. One highlight is a generating function expression for the number of partitions with a bounded crank that does not include an alternating sum. This leads to a combinatorial interpretation involving types of Durfee rectangles.
Construction and Classification of Combinatorial Weaving Diagrams
This paper introduces a new systematic algorithm for constructing periodic Euclidean weaving diagrams with combinatorial arguments. It is shown that such a weaving diagram can be considered as a specific type of four-regular periodic planar tiling with over or under information at each vertex. Therefore, a weaving diagram can be constructed using two sets of cycles, one to build a tiling, and a second to define the crossing information. However, this construction method does not guarantee the uniqueness of the diagram, so we define the notion of equivalence classes of weaving diagrams using the concept of crossing-matrices. Finally, we present a classification of our periodic structures according to the minimum number of crossings on a unit cell.
Metric dimensions vs. cyclomatic number of graphs with minimum degree at least two
Published
• View Publication
• BIB
The vertex (resp. edge) metric dimension of a connected graph G; denoted by dim(G) (resp. edim(G)), is defined as the size of a smallest set S in V (G) which distinguishes all pairs of vertices (resp. edges) in G: Bounds dim(G) <= L(G)+2c(G) and edim(G) <= L(G) + 2c(G); where c(G) is the cyclomatic number in G and L(G) depends on the number of leaves in G, are known to hold for cacti and are conjectured to hold for general graphs. In leafless graphs it holds that L(G) = 0; so for such graphs the conjectured upper bound becomes 2c(G). In this paper, we show that the bound 2c(G) cannot be attained by leafless cacti, so the upper bound for such cacti decreases to 2c(G)-1, and we characterize all extremal leafless cacti for the decreased bound. We conjecture that the decreased bound holds for all leafless graphs, i.e. graphs with minimum degree at least two. We support this conjecture by showing that it holds for all graphs with minimum degree at least three and that it is suficient to show that it holds for all 2-connected graphs, and we also verify the conjecture for graphs of small order.
Spectral radius, edge-disjoint cycles and cycles of the same length
Published
• View Publication
• BIB
In this paper, we give spectral conditions to guarantee the existence of two edge disjoint cycles and two cycles of the same length. These two results can be seen as spectral analogues of Erdős and Posa's size condition and Erdős' classic problem on non existence of two cycles of the same length. By using double leading eigenvectors skill, we further give spectral condition to guarantee the existence of $k$ edge disjoint triangles.
On the maximal $α$-spectral radius of graphs with given matching number
Published
• View Publication
• BIB
Let $\mathscr{G}_{n,β}$ be the set of graphs of order $n$ with given matching number $β$. Let $D(G)$ be the diagonal matrix of the degrees of the graph $G$ and $A(G)$ be the adjacency matrix of the graph $G$. The largest eigenvalue of the nonnegative matrix $A_α(G)=αD(G)+A(G)$ is called the $α$-spectral radius of $G$. The graphs with maximal $α$-spectral radius in $\mathscr{G}_{n,β}$ are completely characterized in this paper. In this way we provide a general framework to attack the problem of extremal spectral radius in $\mathscr{G}_{n,β}$. More precisely, we generalize the known results on the maximal adjacency spectral radius in $\mathscr{G}_{n,β}$ and the signless Laplacian spectral radius.
The Eigenvalues of Hyperoctahedral Descent Operators and Applications to Card-Shuffling
Published
• View Publication
• BIB
We extend an algebra of Mantaci and Reutenauer, acting on the free associative algebra, to a vector space of operators acting on all graded connected Hopf algebras. These operators are convolution products of certain involutions, which we view as hyperoctahedral variants of Patras's descent operators. We obtain the eigenvalues and multiplicities of all our new operators, as well as a basis of eigenvectors for a subclass akin to Adams operations. We outline how to apply this eigendata to study Markov chains, and examine in detail the case of card-shuffles with flips or rotations.
On well-f-coveredness of lexicographic product of graphs
A simple graph G is said to be well-f-covered, whenever any two maximal induced forest in G be of the same order. In this note, well-f-coveredness of lexicographic product of two graphs in case where the first component is empty, is characterized. In cases where the second component is empty, and the second component is nonempty, a necessary condition is given, and in each one, by an example, it is shown that the given condition is not sufficient.