Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Tensor product decompositions and open orbits in multiple flag varieties
Published in J. Algebra, Vol. 313 (2007), 392-416
• View Publication
• BIB
For a connected semisimple algebraic group $G$, we consider some special infinite series of tensor products of simple $G$-modules whose
$G$-fixed point spaces are at most one-dimensional. We prove that their existence is closely related to the existence of open $G$-orbits in multiple flag varieties and address the problem of classifying such series.
Counting Knight's Tours through the Randomized Warnsdorff Rule
We give an estimate of the number of geometrically distinct open tours $\G$ for a knight on a chessboard. We use a randomization of Warnsdorff rule to implement importance sampling in a backtracking scheme, correcting the observed bias of the original rule, according to the proposed principle that ``most solutions follow Warnsdorff rule most of the time''. After some experiments in order to test this principle, and to calibrate a parameter, interpreted as a distance of a general solution from a Warnsdorff solution, we conjecture that $\G=1.22\times 10^{15}$.
Multilateral inversion of A_r, C_r and D_r basic hypergeometric series
Published in Ann. Comb. 13 (2009), 341-363
• View Publication
• BIB
In [Electron. J. Combin. 10 (2003), #R10], the author presented a new basic hypergeometric matrix inverse with applications to bilateral basic hypergeometric series. This matrix inversion result was directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. The present paper features three different multivariable generalizations of the above result. These are extracted from Gustafson's A_r and C_r extensions and of the author's recent A_r extension of Bailey's 6-psi-6 summation formula. By combining these new multidimensional matrix inverses with A_r and D_r extensions of Jackson's 8-phi-7 summation theorem three balanced very-well-poised 8-psi-8 summation theorems associated with the root systems A_r and C_r are derived.
Moments of characteristic polynomials for compact symmetric spaces and Jack polynomials
Published in J. Phys. A: Math. Theor. 40 (2007) 13567-13586
• View Publication
• BIB
We express the averages of products of characteristic polynomials for random matrix ensembles associated with compact symmetric spaces in terms of Jack polynomials or Heckman and Opdam's Jacobi polynomials depending on the root system of the space. We also give explicit expressions for the asymptotic behavior of these averages in the limit as the matrix size goes to infinity.
Totally geodesic subgraphs of the pants complex
Published
• View Publication
• BIB
Our main theorem asserts that every Farey graph embedded in the 1-skeleton of the pants complex of any finite type surface is totally geodesic.
Calculating the correlation coefficients of graph-theoretical indices
Published
• View Publication
• BIB
Using a generating function approach, the correlation coefficients of four different graph-theoretical indices, namely the number of independent vertex subsets, the number of matchings, the number of subtrees and the Wiener index, are asymptotically determined for random rooted ordered trees.
The Zeta Function of a Hypergraph
Published
• View Publication
• BIB
We generalize the Ihara-Selberg zeta function to hypergraphs in a natural way. Hashimoto's factorization results for biregular bipartite graphs apply, leading to exact factorizations. For $(d,r)$-regular hypergraphs, we show that a modified Riemann hypothesis is true if and only if the hypergraph is Ramanujan in the sense of Winnie Li and Patrick Solé. Finally, we give an example to show how the generalized zeta function can be applied to graphs to distinguish non-isomorphic graphs with the same Ihara-Selberg zeta function.
Universal Cycles on 3-Multisets
Consider the collection of all t-multisets of {1,...,n}. A universal cycle on multisets is a string of numbers, each of which is between 1 and n, such that if these numbers are considered in t-sized windows, every multiset in the collection is present in the string precisely once. The problem of finding necessary and sufficient conditions on n and t for the existence of universal cycles and similar combinatorial structures was first addressed by DeBruijn in 1946 (who considered t-tuples instead of t-multisets). The past 15 years has seen a resurgence of interest in this area, primarily due to Chung, Diaconis, and Graham's 1992 paper on the subject. For the case t=3, we determine necessary and sufficient conditions on n for the existence of universal cycles, and we examine how this technique can be generalized to other values of t.
Sufficient Conditions for Labelled 0-1 Laws
Published
• View Publication
• BIB
If F(x) = e^G(x), where F(x) = \sum f(n)x^n and $G(x) = \sum g(n)x^n, with 0 \le g(n) = O(n^{theta n}/n!),theta in (0,1), and gcd(n : g(n) > 0)=1, then f(n) = o(f(n-1)).
This gives an answer to Compton's request in Question 8.3 for an ``easily verifiable sufficient condition'' to show that an adequate class of structures has a labelled first-order 0-1 law, namely it suffices to show that the labelled component count function is O(n^{theta n}) for some theta in (0,1). It also provides the means to recursively construct an adequate class of structures with a labelled 0-1 law but not an unlabelled 0-1 law, answering Compton's Question 8.4.
An Introduction to Virtual Spatial Graph Theory
Published in Proceedings of the International Workshop on Knot Theory for Scientific Objects, OCAMI Studies, Vol. 1 (A. Kawauchi, editor), Osaka Municipal Universities Press, 2007
• Search Publication
Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area.
Factor-Critical Property in 3-Dominating-Critical Graphs
Published in Discrete Mathematics, 309 (2009) 1079--1083
• View Publication
• BIB
A vertex subset $S$ of a graph $G$ is a dominating set if every vertex of $G$ either belongs to $S$ or is adjacent to a vertex of $S$. The cardinality of a smallest dominating set is called the dominating number of $G$ and is denoted by $γ(G)$. A graph $G$ is said to be $γ$- vertex-critical if $γ(G-v)< γ(G)$, for every vertex $v$ in $G$. Let $G$ be a 2-connected $K_{1,5}$-free 3-vertex-critical graph. For any vertex $v \in V(G)$, we show that $G-v$ has a perfect matching (except two graphs), which is a conjecture posed by Ananchuen and Plummer.
Generalized Ismail's argument and $(f,g)$-expansion formula
As further development of earlier works on the $(f,g)$-inversion, the present paper is devoted to the $(f,g)$-difference operator and the representation problem or an expansion formula of analytic functions.
A recursive formula and the Leibniz formula for the $(f,g)$-difference operator of the product of two functions are established.
The resulting expansion formula not only unifies the $q$-analogue of the Lagrange inversion formula of Gessel and Stanton (thus, a $q$-expansion formula of Liu) for $q$-series but also systematizes the "Ismail's argument". In the meantime, a rigorous analytic proof of the $(1-xy,x-y)$-expansion formula with respect to geometric series, along with a proof of the previously unknown fact that it is equivalent to a $q$-analogue of the Lagrange inversion formula due to Gessel and Stanton, is presented. As applications, new proofs of several well-known summation and transformation formulas are investigated.
Sobolev spaces associated to the harmonic oscillator
Published
• View Publication
• BIB
We define the Hermite--Sobolev spaces naturally associated to the harmonic oscillator $H= -Δ+|x|^2.$ Structural properties, relations with the classical Sobolev spaces, boundedness of operators and almost everywhere convergence of solutions of the Schrödinger equation are also considered.
Distance-regular graphs and the $q$-tetrahedron algebra
Let $Γ$ denote a distance-regular graph with classical parameters $(D,b,α,β)$ and $b\not=1$, $α=b-1$. The condition on $α$ implies that $Γ$ is formally self-dual. For $b=q^2$ we use the adjacency matrix and dual adjacency matrix to obtain an action of the $q$-tetrahedron algebra $\boxtimes_q$ on the standard module of $Γ$. We describe four algebra homomorphisms into $\boxtimes_q$ from the quantum affine algebra $U_q({\hat{\mathfrak{sl}}_2})$; using these we pull back the above $\boxtimes_q$-action to obtain four actions of $U_q({\hat{\mathfrak{sl}}_2})$ on the standard module of $Γ$.
The Quiver of the Semigroup Algebra of a Left Regular Band
Published
• View Publication
• BIB
Recently it has been noticed that many interesting combinatorial objects belong to a class of semigroups called left regular bands, and that random walks on these semigroups encode several well-known random walks. For example, the set of faces of a hyperplane arrangement is endowed with a left regular band structure. This paper studies the module structure of the semigroup algebra of an arbitrary left regular band, extending results for the semigroup algebra of the faces of a hyperplane arrangement. In particular, a description of the quiver of the semigroup algebra is given and the Cartan invariants are computed. These are used to compute the quiver of the face semigroup algebra of a hyperplane arrangement and to show that the semigroup algebra of the free left regular band is isomorphic to the path algebra of its quiver.
Irregularity of hypergeometric systems via slopes along coordinate subspaces
Published in Duke Math. J. 142,3 (2008), 465-509
• View Publication
• BIB
We study the irregularity sheaves attached to the $A$-hypergeometric $D$-module $M_A(β)$ introduced by Gel'fand et al., where $A\in\mathbb{Z}^{d\times n}$ is pointed of full rank and $β\in\mathbb{C}^d$. More precisely, we investigate the slopes of this module along coordinate subspaces.
In the process we describe the associated graded ring to a positive semigroup ring for a filtration defined by an arbitrary weight vector $L$ on torus equivariant generators. To this end we introduce the $(A,L)$-umbrella, a simplicial complex determined by $A$ and $L$, and identify its facets with the components of the associated graded ring.
We then establish a correspondence between the full $(A,L)$-umbrella and the components of the $L$-characteristic variety of $M_A(β)$. We compute in combinatorial terms the multiplicities of these components in the $L$-characteristic cycle of the associated Euler-Koszul complex, identifying them with certain intersection multiplicities.
We deduce from this that slopes of $M_A(β)$ are combinatorial, independent of $β$, and in one-to-one correspondence with jumps of the $(A,L)$-umbrella. This confirms a conjecture of Sturmfels and gives a converse of a theorem of Hotta: $M_A(β)$ is regular if and only if $A$ defines a projective variety.
The sum of the squares of degrees: an overdue assignement
Published
• View Publication
• BIB
Let f(n,m) be the maximum of the sum of the squares of degrees of a graph with n vertices and m edges. Summarizing earlier research, we present a concise, asymptotically sharp upper bound on f(n,m), better than the bound of de Caen for almost all n and m.
The switching element for a Leonard pair
Published
• View Publication
• BIB
Let $V$ denote a vector space with finite positive dimension. We consider a pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below:
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal.
We call such a pair a {\em Leonard pair} on $V$. Let $v_0,v_1,...,v_d$ (resp. $w_0,w_1,...,w_d$) denote a basis for $V$ referred to in (i) (resp. (ii)). We show that there exists a unique linear transformation $S: V \to V$ that sends $v_0$ to a scalar multiple of $v_d$, fixes $w_0$, and sends $w_i$ to a scalar multiple of $w_i$ for $1 \leq i \leq d$. We call $S$ the {\it switching element}. We describe $S$ from many points of view.
Combinatorial modulus and type of graphs
Published in Topology and its Applications Volume 156, Issue 17, 1 November 2009, Pages 2747-2761
• View Publication
• BIB
Let a $A$ be the 1-skeleton of a triangulated topological annulus. We establish bounds on the combinatorial modulus of a refinement $A'$, formed by attaching new vertices and edges to $A$, that depend only on the refinement and not on the structure of $A$ itself. This immediately applies to showing that a disk triangulation graph may be refined without changing its combinatorial type, provided the refinement is not too wild. We also explore the type problem in terms of disk growth, proving a parabolicity condition based on a superlinear growth rate, which we also prove optimal. We prove our results with no degree restrictions in both the EEL and VEL settings and examine type problems for more general complexes and dual graphs.
Eta-series and a Boolean Bercovici-Pata bijection for bounded k-tuples
Published
• View Publication
• BIB
On the space of (non-commutative) distributions of k-tuples of selfadjoint elements in a $C^*$-probability space $D_c(k)$, one has an operation $\freeplus$ of free additive convolution, and one can consider the subspace $D_c^{inf-div}$ of distributions which are infinitely divisible with respect to this operation. The linearizing transform for free additive convolution is the R-transform. Thus, one has $R_{μ\freeplusν}=R_μ+R_ν$. The eta-series $η_μ$ is the counterpart of $R_μ$ in the theory of Boolean convolution. We prove that the space of eta-series of distributions belonging to $D_c(k)$ coincides with the space of R-transforms of distributions which are infinitely divisible with respect to free additive convolution. As a consequence of this fact, one can define a bijection $B : D_c(k) \to D_c^{inf-div}$ via the formula $R_{B(μ)} = η_μ$, for all distributions $μ$ in $D_c(k)$. We show that $B$ is a multi-variable analogue of a bijection studied by Bercovici and Pata for k=1, and we prove a theorem about convergence in moments which parallels the Bercovici-Pata result. On the other hand we prove the formula $B(μ\freetimesν) = B(μ) \freetimes B(ν),$ with $μ,ν$ considered in a space $D^{alg}(k)$ containing $D_c (k)$ where the operation of free multiplicative convolution $\freetimes$ always makes sense. An equivalent reformulation for this equality is that $η_{μ\freetimesν}=η_μ \freestar η_ν,$ for all $μ,ν\in D^{alg}(k)$. This shows that, in a certain sense, eta-series behave in the same way as R-transforms in connection to the operation of multiplication of free k-tuples of non-commutative random variables.