Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Enumerating finite racks, quandles and kei
Published
• View Publication
• BIB
A rack of order $n$ is a binary operation $\rack$ on a set $X$ of cardinality $n$, such that right multiplication is an automorphism. More precisely, $(X,\rack)$ is a rack provided that the map $x\mapsto x\rack y$ is a bijection for all $y\in X$, and $(x\rack y)\rack z=(x\rack z)\rack (y\rack z)$ for all $x,y,z\in X$. The paper provides upper and lower bounds of the form $2^{cn^2}$ on the number of isomorphism classes of racks of order $n$. Similar results on the number of isomorphism classes of quandles and kei are obtained. The results of the paper are established by first showing how an arbitrary rack is related to its operator group (the permutation group on $X$ generated by the maps $x\mapsto x\rack y$ for $y\in Y$), and then applying some of the theory of permutation groups. The relationship between a rack and its operator group extends results of Joyce and of Ryder; this relationship might be of independent interest.
Combinatorics of asymptotic representation theory
Published in European Congress of Mathematics, Kraków, 2--7 July, 2012, pp: 531-545, European Mathematical Society Publishing House
• View Publication
• BIB
The representation theory of the symmetric groups S_n is intimately related to combinatorics: combinatorial objects such as Young tableaux and combinatorial algorithms such as Murnaghan-Nakayama rule. In the limit as n tends to infinity, the structure of these combinatorial objects and algorithms becomes complicated and it is hard to extract from them some meaningful answers to asymptotic questions. In order to overcome these difficulties, a kind of dual combinatorics of the representation theory of the symmetric groups was initiated in 1990s. We will concentrate on one of its highlights: Kerov polynomials which express characters in terms of, so called, free cumulants.
Combinatorial Interpretations of some Boij-Söderberg Decompositions
Published
• View Publication
• BIB
Boij-Söderberg theory shows that the Betti table of a graded module can be written as a liner combination of pure diagrams with integer coefficients. Using Ferrers hypergraphs and simplicial polytopes, we provide interpretations of these coefficients for ideals with a d-linear resolution, their quotient rings, and for Gorenstein rings whose resolution has essentially at most two linear strands. We also establish a structural result on the decomposition in the case of quasi-Gorenstein modules.
Computing the Ramsey Number $R(K_5-P_3,K_5)$
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 82 (2012) 131-140
• Search Publication
We give a computer-assisted proof of the fact that $R(K_5-P_3, K_5)=25$. This solves one of the three remaining open cases in Hendry's table, which listed the Ramsey numbers for pairs of graphs on 5 vertices. We find that there exist no $(K_5-P_3,K_5)$-good graphs containing a $K_4$ on 23 or 24 vertices, where a graph $F$ is $(G,H)$-good if $F$ does not contain $G$ and the complement of $F$ does not contain $H$. The unique $(K_5-P_3,K_5)$-good graph containing a $K_4$ on 22 vertices is presented.
New Combinatorial Construction Techniques for Low-Density Parity-Check Codes and Systematic Repeat-Accumulate Codes
Published
• View Publication
• BIB
This paper presents several new construction techniques for low-density parity-check (LDPC) and systematic repeat-accumulate (RA) codes. Based on specific classes of combinatorial designs, the improved code design focuses on high-rate structured codes with constant column weights 3 and higher. The proposed codes are efficiently encodable and exhibit good structural properties. Experimental results on decoding performance with the sum-product algorithm show that the novel codes offer substantial practical application potential, for instance, in high-speed applications in magnetic recording and optical communications channels.
The no-three-in-line problem on a torus
Let $T(\Z_m \times \Z_n)$ denote the maximal number of points that can be placed on an $m \times n$ discrete torus with "no three in a line," meaning no three in a coset of a cyclic subgroup of $\Z_m \times \Z_n$. By proving upper bounds and providing explicit constructions, for distinct primes $p$ and $q$, we show that $T(\Z_p \times \Z_{p^2}) = 2p$ and $T(\Z_p \times \Z_{pq}) = p+1$. Via Gröbner bases, we compute $T(\Z_m \times \Z_n)$ for $2 \leq m \leq 7$ and $2 \leq n \leq 19$.
Signalling Competition and Social Welfare (Working Paper)
Published
• View Publication
• BIB
We consider an environment where sellers compete over buyers. All sellers are a-priori identical and strategically signal buyers about the product they sell. In a setting motivated by on-line advertising in display ad exchanges, where firms use second price auctions, a firm's strategy is a decision about its signaling scheme for a stream of goods (e.g. user impressions), and a buyer's strategy is a selection among the firms. In this setting, a single seller will typically provide partial information and consequently a product may be allocated inefficiently. Intuitively, competition among sellers may induce sellers to provide more information in order to attract buyers and thus increase efficiency. Surprisingly, we show that such a competition among firms may yield significant loss in consumers' social welfare with respect to the monopolistic setting. Although we also show that in some cases the competitive setting yields gain in social welfare, we provide a tight bound on that gain, which is shown to be small in respect to the above possible loss.
Our model is tightly connected with the literature on bundling in auctions.
One brick at a time: a survey of inductive constructions in rigidity theory
Published
• View Publication
• BIB
We present a survey of results concerning the use of inductive constructions to study the rigidity of frameworks. By inductive constructions we mean simple graph moves which can be shown to preserve the rigidity of the corresponding framework. We describe a number of cases in which characterisations of rigidity were proved by inductive constructions. That is, by identifying recursive operations that preserved rigidity and proving that these operations were sufficient to generate all such frameworks. We also outline the use of inductive constructions in some recent areas of particularly active interest, namely symmetric and periodic frameworks, frameworks on surfaces, and body-bar frameworks. We summarize the key outstanding open problems related to inductions.
Making Markov chains less lazy
The mixing time of an ergodic, reversible Markov chain can be bounded in terms of the eigenvalues of the chain: specifically, the second-largest eigenvalue and the smallest eigenvalue. It has become standard to focus only on the second-largest eigenvalue, by making the Markov chain "lazy". (A lazy chain does nothing at each step with probability at least 1/2, and has only nonnegative eigenvalues.)
An alternative approach to bounding the smallest eigenvalue was given by Diaconis and Stroock and Diaconis and Saloff-Coste. We give examples to show that using this approach it can be quite easy to obtain a bound on the smallest eigenvalue of a combinatorial Markov chain which is several orders of magnitude below the best-known bound on the second-largest eigenvalue.
Conservation Laws of Random Matrix Theory
Published
• View Publication
• BIB
This paper presents an overview of the derivation and significance of recently derived conservation laws for the matrix moments of Hermitean random matrices with dominant exponential weights that may be either even or odd. This is based on a detailed asymptotic analysis of the partition function for these unitary ensembles and their scaling limits. As a particular application we derive closed form expressions for the coefficients of the genus expansion for the associated free energy in a particular class of dominant even weights. These coefficients are generating functions for enumerating g-maps, related to graphical combinatorics on Riemann surfaces. This generalizes and resolves a 30+ year old conjecture in the physics literature related to quantum gravity.
Some Results on incidence coloring, star arboricity and domination number
Two inequalities bridging the three isolated graph invariants, incidence chromatic number, star arboricity and domination number, were established. Consequently, we deduced an upper bound and a lower bound of the incidence chromatic number for all graphs. Using these bounds, we further reduced the upper bound of the incidence chromatic number of planar graphs and showed that cubic graphs with orders not divisible by four are not 4-incidence colorable. The incidence chromatic numbers of Cartesian product, join and union of graphs were also determined.
Incidence coloring of Regular graphs and Complement graphs
Published
• View Publication
• BIB
Using a relation between domination number and incidence chromatic number, we obtain necessary and sufficient conditions for $r$-regular graphs to be $(r+1)$-incidence colorable. Also, we determine the optimal Nordhaus-Gaddum inequality for the incidence chromatic number.
Automorphisms and opposition in twin buildings
Published
• View Publication
• BIB
We show that every automorphism of a thick twin building interchanging the halves of the building maps some residue to an opposite one. Furthermore we show that no automorphism of a locally finite 2-spherical twin building of rank at least 3 maps every residue of one fixed type to an opposite. The main ingredient of the proof is a lemma that states that every duality of a thick finite projective plane admits an absolute point, i.e., a point mapped onto an incident line. Our results also hold for all finite irreducible spherical buildings of rank at least 3, and as a consequence we deduce that every involution of a thick irreducible finite spherical building of rank at least 3 has a fixed residue.
On the Minkowski distances and products of sum sets
Published
• View Publication
• BIB
Given two points $p,q$ in the real plane, the signed area of the rectangle with the diagonal $[pq]$ equals the square of the Minkowski distance between the points $p,q$. We prove that $N>1$ points in the Minkowski plane $\R^{1,1}$ generate $Ω(\frac{N}{\log{N}})$ distinct distances, or all the distances are zero. The proof follows the lines of the Elekes/Sharir/Guth/Katz approach to the Erd\H os distance problem, analysing the 3D incidence problem, arising by considering the action of the Minkowski isometry group $ISO^*(1,1)$.
The signature of the metric creates an obstacle to applying the Guth/Katz incidence theorem to the 3D problem at hand, since one may encounter a high count of congruent line intervals, lying on null lines, or "light cones", all these intervals having zero Minkowski length. In terms of the Guth/Katz theorem, its condition of the non-existence of "rich planes" generally gets violated. It turns out, however, that one can efficiently identify and discount incidences, corresponding to null intervals and devise a counting strategy, where the rich planes condition happens to be just ample enough for the strategy to succeed.
As a corollary we establish the following near-optimal sum-product type estimate for finite sets $A,B\subset \R$, with more than one element: $$|(A\pm{B})\cdot{(A\pm{B})}|\gg{\frac{|A||B|}{\log{|A|}+\log{|B|}}}.$$
A relationship between two graphical models of the Kauffman polynomial
There are two oriented 4-valent graphical models for the Kauffman polynomial: one (HJ) is obtained by combining Jaeger's formula and Kauffman-Vogel model for the Homflypt polynomial; the other (WF) is obtained by combining Kauffman-Vogel model for the Kauffman polynomial and Wu's formula. The main goal of this paper is to explore the relationship between the two models. We find that there is an one-to-many correspondence between the terms of HJ model and the terms of WF model. In addition, we investigate the relation between trivalent graphical models and 4-valent graphical models of both the Homflypt and Kauffman polynomials, and observe that there is a bijection between the terms of the two models.
Enumeration of permutations by number of cyclic occurrence of peaks and valleys
In this paper, we focus on the enumeration of permutations by number of cyclic occurrence of peaks and valleys. We find several recurrence relations involving the number of permutations with a prescribed number of cyclic peaks, cyclic valleys, fixed points and cycles. Several associated permutation statistics and the corresponding generating functions are also studied. In particular, we establish a connection between cyclic valleys and Pell numbers as well as cyclic peaks and alternating runs.
On Posa's conjecture for random graphs
The famous Posa conjecture states that every graph of minimum degree at least 2n/3 contains the square of a Hamilton cycle. This has been proved for large n by Komlós, Sarközy and Szemerédi. Here we prove that if p > n^{-1/2+\eps}, then asymptotically almost surely, the binomial random graph G_{n,p} contains the square of a Hamilton cycle. This provides an `approximate threshold' for the property in the sense that the result fails to hold if p< n^{-1/2}.
Novel Distance Measures for Vote Aggregation
We consider the problem of rank aggregation based on new distance measures derived through axiomatic approaches and based on score-based methods. In the first scenario, we derive novel distance measures that allow for discriminating between the ranking process of highest and lowest ranked elements in the list. These distance functions represent weighted versions of Kendall's tau measure and may be computed efficiently in polynomial time. Furthermore, we describe how such axiomatic approaches may be extended to the study of score-based aggregation and present the first analysis of distributed vote aggregation over networks.
$\wedge$-transitive digraphs preserving a cartesian decomposition
Published
• View Publication
• BIB
In this paper, we combine group-theoretic and combinatorial techniques to study $\wedge$-transitive digraphs admitting a cartesian decomposition of their vertex set. In particular, our approach uncovers a new family of digraphs that may be of considerable interest.
Generalized higher order spt-functions
Published
• View Publication
• BIB
We give a new generalization of the spt-function of G.E. Andrews, namely $\textup{Spt}_j(n)$, and give its combinatorial interpretation in terms of successive lower-Durfee squares. We then generalize the higher order spt-function $\textup{spt}_k(n)$, due to F.G. Garvan, to ${}_j\textup{spt}_{k}(n)$, thus providing a two-fold generalization of $\textup{spt}(n)$, and give its combinatorial interpretation.