Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Selection Principles and special sets of reals: Open problems
Published in Open Problems in Topology II (E. Pearl, ed.), Elsevier B.V., 2007, 91--108
• View Publication
• BIB
We give a selection of major open problems involving selective properties, diagonalizations, and covering properties for sets of real numbers.
This is a revision of the version published as a chapter in the book \textbf{Open Problems in Topology II} (E. Pearl, ed.), Elsevier B.V., 2007, 91--108. The present version reports solutions of some problems, uses up-to-date notation, and update bibliography.
Comments and further updates would be appreciated.
Some identities and formulas involving generalized Catalan numbers
A generalization of the Catalan numbers is considered. New results include binomial identities, recursive relations and a close formula for the multivariate generating function. A simple expression for the Catalan determinant is derived.
Blowup algebras of square-free monomial ideals and some links to combinatorial optimization problems
Published in Rocky Mountain J. Math. 39 (2009), no. 1, 71--102
• View Publication
• BIB
Let I=(x^{v_1},...,x^{v_q} be a square-free monomial ideal of a polynomial ring K[x_1,...,x_n] over an arbitrary field K and let A be the incidence matrix with column vectors {v_1},...,{v_q}. We will establish some connections between algebraic properties of certain graded algebras associated to I and combinatorial optimization properties of certain polyhedrons and clutters associated to A and I respectively. Some applications to Rees algebras and combinatorial optimization are presented. We study a conjecture of Conforti and Cornuéjols using an algebraic approach.
The diameter of a random Cayley graph of Z_q
Published
• View Publication
• BIB
Consider the Cayley graph of the cyclic group of prime order q with k uniformly chosen generators. For fixed k, we prove that the diameter of said graph is asymptotically (in q) of order q^(1/k).
The same also holds when the generating set is taken to be a symmetric set of size 2k.
Pseudo-centrosymmetric matrices, with applications to counting perfect matchings
Published
• View Publication
• BIB
We consider square matrices A that commute with a fixed square matrix K, both with entries in a field F not of characteristic 2. When K^2=I, Tao and Yasuda defined A to be generalized centrosymmetric with respect to K. When K^2=-I, we define A to be pseudo-centrosymmetric with respect to K; we show that the determinant of every even-order pseudo-centrosymmetric matrix is the sum of two squares over F, as long as -1 is not a square in F. When a pseudo-centrosymmetric matrix A contains only integral entries and is pseudo-centrosymmetric with respect to a matrix with rational entries, the determinant of A is the sum of two integral squares. This result, when specialized to when K is the even-order alternating exchange matrix, applies to enumerative combinatorics. Using solely matrix-based methods, we reprove a weak form of Jockusch's theorem for enumerating perfect matchings of 2-even symmetric graphs. As a corollary, we reprove that the number of domino tilings of regions known as Aztec diamonds and Aztec pillows is a sum of two integral squares.
Manifolds associated with $(Z_2)^n$-colored regular graphs
Published in Forum Math. 24(2012), 121-149
• View Publication
• BIB
In this article we describe a canonical way to expand a certain kind of $(\mathbb Z_2)^{n+1}$-colored regular graphs into closed $n$-manifolds by adding cells determined by the edge-colorings inductively. We show that every closed combinatorial $n$-manifold can be obtained in this way. When $n\leq 3$, we give simple equivalent conditions for a colored graph to admit an expansion. In addition, we show that if a $(\mathbb Z_2)^{n+1}$-colored regular graph admits an $n$-skeletal expansion, then it is realizable as the moment graph of an $(n+1)$-dimensional closed $(\mathbb Z_2)^{n+1}$-manifold.
On quadratic residue codes and hyperelliptic curves
Published
• View Publication
• BIB
A long standing problem has been to develop "good" binary linear codes to be used for error-correction. This paper investigates in some detail an attack on this problem using a connection between quadratic residue codes and hyperelliptic curves. One question which coding theory is used to attack is: Does there exist a c<2 such that, for all sufficiently large $p$ and all subsets S of GF(p), we have |X_S(GF(p))| < cp?
Graphs and Hermitian matrices: exact interlacing
We prove conditions for equality between the extreme eigenvalues of a matrix and its quotient. In particular, we give a lower bound on the largest singular value of a matrix and generalize a result of Finck and Grohmann about the largest eigenvalue of a graph.
Subgraph posets and graph reconstruction
We consider 3 (weighted) posets associated with a graph G - the poset P(G) of distinct induced unlabelled subgraphs, the lattice Omega(G) of distinct unlabelled graphs induced by connected partitions, and the poset Q(G) of distinct unlabelled edge-subgraphs. We study these posets given up to isomorphism, and their relation to the reconstruction conjectures. We show that when G is not a star or a disjoint union of edges, P(G) and Omega(G) can be constructed from each other. The result implies that trees are reconstructible from their abstract bond lattice. We present many results on the reconstruction questions about the chromatic symmetric function and the symmetric Tutte polynomial. In particular, we show that the symmetric Tutte polynomial of a tree can be constructed from its chromatic symmetric function.
We classify graphs that are not reconstructible from their abstract edge-subgraph posets, and further show that the families presented here are the only graphs not Q-reconstructible if and only if the edge reconstruction conjecture is true.
Let f be a bijection from the set of all unlabelled graphs to itself such that for all unlabelled graphs G and H, hom(G,H) = hom(f(G), f(H)). We conjecture that f is an identity map. We show that this conjecture is weaker than the edge reconstruction conjecture. Our conjecture is motivated by homomorphism cancellation results due to Lovász.
Lectures on Topology of Words
Published
• View Publication
• BIB
We discuss a topological approach to words introduced by the author. Words on an arbitrary alphabet are approximated by Gauss words and then studied up to natural modifications inspired by the Reidemeister moves on knot diagrams. This leads us to a notion of homotopy for words. We introduce several homotopy invariants of words and give a homotopy classification of words of length five.
Spanning trees on the Sierpinski gasket
Published in J. Stat. Phys. 126 (2007) 649-667
• View Publication
• BIB
We obtain the numbers of spanning trees on the Sierpinski gasket $SG_d(n)$ with dimension $d$ equal to two, three and four. The general expression for the number of spanning trees on $SG_d(n)$ with arbitrary $d$ is conjectured. The numbers of spanning trees on the generalized Sierpinski gasket $SG_{d,b}(n)$ with $d=2$ and $b=3,4$ are also obtained.
Non-Symmetric Hall-Littlewood Polynomials
Using the action of the Yang-Baxter elements of the Hecke algebra on polynomials, we define two bases of polynomials in n variables. The Hall-Littlewood polynomials are a subfamily of one of them. For q=0, these bases specialize into the two families of classical Key polynomials (i.e. Demazure characters for type A). We give a scalar product for which the two bases are adjoint of each other.
Integral closures of monomial ideals and Fulkersonian hypergraphs
We prove that the integral closures of the powers of a squarefree monomial ideal I equal the symbolic powers if and only if I is the edge ideal of a Fulkersonian hypergraph.
On the asymptotic minimum number of monochromatic 3-term arithmetic progressions
Published in Journal of Combinatorial Theory, Series A. Volume 115, Issue 1, January 2008, pp. 185-192.
• View Publication
• BIB
Let V(n) be the minimum number of monochromatic 3-term arithmetic progressions in any 2-coloring of {1,2,...,n}. We show that (1675/32768) n^2 (1+o(1)) <= V(n) <= (117/2192) n^2(1+o(1)). As a consequence, we find that V(n) is strictly greater than the corresponding number for Schur triples (which is (1/22) n^2 (1+o(1)). Additionally, we disprove the conjecture that V(n) = (1/16) n^2(1+o(1)), as well as a more general conjecture.
Eleven Euclidean Distances are Enough
Published
• View Publication
• BIB
The well-known three distance theorem states that there are at most three distinct gaps between consecutive elements in the set of the first n multiples of any real number. We generalise this theorem to higher dimensions under a suitable formulation.
The three distance theorem can be thought of as a statement about champions in a tournament. The players in the tournament are edges between pairs of multiples of the given real number, two edges play each other if and only if they overlap, and an edge loses only against edges of shorter length that it plays against. Defeated edges may play (and defeat) other overlapping edges. According to the three distance theorem, there are at most three distinct values for the lengths of undefeated edges. In the plane and in higher dimensions, we consider fractional parts of multiples of a vector of real numbers, two edges play if their projections along any axis overlap, and champions are defined as before. In the plane, there are at most 11 values for the lengths of undefeated edges.
Random Sorting Networks
Published in Adv. Math. 215 (2007), no. 2, 839-868
• View Publication
• BIB
A sorting network is a shortest path from 12...n to n...21 in the Cayley graph of S_n generated by nearest-neighbour swaps. We prove that for a uniform random sorting network, as n->infinity the space-time process of swaps converges to the product of semicircle law and Lebesgue measure. We conjecture that the trajectories of individual particles converge to random sine curves, while the permutation matrix at half-time converges to the projected surface measure of the 2-sphere. We prove that, in the limit, the trajectories are Holder-1/2 continuous, while the support of the permutation matrix lies within a certain octagon. A key tool is a connection with random Young tableaux.
Tetromino tilings and the Tutte polynomial
Published in Journal of Physics A Mathematical and Theoretical 40 (2007) 1439-1446
• View Publication
• BIB
We consider tiling rectangles of size 4m x 4n by T-shaped tetrominoes. Each tile is assigned a weight that depends on its orientation and position on the lattice. For a particular choice of the weights, the generating function of tilings is shown to be the evaluation of the multivariate Tutte polynomial Z\_G(Q,v) (known also to physicists as the partition function of the Q-state Potts model) on an (m-1) x (n-1) rectangle G, where the parameter Q and the edge weights v can take arbitrary values depending on the tile weights.
Enumeration of subtrees of trees
Published
• View Publication
• BIB
Let $T$ be a weighted tree. The weight of a subtree $T_1$ of $T$ is defined as the product of weights of vertices and edges of $T_1$. We obtain a linear-time algorithm to count the sum of weights of subtrees of $T$. As applications, we characterize the tree with the diameter at least $d$, which has the maximum number of subtrees, and we characterize the tree with the maximum degree at least $Δ$, which has the minimum number of subtrees.
On the number of linear forms in logarithms
Published in Journal of Number Theory, 125 (2007), 247-253
• View Publication
• BIB
Let $n$ be a positive integer. In this paper we estimate the size of the set of linear forms $b_1\log a_1 + b_2\log a_2+...+b_n\log a_n$, where $|b_i|\leq B_i$ and $1\leq a_i\leq A_i$ are integers, as $A_i,B_i\to
\infty$.
Enumerations of Cayley graphs
We characterize the equivalence and the weak equivalence of Cayley graphs for a finite group $\C{A}$. Using these characterizations, we find enumeration formulae of the equivalence classes and weak equivalence classes of Cayley graphs. As an application, we find the number of weak equivalence classes of circulant graphs.