The Shape of the Level Sets of the First Eigenfunction of a Class of Two Dimensional Schr\"odinger Operators

We study the first Dirichlet eigenfunction of a class of Schr\"odinger operators with a convex potential V on a domain $\Omega$. We find two length scales $L_1$ and $L_2$, and an orientation of the domain $\Omega$, which determine the shape of the level sets of the eigenfunction. As an intermediate step, we also establish bounds on the first eigenvalue in terms of the first eigenvalue of an associated ordinary differential operator.Comment: 56 pages, 3 figure

A Meshalkin theorem for projective geometries

Let M be a family of sequences (a_1,...,a_p) where each a_k is a flat in a projective geometry of rank n (dimension n-1) and order q, and the sum of ranks, r(a_1) + ... + r(a_p), equals the rank of the join a_1 v ... v a_p. We prove upper bounds on |M| and corresponding LYM inequalities assuming that (i) all joins are the whole geometry and for each k<p the set of all a_k's of sequences in M contains no chain of length l, and that (ii) the joins are arbitrary and the chain condition holds for all k. These results are q-analogs of generalizations of Meshalkin's and Erdos's generalizations of Sperner's theorem and their LYM companions, and they generalize Rota and Harper's q-analog of Erdos's generalization.Comment: 8 pages, added journal referenc

Inside-Out Polytopes

We present a common generalization of counting lattice points in rational polytopes and the enumeration of proper graph colorings, nowhere-zero flows on graphs, magic squares and graphs, antimagic squares and graphs, compositions of an integer whose parts are partially distinct, and generalized latin squares. Our method is to generalize Ehrhart's theory of lattice-point counting to a convex polytope dissected by a hyperplane arrangement. We particularly develop the applications to graph and signed-graph coloring, compositions of an integer, and antimagic labellings.Comment: 24 pages, 3 figures; to appear in Adv. Mat

The Number of Nowhere-Zero Flows on Graphs and Signed Graphs

A nowhere-zero $k$-flow on a graph $\Gamma$ is a mapping from the edges of $\Gamma$ to the set \{\pm1, \pm2, ..., \pm(k-1)\} \subset \bbZ such that, in any fixed orientation of $\Gamma$, at each node the sum of the labels over the edges pointing towards the node equals the sum over the edges pointing away from the node. We show that the existence of an \emph{integral flow polynomial} that counts nowhere-zero $k$-flows on a graph, due to Kochol, is a consequence of a general theory of inside-out polytopes. The same holds for flows on signed graphs. We develop these theories, as well as the related counting theory of nowhere-zero flows on a signed graph with values in an abelian group of odd order. Our results are of two kinds: polynomiality or quasipolynomiality of the flow counting functions, and reciprocity laws that interpret the evaluations of the flow polynomials at negative integers in terms of the combinatorics of the graph.Comment: 17 pages, to appear in J. Combinatorial Th. Ser.