natural ↗ reference
4897 papers tagged with this keyword
Big convex polytopes or rich hyperplanes
For natural numbers $n$ and $l > d \geq 2$, let $ES_d(l,n)$ be the minimum $N$ such that any set of at least $N$ points in $\mathbb{R}^d$ contains either $l$ points contained in a common $(d-1)$-dimensional hyperplane or $n$ points in convex position. In this paper, we give the upper and lower bounds for $ES_d(l,n)$.
Young domination on Hamming rectangles
We introduce a family of domination-type problems in Cartesian products of two graphs. The framework captures several well-studied topics, including variants of bootstrap percolation, line growth, distance domination, and target set selection. We focus on Cartesian products of two complete graphs and formulate the notion of Young domination number in terms of a growth rule determined by a Young diagram; this number is the smallest cardinality of an initial set that covers the entire vertex set in a prescribed number $L$ of iterations of the rule.
We compute the Young domination number with $L=1$ for several natural cases, including $k$-domination for Cartesian products of two complete graphs of the same order, thereby proving a conjecture from 2009 due to Burchett, Lane, and Lachniet. We show that the case of $L=1$ of Young domination is equivalent to computing bipartite Turán numbers for families of double stars, yielding implications of our results in extremal graph theory. For arbitrary fixed $L$, we devise constant-factor approximation algorithms for the problem. Our approach is based on a variety of techniques, including duality between Young diagrams, algebraic formulations, explicit constructions, and dynamic programming.
A note on improved bounds for hypergraph rainbow matching problems
A natural question, inspired by the famous Ryser-Brualdi-Stein Conjecture, is to determine the largest positive integer $g(r,n)$ such that every collection of $n$ matchings, each of size $n$, in an $r$-partite $r$-uniform hypergraph contains a rainbow matching of size $g(r,n)$. The parameter $g'(r,n)$ is defined identically with the exception that the host hypergraph is not required to be $r$-partite.
In this note, we improve the best known lower bounds on $g'(r,n)$ for all $r \geq 4$ and the upper bounds on $g(r,n)$ for all $r \geq 3$, provided $n$ is sufficiently large. More precisely, we show that if $r\ge3$ then $$\frac{2n}{r+1}-Θ_r(1)\le g'(r,n)\le g(r,n)\le n-Θ_r(n^{1-\frac{1}{r}}).$$ Interestingly, while it has been conjectured that $g(2,n)=g'(2,n)=n-1$, our results show that if $r\ge3$ then $g(r,n)$ and $g'(r,n)$ are bounded away from $n$ by a function which grows in $n$.
We also prove analogous bounds for the related problem where we are interested in the smallest size $s$ for which any collection of $n$ matchings of size $s$ in an ($r$-partite) $r$-uniform hypergraph contains a rainbow matching of size $n$.
$q$-analogues of sums of consecutive powers of natural numbers and extended Carlitz $q$-Bernoulli numbers and polynomials
In this paper, we investigate a specific class of $q$-polynomial sequences that serve as a $q$-analogue of the classical Appell sequences. This framework offers an elegant approach to revisiting classical results by Carlitz and, more interestingly, to establishing an important extension of the Carlitz $q$-Bernoulli polynomials and numbers. In addition, we establish explicit series representations for our extended Carlitz $q$-Bernoulli numbers and express them in terms of $q$-Stirling numbers of the second kind. This leads to a novel formula that explicitly connects the Carlitz $q$-Bernoulli numbers with the $q$-Stirling numbers of the second kind.
Congruence properties of Lehmer-Euler numbers
Published
• View Publication
• BIB
Certain generalization of Euler numbers was defined in 1935 by Lehmer using cubic roots of unity, as a natural generalization of Bernoulli and Euler numbers. In this paper, Lehmer's generalized Euler numbers are studied to give certain congruence properties together with recurrence and explicit formulas of the numbers. We also show a new polynomial sequence and its properties. Some identities including Euler and central factorial numbers are obtained.
Density Hajnal--Szemerédi theorem for cliques of size four
The celebrated Corrádi--Hajnal Theorem~\cite{CH63} and the Hajnal--Szemerédi Theorem~\cite{HS70} determined the exact minimum degree thresholds for a graph on $n$ vertices to contain $k$ vertex-disjoint copies of $K_r$, for $r=3$ and general $r \ge 4$, respectively. The edge density version of the Corrádi--Hajnal Theorem was established by Allen--Böttcher--Hladký--Piguet~\cite{ABHP15} for large $n$. Remarkably, they determined the four classes of extremal constructions corresponding to different intervals of $k$. They further proposed the natural problem of establishing a density version of the Hajnal--Szemerédi Theorem: For $r \ge 4$, what is the edge density threshold that guarantees a graph on $n$ vertices contains $k$ vertex-disjoint copies of $K_r$ for $k \le n/r$. They also remarked, ``We are not even sure what the complete family of extremal graphs should be.''
We take the first step toward this problem by determining asymptotically the five classes of extremal constructions for $r=4$. Furthermore, we propose a candidate set comprising $r+1$ classes of extremal constructions for general $r \ge 5$.
Group Invariant Quantum Latin Squares
A quantum Latin square is an $n \times n$ array of unit vectors where each row and column forms an orthonormal basis of a fixed complex vector space. We introduce the notion of $(G,G')$-invariant quantum Latin squares for finite groups $G$ and $G'$. These are quantum Latin squares with rows and columns indexed by $G$ and $G'$ respectively such that the inner product of the $a,b$-entry with the $c,d$-entry depends only on $a^{-1}c \in G$ and $b^{-1}d \in G'$. This definition is motivated by the notion of group invariant bijective correlations introduced in [Roberson \& Schmidt (2020)], and every group invariant quantum Latin square produces a group invariant bijective correlation, though the converse does not hold. In this work we investigate these group invariant quantum Latin squares and their corresponding correlations. Our main result is that, up to applying a global isometry to every vector in a $(G,G')$-invariant quantum Latin square, there is a natural bijection between these objects and trace and conjugate transpose preserving isomorphisms between the group algebras of $G$ and $G'$. This in particular proves that a $(G,G')$-invariant quantum Latin square exists if and only if the multisets of degrees of irreducible representations are equal for $G$ and $G'$. Another motivation for this line of work is that whenever Cayley graphs for groups $G$ and $G'$ are quantum isomorphic, then there is a $(G,G')$-invariant quantum correlation witnessing this, and thus it suffices to consider such correlations when searching for quantum isomorphic Cayley graphs. Given a group invariant quantum correlation, we show how to construct all pairs of graphs for which it gives a quantum isomorphism.
Bijections around Springer numbers
Published
• View Publication
• BIB
Arnol'd proved in 1992 that Springer numbers enumerate the Snakes, which are type $B$ analogs of alternating permutations. Chen, Fan and Jia in 2011 introduced the labeled ballot paths and established a ``hard'' bijection with snakes. Callan conjectured in 2012 and Han--Kitaev--Zhang proved recently that rc-invariant alternating permutations are counted by Springer numbers. Very recently, Chen--Fang--Kitaev--Zhang investigated multi-dimensional permutations and proved that weakly increasing $3$-dimensional permutations are also counted by Springer numbers. In this work, we construct a sequence of ``natural'' bijections linking the above four combinatorial objects.
On the extremal number of incidence graphs
Given a graph $H$ and a natural number $n$, the extremal number $\mathrm{ex}(n, H)$ is the largest number of edges in an $n$-vertex graph containing no copy of $H$. In this paper, we obtain a general upper bound for the extremal number of generalised face-incidence graphs, a family which includes the standard face-incidence graphs of regular polytopes. This builds on and generalises work of Janzer and Sudakov, who obtained the same bound for hypercubes and bipartite Kneser graphs, and allows us to confirm a conjecture of Conlon and Lee on the extremal number of $K_{r,r}$-free bipartite graphs for certain incidence graphs.
In their work, Janzer and Sudakov showed that such an upper bound on the extremal number holds whenever the graph $H$ satisfies a certain percolation property which captures an appropriate sequence of repeated applications of the Cauchy--Schwarz inequality, a property which they then verify for hypercubes and bipartite Kneser graphs. This percolation property bears close resemblance to a property that arose in earlier work of Conlon and Lee on weakly norming graphs. In this latter work, Conlon and Lee developed a method for controlling repeated applications of the Cauchy--Schwarz inequality based on the properties of reflection groups, which then allowed them to isolate a broad family of weakly norming graphs. Here, we develop this method further, casting it in a purely algebraic form that allows us not only to combine it with the Janzer--Sudakov result and obtain the desired result about the extremal number of incidence graphs, but also to simplify the proofs of both the Conlon--Lee result on weakly norming graphs and a related result of Coregliano.
Oriented Matroid Circuit Polytopes
Matroids give rise to several natural constructions of polytopes. Inspired by this, we examine polytopes that arise from the signed circuits of an oriented matroid. We give the dimensions of these polytopes arising from graphical oriented matroids and their duals. Moreover, we consider polytopes constructed from cocircuits of oriented matroids generated by the positive roots in any type A root system. We give an explicit description of their face structure and determine the Ehrhart series. We also study an action of the symmetric group on these polytopes, giving a full description the subpolytopes fixed by each permutation. These type A polytopes are graphic zonotopes, are polar duals of symmetric edge polytopes, and also make an appearance in Stapledon's paper introducing Equivariant Ehrhart Theory.
Conjugation, loop and closure invariants of the iterated-integrals signature
Given a feature set for the shape of a closed loop, it is natural to ask which features in that set do not change when the starting point of the path is moved. For example, in two dimensions, the area enclosed by the path does not depend on the starting point. In the present article, we characterize such loop invariants among all those features known as interated integrals of a given path. Furthermore, we relate these to conjugation invariants, which are a canonical object of study when treating (tree reduced) paths as a group with multiplication given by the concatenation. Finally, closure invariants are a third class in this context which is of particular relevance when studying piecewise linear trajectories, e.g. given by linear interpolation of time series.
Keywords: invariant features; concatenation of paths; combinatorial necklaces; shuffle algebra; free Lie algebra; signed area; signed volume; tree-like equivalence.
High-dimensional permutons: theory and applications
Permutons, which are probability measures on the unit square $[0, 1]^2$ with uniform marginals, are the natural scaling limits for sequences of (random) permutations.
We introduce a $d$-dimensional generalization of these measures for all $d \ge 2$, which we call $d$-dimensional permutons, and extend -- from the two-dimensional setting -- the theory to prove convergence of sequences of (random) $d$-dimensional permutations to (random) $d$-dimensional permutons.
Building on this new theory, we determine the random high-dimensional permuton limits for two natural families of high-dimensional permutations. First, we determine the $3$-dimensional permuton limit for Schnyder wood permutations, which bijectively encode planar triangulations decorated by triples of spanning trees known as Schnyder woods. Second, we identify the $d$-dimensional permuton limit for $d$-separable permutations, a pattern-avoiding class of $d$-dimensional permutations generalizing ordinary separable permutations.
Both high-dimensional permuton limits are random and connected to previously studied universal 2-dimensional permutons, such as the Brownian separable permutons and the skew Brownian permutons, and share interesting connections with objects arising from random geometry, including the continuum random tree, Schramm--Loewner evolutions, and Liouville quantum gravity surfaces.
Planar graphs having no cycle of length $4$, $6$ or $8$ are DP-3-colorable
Published
• View Publication
• BIB
The concept of DP-coloring of graphs was introduced by Dvořák and Postle, and was used to prove that planar graphs without cycles of length from $4$ to $8$ are $3$-choosable. In the same paper, they proposed a more natural and stronger claim that such graphs are DP-$3$-colorable. This paper confirms that claim by proving a stronger result that planar graphs having no cycle of length $4$, $6$ or $8$ are DP-3-colorable.
On some Grothendieck expansions
Published
• View Publication
• BIB
The complete flag variety admits a natural action by both the orthogonal group and the symplectic group. Wyser and Yong defined orthogonal Grothendieck polynomials $\mathfrak{G}^{\mathsf{O}}_z$ and symplectic Grothendieck polynomials $\mathfrak{G}^{\mathsf{Sp}}_z$ as the $K$-theory classes of the corresponding orbit closures. There is an explicit formula to expand $\mathfrak{G}^{\mathsf{Sp}}_z$ as a nonnegative sum of Grothendieck polynomials $\mathfrak{G}^{(β)}_w$, which represent the $K$-theory classes of Schubert varieties. Although the constructions of $\mathfrak{G}^{\mathsf{Sp}}_z$ and $\mathfrak{G}^{\mathsf{O}}_z$ are similar, finding the $\mathfrak{G}^{(β)}$-expansion of $\mathfrak{G}^{\mathsf{O}}_z$ or even computing $\mathfrak{G}^{\mathsf{O}}_z$ is much harder. If $z$ is vexillary then $\mathfrak{G}^{\mathsf{O}}_z$ has a nonnegative $\mathfrak{G}^{(β)}$-expansion, but the associated coefficients are mostly unknown. This paper derives several new formulas for $\mathfrak{G}^{\mathsf{O}}_z$ and its $\mathfrak{G}^{(β)}$-expansion when $z$ is vexillary. Among other applications, we prove that the latter expansion has a nontrivial stability property.
The number of dissociation sets in connected graphs
Published
• View Publication
• BIB
Extremal problems related to the enumeration of graph substructures, such as independent sets, matchings, and induced matchings, have become a prominent area of research with the advancement of graph theory. A subset of vertices is called a dissociation set if it induces a subgraph with vertex degree at most $1$, making it a natural generalization of these previously studied substructures.
In this paper, we present efficient tools to strictly increase the number of dissociation sets in a connected graph. Furthermore, we establish that the maximum number of dissociation sets among all connected graphs of order $n$ is given by \begin{align*} \begin{cases} 2^{n-1}+(n+3)\cdot 2^{\frac{n-5}{2}}, &~ {\rm if}~ n~{\rm is}~{\rm odd};\\ 2^{n-1}+(n+6)\cdot 2^{\frac{n-6}{2}}, &~ {\rm if}~ n~{\rm is}~{\rm even}. \end{cases} \end{align*} Additionally, we determine the achievable upper bound on the number of dissociation sets in a tree of order $n$ and characterize the corresponding extremal graphs as an intermediate result. Finally, we identify the unicyclic graph that is the candidate for having the second largest number of dissociation sets among all connected graphs.
Slack-Pack algorithm for Meir-Moser packing problem
Published
• View Publication
• BIB
The well-known problem stated by A. Meir and L. Moser consists in tiling the unit square with rectangles (details), whose side lengths equal $1/n\times 1/(n+1)$, where indices~$n$ range from 1 to infinity. Recently, Terence Tao has proved that it is possible to tile with $1/n^t\times 1/(n+1)^t$ rectangles (squares with the side length of $1/n^t$), $1/2<t<1$, the square, whose area equals the sum of areas of these details, provided that only those details, whose indices exceed certain~$n_0$, are taken into consideration. We adduce arguments in favor of the assumption that the result obtained by T. Tao is also valid for $t=1$. We use a new tiling method (the Slack-Pack algorithm), which initially admits gaps between stacks of details. The algorithm uses a pre-fixed parameter $γ$, $\sqrt{3/2}<γ<3/2$, connected with the gap value. The new algorithm allows one to control the ratio of the area of the large rectangular part, which is free of details, to the whole area of the remaining empty space. This ratio (under certain natural assumptions) always exceeds $1-1/γ-δ$, where $δ$ tends to zero as $n_0$ increases.
Monochromatic Translated Product and Answering Sahasrabudhe's Conjecture
Published
• View Publication
• BIB
This article resolves two related problems in Ramsey theory on the integers. We show that for any finite coloring of the set of natural numbers, there exist numbers $a$ and $b$ for which the configuration $\{a, b, ab, (a+1)b\}$ is monochromatic. This finding has two main consequences: first, it disproves a conjecture proposed by J. Sahasrabudhe; second, it establishes a variant of the long-standing Hindman's conjecture, which asks for a monochromatic set of the form $\{a, b, ab, a+b\}$.
On the behavior of binary block-counting functions under addition
Let $\mathsf{s}(n)$ denote the sum of binary digits of an integer $n \geq 0$. In the recent years there has been interest in the behavior of the differences $\mathsf{s}(n+t)-\mathsf{s}(n)$, where $t \geq 0$ is an integer. In particular, Spiegelhofer and Wallner showed that for $t$ whose binary expansion contains sufficiently many blocks of $\mathtt{1}$s the inequality $\mathsf{s}(n+t) -\mathsf{s}(n) \geq 0$ holds for $n$ belonging to a set of asymptotic density $>1/2$, partially answering a question by Cusick. Furthermore, for such $t$ the values $\mathsf{s}(n+t) - \mathsf{s}(n)$ are approximately normally distributed.
In this paper we consider a natural generalization to the family of block-counting functions $N^w$, giving the number of occurrences of a block of binary digits $w$ in the binary expansion. Our main result show that for any $w$ of length at least $2$ the distribution of the differences $N^w(n+t) - N^w(n)$ is close to a Gaussian when $t$ contains many blocks of $\mathtt{1}$s in its binary expansion. This extends an earlier result by the author and Spiegelhofer for $w=\mathtt{11}$.
The $k$-fold circuit property for matroids
Double circuits were introduced by Lovász in 1980 as a fundamental tool in his derivation of a min-max formula for the size of a maximum matching in linear matroids. This formula was extended to all matroids satisfying the so-called `double circuit property' by Dress and Lovász in 1987. We extend these notions to $k$-fold circuits for all natural numbers $k$ and show, in particular that several families of matroids which are known to satisfy the double circuit property, satisfy the $k$-fold circuit property for all natural numbers $k$. These families include all pseudomodular matroids (such as full linear, algebraic and transversal matroids) and certain families of count matroids. These results suggest that the $k$-fold circuit property can be used as a measure of how close the lattice of flats of a matroid is to being a modular lattice.
Sparse induced subgraphs in $P_7$-free graphs of bounded clique number
Many natural computational problems, including e.g. Max Weight Independent Set, Feedback Vertex Set, or Vertex Planarization, can be unified under an umbrella of finding the largest sparse induced subgraph, that satisfies some property definable in CMSO$_2$ logic.
It is believed that each problem expressible with this formalism can be solved in polynomial time in graphs that exclude a fixed path as an induced subgraph.
This belief is supported by the existence of a quasipolynomial-time algorithm by Gartland, Lokshtanov, Pilipczuk, Pilipczuk, and Rzążewski [STOC 2021], and a recent polynomial-time algorithm for $P_6$-free graphs by Chudnovsky, McCarty, Pilipczuk, Pilipczuk, and Rzążewski [SODA 2024].
In this work we extend polynomial-time tractability of all such problems to $P_7$-free graphs of bounded clique number.