Showing 20 papers (Total: 82851 papers, 47869 authors in database)
An asymptotic version of the prime power conjecture for perfect difference sets
Published in Math. Ann. 380 (2021), no. 3-4, 1387-1425
• View Publication
• BIB
We show that the number of positive integers $n\leq N$ such that $\mathbb{Z}/(n^2+n+1)\mathbb{Z}$ contains a perfect difference set is asymptotically $N/\log{N}$.
Flagged Schur polynomial duality via a lattice path bijection
Published in Electronic Journal of Combinatorics 30(1) (2023) P1.5
• View Publication
• BIB
This paper proves an identity between flagged Schur polynomials, giving a duality between row flags and column flags. This identity generalises both the binomial determinant duality theorem due to Gessel and Viennot and the symmetric function duality theorem due to Aitken. As corollaries we obtain the lifts of the binomial determinant duality theorem to $q$-binomial coefficients and to symmetric polynomials. Our method is a path counting argument on a novel lattice generalising that used by Gessel and Viennot.
Hat Guessing Numbers of Degenerate Graphs
Published
• View Publication
• BIB
Recently, Farnik asked whether the hat guessing number $\text{HG}(G)$ of a graph $G$ could be bounded as a function of its degeneracy $d$, and Bosek, Dudek, Farnik, Grytczuk and Mazur showed that $\text{HG}(G)\ge 2^d$ is possible. We show that for all $d\ge 1$ there exists a $d$-degenerate graph $G$ for which $\text{HG}(G) \ge 2^{2^{d-1}}$. We also give a new general method for obtaining upper bounds on $\text{HG}(G)$. The question of whether $\text{HG}(G)$ is bounded as a function of $d$ remains open.
Groups of automorphisms of Riemann surfaces and maps of genus $p+1$ where $p$ is prime
Published
• View Publication
• BIB
We classify compact Riemann surfaces of genus $g$, where $g-1$ is a prime $p$, which have a group of automorphisms of order $ρ(g-1)$ for some integer $ρ\ge 1$, and determine isogeny decompositions of the corresponding Jacobian varieties. This extends results of Belolipetzky and the second author for $ρ>6$, and of the first and third authors for $ρ=3, 4, 5$ and $6$. As a corollary we classify the orientably regular hypermaps (including maps) of genus $p+1$, together with the non-orientable regular hypermaps of characteristic $-p$, with automorphism group of order divisible by the prime $p$; this extends results of Conder, \v Sirá\v n and Tucker for maps.
Minimum Wiener Index of Triangulations and Quadrangulations
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of the distances between all unordered pairs of vertices. We provide formulae for the minimum Wiener index of simple triangulations and quadrangulations with connectivity at least $c$, and provide the extremal structures, which attain those values. Our main tool is setting upper bounds for the maximum degree in highly connected triangulations and quadrangulations.
Chain Decompositions of $q,t$-Catalan Numbers via Local Chains
Published
• View Publication
• BIB
The $q,t$-Catalan number $\mathrm{Cat}_n(q,t)$ enumerates integer partitions contained in an $n\times n$ triangle by their dinv and external area statistics. The paper [LLL18 (Lee, Li, Loehr, SIAM J. Discrete Math. 32(2018))] proposed a new approach to understanding the symmetry property $\mathrm{Cat}_n(q,t)=\mathrm{Cat}_n(t,q)$ based on decomposing the set of all integer partitions into infinite chains. Each such global chain $\mathcal{C}_μ$ has an opposite chain $\mathcal{C}_{μ^*}$; these combine to give a new small slice of $\mathrm{Cat}_n(q,t)$ that is symmetric in $q$ and $t$. Here we advance the agenda of [LLL18] by developing a new general method for building the global chains $\mathcal{C}_μ$ from smaller elements called local chains. We define a local opposite property for local chains that implies the needed opposite property of the global chains. This local property is much easier to verify in specific cases compared to the corresponding global property. We apply this machinery to construct all global chains for partitions with deficit at most $11$. This proves that for all $n$, the terms in $\mathrm{Cat}_n(q,t)$ of degree at least $\binom{n}{2}-11$ are symmetric in $q$ and $t$.
Positive configuration space
Published
• View Publication
• BIB
We define and study the totally nonnegative part of the Chow quotient of the Grassmannian, or more simply the nonnegative configuration space. This space has a natural stratification by positive Chow cells, and we show that nonnegative configuration space is homeomorphic to a polytope as a stratified space. We establish bijections between positive Chow cells and the following sets: (a) regular subdivisions of the hypersimplex into positroid polytopes, (b) the set of cones in the positive tropical Grassmannian, and (c) the set of cones in the positive Dressian. Our work is motivated by connections to super Yang-Mills scattering amplitudes, which will be discussed in a sequel.
Determinantal formulas for dual Grothendieck polynomials
Published
• View Publication
• BIB
We prove Jacobi-Trudi-type determinantal formulas for skew dual Grothendieck polynomials which are $K$-theoretic deformations of Schur polynomials. We also prove a bialternant-type formula analogous to the classical definition of Schur polynomials.
A new representation of mutually orthogonal frequency squares
Mutually orthogonal frequency squares (MOFS) of type $F(mλ;λ)$ generalize the structure of mutually orthogonal Latin squares: rather than each of $m$ symbols appearing exactly once in each row and in each column of each square, the repetition number is $λ\ge 1$. A classical upper bound for the number of such MOFS is $\frac{(mλ-1)^2}{m-1}$. We introduce a new representation of MOFS of type $F(mλ;λ)$, as a linear combination of $\{0,1\}$ arrays. We use this representation to give an elementary proof of the classical upper bound, together with a structural constraint on a set of MOFS achieving the upper bound. We then use this representation to establish a maximality criterion for a set of MOFS of type $F(mλ;λ)$ when $m$ is even and $λ$ is odd, which simplifies and extends a previous analysis [T. Britz, N.J. Cavenagh, A. Mammoliti, I.M. Wanless, Mutually orthogonal binary frequency squares, Electron. J. Combin., 27(#P3.7), 2020, 26 pages] of the case when $m=2$ and $λ$ is odd.
Complexity of tree-coloring interval graphs equitably
Published
• View Publication
• BIB
An equitable tree-$k$-coloring of a graph is a vertex $k$-coloring such that each color class induces a forest and the size of any two color classes differ by at most one. In this work, we show that every interval graph $G$ has an equitable tree-$k$-coloring for any integer $k\geq \lceil(Δ(G)+1)/2\rceil$, solving a conjecture of Wu, Zhang and Li (2013) for interval graphs, and furthermore, give a linear-time algorithm for determining whether a proper interval graph admits an equitable tree-$k$-coloring for a given integer $k$. For disjoint union of split graphs, or $K_{1,r}$-free interval graphs with $r\geq 4$, we prove that it is $W[1]$-hard to decide whether there is an equitable tree-$k$-coloring when parameterized by number of colors, or by treewidth, number of colors and maximum degree, respectively.
Rooted Minors and Locally Spanning Subgraphs
Results on the existence of various types of spanning subgraphs of graphs are milestones in structural graph theory and have been diversified in several directions. In the present paper, we consider "local" versions of such statements. In 1966, for instance, D. W. Barnette proved that a $3$-connected planar graph contains a spanning tree of maximum degree at most $3$. A local translation of this statement is that if $G$ is a planar graph, $X$ is a subset of specified vertices of $G$ such that $X$ cannot be separated in $G$ by removing $2$ or fewer vertices of $G$, then $G$ has a tree of maximum degree at most $3$ containing all vertices of $X$.
Our results constitute a general machinery for strengthening statements about $k$-connected graphs (for $1 \leq k \leq 4$) to locally spanning versions, i.e. subgraphs containing a set $X\subseteq V(G)$ of a (not necessarily planar) graph $G$ in which only $X$ has high connectedness. Given a graph $G$ and $X\subseteq V(G)$, we say $M$ is a minor of $G$ rooted at $X$, if $M$ is a minor of $G$ such that each bag of $M$ contains at most one vertex of $X$ and $X$ is a subset of the union of all bags. We show that $G$ has a highly connected minor rooted at $X$ if $X\subseteq V(G)$ cannot be separated in $G$ by removing a few vertices of $G$.
Combining these investigations and the theory of Tutte paths in the planar case yields to locally spanning versions of six well-known results about degree-bounded trees, hamiltonian paths and cycles, and $2$-connected subgraphs of graphs.
Generalized chessboard complexes and discrete Morse theory
Chessboard complexes and their generalizations, as objects, and Discrete Morse theory, as a tool, are presented as a unifying theme linking different areas of geometry, topology, algebra and combinatorics. Edmonds and Fulkerson bottleneck (minmax) theorem is proved and interpreted as a result about a critical point of a discrete Morse function on the Bier sphere of an associated simplicial complex $K$. We illustrate the use of "standard discrete Morse functions" on generalized chessboard complexes by proving a connectivity result for chessboard complexes with multiplicities. Applications include new Tverberg-Van Kampen-Flores type results for $j$-wise disjoint partitions of a simplex.
Towards a Computational Proof of Vizing's Conjecture using Semidefinite Programming and Sums-of-Squares
Published
• View Publication
• BIB
Vizing's conjecture (open since 1968) relates the product of the domination numbers of two graphs to the domination number of their Cartesian product graph. In this paper, we formulate Vizing's conjecture as a Positivstellensatz existence question. In particular, we select classes of graphs according to their number of vertices and their domination number and encode the conjecture as an ideal/polynomial pair such that the polynomial is non-negative on the variety associated with the ideal if and only if the conjecture is true for this graph class. Using semidefinite programming we obtain numeric sum-of-squares certificates, which we then manage to transform into symbolic certificates confirming non-negativity of our polynomials. Specifically, we obtain exact low-degree sparse sum-of-squares certificates for particular classes of graphs.
The obtained certificates allow generalizations for larger graph classes. Besides computational verification of these more general certificates, we also present theoretical proofs as well as conjectures and questions for further investigations.
Edge metric dimensions via hierarchical product and integer linear programming
If $S=\{v_1,\ldots, v_k\}$ is an ordered subset of vertices of a connected graph $G$ and $e$ is an edge of $G$, then the vector $r_G(e|S) = (d_G(v_1,e), \ldots, d_G(v_k,e))$ is the edge metric $S$-representation of $e$. If the vertices of $G$ have pairwise different edge metric $S$-representations, then $S$ is an edge metric generator for $G$. The cardinality of a smallest edge metric generator is the edge metric dimension ${\rm edim}(G)$ of $G$. A general sharp upper bound on the edge metric dimension of hierarchical products $G(U)\sqcap H$ is proved. Exact formula is derived for the case when $|U| = 1$. An integer linear programming model for computing the edge metric dimension is proposed. Several examples are provided which demonstrate how these two methods can be applied to obtain the edge metric dimensions of some applicable graphs.
Algebraic polytopes in Normaliz
Published
• View Publication
• BIB
We describe the implementation of algebraic polyhedra in Normaliz. In addition to convex hull computation/vertex enumeration, it is possible to compute triangulations, volumes, lattice points, face lattices and automorphism groups. The arithmetic is based on the package e-antic by V.~Delecroix.
Packing of maximal independent mixed arborescences
Published
• View Publication
• BIB
Király in [On maximal independent arborescence packing, SIAM J. Discrete. Math. 30 (4) (2016), 2107-2114] solved the following packing problem: Given a digraph $D = (V, A)$, a matroid $M$ on a set $S = \{s_{1}, \ldots,s_{k} \}$ along with a map $π: S \rightarrow V$, find $k$ arc-disjoint maximal arborescences $T_{1}, \ldots ,T_{k}$ with roots $π(s_{1}), \ldots ,π(s_{k})$, such that, for any $v \in V$, the set $\{s_{i} : v \in V(T_{i})\}$ is independent and its rank reaches the theoretical maximum. In this paper, we give a new characterization for packing of maximal independent mixed arborescences under matroid constraints. This new characterization is simplified to the form of finding a supermodular function that should be covered by an orientation of each strong component of a matroid-based rooted mixed graph. Our proofs come along with a polynomial-time algorithm. Note that our new characterization extends Király's result to mixed graphs, this answers a question that has already attracted some attentions.
An analytic approach to cardinalities of sumsets
Published
• View Publication
• BIB
Let $d$ be a positive integer and $U \subset \mathbb{Z}^d$ finite. We study $$β(U) : = \inf_{\substack{A , B \neq \emptyset \\ \text{finite}}} \frac{|A+B+U|}{|A|^{1/2}{|B|^{1/2}}},$$ and other related quantities. We employ tensorization, which is not available for the doubling constant, $|U+U|/|U|$. For instance, we show $$β(U) = |U|,$$ whenever $U$ is a subset of $\{0,1\}^d$. Our methods parallel those used for the Prékopa-Leindler inequality, an integral variant of the Brunn-Minkowski inequality.
The Frobenius postage stamp problem, and beyond
Published
• View Publication
• BIB
Let $A$ be a finite subset of $\mathbb{Z}^n$, which generates $\mathbb{Z}^n$ additively. We provide a precise description of the $N$-fold sumsets $NA$ for $N$ sufficiently large, with some explicit bounds on "sufficiently large."
A Weighted Prékopa-Leindler inequality and sumsets with quasicubes
Published
• View Publication
• BIB
We give a short, self-contained proof of two key results from a paper of four of the authors. The first is a kind of weighted discrete Prékopa-Leindler inequality. This is then applied to show that if $A, B \subseteq \mathbb{Z}^d$ are finite sets and $U$ is a subset of a "quasicube" then $|A + B + U| \geq |A|^{1/2} |B|^{1/2} |U|$. This result is a key ingredient in forthcoming work of the fifth author and Pälvölgyi on the sum-product phenomenon.
The inverse theorem for the nonlinear Roth configuration: an exposition
We give an exposition of the inverse theorem for the cut-norm associated to the nonlinear Roth configuration, established previously by Peluse and the author.