Showing 20 papers (Total: 83076 papers, 47999 authors in database)
A connection between palindromic and factor complexity using return words
Published in Advances In Applied Mathematics 42 (2009) 60--74
• View Publication
• BIB
In this paper we prove that for any infinite word W whose set of factors is closed under reversal, the following conditions are equivalent:
(I) all complete returns to palindromes are palindromes;
(II) P(n) + P(n+1) = C(n+1) - C(n) + 2 for all n, where P (resp. C) denotes the palindromic complexity (resp. factor complexity) function of W, which counts the number of distinct palindromic factors (resp. factors) of each length in W.
A remark on Frobenius characters for set representations of symmetric groups
For any set representation (permutation representation) of the symmetric group $S_n$, we give combinatorial interpretation for coefficients of its Frobenius character expanded in the basis of monomial symmetric functions.
The structure of a tridiagonal pair
Published
• View Publication
• BIB
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\{V_i\}_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_i + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\{V^*_i\}_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_i + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv)there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a tridiagonal pair on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i, V_{d-i}, V^*_i, V^*_{d-i}$ coincide. In this paper we show that the following (i)--(iv) hold provided that $K$ is algebraically closed: (i) Each of $V_0$, $V^*_0$, $V_d$, $V^*_d$ has dimension 1. (ii) There exists a nondegenerate symmetric bilinear form $(,)$ on $V$ such that $(Au,v)=(u,Av)$ and $(A^*u,v)=(u,A^*v)$ for all $u,v \in V$. (iii) There exists a unique anti-automorphism of $End(V)$ that fixes each of $A,A^*$. (iv) The pair $A,A^*$ is determined up to isomorphism by the data $(\{þ_i\}_{i=0}^d; \{þ^*_i\}_{i=0}^d; \{ζ_i\}_{i=0}^d)$, where $þ_i$ (resp. $þ^*_i$) is the eigenvalue of $A$ (resp. $A^*$) on $V_i$ (resp. $V^*_i$), and $\{ζ_i\}_{i=0}^d$ is the split sequence of $A,A^*$ corresponding to $\{þ_i\}_{i=0}^d$ and $\{þ^*_i\}_{i=0}^d$.
Approximate substitutions and the normal ordering problem
Published
• View Publication
• BIB
In this paper, we show that the infinite generalised Stirling matrices associated with boson strings with one annihilation operator are projective limits of approximate substitutions, the latter being characterised by a finite set of algebraic equations.
On the spectrum of unitary finite-Euclidean graphs
We consider unitary graphs attached to Z_d^n using an analogue of the Euclidean distance. These graphs are shown to be integral when n is odd or the dimension d is even.
Lefschetz Properties and Basic Constructions on Simplicial Spheres
Published
• View Publication
• BIB
The well known $g$-conjecture for homology spheres follows from the stronger conjecture that the face ring over the reals of a homology sphere, modulo a linear system of parameters, admits the strong-Lefschetz property. We prove that the strong-Lefschetz property is preserved under the following constructions on homology spheres: join, connected sum, and stellar subdivisions. The last construction is a step towards proving the $g$-conjecture for piecewise-linear spheres.
Integral representation of the $n$-th derivative in de Branges-Rovnyak spaces and the norm convergence of its reproducing kernel
Published
• View Publication
• BIB
In this paper, we give an integral representation for the boundary values of derivatives of functions of the de Branges--Rovnyak spaces $\HH(b)$, where $b$ is in the unit ball of $H^\infty(\CC_+)$. In particular, we generalize a result of Ahern--Clark obtained for functions of the model spaces $K_b$, where $b$ is an inner function. Using hypergeometric series, we obtain a nontrivial formula of combinatorics for sums of binomial coefficients. Then we apply this formula to show the norm convergence of reproducing kernel $k_{ω,n}^b$ of the evaluation of $n$-th derivative of elements of $\HH(b)$ at the point $ω$ as it tends radially to a point of the real axis.
On the number of collinear triples in permutations
Let $α:\mathbb{Z}_n\to\mathbb{Z}_n$ be a permutation and $Ψ(α)$ be the number of collinear triples modulo $n$ in the graph of $α$. Cooper and Solymosi had given by induction the bound $\min_αΨ(α)\geq\lceil(n-1)/4\rceil$ when $n$ is a prime number. The main purpose of this paper is to give a direct proof of that bound. Besides, the expected number of collinear triples a permutation can have is also been determined.
On the Distribution of the Domination Number of a New Family of Parametrized Random Digraphs
Published in Model Assisted Statistics and Applications (2007), 1(4):231-255
• View Publication
• BIB
We derive the asymptotic distribution of the domination number of a new family of random digraph called proximity catch digraph (PCD), which has application to statistical testing of spatial point patterns and to pattern recognition. The PCD we use is a parametrized digraph based on two sets of points on the plane, where sample size and locations of the elements of one is held fixed, while the sample size of the other whose elements are randomly distributed over a region of interest goes to infinity. PCDs are constructed based on the relative allocation of the random set of points with respect to the Delaunay triangulation of the other set whose size and locations are fixed. We introduce various auxiliary tools and concepts for the derivation of the asymptotic distribution. We investigate these concepts in one Delaunay triangle on the plane, and then extend them to the multiple triangle case. The methods are illustrated for planar data, but are applicable in higher dimensions also.
A problem on polynomial maps over finite fields
This is a short note that explains a problem on polynomial maps over finite fields for non-experts. The problem is: Do there exist odd polynomial automorphisms over the finite fields with 4,8,16,32,64,... elements? The explanation is very, very basic. Also, the background of the problem is given, and why it is of such importance. This all with the idea that the problem enters the world of discrete mathematics, and can be approached from completely different angles than normally used by people working in Affine Algebraic Geometry.
On principal hook length partitions and durfee sizes in skew characters
Published
• View Publication
• BIB
In this paper we construct for a given arbitrary skew diagram A all partitions nu with maximal principal hook lengths among all partitions with the character [nu] appearing in the skew character [A]. Furthermore we show that these are also partitions with minimal Durfee size. This we use to give the maximal Durfee size for [nu] appearing in [A] for the cases when A decays into two partitions and for some special cases of A. Also this gives conditions for two skew diagrams to represent the same skew character.
On nondegeneracy of curves
Published
• View Publication
• BIB
A curve is called nondegenerate if it can be modeled by a Laurent polynomial that is nondegenerate with respect to its Newton polytope. We show that up to genus 4, every curve is nondegenerate. We also prove that the locus of nondegenerate curves inside the moduli space of curves of fixed genus g > 1 is min(2g+1,3g-3)-dimensional, except in case g=7 where it is 16-dimensional.
Jack polynomials and free cumulants
Published in Advances in Mathematics 222 (2009) 2227-2269
• View Publication
• BIB
We study the coefficients in the expansion of Jack polynomials in terms of power sums. We express them as polynomials in the free cumulants of the transition measure of an anisotropic Young diagram. We conjecture that such polynomials have nonnegative integer coefficients. This extends recent results about normalized characters of the symmetric group.
A generating function for the N-soliton solutions of the Kadomtsev-Petviashvili II equation
Published
• View Publication
• BIB
This work describes a classification of the $N$-soliton solutions of the Kadomtsev-Petviashvili II equation in terms of chord diagrams of N chords joining pairs of 2N points. The different classes of N-solitons are enumerated by the distribution of crossings of the chords. The generating function of the chord diagrams is expressed as a continued fraction, special cases of which are moment generating functions for certain kinds of $q$-orthogonal polynomials.
Hopf Algebras in General and in Combinatorial Physics: a practical introduction
This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics, showing that in this latter case the axioms of Hopf algebra arise naturally. The text contains many exercises, some taken from physics, aimed at expanding and exemplifying the concepts introduced.
Motzkin numbers, central trinomial coefficients and hybrid polynomials
Published in Journal of Integer Sequences, Vol. 11, 2008, Article 08.1.1
• Search Publication
We show that the formalism of hybrid polynomials, interpolating between Hermite and Laguerre polynomials, is very useful in the study of Motzkin numbers and central trinomial coefficients. These sequences are identified as special values of hybrid polynomials, a fact which we use to derive their generalized forms and new identities satisfied by them.
Air Traffic Flow Management
Air Traffic Flow Management is the regulation of air traffic in order to avoid exceeding airport or flight sector capacity in handling traffic, and to ensure that available capacity is used efficiently. We have tried to explore the logic behind the claims by Bertsimas et.al about integral solutions to the LP relaxation of the Traffic Flow Management Problem(TFMP). Polyhedral theory only indicates that the stronger TFMP formulation of Bertsimas et.al might lead to integral solutions in some cases. Our computations indicate that the encouraging results reported by Bertsimas et.al are not merely fortuitous or due to their specific data set. Indeed, we found that the TFMP had integral solutions even in case of artificial data sets generated to include severe conflicts in the flight schedules. In our limited tests with 4-5 scenarios, we obtained non-integral solutions only once. This is of significant practical importance because, the LP relaxation can be solved even on small machines with low memory and processor speed.
On sumfree subsets of hypercubes
Published
• View Publication
• BIB
We consider the possible sizes of large sumfree sets contained in the discrete hypercube $\{1,...,n\}^k$, and we determine upper and lower bounds for the maximal size as $n$ becomes large. We also discuss a continuous analogue in which our lower bound remains valid and our upper bound can be strengthened, and we consider the generalization of both problems to $l$-fold-sumfree sets.
On mobile sets in the binary hypercube
Published in Diskretn. Anal. Issled. Oper. 15(3) 2008, 11-21 (in Russian)
• Search Publication
If two distance-3 codes have the same neighborhood, then each of them is called a mobile set. In the (4k+3)-dimensional binary hypercube, there exists a mobile set of cardinality 2*6^k that cannot be split into mobile sets of smaller cardinalities or represented as a natural extension of a mobile set in a hypercube of smaller dimension. Keywords: mobile set; 1-perfect code.
A formula for Plücker coordinates associated with a planar network
Published in Int Math Res Notices (2008) Vol. 2008, article ID rnn081, 19 pages, published on July 24, 2008.
• View Publication
• BIB
For a planar directed graph G, Postnikov's boundary measurement map sends positive weight functions on the edges of G onto the appropriate totally nonnegative Grassmann cell. We establish an explicit formula for Postnikov's map by expressing each Pluecker coordinate as a ratio of two combinatorially defined polynomials in the edge weights, with positive integer coefficients. In the non-planar setting, we show that a similar formula holds for special choices of Pluecker coordinates.