Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Configurations, Tessellations and Tone Networks
Published
• View Publication
• BIB
The Eulerian tonnetz, which associates three minor chords to each major chord and three major chords to each minor chord, can be represented by a bipartite graph with twelve white vertices denoting major chords and twelve black vertices denoting minor chords. This so-called Levi graph determines a configuration of twelve points and twelve lines in $\mathbb R^2$ with the property that three points lie on each line and three lines pass through each point. Interesting features of the tonnetz, such as the existence of the four hexatonic cycles and the three octatonic cycles, crucial for the understanding of nineteenth-century harmony and voice leading, can be read off directly as properties of this configuration $\{12_3\}$ and its Levi graph. Analogous tone networks together with their Levi graphs and configurations can be constructed for pentatonic music and twelve-tone music. These and other new tonnetze offer the promise of new methods of composition. If the constraints of the Eulerian tonnetz are relaxed so as to allow movements between major and minor triads with variations at exactly two tones, the resulting bipartite graph has two components, each generating a tessellation of the plane, of a type known to Kepler, based on hexagons, squares and dodecagons. When the same combinatorial idea is applied to tetrachords of the 'Tristan' genus (dominant sevenths and half-diminished sevenths) the cycles of the resulting bipartite graph are sufficiently ample in girth to ensure the existence of a second configuration $\{12_3\}$, distinct from the Eulerian tonnetz as an incidence geometry, which can be used for a new approach to the analysis of the rich tetradic harmonies of the nineteenth century common practice.
Realizations of homology classes and projection areas
The relationship between convex geometry and algebraic geometry has deep historical roots, tracing back to classical works in enumerative geometry. In this paper, we continue this theme by studying two interconnected problems regarding projections of geometric objects in four-dimensional spaces:
(1) Let $A$ be a convex body in $\mathbb{R}^4$, and let $(p_{12}, p_{13}, p_{14}, p_{23}, p_{24}, p_{34})$ be the areas of the six coordinate projections of $A$ in $\mathbb{R}^2$. Which tuples of six nonnegative real numbers can arise in this way?
(2) Let $S$ be an irreducible surface in $(\mathbb{P}^1)^4$, and let $(p_{12}, p_{13}, p_{14}, p_{23}, p_{24}, p_{34})$ be the degrees of the six coordinate projections from $S$ to $(\mathbb{P}^1)^2$. Which tuples of six nonnegative integers can arise in this way?
We show that these questions are governed by the Plücker relations for the Grassmannian $\text{Gr}(2,4)$ over the triangular hyperfield $\mathbb{T}_2$. We extend our analysis by determining the homology classes in $(\mathbb{P}^m)^n$ proportional to the fundamental classes of irreducible algebraic surfaces, resolving the algebraic Steenrod problem in this setting. Our results lead to several conjectures on realizable homology classes in smooth projective varieties and on the projection volumes of convex bodies.
Sensitivity and Hamming graphs
Published
• View Publication
• BIB
For any $m\geq 3$ we show that the Hamming graph $H(n,m)$ admits an imbalanced partition into $m$ sets, each inducing a subgraph of low maximum degree. This improves previous results by Tandya and by Potechin and Tsang, and disproves the Strong $m$-ary Sensitivity Conjecture of Asensio, García-Marco, and Knauer. On the other hand, we prove their weaker $m$-ary Sensitivity Conjecture by showing that the sensitivity of any $m$-ary function is bounded from below by a polynomial expression in its degree.
Sign patterns which require or allow the strong multiplicity property
Published
• View Publication
• BIB
We initiate a study of sign patterns that require or allow the non-symmetric strong multiplicity property (nSMP). We show that all cycle patterns require the nSMP, regardless of the number of nonzero diagonal entries. We present a class of Hessenberg patterns that require the nSMP. We characterize which star sign patterns require, which allow, and which do not allow the nSMP. We show that if a pattern requires distinct eigenvalues, then it requires the nSMP. Further, we characterize the patterns that allow the nSMP as being precisely the set of patterns that allow distinct eigenvalues, a property that corresponds to a simple feature of the associated digraph. We also characterize the sign patterns of order at most three according to whether they require, allow, or do not allow the nSMP.
Further results on latin squares with disjoint subsquares using rational outline squares
Published
• View Publication
• BIB
In this paper we consider the problem of finding latin squares with sets of pairwise disjoint subsquares. We develop a new necessary condition on the sizes of the subsquares which incorporates and extends the known conditions. We provide a construction for the case where all but two of the subsquares are the same size, and in this case the condition is sufficient. We obtain these results using symmetric rational outline squares, and additionally provide several new results and extensions to this theory.
Inertia, Independence and Expanders
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices, independence number $α(G)$, Lovász theta function $\vartheta(G)$, and Shannon capacity $Θ(G)$. We define $n_{\ge0}(G)$ to be the minimum number of non-negative eigenvalues taken over all Hermitian weighted adjacency matrices of $G$. It is well known that $α(G) \le Θ(G) \le \vartheta(G)$ and $α(G) \le n_{\ge0}(G)$.
Continuing a long line of work, we investigate the relationships between $ α(G) $, $ \vartheta(G) $, $Θ(G)$, and $ n_{\ge 0}(G) $. We prove a conjecture of Kwan and Wigderson, showing that for every integer $k$, there exists a graph $G$ with $α(G) \leq 2$ and $n_{\ge 0}(G) \ge k$. In addition, we prove that for every integer $k$, there exists a graph $G$ with $Θ(G) \leq 3$ and $n_{\ge 0}(G) \ge k$. Both results rely on a new observation: if the complement of $G$ contains a good spectral expander, then $n_{\geq 0}(G)$ must be large. We also show that $\vartheta(G)$ can be exponentially larger than $n_{\ge 0}(G)$, improving a recent result of Ihringer.
Revisiting Sparse Matrix Coloring and Bicoloring
Sparse matrix coloring and bicoloring are fundamental building blocks of sparse automatic differentiation. Bicoloring is particularly advantageous for rectangular Jacobian matrices with at least one dense row and column. Indeed, in such cases, unidirectional row or column coloring demands a number of colors equal to the number of rows or columns. We introduce a new strategy for bicoloring that encompasses both direct and substitution-based decompression approaches. Our method reformulates the two variants of bicoloring as star and acyclic colorings of an augmented symmetric matrix. We extend the concept of neutral colors, previously exclusive to bicoloring, to symmetric colorings, and we propose a post-processing routine that neutralizes colors to further reduce the overall color count. We also present the Julia package SparseMatrixColorings, which includes these new bicoloring algorithms alongside all standard coloring methods for sparse derivative matrix computation. Compared to ColPack, the Julia package also offers enhanced implementations for star and acyclic coloring, vertex ordering, as well as decompression.
Undecidability of Polynomial Inequalities in Subset Densities and Additive Energies
Published
• View Publication
• BIB
Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{á}sz, Szegedy and Razborov, Hatami and Norine proved that determining the validity of an arbitrary such polynomial inequality in graph homomorphism densities is undecidable. We observe that many results in additive combinatorics can also be formulated as polynomial inequalities in subset's density and its variants. Based on techniques introduced in Hatami and Norine, together with algebraic and graph construction and Fourier analysis, we prove similarly two theorems of undecidability, thus showing that establishing such polynomial inequalities in additive combinatorics are inherently difficult in their full generality.
Extended inverse results for restricted h-fold sumset in integers
Let $A$ be a finite set of $k$ integers. For $h \leq k$, the restricted $h$-fold sumset $h^{\wedge} A$ is the set of all sums of $h$ distinct elements of $A$. In additive combinatorics, much of the focus has traditionally been on finite integer sets whose sumsets are unusually small (cf.\ Freiman's theorem and its extensions). More recently, Nathanson posed the inverse problem for the restricted sumset $h^{\wedge} A$ when $|h^{\wedge} A|$ is small. For $h \in \{2, 3, 4\}$, this question has already been studied by Mohan and Pandey. In this article, we study the inverse problems for $h^{\wedge} A$ with arbitrary $h \geq 3$ and characterize all possible sets $A$ for certain cardinalities of $h^{\wedge} A$.
On core of categorical product of (di)graphs
The core of a graph is the smallest graph (in terms of number of vertices) to which it is homomorphically equivalent.
The question of the possible order of the core of the tensor product (also known as categorical, Heidetnemi or direct product) of two graphs captures some well known problems. For instance, the recent counterexample to the Hedetniemi conjecture for 5-chromatic graphs is equivalent to saying that there are cores of order at least 5 whose product has a core of order 4.
In this work, motivated by a question from Leonid Libkin in the area of graph databases, we first present methods of building cores whose categorical product is also a core. Extending on this we present sufficient conditions for a set of cores to have a product which is also a core. Presenting an example of such a family of digraphs, we construct a family of $\binom{2n}{n}$ digraphs, where the number of vertices of each is between $n^2+5n+2$ and $3n^2+3n+2$ and the product is a core. We then present a method of transforming the example into a family of graphs.
Extremal Cat Herding
The game of Cat Herding is one in which cat and herder players alternate turns, with the evasive cat moving along non-trivial paths between vertices, and the herder deleting single edges from the graph. Eventually the cat cannot move, and the number of edges deleted is the cat number of the graph. We analyze both when the cat is captured quickly, and when the cat evades capture forever, or for an arbitrarily long time. We develop a reduction construction that retains the cat number of the graph, and classify all (reduced) graphs that have cat number 3 or less as a finite set of graphs. We expand on a logical characterization of infinite Cat Herding on trees to describe all infinite graphs on which the cat can evade capture forever. We also provide a brief characterization of the graphs on which the cat can score arbitrarily high. We conclude by motivating a definition of cat herding ordinals for future research.
An efficient search strategy for hidden ideals in pointed partially ordered sets
Published
• View Publication
• BIB
We consider a combinatorial question about searching for an unknown ideal $μ$ within a known pointed poset $λ$. Elements of $λ$ may be queried for membership in $μ$, but at most $k$ positive queries are permitted. We provide a general search strategy for this problem, and establish new bounds (based on $k$ and the degree and height of $λ$) for the total number of queries required to identify $μ$. We show that this strategy performs asymptotically optimally on the family of complete $\ell$-ary trees as the height grows.
Order polytopes of graded posets are gamma-effective
Order polytopes of posets have been a very rich topic at the crossroads between combinatorics and discrete geometry since their definition by Stanley in 1986. Among other notable results, order polytopes of graded posets are known to be $γ$-nonnegative by work of Brändén, who introduced the concept of sign-graded poset in the process.
In the present paper we are interested in proving an equivariant version of Brändén's result, using the tools of equivariant Ehrhart theory (introduced by Stapledon in 2011). Namely, we prove that order polytopes of graded posets are always $γ$-effective, i.e., that the $γ$-polynomial associated with the equivariant $h^*$-polynomial of the order polytope of any graded poset has coefficients consisting of actual characters. To reach this goal, we develop a theory of order polytopes of sign-graded posets, and find a formula to express the numerator of the equivariant Ehrhart series of such an object in terms of the saturations (à la Brändén) of the given sign-graded poset.
On the Sumset of Sets of Size $k$
The set $\mathcal{R}_{G}(h,k)$ consists of all possible sizes for the $h$-fold sumset of sets containing $k$ elements from an additive abelian group $G$. The exact makeup of this set is still unknown, but there has been progress towards determining which integers are present. We know that $\mathcal{R}_{G}(h,k)\subseteq\left[hk-h+1,\binom{h+k-1}{h}\right]$, where the right side is an interval of integers that includes the endpoints. These endpoints are known to be attained. We will prove that the integers in $\left[hk-h+2,hk-1\right]$ are not possible sizes for the $h$-fold sumset of a set containing $k\geq 4$ elements of a torsion-free additive abelian group $G$. Furthermore, we will confirm that this interval can't be made larger by exhibiting a subset of $G$ whose $h$-fold sumset has size $hk$.
The generalized trifference problem
Published
• View Publication
• BIB
We study the problem of finding the largest number $T(n, m)$ of ternary vectors of length $n$ such that for any three distinct vectors there are at least $m$ coordinates where they pairwise differ.
For $m = 1$, this is the classical trifference problem which is wide open.
We prove upper and lower bounds on $T(n, m)$ for various ranges of the parameter $m$ and determine the phase transition threshold on $m=m(n)$ where $T(n, m)$ jumps from constant to exponential in $n$.
By relating the linear version of this problem to a problem on blocking sets in finite geometry, we give explicit constructions and probabilistic lower bounds.
We also compute the exact values of this function and its linear variation for small parameters.
Odd clique minors in graphs with independence number two
A $K_t$-expansion consists of $t$ vertex-disjoint trees, every two of which are joined by an edge. We call such an expansion odd if its vertices can be two-colored so that the edges of the trees are bichromatic but the edges between trees are monochromatic. A graph contains an odd $K_t$ minor or an odd clique minor of order $t$ if it contains an odd $K_t$-expansion. Gerards and Seymour from 1995 conjectured that every graph $G$ contains an odd $K_{χ(G)}$ minor, where $χ(G)$ denotes the chromatic number of $G$. This conjecture is referred to as ``Odd Hadwiger's Conjecture". Let $α(G)$ denote the independence number of a graph $G$. In this paper we investigate the Odd Hadwiger's Conjecture for graphs $G$ with $α(G)\le2$. We first observe that a graph $G$ on $n$ vertices with $α(G)\le2$ contains an odd $K_{χ(G)}$ minor if and only if $G$ contains an odd clique minor of order $\lceil n/2\rceil$. We then prove that every graph $G$ on $n$ vertices with $α(G)\le 2$ contains an odd clique minor of order $\lceil n/2\rceil$ if $G$ contains a clique of order $n/4$ when $n$ is even and $(n+3)/4$ when $n$ is odd, or $G$ does not contain $H$ as an induced subgraph, where $α(H)\le 2$ and $H$ is an induced subgraph of $K_1 + P_4$, $K_2+(K_1\cup K_3)$, $K_1+(K_1\cup K_4)$, $K_7^-$, $K_7$, or the kite graph.
Homomorphism Indistinguishability Relations induced by Quantum Groups
Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs $G$ and $H$ are called homomorphism indistinguishable over a graph class $\mathcal{F}$ if for each $F \in \mathcal{F}$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Examples of such equivalence relations include isomorphism and cospectrality, as well as equivalence with respect to many formal logics. Quantum groups are a generalisation of topological groups that describe "non-commutative symmetries" and, inter alia, have applications in quantum information theory. An important subclass are the easy quantum groups, which enjoy a combinatorial characterisation and have been fully classified by Raum and Weber. A recent connection between these seemingly distant concepts was made by Mančinska and Roberson, who showed that quantum isomorphism, a relaxation of classical isomorphism that can be phrased in terms of the quantum symmetric group, is equivalent to homomorphism indistinguishability over the class of planar graphs. We generalise Mančinska and Roberson's result to all orthogonal easy quantum groups. We obtain for each orthogonal easy quantum group a graph isomorphism relaxation $\approx$ and a graph class $\mathcal{F}$, such that homomorphism indistinguishability over $\mathcal{F}$ coincides with $\approx$. Our results include a full classification of the $(0, 0)$-intertwiners of the graph-theoretic quantum group obtained by adding the adjacency matrix of a graph to the intertwiners of an orthogonal easy quantum group.
Largest $3$-uniform set systems with VC-dimension $2$
We determine the largest size of $3$-uniform set systems on $[n]$ with VC-dimension $2$ for all $n$.
Topological Indices Among Strong Support Vertex
In this paper, we provide the irregularity properties of trees with strong support vertex by analyzing two prominent topological indices: the Albertson index and the Sigma index. We further establish extremal bounds for both indices across families of trees defined by given degree sequences. Let $T_1$ and $T_2$ be a star trees of order $n$, where $T_1 \cong T_2$, then, we provide Albertson index of $T_1 \cong T_2$. Let $\mathcal{T}_{n, Δ}$ be a class of trees with $n$ vertices, there are a tree $T^{\prime} \in \mathcal{T}_{n, Δ}$ such that $\irr(T^{\prime}) < \irr(T)$.
An example showing that Schrijver's $\vartheta$-function need not upper bound the Shannon capacity of a graph
Published in AIMS Mathematics, vol. 10, no. 7, paper 685, pp. 15294--15301, July 2025
• View Publication
• BIB
This letter addresses an open question concerning a variant of the Lovász $\vartheta$ function, which was introduced by Schrijver and independently by McEliece et al. (1978). The question of whether this variant provides an upper bound on the Shannon capacity of a graph was explicitly stated by Bi and Tang (2019). This letter presents an explicit example of a Tanner graph on 32 vertices, which shows that, in contrast to the Lovász $\vartheta$ function, this variant does not necessarily upper bound the Shannon capacity of a graph. The example, previously outlined by the author in a recent paper (2024), is presented here in full detail, making it easy to follow and verify. By resolving this question, the note clarifies a subtle but significant distinction between these two closely related graph invariants.