Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Eigenvalues, edge-disjoint perfect matchings and toughness of regular graphs
Published
• View Publication
• BIB
Let $G$ be a connected $d$-regular graph of order $n$, where $d\geq3$. Let $λ_{2}(G)$ be the second largest eigenvalue of $G$. For even $n$, we show that $G$ contains $\left\lfloor\frac{2}{3}(d-λ_{2}(G))\right\rfloor$ edge-disjoint perfect matchings. This improves a result stated by Cioabă, Gregory and Haemers \cite{CGH}. Let $t(G)$ be the toughness of $G$. When $G$ is non-bipartite, we give a sharp upper bound of $λ_{2}(G)$ to guarantee that $t(G)>1$. This enriches the previous results on this direction.
Triangulated spheres with holes in triangulated surfaces
Published
• View Publication
• BIB
Let $\mathbb{S}_h$ denote a sphere with $h$ holes. Given a triangulation $G$ of a surface $\mathbb{M}$, we consider the question of when $G$ contains a spanning subgraph $H$ such that $H$ is a triangulated $\mathbb{S}_h$. We give a new short proof of a theorem of Nevo and Tarabykin that every triangulation $G$ of the torus contains a spanning subgraph which is a triangulated cylinder. For arbitrary surfaces, we prove that every high facewidth triangulation of a surface with $h$ handles contains a spanning subgraph which is a triangulated $\mathbb{S}_{2h}$. We also prove that for every $0 \leq g' < g$ and $w \in \mathbb{N}$, there exists a triangulation of facewidth at least $w$ of a surface of Euler genus $g$ that does not have a spanning subgraph which is a triangulated $\mathbb{S}_{g'}$. Our results are motivated by, and have applications for, rigidity questions in the plane.
Unavoidable immersions of 4- and $f(t)$-edge-connected graphs
In this paper we prove that every sufficiently large 4-edge-connected graph contains the double cycle, $C_{2,r}$, as an immersion. In proving this, we develop a new tool we call a ring-decomposition. We also prove that linear edge-connectivity implies the presence of a $C_{t,r}$ immersion in a sufficiently large graph, where $C_{t,r}$ denotes the graph obtained from a cycle on $r$ vertices by adding $(t-1)$ edges in parallel to each existing edge; this result is an edge-analogue of a result of Böhme, Kawarabayashi, Maharry, and Mojar. We then use the latter result to provide an unavoidable minor theorem for highly connected line graphs.
Brushing Directed Graphs
Brushing of graphs is a graph searching process in which the searching agents are called brushes. We focus on brushing directed graphs based on a new model in which the brushes can only travel in the same direction as the orientation of the arcs that they traverse. We discuss strategies to brush directed graphs as well as values and bounds for the brushing number of directed graphs. We determine the brushing number for any transitive tournament, which we use to give an upper bound for the brushing number of directed acyclic graphs in general. We also establish exact values for the brushing numbers of complete directed graphs, rooted trees, and rotational tournaments.
Partition density, star arboricity, and sums of Laplacian eigenvalues of graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph on $n$ vertices, and let $λ_1(L(G))\ge \cdots\ge λ_{n-1}(L(G))\ge λ_n(L(G))=0$ be the eigenvalues of its Laplacian matrix $L(G)$. Brouwer conjectured that for every $1\le k\le n$, $\sum_{i=1}^k λ_i(L(G)) \le |E|+\binom{k+1}{2}$. Here, we prove the following weak version of Brouwer's conjecture: For every $1\leq k \leq n$, \[
\sum_{i=1}^k λ_i(L(G)) \leq
|E|+k^2+15k\log{k}+65k. \] For a graph $G=(V,E)$, we define its partition density $\tildeρ(G)$ as the maximum, over all subgraphs $H$ of $G$, of the ratio between the number of edges of $H$ and the number of vertices in the largest connected component of $H$. Our argument relies on the study of the structure of the graphs $G$ satisfying $\tildeρ(G)< k$. In particular, using a result of Alon, McDiarmid and Reed, we show that every such graph can be decomposed into at most $k+ 15\log{k}+65$ edge-disjoint star forests (that is, forests whose connected components are all isomorphic to stars).
In addition, we show that for every graph $G=(V,E)$ and every $1\le k\le |V|$, \[
\sum_{i=1}^k λ_i(L(G)) \leq
|E|+k\cdot ν(G) + \left\lfloor\frac{k}{2}\right\rfloor, \] where $ν(G)$ is the maximum size of a matching in $G$.
Forbidden induced subgraphs in iterative higher order line graphs
Published
• View Publication
• BIB
Let $G$ be a simple finite connected graph. The line graph $L(G)$ of graph $G$ is the graph whose vertices are the edges of $G$, where $ef \in E(L(G))$ when $e \cap f \neq \emptyset$. Iteratively, the higher order line graphs are defined inductively as $L^1(G) = L(G)$ and $L^n(G) = L(L^{n-1}(G))$ for $n \geq 2$. In [Derived graphs and digraphs, Beitrage zur Graphentheorie (Teubner, Leipzig 1968), 17--33 (1968)], Beineke characterize line graphs in terms of nine forbidden subgraphs. Inspired by this result, in this paper, we characterize second order line graphs in terms of pure forbidden induced subgraphs. We also give a sufficient list of forbidden subgraphs for a graph $G$ such that $G$ is a higher order line graph. We characterize all order line graphs of graph $G$ with $Δ(G) = 3$ and $4$.
A New Symmetric Function Identity With an Application to symmetric group character values
Symmetric functions show up in several areas of mathematics including enumerative combinatorics and representation theory. Tewodros Amdeberhan conjectures equalities of $Σ_n$ characters sums over a new set called $Ev(λ)$. When investigating the alternating sum of characters for $Ev(λ)$ written in terms of the inner product of Schur functions and power sum symmetric functions, we found an equality between the alternating sum of power sum symmetric polynomials and a product of monomial symmetric polynomials. As a consequence, a special case of an alternating sum of $Σ_n$ characters over the set $Ev(λ)$ equals $0$.
Second largest maximal cliques in small Paley graphs of square order
There is a conjecture that the second largest maximal cliques in Paley graphs of square order $P(q^2)$ have size $\frac{q+ε}{2}$, where $q \equiv ε\pmod 4$, and split into two orbits under the full group of automorphisms whenever $q \ge 25$ (a symmetric description for these two orbits is known). However, some extra second largest maximal cliques (of this size) exist in $P(q^2)$ whenever $q \in \{9,11,13,17,19,23\}$. In this paper we analyse the algebraic and geometric structure of the extra cliques.
Signed magic arrays: existence and constructions
Published
• View Publication
• BIB
Let $m,n,s,k$ be four integers such that $1\leqslant s \leqslant n$, $1\leqslant k\leqslant m$ and $ms=nk$. A signed magic array $SMA(m,n; s,k)$ is an $m\times n$ partially filled array whose entries belong to the subset $Ω\subset \mathbb{Z}$, where $Ω=\{0,\pm 1, \pm 2,\ldots, \pm (nk-1)/2\}$ if $nk$ is odd and $Ω=\{\pm 1, \pm 2, \ldots, \pm nk/2\}$ if $nk$ is even, satisfying the following requirements: $(a)$ every $ω\in Ω$ appears once in the array; $(b)$ each row contains exactly $s$ filled cells and each column contains exactly $k$ filled cells; $(c)$ the sum of the elements in each row and in each column is $0$. In this paper we construct these arrays when $n$ is even and $s,k\geqslant 5$ are odd coprime integers. This allows us to give necessary and sufficient conditions for the existence of an $SMA(m,n; s,k)$ for all admissible values of $m,n,s,k$.
Ovoids in the cyclic presentation of PG(3,q)
Published
• View Publication
• BIB
We consider the cyclic presentation of $PG(3,q)$ whose points are in the finite field $\mathbb{F}_{q^4}$ and describe the known ovoids therein. We revisit the set $\mathcal{O}$, consisting of $(q^2+1)$-th roots of unity in $\mathbb{F}_{q^4}$, and prove that it forms an elliptic quadric within the cyclic presentation of $PG(3,q)$. Additionally, following the work of Glauberman on Suzuki groups, we offer a new description of Suzuki-Tits ovoids in the cyclic presentation of $PG(3,q)$, characterizing them as the zeroes of a polynomial over $\mathbb{F}_{q^4}$.
Primes of the form $p^2 + nq^2$
Suppose that $n$ is $0$ or $4$ modulo $6$. We show that there are infinitely many primes of the form $p^2 + nq^2$ with both $p$ and $q$ prime, and obtain an asymptotic for their number. In particular, when $n = 4$ we verify the `Gaussian primes conjecture' of Friedlander and Iwaniec.
We study the problem using the method of Type I/II sums in the number field $\mathbf{Q}(\sqrt{-n})$. The main innovation is in the treatment of the Type II sums, where we make heavy use of two recent developments in the theory of Gowers norms in additive combinatorics: quantitative versions of so-called concatenation theorems, due to Kuca and to Kuca--Kravitz-Leng, and the quasipolynomial inverse theorem of Leng, Sah and the second author.
Hypergeometric Functions of Random Matrices and Quasimodular Forms
Hypergeometric functions of complex matrices were introduced by James in multivariate statistics. These special functions play many roles in random matrix theory. The main goal of this paper is to suggest a new use for them as holomorphic observables of the Circular Unitary Ensemble. We analyze the high-dimensional behavior of the expected derivatives of these random analytic functions, and show that they admit asymptotic expansions which can be described in terms of quasimodular forms, giving an apparently new connection between the CUE and number theory.
Geometric Combinatorics of Polynomials II: Polynomials and Cell Structures
Published
• View Publication
• BIB
This article introduces a finite piecewise Euclidean cell complex homeomorphic to the space of monic centered complex polynomials of degree $d$ whose critical values lie in a fixed closed rectangular region. We call this the branched rectangle complex since its points are indexed by marked $d$-sheeted planar branched covers of the fixed rectangle. The vertices of the cell structure are indexed by the combinatorial "basketballs" studied by Martin, Savitt and Singer. Structurally, the branched rectangle complex is a full subcomplex of a direct product of two copies of the order complex of the noncrossing partition lattice. Topologically, it is homeomorphic to the closed $2n$-dimensional ball where $n=d-1$. Metrically, the simplices in each factor are orthoschemes. It can also be viewed as a compactification of the space of all monic centered complex polynomials of degree $d$.
We also introduce a finite piecewise Euclidean cell complex homeomorphic to the space of monic centered complex polynomials of degree $d$ whose critical values lie in a fixed closed annular region. We call this the branched annulus complex since its points are indexed by marked $d$-sheeted planar branched covers of the fixed annulus.It can be constructed from the branched rectangle complex as a cellular quotient by isometric face identifications. And it can be viewed as a compactification of the space of all monic centered complex polynomials of degree $d$ with distinct roots.
Finally, the branched annulus complex deformation retracts to the branched circle complex, which we identify with the dual braid complex. Our explicit embedding of the dual braid complex as a spine for the space of polynomials with distinct roots provides a direct proof that these two classifying spaces for the braid group are homotopy equivalent.
Triply Graded Link Homology for Coxeter Braids on 4 Strands
We compute the triply graded Khovanov-Rozansky homology for Coxeter braids on 4 strands.
Factorization of rational six vertex model partition functions
Published in Nuclear Physics B, 1009 (2024), 116743
• View Publication
• BIB
We show factorization formulas for a class of partition functions of rational six vertex model. First we show factorization formulas for partition functions under triangular boundary. Further, by combining the factorization formulas with the explicit forms of the generalized domain wall boundary partition functions by Belliard-Pimenta-Slavnov, we derive factorization formulas for partition functions under trapezoid boundary which can be viewed as a generalization of triangular boundary. We also discuss an application to emptiness formation probabilities under trapezoid boundary which admit determinant representations.
Horadam cubes
Published
• View Publication
• BIB
We define and investigate a new three-parameter family of graphs that further generalizes the Fibonacci and metallic cubes. Namely, the number of vertices in this family of graphs satisfies Horadam recurrence, a linear recurrence of second order with constant coefficients. It is shown that the new family preserves many appealing and useful properties of the Fibonacci and metallic cubes. In particular, we present recursive decomposition and decomposition into grids. Furthermore, we explore metric and enumerative properties such as the number of edges, distribution of degrees, and cube polynomials. We also investigate the existence of Hamiltonian paths and cycles.
Construction and Conditions for Completely Independent Spanning Trees in Hypercubes and Regular Bipartite Graphs
A set of \( k \) spanning trees in a graph \( G \) is called a set of \textit{completely independent spanning trees (CISTs)} if, for every pair of vertices \( x \) and \( y \), the paths connecting \( x \) and \( y \) across different trees do not share any vertices or edges, except for \( x \) and \( y \) themselves. Hasunuma conjectured that every \(2k\)-connected graph contains exactly \(k\) completely independent spanning trees (CISTs). However, Pétérfalvi disproved this conjecture.
When \( k = 2 \), the two CISTs are called a \textit{dual-CIST}. It has been shown that determining whether a graph can have \( k \) CISTs is an NP-complete problem, even when \( k = 2 \). In $2017$, Darties et al. raised the question of whether the $6-$dimensional hypercube \( Q_6 \) can have three completely independent spanning trees (CISTs). This paper provides an answer to that question.
In this paper, we first present a necessary condition for \( k \)-regular, \( k \)-connected bipartite graphs to have \( \left\lfloor \frac{k}{2} \right\rfloor \) CISTs. We also investigate that the hypercube of dimension \( n \) cannot have \( \frac{n}{2} \) CISTs, which means Hasunuma's conjecture does not hold for the hypercube \( Q_n \) when \( n \) is an even integer \(2 < n \leq 10^7 \), except when \(n = 2^r\) and \( n \in \{161038, 215326, 2568226, 3020626, 7866046, 9115426 \} \). This result also resolves a question posed by Darties et al.
The construction of multiple CISTs on the underlying graph of a network has practical applications in ensuring the fault tolerance of data transmission. In this context, we also provide a construction for three completely independent spanning trees in the hypercube \(Q_n\) for \(n \geq 7\). Our results show that Hasunuma's conjecture holds for odd integer \(n = 7\) in \(Q_n\), but does not hold for even integer \(n = 6\).
Cohomology Rings of Toric Wonderful Model
We describe the cohomology ring of toric wonderful models for arbitrary building set, including the case of non well-connected ones. Our techniques are based on blowups of posets, on Gröbner basis over rings and admissible functions.
Proudfoot-Speyer degenerations of scattering equations
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 143-165
• View Publication
• BIB
We study scattering equations of hyperplane arrangements from the perspective of combinatorial commutative algebra and numerical algebraic geometry. We formulate the problem as linear equations on a reciprocal linear space and develop a degeneration-based homotopy algorithm for solving them. We investigate the Hilbert regularity of the corresponding homogeneous ideal and apply our methods to CHY scattering equations.
Lower Bounds for Book Ramsey Numbers
Published
• View Publication
• BIB
We prove new bounds for Ramsey numbers for book graphs $B_n$. In particular, we show that $R(B_{n-1},B_n) = 4n-1$ for an infinite family of $n$ using a block-circulant construction similar to Paley graphs. We obtain improved bounds for several other values of $R(B_r,B_s)$ using different block-circulant graphs from SAT and integer programming (IP) solvers. Finally, we enumerate the number of critical graphs for $R(B_r,B_s)$ for small $r$ and $s$ using SAT modulo symmetries (SMS).