Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Four plane unit vectors generate a $3$-colorable graph
We show that given an arbitrary set of four plane unit vectors $v_1, v_2, v_3, v_4$, the Cayley graph generated by $\{\pm v_1, \pm v_2, \pm v_3, \pm v_4\}$ is always $3$-colorable. Indeed, we show that this is a specific case of a much more general result wherein we determine the chromatic number of an arbitrary abelian Cayley graph generated by a set of four elements and their negatives, subject to the constraint that the group of relations between those elements has rank no more than $2$.
VC-dimension of Salem sets over finite fields
The VC-dimension, introduced by Vapnik and Chervonenkis in 1968 in the context of learning theory, has in recent years provided a rich source of problems in combinatorial geometry. Given $E\subseteq \mathbb{F}_q^d$ or $E\subseteq \mathbb{R}^d$, finding lower bounds on the VC-dimension of hypothesis classes defined by geometric objects such as spheres and hyperplanes is equivalent to constructing appropriate geometric configurations in $E$. The complexity of these configurations increases exponentially with the VC-dimension.
These questions are related to the Erdős distance problem and the Falconer problem when considering a hypothesis class defined by spheres. In particular, the Erdős distance problem over finite fields is equivalent to showing that the VC-dimension of translates of a sphere of radius $t$ is at least one for all nonzero $t\in \mathbb{F}_q$. In this paper, we show that many of the existing techniques for distance problems over finite fields can be extended to a much broader context, not relying on the specific geometry of circles and spheres. We provide a unified framework which allows us to simultaneously study highly structured sets such as algebraic curves, as well as random sets.
Linear Saturation for $\mathcal N$ via Butterflies
Given a finite poset $\mathcal P$, how small can a family $\mathcal F$ of subsets of $[n]$ be such that $\mathcal F$ does not contain an induced copy of $\mathcal P$, but $\mathcal F\cup\{X\}$ contains such a copy for all $X\in\mathcal P([n])\setminus\mathcal F$? This is known as the induced saturation number of $\mathcal P$, denoted by $\text{sat}^*(n,\mathcal P)$. The main conjecture in the area is that the induced saturation number for any poset is either bounded, or linear.
In this paper we establish linearity for the induced saturation number of the 4-point poset $\mathcal N$. Previously, it was known that $2\sqrt n\leq\text{sat}^*(n,\mathcal N)\leq 2n$. We show that $\text{sat}^*(n,\mathcal N)\geq\frac{n+6}{4}$. A crucial role in the proof is played by a structural feature of $\mathcal N$-saturated families, namely that if the family contains two antichains, one completely above the other, then it must also contain a `middle' point -- greater than one antichain and less than the other.
Hadamard Products of dual Jacobi-Trudi matrices
We study positivity properties of Hadamard products of Jacobi-Trudi matrices. Maló proved that the Hadamard (entrywise) product of two totally positive upper-triangular Toeplitz matrices whose Toeplitz sequences are the coefficient sequences of real-rooted polynomials with nonpositive zeros is again totally positive. Sokal conjectured that this result can be strengthened to total monomial positivity for the Hadamard product of Jacobi-Trudi matrices. In this paper we show that Temperley-Lieb immanants are Schur positive for Hadamard products of Jacobi-Trudi matrices given by ribbon-like skew shapes. In particular, we affirm Sokal's conjecture for minors given by ribbon-like skew shapes. Moreover, we provide a manifestly positive Schur expansion for Temperley-Lieb immanants evaluated on the Hadamard product of Jacobi-Trudi matrices indexed by ribbons. In addition, for the ribbon case, we construct a corresponding representation, offering a representation-theoretic proof of the Schur positivity.
Upper Bounds for $s$-Distance Subspaces
As a generalization of equiangular lines, equiangular subspaces were first systematically studied by Balla, Dräxler, Keevash and Sudakov in 2017. In this paper, we extend their work to $s$-distance subspaces, i.e., to sets of $k$-dimensional subspaces in $\mathbb{R}^n$ whose pairwise distances take $s$ distinct values. We establish upper bounds on the maximum cardinality of such sets. In particular, our bounds generalize and improve results of Balla and Sudakov.
On minimum Venn diagrams
An $n$-Venn diagram is a diagram in the plane consisting of $n$ simple closed curves that intersect only finitely many times such that each of the $2^n$ possible intersections is represented by a single connected region. An $n$-Venn diagram has at most $2^n-2$ crossings, and if this maximum number of crossings is attained, then only two curves intersect in every crossing. To complement this, Bultena and Ruskey considered $n$-Venn diagrams that minimize the number of crossings, which implies that many curves intersect in every crossing. Specifically, they proved that the total number of crossings in any $n$-Venn diagram is at least $L_n:=\lceil\frac{2^n-2}{n-1}\rceil$, and if this lower bound is attained then essentially all $n$ curves intersect in every crossing. Diagrams achieving this bound are called minimum Venn diagrams, and are known only for $n\leq 7$. Bultena and Ruskey conjectured that they exist for all $n\geq 8$. In this work, we establish an asympototic version of their conjecture. For $n=8$ we construct a diagram with 40 crossings, only 3 more than the lower bound $L_8=37$. Furthermore, for every $n$ of the form $n=2^k$ for some integer $k\geq 4$, we construct an $n$-Venn diagram with at most $(1+\frac{33}{8n})L_n=(1+o(1))L_n$ many crossings. Via a doubling trick this also gives $(n+m)$-Venn diagrams for all $0\leq m<n$ with at most $40\cdot 2^m$ crossings for $n=8$ and at most $(1+\frac{33}{8n})\frac{n+m}{n}L_{n+m}=(2+o(1))L_{n+m}$ many crossings for $k\geq 4$. In particular, we obtain $n$-Venn diagrams with the smallest known number of crossings for all $n\geq 8$. Our constructions are based on partitions of the hypercube into isometric paths and cycles, using a result of Ramras.
The tropical galaxy of a Laman graph
A Laman graph $G$ is a minimally rigid graph in dimension two, and its realization number is its number of distinct embeddings with fixed generic edge lengths. While conjectured to grow exponentially in the number of vertices of $G$, the best proven lower bound is merely $2$. Motivated by the fact that the realization number can be expressed as a tropical intersection product involving $\mathrm{Trop}(G)$, the Bergman fan of the graphic matroid of $G$, and the fact that stars of $\mathrm{Trop}(G)$ naturally lead to lower bounds thereof, we introduce the tropical galaxy of $G$ together with a galactic pairing thereon. We study structural properties of this pairing, such as under which conditions it is non-trivially subadditive, and connect it being non-zero to arboreal pairs. We also present a software package for working with tropical galaxies.
Bounds for monochromatic solutions to $\{x+y,xy\}$
Let $r$ be a sufficiently large positive integer, and let $N \ge \exp\exp(r^{50})$. Then any $r$-colouring of $[N]$ contains a monochromatic copy of $\{x+y,xy\}$ with $x > y > 2$.
Bott manifolds of Bott--Samelson type and assemblies of ordered partitions
A Bott manifold is a smooth projective toric variety having an iterated $\mathbb{C} P^1$-bundle structure. A certain family of Bott manifolds is used to understand the structure of Bott--Samelson varieties (or Bott--Samelson--Demazure--Hansen varieties), which provide desingularizations of Schubert varieties. Indeed, each Bott--Samelson variety is diffeomorphic to a Bott manifold. However, not all Bott manifolds originate from Bott--Samelson varieties. Those that do are specifically referred to as Bott manifolds of Bott--Samelson type. In this paper, we provide a characterization of Bott manifolds of Bott--Samelson type by exploring their relationship with combinatorial objects called assemblies of ordered partitions. Using this relationship, we enumerate Bott manifolds of Bott--Samelson type and describe isomorphic Bott manifolds of Bott--Samelson type in terms of assemblies of ordered partitions.
Maximal Cells in Shifted Staircase Tableaux and a Quarter-Circle Law
In this note, we explicitly compute the probability that a given cell in a random standard Young tableau of the shifted staircase shape $(2n-1, 2n-3, \ldots, 3,1)$ contains the maximal label. We also show that the asymptotic distribution of the cell containing the maximal label is governed by the quarter-circle law. The bijection between the tableaux and thereduced decompositions of the longest element of the group $B_n$ of the signed permutations yields the probability distribution of the first (and any) letter of the random reduced decompositions. We also show the results of some computational experiments on the random sorting networks of $B_n$.
On Wegner's 8-Coloring Theorem for Planar Graphs of Maximum Degree Three
We provide a simplified proof of the following special case of Wegner's conjecture: every planar graph of maximum degree at most three admits a distance-2 coloring with at most eight colors. Our main contribution is significant simplification of the most technically challenging part of Wegner's proof: the case involving the removal of a 5-cycle.
Multiple Rogers-Ramanujan type identities for inert quadratic orders
We compute the Quot and finitized Coh zeta functions of the inert quadratic orders $\mathbb{F}_q[[T]]+T^{m}\mathbb{F}_{q^{2}}[[T]]$ for every $m\geq 1$ in terms of a $2m$-fold multisum, and then show this multisum equals an $m$-fold Bressoud sum. This proves a recent conjecture of the second author, rounding up the line of exploration in the series of work by the authors and Jiang. The equality between the $2m$-fold multisum and the $m$-fold Bressoud sum is built upon generalizing the multisum by introducing a ``ghost'' parameter $a$ to its summands. We then show that such an $a$-generalization is surprisingly $a$-independent by purely $q$-theoretic techniques. Finally, we propose a refined multisum that interpolates two versions of Quot zeta functions for all three types of quadratic orders.
Enumeration in the lattice of $q$-decreasing words
We prove that the poset of $q$-decreasing words equipped with the componentwise order forms a lattice. We enumerate the join-irreducible elements for arbitrary $q>0$, and for any positive rational number $q$, we determine the number of coverings, intervals and meet-irreducible elements. The latter present the same structure as words over an alphabet of $2\lceil q\rceil+1$ letters avoiding $\lceil q\rceil^2+2\lceil q\rceil-1$ consecutive patterns of length 2. Furthermore, we analyze the asymptotic behavior of several of these quantities.
Characterizing the largest commutative (full and partial) transformation semigroups of certain types
Let $X$ be a finite set. Let $\mathcal{T}(X)$ be the transformation semigroup on $X$ and let $\mathcal{P}(X)$ be the partial transformation semigroup on $X$. This paper is a contribution to the problem of characterizing the largest commutative subsemigroups of $\mathcal{T}(X)$ (respectively, $\mathcal{P}(X)$). In the process of looking for these semigroups, we also characterize the largest commutative subsemigroups of idempotents of $\mathcal{T}(X)$ (respectively, $\mathcal{P}(X)$); as well as the largest commutative subsemigroups of $\mathcal{T}(X)$ (respectively, $\mathcal{P}(X)$) that contain a unique idempotent. We also provide an alternative way to determine the largest commutative nilpotent subsemigroups of $\mathcal{T}(X)$ (which were previously characterized by Cain, Malheiro and the present author); and we describe the largest commutative nilpotent subsemigroups of $\mathcal{P}(X)$.
These results allow us to make conclusions regarding the clique numbers of the commuting graphs of $\mathcal{T}(X)$ and of $\mathcal{P}(X)$. We also determine their girths and knit degrees.
A recursion for the twist polynomial of a one-point join of normal binary delta-matroids
The partial-dual Euler-genus polynomial was defined by Gross, Mansour, and Tucker to analyze how the Euler genus of a ribbon graph changes under partial duality, a generalization of Euler-Poincaré duality introduced by Chmutov. The twist polynomial defined by Yan and Jin extends the partial-dual Euler-genus polynomial to a polynomial on delta-matroids. We derive a recursion formula for the twist polynomial of a one-point join of looped simple graphs -- equivalently, normal, binary delta-matroids. Our recursion applies to the partial-dual Euler-genus polynomial as a special case, where it generalizes a recursion obtained by Yan and Jin. We obtain relations for the twist polynomial on looped simple graphs evaluated at $-1/2$ and for the twist polynomial of a graph with a single looped vertex. A characterization is given for the feasible sets of the delta-matroid associated to a one-point join of looped simple graphs. We show that Yan and Jin's recursion extends to the twist polynomial on delta-matroids.
Pure-State Quantum Tomography with Minimal Rank-One POVMs
Quantum state tomography seeks to reconstruct an unknown state from measurement statistics. A finite measurement (POVM) is \emph{pure-state informationally complete} (PSI-Complete) if the outcome probabilities determine any pure state up to a global phase. We study \emph{rank-one} POVMs that are minimally sufficient for this task. We call such a POVM \emph{vital} if it is PSI-Complete but every proper subcollection is not PSI-Complete.
We prove sharp upper bounds on the size of vital rank-one POVMs in dimension \(n\): the size is at most \(\binom{n+1}{2}\) over \(\mathbb{R}\) and at most \(n^{2}\) over \(\mathbb{C}\), and we give constructions that attain these bounds. In the real case, we further exhibit a connection to block designs: whenever \(w \mid n(n-1)\), an \((n,w,w-1)\) design produces a vital rank-one POVM with \(n + n(n-1)/w\) outcomes. We provide explicit constructions for \(w=2,n-1\), and \(n\).
Region level via centralization for hyperplane arrangements and beyond
In "Faces of a Hyperplane Arrangement Enumerated by Ideal Dimension, with Applications to Plane, Plaids, and Shi," Zaslavsky showed how to compute the number $r_\ell(\mathcal{A})$ of regions of a real hyperplane arrangement $\mathcal{A}$ with a given level, refining his well known enumeration of regions and relatively bounded regions. We restate this theorem in terms of a construction called the centralization of $\mathcal{A}$, give a bijective proof, and then apply it in two ways to answer questions concerning the concept of level. Firstly, a consequence of this enumeration is that $r_\ell(\mathcal{A})$ depends only on the intersection poset $\mathcal{L}(\mathcal{A})$, such that both $r_\ell$ and centralization can be defined in the more general setting of geometric semilattices. In this context we derive a very general expression for the characteristic polynomial of a geometric semilattice with several interesting corollaries. Secondly, recent investigations into the phenomenon of level have made little use of Zaslavsky's level-counting theorem, but it can be applied to obtain or generalize many of their results. In particular we show how exponential generating function identities (arXiv:2410.10198, arXiv:2411.02971) and an expression giving the characteristic polynomial in terms of $r_\ell$ (arXiv:2411.03756) can be derived for deformations of the braid arrangement.
Minimal crossing diagrams of spatial graphs
We prove that all $1$-vertex spatial graphs with adequate diagrams have minimal crossing number, and that spatial graph diagrams obtained by replacing vertices and edges of a planar embedded graph by minimal crossing link or spatial graph diagrams have minimal crossing number. Finally, we give an example in answer to a question of Adams et al. about minimal crossing diagrams of rigid vertex graphs.
Theory and algorithms for clusters of cycles in graphs for material networks
Analysis of complex networks, particularly material networks such as the carbon skeleton of hydrocarbons generated in hydrocarbon pyrolysis in carbon-rich systems, is essential for effectively describing, modeling, and predicting their features. An important and the most challenging part of this analysis is the extraction and effective description of cycles, when many of them coalesce into complex clusters. A deterministic minimum cycle basis (MCB) is generally non-unique and biased to the vertex enumeration. The union of all MCBs, called the set of relevant cycles, is unique, but may grow exponentially with the graph size. To resolve these issues, we propose a method to sample an MCB uniformly at random. The output MCB is statistically well-defined, and its size is proportional to the number of edges. We review and advance the theory of graph cycles from previous works of Vismara, Gleiss et al., and Kolodzik et al. In particular, we utilize the polyhedron-interchangeability (pi) and short loop-interchangeability (sli) classes to partition the relevant cycles. We introduce a postprocessing step forcing pairwise intersections of relevant cycles to consist of a single path. This permits the definition of a dual graph whose nodes are cycles and edges connect pairs of intersecting cycles. The pi classes identify building blocks for crystalline structures. The sli classes group together sets of large redundant cycles. We present the application to an amorphous hydrocarbon network, where we (i) theorize how the number of relevant cycles may explode with system size and (ii) observe small polyhedral structures related to diamond.
Computing parametric weighted Ehrhart polynomials of smooth polytopes
We show that when integral polytopes are deformed while keeping the same facet normal vectors, the coefficients of weighted Ehrhart and $h^*$-polynomials are piecewise polynomial functions in the ``right hand sides'' of the linear inequalities defining the polytopes. We give an algorithm and an implementation in SageMath for computing these polynomials for smooth polytopes, such as type $A$ alcoved polytopes, using a weighted Euler-Maclaurin type formula by Khovanskiǐ and Pukhlikov. We discuss some natural questions concerning signs of the coefficients of the weighted $h^*$-polynomials.