Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Representations of automorphism groups on the homology of matroids
Published in European Journal of Combinatorics 94 (2021) 103312
• View Publication
• BIB
Given a group $G$ of automorphisms of a matroid $M$, we describe the representations of $G$ on the homology of the independence complex of the dual matroid $M^*$. These representations are related with the homology of the lattice of flats of $M$, and (when $M$ is realizable) with the top cohomology of a hyperplane arrangement. Finally we analyze in detail the case of the complete graph, which has applications to algebraic geometry.
Parking Functions: Choose Your Own Adventure
Published
• View Publication
• BIB
Warning. The reading of this paper will send you down many winding roads toward new and exciting research topics enumerating generalized parking functions. Buckle up!
Grundy Coloring & friends, Half-Graphs, Bicliques
Published
• View Publication
• BIB
The first-fit coloring is a heuristic that assigns to each vertex, arriving in a specified order $σ$, the smallest available color. The problem Grundy Coloring asks how many colors are needed for the most adversarial vertex ordering $σ$, i.e., the maximum number of colors that the first-fit coloring requires over all possible vertex orderings. Since its inception by Grundy in 1939, Grundy Coloring has been examined for its structural and algorithmic aspects. A brute-force $f(k)n^{2^{k-1}}$-time algorithm for Grundy Coloring on general graphs is not difficult to obtain, where $k$ is the number of colors required by the most adversarial vertex ordering. It was asked several times whether the dependency on $k$ in the exponent of $n$ can be avoided or reduced, and its answer seemed elusive until now. We prove that Grundy Coloring is W[1]-hard and the brute-force algorithm is essentially optimal under the Exponential Time Hypothesis, thus settling this question by the negative.
The key ingredient in our W[1]-hardness proof is to use so-called half-graphs as a building block to transmit a color from one vertex to another. Leveraging the half-graphs, we also prove that b-Chromatic Core is W[1]-hard, whose parameterized complexity was posed as an open question by Panolan et al. [JCSS '17]. A natural follow-up question is, how the parameterized complexity changes in the absence of (large) half-graphs. We establish fixed-parameter tractability on $K_{t,t}$-free graphs for b-Chromatic Core and Partial Grundy Coloring, making a step toward answering this question. The key combinatorial lemma underlying the tractability result might be of independent interest.
A birational lifting of the Stanley-Thomas word on products of two chains
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (August 18, 2021) dmtcs:6633
• View Publication
• BIB
The dynamics of certain combinatorial actions and their liftings to actions at the piecewise-linear and birational level have been studied lately with an eye towards questions of periodicity, orbit structure, and invariants. One key property enjoyed by the rowmotion operator on certain finite partially-ordered sets is homomesy, where the average value of a statistic is the same for all orbits. To prove refined versions of homomesy in the product of two chain posets, J. Propp and the second author used an equivariant bijection discovered (less formally) by R. Stanley and H. Thomas.
We explore the lifting of this "Stanley--Thomas word" to the piecewise-linear, birational, and noncommutative realms. Although the map is no longer a bijection, so cannot be used to prove periodicity directly, it still gives enough information to prove the homomesy at the piecewise-linear and birational levels (a result previously shown by D. Grinberg, S. Hopkins, and S. Okada). Even at the noncommutative level, the Stanley--Thomas word of a poset labeling rotates cyclically with the lifting of antichain rowmotion. Along the way we give some formulas for noncommutative antichain rowmotion that we hope will be first steps towards proving the conjectured periodicity at this level.
Dissecting a square into congruent polygons
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Combinatorics (June 29, 2020) dmtcs:6022
• View Publication
• BIB
We study the dissection of a square into congruent convex polygons. Yuan \emph{et al.} [Dissecting the square into five congruent parts, Discrete Math. \textbf{339} (2016) 288-298] asked whether, if the number of tiles is a prime number $\geq 3$, it is true that the tile must be a rectangle.
We conjecture that the same conclusion still holds even if the number of tiles is an odd number $\geq 3$.
Our conjecture has been confirmed for triangles in earlier works. We prove that the conjecture holds if either the tile is a convex $q$-gon with $q\geq 6$ or it is a right-angle trapezoid.
Grossberg-Karshon twisted cubes and hesitant jumping walk avoidance
Published in The Electronic Journal of Combinatorics (E-JC) Volume 27, Issue 3 (2020) #P3.34
• View Publication
• BIB
Let $G$ be a complex simply-laced semisimple algebraic group of rank $r$ and $B$ a Borel subgroup. Let $\mathbf i \in [r]^n$ be a word and let $\mathbf \ell = (\ell_1,\dots,\ell_n)$ be a sequence of non-negative integers. Grossberg and Karshon introduced a virtual lattice polytope associated to $\mathbf i$ and $\mathbf \ell$ called a twisted cube, whose lattice points encode the character of a $B$-representation. More precisely, lattice points in the twisted cube, counted with sign according to a certain density function, yields the character of the generalized Demazure module determined by $\mathbf i$ and $\mathbf \ell$. In recent work, the author and Harada described precisely when the Grossberg-Karshon twisted cube is untwisted, i.e., the twisted cube is a closed convex polytope, in the situation when the integer sequence $\mathbf \ell$ comes from a weight $λ$ of $G$. However, not every integer sequence $\mathbf \ell$ comes from a weight of $G$. In the present paper, we interpret untwistedness of Grossberg-Karshon twisted cubes associated to any word $\mathbf i$ and any integer sequence $\mathbf \ell$ using the combinatorics of $\mathbf i$ and $\mathbf \ell$. Indeed, we prove that the Grossberg-Karshon twisted cube is untwisted precisely when $\mathbf i$ is hesitant-jumping-$\mathbf \ell$-walk-avoiding.
How to Cut a Cake Fairly: A Generalization to Groups
Published in American Mathematical Monthly, 128(1):79-83 (2021)
• View Publication
• BIB
A fundamental result in cake cutting states that for any number of players with arbitrary preferences over a cake, there exists a division of the cake such that every player receives a single contiguous piece and no player is left envious. We generalize this result by showing that it is possible to partition the players into groups of any desired sizes and divide the cake among the groups, so that each group receives a single contiguous piece and no player finds the piece of another group better than that of the player's own group.
Unitarily invariant valuations and Tutte's sequence
Published in Proceedings of the AMS, 149(2) (2021), 829-841
• View Publication
• BIB
We prove Fu's power series conjecture which relates the algebra of isometry invariant valuations on complex space forms to a formal power series from combinatorics which was introduced by Tutte. The $n$-th coefficient of this series is the number of triangulations of a triangle with $3n$ internal edges; or the number of intervals in Tamari's lattice $Y_n$.
The Burning Number of Directed Graphs: Bounds and Computational Complexity
Published
• View Publication
• BIB
The burning number of a graph was recently introduced by Bonato et al. Although they mention that the burning number generalises naturally to directed graphs, no further research on this has been done. Here, we introduce graph burning for directed graphs, and we study bounds for the corresponding burning number and the hardness of finding this number. We derive sharp bounds from simple algorithms and examples. The hardness question yields more surprising results: finding the burning number of a directed tree is NP-hard, but FPT; however, it is W[2]-complete for DAGs. Finally, we give a fixed-parameter algorithm to find the burning number of a digraph, with a parameter inspired by research in phylogenetic networks.
Veronese representation of projective Hjelmslev planes over some quadratic alternative algebras
Published in Results Math (2020) 75:9
• View Publication
• BIB
We geometrically characterise the Veronese representations of ring projective planes over algebras which are analogues of the dual numbers, giving rise to projective Hjelmslev planes of level 2 coordinatised over quadratic alternative algebras. These planes are related to affine buildings of relative type $\widetilde{A}_2$ and respective absolute type $\widetilde{\mathsf{A}}_2$, $\widetilde{\mathsf{A}}_5$ and $\widetilde{\mathsf{E}}_6$.
Split buildings of type F4 in buildings of type E6
Published in Abh. Math. Semin. Univ. Hambg. (2018) 88:97--160
• View Publication
• BIB
A symplectic polarity of a building Δ of type E6 is a polarity whose fixed point structure is a building of type F4 containing residues isomorphic to symplectic polar spaces (i.e., so-called split buildings of type F4). In this paper, we show in a geometric way that every building of type E6 contains, up to conjugacy, a unique class of symplectic polarities. We also show that the natural point-line geometry of each split building of type F4 fully embedded in the natural point-line geometry of Δ arises from a symplectic polarity.
Graphs, defined by Weyl distance or incidence, that determine a vector space
Published in Linear Algebra Appl. 449 (2014) 435--464
• View Publication
• BIB
We study to which extent the family of pairs of subspaces of a vector space related to each other via intersection properties determines the vector space. In another language, we study to which extent the family of vertices of the building of a projective space related to each other via several natural respective conditions involving the Weyl distance and incidence determines the building. These results can be seen as generalizations of and variations on the Fundamental Theorem of Projective Geometry.
A New Approach to a Theorem of Eng
Published
• View Publication
• BIB
The main aim of this work is to give a case-free algebraic proof for a theorem of Eng on the Poincaré polynomial of parabolic quotients of finite Coxeter groups evaluated at -1.
PIR Codes with Short Block Length
Published
• View Publication
• BIB
In this work private information retrieval (PIR) codes are studied. In a $k$-PIR code, $s$ information bits are encoded in such a way that every information bit has $k$ mutually disjoint recovery sets. The main problem under this paradigm is to minimize the number of encoded bits given the values of $s$ and $k$, where this value is denoted by $P(s,k)$. The main focus of this work is to analyze $P(s,k)$ for a large range of parameters of $s$ and $k$. In particular, we improve upon several of the existing results on this value.
An Improvement to Chvátal and Thomassen's Upper Bound for Oriented Diameter
Published
• View Publication
• BIB
An orientation of an undirected graph $G$ is an assignment of exactly one direction to each edge of $G$. The oriented diameter of a graph $G$ is the smallest diameter among all the orientations of $G$. The maximum oriented diameter of a family of graphs $\mathscr{F}$ is the maximum oriented diameter among all the graphs in $\mathscr{F}$. Chvátal and Thomassen [JCTB, 1978] gave a lower bound of $\frac{1}{2}d^2+d$ and an upper bound of $2d^2+2d$ for the maximum oriented diameter of the family of $2$-edge connected graphs of diameter $d$. We improve this upper bound to $ 1.373 d^2 + 6.971d-1 $, which outperforms the former upper bound for all values of $d$ greater than or equal to $8$. For the family of $2$-edge connected graphs of diameter $3$, Kwok, Liu and West [JCTB, 2010] obtained improved lower and upper bounds of $9$ and $11$ respectively. For the family of $2$-edge connected graphs of diameter $4$, the bounds provided by Chvátal and Thomassen are $12$ and $40$ and no better bounds were known. By extending the method we used for diameter $d$ graphs, along with an asymmetric extension of a technique used by Chvátal and Thomassen, we have improved this upper bound to $21$.
On the total Rainbow domination of digraphs
For a positive integer $k$, a $k$-rainbow dominating function ($k$RDF) on a digraph $D$ is a function $f$ from the vertex set $V(D)$ to the set of all subsets of $\{1,2,\ldots,k\}$ such that for any vertex $v$ with $f(v)=\emptyset$, $\bigcup_{u\in N^-(v)}f(u)=\{1,2,\ldots,k\}$, where $N^-(v)$ is the set of in-neighbors of $v$. The weight of a $k$RDF $f$ is defined as $\sum_{v\in V(D)}|f(v)|$. A $k$RDF $f$ on $D$ with no isolated vertex is called a total $k$-rainbow dominating function if the subdigraph of $D$ induced by the set $\{v\in V(D):f(v)\ne\emptyset\}$ has no isolated vertex. The total $k$-rainbow domination number is the minimum weight of a total $k$-rainbow dominating function on $D$. In this paper, we establish some bounds for the total $k$-rainbow domination number and we give the total $k$-rainbow domination number of some digraphs.
A short proof of the blow-up lemma for approximate decompositions
Published
• View Publication
• BIB
Kim, Kühn, Osthus and Tyomkyn (Trans. Amer. Math. Soc. 371 (2019), 4655--4742) greatly extended the well-known blow-up lemma of Komlós, Sárközy and Szemerédi by proving a `blow-up lemma for approximate decompositions' which states that multipartite quasirandom graphs can be almost decomposed into any collection of bounded degree graphs with the same multipartite structure and slightly fewer edges. This result has already been used by Joos, Kim, Kühn and Osthus to prove the tree packing conjecture due to Gyárfás and Lehel from 1976 and Ringel's conjecture from 1963 for bounded degree trees as well as implicitly in the recent resolution of the Oberwolfach problem (asked by Ringel in 1967) by Glock, Joos, Kim, Kühn and Osthus. Here we present a new and significantly shorter proof of the blow-up lemma for approximate decompositions. In fact, we prove a more general theorem that yields packings with stronger quasirandom properties so that it can be combined with Keevash's results on designs to obtain results of the following form. For all $\varepsilon>0$, $r\in \mathbb{N}$ and all large $n$ (such that $r$ divides $n-1$), there is a decomposition of $K_n$ into any collection of $r$-regular graphs $H_1,\ldots,H_{(n-1)/r}$ on $n$ vertices provided that $H_1,\ldots,H_{\varepsilon n}$ contain each at least $\varepsilon n$ vertices in components of size at most $\varepsilon^{-1}$.
The bounds for the number of linear extensions via chain and antichain coverings
Published
• View Publication
• BIB
Let $(\mathcal{P},\leqslant)$ be a finite poset. Define the numbers $a_1,a_2,\ldots$ (respectively, $c_1,c_2,\ldots$) so that $a_1+\ldots+a_k$ (respectively, $c_1+\ldots+c_k$) is the maximal number of elements of $\mathcal{P}$ which may be covered by $k$ antichains (respectively, $k$ chains.) Then the number $e(\mathcal{P})$ of linear extensions of poset $\mathcal{P}$ is not less than $\prod a_i!$ and not more than $n!/\prod c_i!$. A corollary: if $\mathcal{P}$ is partitioned onto disjoint antichains of size $b_1,b_2, \ldots$, then $e(\mathcal{P})\geqslant \prod b_i!$.
Gallai Ramsey number for double stars
Given a graph $G$ and a positive integer $k$, the \emph{Gallai-Ramsey number} is defined to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) copy of $G$ or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for double stars $S(n,m)$, where $S(n,m)$ is the graph obtained from the union of two stars $K_{1,n}$ and $K_{1,m}$ by adding an edge between their centers. We also provide the sharp result in some cases.
Improved Bound on Vertex Degree Version of Erdős Matching Conjecture
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $H$, let $δ_1(H)$ denote the minimum vertex degree of $H$, and $ν(H)$ denote the size of the largest matching in $H$. In this paper, we show that for any $k\geq 3$ and $β>0$, there exists an integer $n_0(β,k)$ such that for positive integers $n\geq n_0$ and $m\leq (\frac{k}{2(k-1)}-β)\frac{n}{k}$, if $H$ is an $n$-vertex $k$-graph with $δ_1(H)>{{n-1}\choose {k-1}}-{{n-m}\choose {k-1}},$ then $ν(H)\geq m$. This improves upon earlier results of Bollobás, Daykin and Erdős (1976) for the range $n> 2k^3(m+1)$ and Huang and Zhao (2017) for the range $n\geq 3k^2 m$.