Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Dodgson's Rule Approximations and Absurdity
With the Dodgson rule, cloning the electorate can change the winner, which Young (1977) considers an "absurdity". Removing this absurdity results in a new rule (Fishburn, 1977) for which we can compute the winner in polynomial time (Rothe et al., 2003), unlike the traditional Dodgson rule. We call this rule DC and introduce two new related rules (DR and D&). Dodgson did not explicitly propose the "Dodgson rule" (Tideman, 1987); we argue that DC and DR are better realizations of the principle behind the Dodgson rule than the traditional Dodgson rule. These rules, especially D&, are also effective approximations to the traditional Dodgson's rule. We show that, unlike the rules we have considered previously, the DC, DR and D& scores differ from the Dodgson score by no more than a fixed amount given a fixed number of alternatives, and thus these new rules converge to Dodgson under any reasonable assumption on voter behaviour, including the Impartial Anonymous Culture assumption.
Higher Order SPT-Functions
Published
• View Publication
• BIB
Andrews' spt-function can be written as the difference between the second symmetrized crank and rank moment functions. Using the machinery of Bailey pairs a combinatorial interpretation is given for the difference between higher order symmetrized crank and rank moment functions. This implies an inequality between crank and rank moments that was only know previously for sufficiently large n and fixed order. This combinatorial interpretation is in terms of a weighted sum of partitions. A number of congruences for higher order spt-functions are derived.
Distance-regular graph with large a1 or c2
In this paper, we study distance-regular graphs $Γ$ that have a pair of distinct vertices, say x and y, such that the number of common neighbors of x and y is about half the valency of $Γ$. We show that if the diameter is at least three, then such a graph, besides a finite number of exceptions, is a Taylor graph, bipartite with diameter three or a line graph.
Structure of random r-SAT below the pure literal threshold
It is well known that there is a sharp density threshold for a random $r$-SAT formula to be satisfiable, and a similar, smaller, threshold for it to be satisfied by the pure literal rule. Also, above the satisfiability threshold, where a random formula is with high probability (whp) unsatisfiable, the unsatisfiability is whp due to a large "minimal unsatisfiable subformula" (MUF).
By contrast, we show that for the (rare) unsatisfiable formulae below the pure literal threshold, the unsatisfiability is whp due to a unique MUF with smallest possible "excess", failing this whp due to a unique MUF with the next larger excess, and so forth. In the same regime, we give a precise asymptotic expansion for the probability that a formula is unsatisfiable, and efficient algorithms for satisfying a formula or proving its unsatisfiability. It remains open what happens between the pure literal threshold and the satisfiability threshold. We prove analogous results for the $k$-core and $k$-colorability thresholds for a random graph, or more generally a random $r$-uniform hypergraph.
A pentagon of identities, graded tensor products and the Kirillov-Reshetikhin conjecture
Published
• View Publication
• BIB
This paper provides a brief review of the relations between the Feigin-Loktev conjecture on the dimension of graded tensor products of $\g[t]$-modules, the Kirillov-Reshetikhin conjecture, the combinatorial ``M=N" conjecture, their proofs for all simple Lie algebras, and a pentagon of identities which results from the proof.
Coxeter group actions on Saalschützian ${}_4F_3(1)$ series and very-well-poised ${}_7F_6(1)$ series
In this paper we consider a function $L(\vec{x})=L(a,b,c,d;e;f,g)$, which can be written as a linear combination of two Saalschützian ${}_4F_3(1)$ hypergeometric series or as a very-well-poised ${}_7F_6(1)$ hypergeometric series. We explore two-term and three-term relations satisfied by the $L$ function and put them in the framework of group theory.
We prove a fundamental two-term relation satisfied by the $L$ function and show that this relation implies that the Coxeter group $W(D_5)$, which has 1920 elements, is an invariance group for $L(\vec{x})$. The invariance relations for $L(\vec{x})$ are classified into six types based on a double coset decomposition of the invariance group. The fundamental two-term relation is shown to generalize classical results about hypergeometric series. We derive Thomae's identity for ${}_3F_2(1)$ series, Bailey's identity for terminating Saalschützian ${}_4F_3(1)$ series, and Barnes' second lemma as consequences.
We further explore three-term relations satisfied by $L(a,b,c,d;e;f,g)$. The group that governs the three-term relations is shown to be isomorphic to the Coxeter group $W(D_6)$, which has 23040 elements. Based on the right cosets of $W(D_5)$ in $W(D_6)$, we demonstrate the existence of 220 three-term relations satisfied by the $L$ function that fall into two families according to the notion of $L$-coherence.
A structure theorem for Boolean functions with small total influences
Published
• View Publication
• BIB
We show that on every product probability space, Boolean functions with small total influences are essentially the ones that are almost measurable with respect to certain natural sub-sigma algebras. This theorem in particular describes the structure of monotone set properties that do not exhibit sharp thresholds.
Our result generalizes the core of Friedgut's seminal work [Ehud Friedgut. Sharp thresholds of graph properties, and the k-sat problem. J. Amer. Math. Soc., 12(4):1017-1054, 1999.] on properties of random graphs to the setting of arbitrary Boolean functions on general product probability spaces, and improves the result of Bourgain in his appendix to Friedgut's paper.
Deformations of permutation representations of Coxeter groups
Published
• View Publication
• BIB
The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.
Perfect Omniscience, Perfect Secrecy and Steiner Tree Packing
Published
• View Publication
• BIB
We consider perfect secret key generation for a ``pairwise independent network'' model in which every pair of terminals share a random binary string, with the strings shared by distinct terminal pairs being mutually independent. The terminals are then allowed to communicate interactively over a public noiseless channel of unlimited capacity. All the terminals as well as an eavesdropper observe this communication. The objective is to generate a perfect secret key shared by a given set of terminals at the largest rate possible, and concealed from the eavesdropper.
First, we show how the notion of perfect omniscience plays a central role in characterizing perfect secret key capacity. Second, a multigraph representation of the underlying secrecy model leads us to an efficient algorithm for perfect secret key generation based on maximal Steiner tree packing. This algorithm attains capacity when all the terminals seek to share a key, and, in general, attains at least half the capacity. Third, when a single ``helper'' terminal assists the remaining ``user'' terminals in generating a perfect secret key, we give necessary and sufficient conditions for the optimality of the algorithm; also, a ``weak'' helper is shown to be sufficient for optimality.
Constructions of Chiral Polytopes of Small Rank
An abstract polytope of rank n is said to be chiral if its automorphism group has precisely two orbits on the flags, such that adjacent flags belong to distinct orbits. The present paper describes a general method for deriving new finite chiral polytopes from old finite chiral polytopes of the same rank. In particular, the technique is used to construct many new examples in ranks 3, 4 and 5.
Counting Links and Knots in Complete Graphs
Published in Tokyo J. Math., vol. 36, 2013, pp. 429-458
• View Publication
• BIB
We investigate the minimal number of links and knots in complete partite graphs. We provide exact values or bounds on the minimal number of links for all complete partite graphs with all but 4 vertices in one partition, or with 9 vertices in total. In particular, we find that the minimal number of links for $K_{4,4,1}$ is 74. We also provide exact values or bounds on the minimal number of knots for all complete partite graphs with 8 vertices.
Complete graphs whose topological symmetry groups are polyhedral
Published in Algebr. Geom. Topol. 11 (2011) 1405-1433
• View Publication
• BIB
We determine for which $m$, the complete graph $K_m$ has an embedding in $S^3$ whose topological symmetry group is isomorphic to one of the polyhedral groups: $A_4$, $A_5$, or $S_4$.
Products of all elements in a loop and a framework for non-associative analogues of the Hall-Paige conjecture
Published in Electronic Journal of Combinatorics, Volume 16(1). May 2009
• View Publication
• BIB
For a finite loop $Q$, let $P (Q)$ be the set of elements that can be represented as a product containing each element of $Q$ precisely once. Motivated by the recent proof of the Hall-Paige conjecture, we prove several universal implications between the following conditions: (A) $Q$ has a complete mapping, i.e. the multiplication table of $Q$ has a transversal, (B) there is no $N \normal Q$ such that $|N|$ is odd and $Q/N \cong \ZZ_{2^m}$ for $m \geq 1$, and (C) $P(Q)$ intersects the associator subloop of $Q$. We prove $(A) \implies (C)$ and $(B) \iff (C)$ and show that when $Q$ is a group, these conditions reduce to familiar statements related to the Hall-Paige conjecture (which essentially says that in groups $(B) \implies (A))$. We also establish properties of $P(Q)$, prove a generalization of the Dénes-Hermann theorem, and present an elementary proof of a weak form of the Hall-Paige conjecture.
Automorphism groups of rational circulant graphs through the use of Schur rings
Published
• View Publication
• BIB
The paper concerns the automorphism groups of Cayley graphs over cyclic groups which have a rational spectrum (rational circulant graphs for short). With the aid of the techniques of Schur rings it is shown that the problem is equivalent to consider the automorphism groups of orthogonal group block structures of cyclic groups. Using this observation, the required groups are expressed in terms of generalized wreath products of symmetric groups.
The cyclic sieving phenomenon: a survey
Published
• View Publication
• BIB
The cyclic sieving phenomenon was defined by Reiner, Stanton, and White in a 2004 paper. Let X be a finite set, C be a finite cyclic group acting on X, and f(q) be a polynomial in q with nonnegative integer coefficients. Then the triple (X,C,f(q)) exhibits the cyclic sieving phenomenon if, for all g in C, we have # X^g = f(w) where # denotes cardinality, X^g is the fixed point set of g, and w is a root of unity chosen to have the same order as g. It might seem improbable that substituting a root of unity into a polynomial with integer coefficients would have an enumerative meaning. But many instances of the cyclic sieving phenomenon have now been found. Furthermore, the proofs that this phenomenon hold often involve interesting and sometimes deep results from representation theory. We will survey the current literature on cyclic sieving, providing the necessary background about representations, Coxeter groups, and other algebraic aspects as needed.
A compositional shuffle conjecture specifying touch points of the Dyck path
Published
• View Publication
• BIB
We introduce a $q,t$-enumeration of Dyck paths which are forced to touch the main diagonal at specific points and forbidden to touch elsewhere and conjecture that it describes the action of the Macdonald theory $\nabla$ operator applied to a Hall-Littlewood polynomial. Our conjecture refines several earlier conjectures concerning the space of diagonal harmonics including the "shuffle conjecture" (Duke J. Math. $\mathbf {126}$ (2005), pp. 195-232) for $\nabla e_n[X]$. We bring to light that certain generalized Hall-Littlewood polynomials indexed by compositions are the building blocks for the algebraic combinatorial theory of $q,t$-Catalan sequences and we prove a number of identities involving these functions.
Random Young diagrams in a Rectangular Box
Published
• View Publication
• BIB
We exhibit the limit shape of random Young diagrams having a distribution proportional to the exponential of their area, and confined in a rectangular box. The Ornstein-Uhlenbeck bridge arises from the fluctuations around the limit shape.
Stable Rigged Configurations for Quantum Affine Algebras of Nonexceptional Types
Published in Advances in Mathematics 228 (2011) 1262-1293
• View Publication
• BIB
For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum of that of type A with Littlewood-Richardson coefficients. Combining this result with math.CO/9901037 and arXiv:1002.3715 we settle the X=M conjecture under the large rank hypothesis.
Linear relations of refined enumerations of alternating sign matrices
Published
• View Publication
• BIB
In recent papers we have studied refined enumerations of alternating sign matrices with respect to a fixed set of top and bottom rows. The present paper is a first step towards extending these considerations to alternating sign matrices where in addition a number of left and right columns are fixed. The main result is a simple linear relation between the number of $n \times n$ alternating sign matrices where the top row as well as the left and the right column is fixed and the number of $n \times n$ alternating sign matrices where the two top rows and the bottom row is fixed. This may be seen as a first indication for the fact that the refined enumerations of alternating sign matrices with respect to a fixed set of top and bottom rows as well as left and right columns can possibly be reduced to the refined enumerations where only a number of top and bottom rows are fixed. For the latter numbers we provide a system of linear equations that conjecturally determines them uniquely.
Induced Subgraphs of Johnson Graphs
Published in Involve, a Journal of Mathematics 5-1 (2012), 25-37
• View Publication
• BIB
The Johnson graph J(n,N) is defined as the graph whose vertices are the n-subsets of the set {1,2,...,N}, where two vertices are adjacent if they share exactly n - 1 elements. Unlike Johnson graphs, induced subgraphs of Johnson graphs (JIS for short) do not seem to have been studied before. We give some necessary conditions and some sufficient conditions for a graph to be JIS, including: in a JIS graph, any two maximal cliques share at most two vertices; all trees, cycles, and complete graphs are JIS; disjoint unions and Cartesian products of JIS graphs are JIS; every JIS graph of order n is an induced subgraph of J(m,2n) for some m <= n. This last result gives an algorithm for deciding if a graph is JIS. We also show that all JIS graphs are edge move distance graphs, but not vice versa.