Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Schedule generation schemes for the job-shop problem with sequence-dependent setup times: dominance properties and computational analysis
Published in Annals of Operations Research 138 (2005) 21-52
• View Publication
• BIB
We consider the job-shop problem with sequence-dependent setup times. We focus on the formal definition of schedule generation schemes (SGSs) based on the semi-active, active, and non-delay schedule categories. We study dominance properties of the sets of schedules obtainable with each SGS. We show how the proposed SGSs can be used within single-pass and multi-pass priority rule based heuristics. We study several priority rules for the problem and provide a comparative computational analysis of the different SGSs on sets of instances taken from the literature. The proposed SGSs significantly improve previously best-known results on a set of hard benchmark instances.
Clean Lattice Tetrahedra
A clean lattice tetrahedron is a non-degenerate tetrahedron with the property that the only lattice points on its boundary are its vertices. We present some new proofs of old results and some new results on clean lattice tetrahedra, with an emphasis on counting the number of its interior lattice points and on computing its lattice width.
Intrinsic Linking and Knotting in Virtual Spatial Graphs
Published in Algebr. Geom. Topol. 7 (2007) 583-601
• View Publication
• BIB
We introduce a notion of intrinsic linking and knotting for virtual spatial graphs. Our theory gives two filtrations of the set of all graphs, allowing us to measure, in a sense, how intrinsically linked or knotted a graph is; we show that these filtrations are descending and non-terminating. We also provide several examples of intrinsically virtually linked and knotted graphs. As a byproduct, we introduce the {\it virtual unknotting number} of a knot, and show that any knot with non-trivial Jones polynomial has virtual unknotting number at least 2.
On Zamolodchikov's Periodicity Conjecture
Published
• View Publication
• BIB
I prove Zamolodchikov's periodicity conjecture for type A with both ranks arbitrary.
Decomposing simple permutations, with enumerative consequences
Published
• View Publication
• BIB
We prove that every sufficiently long simple permutation contains two long almost disjoint simple subsequences. This result has applications to the enumeration of restricted permutations. For example, it immediately implies a result of Bona and (independently) Mansour and Vainshtein that for any r, the number of permutations with at most r copies of 132 has an algebraic generating function.
SPM Bulletin 17
CONTENTS: Lecce Workshop presentations available online; Borel cardinalities below c_0; Hereditarily non-topologizable groups; A hodgepodge of sets of reals; Random gaps; Covering a bounded set of functions by an increasing chain of slaloms; Baire-one mappings contained in a usco map; Applications of k-covers II; Additivity numbers of covering properties; Combinatorial images of sets of reals and semifilter trichotomy; Another algebraic equivalent of the Continuum Hypothesis; A connection between decomposable ultrafilters and possible cofinalities II; Game Approach to Universally Kuratowski-Ulam Spaces; On the density of Banach spaces C(K) with the Grothendieck property; Antichains in partially ordered sets of singular cofinality; Bolzano-Weierstrass principle of choice extended towards ordinals; Nonequality of Dimensions for Metric Groups; Not all pure states on B(H) are diagonalizable; A comment on p<t; Problem of the Issue.
The Tetrahedron algebra and its finite-dimensional irreducible modules
Published
• View Publication
• BIB
Recently Terwilliger and the present author found a presentation for the three-point $\mathfrak{sl}_2$ loop algebra via generators and relations. To obtain this presentation we defined a Lie algebra $\boxtimes$ by generators and relations and displayed an isomorphism from $\boxtimes$ to the three-point $\mathfrak{sl}_2$ loop algebra. In this paper we classify the finite-dimensional irreducible $\boxtimes$-modules.
Cambrian fans
Published
• View Publication
• BIB
For a finite Coxeter group W and a Coxeter element c of W, the c-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of W. Its maximal cones are naturally indexed by the c-sortable elements of W. The main result of this paper is that the known bijection cl_c between c-sortable elements and c-clusters induces a combinatorial isomorphism of fans. In particular, the c-Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for W. The rays of the c-Cambrian fan are generated by certain vectors in the W-orbit of the fundamental weights, while the rays of the c-cluster fan are generated by certain roots. For particular ("bipartite") choices of c, we show that the c-Cambrian fan is linearly isomorphic to the c-cluster fan. We characterize, in terms of the combinatorics of clusters, the partial order induced, via the map cl_c, on c-clusters by the c-Cambrian lattice. We give a simple bijection from c-clusters to c-noncrossing partitions that respects the refined (Narayana) enumeration. We relate the Cambrian fan to well known objects in the theory of cluster algebras, providing a geometric context for g-vectors and quasi-Cartan companions.
Meanders in a Cayley graph
A meander of order n is a simple closed curve in the plane which intersects a horizontal line transversely at 2n points. (Meanders which differ by an isotopy of the line and plane are considered equivalent.)
Let Gamma_n be the Cayley graph of the symmetric group S_n as generated by all (n choose 2) transpositions. Let Lambda_n be any interval of maximal length in Gamma_n; this graph is the Hasse diagram of the lattice of noncrossing partitions. The meanders of order n are in one-to-one correspondence with ordered pairs of maximally separated vertices of Lambda_n.
Percolation on dual lattices with k-fold symmetry
Published in Random Structures and Algorithms 32 (2008), 463--472.
• View Publication
• BIB
Zhang found a simple, elegant argument deducing the non-existence of an infinite open cluster in certain lattice percolation models (for example, p=1/2 bond percolation on the square lattice) from general results on the uniqueness of an infinite open cluster when it exists; this argument requires some symmetry. Here we show that a simple modification of Zhang's argument requires only 2-fold (or 3-fold) symmetry, proving that the critical probabilities for percolation on dual planar lattices with such symmetry sum to 1. Like Zhang's argument, our extension applies in many contexts; in particular, it enables us to answer a question of Grimmett concerning the anisotropic random cluster model on the triangular lattice.
q-Analogue of Wilson's theorem
We give q-analogues of Wilson's theorem for the primes congruent 1 and 3 modulo 4 respectively. And q-analogues of two congruences due to Mordell and Chowla are also established.
On the Enumeration of Certain Weighted Graphs
We enumerate weighted graphs with a certain upper bound condition. We also compute the generating function of the numbers of these graphs, and prove that it is a rational function. In particular, we show that if the given graph is a bipartite graph, then its generating function is of the form $\frac{p(x)}{(1-x)^{m+1}}$, where $m$ is the number of vertices of the graph and $p(x)$ is a polynomial of degree at most $m$.
Generalized shuffles related to Nijenhuis and TD-algebras
Published in Communications in Algebra, Volume 37, Issue 9, 2009, 3064-3094
• View Publication
• BIB
Shuffle and quasi-shuffle products are well-known in the mathematics literature. They are intimately related to Loday's dendriform algebras, and were extensively used to give explicit constructions of free commutative Rota-Baxter algebras. In the literature there exist at least two other Rota-Baxter type algebras, namely, the Nijenhuis algebra and the so-called TD-algebra. The explicit construction of the free unital commutative Nijenhuis algebra uses a modified quasi-shuffle product, called the right-shift shuffle. We show that another modification of the quasi-shuffle product, the so-called left-shift shuffle, can be used to give an explicit construction of the free unital commutative TD-algebra. We explore some basic properties of TD-operators and show that the free unital commutative Nijenhuis algebra is a TD-algebra. We relate our construction to Loday's unital commutative dendriform trialgebras, including the involutive case. The concept of Rota-Baxter, Nijenhuis and TD-bialgebras is introduced at the end and we show that any commutative bialgebra provides such objects.
Sharp edge, vertex, and mixed Cheeger type inequalities for finite Markov kernels
Published in Electronic Communications in Probability, vol. 12, pp. 377-389, 2007.
• View Publication
• BIB
We show how the evolving set methodology of Morris and Peres can be used to show Cheeger inequalities for bounding the spectral gap of a finite Markov kernel. This leads to sharp versions of several previous Cheeger inequalities, including ones involving edge-expansion, vertex-expansion, and mixtures of both. A bound on the smallest eigenvalue also follows.
Polynomials, meanders, and paths in the lattice of noncrossing partitions
Published
• View Publication
• BIB
For every polynomial f of degree n with no double roots, there is an associated family C(f) of harmonic algebraic curves, fibred over the circle, with at most n-1 singular fibres. We study the combinatorial topology of C(f) in the generic case when there are exactly n-1 singular fibres. In this case, the topology of C(f) is determined by the data of an n-tuple of noncrossing matchings on the set {0,1,...,2n-1} with certain extra properties. We prove that there are 2(2n)^{n-2} such n-tuples, and that all of them arise from the topology of C(f) for some polynomial f.
Diagonal Peg Solitaire
Published in INTEGERS: Electronic Journal of Combinatorial Number Theory 7 (2007) #G01
• Search Publication
We study the classical game of peg solitaire when diagonal jumps are allowed. We prove that on many boards, one can begin from a full board with one peg missing, and finish with one peg anywhere on the board. We then consider the problem of finding solutions that minimize the number of moves (where a move is one or more jumps by the same peg), and find the shortest solution to the "central game", which begins and ends at the center. In some cases we can prove analytically that our solutions are the shortest possible, in other cases we apply A* or bidirectional search heuristics.
The Sylvester-Gallai Theorem, colourings and algebra
Published in Discrete Mathematics 309 (2009), 385--399
• View Publication
• BIB
Our point of departure is the following simple common generalisation of the Sylvester-Gallai theorem and the Motzkin-Rabin theorem:
Let S be a finite set of points in the plane, with each point coloured red or blue or with both colours. Suppose that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. Then all the points in S are collinear.
We define a chromatic geometry to be a simple matroid for which each point is coloured red or blue or with both colours, such that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. This is a common generalisation of proper finite linear spaces and properly two-coloured finite linear spaces, with many known properties of both generalising as well. One such property is Kelly's complex Sylvester-Gallai theorem. We also consider embeddings of chromatic geometries in Desarguesian projective spaces. We prove a lower bound of 51 for the number of points in a 3-dimensional chromatic geometry in projective space over the quaternions. Finally, we suggest an elementary approach to the corollary of an inequality of Hirzebruch used by Kelly in his proof of the complex Sylvester-Gallai theorem.
Integration over quantum permutation groups
Published in J. Funct. Anal. 242 (2007), no. 2, 641-657
• View Publication
• BIB
We find a combinatorial formula for the Haar measure of quantum permutation groups. This leads to a dynamic formula for laws of diagonal coefficients, explaining the Poisson/free Poisson convergence result for characters.
Correlation decay and deterministic FPTAS for counting list-colorings of a graph
Published
• View Publication
• BIB
We propose a deterministic algorithm for approximately counting the number of list colorings of a graph. Under the assumption that the graph is triangle free, the size of every list is at least $αΔ$, where $α$ is an arbitrary constant bigger than $α^{**}=2.8432...$, and $Δ$ is the maximum degree of the graph, we obtain the following results. For the case when the size of the each list is a large constant, we show the existence of a \emph{deterministic} FPTAS for computing the total number of list colorings. The same deterministic algorithm has complexity $2^{O(\log^2 n)}$, without any assumptions on the sizes of the lists, where $n$ is the instance size. We further extend our method to a discrete Markov random field (MRF) model. Under certain assumptions relating the size of the alphabet, the degree of the graph and the interacting potentials we again construct a deterministic FPTAS for computing the partition function of a MRF.
Our results are not based on the most powerful existing counting technique -- rapidly mixing Markov chain method. Rather we build upon concepts from statistical physics, in particular, the decay of correlation phenomena and its implication for the uniqueness of Gibbs measures in infinite graphs. This approach was proposed in two recent papers \cite{BandyopadhyayGamarnikCounting} and \cite{weitzCounting}. The principle insight of this approach is that the correlation decay property can be established with respect to certain \emph{computation tree}, as opposed to the conventional correlation decay property with respect to graph theoretic neighborhoods of a given node. This allows truncation of computation at a logarithmic depth in order to obtain polynomial accuracy in polynomial time.
Laplacians on shifted multicomplexes
We define the Laplacian operator on finite multicomplexes and give a formula for its spectra in the case of shifted multicomplexes.