Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Extremal H-colorings of trees and 2-connected graphs
Published
• View Publication
• BIB
For graphs $G$ and $H$, an $H$-coloring of $G$ is an adjacency preserving map from the vertices of $G$ to the vertices of $H$. $H$-colorings generalize such notions as independent sets and proper colorings in graphs. There has been much recent research on the extremal question of finding the graph(s) among a fixed family that maximize or minimize the number of $H$-colorings. In this paper, we prove several results in this area.
First, we find a class of graphs ${\mathcal H}$ with the property that for each $H \in {\mathcal H}$, the $n$-vertex tree that minimizes the number of $H$-colorings is the path $P_n$. We then present a new proof of a theorem of Sidorenko, valid for large $n$, that for every $H$ the star $K_{1,n-1}$ is the $n$-vertex tree that maximizes the number of $H$-colorings. Our proof uses a stability technique which we also use to show that for any non-regular $H$ (and certain regular $H$) the complete bipartite graph $K_{2,n-2}$ maximizes the number of $H$-colorings of $n$-vertex $2$-connected graphs. Finally, we show that the cycle $C_n$ maximizes the number of proper colorings of $n$-vertex $2$-connected graphs.
Root subsystems of rank 2 hyperbolic root systems
Let $Δ$ be a rank 2 hyperbolic root system. Then $Δ$ has generalized Cartan matrix $H(a,b)= \left(\begin{smallmatrix} ~2 & -b\\ -a & ~2 \end{smallmatrix}\right)$ indexed by $a,b\in\mathbb{Z}$ with $ab\geq 5$. If $a\neq b$, then $Δ$ is non-symmetric and is generated by one long simple root and one short simple root; whereas if $a= b$, $Δ$ is symmetric and is generated by two long simple roots. We prove that if $a\neq b$, then $Δ$ contains an infinite family of symmetric rank 2 hyperbolic root subsystems $H(k,k)$ for certain $k\geq 3$, generated by either two short or two long simple roots. We also prove that $Δ$ contains non-symmetric rank 2 hyperbolic root subsystems $H(a',b')$, for certain $a',b'\in\mathbb{Z}$ with $a'b'\geq 5$. One of our tools is a characterization of the types of root subsystems that are generated by a subset of roots. We classify these types of subsystems in rank 2 hyperbolic root systems.
Higher Bruhat Orders in Type B
Published
• View Publication
• BIB
Motivated by the geometry of certain hyperplane arrangements, Manin and Schechtman defined for each positive integer n a hierarchy of finite partially ordered sets B(n, k), indexed by positive integers k, called the higher Bruhat orders. The poset B(n, 1) is naturally identified with the weak left Bruhat order on the symmetric group S_n, each B(n, k) has a unique maximal and a unique minimal element, and the poset B(n, k + 1) can be constructed from the set of maximal chains in B(n, k). Elias has demonstrated a striking connection between the posets B(n, k) for k = 2 and the diagrammatics of Bott-Samelson bimodules in type A, providing significant motivation for the development of an analogous theory of higher Bruhat orders in other Cartan-Killing types, particularly for k = 2. In this paper we present a partial generalization to type B, complete up to k = 2, prove a direct analogue of the main theorem of Manin and Schechtman, and relate our construction to the weak Bruhat order and reduced expression graph for Weyl groups of type B.
Several new classes of Boolean functions with few Walsh transform values
Published
• View Publication
• BIB
In this paper, several new classes of Boolean functions with few Walsh transform values, including bent, semi-bent and five-valued functions, are obtained by adding the product of two or three linear functions to some known bent functions.Numerical results show that the proposed class contains cubic bent functions that are affinely inequivalent to all known quadratic ones. Meanwhile, we determine the distribution of the Walsh spectrum of five-valued functions constructed in this paper.
Large circulant graphs of fixed diameter and arbitrary degree
Published in Ars Mathematica Contemporanea, Vol. 13 No. 2 (2017), pp. 275--291
• View Publication
• BIB
We consider the degree-diameter problem for undirected and directed circulant graphs. To date, attempts to generate families of large circulant graphs of arbitrary degree for a given diameter have concentrated mainly on the diameter 2 case. We present a direct product construction yielding improved bounds for small diameters and introduce a new general technique for "stitching" together circulant graphs which enables us to improve the current best known asymptotic orders for every diameter. As an application, we use our constructions in the directed case to obtain upper bounds on the minimum size of a subset $A$ of a cyclic group of order $n$ such that the $k$-fold sumset $kA$ is equal to the whole group. We also present a revised table of largest known circulant graphs of small degree and diameter.
Leading terms of relations for standard modules of affine Lie algebras $C_{n}\sp{(1)}$
Published
• View Publication
• BIB
In this paper we give a combinatorial parametrization of leading terms of defining relations for level $k$ standard modules for affine Lie algebra of type $C_{n}\sp{(1)}$. Using this parametrization we conjecture colored Rogers-Ramanujan type combinatorial identities for $n\geq 2$ and $k\geq 2$; the identity in the case $n=k=1$ is equivalent to one of Capparelli's identities.
An Oriented Hypergraphic Approach to Algebraic Graph Theory
Published in Linear Algebra Appl., 437 (2012), 2262-2270
• View Publication
• BIB
An oriented hypergraph is a hypergraph where each vertex-edge incidence is given a label of $+1$ or $-1$. We define the adjacency, incidence and Laplacian matrices of an oriented hypergraph and study each of them. We extend several matrix results known for graphs and signed graphs to oriented hypergraphs. New matrix results that are not direct generalizations are also presented. Finally, we study a new family of matrices that contains walk information.
Spectral Properties of Oriented Hypergraphs
Published in Electron. J. Linear Algebra, 27 (2014) 373-391
• View Publication
• BIB
An oriented hypergraph is a hypergraph where each vertex-edge incidence is given a label of $+1$ or $-1$. The adjacency and Laplacian eigenvalues of an oriented hypergraph are studied. Eigenvalue bounds for both the adjacency and Laplacian matrices of an oriented hypergraph which depend on structural parameters of the oriented hypergraph are found. An oriented hypergraph and its incidence dual are shown to have the same nonzero Laplacian eigenvalues. A family of oriented hypergraphs with uniformally labeled incidences is also studied. This family provides a hypergraphic generalization of the signless Laplacian of a graph and also suggests a natural way to define the adjacency and Laplacian matrices of a hypergraph. Some results presented generalize both graph and signed graph results to a hypergraphic setting.
Oriented Gain Graphs, Line Graphs and Eigenvalues
Published
• View Publication
• BIB
A theory of orientation on gain graphs (voltage graphs) is developed to generalize the notion of orientation on graphs and signed graphs. Using this orientation scheme, the line graph of a gain graph is studied. For a particular family of gain graphs with complex units, matrix properties are established. As with graphs and signed graphs, there is a relationship between the incidence matrix of a complex unit gain graph and the adjacency matrix of the line graph.
Automorphism Groups of Comparability Graphs
Comparability graphs are graphs which have transitive orientations. The dimension of a poset is the least number of linear orders whose intersection gives this poset. The dimension ${\rm dim}(X)$ of a comparability graph $X$ is the dimension of any transitive orientation of X, and by $k$-DIM we denote the class of comparability graphs $X$ with ${\rm dim}(X) \le k$. It is known that the complements of comparability graphs are exactly function graphs and permutation graphs equal 2-DIM.
In this paper, we characterize the automorphism groups of permutation graphs similarly to Jordan's characterization for trees (1869). For permutation graphs, there is an extra operation, so there are some extra groups not realized by trees. For $k \ge 4$, we show that every finite group can be realized as the automorphism group of some graph in $k$-DIM, and testing graph isomorphism for $k$-DIM is GI-complete.
Projective Space: Lines and Duality
We offer an axiomatic presentation of three-dimensional projective space that adopts the line as its fundamental element and renders automatic the principle of duality.
Exponents of the primitive Boolean matrices with fixed girth
The $girth$ of a primitive Boolean matrix is defined to be the $girth$ of its associated digraph. In this paper, among all primitive Boolean matrices of order $n$, the primitive exponents of those of girth $g$ are considered. For the primitive matrices of both order $n\geq 10$ and girth $g>\frac{n^{2}-4n}{4(n-3)}$, the matrices with primitive exponents in $[2n-2 +(g- 1)(n-3), n+g(n-2)]$ are completely characterized.
Replacing the host K_n by n-chromatic graphs in Ramsey-type results
We extend two well-known results in Ramsey theory from from $K_n$ to arbitrary $n$-chromatic graphs. The first is a note of Erd\H os and Rado stating that in every 2-coloring of the edges of $K_n$ there is a monochromatic tree on $n$ vertices. The second is the theorem of Cockayne and Lorimer stating that for positive integers satisfying $n_1=\max\{n_1,n_2,\dots,n_t\}$ and with $n=n_1+1+\sum_{i=1}^t (n_i-1)$, the following holds. In every coloring of the edges of $K_n$ with colors $1,2\dots,t$ there is a monochromatic matching of size $n_i$ for some $i\in \{1,2,\dots,t\}$.
The 3-colorability of planar graphs without cycles of length 4, 6 and 9
Published in Discrete Mathematics 339 (2016) 299-307
• View Publication
• BIB
In this paper, we prove that planar graphs without cycles of length 4, 6, 9 are 3-colorable.
Semi-canonical binary matrices
In this paper, we define the concepts of semi-canonical and canonical binary matrix. Strictly mathematical, we prove the correctness of these definitions. We describe and we implement an algorithm for finding all semi-canonical binary matrices taking into account the number of 1 in each of them. This problem relates to the combinatorial problem of finding all pairs of disjoint S-permutation matrices. In the described algorithm, the bit-wise operations are substantially used.
On the notions of upper and lower density
Published in Proceedings of the Edinburgh Mathematical Society 63 (2020) 139-167
• View Publication
• BIB
Let $\mathcal{P}({\bf N})$ be the power set of ${\bf N}$. We say that a function $μ^\ast: \mathcal{P}({\bf N}) \to \bf R$ is an upper density if, for all $X,Y\subseteq{\bf N}$ and $h, k\in{\bf N}^+$, the following hold: (F1) $μ^\ast({\bf N}) = 1$; (F2) $μ^\ast(X) \le μ^\ast(Y)$ if $X \subseteq Y$; (F3) $μ^\ast(X \cup Y) \le μ^\ast(X) + μ^\ast(Y)$; (F4) $μ^\ast(k\cdot X) = \frac{1}{k} μ^\ast(X)$, where $k \cdot X:=\{kx: x \in X\}$; (F5) $μ^\ast(X + h) = μ^\ast(X)$.
We show that the upper asymptotic, upper logarithmic, upper Banach, upper Buck, upper Polya, and upper analytic densities, together with all upper $α$-densities (with $α$ a real parameter $\ge -1$), are upper densities in the sense of our definition. Moreover, we establish the mutual independence of axioms (F1)-(F5), and we investigate various properties of upper densities (and related functions) under the assumption that (F2) is replaced by the weaker condition that $μ^\ast(X)\le 1$ for every $X\subseteq{\bf N}$.
Overall, this allows us to extend and generalize results so far independently derived for some of the classical upper densities mentioned above, thus introducing a certain amount of unification into the theory.
Extremal Bounds for Bootstrap Percolation in the Hypercube
Published
• View Publication
• BIB
The $r$-neighbour bootstrap percolation process on a graph $G$ starts with an initial set $A_0$ of "infected" vertices and, at each step of the process, a healthy vertex becomes infected if it has at least $r$ infected neighbours (once a vertex becomes infected, it remains infected forever). If every vertex of $G$ eventually becomes infected, then we say that $A_0$ percolates.
We prove a conjecture of Balogh and Bollobás which says that, for fixed $r$ and $d\to\infty$, every percolating set in the $d$-dimensional hypercube has cardinality at least $\frac{1+o(1)}{r}\binom{d}{r-1}$. We also prove an analogous result for multidimensional rectangular grids. Our proofs exploit a connection between bootstrap percolation and a related process, known as weak saturation. In addition, we improve on the best known upper bound for the minimum size of a percolating set in the hypercube. In particular, when $r=3$, we prove that the minimum cardinality of a percolating set in the $d$-dimensional hypercube is $\left\lceil\frac{d(d+3)}{6}\right\rceil+1$ for all $d\geq3$.
Quotient-polynomial graphs
Published
• View Publication
• BIB
As a generalization of orbit-polynomial and distance-regular graphs, we introduce the concept of a quotient-polynomial graph. In these graphs every vertex $u$ induces the same regular partition around $u$, where all vertices of each cell are equidistant from $u$. Some properties and characterizations of such graphs are studied. For instance, all quotient-polynomial graphs are walk-regular and distance-polynomial. Also, we show that every quotient-polynomial graph generates a (symmetric) association scheme.
Relating the type A alcove path model to the right key of a semistandard Young tableau, with Demazure character consequences
Published in Discrete Mathematics, 339, p. 2410-2416, 2016
• Search Publication
There are several combinatorial methods that can be used to produce type A Demazure characters (key polynomials). The alcove path model of Lenart and Postnikov provides a procedure that inputs a semistandard tableau $T$ and outputs a saturated chain in the Bruhat order. The final permutation in this chain determines a family of Demazure characters for which $T$ contributes its weight. Separately, the right key of $T$ introduced by Lascoux and Schützenberger also determines a family of Demazure characters for which $T$ contributes its weight. In this paper we show that the final permutation in the chain produced by the alcove model corresponds bijectively to the right key of the tableau. From this it follows that the generating sets for the Demazure characters produced by these two methods are equivalent.
New upper bound for multicolor Ramsey number of odd cycles
Published
• View Publication
• BIB
Let $r_k(C_{2m+1})$ be the $k$-color Ramsey number of an odd cycle $C_{2m+1}$ of length $2m+1$. It is shown that for each fixed $m\ge2$, \[r_k(C_{2m+1})<c^{k}\sqrt{k!}\] for all sufficiently large $k$, where $c=c(m)>0$ is a constant.
This improves an old result by Bondy and Erdős (Ramsey numbers for cycles in graphs, J. Combin. Theory Ser. B 14 (1973) 46-54).