arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84460 papers, 48641 authors in database)
2020-11-22 v2
Extremal numbers of cycles revisited
Published • View Publication • BIB
We give a simple geometric interpretation of an algebraic construction of Wenger that yields $n$-vertex graphs with no cycle of length $4$, $6$ or $10$ and close to the maximum number of edges.
2020-11-22
Conical SL(3) foams
Published • View Publication • BIB
In the unoriented SL(3) foam theory, singular vertices are generic singularities of two-dimensional complexes. Singular vertices have neighbourhoods homeomorphic to cones over the one-skeleton of the tetrahedron, viewed as a trivalent graph on the two-sphere. In this paper we consider foams with singular vertices with neighbourhoods homeomorphic to cones over more general planar trivalent graphs. These graphs are subject to suitable conditions on their Kempe equivalence Tait coloring classes and include the dodecahedron graph. In this modification of the original homology theory it is straightforward to show that modules associated to the dodecahedron graph are free of rank 60, which is still an open problem for the original unoriented SL(3) foam theory.
On cutting blocking sets and their codes
Published • View Publication • BIB
Let PG$(r, q)$ be the $r$-dimensional projective space over the finite field ${\rm GF}(q)$. A set $\cal X$ of points of PG$(r, q)$ is a cutting blocking set if for each hyperplane $Π$ of PG$(r, q)$ the set $Π\cap \cal X$ spans $Π$. Cutting blocking sets give rise to saturating sets and minimal linear codes and those having size as small as possible are of particular interest. We observe that from a cutting blocking set obtained by Fancsali and Sziklai, by using a set of pairwise disjoint lines, there arises a minimal linear code whose length grows linearly with respect to its dimension. We also provide two distinct constructions: a cutting blocking set of PG$(3, q^3)$ of size $3(q+1)(q^2+1)$ as a union of three pairwise disjoint $q$-order subgeometries and a cutting blocking set of PG$(5, q)$ of size $7(q+1)$ from seven lines of a Desarguesian line spread of PG$(5, q)$. In both cases the cutting blocking sets obtained are smaller than the known ones. As a byproduct we further improve on the upper bound of the smallest size of certain saturating sets and on the minimum length of a minimal $q$-ary linear code having dimension $4$ and $6$.
The balancing number and list balancing number of some graph classes
Published • View Publication • BIB
Given a graph $G$, a 2-coloring of the edges of $K_n$ is said to contain a balanced copy of $G$ if we can find a copy of $G$ such that half of its edges is in each color class. If there exists an integer $k$ such that, for $n$ sufficiently large, every 2-coloring of $K_n$ with more than $k$ edges in each color contains a balanced copy of $G$, then we say that $G$ is balanceable. The smallest integer $k$ such that this holds is called the balancing number of $G$. In this paper, we define a more general variant of the balancing number, the list balancing number, by considering 2-list edge colorings of $K_n$, where every edge $e$ has an associated list $L(e)$ which is a nonempty subset of the color set $\{r,b\}$. In this case, edges $e$ with $L(e) = \{r,b\}$ act as jokers in the sense that their color can be chosen $r$ or $b$ as needed. In contrast to the balancing number, every graph has a list balancing number. Moreover, if the balancing number exists, then it coincides with the list balancing number. We give the exact value of the list balancing number for all cycles except for $4k$-cycles for which we give tight bounds. In addition, we give general bounds for the list balancing number of non-balanceable graphs based on the extremal number of its subgraphs, and study the list balancing number of $K_5$, which turns out to be surprisingly large.
2020-11-21
Templates, Arrays, and Overlays
We will use overlays and templates derived from two-dimensional recurrence relations to build the arrays, and we will study the structure of the overlays, including initial conditions and basis arrays.
2020-11-21 v3
A Quantized Analogue of the Markov-Krein Correspondence
Published • View Publication • BIB
We study a family of measures originating from the signatures of the irreducible components of representations of the unitary group, as the size of the group goes to infinity. Given a random signature $λ$ of length $N$ with counting measure $\mathbf{m}$, we obtain a random signature $μ$ of length $N-1$ through projection onto a unitary group of lower dimension. The signature $μ$ interlaces with the signature $λ$, and we record the data of $μ,λ$ in a random rectangular Young diagram $w$. We show that under a certain set of conditions on $λ$, both $\mathbf{m}$ and $w$ converge as $N\to\infty$. We provide an explicit moment generating function relationship between the limiting objects. We further show that the moment generating function relationship induces a bijection between bounded measures and certain continual Young diagrams, which can be viewed as a quantized analogue of the Markov-Krein correspondence.
2020-11-21
Disjoint cycles covering specified vertices in bipartite graphs with partial degrees
Published • View Publication • BIB
Let $k$ be a positive integer. Let $G$ be a balanced bipartite graph of order $2n$ with bipartition $(X, Y)$, and $S$ a subset of $X$. Suppose that every pair of nonadjacent vertices $(x,y)$ with $x\in S, y\in Y$ satisfies $d(x)+d(y)\geq n+1$. We show that if $|S|\geq 2k+2$, then $G$ contains $k$ disjoint cycles covering $S$ such that each of the $k$ cycles contains at least two vertices of $S$. Here, both the degree condition and the lower bound of $|S|$ are best possible. And we also show that if $|S|=2k+1$, then $G$ contains $k$ disjoint cycles such that each of the $k$ cycles contains at least two vertices of $S$.
2020-11-21 v2
Quantum real numbers and $q$-deformed Conway-Coxeter friezes
Published • View Publication • BIB
We explain the notion of "$q$-deformed real numbers" introduced in our previous work and overview their main properties. We will also introduce $q$-deformed Conway-Coxeter friezes.
2020-11-21
Notes on the Hankel transform of linear combinations of consecutive pairs of Catalan numbers
We provide a context around a conjectured closed form for the Hankel transform of linear combinations of consecutive pairs of Catalan numbers. This generalizes the formula for the Hankel transforms of the shifted Catalan numbers and the known results for linear combinations of pairs of Catalan numbers. Many interesting number triangles emerge, some of which we analyze using the language of Riordan arrays.
2020-11-20 v2
Heat flow and concentration of measure on directed graphs with a lower Ricci curvature bound
Published • View Publication • BIB
In a previous work, the authors introduced a Lin-Lu-Yau type Ricci curvature for directed graphs referring to the formulation of the Chung Laplacian. The aim of this note is to provide a von Renesse-Sturm type characterization of our lower Ricci curvature bound via a gradient estimate for the heat semigroup, and a transportation inequality along the heat flow. As an application, we will conclude a concentration of measure inequality for directed graphs of positive Ricci curvature.
2020-11-20 v4
Maximizing the Minimum and Maximum Forcing Numbers of Perfect Matchings of Graphs
Published in Acta Math. Sin., Engl. Ser.2023 • View Publication • BIB
Let $G$ be a simple graph with $2n$ vertices and a perfect matching. The forcing number $f(G,M)$ of a perfect matching $M$ of $G$ is the smallest cardinality of a subset of $M$ that is contained in no other perfect matching of $G$. Among all perfect matchings $M$ of $G$, the minimum and maximum values of $f(G,M)$ are called the minimum and maximum forcing numbers of $G$, denoted by $f(G)$ and $F(G)$, respectively. Then $f(G)\leq F(G)\leq n-1$. Che and Chen (2011) proposed an open problem: how to characterize the graphs $G$ with $f(G)=n-1$. Later they showed that for a bipartite graph $G$, $f(G)=n-1$ if and only if $G$ is a complete bipartite graph $K_{n,n}$. In this paper, we completely solve the problem of Che and Chen, and show that $f(G)=n-1$ if and only if $G$ is a complete multipartite graph or a graph obtained from complete bipartite graph $K_{n,n}$ by adding arbitrary edges in the same partite set. For all graphs $G$ with $F(G)=n-1$, we prove that the forcing spectrum of each such graph $G$ forms an integer interval by matching 2-switches and the minimum forcing numbers of all such graphs $G$ form an integer interval from $\lfloor\frac{n}{2}\rfloor$ to $n-1$.
2020-11-20 v3
Parity of an odd dominating set
Published • View Publication • BIB
For a simple graph $G$ with vertex set $V(G)=\{v_1,...,v_n\}$, we define the closed neighborhood set of a vertex $u$ as $N[u]=\{v \in V(G) \; | \; v \; \text{is adjacent to} \; u \; \text{or} \; v=u \}$ and the closed neighborhood matrix $N(G)$ as the matrix obtained by setting to $1$ all the diagonal entries of the adjacency matrix of $G$. We say a set $S$ is odd dominating if $N[u]\cap S$ is odd for all $u\in V(G)$. We prove that the parity of an odd dominating set of $G$ is equal to the parity of the rank of $G$, where the rank of $G$ is defined as the dimension of the column space of $N(G)$. Using this result we prove several corollaries in one of which we obtain a general formula for the nullity of the join of graphs.
Sphere of Influence Dimension Conjecture 'Almost Proved'
The sphere-of-influence graph (SIG) on a finite set of points in a metric space, each with an open ball centred about it of radius equal to the distance between that point and its nearest neighbor, is defined to be the intersection graph of these balls. Let $G$ be a graph of order $n,$ having no isolated vertices. The SIG-dimension of $G,$ denoted by $SIG(G),$ is defined to be the least possible $d$ such that $G$ can be realized as a sphere of influence graph in $\mathbb{R}^d,$ equipped with sup-norm. In 2000, Boyer [E. Boyer, L. Lister and B. Shader, Sphere of influence graphs using the sup-norm, Mathematical and Computer Modelling 32 (2000) 1071-1082] put forward the SIG dimension conjecture, which states that $$SIG(G)\leq \bigg\lceil \frac{2n}{3}\bigg\rceil.$$ In this paper, we 'almost' establish this conjecture by proving that $$SIG(G)\leq \bigg{ \lfloor}\frac{2n}{3}\bigg{ \rfloor}+2.$$
2020-11-20 v3
On the moments of the partition function of the C$β$E field
Published • View Publication • BIB
We obtain a combinatorial formula for the positive integer moments of the partition function of the $CβE_{N}$ field, or equivalently the moments of the moments of the characteristic polynomial of the $CβE_{N}$ ensemble. We then use this formula to establish the large $N$ asymptotics of these moments in the "moment-supercritical" regime. A key role is played by Jack polynomials.
2020-11-20
Lie elements and the matrix-tree theorem
Published • View Publication • BIB
For a finite-dimensional representation V of a group G we introduce and study the notion of a Lie element in the group algebra k[G]. The set L(V) \subset k[G] of Lie elements is a Lie algebra and a G-module acting on the original representation V. Lie elements often exhibit nice combinatorial properties. Thus, for G = S_n and V, a permutation representation, we prove a formula for the characteristic polynomial of a Lie element similar to the classical matrix-tree theorem.
Minimal Prime Graphs of Solvable Groups
We explore graph theoretical properties of minimal prime graphs of finite solvable groups. In finite group theory studying the prime graph of a group has been an important topic for the past almost half century. Recently prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs with methods from graph theory only. Minimal prime graphs turn out to be of particular interest, and in this paper we pursue this further by exploring, among other things, diameters, Hamiltonian cycles and the property of being self-complementary for minimal prime graphs. We also study a new, but closely related notion of minimality for prime graphs and look into counting minimal prime graphs.
2020-11-20 v3
Neighbor product distinguishing total colorings of corona of subcubic graphs
Published • View Publication • BIB
A proper $[k]$-total coloring $c$ of a graph $G$ is a mapping $c$ from $V(G)\bigcup E(G)$ to $[k]=\{1,2,\cdots,k\}$ such that $c(x)\neq c(y)$ for which $x$, $y\in V(G)\bigcup E(G)$ and $x$ is adjacent to or incident with $y$. Let $\prod(v)$ denote the product of $c(v)$ and the colors on all the edges incident with $v$. For each edge $uv\in E(G)$, if $\prod(u)\neq \prod(v)$, then the coloring $c$ is called a neighbor product distinguishing total coloring of $G$. we use $χ"_{\prod}(G)$ to denote the minimal value of $k$ in such a coloring of $G$. In 2015, Li et al. conjectured that $Δ(G)+3$ colors enable a graph to have a neighbor product distinguishing total coloring. In this paper, we consider the neighbor product distinguishing total coloring of corona product $G\circ H$, and obtain that $χ"_{\prod}(G\circ H)\leq Δ(G\circ H)+3$.
2020-11-20 v3
Spectra of Complex Unit Hypergraphs
Published • View Publication • BIB
A complex unit hypergraph is a hypergraph where each vertex-edge incidence is given a complex unit label. We define the adjacency, incidence, Kirchoff Laplacian and normalized Laplacian of a complex unit hypergraph and study each of them. Eigenvalue bounds for the adjacency, Kirchoff Laplacian and normalized Laplacian are also found. Complex unit hypergraphs naturally generalize several hypergraphic structures such as oriented hypergraphs, where vertex-edge incidences are labelled as either $+1$ or $-1$, as well as ordinary hypergraphs. Complex unit hypergraphs also generalize their graphic analogues, which are complex unit gain graphs, signed graphs, and ordinary graphs.
On minimizers of the maximal distance functional for a planar convex closed smooth curve
Fix a compact $M \subset \mathbb{R}^2$ and $r>0$. A minimizer of the maximal distance functional is a connected set $Σ$ of the minimal length, such that \[ max_{y \in M} dist(y,Σ) \leq r. \] The problem of finding maximal distance minimizers is connected to the Steiner tree problem. In this paper we consider the case of a convex closed curve $M$, with the minimal radius of curvature greater than $r$ (it implies that $M$ is smooth). The first part is devoted to statements on structure of $Σ$: we show that the closure of an arbitrary connected component of $B_r(M) \cap Σ$ is a local Steiner tree which connects no more than five vertices. In the second part we "derive in the picture". Assume that the left and right neighborhoods of $y \in M$ are contained in $r$-neighborhoods of different points $x_1$, $x_2 \in Σ$. We write conditions on the behavior of $Σ$ in the neighborhoods of $x_1$ and $x_2$ under the assumption by moving $y$ along $M$.
2020-11-20 v3
On Intersection Graph of Dihedral Group
Let $G$ be a finite group. The intersection graph of $G$ is a graph whose vertex set is the set of all proper non-trivial subgroups of $G$ and two distinct vertices $H$ and $K$ are adjacent if and only if $H\cap K \neq \{e\}$, where $e$ is the identity of the group $G$. In this paper, we investigate some properties and exploring some topological indices such as Wiener, Hyper-Wiener, first and second Zagreb, Schultz, Gutman and eccentric connectivity indices of the intersection graph of $D_{2n}$ for $n=p^2$, $p$ is prime. We also find the metric dimension and the resolving polynomial of the intersection graph of $D_{2p^2}$.