Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The Distant-l Chromatic Number of Random Geometric Graphs
A random geometric graph $G_n$ is given by picking $n$ vertices in $\mathbb{R}^d$ independently under a common bounded probability distribution, with two vertices adjacent if and only if their $l^p$-distance is at most $r_n$. We investigate the distant-$l$ chromatic number $χ_l(G_n)$ of $G_n$ for $l\ge1$. Complete picture of the ratios of $χ_l(G_n)$ to the chromatic number $χ(G_n)$ are given in the sense of almost sure convergence.
Linear Systems on Tropical Curves
Published in Mathematische Zeitschrift 270 (2012), no. 3-4, 1111-1140
• View Publication
• BIB
A tropical curve Γis a metric graph with possibly unbounded edges, and tropical rational functions are continuous piecewise linear functions with integer slopes. We define the complete linear system |D| of a divisor D on a tropical curve Γanalogously to the classical counterpart. We investigate the structure of |D| as a cell complex and show that linear systems are quotients of tropical modules, finitely generated by vertices of the cell complex. Using a finite set of generators, |D| defines a map from Γto a tropical projective space, and the image can be extended to a tropical curve of degree equal to °(D). The tropical convex hull of the image realizes the linear system |D| as a polyhedral complex. We show that curves for which the canonical divisor is not very ample are hyperelliptic. We also show that the Picard group of a \Q-tropical curve is a direct limit of critical groups of finite graphs converging to the curve.
An Improvement on Vizing's Conjecture
Published
• View Publication
• BIB
Let $γ(G)$ denote the domination number of a graph $G$. A {\it Roman domination function} of a graph $G$ is a function $f: V\to\{0,1,2\}$ such that every vertex with 0 has a neighbor with 2. The {\it Roman domination number} $γ_R(G)$ is the minimum of $f(V(G))=Σ_{v\in V}f(v)$ over all such functions. Let $G\square H$ denote the Cartesian product of graphs $G$ and $H$. We prove that $γ(G)γ(H) \leq γ_R(G\square H)$ for all simple graphs $G$ and $H$, which is an improvement of $γ(G)γ(H) \leq 2γ(G\square H)$ given by Clark and Suen \cite{CS}, since $γ(G\square H)\leq γ_R(G\square H)\leq 2γ(G\square H)$.
Acute triangulations of polyhedra and R^n
Published
• View Publication
• BIB
We study the problem of acute triangulations of convex polyhedra and the space R^n. Here an acute triangulation is a triangulation into simplices whose dihedral angles are acute. We prove that acute triangulations of the n-cube do not exist for n>=4. Further, we prove that acute triangulations of the space R^n do not exist for n>= 5. In the opposite direction, in R^3, we present a construction of an acute triangulation of the cube, the regular octahedron and a non-trivial acute triangulation of the regular tetrahedron. We also prove nonexistence of an acute triangulation of R^4 if all dihedral angles are bounded away from pi/2.
Some congruences for the second-order Catalan numbers
Published in Proc. Amer. Math. Soc. 138(2010), no.1, 37-46
• View Publication
• BIB
Let p be any odd prime. We mainly show that $$\sum_{k=1}^{p-1}binomial(3k,k)*2^k/k=0 (mod p)$$ and $$\sum_{k=1}^{p-1}2^{k-1}C_k^{(2)}=(-1)^{(p-1)/2}-1 (mod p),$$ where $C_k^{(2)}=binomial(3k,k)/(2k+1)$ is the $k$th Catalan number of order 2.
Maximal Pivots on Graphs with an Application to Gene Assembly
Published in Discrete Applied Mathematics, Volume 158, Issue 18, Pages 1977-1985
• View Publication
• BIB
We consider principal pivot transform (pivot) on graphs. We define a natural variant of this operation, called dual pivot, and show that both the kernel and the set of maximally applicable pivots of a graph are invariant under this operation. The result is motivated by and applicable to the theory of gene assembly in ciliates.
Bethe Ansatz, Inverse Scattering Transform and Tropical Riemann Theta Function in a Periodic Soliton Cellular Automaton for A^{(1)}_n
Published in SIGMA 6 (2010), 013, 52 pages
• View Publication
• BIB
We study an integrable vertex model with a periodic boundary condition associated with U_q(A_n^{(1)}) at the crystallizing point q=0. It is an (n+1)-state cellular automaton describing the factorized scattering of solitons. The dynamics originates in the commuting family of fusion transfer matrices and generalizes the ultradiscrete Toda/KP flow corresponding to the periodic box-ball system. Combining Bethe ansatz and crystal theory in quantum group, we develop an inverse scattering/spectral formalism and solve the initial value problem based on several conjectures. The action-angle variables are constructed representing the amplitudes and phases of solitons. By the direct and inverse scattering maps, separation of variables into solitons is achieved and nonlinear dynamics is transformed into a straight motion on a tropical analogue of the Jacobi variety. We decompose the level set into connected components under the commuting family of time evolutions and identify each of them with the set of integer points on a torus. The weight multiplicity formula derived from the q=0 Bethe equation acquires an elegant interpretation as the volume of the phase space expressed by the size and multiplicity of these tori. The dynamical period is determined as an explicit arithmetical function of the n-tuple of Young diagrams specifying the level set. The inverse map, i.e., tropical Jacobi inversion is expressed in terms of a tropical Riemann theta function associated with the Bethe ansatz data. As an application, time average of some local variable is calculated.
Various congruences involving binomial coefficients and higher-order Catalan numbers
Let $p$ be a prime and let $a$ be a positive integer. In this paper we investigate $\sum_{k=0}^{p^a-1}\binom[(h+1)k,k+d]/m^k$ modulo a prime $p$, where $d$ and $m$ are integers with $-h<d<=p^a$ and $m\not=0 (mod p)$. We also study congruences involving higher-order Catalan numbers $C_k^{(h)}=\binom[(h+1)k,k]/(hk+1)$ and $\bar C_k^{(h)}=\binomal[(h+1)k,k]*h/(k+1)$. Our tools include linear recurrences and the theory of cubic residues. Here are some typical results in the paper. (i) If $p^a=1 (mod 6)$ then $$\sum_{k=1}^{p^a-1}\binom[3k,k]/6^k=2^{(p^a-1)/3}-1 (mod p).$$ Also, $$\sum_{k=0}^{p^a-1}\binom[3k,k]/7^k=\cases-2&if p^a=\pm2 (mod 7), \\1&otherwise.$$ (ii) We have $$\sum_{k=1}^{p^a-1}\binom[4k,k]/5^k=\cases1 (mod p) if p\not=11 and p^a=1 (mod 5), \1/11 (mod p)&if p^a=2,3 (mod 5), \9/11 (mod p) if p^a=4 (mod 5). $$ Also, $$\sum_{k=0}^{p^a-1}C_k^{(3)}/5^k=\cases1 (mod p) if p^a=1,3 (mod 5), \2 (mod p) if p^a=2 (mod 5), \\0 (mod p)& p^a=4 (mod 5).$$
Nonexistence of Certain Skew-symmetric Amorphous Association Schemes
Published
• View Publication
• BIB
An association scheme is amorphous if it has as many fusion schemes as possible. Symmetric amorphous schemes were classified by A. V. Ivanov [A. V. Ivanov, Amorphous cellular rings II, in Investigations in algebraic theory of combinatorial objects, pages 39--49. VNIISI, Moscow, Institute for System Studies, 1985] and commutative amorphous schemes were classified by T. Ito, A. Munemasa and M. Yamada [T. Ito, A. Munemasa and M. Yamada, Amorphous association schemes over the Galois rings of characteristic 4, European J. Combin., 12(1991), 513--526]. A scheme is called skew-symmetric if the diagonal relation is the only symmetric relation. We prove the nonexistence of skew-symmetric amorphous schemes with at least 4 classes. We also prove that non-symmetric amorphous schemes are commutative.
Colored trees and noncommutative symmetric functions
Published
• View Publication
• BIB
Let $\CRF_S$ denote the category of $S$-colored rooted forests, and $\H_{\CRF_S}$ denote its Ringel-Hall algebra as introduced in \cite{KS}. We construct a homomorphism from a $K^+_0 (\CRF_S)$--graded version of the Hopf algebra of noncommutative symmetric functions to $\H_{\CRF_S}$. Dualizing, we obtain a homomorphism from the Connes-Kreimer Hopf algebra to a $K^+_0 (\CRF_S)$--graded version of the algebra of quasisymmetric functions. This homomorphism is a refinement of one considered by W. Zhao in \cite{Z}.
On the Degree Sequence of Random Geometric Digraphs
Published in Applied Mathematical Sciences, 2010, vol.4(41), pp.2001--2012
• Search Publication
A random geometric digraph $G_n$ is constructed by taking $\{X_1,X_2,... X_n\}$ in $\mathbb{R}^2$ independently at random with a common bounded density function. Each vertex $X_i$ is assigned at random a sector $S_i$ of central angle $α$ with inclination $Y_i$, in a circle of radius $r$ (with vertex $X_i$ as the origin). An arc is present from vertex $X_i$ to $X_j$, if $X_j$ falls in $S_i$. Suppose $k$ is fixed and $\{k_n\}$ is a sequence with $1\ll k_n\ll n^{1/2}$, as $n\to\infty$. We prove central limit theorems for $k-$ and $k_n-$nearest neighbor distance of out- and in-degrees in $G_n$. We also show that the degree distribution of this model, which varies with the probability distribution of the underlying point processes, can be either homogeneous or inhomogeneous. Our work should provide valuable insights for alternative mechanisms wrapped in real-world complex networks.
The Number of Independent Sets in a Regular Graph
Published in Combin. Probab. Comput. 19 (2010), 315-320
• View Publication
• BIB
We show that the number of independent sets in an N-vertex, d-regular graph is at most (2^{d+1} - 1)^{N/2d}, where the bound is sharp for a disjoint union of complete d-regular bipartite graphs. This settles a conjecture of Alon in 1991 and Kahn in 2001. Kahn proved the bound when the graph is assumed to be bipartite. We give a short proof that reduces the general case to the bipartite case. Our method also works for a weighted generalization, i.e., an upper bound for the independence polynomial of a regular graph.
Pattern occurrence in the dyadic expansion of square root of two and an analysis of pseudorandom number generators
Published in A part of this paper was published in: Electronic Journal of Combinatorial Number Theory, vol.10 (2010) 111-127
• View Publication
• BIB
Recently, designs of pseudorandom number generators (PRNGs) using integer-valued variants of logistic maps and their applications to some cryptographic schemes have been studied, due mostly to their ease of implementation and performance. However, it has been noted that this ease is reduced for some choices of the PRNGs accuracy parameters. In this article, we show that the distribution of such undesirable accuracy parameters is closely related to the occurrence of some patterns in the dyadic expansion of the square root of 2. We prove that for an arbitrary infinite binary word, the asymptotic occurrence rate of these patterns is bounded in terms of the asymptotic occurrence rate of zeroes. We also present examples of infinite binary words that tightly achieve the bounds. As a consequence, a classical conjecture on asymptotic evenness of occurrence of zeroes and ones in the dyadic expansion of the square root of 2 implies that the asymptotic rate of the undesirable accuracy parameters for the PRNGs is at least 1/6.
The number of Latin squares of order 11
Published
• View Publication
• BIB
Constructive and nonconstructive techniques are employed to enumerate Latin squares and related objects. It is established that there are (i) 2036029552582883134196099 main classes of Latin squares of order 11; (ii) 6108088657705958932053657 isomorphism classes of one-factorizations of $K_{11,11}$; (iii) 12216177315369229261482540 isotopy classes of Latin squares of order 11; (iv) 1478157455158044452849321016 isomorphism classes of loops of order 11; and (v) 19464657391668924966791023043937578299025 isomorphism classes of quasigroups of order 11. The enumeration is constructive for the 1151666641 main classes with an autoparatopy group of order at least 3.
Some Non-Trivial Kazhdan-Lusztig Coefficients of an Affine Weyl Group of Type $\tilde A_n$
Published
• View Publication
• BIB
In this paper we show that the leading coefficient $μ(y,w)$ of some Kazhdan-Lusztig polynomials $P_{y,w}$ with $y,w$ in an affine Weyl group of type $\tilde A_n $ is $n+2$. This fact has some consequences on the dimension of first extension groups of finite groups of Lie type with irreducible coefficients.
In How Many Ways Can You Reassemble Several Russian Dolls?
When my brilliant student Thotsaporn "Aek" Thanatipanonda asked me about how many ways can one cover n identical twins, it rang a Bell back to 1981 (see the article). As usual, the method of teaching the computer how to do its own combinatorics, and to use "analysis" (that is really part of discrete math) to enumerate challenging combinatorial objects is even more interesting than the theorems and even the algorithm. Of course, formulas are dead, long live algorithms! But even algorithms are dead, long live meta-algorithms!!
A Multi-Set Identity for Partitions
We prove that the multiset {(RightArmLength,LeftArmLength)} ranging over all cells of all Ferrers diagrams with n cells equals the multiset {(RightArmLength,LegLength)} ranging over all cells of all Ferrers diagrams with n cells, thereby refining a multi-set identity proved by C. Bessenrodt and by Bacher and L. Manivel.
Added In revised version: Guo-Niu Han kindly pointed out to us that our main result is contained in reference [B.H] of the present article.
Ascent sequences and upper triangular matrices containing non-negative integers
Published
• View Publication
• BIB
This paper presents a bijection between ascent sequences and upper triangular matrices whose non-negative entries are such that all rows and columns contain at least one non-zero entry. We show the equivalence of several natural statistics on these structures under this bijection and prove that some of these statistics are equidistributed. Several special classes of matrices are shown to have simple formulations in terms of ascent sequences. Binary matrices are shown to correspond to ascent sequences with no two adjacent entries the same. Bidiagonal matrices are shown to be related to order-consecutive set partitions and a simple condition on the ascent sequences generate this class.
Regular Circulant Matrices
We consider the groups of regular circulant matrices over finite fields and integer residue class rings. In both cases we present a formula for the order of these groups. We also make a first step towards finding the algebraic structure of them.
The weak Lefschetz property, monomial ideals, and lozenges
Published in Illinois J. Math. 55 (2011), no. 1, 377--395
• View Publication
• BIB
We study the weak Lefschetz property and the Hilbert function of level Artinian monomial almost complete intersections in three variables. Several such families are shown to have the weak Lefschetz property if the characteristic of the base field is zero or greater than the maximal degree of any minimal generator of the ideal. Two of the families have an interesting relation to tilings of hexagons by lozenges. This lends further evidence to a conjecture by Migliore, Miro-Roig, and the second author. Finally, using our results about the weak Lefschetz property, we show that the Hilbert function of each level Artinian monomial almost complete intersection in three variables is peaked strictly unimodal.