Showing 20 papers (Total: 81564 papers, 47262 authors in database)
The minimum size of 2-connected chordal bipartite graphs
A bipartite graph is chordal bipartite if every cycle of length at least six contains a chord. We determine the minimum size in 2-connected chordal bipartite graphs with given order.
The multiplicity of eigenvalues of nonnegative weakly irreducible tensors and uniform hypergraphs
Hu and Ye conjectured that for a $k$-th order and $n$-dimensional tensor $\mathcal{A}$ with an eigenvalue $λ$ and the corresponding eigenvariety $\mathcal{V}_λ(\mathcal{A})$, $$\mathrm{am}(λ) \ge \sum_{i=1}^κ\mathrm{dim}(V_i)(k-1)^{\mathrm{dim}(V_i)-1},$$ where $\mathrm{am}(λ)$ is the algebraic multiplicity of $λ$, and $V_1,\ldots,V_κ$ are all irreducible components of $\mathcal{V}_λ(\mathcal{A})$. In this paper, we prove that if $\mathcal{A}$ is a nonnegative weakly irreducible tensor with spectral radius $ρ$, then $\mathrm{am}(λ) \ge |\mathbb{V}_λ(\mathcal{A})|$ for all eigenvalues $λ$ of $\mathcal{A}$ with modulus $ρ$, where $\mathbb{V}_λ(\mathcal{A})$ is the projective eigenvariety of $\mathcal{A}$ associated with $λ$. Consequently we confirm Hu-Ye's conjecture for the above eigenvalues $λ$ of $\mathcal{A}$ and also the least H-eigenvalue of a weakly irreducible $Z$-tensor. We prove several equality cases in Hu-Ye's conjecture for the eigenvalues of the adjacency tensor or Laplacian tensor of uniform hypergraphs.
Andrásfai--Erdős--Sós theorem for the generalized triangle
The celebrated Andrásfai--Erdős--Sós Theorem from 1974 shows that every $n$-vertex triangle-free graph with minimum degree greater than $2n/5$ must be bipartite. Its extensions to $3$-uniform hypergraphs without the generalized triangle $F_5 = \{abc, abd, cde\}$ have been explored in several previous works such as~\cite{LMR23unif,HLZ24}, demonstrating the existence of $\varepsilon > 0$ such that for large $n$, every $n$-vertex $F_5$-free $3$-graph with minimum degree greater than $(1/9-\varepsilon) n^2$ must be $3$-partite.
We determine the optimal value for $\varepsilon$ by showing that for $n \ge 5000$, every $n$-vertex $F_5$-free $3$-graph with minimum degree greater than $4n^2/45$ must be $3$-partite, thus establishing the first tight Andrásfai--Erdős--Sós type theorem for hypergraphs. As a corollary, for all positive $n$, every $n$-vertex cancellative $3$-graph with minimum degree greater than $4n^2/45$ must be $3$-partite. This result is also optimal and considerably strengthens prior work, such as that by Bollobás~\cite{Bol74} and Keevash--Mubayi~\cite{KM04Cancel}.
Simulating NMR Spectra with a Quantum Computer
The procedure for simulating the nuclear magnetic resonance spectrum linked to the spin system of a molecule for a certain nucleus entails diagonalizing the associated Hamiltonian matrix. As the dimensions of said matrix grow exponentially with respect to the spin system's atom count, the calculation of the eigenvalues and eigenvectors marks the performance of the overall process. The aim of this paper is to provide a formalization of the complete procedure of the simulation of a spin system's NMR spectrum while also explaining how to diagonalize the Hamiltonian matrix with a quantum computer, thus enhancing the overall process's performance. Two well-known quantum algorithms for calculating the eigenvalues of a matrix are analyzed and put to the test in this context: quantum phase estimation and the variational quantum eigensolver. Additionally, we present simulated results for the later approach while also addressing the hypothetical noise found in a physical quantum computer.
On the longest increasing subsequence and number of cycles of butterfly permutations
One method to generate random permutations involves using Gaussian elimination with partial pivoting (GEPP) on a random matrix $A$ and storing the permutation matrix factor $P$ from the resulting GEPP factorization $PA=LU$. We are interested in exploring properties of random butterfly permutations, which are generated using GEPP on specific random butterfly matrices. Our paper highlights new connections among random matrix theory, numerical linear algebra, group actions of rooted trees, and random permutations. We address the questions of the longest increasing subsequence (LIS) and number of cycles for particular uniform butterfly permutations, with full distributional descriptions and limit theorems for simple butterfly permutations. We also establish scaling limit results and limit theorems for nonsimple butterfly permutations, which include certain $p$-Sylow subgroups of the symmetric group of $N=p^n$ elements for prime $p$. For the LIS, we establish power law bounds on the expected LIS of the form $N^{α_p}$ and $N^{β_p}$ where $\frac12 < α_p < β_p < 1$ for each $p$ with $α_p = 1 - o_p(1)$, showing distinction from the typical $O(N^{1/2})$ expected LIS frequently encountered in the study of random permutations (e.g., uniform permutations). For the number of cycles scaled by $(2-1/p)^n$, we establish a full CLT to a new limiting distribution depending on $p$ with positive support we introduce that is uniquely determined by its positive moments that satisfy explicit recursive formulas; this thus determines a CLT for the number of cycles for any uniform $p$-Sylow subgroup of $S_{p^n}$.
MDS Stabilizer Poset Codes
Published
• View Publication
• BIB
Poset metrics in the context of stabilizer codes are investigated. MDS stabilizer poset codes are defined. Various characterizations of these quantum codes are found. Methods for producing examples are proposed.
Ricci curvature, diameter and eigenvalues of amply regular graphs
Published
• View Publication
• BIB
Amply regular graphs are graphs with local distance-regularity constraints. In this paper, we prove a weaker version of a conjecture proposed by Qiao, Park, and Koolen on diameter bounds of amply regular graphs and make new progress on Terwilliger's conjecture on finiteness of amply regular graphs. Terwilliger's conjecture can be considered as a natural extension of the Bannai-Ito conjecture about distance-regular graphs confirmed by Bang, Dubickas, Koolen, and Moulton. As a consequence, we show that there are only finitely many amply regular graphs with parameters $(n,d,α,β)$ satisfying $α\leq 6β-9$. We achieve these results by a significantly improved Lin--Lu--Yau curvature estimate and new Bakry--Émery curvature estimates. We further discuss applications of our curvature estimates to bounding eigenvalues, isoperimetric constants, and expansion properties. In addition, we obtain a volume estimate, which is sharp for hypercubes.
The existence of biregular spanning subgraphs in bipartite graphs via spectral radius
Biregular bipartite graphs have been proven to have similar edge distributions to random bipartite graphs and thus have nice pseudorandomness and expansion properties. Thus it is quite desirable to find a biregular bipartite spanning subgraph in a given bipartite graph. In fact, a theorem of Ore implies a structural characterization of such subgraphs in bipartite graphs. In this paper, we demonstrate the existence of biregular bipartite spanning subgraphs in bipartite graphs by employing spectral radius. We also study the existence of spanning trees with restricted degrees and edge-disjoint spanning trees in bipartite graphs via spectral radius.
Investigations into the Chen-Raspaud Conjecture for k = 3
This document collects several approaches attempted in proving the Chen-Raspaud Conjecture for k = 3. Each approach is detailed with full proofs and explanations of why it failed. This compilation aims to provide insights and a foundation for future research on this conjecture.
On Spheres with $k$ Points Inside
We generalize the classic definition of Delaunay triangulation and prove that for a locally finite and coarsely dense generic point set, $A \subseteq \mathbb{R}^d$, the $d$-simplices whose vertices belong to $A$ and whose circumscribed spheres enclose exactly $k$ points of $A$ cover $\mathbb{R}^d$ exactly $\binom{d+k}{d}$ times. Similarly, the subset of such simplices incident to a point in $A$ cover any small enough neighborhood of that point exactly $\binom{d+k-1}{d-1}$ times. We extend this result to the cases in which the points are weighted and when $A$ contains only finitely many points in $\mathbb{R}^d$ or in $\mathbb{S}^d$. Using these results, we give new proofs of classic results on $k$-facets, old and new combinatorial results for hyperplane arrangements, and a new proof for the fact that the volumes of hypersimplices are Eulerian numbers.
Three observations on the Colin de Verdière spectral graph parameter
In this small note, we collect several observations pertaining to the famous spectral graph parameter $μ$ introduced in 1990 by Y. Colin de Verdière. This parameter is defined as the maximum corank among certain matrices akin to weighted Laplacians; we call them CdV matrices.
First, we answer negatively a question mentioned in passing in the influential 1996 survey on $μ$ by van der Holst, Lovász, and Schrijver concerning the Perron--Frobenious eigenvector of CdV matrices.
Second, by definition, CdV matrices posses certain transversality property. In some cases, this property is known to be satisfied automatically. We add one such case to the list.
Third, Y. Colin de Verdière conjectured an upper bound on $μ(G)$ for graphs embeddable into a fixed closed surface. Following a recent computer-verified counterexample to a continuous version of the conjecture by Fortier Bourque, Gruda-Mediavilla, Petri, and Pineault [arXiv:2312.03504], we also check using computer that the analogous example shows the failure of the conjectured upper bound on $μ(G)$ for graphs embeddable into 10-torus as well as to several other larger surfaces.
Pancyclicity of almost-planar graphs
A non-planar graph is almost-planar if either deleting or contracting any edge makes it planar. A graph with $n$ vertices is pancyclic if it contains a cycle of every length from $3$ to $n$, and it is Hamiltonian if it contains a cycle of length $n$. A Hamiltonian path is a path of length $n$ and a graph with a Hamiltonian path between every pair of vertices is called Hamiltonian-connected. In 1990, Gubser characterized the class of almost-planar graphs. This paper explores the pancyclicity of these graphs. We prove that a $3$-connected almost-planar graph is pancyclic if and only if it has a cycle of length 3. Furthermore, we prove that a 4-connected almost-planar graph is both pancyclic and Hamiltonian-connected.
Cryptarithmically unique terms in integer sequences
A cryptarithm (or alphametic) is a mathematical puzzle in which numbers are represented with words in such a way that identical letters stand for equal digits and distinct letters for unequal digits. An alphametic puzzle is usually given in the form of an equation that needs to be solved, such as SEND + MORE = MONEY. Alternatively, here we will consider cryptarithms constrained not by an equation but by a particular subsequence of natural numbers, for example perfect squares or primes. Such a cryptarithm has a unique solution if there is exactly one term in the sequence that has the corresponding pattern of digits. We will call such terms cryptarithmically unique. Here we estimate the density of such terms in an arbitrary sequence for which the overall density of terms among integers is known. In particular, among all perfect squares below 10^12, slightly less than one half are cryptarithmically unique, their density increasing toward larger numbers. Cryptarithmically unique prime numbers, however, are initially very scarce. Combinatorial estimates suggest that their density should drop below 10^-300 for decimal lengths of approximately 1829 digits, but then it recovers and is asymptotic to unity for very large primes. Finally, we introduce and discuss primonumerophobic digit patterns that no prime number happens to have.
Lines on digraphs of low diameter
Published
• View Publication
• BIB
A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chvtal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, it was conjectured in 2018 by Aboulker et al. that any large enough bridgeless graph on n vertices defines a metric space that has at least n lines. We study the natural extension of Aboulker et al.'s conjecture into the context of quasi-metric spaces defined by digraphs of low diameter. We prove that it is valid for quasi-metric spaces defined by bipartite digraphs of diameter at most three, oriented graphs of diameter two and, digraphs of diameter three and directed girth four.
The length polyhedron of an interval order
The length polyhedron $Q_P$ of an interval order $P$ is the convex hull of integral vectors representing the interval lengths in interval representations of $P$. This polyhedron has been studied by various authors, including Fishburn and Isaak. Notably, $Q_P$ forms a pointed affine cone, a property inherited from being a projection of the representation polyhedron, a structure explored also by Doignon and Pauwels. The apex of the length polyhedron corresponds to Greenough's minimal endpoint representation, which is, in fact, the length vector of the canonical interval representation -- an interval representation that minimizes the sum of the interval lengths.
Building on a combinatorial perspective of canonical representations, we refine Isaak's graph-theoretical model by introducing a new and simpler directed graph. From directed cycles of this key digraph, we extract a linear system of inequalities that precisely characterizes the length polyhedron $Q_P$. This combinatorial approach also reveals the unique Hilbert basis of the polyhedron. We prove that the intersection graph of the sets corresponding to these binary rays are Berge graphs; therefore they are perfect graphs. As a result, for interval orders with bounded width, the length polyhedron has a polynomial-sized Hilbert basis, which can be computed in polynomial time. We also provide an example of interval orders with a Hilbert basis of exponential size. In a companion paper we determine the Schrijver system for the length polyhedron. We conclude with open problems.
On the stability of solutions to random optimization problems under small perturbations
Consider the Euclidean traveling salesman problem with $n$ random points on the plane. Suppose that one of the points is shifted to a new random location. This gives us a new optimal path. Consider such shifts for each of the $n$ points. Do we get $n$ very different optimal paths? In this article, we show that this is not the case - in fact, the number of truly different paths can be at most $\mathcal{O}(1)$ as $n\to \infty$. The proof is based on a general argument which allows us to prove similar stability results in a number of other settings, such as branching random walk, the Sherrington-Kirkpatrick model of mean-field spin glasses, the Edwards-Anderson model of short-range spin glasses, and the Wigner ensemble of random matrices.
Structure of Terwilliger algebras of quasi-thin association schemes
Published
• View Publication
• BIB
We show that the Terwilliger algebra of a quasi-thin association scheme over a field is always a quasi-hereditary cellular algebra in the sense of Cline-Parshall-Scott and of Graham-Lehrer, repsectively, and that the basic algebra of the Terwilliger algebra is the dual extension of a star with all arrows pointing to its center if the field has characteristic $2$. Thus many homological and representation-theoretic properties of these Terwilliger algebras can be determined completely. For example, the Nakayama conjecture holds for Terwilliger algebras of quasi-thin association schemes.
Product Structure and Tree-Decompositions
This paper explores the structure of graphs defined by an excluded minor or an excluded odd minor through the lens of graph products and tree-decompositions. We prove that every graph excluding a fixed odd minor is contained in the strong product of two graphs each with bounded treewidth. For graphs excluding a fixed minor, we strengthen the result by showing that every such graph is contained in the strong product of two digraphs with bounded indegree and with bounded treewidth. This result has the advantage that the product now has bounded degeneracy.
In the setting of 3-term products, we show that every $K_t$-minor-free graph is contained in $H_1\boxtimes H_2 \boxtimes K_{c(t)}$ where $\text{tw}(H_i)\leq t-2$. This treewidth bound is close to tight: in any such result with $\text{tw}(H_i)$ bounded, both $H_1$ and $H_2$ can be forced to contain any graph of treewidth $t-5$, implying $\text{tw}(H_1)\geq t-5$ and $\text{tw}(H_2)\geq t-5$. Analogous lower and upper bounds are shown for any excluded minor, where the minimum possible bound on $\text{tw}(H_i)$ is tied to the treedepth of the excluded minor.
Subgraphs of the product of two graphs with bounded treewidth have two tree-decompositions where any bag from the first decomposition intersects any bag from the second decomposition in a bounded number, $k$, of vertices, so called $k$-orthogonal tree-decompositions. We show that graphs excluding a fixed odd-minor have a tree-decomposition and a path-decomposition that are $O(1)$-orthogonal. This implies that such graphs have a tree-decomposition in which each bag has bounded pathwidth. This result is best possible in that `pathwidth' cannot be replaced by `bandwidth' or `treedepth'. Moreover, we characterize the minor-closed classes that have a tree-decomposition in which each bag has bounded bandwidth, or each bag has bounded treedepth.
Centralizers in the plactic monoid
Published
• View Publication
• BIB
Let u be a word over the positive integers. Motivated in part by a question from representation theory, we study the centralizer set of u which is C(u) = {w | uw is Knuth-equivalent to wu}. In particular, we give various necessary conditions for w to be in C(u). We also characterize C(u) when u has few letters, when it has a single repeated entry, or when it is a certain type of decreasing sequence. We consider c_{n,m}(u), the number of w in C(u) of length n with max w at most m. We prove that for |u| = 1 the value of this function depends only on the relative sizes of u and m and not on their actual values. And for various u we use Stanley's theory of poset partitions to show that, for fixed n, c_{n,m}(u) is a polynomial in m with certain degree and leading coefficient. We end with various conjectures and directions for further research.
Upper bound for the number of maximal dissociation sets in trees
Published
• View Publication
• BIB
Let $G$ be a simple graph. A dissociation set of $G$ is defined as a set of vertices that induces a subgraph in which every vertex has a degree of at most 1. A dissociation set is maximal if it is not contained as a proper subset in any other dissociation set. We introduce the notation $Φ(G)$ to represent the number of maximal dissociation sets in $G$. This study focuses on trees, specifically showing that for any tree $T$ of order $n\geq4$, the following inequality holds:
\[Φ(T)\leq 3^{\frac{n-1}{3}}+\frac{n-1}{3}.\]
We also identify the extremal tree that attains this upper bound. Additionally, to establish the upper bound on the number of maximal dissociation sets in trees of order $n$, we also determine the second largest number of maximal dissociation sets in forests of order $n$.