Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Twists for duplex regions
This note relies heavily on arXiv:1404.6509 and arXiv:1410.7693. Both articles discuss domino tilings of three-dimensional regions, and both are concerned with flips, the local move performed by removing two parallel dominoes and placing them back in the only other possible position. In the second article, an integer $\operatorname{Tw}(t)$ is defined for any tiling $t$ of a large class of regions $\mathcal{R}$: it turns out that $\operatorname{Tw}(t)$ is invariant by flips. In the first article, a more complicated polynomial invariant $P_t(q)$ is introduced for tilings of two-story regions. It turns out that $\operatorname{Tw}(t) = P_t'(1)$ whenever $t$ is a tiling of a duplex region, a special kind of two-story region for which both invariants are defined. This identity is proved in arXiv:1410.7693 in an indirect and nonconstructive manner. In the present note, we provide an alternative, more direct proof.
Odd behavior in the coefficients of reciprocals of binary power series
Published
• View Publication
• BIB
Let $\mathcal{A}$ be a finite subset of $\mathbb{N}$ including $0$ and $f_\mathcal{A}(n)$ be the number of ways to write $n=\sum_{i=0}^{\infty}ε_i2^i$, where $ε_i\in\mathcal{A}$. The sequence $\left(f_\mathcal{A}(n)\right) \bmod 2$ is always periodic, and $f_\mathcal{A}(n)$ is typically more often even than odd. We give four families of sets $\left(\mathcal{A}_m\right)$ with $\left|\mathcal{A}_m\right|=4$ such that the proportion of odd $f_{\mathcal{A}_m}(n)$'s goes to $1$ as $m\to\infty$.
Many symmetrically indivisible structures
Published in Math. Log. Quart. 61, No. 4 - 5, 341 - 346 (2015)
• View Publication
• BIB
A structure $\mathcal{M}$ in a first-order language $\mathcal{L}$ is \emph{indivisible} if for every coloring of $M$ in two colors, there is a monochromatic $\mathcal{M}^{\prime} \subseteq \mathcal{M}$ such that $\mathcal{M}^{\prime}\cong\mathcal{M}$. Additionally, we say that $\mathcal{M}$ is symmetrically indivisible if $\mathcal{M}^{\prime}$ can be chosen to be \emph{symmetrically embedded} in $\mathcal{M}$ (that is, every automorphism of $\mathcal{M}^{\prime}$ can be extended to an automorphism of $\mathcal{M}$). In the following paper we give a general method for constructing new symmetrically indivisible structures out of existing ones. Using this method, we construct $2^{\aleph_0}$ many non-isomorphic symmetrically indivisible countable structures in given (elementary) classes and answer negatively the following question asked by A. Hasson, M. Kojman and A. Onshuus in "On symmetric indivisibility of countable structures" (Cont. Math. 558(1):453--466): Let $\mathcal{M}$ be a symmetrically indivisible structure in a language $\mathcal{L}$. Let $\mathcal{L}_0 \subseteq \mathcal{L}$. Is $ \mathcal{M} \upharpoonright \mathcal{L}_0$ symmetrically indivisible?
CW posets after the Poincare Conjecture
Anders Bjorner characterized which finite graded partially ordered sets arise as the posets of closure relations on cells of a finite, regular CW complex. His characterization of these "CW posets" required each open interval $(\hat{0},u)$ to have order complex homeomorphic to a sphere of dimension $rk(u)-2$. Work of Danaraj and Klee showed that sufficient conditions were for the poset to be thin and shellable. The proof of the Poincare Conjecture enables the requirement of shellability to be replaced by the homotopy Cohen-Macaulay property. This expands the range of tools that may be used to prove a poset is a CW poset.
Modifications of Tutte-Grothendieck invariants and Tutte polynomials
Published
• View Publication
• BIB
We transform Tutte-Grothedieck invariants thus also Tutte polynomials on matroids so that the contraction-deletion rule for loops (isthmuses) coincides with the general case.
Biclosed sets in real hyperplane arrangements
The set of chambers of a real hyperplane arrangement may be ordered by separation from some fixed chamber. When this poset is a lattice, Bjorner, Edelman, and Ziegler proved that the chambers are in natural bijection with the biconvex sets of the arrangement. Two families of examples of arrangements with a lattice of chambers are simplicial and supersolvable arrangements. For these arrangements, we prove that the chambers correspond to biclosed sets, a weakening of the biconvex property.
Lax operator for Macdonald symmetric functions
Published in Letters in Mathematical Physics 105 (2015) 901-916
• View Publication
• BIB
Using the Lax operator formalism, we construct a family of pairwise commuting operators such that the Macdonald symmetric functions of infinitely many variables and of two parameters $q,t$ are their eigenfunctions. We express our operators in terms of the Hall-Littlewood symmetric functions of the same variables and of the parameter $t$ corresponding to the partitions with one part only. Our expression is based on the notion of Baker-Akhiezer function.
Canonical bases for cluster algebras
Published
• View Publication
• BIB
In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral tropical points of the mirror. Further, the structure constants for the multiplication rule in this basis should be given by counting broken lines (certain combinatorial objects, morally the tropicalisations of holomorphic discs). Here we prove the conjecture in the case of cluster varieties, where the statement is a more precise form of the Fock-Goncharov dual basis conjecture. In particular, under suitable hypotheses, for each Y the partial compactification of an affine cluster variety U given by allowing some frozen variables to vanish, we obtain canonical bases for the ring of functions on Y extending to a basis for functions on U. Each choice of seed canonically identifies the parameterizing sets of these bases with integral points in a polyhedral cone. These results specialize to basis results of combinatorial representation theory. For example, by considering the open double Bruhat cell U in the basic affine space Y we obtain a canonical basis of each irreducible representation of SL_r, parameterized by a set which each choice of seed identifies with integral points of a lattice polytope. These bases and polytopes are all constructed essentially without representation theoretic considerations. Along the way, our methods prove a number of conjectures in cluster theory, including positivity of the Laurent phenomenon for cluster algebras of geometric type.
The minimum number of triangular edges and a symmetrization method for multiple graphs
We give an asymptotic formula for the minimum number of edges contained in triangles in a graph having n vertices and e edges. Our main tool is a generalization of Zykov's symmetrization method that can be applied for several graphs simultaneously.
Incidences between points and lines in R^4
Published
• View Publication
• BIB
We show that the number of incidences between $m$ distinct points and $n$ distinct lines in ${\mathbb R}^4$ is $O\left(2^{c\sqrt{\log m}} (m^{2/5}n^{4/5}+m) + m^{1/2}n^{1/2}q^{1/4} + m^{2/3}n^{1/3}s^{1/3} + n\right)$, for a suitable absolute constant $c$, provided that no 2-plane contains more than $s$ input lines, and no hyperplane or quadric contains more than $q$ lines. The bound holds without the factor $2^{c\sqrt{\log m}}$ when $m \le n^{6/7}$ or $m \ge n^{5/3}$. Except for this factor, the bound is tight in the worst case.
Graphs with few paths of prescribed length between any two vertices
Published
• View Publication
• BIB
We use a variant of Bukh's random algebraic method to show that for every natural number $k \geq 2$ there exists a natural number $\ell$ such that, for every $n$, there is a graph with $n$ vertices and $Ω_k(n^{1 + 1/k})$ edges with at most $\ell$ paths of length $k$ between any two vertices. A result of Faudree and Simonovits shows that the bound on the number of edges is tight up to the implied constant.
An exact characterization of tractable demand patterns for maximum disjoint path problems
Published
• View Publication
• BIB
We study the following general disjoint paths problem: given a supply graph $G$, a set $T\subseteq V(G)$ of terminals, a demand graph $H$ on the vertices $T$, and an integer $k$, the task is to find a set of $k$ pairwise vertex-disjoint valid paths, where we say that a path of the supply graph $G$ is valid if its endpoints are in $T$ and adjacent in the demand graph $H$. For a class $\mathcal{H}$ of graphs, we denote by $\mathcal{H}$-Maximum Disjoint Paths the restriction of this problem when the demand graph $H$ is assumed to be a member of $\mathcal{H}$. We study the fixed-parameter tractability of this family of problems, parameterized by $k$. Our main result is a complete characterization of the fixed-parameter tractable cases of $\mathcal{H}$-Maximum Disjoint Paths for every hereditary class $\mathcal{H}$ of graphs: it turns out that complexity depends on the existence of large induced matchings and large induced skew bicliques in the demand graph $H$ (a skew biclique is a bipartite graph on vertices $a_1$, $\dots$, $a_n$, $b_1$, $\dots$, $b_n$ with $a_i$ and $b_j$ being adjacent if and only if $i\le j$). Specifically, we prove the following classification for every hereditary class $\mathcal{H}$.
1. If $\mathcal{H}$ does not contain every matching and does not contain every skew biclique, then $\mathcal{H}$-Maximum Disjoint Paths is FPT.
2. If $\mathcal{H}$ does not contain every matching, but contains every skew biclique, then $\mathcal{H}$-Maximum Disjoint Paths is W[1]-hard, admits an FPT approximation, and the valid paths satisfy an analog of the Erdős-Pósa property.
3. If $\mathcal{H}$ contains every matching, then $\mathcal{H}$-Maximum Disjoint Paths is W[1]-hard and the valid paths do not satisfy the analog of the Erdős-Pósa property.
Affine Symmetries of Orbit Polytopes
Published in Adv. Math. 288, pp. 386-425 (2016)
• View Publication
• BIB
An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense set of generic points such that the orbit polytopes of generic points have conjugated affine symmetry groups. We prove that the symmetry group of a generic orbit polytope is again $G$ if $G$ is itself the affine symmetry group of some orbit polytope, or if $G$ is absolutely irreducible. On the other hand, we describe some general cases where the affine symmetry group grows.
We apply our theory to representation polytopes (the convex hull of a finite matrix group) and show that their affine symmetries can be computed effectively from a certain character. We use this to construct counterexamples to a conjecture of Baumeister et~al.\ on permutation polytopes [Advances in Math. 222 (2009), 431--452, Conjecture~5.4].
Modified Nörlund polynomials
Published
• View Publication
• BIB
The modified Bernoulli numbers $B_{n}^{*}$ considered by Zagier are generalized to modified Nörlund polynomials ${B_{n}^{(\ell)*}}$. For $\ell\in\mathbb{N}$, an explicit expression for the generating function for these polynomials is obtained. Evaluations of some spectacular integrals involving Chebyshev polynomials, and of a finite sum involving integrals of the Hurwitz zeta function are also obtained. New results about the $\ell$-fold convolution of the square hyperbolic secant distribution are obtained, such as a differential-difference equation satisfied by a logarithmic moment and a closed-form expression in terms of the Barnes zeta function.
The Optimal Rubbling Number of Ladders, Prisms and Möbius-ladders
Published in Discrete Applied Mathematics 209: Pp. 227-246. (2016)
• View Publication
• BIB
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices $v$ and $w$ adjacent to a vertex $u$, and an extra pebble is added at vertex $u$. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using rubbling moves. The optimal rubbling number is the smallest number $m$ needed to guarantee a pebble distribution of $m$ pebbles from which any vertex is reachable. We determine the optimal rubbling number of ladders ($P_n\square P_2$), prisms ($C_n\square P_2$) and Möblus-ladders.
On the number of matroids compared to the number of sparse paving matroids
Published
• View Publication
• BIB
It has been conjectured that sparse paving matroids will eventually predominate in any asymptotic enumeration of matroids, i.e. that $\lim_{n\rightarrow\infty} s_n/m_n = 1$, where $m_n$ denotes the number of matroids on $n$ elements, and $s_n$ the number of sparse paving matroids. In this paper, we show that $$\lim_{n\rightarrow \infty}\frac{\log s_n}{\log m_n}=1.$$ We prove this by arguing that each matroid on $n$ elements has a faithful description consisting of a stable set of a Johnson graph together with a (by comparison) vanishing amount of other information, and using that stable sets in these Johnson graphs correspond one-to-one to sparse paving matroids on $n$ elements.
As a consequence of our result, we find that for some $β> 0$, asymptotically almost all matroids on $n$ elements have rank in the range $n/2 \pm β\sqrt{n}$.
Thirty-five years and counting
It has been 35 years since Stanley proved that f-vectors of boundaries of simplicial polytopes satisfy McMullen's conjectured g-conditions. Since then one of the outstanding questions in the realm of face enumeration is whether or not Stanley's proof could be extended to larger classes of spheres. Here we hope to give an overview of various attempts to accomplish this and why we feel this is so important. In particular, we will see a strong connection to f-vectors of manifolds and pseudomanifolds. Along the way we have included several previously unpublished results involving how the g-conjecture relates to bistellar moves and small g_2, the topology and combinatorics of stacked manifolds introduced independently by Bagchi and Datta, and Murai and Nevo, and counterexamples to over optimistic generalizations of the g-theorem.
Convex polygons in geometric triangulations
Published in Combinatorics, Probability and Computing 26(5) (2017), 641-659
• View Publication
• BIB
We show that the maximum number of convex polygons in a triangulation of $n$ points in the plane is $O(1.5029^n)$. This improves an earlier bound of $O(1.6181^n)$ established by van Kreveld, Löffler, and Pach (2012) and almost matches the current best lower bound of $Ω(1.5028^n)$ due to the same authors. Given a planar straight-line graph $G$ with $n$ vertices, we show how to compute efficiently the number of convex polygons in $G$.
A note on concurrent graph sharing games
In the concurrent graph sharing game, two players, called First and Second, share the vertices of a connected graph with positive vertex-weights summing up to $1$ as follows. The game begins with First taking any vertex. In each proceeding round, the player with the smaller sum of collected weights so far chooses a non-taken vertex adjacent to a vertex which has been taken, i.e., the set of all taken vertices remains connected and one new vertex is taken in every round. (It is assumed that no two subsets of vertices have the same sum of weights.) One can imagine the players consume their taken vertex over a time proportional to its weight, before choosing a next vertex. In this note we show that First has a strategy to guarantee vertices of weight at least $1/3$ regardless of the graph and how it is weighted. This is best-possible already when the graph is a cycle. Moreover, if the graph is a tree First can guarantee vertices of weight at least $1/2$, which is clearly best-possible.
Gallai's Theorem
This paper presents a proof of Gallai's Theorem, adapted from A. Soifer's presentation in The Mathematical Coloring Book of E. Witt's 1952 proof of Gallai's Theorem.