Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Universal graded characters and limit of Lusztig $q$-analogues
Published
• View Publication
• BIB
Let G be a symplectic or orthogonal complex Lie group with Lie algebra g. As a G-module, the decomposition of the symmetric algebra S(g) into its irreducible components can be explicitely obtained by using identities due to Littlewood. We show that the multiplicities appearing in the decomposition of the k-th graded component of S(g) do not depend on the rank n of g providing n is sufficiently large. Thanks to a classical result by Kostant, we establish a similar result for the k-th graded component of the space H(g) of G-harmonic polynomials. These stabilization properties are equivalent to the existence of a limit in infinitely many variables for the graded characters associated to S(g) and H(g). The limits so obtained are formal series with coefficients in the ring of universal characters introduced by Koike and Terada.
From Hesselink expression of the graded character of harmonics, the coefficient of degree k in the Lusztig q-analogue associated to the partition lambda and the weight 0 thus stablizes for n sufficiently large. By using Morris-type recurrence formulas, we prove that this is also true for the polynomials $K_{λ,μ}^{g}(q)$ where mu is a nonempty fixed partition. This can be reformulated in terms of a stability property for the dimension of the components of the Brylinski-Kostant filtration. We also associate to each pair of partitions (lambda, mu) formal series $K_{λ,μ}^{so}(q)$ and $K_{λ,μ}^{sp}(q)$, which can be regarded as natural limit of the Lusztig q-analogues. One gives a duality property for these limits and obtains simple expressions when lambda is a row or a column partition.
Counting non-isomorphic maximal independent sets of the n-cycle graph
Published in Journal of Integer Sequences 11 (5) (2008), Article 08.5.7
• Search Publication
The number of maximal independent sets of the n-cycle graph C_n is known to be the nth term of the Perrin sequence. The action of the automorphism group of C_n on the family of these maximal independent sets partitions this family into disjoint orbits, which represent the non-isomorphic (i.e., defined up to a rotation and a reflection) maximal independent sets. We provide exact formulas for the total number of orbits and the number of orbits having a given number of isomorphic representatives. We also provide exact formulas for the total number of unlabeled (i.e., defined up to a rotation) maximal independent sets and the number of unlabeled maximal independent sets having a given number of isomorphic representatives. It turns out that these formulas involve both Perrin and Padovan sequences.
Splitting pairs and the number of clusters generated by random pair incompatibilities
We consider a random fitness landscape on the space of haploid diallelic genotypes with n genetic loci, where each genotype is considered either inviable or viable depending on whether or not there are any incompatibilities among its allele pairs. We suppose that each allele pair in the set of all possible allele pairs on the n loci is independently incompatible with probability p=c/(2n). We examine the connectivity of the viable genotypes under single locus mutations and show that, for 0<c<1, the number of clusters of viable genotypes in this landscape converges weakly (in n) to N=2^{Psi} where Psi is Poisson distributed; while for c>1, there are no viable genotypes with probability converging to one. The genotype space is equivalent to the n-dimensional hypercube and the viable genotypes are solutions to a random 2-SAT problem, so the same result holds for the connectivity of solutions in the hypercube to a random 2-SAT problem.
Asymptotic evolution of acyclic random mappings
Published
• View Publication
• BIB
An acyclic mapping from an $n$ element set into itself is a mapping $φ$ such that if $φ^k(x) = x$ for some $k$ and $x$, then $φ(x) = x$. Equivalently, $φ^\ell = φ^{\ell+1} = ...$ for $\ell$ sufficiently large. We investigate the behavior as $n \to \infty$ of a Markov chain on the collection of such mappings. At each step of the chain, a point in the $n$ element set is chosen uniformly at random and the current mapping is modified by replacing the current image of that point by a new one chosen independently and uniformly at random, conditional on the resulting mapping being again acyclic. We can represent an acyclic mapping as a directed graph (such a graph will be a collection of rooted trees) and think of these directed graphs as metric spaces with some extra structure. Heuristic calculations indicate that the metric space valued process associated with the Markov chain should, after an appropriate time and ``space'' rescaling, converge as $n \to \infty$ to a real tree ($\R$-tree) valued Markov process that is reversible with respect to a measure induced naturally by the standard reflected Brownian bridge. The limit process, which we construct using Dirichlet form methods, is a Hunt process with respect to a suitable Gromov-Hausdorff-like metric. This process is similar to one that appears in earlier work by Evans and Winter as the limit of chains involving the subtree prune and regraft tree (SPR) rearrangements from phylogenetics.
Random dense bipartite graphs and directed graphs with specified degrees
Published
• View Publication
• BIB
Let S and T be vectors of positive integers with the same sum. We study the uniform distribution on the space of simple bipartite graphs with degree sequence S in one part and T in the other; equivalently, binary matrices with row sums S and column sums T. In particular, we find precise formulae for the probabilities that a given bipartite graph is edge-disjoint from, a subgraph of, or an induced subgraph of a random graph in the class. We also give similar formulae for the uniform distribution on the set of simple directed graphs with out-degrees S and in-degrees T. In each case, the graphs or digraphs are required to be sufficiently dense, with the degrees varying within certain limits, and the subgraphs are required to be sufficiently sparse. Previous results were restricted to spaces of sparse graphs. Our theorems are based on an enumeration of bipartite graphs avoiding a given set of edges, proved by multidimensional complex integration. As a sample application, we determine the expected permanent of a random binary matrix with row sums S and column sums T.
A note on the Freiman and Balog-Szemeredi-Gowers theorems in finite fields
Published
• View Publication
• BIB
We obtain quantitative versions of the Balog-Szemeredi-Gowers and Freiman theorems in the model case of a finite field geometry F_2^n, improving the previously known bounds in such theorems. For instance, if A is a subset of F_2^n such that |A+A| <= K|A| (thus A has small additive doubling), we show that there exists an affine subspace V of F_2^n of cardinality |V| >> K^{-O(\sqrt{K})} |A| such that |A \cap V| >> |V|/2K. Under the assumption that A contains at least |A|^3/K quadruples with a_1 + a_2 + a_3 + a_4 = 0 we obtain a similar result, albeit with the slightly weaker condition |V| >> K^{-O(K)}|A|.
On the generalization of the Costas property to higher dimensions
Published
• View Publication
• BIB
We investigate the generalization of the Costas property in 3 or more dimensions, and we seek an appropriate definition; the 2 main complications are a) that the number of ``dots'' this multidimensional structure should have is not obvious, and b) that the notion of the multidimensional permutation needs some clarification. After proposing various alternatives for the generalization of the definition of the Costas property, based on the definitions of the Costas property in 1 or 2 dimensions, we also offer some construction methods, the main one of which is based on the idea of reshaping Costas arrays into higher-dimensional entities.
Meinardus' theorem on weighted partitions: extensions and a probabilistic proof
Published
• View Publication
• BIB
We give a probalistic proof of the famous Meinardus' asymptotic formula for the number of weighted partitions with weakened one of the three Meinardus' conditions, and extend the resulting version of the theorem to other two classis types of decomposable combinatorial structures, which are called assemblies and selections. The results obtained are based on combining Meinardus' analytical approach with probabilistic method of Khitchine.
Derived equivalence of symmetric special biserial algebras
Published
• View Publication
• BIB
We introduce Brauer complex of symmetric SB-algebra, and reformulate in terms of Brauer complex the so far known invariants of stable and derived equivalence of symmetric SB-algebras. In particular, the genus of Brauer complex turns out to be invariant under derived equivalence. We study transformations of Brauer complexes which preserve class of derived equivalence. Additionally, we establish a new invariant of derived equivalence of symmetric SB-algebras. As a consequence, symmetric SB-algebras with Brauer complex of genus 0 are classified. Keywords: Brauer tree algebras, special biserial algebras, tilting complex.
Bounds On Isoperimetric Values of Trees
Published
• View Publication
• BIB
Let G = (V,E) be a finite, simple and undirected graph. For $S \subseteq V$, let $δ(S,G) = \{(u,v) \in E : u \in S \mbox {and} v \in V-S \}$ be the edge boundary of $S$. Given an integer $i$, $1 \leq i \leq | V |$, let the edge isoperimetric value of $G$ at $i$ be defined as $b_e(i,G) = \min_{S \subseteq V; |S| = i} |δ(S,G)|$. The edge isoperimetric peak of $G$ is defined as $b_e(G)=\max_{1 \leq j \leq | V |} b_e(j,G)$. Let $b_v(G)$ denote the vertex isoperimetric peak defined in a corresponding way. The problem of determining a lower bound for the vertex isoperimetric peak in complete $t$-ary trees was recently considered in \cite{OatYam}. In this paper we provide bounds which improve those in \cite{OatYam}. We show that for a complete binary tree of depth $d$ (denoted as $T_d^2$), $c_1d \leq b_e(T_d^2) \leq d$ and $c_2d \leq b_v(T_d^2) \leq d$ where $c_1$, $c_2$ are constants. For a complete $t$-ary tree of depth $d$ (denoted as $T_d^t$) and $d \geq c\log{t}$ where $c$ is a constant, we show that $c_1\sqrt{t}d \leq b_e(T_d^t) \leq td$ and $c_2\frac{d}{\sqrt{t}} \leq b_v(T_d^t) \leq d$ where $c_1$, $c_2$ are constants. Our results are generalized to arbitrary(rooted) trees.
XXX Spin Chain: from Bethe Solution to Open Problems
Published in PoSSolvay:006,2006
• View Publication
• BIB
We present some open problems in the field of exactly solvable models. Two of the problems are related to the correlation functions of the XXX spin chain and the XXZ spin chain, one to the entropy of subsystems and one to the six vertex model with domain wall boundary conditions.
The Graphs for which the Maximum Multiplicity of an Eigenvalue is Two
Published
• View Publication
• BIB
Characterized are all simple undirected graphs $G$ such that any real symmetric matrix that has graph $G$ has no eigenvalues of multiplicity more than 2. All such graphs are partial 2-trees (and this follows from a result for rather general fields), but only certain partial 2-trees guarantee maximum multiplicity 2. Among partial linear 2-trees, they are only those whose vertices can be covered by two "parallel" induced paths. The remaining graphs that guarantee maximum multiplicity 2 are comprised by certain identified families of "exceptional" partial 2-trees that are not linear.
Trees, functional equations, and combinatorial Hopf algebras
Published in European J. Combin. 29 (2008), no. 7, 1682--1695
• View Publication
• BIB
One of the main virtues of trees is to represent formal solutions of various functional equations which can be cast in the form of fixed point problems. Basic examples include differential equations and functional (Lagrange) inversion in power series rings. When analyzed in terms of combinatorial Hopf algebras, the simplest examples yield interesting algebraic identities or enumerative results.
Covering arrays on graphs: qualitative independence graphs and extremal set partition theory
The main focus of this thesis is a generalization of covering arrays, covering arrays on graphs. Two vectors v,w in Z_k^n are qualitatively independent if for all ordered pairs (a,b) in Z_k x Z_k there is a position i in the vectors where (a,b) = (v_i,w_i). A covering array is an array with the property that any pair of rows are qualitatively independent. A covering array on a graph is an array with a row for each vertex of the graph with the property that any two rows which correspond to adjacent vertices are qualitatively independent. The addition of a graph structure to covering arrays makes it possible to use methods from graph theory to study these designs. In this thesis, we define a family of graphs called the qualitative independence graphs. A graph has a covering array, with given parameters, if and only if there is a homomorphism from the graph to a particular qualitative independence graph. Cliques in qualitative independence graphs relate to covering arrays and independent sets are connected to intersecting partition systems. It is known that the exact size of an optimal binary covering array can be determined using Sperner's Theorem and the Erdos-Ko-Rado Theorem. Since the rows of general covering arrays correspond to set partitions, we give extensions of Sperner's Theorem and the Erdos-Ko-Rado Theorem to set-partition systems. We also consider a subgraph of a general qualitative independence graph called the uniform qualitative independence graph. We give the spectra for several of these graphs and conjecture that they are graphs in an association scheme. We also give a new construction for covering arrays which yields many new upper bounds on the size of optimal covering arrays.
n-Ary quasigroups of order 4
Published in SIAM J. Discrete Math. 23(2) 2009, 561-570
• View Publication
• BIB
We characterize the set of all N-ary quasigroups of order 4: every N-ary quasigroup of order 4 is permutably reducible or semilinear. Permutable reducibility means that an N-ary quasigroup can be represented as a composition of K-ary and (N-K+1)-ary quasigroups for some K from 2 to N-1, where the order of arguments in the representation can differ from the original order. The set of semilinear N-ary quasigroups has a characterization in terms of Boolean functions. Keywords: Latin hypercube, n-ary quasigroup, reducibility
On the distance between Seifert surfaces
For a knot $K$, Kakimizu introduced a simplicial complex whose vertices are all the isotopy classes of minimal genus spanning surfaces for $K$. The first purpose of this paper is to prove the 1-skeleton of this complex has diameter bounded by a function quadratic in knot genus, whenever $K$ is atoroidal. The second purpose of this paper is to prove the intersection number of two minimal genus spanning surfaces for $K$ is also bounded by a function quadratic in knot genus, whenever $K$ is atoroidal. As one application, we prove the simple connectivity of Kakimizu's complex among all atoroidal genus 1 knots.
On the hardness of sampling independent sets beyond the tree threshold
Published
• View Publication
• BIB
We consider local Markov chain Monte-Carlo algorithms for sampling from the weighted distribution of independent sets with activity $ł$, where the weight of an independent set $I$ is $ł^{|I|}$. A recent result has established that Gibbs sampling is rapidly mixing in sampling the distribution for graphs of maximum degree $d$ and $ł<ł_c(d)$, where $ł_c(d)$ is the critical activity for uniqueness of the Gibbs measure (i.e., for decay of correlations with distance in the weighted distribution over independent sets) on the $d$-regular infinite tree.
We show that for $d \geq 3$, $ł$ just above $ł_c(d)$ with high probability over $d$-regular bipartite graphs, any local Markov chain Monte-Carlo algorithm takes exponential time before getting close to the stationary distribution.
Our results provide a rigorous justification for ``replica'' method heuristics. These heuristics were invented in theoretical physics and are used in order to derive predictions on Gibbs measures on random graphs in terms of Gibbs measures on trees. We conjecture that $ł_c$ is in fact the exact threshold for this computational problem, i.e., that for $ł>ł_c$ it is NP-hard to approximate the above weighted sum overindependent sets to within a factor polynomial in the size of the graph.
The Evolution of the Mixing Rate
Published
• View Publication
• BIB
In this paper we present a study of the mixing time of a random walk on the largest component of a supercritical random graph, also known as the giant component. We identify local obstructions that slow down the random walk, when the average degree d is at most (ln n lnln n)^{1/2}, proving that the mixing time in this case is O((ln n/d)^2) asymptotically almost surely. As the average degree grows these become negligible and it is the diameter of the largest component that takes over, yielding mixing time O(ln n/ln d). We proved these results during the 2003-04 academic year. Similar results but for constant d were later proved independently by I. Benjamini, G. Kozma and N. Wormald.
Some conjectures on the ratio of Hankel transforms for sequences and series reversion
For each element of certain families of integer sequences, we study the term-wise ratios of the Hankel transforms of three sequences related to that element by series reversion. In each case, the ratios define well-known sequences, and in one case, we recover the initial sequence.
(l,s)-Extension of Linear Codes
We construct new linear codes with high minimum distance d. In at least 12 cases these codes improve the minimum distance of the previously known best linear codes for fixed parameters n,k. Among these new codes there is an optimal ternary [88,8,54] code.
We develop an algorithm, which starts with already good codes C, i.e. codes with high minimum distance d for given length n and dimension k over the field GF(q). The algorithm is based on the newly defined (l,s)-extension. This is a generalization of the well-known method of adding a parity bit in the case of a binary linear code of odd minimum weight. (l,s)-extension tries to extend the generator matrix of C by adding l columns with the property that at least s of the l letters added to each of the codewords of minimum weight in C are different from 0. If one finds such columns the minimum distance of the extended code is d+s provided that the second smallest weight in C was at least d+s. The question whether such columns exist can be settled using a Diophantine system of equations.