Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Spectral extremal graphs for the bowtie
Published in Discrete Mathematics 346 (2023) 113680
• View Publication
• BIB
Let $F_k$ be the (friendship) graph obtained from $k$ triangles by sharing a common vertex. The $F_k$-free graphs of order $n$ which attain the maximal spectral radius was firstly characterized by Cioabă, Feng, Tait and Zhang [Electron. J. Combin. 27 (4) (2020)], and later uniquely determined by Zhai, Liu and Xue [Electron. J. Combin. 29 (3) (2022)] under the condition that $n$ is sufficiently large. In this paper, we get rid of the condition on $n$ being sufficiently large if $k=2$. The graph $F_2$ is also known as the bowtie. We show that the unique $n$-vertex $F_2$-free spectral extremal graph is the balanced complete bipartite graph adding an edge in the vertex part with smaller size if $n\ge 7$, and the condition $n\ge 7$ is tight. Our result is a spectral generalization of a theorem of Erdős, Füredi, Gould and Gunderson [J. Combin. Theory Ser. B 64 (1995)], which states that $\mathrm{ex}(n,F_2)=\left\lfloor {n^2}/{4} \right\rfloor +1$. Moreover, we study the spectral extremal problem for $F_k$-free graphs with given number of edges. In particular, we show that the unique $m$-edge $F_2$-free spectral extremal graph is the join of $K_2$ with an independent set of $\frac{m-1}{2}$ vertices if $m\ge 8$, and the condition $m\ge 8$ is tight.
Sym-Noetherianity for powers of GL-varieties
Published
• View Publication
• BIB
Much recent literature concerns finiteness properties of infinite-dimensional algebraic varieties equipped with an action of the infinite symmetric group, or of the infinite general linear group. In this paper, we study a common generalisation in which the product of both groups acts on infinite-dimensional spaces, and we show that these spaces are topologically Noetherian with respect to this action.
Some Mixed-Moments of Gaussian Elliptic Matrices and Ginibre Matrices
We consider the mixed-moments $\varphi(\mathbf{X}^{ε_1},\ldots,\mathbf{X}^{ε_k})=\lim_{N\to\infty}N^{-1}\mathbb{E}\left[\mathrm{Tr}\left(\mathbf{X}^ε_1\cdots\mathbf{X}^{ε_k}\right)\right]$ of complex Gaussian Elliptic Matrices $\mathbf{X}$ (with correlation parameter $ρ$ between elements $\mathbf{X}_{ij}$ and $\mathbf{X}_{ji}^*$), where symbolically $ε_i\in\{1,\dagger\}$, and where the expectation $\mathbb{E}\left[\cdot\right]$ is taken over all matrices $\mathbf{X}$. We start by finding an explicit formula for $\varphi(\mathbf{X}^n,(\mathbf{X}^\dagger)^m)$, $n,m\in\mathbb{N}$, by using a mapping between non-crossing pairings on $\ell=n+m$ elements and Temperley-Lieb diagrams between two strands of $n$ and $m$ elements. This formula allows for a numerically efficient way to compute $\varphi(\mathbf{X}^n,(\mathbf{X}^\dagger)^m)$ by reducing the exponential complexity of a naive enumeration of non-crossing pairings to polynomial complexity. We also provide the asymptotic behavior of these mixed-moments as $n,m\to\infty$. We then provide an explicit computation for some more general mixed-moments by considering the position of the matrix $\mathbf{X}$ in the product $\mathbf{X}^{ε_1}\cdots\mathbf{X}^{ε_k}$. We, therefore, deduce closed-form formulas for some mixed-moments of Ginibre matrices.
Some notes on a Fibonacci-Lucas identity
In 2016, Edgar and, independently of him, Bhatnagar sta\-ted a nice polynomial identity that connects Fibonacci and Lucas numbers. Shortly after their publications, this identity has been generalized in two different ways: Dafnis, Phillipou and Livieris provided a generalization to Fibonacci sequences of order $k$ and Abd-Elhameed and Zeyada extended Edgar--Bhatnagar identity to generalized Fibonacci and Lucas sequences. In this paper, we present more polynomial identities for generalized Lucas sequences. We discuss interesting aspects and special cases which have not been stated before but deserve recognition. Finally, we prove the polynomial analogues of these identities for Chebyshev polynomials.
Čech complexes of hypercube graphs
Published
• View Publication
• BIB
A Čech complex of a finite simple graph $G$ is a nerve complex of balls in the graph, with one ball centered at each vertex. More precisely, let the Čech complex $\mathcal{N}(G,r)$ be the nerve of all closed balls of radius $\frac{r}{2}$ centered at vertices of $G$, where these balls are drawn in the geometric realization of the graph $G$ (equipped with the shortest path metric). The simplicial complex $\mathcal{N}(G,r)$ is equal to the graph $G$ when $r=1$, and homotopy equivalent to the graph $G$ when $r$ is smaller than half the length of the shortest loop in $G$. For higher values of $r$, the topology of $\mathcal{N}(G,r)$ is not well-understood. We consider the $n$-dimensional hypercube graphs $\mathbb{I}_n$ with $2^n$ vertices. Our main results are as follows. First, when $r=2$, we show that the Čech complex $\mathcal{N}(\mathbb{I}_n,2)$ is homotopy equivalent to a wedge of 2-spheres for all $n\ge 1$, and we count the number of 2-spheres appearing in this wedge sum. Second, when $r=3$, we show that $\mathcal{N}(\mathbb{I}_n,3)$ is homotopy equivalent to a simplicial complex of dimension at most 4, and that for $n\ge 4$ the reduced homology of $\mathcal{N}(\mathbb{I}_n, 3)$ is nonzero in dimensions 3 and 4, and zero in all other dimensions. Finally, we show that for all $n\ge 1$ and $r\ge 0$, the inclusion $\mathcal{N}(\mathbb{I}_n, r)\hookrightarrow \mathcal{N}(\mathbb{I}_n, r+2)$ is null-homotopic, providing a bound on the length of bars in the persistent homology of Čech complexes of hypercube graphs.
A closure operator on the subgroup lattice of $\mathrm{GL}(n,q)$ and $\mathrm{PGL}(n,q)$ in relation to the zeros of the Möbius function
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the $n$-dimensional $\mathbb{F}_q$-vector space $V=\mathbb{F}_q^n\,$. In this paper we define a closure operator on the subgroup lattice of the group $G = \mathrm{PGL}(V)$. Let $μ$ denote the Möbius function of this lattice. The aim is to use this closure operator to characterize subgroups $H$ of $G$ for which $μ(H,G)\neq 0$. Moreover, we establish a polynomial bound on the number $c(m)$ of closed subgroups $H$ of index $m$ in $G$ for which the lattice of $H$-invariant subspaces of $V$ is isomorphic to a product of chains. This bound depends only on $m$ and not on the choice of $n$ and $q$. It is achieved by considering a similar closure operator for the subgroup lattice of $\mathrm{GL}(V)$ and the same results proven for this group.
Thin Sidon sets and the nonlinearity of vectorial Boolean functions
Published
• View Publication
• BIB
The vectorial nonlinearity of a vector valued function is its distance from the set of affine functions. In 2017, Liu, Mesnager and Chen conjectured a general upper bound for the vectorial linearity. Recently, Carlet proved a lower bound in terms of the differential uniformity. In this paper, we improve Carlet's lower bound. Our method is elementary, it relies on the fact that the level sets of an APN functions are Sidon sets. We give a survey on Sidon sets in elementary abelian 2-groups. We study the completeness problem of Sidon sets obtained from hyperbolas and ellipses of the finite affine plane.
Self-dual matroids from canonical curves
Published
• View Publication
• BIB
Self-dual configurations of 2n points in a projective space of dimension n-1 were studied by Coble, Dolgachev-Ortland, and Eisenbud-Popescu. We examine the self-dual matroids and self-dual valuated matroids defined by such configurations, with a focus on those arising from hyperplane sections of canonical curves. These objects are parametrized by the self-dual Grassmannian and its tropicalization. We tabulate all self-dual matroids up to rank 5 and investigate their realization spaces. Following Bath, Mukai, and Petrakiev, we explore algorithms for recovering a curve from the configuration. A detailed analysis is given for self-dual matroids arising from graph curves.
Upgrading MLSI to LSI for reversible Markov chains
Published
• View Publication
• BIB
For reversible Markov chains on finite state spaces, we show that the modified log-Sobolev inequality (MLSI) can be upgraded to a log-Sobolev inequality (LSI) at the surprisingly low cost of degrading the associated constant by $\log (1/p)$, where $p$ is the minimum non-zero transition probability. We illustrate this by providing the first log-Sobolev estimate for Zero-Range processes on arbitrary graphs. As another application, we determine the modified log-Sobolev constant of the Lamplighter chain on all bounded-degree graphs, and use it to provide negative answers to two open questions by Montenegro and Tetali (2006) and Hermon and Peres (2018). Our proof builds upon the `regularization trick' recently introduced by the last two authors.
A note on $α$-permanent and loop soup
Published in Electron. Commun. Probab. 28: 1-9 (2023)
• View Publication
• BIB
In this paper, it is shown that $α$-permanent in algebra is closely related to loop soup in probability. We give explicit expansions of $α$-permanents of the block matrices obtained from matrices associated to $*$-forests, which are a special class of matrices containing tridiagonal matrices. It is proved in two ways, one is the direct combinatorial proof, and the other is the probabilistic proof via loop soup.
Tight concentration of star saturation number in random graphs
Published
• View Publication
• BIB
For given graphs $F$ and $G$, the minimum number of edges in an inclusion-maximal $F$-free subgraph of $G$ is called the $F$-saturation number and denoted $\mathrm{sat}(G, F)$. For the star $F=K_{1,r}$, the asymptotics of $\mathrm{sat}(G(n,p),F)$ is known. We prove a sharper result: whp $\mathrm{sat}(G(n,p), K_{1,r})$ is concentrated in a set of 2 consecutive points.
Optimal thresholds for Latin squares, Steiner Triple Systems, and edge colorings
Published
• View Publication
• BIB
We show that the threshold for the binomial random $3$-partite, $3$-uniform hypergraph $G^{3}((n,n,n),p)$ to contain a Latin square is $Θ(\log{n}/n)$. We also prove analogous results for Steiner triple systems and proper list edge-colorings of the complete (bipartite) graph with random lists. Our results answer several related questions of Johansson, Luria-Simkin, Casselgren-Häggkvist, Simkin, and Kang-Kelly-Kühn-Methuku-Osthus.
Alternating links, rational balls, and cube tilings
Published
• View Publication
• BIB
When does the double cover of the three-sphere branched along an alternating link bound a rational homology ball? Heegaard Floer homology generates a necessary condition for it to bound: the link's chessboard lattice must be cubiquitous, implying that its normalized determinant is less than or equal to one. We conjecture that the converse holds and prove it when the normalized determinant equals one. The proof involves flows on planar graphs and the Hajós-Minkowski theorem that a lattice tiling of Euclidean space by cubes contains a pair of cubes which touch along an entire facet. We extend our main results to the study of ribbon cobordism and ribbon concordance.
The one-sided cycle shuffles in the symmetric group algebra
Published in Shortened version in: Algebraic Combinatorics, Volume 7 (2024) no. 2, pp. 275-326
• View Publication
• BIB
We study a family of shuffling operators on the symmetric group $S_n$, which includes the top-to-random shuffle. The general shuffling scheme consists of removing one card at a time from the deck (according to some probability distribution) and re-inserting it at a (uniformly) random position further below. Rewritten in terms of the group algebra $\mathbb{R}[S_n]$, our shuffle corresponds to right multiplication by a linear combination of the elements \[t_i:=\text{cyc}_{i}+\text{cyc}_{i,i+1}+\text{cyc}_{i,i+1,i+2}+\cdots+\text{cyc}_{i,i+1,\ldots,n}\in \mathbb{R}[S_n]\] for all $i\in\{1,2,\ldots,n\}$ (where $\text{cyc}_{j_1,j_2,\ldots,j_p}$ stands for a $p$-cycle).
We compute the eigenvalues of these shuffling operators and of all their linear combinations. In particular, we show that the eigenvalues of right multiplication by a linear combination $λ_1t_1+λ_2t_2+\cdots+λ_nt_n$ are the numbers $λ_1m_{I,1}+λ_2m_{I,2}+\cdots+λ_nm_{I,n}$, where $I$ ranges over the subsets of $\{1,2,\ldots,n-1\}$ that contain no two consecutive integers; here $m_{I,i}$ are certain integers. We compute the multiplicities of these eigenvalues and show that if they are all distinct, the shuffling operator is diagonalizable. To this purpose, we show that the operators of right multiplication by $t_1,t_2,\ldots,t_n$ on $\mathbb{R}[S_n]$ are simultaneously triangularizable (via a combinatorially defined basis). The results stated here over $\mathbb{R}$ for convenience are actually stated and proved over an arbitrary commutative ring $\mathbf{k}$.
We finish by describing a strong stationary time for the random-to-below shuffle, which is the shuffle in which the card that moves below is selected uniformly at random, and we give the waiting time for this event to happen.
The Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$ and the Terwilliger algebras of Johnson graphs
Published in Journal of Combinatorial Theory, Series A, Volume 203, April 2024, 105833
• View Publication
• BIB
The universal enveloping algebra $U(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ is a unital associative algebra over $\mathbb C$ generated by $E,F,H$ subject to the relations \begin{align*} [H,E]=2E, \qquad [H,F]=-2F, \qquad [E,F]=H. \end{align*} The element $$ Λ=EF+FE+\frac{H^2}{2} $$ is called the Casimir element of $U(\mathfrak{sl}_2)$. Let $Δ:U(\mathfrak{sl}_2)\to U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$ denote the comultiplication of $U(\mathfrak{sl}_2)$. The universal Hahn algebra $\mathcal H$ is a unital associative algebra over $\mathbb C$ generated by $A,B,C$ and the relations assert that $[A,B]=C$ and each of \begin{align*} [C,A]+2A^2+B, \qquad [B,C]+4BA+2C \end{align*} is central in $\mathcal H$. Inspired by the Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$, we discover an algebra homomorphism $\natural:\mathcal H\to U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$ that maps \begin{eqnarray*} A &\mapsto & \frac{H\otimes 1-1\otimes H}{4}, \\ B &\mapsto & \frac{Δ(Λ)}{2}, \\ C &\mapsto & E\otimes F-F\otimes E. \end{eqnarray*} By pulling back via $\natural$ any $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module can be considered as an $\mathcal H$-module. For any integer $n\geq 0$ there exists a unique $(n+1)$-dimensional irreducible $U(\mathfrak{sl}_2)$-module $L_n$ up to isomorphism. We study the decomposition of the $\mathcal H$-module $L_m\otimes L_n$ for any integers $m,n\geq 0$. We link these results to the Terwilliger algebras of Johnson graphs. We express the dimensions of the Terwilliger algebras of Johnson graphs in terms of binomial coefficients.
Extensions of results on phylogeny graphs of degree bounded digraphs
Published
• View Publication
• BIB
An acyclic digraph in which every vertex has indegree at most $i$ and outdegree at most $j$ is called an $(i,j)$ digraph for some positive integers $i$ and $j$. The phylogeny graph of a digraph $D$ has $V(D)$ as the vertex set and an edge $uv$ if and only if one of the following is true: $(u,v) \in A(D)$; $(v,u) \in A(D)$; $(u,w) \in A(D)$ and $(v,w) \in A(D)$ for some $w \in V(D)$. A graph $G$ is a phylogeny graph (resp.\ an $(i,j)$ phylogeny graph) if there is an acyclic digraph $D$ (resp.\ an $(i,j)$ digraph $D$) such that the phylogeny graph of $D$ is isomorphic to $G$. Lee~{\em et al.} (2017) and Eoh and Kim (2021) studied the $(2,2)$ phylogeny graphs, $(1,j)$ phylogeny graphs, $(i,1)$ phylogeny graphs, and $(2,j)$ phylogeny graphs. Their work was motivated by problems related to evidence propagation in a Bayesian network for which it is useful to know which acyclic digraphs have chordal moral graphs (phylogeny graphs are called moral graphs in Bayesian network theory). In this paper, we extend their work by giving necessary conditions of chordal $(i,2)$ phylogeny graphs. We go further to give necessary conditions of $(i,j)$ phylogeny graphs by listing forbidden induced subgraphs.
Spectral radius and spanning trees of graphs
Published
• View Publication
• BIB
For integer $k\geq2,$ a spanning $k$-ended-tree is a spanning tree with at most $k$ leaves. Motivated by the closure theorem of Broersma and Tuinstra [Independence trees and Hamilton cycles, J. Graph Theory 29 (1998) 227--237], we provide tight spectral conditions to guarantee the existence of a spanning $k$-ended-tree in a connected graph of order $n$ with extremal graphs being characterized. Moreover, by adopting Kaneko's theorem [Spanning trees with constraints on the leaf degree, Discrete Appl. Math. 115 (2001) 73--76], we also present tight spectral conditions for the existence of a spanning tree with leaf degree at most $k$ in a connected graph of order $n$ with extremal graphs being determined, where $k\geq1$ is an integer.
The Smith normal form of the walk matrix of the Dynkin graph $D_n$ for $n\equiv 0\pmod{4}$
Published in Linear Algebra and Its Applications, 2023
• View Publication
• BIB
Let $W(D_n)$ denote the walk matrix of the Dynkin graph $D_n$. We prove that the Smith normal form of $W(D_n)$ is $$\textup{diag}[\underbrace{1,1,\ldots,1}_{\frac{n}{2}-1},\underbrace{2,2,\ldots,2}_{\frac{n}{2}-1},0,0]$$ when $n\equiv 0\pmod{4}$. This gives an affirmative answer to a question in [W. Wang, C. Wang, S. Guo, On the walk matrix of the Dynkin graph $D_n$, Linear Algebra Appl. 653 (2022) 193--206].
On graph classes with minor-universal elements
Published
• View Publication
• BIB
A graph $U$ is universal for a graph class $\mathcal{C}\ni U$, if every $G\in \mathcal{C}$ is a minor of $U$. We prove the existence or absence of universal graphs in several natural graph classes, including graphs component-wise embeddable into a surface, and graphs forbidding $K_5$, or $K_{3,3}$, or $K_\infty$ as a minor. We prove the existence of uncountably many minor-closed classes of countable graphs that (do and) do not have a universal element.
Some of our results and questions may be of interest to the finite graph theorist. In particular, one of our side-results is that every $K_5$-minor-free graph is a minor of a $K_5$-minor-free graph of maximum degree 22.
Tiling and weak tiling in $(\mathbb{Z}_p)^d$
Published
• View Publication
• BIB
We discuss the relation of tiling, weak tiling and spectral sets in finite abelian groups. In particular, in elementary $p$-groups $(\mathbb{Z}_p)^d$, we introduce an averaging procedure that leads to a natural object of study: a 4-tuple of functions which can be regarded as a common generalization of tiles and spectral sets. We characterize such 4-tuples for $d=1, 2$, and prove some partial results for $d=3$.