Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Bounds on Coloring Trees without Rainbow Paths
For a graph with colored vertices, a rainbow subgraph is one where all vertices have different colors. For graph $G$, let $c_k(G)$ denote the maximum number of different colors in a coloring without a rainbow path on $k$ vertices, and $cp_k(G)$ the maximum number of colors if the coloring is required to be proper. The parameter $c_3$ has been studied by multiple authors. We investigate these parameters for trees and $k \ge 4$. We first calculate them when $G$ is a path, and determine when the optimal coloring is unique. Then for trees $T$ of order $n$, we show that the minimum value of $c_4(T)$ and $cp_4(T)$ is $(n+2)/2$, and the trees with the minimum value of $cp_4(T)$ are the coronas. Further, the minimum value of $c_5(T)$ and $cp_5(T)$ is $(n+3)/2$ , and the trees with the minimum value of either parameter are octopuses.
From Data to Combinatorial Multivector field Through an Optimization-Based Framework
This paper extends and generalizes previous works on constructing combinatorial multivector fields from continuous systems (see [10]) and the construction of combinatorial vector fields from data (see [2]) by introducing an optimization based framework for the construction of combinatorial multivector fields from finite vector field data. We address key challenges in convexity, computational complexity and resolution, providing theoretical guarantees and practical methodologies for generating combinatorial representation of the dynamics of our data.
Block components of generalized quaternion group codes
Codes in the generalized quaternion group algebra $\mathbb{F}_q[Q_{4n}]$ are considered. Restricting to char$\mathbb{F}_q \nmid 4n$ the structure of an arbitrary code $C \subseteq \mathbb{F}_q[Q_{4n}]$ is described via the Wedderburn decomposition. Moreover it is known that in this case every code $C \subseteq \mathbb{F}_q[Q_{4n}]$ has a generating idempotent $λ\in \mathbb{F}_q[Q_{4n}]$. Given the generating idempotent of a code $C$ we determine the different components in its decomposition $C \cong \bigoplus_{j=1}^{r+s}C_j \oplus \bigoplus_{i=1}^{k+t}C'_{i}.$ Afterwards we apply this result to describe the blocks of codes induced by cyclic group codes.
Bounds and Optimal Results for the Total Irregularity Measure
A (molecular) graph in which all vertices have the same degree is known as a regular graph. According to Gutman, Hansen, and Mélot [J. Chem. Inf. Model. 45 (2005) 222-230], it is of interest to measure the irregularity of nonregular molecular graphs both for descriptive purposes and for QSAR/QSPR studies. The graph invariants that can be used to measure the irregularity of graphs are referred to as irregularity measures. One of the well-studied irregularity measures is the ``total irregularity'' measure, which was introduced about a decade ago. Bounds and optimization problems for this measure have already been extensively studied. A considerable number of existing results (concerning this measure) also hold for molecular graphs; particularly, the ones regarding lower bounds and minimum values of the mentioned measure. The primary objective of the present review article is to collect the existing bounds and optimal results concerning the total irregularity measure. Several open problems related to the existing results on the total irregularity measure are also given.
Minimum packing density for sets of four integers
We prove that the set $\{0, 1, 4, 6\}$ achieves the minimum packing density among all sets of integers with cardinality four, with a density of $\frac{1}{7}$.
Diameter Constraints in 2-distance Graphs
Published
• View Publication
• BIB
For any finite, simple graph $G = (V,E)$, its $2$-distance graph $G_2$ is a graph having the same vertex set $V$ where two vertices are adjacent if and only if their distance is $2$ in $G$. Connectivity and diameter properties of these graphs have been well studied. For example, it has been shown that if ${\rm diam}(G) = k \geq 3$ then $\lceil \frac{1}{2} k \rceil \leq {\rm diam}(G_2)$, and that this bound is sharp. In this paper, we prove that ${\rm diam}(G_2) = \infty$ (that is, $G_2$ is disconnected) or otherwise ${\rm diam}(G_2) \leq k + 2$. In addition, we show that this inequality is sharp for any even $k$, a result that we verify for some higher orders through judicious use of a \textsc{sat} solver.
In Search of a Hidden Curve
It has been noticed since around 2007 that certain enumeration problems can be solved when an analytic or algebraic curve is identified. This curve is the key to the problem. In these lectures, a few such examples are presented. One is a detailed account on counting simple Hurwitz numbers, explaining how the problem was solved by discovering this key curve. The formula for the curve allows us to write the generating functions of Hurwitz numbers in terms of polynomials. This unexpected polynomiality produces, as a byproduct, straightforward and short proofs of the Witten-Kontsevich theorem and the $λ_g$-theorem of Faber-Pandharipande. An analogous enumeration problem associated with Catalan numbers is also presented, which has a simpler feature in terms of analysis. The asymptotic behavior of counting leads this time to the Euler characteristic of the moduli spaces of smooth curves. We then discuss another enumeration problem, the Apéry sequences. The quest of identifying the hidden curve for this case remains open.
These curves, also known as spectral curves, are discovered via solving ordinary differential equations. The counting problem of geometric origin associated with the genus 0, one marked point case is encoded in the spectral curve. It is explained that going from the $(g,n)=(0,1)$-case to arbitrary $(g,n)$ is a process of quantization of the spectral curve.
This perspective of quantization is discussed in a geometric setting, when the differential equations are linear with holomorphic coefficients, in terms of Higgs bundles, opers, and Gaiotto's conformal limit construction. In this context, however, there are no counting problems behind the scene.
Cloitre's Self-Generating Sequence
In 2009 Benoit Cloitre introduced a certain self-generating sequence $$(a_n)_{n\geq 1} = 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, \ldots,$$ with the property that the sum of the terms appearing in the $n$'th run equals twice the $n$'th term of the sequence. We give a connection between this sequence and the paperfolding sequence, and then prove Cloitre's conjecture about the density of $1$'s appearing in $(a_n)_{n \geq 1}$.
Density Hajnal--Szemerédi theorem for cliques of size four
The celebrated Corrádi--Hajnal Theorem~\cite{CH63} and the Hajnal--Szemerédi Theorem~\cite{HS70} determined the exact minimum degree thresholds for a graph on $n$ vertices to contain $k$ vertex-disjoint copies of $K_r$, for $r=3$ and general $r \ge 4$, respectively. The edge density version of the Corrádi--Hajnal Theorem was established by Allen--Böttcher--Hladký--Piguet~\cite{ABHP15} for large $n$. Remarkably, they determined the four classes of extremal constructions corresponding to different intervals of $k$. They further proposed the natural problem of establishing a density version of the Hajnal--Szemerédi Theorem: For $r \ge 4$, what is the edge density threshold that guarantees a graph on $n$ vertices contains $k$ vertex-disjoint copies of $K_r$ for $k \le n/r$. They also remarked, ``We are not even sure what the complete family of extremal graphs should be.''
We take the first step toward this problem by determining asymptotically the five classes of extremal constructions for $r=4$. Furthermore, we propose a candidate set comprising $r+1$ classes of extremal constructions for general $r \ge 5$.
The moduli space of HCMU surfaces
HCMU surfaces are compact Riemann surfaces equipped with an extremal Kähler metric and a finite number of singularities. Research on these surfaces was initiated by E. Calabi and X.-X. Chen over thirty years ago. We provide a detailed description of the geometric structure of HCMU surfaces, building on the classical football decomposition introduced by Chen-Chen-Wu. From this perspective, most HCMU surfaces can be uniquely described by a set of data that includes both discrete topological information and continuous geometric parameters. This data representation is effective for studying the moduli space of HCMU surfaces with specified genus and conical angles, suggesting a topological approach to this topic. As a first application, we present a unified proof of the angle constraints on HCMU surfaces. Using the same approach, we establish an existence theorem for HCMU surfaces of any genus with a single conical point, which is also a saddle point. Finally, we determine the dimension of the moduli space, defined as the number of independent continuous parameters. This is achieved by examining several geometric deformations of HCMU surfaces and the various relationships between the quantities in the data set representation.
Group Invariant Quantum Latin Squares
A quantum Latin square is an $n \times n$ array of unit vectors where each row and column forms an orthonormal basis of a fixed complex vector space. We introduce the notion of $(G,G')$-invariant quantum Latin squares for finite groups $G$ and $G'$. These are quantum Latin squares with rows and columns indexed by $G$ and $G'$ respectively such that the inner product of the $a,b$-entry with the $c,d$-entry depends only on $a^{-1}c \in G$ and $b^{-1}d \in G'$. This definition is motivated by the notion of group invariant bijective correlations introduced in [Roberson \& Schmidt (2020)], and every group invariant quantum Latin square produces a group invariant bijective correlation, though the converse does not hold. In this work we investigate these group invariant quantum Latin squares and their corresponding correlations. Our main result is that, up to applying a global isometry to every vector in a $(G,G')$-invariant quantum Latin square, there is a natural bijection between these objects and trace and conjugate transpose preserving isomorphisms between the group algebras of $G$ and $G'$. This in particular proves that a $(G,G')$-invariant quantum Latin square exists if and only if the multisets of degrees of irreducible representations are equal for $G$ and $G'$. Another motivation for this line of work is that whenever Cayley graphs for groups $G$ and $G'$ are quantum isomorphic, then there is a $(G,G')$-invariant quantum correlation witnessing this, and thus it suffices to consider such correlations when searching for quantum isomorphic Cayley graphs. Given a group invariant quantum correlation, we show how to construct all pairs of graphs for which it gives a quantum isomorphism.
A geometric interpretation of the Delta Conjecture
We introduce a variety $Y_{n,k}$, which we call the \textit{affine $Δ$-Springer fiber}, generalizing the affine Springer fiber studied by Hikita, whose Borel-Moore homology has an $S_n$ action and a bigrading that corresponds to the Delta Conjecture symmetric function $\mathrm{rev}_q\,ωΔ'_{e_{k-1}}e_n$ under the Frobenius character map. We similarly provide a geometric interpretation for the Rational Shuffle Theorem in the integer slope case $(km,k)$. The variety $Y_{n,k}$ has a map to the affine Grassmannian whose fibers are the $Δ$-Springer fibers introduced by Levinson, Woo, and the third author. Part of our proof of our geometric realization relies on our previous work on a Schur skewing operator formula relating the Rational Shuffle Theorem to the Delta Conjecture.
Presentations for monoids of endomorphisms of a star graph
In this paper, we consider the monoids of all endomorphisms, of all weak endomorphisms, of all strong endomorphisms and of all strong weak endomorphisms of a star graph with a finite number of vertices. Our main objective is to exhibit a presentation for each of them.
Eigenvalue gaps of the Laplacian of random graphs
We show that, with very high probability, the random graph Laplacian has simple spectrum. Our method provides a quantitatively effective estimate of the spectral gaps. Along the way, we establish results on affine no-gaps delocalization, no-structure delocalization, overcrowding and small entries of the eigenvectors for the Laplacian model. These findings are of independent interest.
Further results for classical and universal characters twisted by roots of unity
We revisit factorizations of classical characters under various specializations, some old and some new. We first show that all characters of classical families of groups twisted by odd powers of an even primitive root of unity factorize into products of characters of smaller groups. Motivated by conjectures of Wagh and Prasad (Manuscr. Math. 2020), we then observe that certain specializations of Schur polynomials factor into products of two characters of other groups. We next show, via a detour through hook Schur polynomials, that certain Schur polynomials indexed by staircase shapes factorize into linear pieces. Lastly, we consider classical and universal characters specialized at roots of unity. One of our results, in parallel with Schur polynomials, is that universal characters take values only in $\{0, \pm 1, \pm 2\}$ at roots of unity.
Bijections around Springer numbers
Arnol'd proved in 1992 that Springer numbers enumerate the Snakes, which are type $B$ analogs of alternating permutations. Chen, Fan and Jia in 2011 introduced the labeled ballot paths and established a ``hard'' bijection with snakes. Callan conjectured in 2012 and Han--Kitaev--Zhang proved recently that rc-invariant alternating permutations are counted by Springer numbers. Very recently, Chen--Fang--Kitaev--Zhang investigated multi-dimensional permutations and proved that weakly increasing $3$-dimensional permutations are also counted by Springer numbers. In this work, we construct a sequence of ``natural'' bijections linking the above four combinatorial objects.
Joint equidistributions of mesh patterns 123 and 321 with symmetric and minus-antipodal shadings
In this paper, we extend recent results by Lv and Kitaev by proving 20 (out of 22 possible) joint equidistributions of mesh patterns 123 and 321 with symmetric shadings, as well as all 36 joint equidistributions of these patterns with minus-antipodal shadings. Our results link several joint equidistributions of mesh patterns to various integer sequences, including unsigned Stirling numbers of the first kind, harmonic numbers, and the numbers of inversion sequences avoiding a certain vincular pattern studied by Lin and Yan.
Solution to a $3$-path isolation problem for subcubic graphs
The $3$-path isolation number of a connected $n$-vertex graph $G$, denoted by $ι(G,P_3)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects each $3$-vertex path of $G$, meaning that no two edges of $G-N[D]$ intersect. If $G$ is not a $3$-path or a $3$-cycle or a $6$-cycle, then $ι(G,P_3) \leq 2n/7$. This was proved by Zhang and Wu, and independently by Borg in a slightly extended form. The bound is attained by infinitely many graphs having induced $6$-cycles. Huang, Zhang and Jin showed that if $G$ has no $6$-cycles, or $G$ has no induced $5$-cycles and no induced $6$-cycles, then $ι(G,P_3) \leq n/4$ unless $G$ is a $3$-path or a $3$-cycle or a $7$-cycle or an $11$-cycle. They asked if the bound still holds asymptotically for connected graphs having no induced $6$-cycles. Thus, the problem essentially is whether induced $6$-cycles solely account for the difference between the two bounds. In this paper, we solve this problem for subcubic graphs, which need to be treated differently from other graphs. We show that if $G$ is subcubic and has no induced $6$-cycles, then $ι(G,P_3) \leq n/4$ unless $G$ is a copy of one of $12$ particular graphs whose orders are $3$, $7$, $11$ and $15$. The bound is sharp.
Edit distance in substitution systems
Let $σ$ be a primitive substitution on an alphabet $\mathcal{A}$, and let $\mathcal{W}_n$ be the set of words of length $n$ determined by $σ$ (i.e., $w \in \mathcal{W}_n$ if $w$ is a subword of $σ^k(a)$ for some $a \in \mathcal{A}$ and $k \geq 1$). It is known that the corresponding substitution dynamical system is loosely Kronecker (also known as zero-entropy loosely Bernoulli), so the diameter of $\mathcal{W}_n$ in the edit distance is $o(n)$. We improve this upper bound to $O(n/\sqrt{\log n})$. The main challenge is handling the case where $σ$ is non-uniform; a better bound is available for the uniform case. Finally, we show that for the Thue--Morse substitution, the diameter of $\mathcal{W}_n$ is at least $\sqrt {n/6} - 1$.
Tight universal bounds on the height times the width of random trees
We obtain assumption-free, non-asymptotic, uniform bounds on the product of the height and the width of uniformly random trees with a given degree sequence, conditioned Bienaymé trees and simply generated trees. We show that for a tree of size $n$, this product is $O(n \log n)$ in probability, answering a question by Addario-Berry (2019). The order of this bound is tight in this generality.