Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Multi-parameter projection theorems with applications to sums-products and finite point configurations in the Euclidean setting
In this paper we study multi-parameter projection theorems for fractal sets. With the help of these estimates, we recover results about the size of $A \cdot A+...+A \cdot A$, where $A$ is a subset of the real line of a given Hausdorff dimension, $A+A=\{a+a': a,a' \in A \}$ and $A \cdot A=\{a \cdot a': a,a' \in A\}$. We also use projection results and inductive arguments to show that if a Hausdorff dimension of a subset of ${\Bbb R}^d$ is sufficiently large, then the ${k+1 \choose 2}$-dimensional Lebesgue measure of the set of $k$-simplexes determined by this set is positive. The sharpness of these results and connection with number theoretic estimates is also discussed.
The k-Tuple Domatic Number of a Graph
Published in Caspian Journal of Mathematical Sciences, Volume 2, Issue 2 (2013) 105-112
• Search Publication
For every positive integer $k$, a set $S$ of vertices in a graph $G=(V,E)$ is a $k$-tuple dominating set of $G$ if every vertex of $V-S$ is adjacent to least $k$ vertices and every vertex of $S$ is adjacent to least $k-1$ vertices in $S$. The minimum cardinality of a $k$-tuple dominating set of $G$ is the $k$-tuple domination number of $G$. When $k=1$, a $k$-tuple domination number is the well-studied domination number. We define the $k$-tuple domatic number of $G$ as the largest number of sets in a partition of $V$ into $k$-tuple dominating sets. Recall that when $k=1$, a $k$-tuple domatic number is the well-studied domatic number. In this work, we derive basic properties and bounds for the $k$-tuple domatic number.
k-tuple total restrained domination and k-tuple total restrained domatic in graphs
Published in BUll. Iranian Math. Soc. Vol 40 (2014) No. 3 pp.751-763
• Search Publication
Let $G$ be a graph of order $n$ and size $m$ and let $k\geq 1$ be an integer. A $k$-tuple total dominating set in $G$ is called a $k$-tuple total restrained dominating set of $G$ if each vertex $x\in V(G)-S$ is adjacent to at least $k$ vertices of $V(G)-S$. The minimum number of vertices of a such sets in $G$ are the $k$-tuple total restrained domination number $γ_{\times k,t}^{r}(G)$ of $G$. The maximum number of classes of a partition of $V(G)$ such that its all classes are $k$-tuple total restrained dominating sets in $G$, is called the $k$-tuple total restrained domatic number of $G$.
In this manuscript, we first find $γ_{\times k,t}^{r}(G)$, when $G$ is complete graph, cycle, bipartite graph and the complement of path or cycle. Also we will find bounds for this number when $G$ is a complete multipartite graph. Then we will know the structure of graphs $G$ which $γ_{\times k,t}^{r}(G)=m$, for some $m\geq k+1$ and give upper and lower bounds for $γ_{\times k,t}^{r}(G)$, when $G$ is an arbitrary graph. Next, we mainly present basic properties of the $k$-tuple total restrained domatic number of a graph and give bounds for it. Finally we give bounds for the $k$-tuple total restrained domination number of the complementary prism $G\bar{G}$ in terms on the similar number of $G$ and $\bar{G}$ when $G$ is a regular graph or an arbitrary graph. And then we calculate it when $G$ is cycle or path.
Kadets type theorems for partitions of a convex body
Published in Discrete and Computational Geometry 48:3 (2012), 766-776
• View Publication
• BIB
For convex partitions of a convex body $B$ we prove that we can put a homothetic copy of $B$ into each set of the partition so that the sum of homothety coefficients is $\ge 1$. In the plane the partition may be arbitrary, while in higher dimensions we need certain restrictions on the partition.
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.