Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A Shuffling Theorem for Reflectively Symmetric Tilings
Published
• View Publication
• BIB
In arXiv:1905.08311, the author and Rohatgi proved a shuffling theorem for doubly-dented hexagons. In particular, we showed that shuffling removed unit triangles along a horizontal axis in a hexagon only changes the tiling number by a simple multiplicative factor. In this paper, we consider a similar phenomenon for a symmetry class of tilings, the reflectively symmetric tilings, of the doubly-dented hexagons. We also prove several shuffling theorems for halved hexagons. These theorems generalize a number of known results in the enumeration of halved hexagons.
Teichmüller curves in genus two: Square-tiled surfaces and modular curves
Published in Geom. Topol. 28 (2024) 3973-4056
• View Publication
• BIB
This work is a contribution to the classification of Teichmüller curves in the moduli space $\M_2$ of Riemann surfaces of genus 2. While the classification of primitive Teichmüller curves in $\M_2$ is complete, the classification of the imprimitive curves, which is related to branched torus covers and square-tiled surfaces, remains open.
Conjecturally, the classification is completed as follows. Let $W_{d^2}[n] \subset \M_2$ be the 1-dimensional subvariety consisting of those $X \in \M_2$ that admit a primitive degree $d$ holomorphic map $π: X \to E$ to an elliptic curve $E$, branched over torsion points of order $n$. It is known that every imprimitive Teichmüller curve in $\M_2$ is a component of some $W_{d^2}[n]$. The {\em parity conjecture} states that (with minor exceptions) $W_{d^2}[n]$ has two components when $n$ is odd, and one when $n$ is even. In particular, the number of components of $W_{d^2}[n]$ does not depend on $d$.
In this work we establish the parity conjecture in the following three cases: (1) for all $n$ when $d=2,3,4,5$; (2) when $d$ and $n$ are prime and $n > (d^3-d)/4$; and (3) when $d$ is prime and $n > C_d$, where $C_d$ is an implicit constant that depends on $d$.
In the course of the proof we will see that the modular curve $X(d) = \overline{\Hyp \big/ Γ(d)}$ is itself a square-tiled surface equipped with a natural action of $\SLZ$. The parity conjecture is equivalent to the classification of the finite orbits of this action. It is also closely related to the following {\em illumination conjecture}: light sources at the cusps of the modular curve illuminate all of $X(d)$, except possibly some vertices of the square-tiling. Our results show that the illumination conjecture is true for $d \le 5$.
Ramanujan's theorem and highest abundant numbers
Published in Arnold Mathematical Journal; Vol 6:1 (2020); 119-130
• View Publication
• BIB
In 1915, Ramanujan proved asymptotic inequalities for the sum of divisors function, assuming the Riemann hypothesis (RH). We consider a strong version of Ramanujan's theorem and define highest abundant numbers that are extreme with respect to the Ramanujan and Robin inequalities. Properties of these numbers are very different depending on whether the RH is true or false.
Separable elements in Weyl groups
Published in Adv. Appl. Math., Volume 113, 2020
• View Publication
• BIB
We define the notion of a separable element in a finite Weyl group, generalizing the well-studied class of separable permutations. We prove that the upper and lower order ideals in weak Bruhat order generated by a separable element are rank-symmetric and rank-unimodal, and that the product of their rank generating functions gives that of the whole group, answering an open problem of Fan Wei. We also prove that separable elements are characterized by pattern avoidance in the sense of Billey and Postnikov.
On characterizing the critical graphs for matching Ramsey numbers
Published
• View Publication
• BIB
Given simple graphs $H_{1},H_{2},\ldots,H_{c}$, the Ramsey number $r(H_{1},H_{2},\ldots,H_{c})$ is the smallest positive integer $n$ such that every edge-colored $K_{n}$ with $c$ colors contains a subgraph in color $i$ isomorphic to $H_{i}$ for some $i\in\{1,2,\ldots,c\}$. The critical graphs for $r(H_1,H_2,\ldots,H_c)$ are edge-colored complete graphs on $r(H_1,H_2,\ldots,H_c)-1$ vertices with $c$ colors which contain no subgraphs in color $i$ isomorphic to $H_{i}$ for any $i\in \{1,2,\ldots,c\}$. For $n_1\geq n_2\geq \ldots\geq n_c\geq 1$, Cockayne and Lorimer (The Ramsey number for stripes, {\it J.\ Austral.\ Math.\ Soc.} \textbf{19} (1975), 252--256.) showed that $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})=n_{1}+1+ \sum\limits_{i=1}^c(n_{i}-1)$, in which $n_{i}K_{2}$ is a matching of size $n_{i}$. Using the Gallai-Edmonds Theorem, we characterized all the critical graphs for $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})$, implying a new proof for this Ramsey number.
Four-term progression free sets with three-term progressions in all large subsets
Published
• View Publication
• BIB
This paper is mainly concerned with sets which do not contain four-term arithmetic progressions, but are still very rich in three term arithmetic progressions, in the sense that all sufficiently large subsets contain at least one such progression. We prove that there exists a positive constant $c$ and a set $A \subset \mathbb F_q^n$ which does not contain a four-term arithmetic progression, with the property that for every subset $A' \subset A$ with $|A'| \geq |A|^{1-c}$, $A'$ contains a nontrivial three term arithmetic progression. We derive this from a more general quantitative Roth-type theorem in random subsets of $\mathbb{F}_{q}^{n}$, which improves a result of Kohayakawa-Luczak-Rödl/Tao-Vu. We also discuss a similar phenomenon over the integers, where we show that for all $ε>0$, and all sufficiently large $N \in \mathbb N$, there exists a four-term progression-free set $A$ of size $N$ with the property that for every subset $A' \subset A$ with $|A'| \gg \frac{1}{(\log N)^{1-ε}} \cdot N$ contains a nontrivial three term arithmetic progression. Finally, we include another application of our methods, showing that for sets in $\mathbb{F}_{q}^{n}$ or $\mathbb{Z}$ the property of "having nontrivial three-term progressions in all large subsets" is almost entirely uncorrelated with the property of "having large additive energy".
Generalized constructions of Menon-Hadamard difference sets
Published
• View Publication
• BIB
We revisit the problem of constructing Menon-Hadamard difference sets. In 1997, Wilson and Xiang gave a general framework for constructing Menon-Hadamard difference sets by using a combination of a spread and four projective sets of type Q in ${\mathrm{PG}}(3,q)$. They also found examples of suitable spreads and projective sets of type Q for $q=5,13,17$. Subsequently, Chen (1997) succeeded in finding a spread and four projective sets of type Q in ${\mathrm{PG}}(3,q)$ satisfying the conditions in the Wilson-Xiang construction for all odd prime powers $q$. Thus, he showed that there exists a Menon-Hadamard difference set of order $4q^4$ for all odd prime powers $q$. However, the projective sets of type Q found by Chen have automorphisms different from those of the examples constructed by Wilson and Xiang. In this paper, we first generalize Chen's construction of projective sets of type Q by using `semi-primitive' cyclotomic classes. This demonstrates that the construction of projective sets of type Q satisfying the conditions in the Wilson-Xiang construction is much more flexible than originally thought. Secondly, we give a new construction of spreads and projective sets of type Q in ${\mathrm{PG}}(3,q)$ for all odd prime powers $q$, which generalizes the examples found by Wilson and Xiang. This solves a problem left open in Section 5 of the Wilson-Xiang paper from 1997.
Difference families, skew Hadamard matrices, and Critical groups of doubly regular tournaments
Published
• View Publication
• BIB
In this paper we investigate the structure of the critical groups of doubly regular tournaments (DRTs) associated with skew Hadamard difference families (SDFs) with one, two, or four blocks. Brown and Reid found the existence of a skew Hadamard matrix of order $n+1$ to be equivalent to the existence of a DRT on $n$ vertices. A well known construction of a skew Hadamard matrix order $n$ is by constructing skew Hadamard difference sets in abelian groups of order $n-1$. The Paley skew Hadamard matrix is an example of one such construction. Szekeres and Whiteman constructed skew Hadamard matrices from skew Hadamard difference families with two blocks. Wallis and Whiteman constructed skew Hadamard matrices from skew Hadamard difference families with four blocks. In this paper we consider the critical groups of DRTs associated with skew Hadamard matrices constructed from skew Hadamard difference families with one, two or four blocks. We compute the critical groups of DRTs associated with skew Hadamard difference families with two or four blocks. We also compute the critical group of the Paley tournament and show that this tournament is inequivalent to the other DRTs we considered. Consequently we prove that the associated skew Hadamard matrices are not equivalent.
An Optimal Monotone Contention Resolution Scheme for Bipartite Matchings via a Polyhedral Viewpoint
Published
• View Publication
• BIB
Relaxation and rounding approaches became a standard and extremely versatile tool for constrained submodular function maximization. One of the most common rounding techniques in this context are contention resolution schemes. Such schemes round a fractional point by first rounding each coordinate independently, and then dropping some elements to reach a feasible set. Also the second step, where elements are dropped, is typically randomized. This leads to an additional source of randomization within the procedure, which can complicate the analysis. We suggest a different, polyhedral viewpoint to design contention resolution schemes, which avoids to deal explicitly with the randomization in the second step. This is achieved by focusing on the marginals of a dropping procedure. Apart from avoiding one source of randomization, our viewpoint allows for employing polyhedral techniques. Both can significantly simplify the construction and analysis of contention resolution schemes. We show how, through our framework, one can obtain an optimal monotone contention resolution scheme for bipartite matchings. So far, only very few results are known about optimality of monotone contention resolution schemes. Our contention resolution scheme for the bipartite case also improves the lower bound on the correlation gap for bipartite matchings. Furthermore, we derive a monotone contention resolution scheme for matchings that significantly improves over the previously best one. At the same time, our scheme implies that the currently best lower bound on the correlation gap for matchings is not tight. Our results lead to improved approximation factors for various constrained submodular function maximization problems over a combination of matching constraints with further constraints.
Complete Acyclic Colorings
Published
• View Publication
• BIB
We study two parameters that arise from the dichromatic number and the vertex-arboricity in the same way that the achromatic number comes from the chromatic number. The adichromatic number of a digraph is the largest number of colors its vertices can be colored with such that every color induces an acyclic subdigraph but merging any two colors yields a monochromatic directed cycle. Similarly, the a-vertex arboricity of an undirected graph is the largest number of colors that can be used such that every color induces a forest but merging any two yields a monochromatic cycle. We study the relation between these parameters and their behavior with respect to other classical parameters such as degeneracy and most importantly feedback vertex sets.
Computing Bounds on Product-Graph Pebbling Numbers
Published
• View Publication
• BIB
Given a distribution of pebbles to the vertices of a graph, a pebbling move removes two pebbles from a single vertex and places a single pebble on an adjacent vertex. The pebbling number $π(G)$ is the smallest number such that, for any distribution of $π(G)$ pebbles to the vertices of $G$ and choice of root vertex $r$ of $G$, there exists a sequence of pebbling moves that places a pebble on $r$. Computing $π(G)$ is provably difficult, and recent methods for bounding $π(G)$ have proved computationally intractable, even for moderately sized graphs. Graham conjectured that $π(G ~\square~ H) \leq π(G) π(H)$, where $G ~\square~ H$ is the Cartesian product of $G$ and $H$ (1989). While the conjecture has been verified for specific families of graphs, in general it remains open. This study combines the focus of developing a computationally tractable, IP-based method for generating good bounds on $π(G ~\square~ H)$, with the goal of shedding light on Graham's conjecture.We provide computational results for a variety of Cartesian-product graphs, including some that are known to satisfy Graham's conjecture and some that are not. Our approach leads to a sizable improvement on the best known bound for $π(L ~\square~ L)$, where $L$ is the Lemke graph, and $L ~\square~ L$ is among the smallest known potential counterexamples to Graham's conjecture.
A Generalization of the Gram determinant of type A
Published in Topology and its Applications Volume 295, 15 May 2021, 107663
• View Publication
• BIB
The Gram determinant of type $A$ was introduced by Lickorish in his work on invariants of 3 - manifolds. We generalize the theory of the Gram determinant of type $A$ by evaluating, in the annulus, a bilinear form of non-intersecting connections in the disc. The main result provides a closed formula for this Gram determinant. We conclude the paper by discussing Chen's conjecture about the Gram determinant of type $Mb$ evaluated in the Klein bottle.
Remarks on the recurrence and transience of non-backtracking random walks
Published
• View Publication
• BIB
A short proof of the equivalence of the recurrence of non-backtracking random walk and that of simple random walk on regular infinite graphs is given. It is then shown how this proof can be extended in certain cases where the graph in question is not regular.
Variations on the Petersen colouring conjecture
Published in The Electronic Journal of Combinatorics, 27(1), P1.8, 2020
• View Publication
• BIB
The Petersen colouring conjecture states that every bridgeless cubic graph admits an edge-colouring with $5$ colours such that for every edge $e$, the set of colours assigned to the edges adjacent to $e$ has cardinality either $2$ or $4$, but not $3$. We prove that every bridgeless cubic graph $G$ admits an edge-colouring with $4$ colours such that at most $\frac45\cdot|V(G)|$ edges do not satisfy the above condition. This bound is tight and the Petersen graph is the only connected graph for which the bound cannot be decreased. We obtain such a $4$-edge-colouring by using a carefully chosen subset of edges of a perfect matching, and the analysis relies on a simple discharging procedure with essentially no reductions and very few rules.
Magic Three-Qubit Veldkamp Line and Veldkamp Space of the Doily
Published in Symmetry 12 (2020) 963
• View Publication
• BIB
A magic three-qubit Veldkamp line of $W(5,2)$, i.\,e. the line comprising a hyperbolic quadric $\mathcal{Q}^+(5,2)$, an elliptic quadric $\mathcal{Q}^-(5,2)$ and a quadratic cone $\widehat{\mathcal{Q}}(4,2)$ that share a parabolic quadric $\mathcal{Q}(4,2)$, the doily, is shown to provide an interesting model for the Veldkamp space of the latter. The model is based on the facts that: a) the 20 off-doily points of $\mathcal{Q}^+(5,2)$ form ten complementary pairs, each corresponding to a unique grid of the doily; b) the 12 off-doily points of $\mathcal{Q}^-(5,2)$ form six complementary pairs, each corresponding to a unique ovoid of the doily; and c) the 15 off-doily points of $\widehat{\mathcal{Q}}(4,2)$ -- disregarding the nucleus of $\mathcal{Q}(4,2)$ -- are in bijection with the 15 perp-sets of the doily. These findings lead to a conjecture that also parapolar spaces can be relevant for quantum information.
The extremal number of longer subdivisions
Published in Bull. London Math. Soc. 53 (2021), 108-118
• View Publication
• BIB
For a multigraph $F$, the $k$-subdivision of $F$ is the graph obtained by replacing the edges of $F$ with pairwise internally vertex-disjoint paths of length $k+1$. Conlon and Lee conjectured that if $k$ is even, then the $(k-1)$-subdivision of any multigraph has extremal number $O(n^{1+\frac{1}{k}})$, and moreover, that for any simple graph $F$ there exists $\varepsilon>0$ such that the $(k-1)$-subdivision of $F$ has extremal number $O(n^{1+\frac{1}{k}-\varepsilon})$. In this paper, we prove both conjectures.
More on the properties of the generalized majorization
In this paper, we give corrected and improved definitions of the sets $S$ and $Δ$ compared to [1]. By using these new definitions, we go throughout the proof of the main result in [1], and we correct it.
Covering Radius of Permutation Groups with Infinity-Norm
Published
• View Publication
• BIB
The covering radius of permutation group codes are studied in this paper with $l_{\infty}$-metric. We determine the covering radius of the $(p,q)$-type group, which is a direct product of two cyclic transitive groups. We also deduce the maximum covering radius among all the relabelings of this group under conjugation, that is, permutation groups with the same algebraic structure but with relabelled members. Finally, we give a lower bound of the covering radius of the dihedral group code, which differs from the trivial upper bound by a constant at most one. This improves the result of Karni and Schwartz in 2018, where the gap between their lower and upper bounds tends to infinity as the code length grows.
Sharp results concerning disjoint cross-intersecting families
Published
• View Publication
• BIB
For an $n$-element set $X$ let $\binom{X}{k}$ be the collection of all its $k$-subsets. Two families of sets $\mathcal A$ and $\mathcal B$ are called cross-intersecting if $A\cap B \neq \emptyset$ holds for all $A\in\mathcal A$, $B\in\mathcal B$. Let $f(n,k)$ denote the maximum of $\min\{|\mathcal A|, |\mathcal B|\}$ where the maximum is taken over all pairs of {\em disjoint}, cross-intersecting families $\mathcal A, \mathcal B\subset\binom{[n]}{k}$. Let $c=\log_2e$. We prove that $f(n,k)=\left\lfloor\frac12\binom{n-1}{k-1}\right\rfloor$ essentially iff $n>ck^2$ (cf. Theorem~1.4 for the exact statement). Let $f^*(n,k)$ denote the same maximum under the additional restriction that the intersection of all members of both $\mathcal A$ and $\mathcal B$ are empty. For $k\ge5$ and $n\ge k^3$ we show that $f^*(n,k)=\left\lfloor\frac12\left(\binom{n-1}{k-1}-\binom{n-2k}{k-1}\right)\right\rfloor+1$ and the restriction on $n$ is essentially sharp (cf. Theorem~5.4).
Incongruent equipartitions of the plane
R. Nandakumar asked whether there is a tiling of the plane by pairwise incongruent triangles of equal area and equal perimeter. Recently a negative answer was given by Kupavskii, Pach and Tardos. Still one may ask for weaker versions of the problem, or for the analogue of this problem for quadrangles, pentagons, or hexagons. Several answers were given by the first author in a previous paper. Here we solve three further cases. In particular, our main result shows that there are vertex-to-vertex tilings by pairwise incongruent triangles of unit area and bounded perimeter.