Showing 20 papers (Total: 81623 papers, 47312 authors in database)
No new lower bound for the density of planar Sets avoiding Unit Distances
In a recently published article by G. Ambrus et al. a new \emph{upper bound} for the density of an unit avoiding, periodic set is given as $0.2470$, the first upper bound $< 1/4$. A construction of Croft 1967 gave a \emph{lower bound} $δ_C = 0.22936$ for the density. To this date, no better construction with a higher bound has been given. In the \emph{first versions} of this article I gave a construction of planar sets with a "higher" density than Croft's tortoises. No explicit value for this density was given, it was just shown that Croft's density is a local minima in the density of the constructed 1-parameter family of planar sets. But now I found a servere error. After the correction in this article none of the investigated sets of constant diameter resulted in a new lower bound. I did not withdraw the article, maybe something could be useful for somebody.
On digital H-spaces
In this article, we investigate properties of digital H-spaces in the graph theoretic model of digital topology. As in prior work, the results obtained often depend fundamentally on the choice between NP$_1$ and NP$_2$ product adjacencies. We explore algebraic properties of digital H-spaces preserved under digital homotopy equivalence, and we give a general construction that produces examples of digital H-spaces which are not homotopy-equivalent to digital topological groups in both categories. Further, we show that this construction essentially classifies all NP$_2$-digital H-spaces. In a short appendix, we resolve a question that was left unresolved in [17], and complete the full classification of digital topological groups.
Completing the proof of the Liebeck--Nikolov--Shalev conjecture
Liebeck, Nikolov, and Shalev conjectured the existence of an absolute constant $C>0$, such that for every subset $A$ of a finite simple group $G$ with $|A|\ge 2$, there exists $C\log|G|/\log|A|$ conjugates of $A$ whose product is $G$. This paper is a companion to \cite{GLPS}, and together they prove the conjecture.
To prove the conjecture, we establish the following skew-product theorem. We show that there exists $ c > 0 $ such that for all $ ε> 0 $ and subsets $ A, B \subseteq G $ of finite simple groups of Lie type, if $ |B| < |G|^{1 - ε} $, then $ |A^σ B| > |B||A|^{c ε} $ for some $ σ\in G $. This result, along with its more involved analogue for alternating groups, constitutes the main contribution of this paper.
Our proof leverages deep results from character theory alongside the probabilistic method.
On Bott--Samelson rings for Coxeter groups
We study the cohomology ring of the Bott--Samelson variety. We compute an explicit presentation of this ring via Soergel's result, which implies that it is a purely combinatorial invariant. We use the presentation to introduce the Bott--Samelson ring associated with a word in arbitrary Coxeter system by generators and relations. In general, it is a split quadratic complete intersection algebra with a triangular pattern of relations. By a result of Tate, it follows that it is a Koszul algebra and we provide a quadratic (reduced) Gr{ö}bner basis. Furthermore, we prove that it satisfies the whole Kähler package, including the Poincaré duality, the hard Lefschetz theorem, and the Hodge--Riemann bilinear relations.
Revisiting Dice Relabeling using Cyclotomic Polynomials
Published
• View Publication
• BIB
We continue the exploration of a question of dice relabeling posed by Gallian and Rusin: Given $n$ dice, each labeled 1 through $m$, how many ways are there to relabel the dice without changing the frequencies of the possible sums? We answer this question in the case where $n = 2$ and $m$ is a product of three prime numbers. We also explore more general questions. We find a method for decomposing two $m$-sided dice into two dice of different sizes and give some preliminary results on relabeling two dice of different sizes. Finally, we refine a result of the aforementioned authors in the case where m is a prime power.
From total positivity to pure free resolutions
Using the Jacobi-Trudi identity as a base, we establish parallels between the theory of totally positive integer sequences and Koszul algebras. We then focus on the case of quadric hypersurface rings and use this parallel to construct new analogues of Schur modules. We investigate some of their Lie-theoretic properties (and in more detail in a followup article) and use them to construct pure free resolutions for quadric hypersurface rings which are completely analogous to the construction given by Eisenbud, Fløystad, and Weyman in the case of polynomial rings.
Completing the solution of the directed Oberwolfach problem with two tables
Published
• View Publication
• BIB
We address the last outstanding case of the directed Oberwolfach problem with two tables of different lengths. Specifically, we show that the complete symmetric directed graph $K^*_n$ admits a decomposition into spanning subdigraphs comprised of two vertex-disjoint directed cycles of length $t_1$ and $t_2$, respectively, where $t_1\in \{4,6\}$, $t_2$ is even, and $t_1+t_2\geqslant 14$. In conjunction with recent results of Kadri and Šajna, this gives a complete solution to the directed Oberwolfach problem with two tables of different lengths.
Eternally surrounding a robber
Published
• View Publication
• BIB
We introduce the bodyguard problem for graphs. This is a variation of Surrounding Cops and Robber but, in this model, a smallest possible group of bodyguards must surround the president and then maintain this protection indefinitely. We investigate some elementary bounds, then solve this problem for the infinite graph families of complete graphs, wheels, trees, cycles, complete multipartite graphs, and two-dimensional grids. We also examine the problem in more general Cartesian, strong, and lexicographic products.
Some results related to the slide decomposition of Schubert polynomials
The expansion of a Schubert polynomial into slide polynomials corresponds to a sum over sub-balls in the subword complex. There has been recent interest in other, coarser, expansions of Schubert polynomials. We extend the methods used in [KM04] to prove that the subword complex is a ball or a sphere to a more general method, and use it to prove that the expansion of a Schubert polynomial into forest polynomials also corresponds to a sum over sub-balls in the subword complex.
When expanding the product $\mathfrak{S}_π\mathfrak{S}_ρ$ of two Schubert polynomials into Schubert polynomials $\mathfrak{S}_σ$, there is a bijection between shuffles of reduced words for $π$ and $ρ$ and reduced words for $σ$ (counted with multiplicity). We give such a bijection for Monk's rule and Sottile's Pieri rule.
We give tableau-based definitions of slide polynomials, glide polynomials, and fundamental quasisymmetric polynomials and show that the expansion of a Schur polynomial into fundamental quasisymmetric polynomials corresponds to a sum over sub-balls in the tableau complex.
The Schubert polynomials are the cohomology classes of matrix Schubert varieties, but there is no geometric explanation of the slide polynomials. We show that the slide polynomials are not (antidiagonal) Gröbner degenerations of matrix Schubert varieties, answering in the negative a question of [ST21, Section 1.4].
On Perles' configuration
Published
• View Publication
• BIB
In the 60s, Micha Perles constructed a point-line arrangement in the plane on nine points, which can not be realized only by points with rational coordinates. Grünbaum conjectured that Perles' construction is the smallest: any geometric arrangement on eight or fewer points if it is realizable with real coordinates in the plane, it is also realizable with rational coordinates. In this paper, we prove the conjecture.
On conflict-free colorings of cyclic polytopes and the girth conjecture for graphs
We study the conflict-free chromatic number of hypergraphs derived from the family of facets of $d$-dimensional cyclic polytopes with $n$ vertices. While in odd dimensions $d$ the problem is easy, for even dimensions the problem becomes very difficult and exhibits interesting connections to extremal graph theory. We provide sharp asymptotic bounds for the conflict-free chromatic number in several small even dimensions and non-trivial upper and lower bounds for general even dimensions. The main purpose of this paper is revealing a surprising relation between conflict-free colorings and the celebrated Erdős girth conjecture, opening new avenues for future research.
On (joint) equidistributions of mesh patterns 123 and 132 with symmetric shadings
Published
• View Publication
• BIB
A notable problem within permutation patterns that has attracted considerable attention in literature since 1973 is the search for a bijective proof demonstrating that 123-avoiding and 132-avoiding permutations are equinumerous, both counted by the Catalan numbers. Despite this equivalence, the distributions of occurrences of the patterns 123 and 132 are distinct. When considering 123 and 132 as mesh patterns and selectively shading boxes, similar scenarios arise, even when avoidance is defined by the Bell numbers or other sequences, rather than the Catalan numbers.
However, computer experiments suggest that mesh patterns 123 and 132 may indeed be equidistributed. Furthermore, by considering symmetric shadings relative to the anti-diagonal, a maximum of 93 such equidistributed pairs can potentially exist. This paper establishes 75 such equidistributions, leaving the justification of the remaining cases as open problems. As a by-product, we also prove 36 relevant non-symmetric equidistributions. All our proofs are bijective and involve swapping occurrences of the patterns in question, thereby demonstrating their joint equidistribution. Our findings are a continuation of the systematic study of distributions of short-length mesh patterns initiated by Kitaev and Zhang in 2019.
Bounds on the number of cells and the dimension of the Dressian
The {\em Dressian} of a matroid $M$ is the set of all valuations of $M$. This Dressian is the support of a polyhedral complex $\mathcal{Dr}(M)$ whose open cells correspond 1-1 with matroid subdivisions of the matroid polytope of $M$. We present upper bounds on the number of cells and the dimension of $\mathcal{Dr}(M)$. For matroids $M$ of rank $r\geq 3$ on $n$ elements we show that $$ \ln\#\mathcal{Dr}(M)\leq {\binom{n}{r}} O\left(\frac{\ln(n)^2}{n}\right)\text{ as }n\rightarrow\infty,\qquad\text{and}\qquad\dim \mathcal{Dr}(M)\leq {\binom{n}{r}}\frac{3}{n-r+3},$$ as well as some more detailed bounds that incorporate structural properties of such $M$. For uniform matroids $M=U(r,n)$, these upper bounds are comparable to lower bounds derived from valuations that are constructed from sparse paving matroids.
Asymptotic formulas for the coefficients of the truncated theta series
Published
• View Publication
• BIB
Motivated by the groundbreaking work of Andrews and Merca, truncated theta series have been extensively studied over the years. In particular, Merca made conjectures on the non-negativity of the coefficient of $q^N$ in truncated series from the Jacobi triple product identity and the quintuple product identity. In this paper, using Wright's Circle Method, we establish asymptotic formulas for the coefficients of truncated theta series and prove that Merca's conjectures are true for sufficiently large $N$.
A combinatorial proof of Cramer's Rule
In 1750, Gabriel Cramer famously stated, without proof, his eponymous rule for solving a system of linear equations with as many equations as unknowns. We give a purely combinatorial, and purely self-contained, proof of this old chestnut, still useful after all these years.
Counting Perfect Matchings In Dirac Hypergraphs
Published
• View Publication
• BIB
One of the foundational theorems of extremal graph theory is Dirac's theorem, which says that if an n-vertex graph G has minimum degree at least n/2, then G has a Hamilton cycle, and therefore a perfect matching (if n is even). Later work by Sárkozy, Selkow and Szemerédi showed that in fact Dirac graphs have many Hamilton cycles and perfect matchings, culminating in a result of Cuckler and Kahn that gives a precise description of the numbers of Hamilton cycles and perfect matchings in a Dirac graph G (in terms of an entropy-like parameter of G).
In this paper we extend Cuckler and Kahn's result to perfect matchings in hypergraphs. For positive integers d < k, and for n divisible by k, let $m_{d}(k,n)$ be the minimum d-degree that ensures the existence of a perfect matching in an n-vertex k-uniform hypergraph. In general, it is an open question to determine (even asymptotically) the values of $m_{d}(k,n)$, but we are nonetheless able to prove an analogue of the Cuckler-Kahn theorem, showing that if an n-vertex k-uniform hypergraph G has minimum d-degree at least $(1+γ)m_{d}(k,n)$ (for any constant $γ>0$), then the number of perfect matchings in G is controlled by an entropy-like parameter of G. This strengthens cruder estimates arising from work of Kang-Kelly-Kühn-Osthus-Pfenninger and Pham-Sah-Sawhney-Simkin.
Analyzing Subuniverse Counts in Finite Semilattices: Unveiling the Rankings and Descriptions
Let $(L,\vee)$ be a finite n-element semilattice where $n\geq 5$. We prove that the fourth largest number of subuniverses of an $n$-element semilattice is $25\cdot 2^{n-5}$, the fifth largest number is $ 24.5\cdot 2^{n-5}$, and the sixth one is $ 24\cdot 2^{n-5}$. Also, we describe the $n$-element semilattices with exactly $25\cdot 2^{n-5}$, $ 24.5\cdot 2^{n-5}$ or $ 24\cdot 2^{n-5}$ subuniverses.
Measurable Regular Subgraphs
We show that every $d$-regular bipartite Borel graph admits a Baire measurable $k$-regular spanning subgraph if and only if $d$ is odd or $k$ is even. This gives the first example of a locally checkable coloring problem which is known to have a Baire measurable solution on Borel graphs but not a computable solution on highly computable graphs. We also prove the analogous result in the measure setting for hyperfinite graphs.
Proper edge colorings of planar graphs with rainbow $C_4$-s
Published in J. Graph Theory 107 (2024), no. 4, 833--846
• View Publication
• BIB
We call a proper edge coloring of a graph $G$ a B-coloring if every 4-cycle of $G$ is colored with four different colors. Let $q_B(G)$ denote the smallest number of colors needed for a B-coloring of $G$. Motivated by earlier papers on B-colorings, here we consider $q_B(G)$ for planar and outerplanar graphs in terms of the maximum degree $Δ= Δ(G)$. We prove that $q_B(G)\le 2Δ+8$ for planar graphs, $q_B(G)\le 2Δ$ for bipartite planar graphs and $q_B(G)\le Δ+1$ for outerplanar graphs with $Δ\ge 4$. We conjecture that, for $Δ$ sufficiently large, $q_B(G)\le 2Δ(G)$ for planar $G$ and $q_B(G)\le Δ(G)$ for outerplanar $G$.
B-colorings of planar and outerplanar graphs
A coloring of the edges of a graph $G$ in which every $K_{1,2}$ is totally multicolored is known as a proper coloring and a coloring of the edges of $G$ in which every $K_{1,2}$ and every $K_{2,2}$ is totally multicolored is called a B-coloring.
In this paper, we establish that a planar graph with maximum degree $Δ$ can be B-colored with $\max\{2Δ,32\}$ colors. This is best-possible for large $Δ$ because $K_{2,Δ}$ requires $2Δ$ colors. In addition, there is an example with $Δ=4$ that requires $12$ colors.
We also establish that an outerplanar graph with maximum degree $Δ$ can be B-colored with $\max\{Δ,6\}$ colors. This is almost best-possible because $Δ$ colors are necessary and there is an example with $Δ=4$ that requires $5$ colors.