Showing 20 papers (Total: 82505 papers, 47699 authors in database)
$(n,m)$-Fold Covers of Spheres
A well known consequence of the Borsuk-Ulam theorem is that if the $d$-dimensional sphere $S^d$ is covered with less than $d+2$ open sets, then there is a set containing a pair of antipodal points. In this paper we provide lower and upper bounds on the minimum number of open sets, not containing a pair of antipodal points, needed to cover the $d$-dimensional sphere $n$ times, with the additional property that the northern hemisphere is covered $m > n$ times. We prove that if the open northern hemisphere is to be covered $m$ times then at least $ \lceil \frac{d-1}{2} \rceil+n+m$ and at most $d+n+m$ sets are needed. For the case of $n=1$ and $d \ge 2$, this number is equal to $d+2$ if $m \le \lfloor \frac{d}{2} \rfloor + 1$ and equal to $ \lfloor \frac{d-1}{2} \rfloor + 2 +m$ if $m > \lfloor \frac{d}{2} \rfloor + 1$. If the closed northern hemisphere is to be covered $m$ times then $d+2m-1$ sets are needed, this number is also sufficient. We also present results on a related problem of independent interest. We prove that if $S^d$ is covered $n$ times with open sets, not containing a pair of antipodal points, then there exists a point that is covered at least $ \lceil \frac{d}{2} \rceil +n$ times. Furthermore, we show that there are covers in which no point is covered more than $n+d$ times.
Matchings in metric spaces, the dual problem and calibrations modulo 2
We show that for a metric space with an even number of points there is a 1-Lipschitz map to a tree-like space with the same matching number. This result gives the first basic version of an unoriented Kantorovich duality. The study of the duality gives a version of global calibrations for 1-chains with coefficients in $\mathbb Z_2$. Finally we extend the results to infinite metric spaces and present a notion of "matching dimension" which arises naturally.
The spectra of polynomial equations with varying exponents
Published
• View Publication
• BIB
We study the dependence of solutions of equations of the form $a_0 + a_1 z^{\ell_1} + ... + a_m z^{\ell_m} = 0$, on the exponents $\ell_1, ..., \ell_m$. We apply our results to equations that appear in graph theory, the theory of 3-manifolds fibering over the circle, and the theory of free-by-cyclic groups. In particular, we provide descriptions of the spectra of the Alexander polynomial of a fibered 3-manifold, Teichmüller polynomials associated to such a manifold or to a free by cyclic group, and the family of characteristic polynomials of a fixed directed graph with varying edge lengths.
Saturation Number of Trees in the Hypercube
A graph $H^{\prime}$ is $(H, G)$-saturated if it is $G$-free and the addition of any edge of $H$ not in $H^{\prime}$ creates a copy of $G$. The saturation number $sat(H, G)$ is the minimum number of edges in a $(H, G)$-saturated graph. We investigate bounds on the saturation number of trees $T$ in the $n$-dimensional hypercube $Q_n$. We first present a general lower bound on the saturation number based on the minimum degree of non-leaves. From there, we suggest two general methods for constructing $T$-saturated subgraphs of $Q_n$, and prove nontrivial upper bounds for specific types of trees, including paths, generalized stars, and certain caterpillars under a restriction on minimum degree with respect to diameter.
Random walks with different directions: Drunkards beware !
Published
• View Publication
• BIB
As an extension of Polya's classical result on random walks on the square grids ($\Z^d$), we consider a random walk where the steps, while still have unit length, point to different directions.
We show that in dimensions at least 4, the returning probability after $n$ steps is at most $n^{-d/2 - d/(d-2) +o(1)}$, which is sharp. The real surprise is in dimensions 2 and 3.
In dimension 2, where the traditional grid walk is recurrent, our upper bound is $n^{-ω(1)}$, which is much worse than higher dimensions.
In dimension 3, we prove an upper bound of order $n^{-4 +o(1)}$. We discover a new conjecture concerning incidences between spheres and points in $\R^3$, which, if holds, would improve the bound to $n^{-9/2 +o(1)}$, which is consistent % with the $d \ge 4$ case. to the $d \ge 4$ case. This conjecture resembles Szemerédi-Trotter type results and is of independent interest.
Weyl's Formula as the Brion Theorem for Gelfand-Tsetlin Polytopes
Published in Brion's theorem for Gelfand-Tsetlin polytopes, Functional Analysis and Its Applications, 50:2 (2016), pp 98-106
• View Publication
• BIB
We exploit the idea that the character of an irreducible finite dimensional $\mathfrak{gl}_n$-module is the sum of certain exponents of integer points in a Gelfand-Tsetlin polytope and can thus be calculated via Brion's theorem. In order to show how the result of such a calculation matches Weyl's character formula we prove some interesting combinatorial traits of Gelfand-Tsetlin polytopes. Namely, we show that under the relevant substitution the integer point transforms of all but $n!$ vertices vanish, the remaining ones being the summands in Weyl's formula.
Multipackings in Graphs
A vertex subset M of a graph G is a multipacking if for each vertex v, and each positive integer s less than or equal to the diameter of G, v is within distance s of at most s vertices of M. The multipacking number of a graph is the maximum cardinality of a multipacking of G. A generalization of 2-packings, multipackings offer interesting insight into the minimum cost broadcast domination problem. This paper surveys recent results in the study of multipackings, including the equality of the multipacking number and broadcast number in trees, an extension of Farber's Algorithm for finding dominating sets and 2-packings of strongly chordal graphs, and some early results on fractional multipackings. The paper closes with a series of in-depth examples of the various algorithms presented.
A note on the combinatorial derivation of non-small sets
Given an infinite group $G$ and a subset $A$ of $G$ we let $Δ(A) = \{g \in G \,:\, |gA \cap A| =\infty\}$ (this is sometimes called the \emph{combinatorial derivation} of $A$). A subset $A$ of $G$ is called: \emph{large} if there exists a finite subset $F$ of $G$ such that $FA=G$; \emph{$Δ$-large} if $Δ(A)$ is large and \emph{small} if for every large subset $L$ of $G$, $(G \setminus A) \cap L$ is large. In this note we show that every non-small set is $Δ$-large, answering a question of Protasov.
On the orders of arc-transitive graphs
Published
• View Publication
• BIB
A graph is called {\em arc-transitive} (or {\em symmetric}) if its automorphism group has a single orbit on ordered pairs of adjacent vertices, and 2-arc-transitive its automorphism group has a single orbit on ordered paths of length 2. In this paper we consider the orders of such graphs, for given valency. We prove that for any given positive integer $k$, there exist only finitely many connected 3-valent 2-arc-transitive graphs whose order is $kp$ for some prime $p$, and that if $d\ge 4$, then there exist only finitely many connected $d$-valent 2-arc-transitive graphs whose order is $kp$ or $kp^2$ for some prime $p$. We also prove that there are infinitely many (even) values of $k$ for which there are only finitely many connected 3-valent symmetric graphs of order $kp$ where $p$ is prime.
The sorting index on colored permutations and even-signed permutations
Published
• View Publication
• BIB
We define a new statistic $\mathsf{sor}$ on the set of colored permutations $\mathsf{G}_{r,n}$ and prove that it has the same distribution as the length function. For the set of restricted colored permutations corresponding to the arrangements of $n$ non-attacking rooks on a fixed Ferrers shape we show that the following two sequences of set-valued statistics are joint equidistributed: $(\ell,\mathsf{Rmil}^0,\mathsf{Rmil}^1,...,\mathsf{Rmil}^{r-1}$, $\mathsf{Lmil}^0,\mathsf{Lmil}^1,...,\mathsf{Lmil}^{r-1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$ and $(\mathsf{sor},\mathsf{Cyc}^0,\mathsf{Cyc}^{r-1},...,\mathsf{Cyc}^{1}$, $\mathsf{Lmic}^0,\mathsf{Lmic}^{r-1},...,\mathsf{Lmic}^{1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$. Analogous results are also obtained for Coxeter group of type $D$. Our results extend recent results of Petersen, Chen-Gong-Guo and Poznanović.
The combinatorics of real double Hurwitz numbers with real positive branch points
Published in Int. Math. Res. Not. 2016.1 (2016), pp. 258-293
• View Publication
• BIB
We investigate the combinatorics of real double Hurwitz numbers with real positive branch points using the symmetric group. Our main focus is twofold. First, we prove correspondence theorems relating these numbers to counts of tropical real covers and study the structure of real double Hurwitz numbers with the help of the tropical count. Second, we express the numbers as counts of paths in a subgraph of the Cayley graph of the symmetric group. By restricting to real double Hurwitz numbers with real positive branch points, we obtain a concise translation of the counting problem in terms of tuples of elements of the symmetric group that enables us to uncover the beautiful combinatorics of these numbers both in tropical geometry and in the Cayley graph.
$p$-vanishing conjugacy classes of symmetric groups
Published in J. of Algebra 450 (2016), 349-383
• View Publication
• BIB
For a prime $p$, we say that a conjugacy class of a finite group $G$ is $p$-vanishing if every irreducible character of $G$ of degree divisible by $p$ takes value 0 on that conjugacy class. In this paper we completely classify 2-vanishing and 3-vanishing conjugacy classes for the symmetric group and do some work in the classification of $p$-vanishing conjugacy classes of the symmetric group for $p\geq 5$. This answers a question by Navarro for $p=2$ and $p=3$ and partly answers it for $p\geq 5$.
Graph properties of graph associahedra
Published in Sém. Lothar. Combin., B73d, 31 pp., 2015
• Search Publication
A graph associahedron is a simple polytope whose face lattice encodes the nested structure of the connected subgraphs of a given graph. In this paper, we study certain graph properties of the 1-skeleta of graph associahedra, such as their diameter and their Hamiltonicity. Our results extend known results for the classical associahedra (path associahedra) and permutahedra (complete graph associahedra). We also discuss partial extensions to the family of nestohedra.
Some identities involving Prouhet-Thue-Morse sequence and its relatives
Published
• View Publication
• BIB
Let $s_{k}(n)$ denote the sum of digits of an integer $n$ in base $k$. Motivated by certain identities of Nieto, and Bateman and Bradley involving sums of the form $\sum_{i=0}^{2^{n}-1}(-1)^{s_{2}(i)}(x+i)^{m}$ for $m=n$ and $m=n+1$, we consider the sequence of polynomials \begin{equation*} f_{m,n}^{\mathbf u}(x)=\sum_{i=0}^{k^{n}-1}ζ_{k}^{s_{k}(i)}(x+{\mathbf u}(i))^{m}. \end{equation*} defined for sequences ${\bf u}(i)$ satisfying a certain recurrence relation.
We prove that computing these polynomials is essentially equivalent with computing their constant term and we find an explicit formula for this number. This allows us to prove several interesting identities involving sums of binary digits. We also prove some related results which are of independent interests and can be seen as further generalizations of certain sums involving Prouhet-Thue-Morse sequence.
The number of the maximal triangle-free graphs
Published in Bull. London Math. Soc. (2014) 46 (5): 1003-1006
• View Publication
• BIB
Paul Erdős suggested the following problem: Determine or estimate the number of maximal triangle-free graphs on $n$ vertices. Here we show that the number of maximal triangle-free graphs is at most $2^{n^2/8+o(n^2)}$, which matches the previously known lower bound. Our proof uses among others the Ruzsa-Szemerédi triangle removal lemma, and recent results on characterizing of the structure of independent sets in hypergraphs.
An upper bound on the extremal version of Hajnal's triangle-free game
A game starts with the empty graph on $n$ vertices, and two player alternate adding edges to the graph. Only moves which do not create a triangle are valid. The game ends when a maximal triangle-free graph is reached. The goal of one player is to end the game as soon as possible, while the other player is trying to prolong the game. With optimal play, the length of the game (number of edges played) is called the $K_3$ game saturation number.
In this paper we prove an upper bound for this number.
Looking for good Hofmeister and Braunschadel bases
A_k = (1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An "extremal" h-basis A_k is one for which n is as large as possible. Computing extremal bases has become known as the "global" Postage Stamp Problem.
This paper describes the author's early attempts to identify extremal Hofmeister and Braunschadel bases for large t (where t = 12h + r for some 0 <= r <= 11), and also includes a transcription of Prof. Selmer's correspondence with the author about this work which has not been published before. See (Selmer, E.S., Private Communication, [8], 1992/1993).
A Combinatorial Formula for Certain Elements of Upper Cluster Algebras
Published in SIGMA 11 (2015), 049, 24 pages
• View Publication
• BIB
We develop an elementary formula for certain non-trivial elements of upper cluster algebras. These elements have positive coefficients. We show that when the cluster algebra is acyclic these elements form a basis. Using this formula, we show that each non-acyclic skew-symmetric cluster algebra of rank 3 is properly contained in its upper cluster algebra.
Quantitative bounds in the polynomial Szemerédi theorem: the homogeneous case
Published in Discrete Analysis, 2017:5, 34pp
• View Publication
• BIB
We obtain quantitative bounds in the polynomial Szemerédi theorem of Bergelson and Leibman, provided the polynomials are homogeneous and of the same degree. Such configurations include arithmetic progressions with common difference equal to a perfect kth power.
On Searching Zimin Patterns
Published in Theoretical Computer Science, Vol. 571 (2015), 50-57
• View Publication
• BIB
In the area of pattern avoidability the central role is played by special words called Zimin patterns. The symbols of these patterns are treated as variables and the rank of the pattern is its number of variables. Zimin type of a word $x$ is introduced here as the maximum rank of a Zimin pattern matching $x$. We show how to compute Zimin type of a word on-line in linear time. Consequently we get a quadratic time, linear-space algorithm for searching Zimin patterns in words. Then we how the Zimin type of the length $n$ prefix of the infinite Fibonacci word is related to the representation of $n$ in the Fibonacci numeration system. Using this relation, we prove that Zimin types of such prefixes and Zimin patterns inside them can be found in logarithmic time. Finally, we give some bounds on the function $f(n,k)$ such that every $k$-ary word of length at least $f(n,k)$ has a factor that matches the rank $n$ Zimin pattern.