Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Analogies between the geodetic number and the Steiner number of some classes of graphs
Published
• View Publication
• BIB
A set of vertices $S$ of a graph $G$ is a geodetic set of $G$ if every vertex $v\not\in S$ lies on a shortest path between two vertices of $S$. The minimum cardinality of a geodetic set of $G$ is the geodetic number of $G$ and it is denoted by $g(G)$. A Steiner set of $G$ is a set of vertices $W$ of $G$ such that every vertex of $G$ belongs to the set of vertices of a connected subgraph of minimum size containing the vertices of $W$. The minimum cardinality of a Steiner set of $G$ is the Steiner number of $G$ and it is denoted by $s(G)$. Let $G$ and $H$ be two graphs and let $n$ be the order of $G$. The corona product $G\odot H$ is defined as the graph obtained from $G$ and $H$ by taking one copy of $G$ and $n$ copies of $H$ and joining by an edge each vertex from the $i^{th}$-copy of $H$ with the $i^{th}$-vertex of $G$. We study the geodetic number and the Steiner number of corona product graphs. We show that if $G$ is a connected graph of order $n\ge 2$ and $H$ is a non complete graph, then $g(G\odot H)\le s(G\odot H)$, which partially solve the open problem presented in [\emph{Discrete Mathematics} \textbf{280} (2004) 259--263] related to characterize families of graphs $G$ satisfying that $g(G)\le s(G)$.
On the partition dimension of unicyclic graphs
Given an ordered partition $Π=\{P_1,P_2, ...,P_t\}$ of the vertex set $V$ of a connected graph $G=(V,E)$, the \emph{partition representation} of a vertex $v\in V$ with respect to the partition $Π$ is the vector $r(v|Π)=(d(v,P_1),d(v,P_2),...,d(v,P_t))$, where $d(v,P_i)$ represents the distance between the vertex $v$ and the set $P_i$. A partition $Π$ of $V$ is a \emph{resolving partition} if different vertices of $G$ have different partition representations, i.e., for every pair of vertices $u,v\in V$, $r(u|Π)\ne r(v|Π)$. The \emph{partition dimension} of $G$ is the minimum number of sets in any resolving partition for $G$. In this paper we obtain several tight bounds on the partition dimension of unicyclic graphs.
Roman domination in Cartesian product graphs and strong product graphs
Published in Applicable analysis and discrete mathematics, 2013, 7, 262-274
• View Publication
• BIB
A set $S$ of vertices of a graph $G$ is a dominating set for $G$ if every vertex outside of $S$ is adjacent to at least one vertex belonging to $S$. The minimum cardinality of a dominating set for $G$ is called the domination number of $G$. A map $f : V \rightarrow \{0, 1, 2\}$ is a Roman dominating function on a graph $G$ if for every vertex $v$ with $f(v) = 0$, there exists a vertex $u$, adjacent to $v$, such that $f(u) = 2$. The weight of a Roman dominating function is given by $f(V) =\sum_{u\in V}f(u)$. The minimum weight of a Roman dominating function on $G$ is called the Roman domination number of $G$. In this article we study the Roman domination number of Cartesian product graphs and strong product graphs. More precisely, we study the relationships between the Roman domination number of product graphs and the (Roman) domination number of the factors.
Multidimensional necklaces and measurable colorings of R^n
A well known generalization of Alon's "splitting nacklace theorem" by Longueville and Zivaljevic states that every k-colored n-dimensional cube can be fairly split using only k cuts in each dimension. Here we prove that for every t there exist a finite coloring (with at least (t+4)^d - (t+3)^d + (t+2)^d - 2^d + d(t+2) +3 different colors) of R^n such that no n-dimensional cube can be fairly split using at most t cuts in each dimension. In particular there is a finite coloring of R^n such that no two disjoint n-dimensional cubes have the same measure of each color.
Limit shape of random convex polygonal lines: Even more universality
Published in Journal of Combinatorial Theory, Series A 127 (2014), 353--399
• View Publication
• BIB
The paper concerns the limit shape (under some probability measure) of convex polygonal lines with vertices on $\mathbb{Z}_+^2$, starting at the origin and with the right endpoint $n=(n_1,n_2)\to\infty$. In the case of the uniform measure, an explicit limit shape $γ^*:=\{(x_1,x_2)\in\mathbb{R}_+^2\colon \sqrt{1-x_1}+\sqrt{x_2}=1\}$ was found independently by Vershik (1994), Bárány (1995), and Sinai (1994). Recently, Bogachev and Zarbaliev (2011) proved that the limit shape $γ^*$ is universal for a certain parametric family of multiplicative probability measures generalizing the uniform distribution. In the present work, the universality result is extended to a much wider class of multiplicative measures, including (but not limited to) analogs of the three meta-types of decomposable combinatorial structures -- multisets, selections and assemblies. This result is in sharp contrast with the one-dimensional case where the limit shape of Young diagrams associated with integer partitions heavily depends on the distributional type.
Expansions of $k$-Schur functions in the affine nilCoxeter algebra
Published in Electronic Journal of Combinatorics, 19-2 P55, 2012
• View Publication
• BIB
We give a type free formula for the expansion of k-Schur functions indexed by fundamental coweights within the affine nilCoxeter algebra. Explicit combinatorics are developed in affine type C.
Positroid Varieties: Juggling and Geometry
Published
• View Publication
• BIB
While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the cyclic shifts of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, Brown-Goodearl-Yakimov and the present authors. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call bounded juggling patterns. We call the strata positroid varieties.
Applying results from the authors' previous work, we show that positroid varieties are normal, Cohen-Macaulay, have rational singularities, and are defined as schemes by the vanishing of Plucker coordinates. We prove that their associated cohomology classes are represented by affine Stanley functions. This last fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus.
The number of bar{3}bar{1}542-avoiding permutations
We confirm a conjecture of Lara Pudwell and show that permutations of [n] that avoid the barred pattern bar{3}bar{1}542 are counted by OEIS sequence A047970. In fact, we show bijectively that the number of bar{3}bar{1}542 avoiders of length n with j+k left-to-right maxima, of which j initiate a descent in the permutation and k do not, is {n}-choose-{k} j! StirlingPartition{n-j-k}{j}, where StirlingPartition{n}{j} is the Stirling partition number.
A relation between the shape of a permutation and the shape of the base poset derived from the Lehmer codes
Published
• View Publication
• BIB
For a permutation $ω\in S_{n}$ Denoncourt constructed a poset $M_ω$ which is the set of join-irreducibles of the Lehmer codes of the permutations in $[e, ω]$ in the inversion order on $S_{n}$. In this paper we show that $M_ω$ is a $B_{2}$-free poset if and only if $ω$ is a 3412-3421-avoiding permutation.
Diameter of Cayley graphs of permutation groups generated by transposition trees
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, vol. 84, pp. 29-40, February 2013
• Search Publication
Let $Γ$ be a Cayley graph of the permutation group generated by a transposition tree $T$ on $n$ vertices. In an oft-cited paper \cite{Akers:Krishnamurthy:1989} (see also \cite{Hahn:Sabidussi:1997}), it is shown that the diameter of the Cayley graph $Γ$ is bounded as $$\diam(Γ) \le \max_{π\in S_n}{c(π)-n+\sum_{i=1}^n \dist_T(i,π(i))},$$ where the maximization is over all permutations $π$, $c(π)$ denotes the number of cycles in $π$, and $\dist_T$ is the distance function in $T$. In this work, we first assess the performance (the sharpness and strictness) of this upper bound. We show that the upper bound is sharp for all trees of maximum diameter and also for all trees of minimum diameter, and we exhibit some families of trees for which the bound is strict. We then show that for every $n$, there exists a tree on $n$ vertices, such that the difference between the upper bound and the true diameter value is at least $n-4$.
Observe that evaluating this upper bound requires on the order of $n!$ (times a polynomial) computations. We provide an algorithm that obtains an estimate of the diameter, but which requires only on the order of (polynomial in) $n$ computations; furthermore, the value obtained by our algorithm is less than or equal to the previously known diameter upper bound. This result is possible because our algorithm works directly with the transposition tree on $n$ vertices and does not require examining any of the permutations (only the proof requires examining the permutations). For all families of trees examined so far, the value $β$ computed by our algorithm happens to also be an upper bound on the diameter, i.e.
$$\diam(Γ) \le β\le \max_{π\in S_n}{c(π)-n+\sum_{i=1}^n \dist_T(i,π(i))}.$$
Fibonacci-like growth of numerical semigroups of a given genus
Published
• View Publication
• BIB
We give an asymptotic estimate of the number of numerical semigroups of a given genus. In particular, if $n_g$ is the number of numerical semigroups of genus $g$, we prove that $n_g$ tends to $S φ^g$, where $φ$ is the golden ratio, and $S$ is a constant, resolving several related conjectures concerning the growth of $n_g$. In addition, we show that the proportion of numerical semigroups of genus $g$ satisfying $f < 3m$ approaches 1 as $g \rightarrow \infty$, where $m$ is the multiplicity and $f$ is the Frobenius number.
On a move reducing the genus of a knot diagram
Published in Indiana University Mathematics Journal, Volume 61, issue 3 (2012), 1111-1127
• View Publication
• BIB
For a knot diagram we introduce an operation which does not increase the genus of the diagram and does not change its representing knot type. We also describe a condition for this operation to certainly decrease the genus. The proof involves the study of a relation between the genus of a virtual knot diagram and the genus of a knotoid diagram, the former of which has been introduced by Stoimenow, Tchernov and Vdovina, and the latter by Turaev recently. Our operation has a simple interpretation in terms of Gauss codes and hence can easily be computer-implemented.
On the nuclei of a finite semifield
Published
• View Publication
• BIB
In this paper we collect and improve the techniques for calculating the nuclei of a semifield and we use these tools to determine the order of the nuclei and of the center of some commutative presemifields of odd characteristic recently constructed.
Hypergraphs for computing determining sets of Kneser graphs
A set of vertices $S$ is a \emph{determining set} of a graph $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The \emph{determining number} of $G$ is the minimum cardinality of a determining set of $G$. This paper studies determining sets of Kneser graphs from a hypergraph perspective. This new technique lets us compute the determining number of a wide range of Kneser graphs, concretely $K_{n:k}$ with $n\geq \frac{k(k+1)}{2}+1$. We also show its usefulness by giving shorter proofs of the characterization of all Kneser graphs with fixed determining number 2, 3 or 4, going even further to fixed determining number 5. We finally establish for which Kneser graphs $K_{n:k}$ the determining number is equal to $n-k$, answering a question posed by Boutin.
On the Ubiquity and Utility of Cyclic Schemes
Published in Aus. J. of Comb., 55 (2013) 95--120
• Search Publication
Let $k,l,m,n$, and $μ$ be positive integers. A $\mathbb{Z}_μ$--{\it scheme of valency} $(k,l)$ and {\it order} $(m,n)$ is a $m \times n$ array $(S_{ij})$ of subsets $S_{ij} \subseteq \mathbb{Z}_μ$ such that for each row and column one has $\sum_{j=1}^n |S_{ij}| = k $ and $\sum_{i=1}^m |S_{ij}| = l$, respectively. Any such scheme is an algebraic equivalent of a $(k,l)$-semi-regular bipartite voltage graph with $n$ and $m$ vertices in the bipartition sets and voltages coming from the cyclic group $\mathbb{Z}_μ$. We are interested in the subclass of $\mathbb{Z}_μ$--schemes that are characterized by the property $a - b + c - d\; \not \equiv \;0$ (mod $μ$) for all $a \in S_{ij}$, $b \in S_{ih}$, $c \in S_{gh}$, and $d \in S_{gj}$ where $i,g \in {1,...,m}$ and $j,h \in {1,...,n}$ need not be distinct. These $\mathbb{Z}_μ$--schemes can be used to represent adjacency matrices of regular graphs of girth $\ge 5$ and semi-regular bipartite graphs of girth $\ge 6$. For suitable $ρ, σ\in \mathbb{N}$ with $ρk = σl$, they also represent incidence matrices for polycyclic $(ρμ_k, σμ_l)$ configurations and, in particular, for all known Desarguesian elliptic semiplanes. Partial projective closures yield {\it mixed $\mathbb{Z}_μ$-schemes}, which allow new constructions for Krčadinac's sporadic configuration of type $(34_6)$ and Balbuena's bipartite $(q-1)$-regular graphs of girth 6 on as few as $2(q^2-q-2)$ vertices, with $q$ ranging over prime powers. Besides some new results, this survey essentially furnishes new proofs in terms of (mixed) $\mathbb{Z}_μ$--schemes for ad-hoc constructions used thus far.
Bounds of a number of leaves of spanning trees
Published in Journal of Mathematical Sciences, Volume 184, Issue 5 (2012), pp. 564-572
• View Publication
• BIB
We prove that every connected graph with $s$ vertices of degree not 2 has a spanning tree with at least ${1\over 4}(s-2)+2$ leaves.
Let $G$ be a be a connected graph of girth $g$ with $v>1$ vertices. Let maximal chain of successively adjacent vertices of degree 2 in the graph $G$ does not exceed $k\ge 1$. We prove that $G$ has a spanning tree with at least $α_{g,k}(v(G)-k-2)+2$ leaves, where $α_{g,k}= {[{g+1\over2}]\over [{g+1\over2}](k+3)+1}$ for $k<g-2$; $α_{g,k}= {g-2\over (g-1)(k+2)}$ for $k\ge g-2$.
We present infinite series of examples showing that all these bounds are exact.
Decidability of the HD0L ultimate periodicity problem
Published
• View Publication
• BIB
In this paper we prove the decidability of the HD0L ultimate periodicity problem.
Families of Small Regular Graphs of Girth 5
Published in Discrete Math. 312(18) (2012) 2832--2842
• View Publication
• BIB
In this paper we obtain $(q+3)$--regular graphs of girth 5 with fewer vertices than previously known ones for $q=13,17,19$ and for any prime $q \ge 23$ performing operations of reductions and amalgams on the Levi graph $B_q$ of an elliptic semiplane of type ${\cal C}$. We also obtain a 13-regular graph of girth 5 on 236 vertices from $B_{11}$ using the same technique.
An explicit formula for obtaining $(q+1,8)$-cages and others small regular graphs of girth 8
Let $q$ be a prime power; $(q+1,8)$-cages have been constructed as incidence graphs of a non-degenerate quadric surface in projective 4-space $P(4, q)$. The first contribution of this paper is a construction of these graphs in an alternative way by means of an explicit formula using graphical terminology. Furthermore by removing some specific perfect dominating sets from a $(q+1,8)$-cage we derive $k$-regular graphs of girth 8 for $k= q-1$ and $k=q$, having the smallest number of vertices known so far.
Unified derivation of the limit shape for multiplicative ensembles of random integer partitions with equiweighted parts
Published
• View Publication
• BIB
We derive the limit shape of Young diagrams, associated with growing integer partitions, with respect to multiplicative probability measures underpinned by the generating functions of the form $\mathcal{F}(z)=\prod_{\ell=1}^\infty \mathcal{F}_0(z^\ell)$ (which entails equal weighting among possible parts $\ell\in\mathbb{N}$). Under mild technical assumptions on the function $H_0(u)=\ln(\mathcal{F}_0(u))$, we show that the limit shape $ω^*(x)$ exists and is given by the equation $y=γ^{-1}H_0(\mathrm{e}^{-γx})$, where $γ^2=\int_0^1 u^{-1}H_0(u)\,\mathrm{d}u$. The wide class of partition measures covered by this result includes (but is not limited to) representatives of the three meta-types of decomposable combinatorial structures --- assemblies, multisets and selections. Our method is based on the usual randomization and conditioning; to this end, a suitable local limit theorem is proved. The proofs are greatly facilitated by working with the cumulants of sums of the part counts rather than with their moments.