Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable Keisler measure over the countable universal homogeneous $k$-uniform hypergraph. We show this by starting with a Borel $k$-hypergraphon $W$ and constructing a Keisler measure $μ_{W}$ such that generic sampling with respect to $μ_{W}$ yields the same invariant measure as does the standard hypergraphon sampling procedure with respect to $W$. When $k = 2$, our results give a new representation theorem for ergodic exchangeable graphs via Keisler measures over a monster model of the Rado graph.
Pattern-Avoiding Peak Functions
Published
• View Publication
• BIB
In 2020, Hamaker, Pawlowski, and Sagan introduced the \emph{pattern quasisymmetric functions}, which are quasisymmetric functions associated with pattern-avoidance classes of permutations, and defined via expansions in fundamental quasisymmetric functions. They determined which subsets of the symmetric group $\mathfrak{S}_3$ index pattern quasisymmetric functions that are symmetric, and showed that these symmetric pattern quasisymmetric functions are also Schur-positive. They then posed the question of when symmetry or Schur $P$-positivity occur for analogous quasisymmetric functions defined in terms of peak functions. In this work we answer this question, that is, we identify precisely which subsets of $\mathfrak{S}_3$ give a \emph{pattern-avoiding peak function} that is symmetric, and give explicit formulas for the positive expansion into the closely-related Schur $Q$-functions.
On the Terwilliger algebras of quasi-thin Schurian association schemes
Published
• View Publication
• BIB
We give necessary and sufficient conditions for the Terwilliger algebra of a quasi-thin Schurian association scheme to coincide with: (a) the centralizer algebra of a point stabilizer of its automorphism group, and (b) its subspace $T^0$. As a by-product, a full characterization of triply-transitive quasi-thin association schemes is given. Using the latter, we provide new infinite families of triply-transitive association schemes.
On the second largest eigenvalue of certain graphs in the perfect matching association scheme
Published
• View Publication
• BIB
The perfect matching association scheme is a set of relations on the perfect matchings of the complete graph on $2n$ vertices. The relations between perfect matchings are defined by the cycle structure of the union of any two perfect matchings, and each relation can be represented as a matrix. Each matrix is labeled by an integer partition whose parts correspond to the size do the cycles in the union. Since these matrices form an association scheme, they are simultaneously diagonalizable. Further, it is well-known that the common eigenspaces correspond to the irreducible representations of $S_{2n}$ indexed by the even partitions of $2n$. In this paper, we conjecture that the second largest eigenvalue of the matrices in the perfect matching association scheme labeled by a partition containing at least two parts of size 1 always occurs on the eigenspace corresponding to the representation indexed by $[2n-2, 2]$. We confirm this conjecture for matrices labeled by the partitions $[2, 1^{n-2}], [3, 1^{n-3}], [2, 2, 1^{n-4}], [4, 1^{n-4}], [3, 2, 1^{n-5}]$, and $[5, 1^{n-5}]$, as well as any partition in which the first part is sufficiently large.
On the irrationality exponent of real numbers with low complexity expansion
Let $ξ$ be a real number and $b \ge 2$ an integer. We study the relationship between the irrationality exponent of $ξ$ and the subword complexity $p(n, \mathbf{x})$ of the $b$-ary expansion $\mathbf{x}$ of $ξ$, where $p(n, \mathbf{x})$ counts the number of distinct blocks of length $n$ in $\mathbf{x}$, for $n \ge 1$. If the irrationality exponent of $ξ$ is equal to $2$, which is the case for almost all real numbers $ξ$, we show that the limit superior of the sequence $(p(n, \mathbf{x}) / n)_{n \ge 1}$ is at least equal to 4/3. The proof is based on a careful study of the evolution of the Rauzy graphs of infinite words of low complexity.
On Bilateral Multiple Sums and Rogers-Ramanujan Type Identities
Published
• View Publication
• BIB
We establish some new bilateral double-sum Rogers-Ramanujan identities involving parameters. As applications, these identities yield several new multi-sum Rogers-Ramanujan type identities. Our proofs utilize the theory of basic hypergeometric series in conjunction with the integral method.
Bounded core partitions and Borel--Weil--Bott
As a consequence of the Borel--Weil--Bott theorem, the nonvanishing of Hodge numbers of line bundles on a Grassmannian can be reinterpreted in terms of the existence of $t$-core partitions inside a rectangle. We sharpen known conditions for the nonvanishing of Hodge numbers of line bundles on a Grassmannian and give an elementary proof of the Nakano vanishing theorem in this setting. Using the theory of $t$-core partitions, we determine when $H^i(\mathrm{Gr}(k,n),Ω^j(t))$ vanishes in the cases $t=3$ and $i+j\geq k(n-k)-1$.
Hitting all longest paths in $H$-free graphs and $H$-graphs
The \textit{longest path transversal number} of a connected graph $G$, denoted by $lpt(G)$, is the minimum size of a set of vertices of $G$ that intersects all longest paths in $G$. We present constant upper bounds for the longest path transversal number of \textit{hereditary classes of graphs}, that is, classes of graphs closed under taking induced subgraphs. Our first main result is a structural theorem that allows us to \textit{refine} a given longest path transversal in a graph using domination properties. This has several consequences: First, it implies that for every $t \in \{5,6\}$, every connected $P_t$-free graph $G$ satisfies $lpt(G) \leq t-2$. Second, it shows that every $(\textit{bull}, \textit{chair})$-free graph $G$ satisfies $lpt(G) \leq 5$. Third, it implies that for every $t \in \mathbb{N}$, every connected chordal graph $G$ with no induced subgraph isomorphic to $K_t \mat \overline{K_t}$ satisfies $lpt(G) \leq t-1$, where $K_t \mat \overline{K_t}$ is the graph obtained from a $t$-clique and an independent set of size $t$ by adding a perfect matching between them. Our second main result provides an upper bound for the longest path transversal number in \textit{$H$-intersection graphs}. For a given graph $H$, a graph $G$ is called an \textit{$H$-graph} if there exists a subdivision $H'$ of $H$ such that $G$ is the intersection graph of a family of vertex subsets of $H'$ that each induce connected subgraphs. The concept of $H$-graphs, introduced by Biró, Hujter, and Tuza, naturally captures interval graphs, circular-arc graphs, and chordal graphs, among others. Our result shows that for every connected graph $H$ with at least two vertices, there exists an integer $k = k(H)$ such that every connected $H$-graph $G$ satisfies $lpt(G) \leq k$.
The insertion encoding of restricted growth functions
Published
• View Publication
• BIB
We adapt the vertical and horizontal insertion encodings of Cayley permutations to enumerate restricted growth functions, which are in bijection with unordered set partitions. For both insertion encodings, we fully classify the classes for which these languages are regular. For the horizontal insertion encoding, we also prove that the conditions to be regular are the same for restricted growth functions of matchings.
Superintegrability of $q,t$-matrix models and quantum toroidal algebra recursions
$q,t$-deformed matrix models give rise to representations of the deformed Virasoro algebra and more generally of the quantum toroidal $\mathfrak{gl}_1$ algebra. These representations are described in terms of finite difference equations that induce recursion relations for correlation functions. Under suitable assumptions, these recursions admit unique solutions expressible through "superintegrability" formulas, i.e. explicit closed formulas for averages of Macdonald polynomials. In this paper, we discuss examples arising from localization of 3d $\mathcal{N}=2$ theories, which include $q,t$-deformation of well known classical ensembles: Gaussian, Laguerre and Jacobi. We explain how relations in the quantum toroidal algebra can be used to give a new and universal proof of the known superintegrability formulas, as well as to derive new formulas for models that have not been previously studied in the literature. Finally, we make some remarks regarding the relation between superintegrability and orthogonal polynomials.
The Parameterized Complexity of Computing the VC-Dimension
Published
• View Publication
• BIB
The VC-dimension is a well-studied and fundamental complexity measure of a set system (or hypergraph) that is central to many areas of machine learning. We establish several new results on the complexity of computing the VC-dimension. In particular, given a hypergraph $\mathcal{H}=(\mathcal{V},\mathcal{E})$, we prove that the naive $2^{\mathcal{O}(|\mathcal{V}|)}$-time algorithm is asymptotically tight under the Exponential Time Hypothesis (ETH). We then prove that the problem admits a $1$-additive fixed-parameter approximation algorithm when parameterized by the maximum degree of $\mathcal{H}$ and a fixed-parameter algorithm when parameterized by its dimension, and that these are essentially the only such exploitable structural parameters. Lastly, we consider a generalization of the problem, formulated using graphs, which captures the VC-dimension of both set systems and graphs. We design a $2^{\mathcal{O}(\rm{tw}\cdot \log \rm{tw})}\cdot |V|$-time algorithm for any graph $G=(V,E)$ of treewidth $\rm{tw}$ (which, for a set system, applies to the treewidth of its incidence graph). This is in contrast with closely related problems that require a double-exponential dependency on the treewidth (assuming the ETH).
Joint upper Banach density, VC dimensions and Euclidean point configurations
We study two related quantities which generalize the concept of upper Banach density of a set, to two measurable subsets of the plane. The first of them allows us to generalize a classic result on sufficiently large distances realized in a set of positive upper density, to distances between points of two sets satisfying an appropriate density condition. The second one allows us to show that for all sufficiently large scales $t>0$ and for a smooth, closed, centrally symmetric, planar curve $Γ$ which bounds a convex and compact region in the plane and is of non-vanishing curvature, the family consisting of portions of translates of $tΓ$ has the maximal possible Vapnik--Chervonenkis dimension.
Non-Markovian heat flows on directed hypergraphs
We introduce a semigroup framework for Laplacians on directed hypergraphs, extending the classical heat flow models on graphs and establishing hypergraphs as prototypical models for non-Markovian diffusion. We apply spectral surgery methods to derive eigenvalue bounds, thus describing large-time behaviour of the heat flow. Unlike on standard graphs, heat flows on directed hypergraphs may lose positivity and/or $\infty$-contractivity, yet can recover them eventually or asymptotically under specific combinatorial configurations: examples based on duals of oriented graph and realisations of the Fano plane illustrate these phenomena.
Our approach combines combinatorial, order-theoretic and linear-algebraic methods.
The automorphism group of reduced power monoids of finite abelian groups
Let $H$ be an additively written monoid and let $\mathcal{P}_{0}(H)$ denote the reduced power monoid of $H$, that is, the monoid consisting of all subsets of $H$ containing $0$ with set addition as operation. Following work of Tringali, Wen and Yan, we give a full description of the automorphism group of $\mathcal{P}_{0}(G)$, where $G$ is a finite abelian group. More precisely, we show that $\text{Aut}(\mathcal{P}_{0}(G))$ and $\text{Aut}(G)$ are isomorphic in a canonic way, except in the special case when $G$ is isomorphic to the Klein four-group.
Determining Covering Array Numbers via Balanced Covering Arrays
In this article we determine five previously unknown covering array numbers (CANs). We do so using properties of so called balanced covering arrays together with a computational result for these. The balance properties allow us to generalize the (computational) non-existence result for balanced covering arrays to covering arrays. Covering arrays are combinatorial designs that can be considered generalizations of orthogonal arrays, when dropping the restriction that the considered $t$-tuples appear exactly $λ$ times, and instead require them to appear at least $λ$ times. While this generalization renders the existence of covering arrays trivial, it raises the question for their optimality, respectively the smallest number of rows, the CAN, for which a certain covering array exists. The CANs determined in this paper were tightly bound for decades, but remained ultimately unknown.
List-recoloring of two classes of planar graphs
Published
• View Publication
• BIB
For a graph $G$ with a list assignment $L$ and two $L$-colorings $α$ and $β$, an $L$-recoloring sequence from $α$ to $β$ is a sequence of proper $L$-colorings where consecutive colorings differ at exactly one vertex. We prove the existence of such a recoloring sequence in which every vertex is recolored at most a constant number of times under two conditions: (i) $G$ is planar, contains no $3$-cycles or intersecting $4$-cycles, and $L$ is a $6$-assignment; or (ii) the maximum average degree of $G$ satisfies $\mathrm{mad}(G) < \frac{5}{2}$ and $L$ is a $4$-assignment. These results strengthen two theorems previously established by Cranston.
Borel completeness of Tits buildings with no rank 3 residues of spherical type
We prove that, for every Coxeter diagram $D$ with no rank $3$ residues of spherical type and such that $D$ has not only edges labelled by $2$, the space of countable (Tits) buildings of type $D$ is Borel complete, that is, classifying countable buildings of type $D$ up to isomorphism is as hard as classifying countable graphs up to isomorphism. In particular, for every $n\geq 3$, the space of countable generalised $n$-gons is Borel complete.
Inhomogeneous random 2-SAT
We introduce an inhomogeneous variant of random 2-SAT. Each variable $v_1,\ldots,v_n$ is assigned a type from a state space $Λ$, independently at random. Clause inclusion is governed by a symmetric measurable kernel $W$ on $(Λ\times \{+,-\})^2$, in analogy with the inhomogeneous random graph model of Bollobás, Janson, and Riordan: given literals $\ell_i\in\{v_i,\neg v_i\}$ and $\ell_j\in\{v_j,\neg v_j\}$, the clause $\{\ell_i,\ell_j\}$ appears with probability $W(\mathrm{type}(\ell_i),\mathrm{type}(\ell_j))/(2n)$. In particular, for a variable $v_i$ of type $x\inΛ$, the slices $W((+,x),\cdot)$ and $W((-,x),\cdot)$ describe how $v_i$ and $\neg v_i$ interact with other literals.
We identify a parameter $ρ^*(W)$, defined as the spectral radius of an integral operator derived from $W$, and show that $ρ^*(W)<1$ and $ρ^*(W)>1$ correspond to asymptotically almost surely satisfiable and unsatisfiable instances, respectively. The satisfiability threshold for homogeneous random 2-SAT is well-established, occurring when the ratio of clauses to variables is $1$. This corresponds to a weight function of $W \equiv 1$ and a clause density of $1/(2n)$. Our result extends this classical result to a broad class of models controlled by types of variables.
Eulerian posets and $Z$-polynomials
Let $P$ be a finite partially ordered set. In a recent series of works, Proudfoot introduced the notion of $Z$-polynomials associated with $P$-kernels, providing a unified framework for various intersection cohomology Poincaré polynomials arising in diverse areas of mathematics. One of the problems posed by Proudfoot was to interpret the $Z$-polynomial in a fundamental setting -- namely, when $P$ is the lattice of faces of a convex polytope (or, more generally, an Eulerian poset). We resolve this problem by proving that the $Z$-polynomial of any Eulerian poset coincides with the toric $h$-polynomial of the poset of all (possibly empty) closed intervals of $P$, ordered by reverse inclusion. Under suitable polyhedral conditions, this result identifies the $Z$-polynomial of a polytope with the Poincaré polynomial of the intersection cohomology of an associated auxiliary polytope. We prove some results about the Chow polynomials of the poset of intervals of an Eulerian poset and relate them with the Veronese transforms on polynomials.
Spanning trees with large maximum degrees
The celebrated result of Komlós, Sárközy, and Szemerédi states that for any $\varepsilon>0$, there exists $0<c<1$, such that for all sufficiently large $n$, every $n$-vertex graph $G$ with $δ(G)\geq(1/2+\varepsilon)n$ contains every $n$-vertex tree with maximum degree at most $cn/\log n$. This is best possible up to the value of $c$. In this paper, we extend this result to trees with higher maximum degrees, and prove that for $Δ\gg n/\log n$, roughly speaking, $δ(G)\geq n-n^{1-(1+o(1))Δ/n}$ is the asymptotically optimal minimum degree condition which guarantees that $G$ contains every $n$-vertex spanning tree with maximum degree at most $Δ$. We also prove the corresponding statements in the random graph setting.