Showing 20 papers (Total: 81756 papers, 47371 authors in database)
A Eulogy for Jack Good
Irving John ("Jack") Good (9 December 1916 - 5 April 2009) was one of my greatest heroes and influencers. On Oct. 25, 2009, I gave a twenty-three minute talk with the present title, and this article is an extended transcript of that talk. As with all my papers, the "accompanying" Maple package is much more important (mathematically, of course, I also talk about the human side of Jack in this article, and this is even more important than any math). In particular, I taught Jack's brilliant ideas to my computer, and now it can do even better than Jack.
Steinitz Theorems for Orthogonal Polyhedra
Published in J. Computational Geometry 5 (1): 179-244, 2014
• View Publication
• BIB
We define a simple orthogonal polyhedron to be a three-dimensional polyhedron with the topology of a sphere in which three mutually-perpendicular edges meet at each vertex. By analogy to Steinitz's theorem characterizing the graphs of convex polyhedra, we find graph-theoretic characterizations of three classes of simple orthogonal polyhedra: corner polyhedra, which can be drawn by isometric projection in the plane with only one hidden vertex, xyz polyhedra, in which each axis-parallel line through a vertex contains exactly one other vertex, and arbitrary simple orthogonal polyhedra. In particular, the graphs of xyz polyhedra are exactly the bipartite cubic polyhedral graphs, and every bipartite cubic polyhedral graph with a 4-connected dual graph is the graph of a corner polyhedron. Based on our characterizations we find efficient algorithms for constructing orthogonal polyhedra from their graphs.
On Zumkeller Numbers
Published
• View Publication
• BIB
Generalizing the concept of a perfect number, Sloane's sequences of integers A083207 lists the sequence of integers $n$ with the property: the positive factors of $n$ can be partitioned into two disjoint parts so that the sums of the two parts are equal. Following Clark et al., we shall call such integers, Zumkeller numbers. Generalizing this, Clark et al., call a number n a half-Zumkeller number if the positive proper factors of n can be partitioned into two disjoint parts so that the sums of the two parts are equal.
An extensive study of properties of Zumkeller numbers, half-Zumkeller numbers and their relation to practical numbers is undertaken in this paper.
Clark et al., announced results about Zumkellers numbers and half-Zumkeller numbers and suggested two conjectures. In the present paper we shall settle one of the conjectures, prove the second conjecture in some special cases and prove several results related to the second conjecture. We shall also show that if there is an even Zumkeller number that is not half-Zumkeller it should be bigger than 7233498900.
A method for obtaining the algebraic generating function from a series
We describe here an experimental method that permits to compute a good candidate for the closed form of a generating function if we know the first few terms of a series. The method is based on integer relations algorithms and uses either two programs of symbolic computation: Maple or Pari-Gp. Some results are presented in the appendix. This method was tested on a set of sequences that were part of the incoming book on integer sequences (as of 1993). This method was presented at the FPSAC, Formal Power Series and Algebraic Combinatorics, Florence, June 1993.
Congruences via modular forms
Published in Proceedings of the AMS, 139, no. 7, (2011) 2375-2381
• View Publication
• BIB
We prove two congruences for the coefficients of power series expansions in t of modular forms where t is a modular function. As a result, we settle two recent conjectures of Chan, Cooper and Sica. Additionally, we provide a table of congruences for numbers which appear in similar power series expansions and in the study of integral solutions of Apery-like differential equations.
The (1-E)-transform in combinatorial Hopf algebras
Published in J. Algebraic Combin. 33 (2011), 277-312
• View Publication
• BIB
We extend to several combinatorial Hopf algebras the endomorphism of symmetric functions sending the first power-sum to zero and leaving the other ones invariant. As a transformation of alphabets, this is the (1-E)-transform, where E is the exponential alphabet, whose elementary symmetric functions are e_n=1/n!. In the case of noncommutative symmetric functions, we recover Schocker's idempotents for derangement numbers [Discr. Math. 269 (2003), 239].
From these idempotents, we construct subalgebras of the descent algebras analogous to the peak algebras and study their representation theory. The case of WQSym leads to similar subalgebras of the Solomon-Tits algebras. In FQSym, the study of the transformation boils down to a simple solution of the Tsetlin library in the uniform case.
On k-crossings and k-nestings of permutations
Published in Proceedings of the 22nd International Conference on Formal Power Series and Algebraic Combinatorics, 2010
• View Publication
• BIB
We introduce k-crossings and k-nestings of permutations. We show that the crossing number and the nesting number of permutations have a symmetric joint distribution. As a corollary, the number of k-noncrossing permutations is equal to the number of k-nonnesting permutations. We also provide some enumerative results for k-noncrossing permutations for some values of k.
Generalized descent patterns in permutations and associated Hopf algebras
Published in European Journal of Combinatorics 32 (2011), 618-627
• View Publication
• BIB
Descents in permutations or words are defined from the relative position of two consecutive letters. We investigate a statistic involving patterns of k consecutive letters, and show that it leads to Hopf algebras generalizing noncommutative symmetric functions and quasi-symmetric functions.
Calculus of linear extensions and Newton interpolation
We use Newton divided differences for calculation of Greene sums -- the rational functions determined by linear extensions of partially ordered sets. Identities for Greene sums generate relations for Newton divided differences and Arnold differential forms. Also generalizations of the Newton interpolation series which are indexed by sequences of partially ordered sets are received.
Open Conjectures on Congruences
We collect here various conjectures on congruences made by the author in a series of papers, some of which involve binary quadratic forms and other advanced theories. Part A consists of 100 unsolved conjectures of the author while conjectures in Part B have been recently confirmed. We hope that this material will interest number theorists and stimulate further research. Number theorists are welcome to work on those open conjectures; for some of them we offer prizes for the first correct proofs.
A complete h-vector for convex polytopes
This note defines a complete h-vector for convex polytopes, which extends the already known toric (or mpih) h-vector and has many similar properties. Complete means that it encodes the whole of the flag vector.
First we define the concept of a generalised h-vector and state some properties that follow. The toric h-vector is given as an example. We then define a complete generalised h-vector, and again state properties. Finally, we show that this complete h-vector and all with similar properties will sometimes have negative coefficients.
Most of the proofs, and further investigations, will appear elsewhere.
Combinatorial Invariance of Relative R-polynomials in the Hermitian Symmetric Case
We develop a marking system for an analog of Hasse diagrams of intervals $[u,v]$ with $u\leq v$ in a Hermitian symmetric pair $W/W_J$, and use this to create a closed form algorithm for computing relative R-polynomials. The uniform nature of this algorithm allows us to show combinatorial invariance of relative Kazhdan-Lusztig polynomials in the Hermitian symmetric space setting.
Tableaux in the Whitney Module of a Matroid
Published in Séminaire Lotharingien de Combinatoire 63 (2010), Article B63f
• Search Publication
The Whitney module of a matroid is a natural analogue of the tensor algebra of the exterior algebra of a vector space that takes into account the dependencies of a matroid. In this paper we indicate the role that tableaux can play in describing the Whitney module. We will use our results to describe a basis of the Whitney module of a certain class of matroids known as freedom matroids (also known as Schubert, or shifted matroids). The doubly multilinear submodule of the Whitney module is a representation of the symmetric group. We will describe a formula for the multiplicity of hook shapes in this representation in terms of no broken circuit sets.
On a conjecture of Stanley depth of squarefree Veronese ideals
Published
• View Publication
• BIB
In this paper, we partially confirm a conjecture, proposed by Cimpoeaş, Keller, Shen, Streib and Young, on the Stanley depth of squarefree Veronese ideals $I_{n,d}$. This conjecture suggests that, for positive integers $1 \le d \le n$, $\sdepth (I_{n,d})= \lfloor \binom{n}{d+1}/\binom{n}{d} \rfloor+d$. Herzog, Vladoiu and Zheng established a connection between the Stanley depths of quotients of monomial ideals and interval partitions of certain associated posets. Based on this connection, Keller, Shen, Streib and Young recently developed a useful combinatorial tool to analyze the interval partitions of the posets associated with the squarefree Veronese ideals. We modify their ideas and prove that if $1 \le d \le n \le (d+1) \lfloor \frac{1+\sqrt{5+4d}}{2}\rfloor+2d$, then $\sdepth (I_{n,d})= \lfloor \binom{n}{d+1}/\binom{n}{d} \rfloor+d$. We also obtain $ \lfloor \frac{d+\sqrt{d^2+4(n+1)}}{2} \rfloor \le \sdepth(I_{n,d}) \le \lfloor \binom{n}{d+1}/\binom{n}{d} \rfloor+d$ for $n > (d+1) \lfloor \frac{1+\sqrt{5+4d}}{2}\rfloor+2d$. As a byproduct of our construction, We give an alternative proof of Theorem $1.1 $ in $[13]$ without graph theory.
The chain relation in sofic subshifts
Published in Fundamenta Informaticae. volume 84. number 3-4. pages 375-390. 2008
• View Publication
• BIB
The paper gives a characterisation of the chain relation of a sofic subshift. Every sofic subshift $Σ$ can be described by a labelled graph $G$. Factorising $G$ in a suitable way we obtain the graph $G/_\approx$ that offers insight into some properties of the original subshift. Using $G/_\approx$ we describe first the chain relation in $Σ$, then characterise chain-transitive sofic subshifts, chain-mixing sofic subshifts and finally the attractors of the subshift dynamic system. At the end we present (straightforward) algorithms deciding chain-transitivity and chain-mixing properties of a sofic subshift and listing all the attractors of the subshift system.
Framed 4-Valent Graphs: Euler Tours, Gauss Circuits and Rotating Circuits
In the present paper we give an explicit formula which allows us immediately to describe a unique Gauss circuit on a framed 4-valent graph (a graph with a structure of opposite edges) from an arbitrary Euler tour on the graph whenever the Gauss circuit exists. This formula only depends on the adjacency matrix of an Euler tour and also tells us whether there exists a Gauss tour on a framed 4-valent graph or not. It turns out that the results are also valid for all symmetric matrices (not just realisable by a chord diagram).
Projections of tropical varieties and their self-intersections
Published
• View Publication
• BIB
We study algebraic and combinatorial aspects of (classical) projections of $m$-dimensional tropical varieties onto $(m+1)$-dimensional planes. Building upon the work of Sturmfels, Tevelev, and Yu on tropical elimination as well as the work of the authors on projection-based tropical bases, we characterize algebraic properties of the relevant ideals and provide a characterization of the dual subdivision (as a subdivision of a fiber polytope). This dual subdivision naturally leads to the issue of self-intersections of a tropical variety under projections. For the case of curves, we provide some bounds for the (unweighted) number of self-intersections of projections onto the plane and give constructions with many self-intersections.
Viewing counting polynomials as Hilbert functions via Ehrhart theory
Published
• View Publication
• BIB
Steingrimsson (2001) showed that the chromatic polynomial of a graph is the Hilbert function of a relative Stanley-Reisner ideal. We approach this result from the point of view of Ehrhart theory and give a sufficient criterion for when the Ehrhart polynomial of a given relative polytopal complex is a Hilbert function in Steingrimsson's sense. We use this result to establish that the modular and integral flow and tension polynomials of a graph are Hilbert functions.
Boundary and shape of binary images
Published
• View Publication
• BIB
In this paper we will consider an unknown binary image, of which the length of the boundary and the area of the image are given. These two values together contain some information about the general shape of the image. We will study two properties of the shape in particular. Firstly, we will prove sharp lower bounds for the size of the largest connected component. Secondly, we will derive some results about the size of the largest ball containing only ones, both in the case that the connected components are all simply connected and in the general case.
A Franklin Type Involution for Squares
Published
• View Publication
• BIB
We find an involution as a combinatorial proof of a Ramanujan's partial theta identity. Based on this involution, we obtain a Franklin type involution for squares in the sense that the classical Franklin involution provides a combinatorial interpretation of Euler's pentagonal number theorem. This Franklin type involution can be considered as a solution to a problem proposed by Pak concerning the parity of the number of partitions of n into distinct parts with the smallest part being odd. Using a weighted form of our involution, we give a combinatorial proof of a weighted partition theorem derived by Alladi from Ramanujan's partial theta identity. This answers a question of Berndt, Kim and Yee. Furthermore, through a different weight assignment, we find combinatorial interpretations for another partition theorem derived by Alladi from a partial theta identity of Andrews. Moreover, we obtain a partition theorem based on Andrews' identity and provide a combinatorial proof by certain weight assignment for our involution. A specialization of our partition theorem is relate to an identity of Andrews concerning partitions into distinct nonnegative parts with the smallest part being even. Finally, we give a more general form of our partition theorem which in return corresponds to a generalization of Andrews' identity.