Source author record

Joseph P. S. Kung

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

4works
2topics
4close collaborators

Published work

4 publications

preprint2013arXiv

Maximum size binary matroids with no AG(3,2)-minor are graphic

We prove that the maximum size of a simple binary matroid of rank r≥5r \geq 5 with no AG(3,2)-minor is (r+12)\binom{r+1}{2} and characterise those matroids achieving this bound. When r≥6r \geq 6, the graphic matroid M(Kr+1)M(K_{r+1}) is the unique matroid meeting the bound, but there are a handful of smaller examples. In addition, we determine the size function for non-regular simple binary matroids with no AG(3,2)-minor and characterise the matroids of maximum size for each rank.

preprint2012arXiv

Rook and queen paths with boundaries

A rook path is a path on lattice points in the plane in which any proper horizontal step to the right or vertical step north is allowed. If, in addition, one allow bishop steps, that is, proper diagonal steps of slope 1, then one has queen paths. A rook or queen path is Catalan if it starts at the origin and stays strictly to the left of the line y = x-1. We give explicit formulas for the ordinary generating function of the number of Catalan rook and queen paths finishing at (n,n).(n,n). These generating functions are algebraic; indeed, they satisfy quadratic equations. In the second version, we also consider paths with "spider steps", that is, proper steps on lattice points with slope strictly greater than one. In the third version, we give step-enumerator versions of our results.

preprint2011arXiv

Congruence conditions, parcels, and Tutte polynomials of graphs and matroids

Let GG be a matrix and M(G)M(G) be the matroid defined by linear dependence on the set EE of column vectors of G.G. Roughly speaking, a parcel is a subset of pairs (f,g)(f,g) of functions defined on EE to an Abelian group AA satisfying a coboundary condition (that f−gf-g is a flow over AA relative to GG) and a congruence condition (that the size of the supports of ff and gg satisfy some congruence condition modulo an integer). We prove several theorems of the form: a linear combination of sizes of parcels, with coefficients roots of unity, equals an evaluation of the Tutte polynomial of M(G)M(G) at a point (λ−1,x−1)(λ-1,x-1) on the complex hyperbola (λ−1)(x−1)=∣A∣.(λ- 1)(x-1) = |A|.

preprint2006arXiv

Derivation modules of orthogonal duals of hyperplane arrangements

Let A be an n by d matrix having full rank n. An orthogonal dual A^{\perp} of A is a (d-n) by d matrix of rank (d-n) such that every row of A^{\perp} is orthogonal (under the usual dot product) to every row of A. We define the orthogonal dual for arrangements by identifying an essential (central) arrangement of d hyperplanes in n-dimensional space with the n by d matrix of coefficients of the homogeneous linear forms for which the hyperplanes are kernels. If n is at least 5, we show that if the matroid (or the intersection lattice) of an n-dimensional essential arrangement A contains a modular copoint whose complement spans, then the derivation module of the orthogonally dual arrangement \A^{\perp} has projective dimension at least [n(n+2)/4] - 3,([ ] denotes ceiling).

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.