natural ↗ reference
4908 papers tagged with this keyword
A pipe dream perspective on totally symmetric self-complementary plane partitions
Published in Forum of Mathematics, Sigma. 2024;12:e17
• View Publication
• BIB
We characterize totally symmetric self-complementary plane partitions (TSSCPP) as bounded compatible sequences satisfying a Yamanouchi-like condition. As such, they are in bijection with certain pipe dreams. Using this characterization and the recent bijection of [Gao-Huang] between reduced pipe dreams and reduced bumpless pipe dreams, we give a bijection between alternating sign matrices and TSSCPP in the reduced, 1432-avoiding case. We also give a different bijection in the 1432- and 2143-avoiding case that preserves natural poset structures on the associated pipe dreams and bumpless pipe dreams.
Balanced multiple q-zeta values
Published
• View Publication
• BIB
We introduce the balanced multiple q-zeta values. They give a new model for multiple q-zeta values, whose product formula combines the shuffle and stuffle product for multiple zeta values in a natural way. Moreover, the balanced multiple q-zeta values are invariant under a very explicit involution. Thus, all relations among the balanced multiple q-zeta values are conjecturally of a very simple shape. Examples of the balanced multiple q-zeta values are the classical Eisenstein series, and they also contain the combinatorial multiple Eisenstein series. The construction of the balanced multiple q-zeta values is done on the level of generating series. We introduce a general setup relating Hoffman's quasi-shuffle products to explicit symmetries among generating series of words, which gives a clarifying approach to Ecalle's theory of bimoulds. This allows us to obtain an isomorphism between the underlying Hopf algebras of words related to the combinatorial bi-multiple Eisenstein series and the balanced multiple q-zeta values.
Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs
Published
• View Publication
• BIB
Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal coloring.It can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral bounds.In other cases, we certify the sharpness numerically.
Strong arboricity of graphs
Published
• View Publication
• BIB
An edge coloring of a graph $G$ is \emph{woody} if no cycle is monochromatic. The \emph{arboricity} of a graph $G$, denoted by $\arb (G)$, is the least number of colors needed for a woody coloring of $G$. A coloring of $G$ is \emph{strongly woody} if after contraction of any single edge it is still woody. In other words, not only any cycle in $G$ can be monochromatic but also any \emph{broken cycle}, i.e., a simple path arising by deleting a single edge from the cycle. The least number of colors in a strongly woody coloring of $G$ is denoted by $ζ(G)$ and called the \emph{strong arboricity} of $G$.
We prove that $ζ(G)\leqslant χ_a(G)$, where $χ_a(G)$ is the \emph{acyclic chromatic number} of $G$ (the least number of colors in a proper vertex coloring without a $2$-colored cycle). In particular, we get that $ζ(G)\leqslant 5$ for planar graphs and $ζ(G)\leqslant 4$ for otuterplanar graphs. We conjecture that $ζ(G)\leqslant 4$ holds for all planar graphs. We also prove that $ζ(G)\leqslant 4(\arb(G))^2$ holds for arbitrary graph $G$. A natural generalziation of strong arboricity to \emph{matroids} is also discussed, with a special focus on cographic matroids.
Discrete Morse theory and the topology of matching complexes of complete graphs
We denote the matching complex of the complete graph with $n$ vertices by $M_n$. Bouc first studied the topological properties of $M_n$ in connection with the Quillen complex. Later Björner, Lovász, Vrećica, and Živaljević showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, but in general the topology of $M_n$ is not very well-understood even for smaller natural numbers.
Forman developed discrete Morse theory, which has various applications in diverse fields of studies. In this article, we develop a discrete Morse theoretic technique to capture deeper structural topological properties of $M_n$. We show that $M_n$ is \emph{geometrically} $(ν_n-1)$-connected, where the notion of geometrical $k$-connectedness as defined in this article, is stronger than that of homotopical $k$-connectedness.
Previously, Björner et al. showed that $M_8$ is simply connected, but not 2-connected. The technique developed here helped us determine that $M_8$ is in fact homotopy equivalent to a wedge of 132 spheres of dimension 2.
Characterizations of the set of integer points in an integral bisubmodular polyhedron
Published
• View Publication
• BIB
In this note, we provide two characterizations of the set of integer points in an integral bisubmodular polyhedron. Our characterizations do not require the assumption that a given set satisfies the hole-freeness, i.e., the set of integer points in its convex hull coincides with the original set. One is a natural multiset generalization of the exchange axiom of a delta-matroid, and the other comes from the notion of the tangent cone of an integral bisubmodular polyhedron.
A new strategy for finding spanning trees without small degree stems
Published
• View Publication
• BIB
For an integer $k\geq 2$, a spanning tree of a graph without vertices of degree from $2$ to $k$ is called a {\it $[2,k]$-ST} of the graph. The concept of $[2,k]$-STs is a natural extension of a homeomorphically irreducible spanning tree (or HIST), which is a well-studied graph structure. In this paper, we give a new strategy for finding $[2,k]$-STs. By using the strategy, we refine or extend a known degree-sum condition for the existence of a HIST. Furthermore, we also investigate a degree-product condition for the existence of a $[2,k]$-ST.
Union vertex-distinguishing edge colorings
Published
• View Publication
• BIB
The union vertex-distinguishing chromatic index $χ'_\cup(G)$ of a graph $G$ is the smallest natural number $k$ such that the edges of $G$ can be assigned nonempty subsets of $[k]$ so that the union of the subsets assigned to the edges incident to each vertex is different. We prove that $χ'_\cup(G) \in \left\{ \left\lceil \log_2\left(n +1\right) \right\rceil, \left\lceil \log_2\left(n +1\right) \right\rceil+1 \right\}$ for a graph $G$ on $n$ vertices without a component of order at most two. This answers a question posed by Bousquet, Dailly, Duchêne, Kheddouci and Parreau, and independently by Chartrand, Hallas and Zhang.
A Three-Regime Theorem for Flow-Firing
Published
• View Publication
• BIB
Graphical chip-firing is a discrete dynamical system where chips are placed on the vertices of a graph and exchanged via simple firing moves. Recent work has sought to generalize chip-firing on graphs to higher dimensions, wherein graphs are replaced by cellular complexes and chip firing becomes flow-rerouting along the faces of the complex. Given such a system, it is natural to ask (1) whether this firing process terminates and (2) if it terminates uniquely (e.g. is confluent). In the graphical case, these questions were definitively answered by Bjorner--Lovasz--Shor, who developed three regimes which completely determine if a given system will terminate. Building on the work of Duval--Klivans--Martin and Felzenszwalb-Klivans, we answer these questions in a context called flow-firing, where the cellular complexes are 2-dimensional.
Enumerating Steiner Triple Systems
Published
• View Publication
• BIB
Steiner triple systems (STSs) have been classified up to order 19. Earlier estimations of the number of isomorphism classes of STSs of order 21, the smallest open case, are discouraging as for classification, so it is natural to focus on the easier problem of merely counting the isomorphism classes. Computational approaches for counting STSs are here considered and lead to an algorithm that is used to obtain the number of isomorphism classes for order 21: 14,796,207,517,873,771.
Minimum Degree Threshold for $H$-factors with High Discrepancy
Given a graph $H$, a perfect $H$-factor in a graph $G$ is a collection of vertex-disjoint copies of $H$ spanning $G$. Kühn and Osthus showed that the minimum degree threshold for a graph $G$ to contain a perfect $H$-factor is either given by $1-1/χ(H)$ or by $1-1/χ_{cr}(H)$ depending on certain natural divisibility considerations. Given a graph $G$ of order $n$, a $2$-edge-coloring of $G$ and a subgraph $G'$ of $G$, we say that $G'$ has high discrepancy if it contains significantly (linear in $n$) more edges of one color than the other. Balogh, Csaba, Pluhár and Treglown asked for the minimum degree threshold guaranteeing that every 2-edge-coloring of $G$ has an $H$-factor with high discrepancy and they settled the case where $H$ is a clique. Here we completely resolve this question by determining the minimum degree threshold for high discrepancy of $H$-factors for every graph $H$.
Coxeter tournaments
Published
• View Publication
• BIB
We describe the Coxeter permutahedra, recently studied by Ardila, Castillo, Eur and Postnikov, in terms of random Coxeter tournaments, which involve cooperative and solitaire games, as well as the usual competitive games in graph tournaments. In this way, we establish a Coxeter version of Moon's theorem on random tournaments. We present a geometric proof by the Mirsky--Thompson generalized Birkhoff's theorem, a probabilistic proof by Strassen's coupling theorem, and an algorithmic proof by a Coxeter analogue of the Havel--Hakimi algorithm. These proofs have interpretations in terms of players choosing competitors/collaborators with respect to relative weakness/strength. We also introduce a natural Coxeter analogue of the Bradley--Terry model, from the statistical theory of paired comparisons.
Power of $k$ Choices in the Semi-Random Graph Process
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
In this paper, we introduce a natural generalization of this game in which $k$ random vertices $u_1, \ldots, u_k$ are presented to the player in each round. She needs to select one of the presented vertices and connect to any vertex she wants. We focus on the following three monotone properties: minimum degree at least $\ell$, the existence of a perfect matching, and the existence of a Hamiltonian cycle.
Three Proofs of an Observation on Irreducible Polynomials over $\text{GF}(2)$
Published
• View Publication
• BIB
We present three proofs of an observation of Ahmadi on the number of irreducible polynomials over $\text{GF}(2)$ with certain traces and cotraces, the most interesting of which uses an explicit natural bijection. We also present two proofs of a related observation.
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
Published in 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
• View Publication
• BIB
Two graphs $G$ and $H$ are homomorphism indistinguishable over a class of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphisms from $F$ to $H$. Many natural equivalence relations comparing graphs such as (quantum) isomorphism, spectral, and logical equivalences can be characterised as homomorphism indistinguishability relations over certain graph classes.
Abstracting from the wealth of such instances, we show in this paper that equivalences w.r.t. any self-complementarity logic admitting a characterisation as homomorphism indistinguishability relation can be characterised by homomorphism indistinguishability over a minor-closed graph class. Self-complementarity is a mild property satisfied by most well-studied logics. This result follows from a correspondence between closure properties of a graph class and preservation properties of its homomorphism indistinguishability relation.
Furthermore, we classify all graph classes which are in a sense finite (essentially profinite) and satisfy the maximality condition of being homomorphism distinguishing closed, i.e. adding any graph to the class strictly refines its homomorphism indistinguishability relation. Thereby, we answer various questions raised by Roberson (2022) on general properties of the homomorphism distinguishing closure.
Quantum complexity of the Kronecker coefficients
Published in PRX Quantum, vol. 5, issue 1, (Feb 2024), pp 010329
• View Publication
• BIB
Whether or not the Kronecker coefficients of the symmetric group count some set of combinatorial objects is a longstanding open question. In this work we show that a given Kronecker coefficient is proportional to the rank of a projector that can be measured efficiently using a quantum computer. In other words a Kronecker coefficient counts the dimension of the vector space spanned by the accepting witnesses of a QMA verifier, where QMA is the quantum analogue of NP. This implies that approximating the Kronecker coefficients to within a given relative error is not harder than a certain natural class of quantum approximate counting problems that captures the complexity of estimating thermal properties of quantum many-body systems. A second consequence is that deciding positivity of Kronecker coefficients is contained in QMA, complementing a recent NP-hardness result of Ikenmeyer, Mulmuley and Walter. We obtain similar results for the related problem of approximating row sums of the character table of the symmetric group. Finally, we discuss an efficient quantum algorithm that approximates normalized Kronecker coefficients to inverse-polynomial additive error.
Ordinal measures of the set of finite multisets
Published
• View Publication
• BIB
Well-partial orders, and the ordinal invariants used to measure them, are relevant in set theory, program verification, proof theory and many other areas of computer science and mathematics. In this article we focus on one of the most common data structure in programming, the finite multiset of some wpo. There are two natural orders one can define on the set of finite multisets $M(X)$ of a partial order $X$: the multiset embedding and the multiset ordering, for which $M(X)$ remains a wpo when $X$ is. Though the maximal order type of these orders is already known, the other ordinal invariants remain mostly unknown. Our main contributions are expressions to compute compositionally the width of the multiset embedding and the height of the multiset ordering. Furthermore, we provide a new ordinal invariant useful for characterizing the width of the multiset ordering.
Algebraic approach to the completeness problem for $(k,n)$-arcs in planes over finite fields
In a projective plane over a finite field, complete $(k,n)$-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the construction of small ones, with $k$ close to the order of the plane, is considered a hard problem. A natural candidate to be a small $(k,n)$-arc with few characters is the set $Ω(\mathcal{C})$ of the points of a plane curve $\mathcal{C}$ of degree $n$ (containing no linear components) such that some line meets $\mathcal{C}$ transversally in the plane, i.e. in $n$ pairwise distinct points. Let $\mathcal{C}$ be either the Hermitian curve of degree $q+1$ in $\mathrm{PG}(2,q^{2r})$ with $r\ge 1$, or the rational BKS curve of degree $q+1$ in $\mathrm{PG}(2,q^r)$ with $q$ odd and $r\ge 1$. Then $Ω(\mathcal{C})$ has four and seven characters, respectively. Furthermore, $Ω(\mathcal{C})$ is small as both curves are either maximal or minimal. The completeness problem is investigated by an algebraic approach based on Galois theory and on the Hasse-Weil lower bound. Our main result for the Hermitian case is that $Ω(\mathcal{C})$ is complete for $r\ge 4$. For the rational BKS curve, $Ω(\mathcal{C})$ is complete if and only if $r$ is even. If $r$ is odd then the uncovered points by the $(q+1)$-secants to $Ω(\mathcal{C})$ are exactly the points in $\mathrm{PG}(2,q)$ not lying in $Ω(\mathcal{C})$. Adding those points to $Ω(\mathcal{C})$ produces a complete $(k,q+1)$-arc in $\mathrm{PG}(2,q^r)$, with $k=q^r+q$. The above results do not hold true for $r=2$ and there remain open the case $r=3$ for the Hermitian curve, and the cases $r=3,4$ for the rational BKS curve. As a by product we also obtain two results of interest in the study of the Galois inverse problem for $\mathrm{PGL}(2,q)$.
Doubly transitive equiangular tight frames that contain regular simplices
Published
• View Publication
• BIB
An equiangular tight frame (ETF) is a finite sequence of equal norm vectors in a Hilbert space that achieves equality in the Welch bound, and so has minimal coherence. The binder of an ETF is the set of all subsets of its indices whose corresponding vectors form a regular simplex. An ETF achieves equality in Donoho and Elad's spark bound if and only if its binder is nonempty. When this occurs, its binder is the set of all linearly dependent subsets of it of minimal size. Moreover, if members of the binder form a balanced incomplete block design (BIBD) then its incidence matrix can be phased to produce a sparse representation of its dual (Naimark complement). A few infinite families of ETFs are known to have this remarkable property. In this paper, we relate this property to the recently introduced concept of a doubly transitive equiangular tight frame (DTETF), namely an ETF for which the natural action of its symmetry group is doubly transitive. In particular, we show that the binder of any DTETF is either empty or forms a BIBD, and moreover that when the latter occurs, any member of the binder of its dual is an oval of this BIBD. We then apply this general theory to certain known infinite families of DTETFs. Specifically, any symplectic form on a finite vector space yields a DTETF, and we compute the binder of it and its dual, showing that the former is empty except in a single notable case, and that the latter consists of affine Lagrangian subspaces. This unifies and generalizes several results from the existing literature. We then consider the binders of four infinite families of DTETFs that arise from quadratic forms over the field of two elements, showing that two of these are empty except in a finite number of cases, whereas the other two form BIBDs that relate to each other, and to Lagrangian subspaces, in nonobvious ways.
Semidefinite approximations for bicliques and biindependent pairs
Published
• View Publication
• BIB
We investigate some graph parameters dealing with biindependent pairs $(A,B)$ in a bipartite graph $G=(V_1\cup V_2,E)$, i.e., pairs $(A,B)$ where $A\subseteq V_1$, $B\subseteq V_2$ and $A\cup B$ is independent. These parameters also allow to study bicliques in general graphs. When maximizing the cardinality $|A\cup B|$ one finds the stability number $α(G)$, well-known to be polynomial-time computable. When maximizing the product $|A|\cdot |B|$ one finds the parameter $g(G)$, shown to be NP-hard by Peeters (2003), and when maximizing the ratio $|A|\cdot |B|/|A\cup B|$ one finds $h(G)$, introduced by Vallentin (2020) for bounding product-free sets in finite groups. We show that $h(G)$ is an NP-hard parameter and, as a crucial ingredient, that it is NP-complete to decide whether a bipartite graph $G$ has a balanced maximum independent set. These hardness results motivate introducing semidefinite programming bounds for $g(G)$, $h(G)$, and $α_{\text{bal}}(G)$ (the maximum cardinality of a balanced independent set). We show that these bounds can be seen as natural variations of the Lovász $\vartheta$-number, a well-known semidefinite bound on $α(G)$. In addition we formulate closed-form eigenvalue bounds and we show relationships among them as well as with earlier spectral parameters by Hoffman, Haemers (2001) and Vallentin (2020).