Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Primitive Polynomials, Singer Cycles, and Word-Oriented Linear Feedback Shift Registers
Published in Designs, Codes and Cryptography, Vol. 58, No. 2 (2011), pp. 123-134
• View Publication
• BIB
Using the structure of Singer cycles in general linear groups, we prove that a conjecture of Zeng, Han and He (2007) holds in the affirmative in a special case, and outline a plausible approach to prove it in the general case. This conjecture is about the number of primitive $σ$-LFSRs of a given order over a finite field, and it generalizes a known formula for the number of primitive LFSRs, which, in turn, is the number of primitive polynomials of a given degree over a finite field. Moreover, this conjecture is intimately related to an open question of Niederreiter (1995) on the enumeration of splitting subspaces of a given dimension.
Interlacing Property of Zeros of Eigenvectors of Schrödinger Operators on Trees
Published
• View Publication
• BIB
We prove an analogue for trees of Courant's theorem on the interlacing property of zeros of eigenfunctions of a Schrödinger operator. Let $Γ$ be a finite tree, and $\mathcal A$ a Schrödinger operator on $Γ$. If the eigenvectors of $\mathcal A$ are ordered according to increasing eigenvalues, and the vertices corresponding to zero coordinates are of degree at most two, then the zeros of the linear extensions of eigenvectors have the interlacing property.
On the criteria of D-planarity of a tree
Let $T$ be a tree with a fixed subset of vertices $V^{\ast}$ such that there is a cyclic order $C$ on it and all terminal vertices are contained in this set. Let $D^{2} = \{(x,y) \in \rr^{2} | x^{2} + y^{2} \leq 1 \}$ be a closed oriented 2--dimensional disk. The tree $T$ is called D-planar if there exists an embedding $\varphi : T \to \rr^{2}$ which satisfies the following conditions $\varphi(T) \subseteq D^{2}$, $\varphi(T) \cap \partial D^{2} = \varphi(V^{\ast})$ and if $\sharp V^{\ast} \geq 3$ then a cyclic order $\varphi(C)$ of $\varphi(V^{\ast})$ coincides with a cyclic order which is generated by the orientation of $\partial D^{2} \cong S^{1}$.
Pappus-Desargues digraph confrontation
Like the Coxeter graph became reattached into the Klein graph in [2], the Levi graphs of the $9_3$ and $10_3$ self-dual configurations, known as the Pappus and Desargues ($k$-transitive) graphs $\mathcal P$ and $\mathcal D$ (where $k=3$), also admit reattachments of the distance-$(k-1)$ graphs of half of their oriented shortest cycles via orientation assignments on their common $(k-1)$-arcs, concurrent for ${\mathcal P}$ and opposite for $\mathcal D$, now into 2 disjoint copies of their corresponding Menger graphs. Here, $\mathcal P$ is the unique cubic distance-transitive (or CDT) graph with the concurrent-reattachment behavior while $\mathcal D$ is one of 7 CDT graphs with the opposite-reattachment behavior, that include the Coxeter graph. Thus, $\mathcal P$ and $\mathcal D$ confront each other in these respects, obtained via $\mathcal C$-ultrahomogeneous graph techniques [3,4] that allow to characterize the obtained reattachment Menger graphs in the same terms.
Crossings and nestings in set partitions of classical types
Published
• View Publication
• BIB
In this article, we investigate bijections on various classes of set partitions of classical types that preserve openers and closers. On the one hand we present bijections that interchange crossings and nestings. For types B and C, they generalize a construction by Kasraoui and Zeng for type A, whereas for type D, we were only able to construct a bijection between non-crossing and non-nesting set partitions. On the other hand we generalize a bijection to type B and C that interchanges the cardinality of the maximal crossing with the cardinality of the maximal nesting, as given by Chen, Deng, Du, Stanley and Yan for type A. Using a variant of this bijection, we also settle a conjecture by Soll and Welker concerning generalized type B triangulations and symmetric fans of Dyck paths.
Some curious congruences modulo primes
Published in J. Number Theory 130(2010), 930--935
• View Publication
• BIB
Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence: $$\sum_{0<i_1<...<i_n<p}(i_1/3)(-1)^{i_1}/(i_1...i_n)=0 (mod p).$$
Finding an Unknown Acyclic Orientation of a Given Graph
Published
• View Publication
• BIB
Let c(G) be the smallest number of edges we have to test in order to determine an unknown acyclic orientation of the given graph G in the worst case. For example, if G is the complete graph on n vertices, then c(G) is the smallest number of comparisons needed to sort n numbers.
We prove that c(G)\le (1/4+o(1))n^2 for any graph G on n vertices, answering in the affirmative a question of Aigner, Triesch, and Tuza [Discrete Mathematics, 144 (1995) 3-10]. Also, we show that, for every e>0, it is NP-hard to approximate the parameter c(G) within a multiplicative factor 74/73-e.
Asymptotic Normality of Statistics on Permutation Tableaux
Published
• View Publication
• BIB
In this paper we use a probabilistic approach to derive the expressions for the characteristic functions of basic statistics defined on permutation tableaux. Since our expressions are exact, we can identify the distributions of basic statistics (like the number of unrestricted rows, the number of rows, and the number of 1s in the first row) exactly. In all three cases the distributions are known to be asymptotically normal after a suitable normalization. We also establish the asymptotic normality of the number of superfluous 1s. The latter result relies on a bijection between permutation tableaux and permutations and on a rather general sufficient condition for the central limit theorem for the sums of random variables in terms of dependency graph of the summands.
A Proof of Moll's Minimum Conjecture
Published
• View Publication
• BIB
Let $d_i(m)$ denote the coefficients of the Boros-Moll polynomials. Moll's minimum conjecture states that the sequence $\{i(i+1)(d_i^2(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ attains its minimum with $i=m$. This conjecture is a stronger than the log-concavity conjecture proved by Kausers and Paule. We give a proof of Moll's conjecture by utilizing the spiral property of the sequence $\{d_i(m)\}_{0\leq i \leq m}$, and the log-concavity of the sequence $\{i!d_i(m)\}_{0\leq i \leq m}$.
Positivity of Equivariant Schubert Classes Through Moment Map Degeneration
Published
• View Publication
• BIB
For a flag manifold $M=G/B$ with the canonical torus action, the $T-$equivariant cohomology is generated by equivariant Schubert classes, with one class $τ_u$ for every element $u$ of the Weyl group $W$. These classes are determined by their restrictions to the fixed point set $M^T \simeq W$, and the restrictions are polynomials with nonnegative integer coefficients in the simple roots.
The main result of this article is a positive formula for computing $τ_u(v)$ in types A, B, and C. To obtain this formula we identify $G/B$ with a generic co-adjoint orbit and use a result of Goldin and Tolman to compute $τ_u(v)$ in terms of the induced moment map. Our formula, given as a sum of contributions of certain maximal ascending chains from $u$ to $v$, follows from a systematic degeneration of the moment map, corresponding to degenerating the co-adjoint orbit. In type A we prove that our formula is manifestly equivalent to the formula announced by Billey in \cite{Bi}, but in type C, the two formulas are not equivalent.
A finite calculus approach to Ehrhart polynomials
Published in Electron. J. Combin. 17 (2010), no. 1, Research Paper 68, 13pp.
• View Publication
• BIB
A rational polytope is the convex hull of a finite set of points in $\R^d$ with rational coordinates. Given a rational polytope $P \subseteq \R^d$, Ehrhart proved that, for $t\in\Z_{\ge 0}$, the function $#(tP \cap \Z^d)$ agrees with a quasi-polynomial $L_P(t)$, called the Ehrhart quasi-polynomial. The Ehrhart quasi-polynomial can be regarded as a discrete version of the volume of a polytope. We use that analogy to derive a new proof of Ehrhart's theorem. This proof also allows us to quickly prove two other facts about Ehrhart quasi-polynomials: McMullen's theorem about the periodicity of the individual coefficients of the quasi-polynomial and the Ehrhart-Macdonald theorem on reciprocity.
k-fold sums from a set with few products
Published
• View Publication
• BIB
In the present paper we show that if A is a set of n real numbers, and the product set A.A has at most n^(1+c) elements, then the k-fold sumset kA has at least n^(log(k/2)/2 log 2 + 1/2 - f_k(c)) elements, where f_k(c) -> 0 as c -> 0. We believe that the methods in this paper might lead to a much stronger result; indeed, using a result of Trevor Wooley on Vinogradov's Mean Value Theorem and the Tarry-Escott Problem, we show that if |A.A| < n^(1+c), then |k(A.A)| > n^(Omega((k/log k)^(1/3))), for c small enough in terms of k (we believe that a certain modification of this argument can perhaps produce similar conclusions for kA).
The powers of smooth words over arbitrary 2-letter alphabets
Carpi (1993) and Lepisto (1994) proved independently that smooth words are cube-free for the alphabet {1, 2}, but nothing is known on whether for the other 2-letter alphabets, smooth words are k-power-free for some suitable positive integer k. In this paper, we first establish the derivative formula of the concatenation of two smooth words and power derivative formula of smooth words over arbitrary 2-letter alphabets. Then by making use of power derivative formula, for arbitrary 2-letter alphabet {a, b} with a, b being positive integers and a<b, we prove that smooth words are (b+1)-power-free except for a=1 and b=3; and smooth words are quintic-free and there are infinitely many smooth biquadrates for the alphabet {1, 3}. Moreover, we give the number of smooth words of form w^n with a and b having the same parity.
Super RSK-algorithms and super plactic monoid
Published in International Journal of Algebra and Computation vol. 16, no. 2, pp. 377-396 (2006)
• Search Publication
We construct the analogue of the plactic monoid for the super semistandard Young tableaux over a signed alphabet. This is done by developing a generalization of the Knuth's relations. Moreover we get generalizations of Greene's invariants and Young-Pieri rule. A generalization of the symmetry theorem in the signed case is also obtained. Except for this last result, all the other results are proved without restrictions on the orderings of the alphabets.
Step Size in Stein's Method of Exchangeable Pairs
Published
• View Publication
• BIB
Stein's method of exchangeable pairs is examined through five examples in relation to Poisson and normal distribution approximation. In particular, in the case where the exchangeable pair is constructed from a reversible Markov chain, we analyze how modifying the step size of the chain in a natural way affects the error term in the approximation acquired through Stein's method. It has been noted for the normal approximation that smaller step sizes may yield better bounds, and we obtain the first rigorous results that verify this intuition. For the examples associated to the normal distribution, the bound on the error is expressed in terms of the spectrum of the underlying chain, a characteristic of the chain related to convergence rates. The Poisson approximation using exchangeable pairs is less studied than the normal, but in the examples presented here the same principles hold.
Discrete concavity and the half-plane property
Published in SIAM J. Discrete Math. 24 (2010), no. 3, 921-933
• View Publication
• BIB
Murota et al. have recently developed a theory of discrete convex analysis which concerns M-convex functions on jump systems. We introduce here a family of M-concave functions arising naturally from polynomials (over a field of generalized Puiseux series) with prescribed non-vanishing properties. This family contains several of the most studied M-concave functions in the literature. In the language of tropical geometry we study the tropicalization of the space of polynomials with the half-plane property, and show that it is strictly contained in the space of M-concave functions. We also provide a short proof of Speyer's hive theorem which he used to give a new proof of Horn's conjecture on eigenvalues of sums of Hermitian matrices.
Laguerre-type derivatives: Dobinski relations and combinatorial identities
Published in J. Math. Phys. 50, 083512 (2009)
• View Publication
• BIB
We consider properties of the operators D(r,M)=a^r(a^†a)^M (which we call generalized Laguerre-type derivatives), with r=1,2,..., M=0,1,..., where a and a^†are boson annihilation and creation operators respectively, satisfying [a,a^†]=1. We obtain explicit formulas for the normally ordered form of arbitrary Taylor-expandable functions of D(r,M) with the help of an operator relation which generalizes the Dobinski formula. Coherent state expectation values of certain operator functions of D(r,M) turn out to be generating functions of combinatorial numbers. In many cases the corresponding combinatorial structures can be explicitly identified.
Permutation Statistics and $q$-Fibonacci Numbers
Published
• View Publication
• BIB
In a recent paper, Goyt and Sagan studied distributions of certain set partition statistics over pattern restricted sets of set partitions that were counted by the Fibonacci numbers. Their study produced a class of $q$-Fibonacci numbers, which they related to $q$-Fibonacci numbers studied by Carlitz and Cigler. In this paper we will study the distributions of some Mahonian statistics over pattern restricted sets of permutations. We will give bijective proofs connecting some of our $q$-Fibonacci numbers to those of Carlitz, Cigler, Goyt and Sagan. We encode these permutations as words and use a weight to produce bijective proofs of $q$-Fibonacci identities. Finally, we study the distribution of some of these statistics on pattern restricted permutations that West showed were counted by even Fibonacci numbers.
Hamilton cycles in 3-out
Published
• View Publication
• BIB
Let G_{\rm 3-out} denote the random graph on vertex set [n] in which each vertex chooses 3 neighbors uniformly at random. Note that G_{\rm 3-out} has minimum degree 3 and average degree 6. We prove that the probability that G_{\rm 3-out} is Hamiltonian goes to 1 as n tends to infinity.
The sovability of norm, bilinear and quadratic equations over finite fields via spectra of graphs
Published
• View Publication
• BIB
In this paper we will give a unified proof of several results on the sovability of systems of certain equations over finite fields, which were recently obtained by Fourier analytic methods.
Roughly speaking, we show that almost all systems of norm, bilinear or quadratic equations over finite fields are solvable in any large subset of vector spaces over finite fields.