Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On embeddings of finite metric spaces in $l_\infty^n$
Published
• View Publication
• BIB
We prove that for any given integer $c>0$ any metric space on $n$ points may be isometrically embedded into $l_{\infty}^{n-c}$ provided $n$ is large enough.
Classification of near-normal sequences
Published in Discrete Mathematics, Algorithms and Applications, vol. 1, No. 3 (2009), 389-399
• Search Publication
We introduce a canonical form for near-normal sequences NN(n), and using it we enumerate the equivalence classes of such sequences for even n up to 30. These sequences are needed for Yang multiplication in the construction of longer T-sequences from base sequences.
Binary nullity, Euler circuits and interlace polynomials
Published
• View Publication
• BIB
A theorem of Cohn and Lempel [J. Combin. Theory Ser. A 13 (1972), 83-89] gives an equality relating the number of circuits in a directed circuit partition of a 2-in, 2-out digraph to the GF(2)-nullity of an associated matrix. This equality is essentially equivalent to the relationship between directed circuit partitions of 2-in, 2-out digraphs and vertex-nullity interlace polynomials of interlace graphs. We present an extension of the Cohn-Lempel equality that describes arbitrary circuit partitions in (undirected) 4-regular graphs. The extended equality incorporates topological results that have been of use in knot theory, and it implies that if H is obtained from an interlace graph by attaching loops at some vertices then the vertex-nullity interlace polynomial $q_{N}(H)$ is essentially the generating function for certain circuit partitions of an associated 4-regular graph.
Spanning Forests on Random Planar Lattices
Published in J.Statist.Phys.135:1063-1104,2009
• View Publication
• BIB
The generating function for spanning forests on a lattice is related to the q-state Potts model in a certain q -> 0 limit, and extends the analogous notion for spanning trees, or dense self-avoiding branched polymers. Recent works have found a combinatorial perturbative equivalence also with the (quadratic action) O(n) model in the limit n -> -1, the expansion parameter t counting the number of components in the forest. We give a random-matrix formulation of this model on the ensemble of degree-k random planar lattices. For k = 3, a correspondence is found with the Kostov solution of the loop-gas problem, which arise as a reformulation of the (logarithmic action) O(n) model, at n = -2. Then, we show how to perform an expansion around the t = 0 theory. In the thermodynamic limit, at any order in t we have a finite sum of finite-dimensional Cauchy integrals. The leading contribution comes from a peculiar class of terms, for which a resummation can be performed exactly.
Entanglement and area law with a fractal boundary in a topologically ordered phase
Published in Phys. Rev. A 81, 010102(R) (2010)
• View Publication
• BIB
Quantum systems with short range interactions are known to respect an area law for the entanglement entropy: the von Neumann entropy $S$ associated to a bipartition scales with the boundary $p$ between the two parts. Here we study the case in which the boundary is a fractal. We consider the topologically ordered phase of the toric code with a magnetic field. When the field vanishes it is possible to analytically compute the entanglement entropy for both regular and fractal bipartitions $(A,B)$ of the system, and this yields an upper bound for the entire topological phase. When the $A$-$B$ boundary is regular we have $S/p =1$ for large $p$. When the boundary is a fractal of Hausdorff dimension $D$, we show that the entanglement between the two parts scales as $S/p=γ\leq1/D$, and $γ$ depends on the fractal considered.
Branching rules for symmetric Macdonald polynomials and sl_n basic hypergeometric series
Published in Advances in Applied Mathematics 46 (2011), 424-456
• Search Publication
A one-parameter generalisation R_λ(X;b) of the symmetric Macdonald polynomials and interpolations Macdonald polynomials is studied from the point of view of branching rules. We establish a Pieri formula, evaluation symmetry, principal specialisation formula and q-difference equation for R_λ(X;b). We also prove a new multiple q-Gauss summation formula and several further results for sl_n basic hypergeometric series based on R_λ(X;b).
Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture
Published
• View Publication
• BIB
Paul Erdos claimed that mathematics is not yet ready to settle the 3x+1 conjecture. I agree, but very soon it will be! With the exponential growth of computer-generated mathematics, we (or rather our silicon brethrern) would have a shot at it. Of course, not by number crunching, but by symbol crunching and automatic deduction. In the present article, I taught my computer how to use the brilliant ideas of four human beings (Amal Amleh, Ed Grove, Candy Kent, and Gerry Ladas) to prove two-dimensional analogs of this notorious conjecture. Once programmed (using my Maple package LADAS) it reproduced their ten theorems, and generated 134 new ones, complete with proofs. All by itself! I believe that the proof of the original 3x+1 conjecture would be in the same vein, but one would need a couple of extra human ideas, and better computers.
A Victorian Age Proof of the Four Color Theorem
Published
• View Publication
• BIB
In this paper we have investigated some old issues concerning four color map problem. We have given a general method for constructing counter-examples to Kempe's proof of the four color theorem and then show that all counterexamples can be rule out by re-constructing special 2-colored two paths decomposition in the form of a double-spiral chain of the maximal planar graph. In the second part of the paper we have given an algorithmic proof of the four color theorem which is based only on the coloring faces (regions) of a cubic planar maps. Our algorithmic proof has been given in three steps. The first two steps are the maximal mono-chromatic and then maximal dichromatic coloring of the faces in such a way that the resulting uncolored (white) regions of the incomplete two-colored map induce no odd-cycles so that in the (final) third step four coloring of the map has been obtained almost trivially.
Erdös-Ko-Rado theorems for chordal and bipartite graphs
Published
• View Publication
• BIB
One of the more recent generalizations of the Erdös-Ko-Rado theorem, formulated by Holroyd, Spencer and Talbot, defines the Erdös-Ko-Rado property for graphs in the following manner: for a graph G and a positive integer r, G is said to be r-EKR if no intersecting subfamily of the family of all independent vertex sets of size r is larger than the largest star, where a star centered at a vertex v is the family of all independent sets of size $r$ containing v. In this paper, we prove that if G is a disjoint union of chordal graphs, including at least one singleton, then G is r-EKR if $r\leq mu(G)/2$, where mu(G) is the minimum size of a maximal independent set. We will also prove Erdös-Ko-Rado results for chains of complete graphs, which are a class of chordal graphs obtained by blowing up edges of a path into complete graphs. We also consider similar problems for ladder graphs and trees, and prove preliminary results for these graphs.
Factors of alternative binomials sums
Published
• View Publication
• BIB
We confirm several conjectures of Guo, Jouhet and Zeng concerning the factors of alternative binomials sums.
On the Vertex Folkman Numbers $F_v(2,...,2;q)$
For a graph $G$ the symbol $G\tov(a_1,...,a_r)$ means that in every $r$-coloring of the vertices of $G$ for some $i\in\{1,...,r\}$ there exists a monochromatic $a_i$-clique of color $i$. The vertex Folkman numbers \[ \FN=\min\{|V(G)|:G\tov(a_1,...,a_r)\text{and}K_q\nsubseteqq G\} \] are considered. In this paper we shall compute the Folkman numbers $F_v(\underbrace{2,...,2}_r;r-k+1)$ when $k\le 12$ and $r$ is sufficiently large. We prove also new bounds for some vertex and edge Folkman numbers.
Join-irreducible Boolean functions
Published
• View Publication
• BIB
This paper is a contribution to the study of a quasi-order on the set $Ω$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tildeΩ$. Using a two-way correspondence between Boolean functions and hypergraphs, join-irreducibility translates into a combinatorial property of hypergraphs. We observe that among Steiner systems, those which yield join-irreducible members of $\tildeΩ$ are the -2-monomorphic Steiner systems. We also describe the graphs which correspond to join-irreducible members of $\tildeΩ$.
The entries in the LR-tableau
Published in Mathematische Zeitschrift 268 (2011), 211-222
• View Publication
• BIB
Let $Γ$ be the Littlewood-Richardson tableau corresponding to an embedding $M$ of a subgroup in a finite abelian $p$-group. Each individual entry in $Γ$ yields information about the homomorphisms from $M$ into a particular subgroup embedding, and hence determines the position of $M$ within the category of subgroup embeddings. Conversely, this category provides a categorification for LR-tableaux in the sense that all subgroup embeddings corresponding to a given LR-tableau share certain homological properties.
Exterior depth and exterior generic annihilator numbers
We study the exterior depth of an $E$-module and its exterior generic annihilator numbers. For the exterior depth of a squarefree $E$-module we show how it relates to the symmetric depth of the corresponding $S$-module and classify those simplicial complexes having a particular exterior depth in terms of their exterior shifting. We define exterior annihilator numbers analogously to the annihilator numbers over the polynomial ring introduced by Trung and Conca, Herzog and Hibi. In addition to a combinatorial interpretation of the annihilator numbers we show how they are related to the symmetric Betti numbers and the Cartan-Betti numbers, respectively. We finally conclude with an example which shows that neither the symmetric nor the exterior generic annihilator numbers are minimal among the annihilator numbers with respect to a sequence.
MV-Polytopes via affine buildings
Published in Duke Math. J. 155, no. 3 (2010), 433-482
• View Publication
• BIB
We give a construction of MV-polytopes of a complex semisimple algebraic group G in terms of the geometry of the Bott-Samelson variety and the affine building. This is done by using the construction of dense subsets of MV-cycles by Gaussent and Littelmann. They used LS-gallery to define subsets in the Bott-Samelson variety that map to subsets of the affine Grassmannian, whose closure are MV-cycles. Since points in the Bott-Samelson variety correspond to galleries in the affine building one can look at the image of a point in such a special subset under all retractions at infinity. We prove that these images can be used to construct the corresponding MV-polytope in an explicit way, by using the GGMS strata. Furthermore we give a combinatorial construction for these images by using the crystal structure of LS-galleries and the action of the ordinary Weyl group on the coweight lattice.
Cohomological rigidity and the number of homeomorphism types for small covers over prisms
Published
• View Publication
• BIB
In this paper, based upon the basic theory for glued manifolds in M.W. Hirsch (1976) \cite[Chapter 8, §2 Gluing Manifolds Together]{h}, we give a method of constructing homeomorphisms between two small covers over simple convex polytopes. As a result we classify, up to homeomorphism, all small covers over a 3-dimensional prism $P^3(m)$ with $m\geq 3$. We introduce two invariants from colored prisms and other two invariants from ordinary cohomology rings with ${\Bbb Z}_2$-coefficients of small covers. These invariants can form a complete invariant system of homeomorphism types of all small covers over a prism in most cases. Then we show that the cohomological rigidity holds for all small covers over a prism $P^3(m)$ (i.e., cohomology rings with ${\Bbb Z}_2$-coefficients of all small covers over a $P^3(m)$ determine their homeomorphism types). In addition, we also calculate the number of homeomorphism types of all small covers over $P^3(m)$.
Notes on solving and playing peg solitaire on a computer
We consider the one-person game of peg solitaire played on a computer. Two popular board shapes are the 33-hole cross-shaped board, and the 15-hole triangle board---we use them as examples throughout. The basic game begins from a full board with one peg missing and the goal is to finish at a board position with one peg. First, we discuss ways to solve the basic game on a computer. Then we consider the problem of quickly distinguishing board positions where the goal can still be reached ("winning" board positions) from those where it cannot. This enables a computer to alert the player if a jump under consideration leads to a dead end. On the 15-hole triangle board, it is possible to identify all winning board positions (from any single vacancy start) by storing a key set of 437 board positions. For the "central game" on the 33-hole cross-shaped board, we can identify all winning board positions by storing 839,536 board positions. By viewing a successful game as a traversal of a directed graph of winning board positions, we apply a simple algorithm to count the number of ways to traverse this graph, and calculate that the total number of solutions to the central game is 40,861,647,040,079,968. Our analysis can also determine how quickly we can reach a "dead board position", where a one peg finish is no longer possible.
The Discrepancy of the Lex-Least De Bruijn Sequence
Published
• View Publication
• BIB
We answer the following question of R. L. Graham: What is the discrepancy of the lexicographically-least binary de Bruijn sequence? Here, "discrepancy" refers to the maximum (absolute) difference between the number of ones and the number of zeros in any initial segment of the sequence. We show that the answer is $Θ(2^n \log n/n)$.
Quasiperfect domination in triangular lattices
Published in Discussiones Mathematicae Graph Theory 29(2009) 179-198
• View Publication
• BIB
A vertex subset $S$ of a graph $G$ is a perfect (resp. quasiperfect) dominating set in $G$ if each vertex $v$ of $G\setminus S$ is adjacent to only one vertex ($d_v\in\{1,2\}$ vertices) of $S$. Perfect and quasiperfect dominating sets in the regular tessellation graph of Schläfli symbol $\{3,6\}$ and in its toroidal quotients are investigated, yielding the classification of their perfect dominating sets and most of their quasiperfect dominating sets $S$ with induced components of the form $K_ν$, where $ν\in\{1,2,3\}$ depends only on $S$.
Positroid varieties I: juggling and geometry
While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the {\em cyclic shifts} of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, and Brown-Goodearl-Yakimov. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call {\em bounded juggling patterns}. We adopt his terminology and call the strata {\em positroid varieties.} We show that positroid varieties are normal and Cohen-Macaulay, and are defined as schemes by the vanishing of Plucker coordinates. We compute their T-equivariant Hilbert series, and show that their associated cohomology classes are represented by affine Stanley functions. This latter fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus. Our principal tools are the Frobenius splitting results for Richardson varieties as developed by Brion, Lakshmibai, and Littelmann, and the Hodge-Grobner degeneration of the Grassmannian. We show that each positroid variety degenerates to the projective Stanley-Reisner scheme of a shellable ball.