Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The $γ$-Signless Laplacian Adjacency Matrix of Mixed Graphs
Published
• View Publication
• BIB
The $α$-Hermitian adjacency matrix $H_α$ of a mixed graph $X$ has been recently introduced. It is a generalization of the adjacency matrix of unoriented graphs. In this paper, we consider a special case of the complex number $α$. This enables us to define an incidence matrix of mixed graphs. Consequently, we define a generalization of line graphs as well as a generalization of the signless Laplacian adjacency matrix of graphs. We then study the spectral properties of the signless Laplacian adjacency matrix of a mixed graph. Lastly, we characterize when the signless Laplacian adjacency matrix of a mixed graph is singular and give lower and upper bounds of number of arcs and digons in terms of largest and lowest eigenvalue of the signless Laplacian adjacency matrix.
On the number of error correcting codes
Published
• View Publication
• BIB
We show that for a fixed $q$, the number of $q$-ary $t$-error correcting codes of length $n$ is at most $2^{(1 + o(1)) H_q(n,t)}$ for all $t \leq (1 - q^{-1})n - C_q\sqrt{n \log n}$ (for sufficiently large constant $C_q$), where $H_q(n, t) = q^n / V_q(n,t)$ is the Hamming bound and $V_q(n,t)$ is the cardinality of the radius $t$ Hamming ball. This proves a conjecture of Balogh, Treglown, and Wagner, who showed the result for $t = o(n^{1/3} (\log n)^{-2/3})$.
Quasisymmetric Schubert calculus
The ring of symmetric functions occupies a central place in algebraic combinatorics, with a particularly notable role in Schubert calculus, where the standard cell decompositions of Grassmannians yield the celebrated family of Schur functions and the cohomology ring is governed by Littlewood-Richardson rules. The past 50 years have seen an analogous development of quasisymmetric function theory, with applications to enumerative combinatorics, Hopf algebras, graph theory, representation theory, and other areas. Despite such successes, this theory has lacked a quasisymmetric analogue of Schubert calculus. In particular, there has been much interest, since work of Lam and Pylyavskyy (2007), in developing "$K$-theoretic" analogues of quasisymmetric function theory, for which a major obstacle has been the lack of topological interpretations.
Here, building on work of Baker and Richter (2008), we apply the philosophy of Schubert calculus to the loop space $Ω(Σ(\mathbb{C}\mathbb{P}^\infty))$ through the homotopy model given by James reduced product $J(\mathbb{C}\mathbb{P}^\infty)$. We describe a canonical Schubert cell decomposition of $J(\mathbb{C}\mathbb{P}^\infty)$, yielding a canonical basis of its cohomology, which we explicitly identify with monomial quasisymmetric functions. Our constructions apply equally to James reduced products of generalized flag varieties $G/P$, and we show how Littlewood-Richardson rules for any $G/P$ lift to $H^*(J(G/P))$.
If $J(\mathbb{C}\mathbb{P}^\infty)$ carried the structure of a normal projective algebraic variety, the structure sheaves of the cell closures would yield a "cellular $K$-theory" Schubert basis. We show this is impossible. Nonetheless, we introduce and study a more subtle $K$-theory Schubert basis. We characterize this $K$-theory ring and develop quasisymmetric representatives with an explicit combinatorial description.
Eigenvalue bounds of the Kirchhoff Laplacian
Published
• View Publication
• BIB
We prove that each eigenvalue l(k) of the Kirchhoff Laplacian K of a graph or quiver is bounded above by d(k)+d(k-1) for all k in {1,...,n}. Here l(1),...,l(n) is a non-decreasing list of the eigenvalues of K and d(1),..,d(n) is a non-decreasing list of vertex degrees with the additional assumption d(0)=0. We also prove that in general the weak Brouwer-Haemers lower bound d(k) + (n-k) holds for all eigenvalues l(k) of the Kirchhoff matrix of a quiver.
The Tree-Forest Ratio
The number of rooted spanning forests divided by the number of spanning rooted trees in a graph G with Kirchhoff matrix K is the spectral quantity tau(G)= det(1+K)/det(K) of G by the matrix tree and matrix forest theorems. We prove that that under Barycentric refinements, the tree index T(G)=log(det(K))/n and forest index F(G)=log(det(1+K))/n and so the tree-forest index i=F-G=log(tau(G))/n converge to numbers that only depend on the size of the maximal clique in the graph. In the 1-dimensional case, all numbers are known: T(G)=0, F(G)=i(G) =2 log(phi), where phi is the golden ratio. The convergent proof uses the Barycentral limit theorem assuring the Kirchhoff spectrum converges weakly to a measure dk on the positive real axis that only depends on dimension of G. Trees and forests indices are potential values i = U(-1)-U(0) for the subharmonic function U(z)=int_R log|x-z| dk(x) defined by the Riesz measure dk=Delta U which only depends on the dimension of G. The potential U(z) is defined for all z away from the support of dk and finite at z=0. Convergence follows from the tail estimate k[x,infty] < C exp(-a x) where the decay rate a only depends on the maximal dimension. With the normalized zeta function zeta(s) = (1/n) sum_k lambda_k^-s, we have for all finite graphs of maximal dimension larger than 1 the identity i(G) = sum_t (-1)^(s+1) zeta(s)/s. The limiting zeta function zeta(s) = int_R x^(-s) dk(x) is analytic in s for s<0. The Hurwitz spectral zeta function zeta_z(s)=U_s(z) = int_R (x-z)^(-s) dk(x) complements U(z) = int_R log(x-z) dk(x) and is analytic for z in C - R^+ and for fixed z in C-R^+ is an entire function in s in C.
Generalized fusible numbers and their ordinals
Published
• View Publication
• BIB
Erickson defined the fusible numbers as a set $\mathcal F$ of reals generated by repeated application of the function $\frac{x+y+1}{2}$. Erickson, Nivasch, and Xu showed that $\mathcal F$ is well ordered, with order type $\varepsilon_0$. They also investigated a recursively defined function $M\colon \mathbb{R}\to\mathbb{R}$. They showed that the set of points of discontinuity of $M$ is a subset of $\mathcal F$ of order type $\varepsilon_0$. They also showed that, although $M$ is a total function on $\mathbb R$, the fact that the restriction of $M$ to $\mathbb{Q}$ is total is not provable in first-order Peano arithmetic $\mathsf{PA}$.
In this paper we explore the problem (raised by Friedman) of whether similar approaches can yield well-ordered sets $\mathcal F$ of larger order types. As Friedman pointed out, Kruskal's tree theorem yields an upper bound of the small Veblen ordinal for the order type of any set generated in a similar way by repeated application of a monotone function $g:\mathbb R^n\to\mathbb R$.
The most straightforward generalization of $\frac{x+y+1}{2}$ to an $n$-ary function is the function $\frac{x_1+\cdots+x_n+1}{n}$. We show that this function generates a set $\mathcal F_n$ whose order type is just $\varphi_{n-1}(0)$. For this, we develop recursively defined functions $M_n\colon \mathbb{R}\to\mathbb{R}$ naturally generalizing the function $M$.
Furthermore, we prove that for any linear function $g:\mathbb R^n\to\mathbb R$, the order type of the resulting $\mathcal F$ is at most $\varphi_{n-1}(0)$.
Finally, we show that there do exist continuous functions $g:\mathbb R^n\to\mathbb R$ for which the order types of the resulting sets $\mathcal F$ approach the small Veblen ordinal.
Morse theory of Bestvina-Brady type for posets and matchings
Published
• View Publication
• BIB
We introduce a Morse theory for posets of Bestvina-Brady type combining matchings and height functions. This theory generalizes Forman's discrete Morse theory for regular CW-complexes and extends previous results on Morse theory for $h$-regular posets to all finite posets. We also develop a relative version of Morse theory which allows us to compare the topology of a poset with that of a given subposet.
Splitting subspaces and a finite field interpretation of the Touchard-Riordan Formula
Published in European Journal of Combinatorics, 110 (2023) 103705
• View Publication
• BIB
We enumerate the number of $T$-splitting subspaces of dimension $m$ for an arbitrary operator $T$ on a $2m$-dimensional vector space over a finite field. When $T$ is regular split semisimple, comparison with an alternate method of enumeration leads to a new proof of the Touchard-Riordan formula for enumerating chord diagrams by their number of crossings.
Majority Edge-Colorings of Graphs
Published
• View Publication
• BIB
We propose the notion of a majority $k$-edge-coloring of a graph $G$, which is an edge-coloring of $G$ with $k$ colors such that, for every vertex $u$ of $G$, at most half the edges of $G$ incident with $u$ have the same color. We show the best possible results that every graph of minimum degree at least $2$ has a majority $4$-edge-coloring, and that every graph of minimum degree at least $4$ has a majority $3$-edge-coloring. Furthermore, we discuss a natural variation of majority edge-colorings and some related open problems.
Polynomial reduction for holonomic sequences and applications in $π$-series and congruences
Published
• View Publication
• BIB
Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As applications, we describe an algorithmic way to prove and generate new multi-summation identities. Especially we present new families of $π$-series involving Domb numbers and Franel numbers.
A new decomposition of the graph Laplacian and the binomial structure of mass-action systems
Published
• View Publication
• BIB
We provide a new decomposition of the Laplacian matrix (for labeled directed graphs with strongly connected components), involving an invertible $\textit{core matrix}$, the vector of tree constants, and the incidence matrix of an auxiliary graph, representing an order on the vertices. Depending on the particular order, the core matrix has additional properties. Our results are graph-theoretic/algebraic in nature.
As a first application, we further clarify the binomial structure of (weakly reversible) mass-action systems, arising from chemical reaction networks. Second, we extend a classical result by Horn and Jackson on the asymptotic stability of special steady states (complex-balanced equilibria). Here, the new decomposition of the graph Laplacian allows us to consider regions in the positive orthant with given $\textit{monomial evaluation orders}$ (and corresponding polyhedral cones in logarithmic coordinates). As it turns out, all dynamical systems are asymptotically stable that can be embedded in certain $\textit{binomial differential inclusions}$. In particular, this holds for complex-balanced mass-action systems, and hence we also obtain a polyhedral-geometry proof of the classical result.
Coloring directed hypergraphs
Published
• View Publication
• BIB
Inspired by earlier results about proper and polychromatic coloring of hypergraphs, we investigate such colorings of directed hypergraphs, that is, hypergraphs in which the vertices of each hyperedge is partitioned into two parts, a tail and a head. We present a conjecture of D. Pálvölgyi and the author, which states that directed hypergraphs with a certain restriction on their pairwise intersections can be colored with two colors. Besides other contributions, our main result is a proof of this conjecture for $3$-uniform directed hypergraphs. This result can be phrased equivalently such that if a $3$-uniform directed hypergraph avoids a certain directed hypergraph with two hyperedges, then it admits a proper $2$-coloring. Previously, only extremal problems regarding the maximum number of edges of directed hypergraphs that avoid a certain hyperedge were studied.
Fusions of tensor powers of Johnson schemes
Published
• View Publication
• BIB
This paper is a follow-up to (arXiv:2203.03687), in which the first author studied primitive association schemes lying between a tensor power $\mathcal{T}_m^d$ of the trivial association scheme and the Hamming scheme $\mathcal{H}(m,d)$. A question which arose naturally in that study was whether all primitive fusions of $\mathcal{T}_m^d$ lie between $\mathcal{T}_{m^e}^{d/e}$ and $\mathcal{H}(m^d, d/e)$ for some $e \mid d$. This note answers this question positively provided that $m$ is large enough. We similarly classify primitive fusions of the $d$th tensor power of a Johnson scheme on $\binom{m}{k}$ points provided $m$ is large enough in terms of $k$ and $d$.
Transference for loose Hamilton cycles in random $3$-uniform hypergraphs
Published
• View Publication
• BIB
A loose Hamilton cycle in a hypergraph is a cyclic sequence of edges covering all vertices in which only every two consecutive edges intersect and do so in exactly one vertex. With Dirac's theorem in mind, it is natural to ask what minimum $d$-degree condition guarantees the existence of a loose Hamilton cycle in a $k$-uniform hypergraph. For $k=3$ and each $d \in \{1,2\}$, the necessary and sufficient such condition is known precisely. We show that these results adhere to a `transference principle' to their sparse random analogues. The proof combines several ideas from the graph setting and relies on the absorbing method. In particular, we employ a novel approach of Kwan and Ferber for finding absorbers in subgraphs of sparse hypergraphs via a contraction procedure. In the case of $d = 2$, our findings are asymptotically optimal.
Entanglements
Published
• View Publication
• BIB
Robertson and Seymour constructed for every graph $G$ a tree-decomposition that efficiently distinguishes all the tangles in $G$. While all previous constructions of these decompositions are either iterative in nature or not canonical, we give an explicit one-step construction that is canonical. The key ingredient is an axiomatisation of 'local properties' of tangles. Generalisations to locally finite graphs and matroids are also discussed.
Anti-van der Waerden Numbers of Graph Products of Cycles
A $k$-term arithmetic progression ($k$-AP) in a graph $G$ is a list of vertices such that each consecutive pair of vertices is the same distance apart. If $c$ is a coloring function of the vertices of $G$ and a $k$-AP in $G$ has each vertex colored distinctly, then that $k$-AP is a rainbow $k$-AP. The anti-van der Waerden number of a graph $G$ with respect to $k$ is the least positive integer $r$ such that every surjective coloring with domain $V(G)$ and codomain $\{1,2,\dots,r\} = [r]$ is guaranteed to have a rainbow $k$-AP. This paper focuses on $3$-APs and graph products with cycles. Specifically, the anti-van der Waerden number with respect to $3$ is determined precisely for $P_m \square C_n$, $C_m\square C_n$ and $G\square C_{2n+1}$.
Flip Distance and Triangulations of a Ball
Published
• View Publication
• BIB
It is known that the flip distance between two triangulations of a convex polygon is related to the minimum number of tetrahedra in the triangulation of some polyhedron. It is interesting to know whether these two numbers are the same. In this work, we find examples to show that the two numbers are different in nature, and their ratio can be arbitrarily close to $\frac{3}{2}$.
A sharp threshold for a random version of Sperner's Theorem
Published
• View Publication
• BIB
The Boolean lattice $\mathcal{P}(n)$ consists of all subsets of $[n] = \{1,\dots, n\}$ partially ordered under the containment relation. Sperner's Theorem states that the largest antichain of the Boolean lattice is given by a middle layer: the collection of all sets of size $\lfloor{n/2}\rfloor$, or also, if $n$ is odd, the collection of all sets of size $\lceil{n/2}\rceil$. Given $p$, choose each subset of $[n]$ with probability $p$ independently. We show that for every constant $p>3/4$, the largest antichain among these subsets is also given by a middle layer, with probability tending to $1$ as $n$ tends to infinity. This $3/4$ is best possible, and we also characterize the largest antichains for every constant $p>1/2$. Our proof is based on some new variations of Sapozhenko's graph container method.
Asymptotic linearity of binomial random hypergraphs via cluster expansion under graph-dependence
Published
• View Publication
• BIB
Let integer $n \ge 3$ and integer $r = r(n) \ge 3$. Define the binomial random $r$-uniform hypergraph $H_r(n, p)$ to be the $r$-uniform graph on the vertex set $[n]$ such that each $r$-set is an edge independently with probability $p$. A hypergraph is linear if every pair of hyperedges intersects in at most one vertex. We study the probability of linearity of random hypergraphs $H_r(n, p)$ via cluster expansion and give more precise asymptotics of the probability in question, improving the asymptotic probability of linearity obtained by McKay and Tian, in particular, when $r=3$ and $p = o(n^{-7/5})$.
Orthogonal inner product graphs of odd characteristic and their automorphisms
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field of odd characteristic and $2ν+δ\geq2$ an integer number with $δ=0,1$ or $2$. The orthogonal inner product graph $Oi\big(2ν+δ,q\big)$ over $\mathbb{F}_q$ is defined and the automorphism groups of $Oi\big(2ν+δ,q\big)$ are determined. We show that $Oi\big(2ν+δ,q\big)$ is a disconnected graph if $2ν+δ=2$; otherwise it is not. Moreover, we have two necessary and sufficient conditions for two vertices of $Oi\big(2ν+δ,q\big)$ and two edges of $Oi\big(2ν+δ,q\big)$ respectively are in the same orbit under the action of the automorphism group of $Oi\big(2ν+δ,q\big).$