Showing 20 papers (Total: 82505 papers, 47699 authors in database)
An extension of the direction problem
Published in Discr. Math., Volume 312, Issues 12-13, (6 July 2012), Pages 2083-2087
• View Publication
• BIB
Let $U$ be a point set in the $n$-dimensional affine space ${\rm AG}(n,q)$ over the finite field of $q$ elements and $0\leq k\leq n-2$. In this paper we extend the definition of directions determined by $U$: a $k$-dimensional subspace $S_k$ at infinity is determined by $U$ if there is an affine $(k+1)$-dimensional subspace $T_{k+1}$ through $S_k$ such that $U\cap T_{k+1}$ spans $T_{k+1}$. We examine the extremal case $|U|=q^{n-1}$, and classify point sets NOT determining every $k$-subspace in certain cases.
A spectral lower bound for the divisorial gonality of metric graphs
Published
• View Publication
• BIB
Let $Γ$ be a compact metric graph, and denote by $Δ$ the Laplace operator on $Γ$ with the first non-trivial eigenvalue $λ_1$. We prove the following Yang-Li-Yau type inequality on divisorial gonality $γ_{div}$ of $Γ$. There is a universal constant $C$ such that \[γ_{div}(Γ) \geq C \frac{μ(Γ) . \ell_{\min}^{\mathrm{geo}}(Γ). λ_1(Γ)}{d_{\max}},\] where the volume $μ(Γ)$ is the total length of the edges in $Γ$, $\ell_{\min}^{\mathrm{geo}}$ is the minimum length of all the geodesic paths between points of $Γ$ of valence different from two, and $d_{\max}$ is the largest valence of points of $Γ$. Along the way, we also establish discrete versions of the above inequality concerning finite simple graph models of $Γ$ and their spectral gaps.
On the expected number of commutations in reduced words
We compute the expected number of commutations appearing in a reduced word for the longest element in the symmetric group. The asymptotic behavior of this value is analyzed and shown to approach the length of the permutation, meaning that nearly all positions in the reduced word are expected to support commutations. Finally, we calculate the asymptotic frequencies of commutations, consecutive noncommuting pairs, and long braid moves.
The number of directions determined by less than $q$ points
Published in J. Algebr. Combin. Volume 37, Issue 1 (February 2013), Pages 27-37
• View Publication
• BIB
In this article we prove a theorem about the number of directions determined by less then $q$ affine points, similar to the result of Blokhuis et al. (in J. Comb. Theory Ser. A 86(1), 187-196, 1999) on the number of directions determined by $q$ affine points.
Homotopy colimits of diagrams over posets and variations on a theorem of Thomason
We use a classical result of McCord and reduction methods of finite spaces to prove a generalization of Thomason's theorem on homotopy colimits over posets. In particular this allows us to characterize the homotopy colimits of diagrams of simplicial complexes in terms of the Grothendieck construction on the diagrams of their face posets. We also derive analogues of well known results on homotopy colimits in the combinatorial setting, including a cofinality theorem and a generalization of Quillen's Theorem A for posets.
On gluing a surface of genus $g$ from two and three polygons
Published
• View Publication
• BIB
In this paper the number of ways to glue together several polygons into a surface of genus $g$ has been investigated. We've given an elementary proof on the formula for the generating function $\mathbf{C}_g^{[2]}(z)$ of the number of gluings surface of genus $g$ from two polygons (see also [4]). Moreover, we've proven a similar formula for gluings surface of genus $g$ from three polygons. As a corollary, we've proven a direct formula for the number of gluings torus from three polygons.
Domination, Eternal Domination, and Clique Covering
Published
• View Publication
• BIB
Eternal and m-eternal domination are concerned with using mobile guards to protect a graph against infinite sequences of attacks at vertices. Eternal domination allows one guard to move per attack, whereas more than one guard may move per attack in the m-eternal domination model. Inequality chains consisting of the domination, eternal domination, m-eternal domination, independence, and clique covering numbers of graph are explored in this paper. Among other results, we characterize bipartite and triangle-free graphs with domination and eternal domination numbers equal to two, trees with equal m-eternal domination and clique covering numbers, and two classes of graphs with equal domination, eternal domination and clique covering numbers.
A relative of Hadwiger's conjecture
Published in SIAM J. Discrete Math., 29(2015)(4), pp. 2385-2388
• View Publication
• BIB
Hadwiger's conjecture asserts that if a simple graph $G$ has no $K_{t+1}$ minor, then its vertex set $V(G)$ can be partitioned into $t$ stable sets. This is still open, but we prove under the same hypotheses that $V(G)$ can be partitioned into $t$ sets $X_1,\ldots, X_t$, such that for $1\le i\le t$, the subgraph induced on $X_i$ has maximum degree at most a function of $t$. This is sharp, in that the conclusion becomes false if we ask for a partition into $t-1$ sets with the same property.
Estimating the distance Estrada index
Suppose $G$ is a simple graph on $n$ vertices. The $D$-eigenvalues $μ_1,μ_2,\cdots,μ_n$ of $G$ are the eigenvalues of its distance matrix. The distance Estrada index of $G$ is defined as $DEE(G)=\sum_{i=1}^ne^{μ_i}$. In this paper, we establish new lower and upper bounds for $DEE(G)$ in terms of the Wiener index $W(G)$. We also compute the distance Estrada index for some concrete graphs including the buckminsterfullerene $C_{60}$.
Laplacian spectral characterization of dumbbell graphs and theta graphs
Published in Discrete Mathematics, Algorithms and Applications Vol. 8, No. 2 (2016) 1650028
• View Publication
• BIB
Let $P_n$ and $C_n$ denote the path and cycle on $n$ vertices respectively. The dumbbell graph, denoted by $D_{p,k,q}$, is the graph obtained from two cycles $C_p$, $C_q$ and a path $P_{k+2}$ by identifying each pendant vertex of $P_{k+2}$ with a vertex of a cycle respectively. The theta graph, denoted by $Θ_{r,s,t}$, is the graph formed by joining two given vertices via three disjoint paths $P_{r}$, $P_{s}$ and $P_{t}$ respectively. In this paper, we prove that all dumbbell graphs as well as theta graphs are determined by their Laplacian spectra.
Characteristic flows on signed graphs and short circuit covers
We generalise to signed graphs a classical result of Tutte [Canad. J. Math. 8 (1956), 13--28] stating that every integer flow can be expressed as a sum of characteristic flows of circuits. In our generalisation, the rôle of circuits is taken over by signed circuits of a signed graph which occur in two types -- either balanced circuits or pairs of disjoint unbalanced circuits connected with a path intersecting them only at its ends. As an application of this result we show that a signed graph $G$ admitting a nowhere-zero $k$-flow has a covering with signed circuits of total length at most $2(k-1)|E(G)|$.
Equivalence classes of nodes in trees and rational generating functions
Let $c_n$ denote the number of nodes at a distance $n$ from the root of a rooted tree. A criterion for proving the rationality and computing the rational generating function of the sequence $\{c_n\}$ is described. This criterion is applied to counting the number of conjugacy classes of commuting tuples in finite groups and the number of isomorphism classes of representations of polynomial algebras over finite fields. The method for computing the rational generating functions, when applied to the study of point configurations in finite sets, gives rise to some classical combinatorial results on Bell numbers and Stirling numbers of the second kind. When applied to the study of vector configurations in a finite vector space, it reveals a connection between counting such configurations and Gaussian binomial coefficients.
Most switching classes with primitive automorphism groups contain graphs with trivial groups
The operation of switching a graph $Γ$ with respect to a subset $X$ of the vertex set interchanges edges and non-edges between $X$ and its complement, leaving the rest of the graph unchanged. This is an equivalence relation on the set of graphs on a given vertex set, so we can talk about the automorphism group of a switching class of graphs.
It might be thought that switching classes with many automorphisms would have the property that all their graphs also have many automorphisms. However the main theorem of this paper shows a different picture: with finitely many exceptions, if a non-trivial switching class $\mathcal{S}$ has primitive automorphism group, then it contains a graph whose automorphism group is trivial. We also find all the exceptional switching classes; up to complementation, there are just six.
Quotients of polynomial rings and regular t-balanced Cayley maps on abelian groups
Published in European Journal of Combinatorics 65 (2017), 45-58
• View Publication
• BIB
Given a finite group $Γ$, a regular $t$-balanced Cayley map (RBCM$_{t}$ for short) is a regular Cayley map $\mathcal{CM}(G,Ω,ρ)$ such that $ρ(ω)^{-1}=ρ^{t}(ω)$ for all $ω\inΩ$.
In this paper, we clarify a connection between quotients of polynomial rings and RBCM$_{t}$'s on abelian groups, so as to propose a new approach for classifying RBCM$_{t}$'s. We obtain many new results, in particular, a complete classification for RBCM$_{t}$'s on abelian 2-groups.
The m/n Pieri rule
The Pieri rule is an important theorem which explains how the operators e_k of multiplication by elementary symmetric functions act in the basis of Schur functions s_lambda. In this paper, for any rational number m/n, we study the relationship between the rational version e_k^{m/n} of the operators (given by the elliptic Hall algebra) and the "rational" version s_lambda^{m/n} of the basis (given by the Maulik-Okounkov stable basis construction)
SB-labelings and posets with each interval homotopy equivalent to a sphere or a ball
Published
• View Publication
• BIB
We introduce a new class of poset edge labelings for locally finite lattices which we call $SB$-labelings. We prove for finite lattices which admit an $SB$-labeling that each open interval has the homotopy type of a ball or of a sphere of some dimension. Natural examples include the weak order, the Tamari lattice, and the finite distributive lattices.
Complexity of Grundy coloring and its variants
Published
• View Publication
• BIB
The Grundy number of a graph is the maximum number of colors used by the greedy coloring algorithm over all vertex orderings. In this paper, we study the computational complexity of GRUNDY COLORING, the problem of determining whether a given graph has Grundy number at least $k$. We also study the variants WEAK GRUNDY COLORING (where the coloring is not necessarily proper) and CONNECTED GRUNDY COLORING (where at each step of the greedy coloring algorithm, the subgraph induced by the colored vertices must be connected).
We show that GRUNDY COLORING can be solved in time $O^*(2.443^n)$ and WEAK GRUNDY COLORING in time $O^*(2.716^n)$ on graphs of order $n$. While GRUNDY COLORING and WEAK GRUNDY COLORING are known to be solvable in time $O^*(2^{O(wk)})$ for graphs of treewidth $w$ (where $k$ is the number of colors), we prove that under the Exponential Time Hypothesis (ETH), they cannot be solved in time $O^*(2^{o(w\log w)})$. We also describe an $O^*(2^{2^{O(k)}})$ algorithm for WEAK GRUNDY COLORING, which is therefore $\fpt$ for the parameter $k$. Moreover, under the ETH, we prove that such a running time is essentially optimal (this lower bound also holds for GRUNDY COLORING). Although we do not know whether GRUNDY COLORING is in $\fpt$, we show that this is the case for graphs belonging to a number of standard graph classes including chordal graphs, claw-free graphs, and graphs excluding a fixed minor. We also describe a quasi-polynomial time algorithm for GRUNDY COLORING and WEAK GRUNDY COLORING on apex-minor graphs. In stark contrast with the two other problems, we show that CONNECTED GRUNDY COLORING is $\np$-complete already for $k=7$ colors.
A relaxation of the Bordeaux Conjecture
Published
• View Publication
• BIB
A $(c_1,c_2,...,c_k)$-coloring of $G$ is a mapping $\varphi:V(G)\mapsto\{1,2,...,k\}$ such that for every $i,1 \leq i \leq k$, $G[V_i]$ has maximum degree at most $c_i$, where $G[V_i]$ denotes the subgraph induced by the vertices colored $i$. Borodin and Raspaud conjecture that every planar graph without intersecting triangles and $5$-cycles is $3$-colorable. We prove in this paper that every planar graph without intersecting triangles and $5$-cycles is (2,0,0)-colorable.
Maxima of the signless Laplacian spectral radius for planar graphs
Published
• View Publication
• BIB
The signless Laplacian spectral radius of a graph is the largest eigenvalue of its signless Laplacian. In this paper, we prove that the graph $K_{2}\nabla P_{n-2}$ has the maximal signless Laplacian spectral radius among all planar graphs of order $n\geq 456$.
On the intersection of three or four transversals of the back circulant latin square B_n
A paper by Cavenagh and Wanless diagnosed the possible intersection of any two transversals of the back circulant Latin square B_n, and used the result to completely determine the spectrum for 2-way k-homogeneous latin trades. We give a generalization of this problem for the intersection of μtransversals of B_n and provide a construction for this problem, as well as providing base designs for the construction in the cases μ= 3, 4 found by a computational search. This result is then applied to the problem of finding μ-way k-homogeneous Latin trades.
We generalize this problem to the intersection of μtransversals of B_n such that the transversals intersect stably (that is, the intersection of any pair of transversals is independent of the choice of the pair) and show that these structures can be used to construct μ-way k-homogeneous circulant latin trades of odd order. We provide a number of basic existence and non-existence results for μtransversals of B_n that intersect stably, as well as the results of a computational search for small n. This is followed by the principal results of this paper; a construction that covers a large portion of the spectrum when n is sufficiently large, which requires certain base designs. These base designs are provided in the cases μ= 3,4, which were found by a computational search. We use this result to find the existence of μ-way k-homogeneous circulant latin trades of odd order, for μ= 3, 4.