Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Lattice Grids and Prisms are Antimagic
Published
• View Publication
• BIB
An \emph{antimagic labeling} of a finite undirected simple graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called \emph{antimagic} if it has an antimagic labeling. In 1990, Hartsfield and Ringel conjectured that every connected graph, but $K_2$, is antimagic. In 2004, N. Alon et al showed that this conjecture is true for $n$-vertex graphs with minimum degree $Ω(\log n)$. They also proved that complete partite graphs (other than $K_2$) and $n$-vertex graphs with maximum degree at least $n-2$ are antimagic. Recently, Wang showed that the toroidal grids (the Cartesian products of two or more cycles) are antimagic. Two open problems left in Wang's paper are about the antimagicness of lattice grid graphs and prism graphs, which are the Cartesian products of two paths, and of a cycle and a path, respectively. In this article, we prove that these two classes of graphs are antimagic, by constructing such antimagic labelings.
A generalization of the integer linear infeasibility problem
Published in Discrete Optimization, Volume 5, Issue 1 (2008) p36-52
• View Publication
• BIB
Does a given system of linear equations with nonnegative constraints have an integer solution? This is a fundamental question in many areas. In statistics this problem arises in data security problems for contingency table data and also is closely related to non-squarefree elements of Markov bases for sampling contingency tables with given marginals. To study a family of systems with no integer solution, we focus on a commutative semigroup generated by a finite subset of $\Z^d$ and its saturation. An element in the difference of the semigroup and its saturation is called a ``hole''. We show the necessary and sufficient conditions for the finiteness of the set of holes. Also we define fundamental holes and saturation points of a commutative semigroup. Then, we show the simultaneous finiteness of the set of holes, the set of non-saturation points, and the set of generators for saturation points. We apply our results to some three- and four-way contingency tables. Then we will discuss the time complexities of our algorithms.
Reconstructing Metric Trees from Order Information on Triples is NP Complete
We show that reconstructing a tree from order information on triples is NP-hard. This is in contrast to the case for ultra-metrics and for subtree information on quadruples which are both known to allow polynomial time reconstruction.
Minimum Area Venn Diagrams Whose Curves are Polyominoes
Published
• View Publication
• BIB
Venn diagrams are a graphical way to represent a set system. Each of the n sets is represented by a simple closed curve. The n curves subdivide the plane into 2^n open connected regions, each of which represents the intersection of its containing curves' sets. For example, two overlapping circles can divide the plane into 4 regions representing {}, A, B, and A intersect B. Three overlapping circles can also be used to represent the 2^3 ways in which 3 sets can intersect.
One of the primary questions related to Venn diagrams concerns which shapes can be used for the curves. The previous examples used 2 and 3 circles, but a 4-set Venn diagram cannot be represented by 4 circles; instead, ellipses must be used.
In this paper, we consider Venn diagrams whose curves are the outlines of polyominoes. In particular, we give examples of Venn diagrams where the curves are rotations and translations of a single polyomino, so-called congruent polyVenn diagrams. We also consider the problem of area-minimization (relative to a scaling factor) and present examples of Venn polyominoes which minimize area according to various constraints.
At present, these examples do not generalize and so we develop an algorithm that comes close to minimizing the area. The algorithm is simple and utilizes symmetric chain decompositions of the Boolean lattice. We also provide asymptotic results that relate the area required by the algorithm's diagrams to the theoretical minimum area. We conclude by presenting some open problems related to Venn polyominoes and other shape-constrained Venn diagrams.
Schur Q-polynomials, multiple hypergeometric series and enumeration of marked shifted tableaux
Published in J. Combin. Theory A 115 (2008), 376-406
• View Publication
• BIB
We study Schur Q-polynomials evaluated on a geometric progression, or equivalently q-enumeration of marked shifted tableaux, seeking explicit formulas that remain regular at q=1. We obtain several such expressions as multiple basic hypergeometric series, and as determinants and pfaffians of continuous q-ultraspherical or continuous q-Jacobi polynomials. As special cases, we obtain simple closed formulas for staircase-type partitions.
The permutation action of finite symplectic groups of odd characteristic on their standard modules
Published in Journal of Algebra 323 (2010) 3157-3181
• View Publication
• BIB
Motivated by the incidence problems between points and flats of a symplectic polar space, we study a large class of submodules of the space of functions on the standard module of a finite symplectic group of odd characteristic. Our structure results on this class of submodules allow us to determine the $p$-ranks of the incidence matrices between points and flats of the symplectic polar space. In particular, we give an explicit formula for the $p$-rank of the generalized quadrangle ${\rm W}(3,q)$, where $q$ is an odd prime power. Combined with the earlier results of Sastry and Sin on the 2-rank of ${\rm W}(3,2^t)$, it completes the determination of the $p$-ranks of ${\rm W}(3,q)$.
Hyperdeterminantal expressions for Jack functions of rectangular shapes
Published in Journal of Algebra 320 (2008) 612--632
• View Publication
• BIB
We derive a Jacobi-Trudi type formula for Jack functions of rectangular shapes. In this formula, we make use of a hyperdeterminant, which is Cayley's simple generalization of the determinant. In addition, after developing the general theory of hyperdeterminants, we give summation formulae for Schur functions involving hyperdeterminants, and evaluate Toeplitz-type hyperdeterminants by using Jack function theory.
Multicritical continuous random trees
Published in J. Stat. Mech. (2006) P04004
• View Publication
• BIB
We introduce generalizations of Aldous' Brownian Continuous Random Tree as scaling limits for multicritical models of discrete trees. These discrete models involve trees with fine-tuned vertex-dependent weights ensuring a k-th root singularity in their generating function. The scaling limit involves continuous trees with branching points of order up to k+1. We derive explicit integral representations for the average profile of this k-th order multicritical continuous random tree, as well as for its history distributions measuring multi-point correlations. The latter distributions involve non-positive universal weights at the branching points together with fractional derivative couplings. We prove universality by rederiving the same results within a purely continuous axiomatic approach based on the resolution of a set of consistency relations for the multi-point correlations. The average profile is shown to obey a fractional differential equation whose solution involves hypergeometric functions and matches the integral formula of the discrete approach.
Sum rules for the ground states of the O(1) loop model on a cylinder and the XXZ spin chain
Published in J. Stat. Mech. (2006) P08011
• View Publication
• BIB
The sums of components of the ground states of the O(1) loop model on a cylinder or of the XXZ quantum spin chain at Delta=-1/2 (of size L) are expressed in terms of combinatorial numbers. The methods include the introduction of spectral parameters and the use of integrability, a mapping from size L to L+1, and knot-theoretic skein relations.
The inverse scattering problem for metric graphs and the traveling salesman problem
We present a solution to the inverse scattering problem for differential Laplace operators on metric noncompact graphs. We prove that for almost all boundary conditions (i) the scattering matrix uniquely determines the graph and its metric structure, (ii) the boundary conditions are determined uniquely up to trivial gauge transformations. The main ingredient of our approach is a combinatorial Fourier expansion of the scattering matrix which encodes the topology of the graph into analytic properties of the scattering matrix. Using the technique developed in this work, we also propose an analytic approach to solving some combinatorial problems on graphs, in particular, the Traveling Salesman Problem.
On the 3-state Mealy Automata over an m-symbol Alphabet of Growth Order [ n ^{{\log n}/{2 \log m}} ]
Published
• View Publication
• BIB
We consider the sequence ${J_m,m \ge 2}$ of the 3-state Mealy automata over an m-symbol alphabet such that the growth function of $J_m$ has the intermediate growth order $[n ^{{\log n}/{2 \log m}} ]$. For each automaton $J_m$ we describe the automaton transformation monoid $S_{J_m}$, defined by it, provide generating series for the growth functions, and consider primary properties of $S_{J_m}$ and $J_m$.
Advances in losing
Published
• View Publication
• BIB
We survey recent developments in the theory of impartial combinatorial games in misere play, focusing on how the Sprague-Grundy theory of normal-play impartial games generalizes to misere play via the indistinguishability quotient construction.
Negatively correlated random variables and Mason's conjecture
Published
• View Publication
• BIB
Mason's Conjecture asserts that for an $m$--element rank $r$ matroid $\M$ the sequence $(I_k/\binom{m}{k}: 0\leq k\leq r)$ is logarithmically concave, in which $I_k$ is the number of independent $k$--sets of $\M$. A related conjecture in probability theory implies these inequalities provided that the set of independent sets of $\M$ satisfies a strong negative correlation property we call the \emph{Rayleigh condition}. This condition is known to hold for the set of bases of a regular matroid. We show that if $ω$ is a weight function on a set system $\Q$ that satisfies the Rayleigh condition then $\Q$ is a convex delta--matroid and $ω$ is logarithmically submodular. Thus, the hypothesis of the probabilistic conjecture leads inevitably to matroid theory. We also show that two--sums of matroids preserve the Rayleigh condition in four distinct senses, and hence that the Potts model of an iterated two--sum of uniform matroids satisfies the Rayleigh condition. Numerous conjectures and auxiliary results are included.
On the log-convexity of combinatorial sequences
Published in Advances in Applied Mathematics, 39 (2007) 453-476
• View Publication
• BIB
This paper is devoted to the study of the log-convexity of combinatorial sequences. We show that the log-convexity is preserved under componentwise sum, under binomial convolution, and by the linear transformations given by the matrices of binomial coefficients and Stirling numbers of two kinds. We develop techniques for dealing with the log-convexity of sequences satisfying a three-term recurrence. We also introduce the concept of $q$-log-convexity and establish the connection with linear transformations preserving the log-convexity. As applications of our results, we prove the log-convexity and $q$-log-convexity of many famous combinatorial sequences of numbers and polynomials.
Validations of the Asymptotic Matching Conjectures
Published
• View Publication
• BIB
In this paper we review the asymptotic matching conjectures for $r$-regular bipartite graphs, and their connections in estimating the monomer-dimer entropies in $d$-dimensional integer lattice and Bethe lattices. We prove new rigorous upper and lower bounds for the monomer-dimer entropies, which support these conjectures. We describe a general construction of infinite families of $r$-regular tori graphs and give algorithms for computing the monomer-dimer entropy of density $p$, for any $p\in [0,1]$, for these graphs. Finally we use tori graphs to test the asymptotic matching conjectures for certain infinite $r$-regular bipartite graphs.
Base subsets of symplectic Grassmannians
Published
• View Publication
• BIB
Let $V$ and $V'$ be $2n$-dimensional vector spaces over fields $F$ and $F'$. Let also $Ω: V\times V\to F$ and $Ω': V'\times V'\to F'$ be non-degenerate symplectic forms. Denote by $Π$ and $Π'$ the associated $(2n-1)$-dimensional projective spaces. The sets of $k$-dimensional totally isotropic subspaces of $Π$ and $Π'$ will denoted by ${\mathcal G}_{k}$ and ${\mathcal G}'_{k}$, respectively. Apartments of the associated buildings intersect ${\mathcal G}_{k}$ and ${\mathcal G}'_{k}$ by so-called base subsets. We show that every mapping of ${\mathcal G}_{k}$ to ${\mathcal G}'_{k}$ sending base subsets to base subsets is induced by a symplectic embedding of $Π$ to $Π'$.
The boundary of the Eulerian number triangle
Published in Moscow Mathematical Journal 6 (2006), no 3, 461-475
• View Publication
• BIB
The Eulerian triangle is a classical array of combinatorial numbers defined by a linear recursion. The associated boundary problem asks one to find all extreme nonnegative solutions to a dual recursion. Exploiting connections with random permutations and Markov chains we show that the boundary is discrete and explicitly identify its elements.
High-girth cubic graphs are homomorphic to the Clebsch graph
Published
• View Publication
• BIB
We give a (computer assisted) proof that the edges of every graph with maximum degree 3 and girth at least 17 may be 5-colored (possibly improperly) so that the complement of each color class is bipartite. Equivalently, every such graph admits a homomorphism to the Clebsch graph.
Hopkins and Staton and Bondy and Locke proved that every (sub)cubic graph of girth at least 4 has an edge-cut containing at least 4/5 of the edges. The existence of such an edge-cut follows immediately from the existence of a 5-edge-coloring as described above, so our theorem may be viewed as a coloring extension of their result (under a stronger girth assumption).
Every graph which has a homomorphism to a cycle of length five has an above-described 5-edge-coloring; hence our theorem may also be viewed as a weak version of Nesetril's Pentagon Problem (which asks whether every cubic graph of sufficiently high girth is homomorphic to C_5).
Cycles and Stability
Published
• View Publication
• BIB
We derive a number of extremal and Ramsey stability results for cycles.
Monotonic Sequence Games
Published
• View Publication
• BIB
In a monotonic sequence game, two players alternately choose elements of a sequence from some fixed ordered set. The game ends when the resulting sequence contains either an ascending subsequence of length a or a descending one of length d. We investigate the behaviour of this game when played on finite linear orders or Q and provide some general observations for play on arbitrary ordered sets.