Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The Number of Same-Sex Marriages in a Perfectly Bisexual Population is Asymptotically Normal
Published in Exclusively published in the Electronic Journal <A HREF="http://www.math.rutgers.edu/~zeilberg/pj.html">Personal Journal of Shalosh B. Ekhad and Doron Zeilberger</A> and this arxiv, April 27, 2011
• Search Publication
Why bother with fully rigorous proofs when one can very quickly get semi-rigorous ones? Yes, yes, we know how to get a "rigorous" proof of the result stated in the title of this article. One way is the boring, human one, citing some heavy guns of theorems that already exist in the literature. We also know how to get a fully rigorous proof automatically, using the methods in this http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/georgy.htm neat article (but it would be a little more complicated, since the probability generating polynomial is not "closed form" but satisfies a second-order recurrence gotten from the Zeilberger algorithm), otherwise the same method would work, alas, it is not yet implemented.
Instead, we chose to use the great Maple package http://www.math.rutgers.edu/~zeilberg/tokhniot/HISTABRUT">HISTABRUT(in fact, a very tiny part of it, procedure AlphaSeq), explained in this other http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/histabrut.html">neat article, and get a semi-rigorous proof. We also needed the nice little Maple package http://www.math.rutgers.edu/~zeilberg/tokhniot/GuessRat">GuessRat, to do the guessing of rational functions.
Equipped with these two packages, Zeilberger wrote a short Maple program http://www.math.rutgers.edu/~zeilberg/tokhniot/SameSexMarriages">SameSexMarriages that enabled the author to generate this paper.
Core-Free, Rank Two Coset Geometries from Edge-Transitive Bipartite Graphs
Published
• View Publication
• BIB
It is known that the Levi graph of any rank two coset geometry is an edge-transitive graph, and thus coset geometries can be used to construct many edge transitive graphs. In this paper, we consider the reverse direction. Starting from edge- transitive graphs, we construct all associated core-free, rank two coset geometries. In particular, we focus on 3-valent and 4-valent graphs, and are able to construct coset geometries arising from these graphs. We summarize many properties of these coset geometries in a sequence of tables; in the 4-valent case we restrict to graphs that have relatively small vertex-stabilizers.
The inverse moment problem for convex polytopes
Published in Discrete and Computational Geometry, 48(2012), pp. 596--621
• View Publication
• BIB
The goal of this paper is to present a general and novel approach for the reconstruction of any convex d-dimensional polytope P, from knowledge of its moments. In particular, we show that the vertices of an N-vertex polytope in R^d can be reconstructed from the knowledge of O(DN) axial moments (w.r.t. to an unknown polynomial measure od degree D) in d+1 distinct generic directions. Our approach is based on the collection of moment formulas due to Brion, Lawrence, Khovanskii-Pukhikov, and Barvinok that arise in the discrete geometry of polytopes, and what variously known as Prony's method, or Vandermonde factorization of finite rank Hankel matrices.
Intersection cohomology of a rank one local system on the complement of a hyperplane-like divisor
Published
• View Publication
• BIB
Under a certain condition A we give a construction to calculate the intersection cohomology of a rank one local system on the complement to a hyperplane-like divisor
Cohomology of the complement to an elliptic arrangement
Published
• View Publication
• BIB
We consider the complement to an arrangement of hyperplanes in a cartesian power of an elliptic curve and describe its cohomology with coefficients in a nontrivial rank one local system.
Algorithms for Solving Rubik's Cubes
Published
• View Publication
• BIB
The Rubik's Cube is perhaps the world's most famous and iconic puzzle, well-known to have a rich underlying mathematical structure (group theory). In this paper, we show that the Rubik's Cube also has a rich underlying algorithmic structure. Specifically, we show that the n x n x n Rubik's Cube, as well as the n x n x 1 variant, has a "God's Number" (diameter of the configuration space) of Theta(n^2/log n). The upper bound comes from effectively parallelizing standard Theta(n^2) solution algorithms, while the lower bound follows from a counting argument. The upper bound gives an asymptotically optimal algorithm for solving a general Rubik's Cube in the worst case. Given a specific starting state, we show how to find the shortest solution in an n x O(1) x O(1) Rubik's Cube. Finally, we show that finding this optimal solution becomes NP-hard in an n x n x 1 Rubik's Cube when the positions and colors of some of the cubies are ignored (not used in determining whether the cube is solved).
On a diameter bound for Cayley graphs generated by transposition trees
Published
• View Publication
• BIB
Let $Γ$ be a Cayley graph generated by a transposition tree. A natural problem is to understand how the properties of the Cayley graph depend on those of the underlying transposition tree. We focus here on diameter and distance related questions. We examine some related bounds and prove some properties about them.
This paper has been withdrawn and a new version with these results and further extensions is at abs/1111.3114
A law of large numbers for weighted plurality
Published
• View Publication
• BIB
Consider an election between k candidates in which each voter votes randomly (but not necessarily independently) and suppose that there is a single candidate that every voter prefers (in the sense that each voter is more likely to vote for this special candidate than any other candidate). Suppose we have a voting rule that takes all of the votes and produces a single outcome and suppose that each individual voter has little effect on the outcome of the voting rule. If the voting rule is a weighted plurality, then we show that with high probability, the preferred candidate will win the election. Conversely, we show that this statement fails for all other reasonable voting rules.
This result is an extension of Häggström, Kalai and Mossel, who proved the above in the case k=2.
Symmetric Distribution of Crossings and Nestings in Permutations of Type B
Published
• View Publication
• BIB
This note contains two results on the distribution of crossing numbers and nesting numbers in permutations of type B. More precisely, we prove a Bn- analogue of the symmetric distribution of crossings and nestings of permutations due to Corteel (Adv. in Appl. Math., 38(2)(2007), 149-163) as well as the sym- metric distribution of k-crossings and k-nestings of permutations due to Burrill et al. (DMTCS proc. AN, (2010), 461-468).
Isometric embeddings of half-cube graphs in half-spin Grassmannians
Published
• View Publication
• BIB
Let $Π$ be a polar space of type $\textsf{D}_{n}$. Denote by ${\mathcal G}_δ(Π)$, $δ\in \{+,-\}$ the associated half-spin Grassmannians and write $Γ_δ(Π)$ for the corresponding half-spin Grassmann graphs. In the case when $n\ge 4$ is even, the apartments of ${\mathcal G}_δ(Π)$ will be characterized as the images of isometric embeddings of the half-cube graph $\frac{1}{2}H_n$ in $Γ_δ(Π)$. As an application, we describe all isometric embeddings of $Γ_δ(Π)$ in the half-spin Grassmann graphs associated to a polar space of type $\textsf{D}_{n'}$ under the assumption that $n\ge 6$ is even.
The Ising Limit of the XXZ Heisenberg Magnet and Certain Thermal Correlation Functions
Published in Theor. Math. Phys., Vol. 169, No. 2 (2011), 1517-1529
• View Publication
• BIB
The spin-1/2 XXZ Heisenberg magnet is considered for the case of the anisotropy parameter tending to infinity (so-called, Ising limit). A thermal correlation function of the ferromagnetic string is calculated over the ground state. The approach to the calculation of the correlation functions in the limit of infinite anisotropy is based on the observation that the wave function is expressed in terms of the symmetric Schur functions. It is demonstrated that at low temperatures the amplitude of the asymptotical expression of this correlation function is proportional to the squared numbers of strict boxed plane partitions.
A contribution to the second neighborhood problem
Published in Graphs and Combinatorics 29:1365-1375 (2013)
• View Publication
• BIB
Seymour's Second Neighborhood Conjecture asserts that every digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. It is proved for tournaments, tournaments missing a matching and tournaments missing a generalized star. We prove this conjecture for classes of digraphs whose missing graph is a comb, a complete graph minus 2 independent edges, or a complete graph minus the edges of a cycle of length 5.
About The Second Neighborhood Problem in Tournaments Missing Disjoint Stars
Published in Electronic Journal of Graph Theory and its Applications 4 (2): 178-189 (2016)
• View Publication
• BIB
We prove Seymour's Second Neighborhood Conjecture when the missing graph is disjoint stars under some conditions. Weaker conditions are required when n=2 or 3. In some cases, we exhibit two vertices with the desired property.
Enumeration of Graded (3+1)-Avoiding Posets
Published in J. Comb. Theory, Series A 120, Issue 6, August 2013, pp. 1305--1327
• View Publication
• BIB
The notion of (3+1)-avoidance has shown up in many places in enumerative combinatorics. The natural goal of enumeration of all (3+1)-avoiding posets remains open. In this paper, we enumerate graded (3+1)-avoiding posets for both reasonable definitions of the word "graded." Our proof consists of a number of structural theorems followed by some generating function magic. We also provide asymptotics for the growth rate of the number of graded (3 + 1)-avoiding posets.
A note on Brill-Noether thoery and rank determining sets for metric graphs
Published in Int. Math. Res. Not. IMRN (2012), no. 23, 5484-5504
• View Publication
• BIB
We produce open subsets of the moduli space of metric graphs without separating edges where the dimensions of Brill-Noether loci are larger than the corresponding Brill-Noether numbers. These graphs also have minimal rank determining sets that are larger than expected, giving couterexamples to a conjecture of Luo. Furthermore, limits of these graphs have Brill-Noether loci of the expected dimension, so dimensions of Brill-Noether loci of metric graphs do not vary upper semicontinuously in families. Motivated by these examples, we study a notion of rank for the Brill-Noether locus of a metric graph, closely analogous to the Baker-Norine definition of the rank of a divisor. We show that ranks of Brill-Noether loci vary upper semicontinuously in families of metric graphs and are related to dimensions of Brill-Noether loci of algebraic curves by a specialization inequality.
Properties of Generalized Derangement Graphs
Published
• View Publication
• BIB
A permutation sigma in Sn is a k-derangement if for any subset X = {a1, . . ., ak} \subseteq [n], {sigma(a1), . . ., sigma(ak)} is not equal to X. One can form the k-derangement graph on the set of permutations of Sn by connecting two permutations sigma and tau if sigma(tau)^-1 is a k-derangement. We characterize when such a graph is connected or Eulerian. For n an odd prime power, we determine the independence, clique and chromatic number of the 2-derangement graph.
Derivative polynomials and permutations by numbers of interior peaks and left peaks
Published
• View Publication
• BIB
Derivative polynomials in two variables are defined by repeated differentiation of the tangent and secant functions. We establish the connections between the coefficients of these derivative polynomials and the numbers of interior and left peaks over the symmetric group. Properties of the generating functions for the numbers of interior and left peaks over the symmetric group, including recurrence relations, generating functions and real-rootedness, are studied.
Catalan Tree & Parity of some sequences which are related to Catalan numbers
In this paper we determine the parity of some sequences which are related to Catalan numbers. Also we introduce a combinatorical object called, \Catalan tree", and discuss its properties.
Avoiding Three Consecutive Blocks of the Same Size and Same Sum
Published
• View Publication
• BIB
We show that there exists an infinite word over the alphabet {0, 1, 3, 4} containing no three consecutive blocks of the same size and the same sum. This answers an open problem of Pirillo and Varricchio from 1994.
Generalized Stirling Numbers and Generalized Stirling Functions
Here presented is a unified approach to Stirling numbers and their generalizations as well as generalized Stirling functions by using generalized factorial functions, $k$-Gamma functions, and generalized divided difference. Previous well-known extensions of Stirling numbers due to Riordan, Carlitz, Howard, Charalambides-Koutras, Gould-Hopper, Hsu-Shiue, Tsylova Todorov, Ahuja-Enneking, and Stirling functions introduced by Butzer and Hauss, Butzer, Kilbas, and Trujilloet and others are included as particular cases of our generalization. Some basic properties related to our general pattern such as their recursive relations and generating functions are discussed. Three algorithms for calculating the Stirling numbers based on our generalization are also given, which include a comprehensive algorithm using the characterization of Riordan arrays.