Source author record

Lily Yen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
2topics
4close collaborators

Published work

8 publications

preprint2016arXiv

An infinite family of strongly unextendible mutually unbiased bases in C22h\mathbb{C}^{2^{2h}}

A set of bb mutually unbiased bases (MUBs) in Cd\mathbb{C}^d (for d>1d > 1) comprises bdbd vectors in Cd\mathbb{C}^d, partitioned into bb orthogonal bases for Cd\mathbb{C}^d such that the pairwise angle between all vectors from distinct bases is arccos⁡(1/d)\arccos(1/\sqrt{d}). The largest number μ(d)μ(d) of MUBs that can exist in Cd\mathbb{C}^d is at most d+1d+1, but constructions attaining this bound are known only when dd is a prime power. A set of bb MUBs in Cd\mathbb{C}^d that cannot be enlarged, even by the first vector of a potential (b+1)(b+1)-th MUB, is called strongly unextendible. Until now, only one infinite family of dimensions dd containing b(d)b(d) strongly unextendible MUBs in Cd\mathbb{C}^d satisfying b(d)<μ(d)b(d) < μ(d) was known, this family, due to Szántó, is asymptotically "large" in the sense that b(d)/μ(d)→1b(d)/μ(d) \to 1 as d→∞d \to \infty. However, the existence of 2m−1+12^{m-1}+1 strongly unextendible MUBs in C2m\mathbb{C}^{2^m} for each integer m>1m > 1 has been conjectured by Mandayam et al. We prove their conjecture for all even values of mm, using only elementary linear algebra. The existence of this "small" new infinite family suggests, contrary to widespread belief, that μ(d)μ(d) for non-prime-powers dd might be significantly larger than the size of particular unextendible sets.

preprint2014arXiv

A generating tree approach to k-nonnesting partitions and permutations

We describe a generating tree approach to the enumeration and exhaustive generation of k-nonnesting set partitions and permutations. Unlike previous work in the literature using the connections of these objects to Young tableaux and restricted lattice walks, our approach deals directly with partition and permutation diagrams. We provide explicit functional equations for the generating functions, with k as a parameter.

preprint2014arXiv

On the length of integers in telescopers for proper hypergeometric terms

We show that the number of digits in the integers of a creative telescoping relation of expected minimal order for a bivariate proper hypergeometric term has essentially cubic growth with the problem size. For telescopers of higher order but lower degree we obtain a quintic bound. Experiments suggest that these bounds are tight. As applications of our results, we give an improved bound on the maximal possible integer root of the leading coefficient of a telescoper, and the first discussion of the bit complexity of creative telescoping.

preprint2013arXiv

Constructing Skolem sequences via generating trees

A Skolem sequence is a linear arrangement of the multiset, {1, 1, 2, 2, ..., n, n} such that if r in [n] appears in positions i and j, then |i-j| = r. We first translate the problem to a particular set of perfect matchings, then apply the method of generating trees for open arc diagrams to generate exhaustively all Skolem sequences of a given size. Tracking the arc length between pairs of vertices in an arc annotated diagram is the central task. Although we do not surpass previously known enumerative results, this method drastically reduces the search space compared to previously known methods.

preprint2013arXiv

Crossings and Nestings for Arc-Coloured Permutations

The equidistribution of many crossing and nesting statistics exists in several combinatorial objects like matchings, set partitions, permutations, and embedded labelled graphs. The involutions switching nesting and crossing numbers for set partitions given by Krattenthaler, also by Chen, Deng, Du, Stanley, and Yan, and for permutations given by Burrill, Mishna, and Post involved passing through tableau-like objects. Recently, Chen and Guo for matchings, and Marberg for set partitions extended the result to coloured arc annotated diagrams. We prove that symmetric joint distribution continues to hold for arc-coloured permutations. As in Marberg's recent work, but through a different interpretation, we also conclude that the ordinary generating functions for all jj-noncrossing, kk-nonnesting, rr-coloured permutations according to size nn are rational functions. We use the interpretation to automate the generation of these rational series for both noncrossing and nonnesting coloured set partitions and permutations.

preprint2012arXiv

Set partitions with no m-nesting

A partition on [n] has an m-nesting if there exists i_1 < i_2 < ... < i_m < j_m < j_{m-1} < ... < j_1, where i_l and j_l are in the same block for all 1 <= l <= m. We use generating trees to construct the class of partitions with no m-nesting and determine functional equations satisfied by the associated generating functions. We use algebraic kernel method together with a linear operator to describe a coefficient extraction process. This gives rise to enumerative data, and illustrates the increasing complexity of the coefficient formulas as m increases.

preprint1994arXiv

Counting pairs of lattice paths by intersections

On an r×(n−r)r\times (n-r) lattice rectangle, we first consider walks that begin at the SW corner, proceed with unit steps in either of the directions E or N, and terminate at the NE corner of the rectangle. For each integer kk we ask for Nkn,rN_k^{n,r}, the number of {\em ordered\/} pairs of these walks that intersect in exactly kk points. The number of points in the intersection of two such walks is defined as the cardinality of the intersection of their two sets of vertices, excluding the initial and terminal vertices. We find two explicit formulas for the numbers Nkn,rN_k^{n,r}. Next we note that N1n,r=2N0n,rN_1^{n,r}= 2 N_0^{n,r}, i.e., that {\em exactly twice as many pairs of walks have a single intersection as have no intersection\/}. Such a relationship clearly merits a bijective proof, and we supply one. We discuss a number of related results for different assumptions on the two walks. We find the probability that two independent walkers on a given lattice rectangle do not meet. In this situation, the walkers start at the two points (a,b+x+1)(a,b+x+1) and (a+x+1,b)inthefirstquadrant,andwalkWestorSouthateachstep,exceptthatwhenawalkerreachesthe in the first quadrant, and walk West or South at each step, except that when a walker reaches the x−axis(resp.the-axis (resp. the y−axis)thenallfuturestepsareconstrainedtobeSouth(resp.West)untiltheoriginisreached.Wefindthatiftheprobability-axis) then all future steps are constrained to be South (resp. West) until the origin is reached. We find that if the probability p(i,j)thatastepfrom that a step from (i,j)willgoWestdependsonlyon will go West depends only on i+j,thentheprobabiltythatthetwowalkersdonotmeetuntiltheyreachtheoriginisthesameastheprobabilitythatasingle(unconstrained)walkerwhostartsat, then the probabilty that the two walkers do not meet until they reach the origin is the same as the probability that a single (unconstrained) walker who starts at (a, b+x+1)andandtakes and and takes a+b+xsteps,finishesatoneofthepoints steps, finishes at one of the points (0,1), (-1,2), \ldots, (-x,1+x)$.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.