Showing 20 papers (Total: 83190 papers, 48060 authors in database)
An extension of Viennot's shadow to rook placements via orbit harmonics
For fixed positive integers $n,m,r$, let $\mathrm{Mat}_{n \times m}(\mathbb{C})$ be the affine space of $n \times m$ complex matrices with coordinate ring $\mathbb{C}[\mathbf{x}_{n \times m}]$. We define a homogeneous ideal $I_{n,m,r}$, where the graded quotient $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$ is obtained from the orbit harmonics deformation of the matrix loci corresponding to all rook placements of size at least $r$. By extending rook placements to elements in $\mathfrak{S}_{n+m-r}$ and applying Viennot's shadow line avatar of the Schensted correspondence, we compute the standard monomial basis of the quotient $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$ with respect to diagonal monomial orders. We also determine the graded $\mathfrak{S}_n\times\mathfrak{S}_m$-module structure of $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$.
The injective norm of CSS quantum error-correcting codes
In this paper, we compute the injective norm - a.k.a. geometric entanglement - of standard basis states of CSS quantum error-correcting codes. The injective norm of a quantum state is a measure of genuine multipartite entanglement. Computing this measure is generically NP-hard. However, it has been computed exactly in condensed-matter theory - notably in the context of topological phases - for the Kitaev code and its extensions, in works by Orús and collaborators. We extend these results to all CSS codes and thereby obtain the injective norm for a nontrivial, infinite family of quantum states. In doing so, we uncover an interesting connection to matroid theory and Edmonds' intersection theorem.
N^d-indexed persistence modules, higher dimensional partitions and rank invariants
Published
• View Publication
• BIB
We study decomposable N^d-indexed persistence modules via higher dimensional partitions. Their barcodes are defined in terms of the extended interior of the corresponding Young diagrams. For two decomposable N^d-indexed persistence modules, we present a necessary and sufficient condition, in terms of the partitions, for their rank invariants to be the same. This generalizes the well-known fact that for an N-indexed persistence module, its barcode and its rank invariant determine each other, i.e., the rank invariant is a complete invariant.
Commuting graphs of completely 0-simple semigroups
The aim of this paper is to study commuting graphs of completely $0$-simple semigroups, using the characterization of these semigroups as $0$-Rees matrix semigroups over a groups. We establish a method to decide whether the commuting graph of this semigroup construction is connected or not. If it is not connected, we also supply a way to identify the connected components of the commuting graph. We show how to obtain the diameter of the commuting graph (when it is connected) and the diameters of the connected components of the commuting graph (when it is not connected). Moreover, we obtain the clique number and girth of the commuting graph of such a semigroup, as well as two upper bounds (either of which can be the best in different situations) for its chromatic number. We also determine the knit degree of such a semigroup.
Finally, we use the results regarding the properties of the commuting graph of a $0$-Rees matrix semigroup over a group to determine the set of possible values for the diameter, clique number, girth, chromatic number and knit degree of the commuting graph of a completely $0$-simple semigroup.
Lattice point enumeration of polytopes associated to integer compositions
Published
• View Publication
• BIB
An $n$-dimensional lattice polytope ${\mathcal Q}_σ$ can be associated to any composition $σ$ of a positive integer $n$, as a special case of constructions due to Pitman--Stanley and Chapoton. The entries of the $h$-vector of $σ$, introduced by Chapoton, enumerate the lattice points in ${\mathcal Q}_σ$ by the number of their nonzero coordinates. Chapoton conjectured that this vector is equal to the $h$-vector of a flag simplicial polytope. This paper proves this conjecture. Moreover, it shows that the gamma-vector associated to the $h$-vector of $σ$ is nonnegative by means of an explicit combinatorial interpretation and confirms certain other conjectures of Chapoton on the lattice point enumeration of composition polytopes. A combinatorial interpretation of their $h^\ast$-polynomials is deduced.
Pinned patterns and density theorems in $\mathbb R^d$
For integers $k\geq 3,d\geq 2,$ we consider the abundance property of pinned $k$-point patterns occurring in $E\subseteq \mathbb R^d$ with positive upper density $δ(E)$. We show that for any fixed $k$-point pattern $V$, there is a set $E$ with positive upper density such that $E$ avoids all sufficiently large affine copies of $V$, with one vertex fixed at any point in $E$. However, we obtain a positive quantitative result, which states that for any fixed $E$ with positive upper density, there exists a $k$-point pattern $V,$ such that for any $x\in E$, the pinned scaling factor set
\begin{equation*}
D_x^V(E):=\{r> 0: \exists \text{ isometry } O \text{ such that }x+r\cdot O(V)\subseteq E\},
\end{equation*}
has upper density $\geq \tilde \varepsilon>0$, where constant $\tilde \varepsilon$ depends on $k,d$ and $δ(E)$.
Homotopy Type of Total Cut Complexes of Squared Cycle Graphs
In this paper, we investigate the homotopy type and combinatorial properties of total cut complexes of squared cycle graphs. The total cut complexes are a new type of graphical complexes introduced by Bayer et al.(2024) to extend Fröberg's theorem. In Bayer et al.[Topology of cut complexes of graphs, SIAM J. on Discrete Math. 38(2): 1630--1675 (2024)], the authors made a conjecture on the homotopy type of total cut complexes of squared cycle graphs for $k \geq 3$. We proved this conjecture in the case when $k=3$ . For general $k\geq 3$, we confirmed the cases when $n =3k+1$ and $3k+2$.
Regular triangle unions with maximal number of sides
Given an integer n>=1. Suppose, a simple polygon is a union of n triangles so that vertices along the common boundary are arranged cyclically. What is the maximal number of sides such union - call it regular - can have? This is a sequence A375986, a recent entry into the OEIS. In this paper we prove that the sequence starts as 3, 12, 22, 33, 45, 56, 67, 80, 91, and satisfies simple linear lower and upper bounds. The latter is not only a bound, but in fact is realizable combinatorially. The questions whether it can be realized in pseudoline geometry, and, if so, whether such constructions are stretchable, are the next natural ones to pose. The paper is mostly expository and written in an informal style. However, it adds a new tool in investigating unions of objects; namely, triangulation shifts.
Three-color online Ramsey numbers $\tilde{r}(P_3,P_3,P_{\ell})$ and $\tilde{r}(P_3, P_3, C_{\ell})$
For given graphs $G_1, \ldots, G_k$, let $\tilde{r}(G_1, \ldots, G_k)$ denote their online Ramsey number. In an influential paper on the online Ramsey numbers for paths and cycles, Cyman, Dzido, Lapinskas, and Lo (Electron. J. Combin., 2015) determined the exact values of $\tilde{r}(P_3, P_{\ell})$ and $\tilde{r}(P_3, C_{\ell})$. They also conjectured the exact value of $\tilde{r}(P_4, P_{\ell})$ and the limit of $\tilde{r}(P_k, P_{\ell})/\ell$ as $\ell \to \infty$ for $k \ge 5$. The former conjecture was independently confirmed by Bednarska-Bzdȩga (European J. Combin., 2024) and Y.B. Zhang and Y.X. Zhang (arXiv:2302.13640), while the latter was disproved by Mond and Portier (European J. Combin., 2024). In this paper, we extend this line of research to the three-color setting and establish the exact value of $\tilde{r}(P_3,P_3,P_{\ell})$ for $\ell\ge 2$ and $\tilde{r}(P_3, P_3, C_{\ell})$ for $\ell \ge 16$.
Stable non-minimal fixed points of threshold-linear networks
Published
• View Publication
• BIB
In threshold-linear networks (TLNs), a fixed point is called minimal if no proper subset of its support is also a fixed point. Curto et al (Advances in Applied Mathematics, 2024) conjectured that every stable fixed point of any TLN must be a minimal fixed point. We provide a counterexample to this conjecture: an explicit competitive TLN on 3 neurons that exhibits a stable fixed point whose support is not minimal (it contains the support of another stable fixed point). We prove that there is no competitive TLN on 2 neurons which contains a stable non-minimal fixed point, so our 3-neuron construction is the smallest such example. By expanding our base example, we show for any positive integers $i, j$ with $i < j-1$ that there exists a competitive TLN with stable fixed point supports $τ\subsetneq σ$ for which $|τ| = i$ and $|σ| = j$. Using a different expansion of our base example, we also show that chains of nested stable fixed points in competitive TLNs can be made arbitrarily long.
The MacaulayPosets package for Macaulay2
We introduce the package MacaulayPosets written for the computational algebra system Macaulay2. This package utilized the poset data type introduced in the Posets package and offers functionality for studying the Macaulay property for posets, particularly those which arise as monomial posets of commutative rings. A Macaulay poset is characterized by a ranked structure and a total order that interacts harmoniously with the partial order, enabling the establishment of bounds on the sizes of subsets of a given rank within an order ideal.
On the average size of $1$-nearly independent vertex sets in graphs
A $k$-nearly independent vertex subset of a graph $G$ is a set of vertices that induces a subgraph containing exactly $k$ edges. For $k = 0$, this coincides with the classical notion of independent subsets. This paper investigates the average size, $av_1(G)$ of the $1$-nearly independent vertex subsets of both graphs and trees of a given order $n$.
Let $E_n$ denote the $n$-vertex edgeless graph, so that $av_1(E_n) = 0$. We determine all $n$-vertex graphs $G\neq E_n$ that minimize or maximize $av_1$. Similarly, we identify the trees of order $n$ that achieve the minimum value of $av_1$, and prove that the maximum value lies between $n/2$ and $(n+1)/2$ if $n>8$. Finally, we construct a family of $n$-vertex trees which shows that the bounds are asymptotically sharp.
Monotonically Decreasing the Number of Directed 3-Cycles via Edge-Flips?
We investigate a combinatorial reconfiguration problem on oriented graphs, where a reconfiguration step (edge-flip) is the inversion of the orientation of a single edge. A recently published conjecture that is relevant to the correctness of a Markov Chain Monte Carlo sampler for directed flag complexes states that any simple oriented graph admits a flip sequence that monotonically decreases the number of directed 3-cycles to zero, and is known to be true for complete oriented graphs.
We show that, in general, this conjecture does not hold. As main tool for disproving the conjecture, we introduce the concept of FBD-graphs (fully blocked digraphs). An FBD-graph is a directed graph that does not contain any directed 1-, 2-, or 3-cycles, and for which any edge-flip creates a directed 3-cycle. We prove that the non-existence of FBD-graphs is a necessary condition for the conjecture to hold and succeed in constructing FBD-graphs. On the other hand, we show that complete graphs, as well as graphs in which every edge is incident to at most two triangles, cannot be fully blocked. In addition to being relevant for determining in which cases the above mentioned sampling process is correct, the concept of FBD-graphs might also be useful for other problems and yields interesting questions for further study.
EKR-Type Theorems for Pendant Graph Constructions
The classical Erdős--Ko--Rado (EKR) theorem characterizes the maximum size of intersecting families of $r$-element subsets of an $n$-element set. We study EKR-type questions for independent $r$-sets in \emph{pendant} graph constructions, obtained by attaching to each base vertex a clique of prescribed size.
Our contributions are threefold. We give an alternate and purely combinatorial proof (via shifting and shadows) that the pendant complete graph $K_n^{*}$ is $r$-EKR for $n \ge 2r$, and strictly so for $n>2r$, recovering a result of De Silva, Dionne, Dunkelberg, and Harris. We extend this to \emph{generalized pendant complete graphs}, where every base vertex in the clique supports a clique of arbitrary size, proving that that generalized pendant complete graphs are $r$-EKR whenever $n \ge 2r$. For pendant paths $P_n^{*}$, we provide elementary constructions showing that $P_n^{*}$ is not $(n-k)$-EKR when $n \ge 3k+2$ for $k\ge 2$, not $(n-1)$-EKR for $n\ge 6$, and not $n$-EKR for $n\ge 4$. These results fit naturally into the Holroyd--Talbot perspective relating $r$-EKR thresholds to independence parameters and supply tools for further pendant constructions.
Manhattan and Chebyshev flows
We investigate multidimensional nowhere-zero flows of bridgeless graphs. By extending the established use of the Euclidean norm, this paper considers the Manhattan and Chebyshev norms, leading to the definition of the flow numbers $Φ_d^1(G)$ and $Φ_d^\infty(G)$, respectively. These flow numbers are always rational and in two dimensions, they distinguish between cubic graphs that are 3-edge-colourable and those that are not. We also prove that, for any bridgeless graph $G$, the two values $Φ^1_2(G)$ and $Φ^\infty_2(G)$ are the same. We give new upper and lower bounds and structural results, and we find connections with cycle covers. Finally, we introduce the idea of $t$-flow-pairs, which comes from a method used in Seymour's proof of the 6-flow theorem, and we propose new conjectures that could be stronger than Tutte's famous 5-flow conjecture.
Enumeration of Tree-like Multigraphs with a Given Number of Vertices, Self-loops and Multiple Edges
Published
• View Publication
• BIB
Counting non-isomorphic tree-like multigraphs that include self-loops and multiple edges is an important problem in combinatorial enumeration, with applications in chemical graph theory, polymer science, and network modeling. Traditional counting techniques, such as Polya's theorem and branching algorithms, often face limitations due to symmetry handling and computational complexity. This study presents a unified dynamic programming framework for enumerating tree-like graphs characterized by a fixed number of vertices, self-loops, and multiple edges. The proposed method utilizes canonical rooted representations and recursive decomposition of subgraphs to eliminate redundant configurations, ensuring exact counting without the need for explicit structure generation. The framework also provides analytical bounds and recurrence relations that describe the growth behaviour of such multigraphs. This work extends previous models that treated self-loops and multiple edges separately, offering a general theoretical foundation for the enumeration of complex tree-like multigraphs in both mathematical and chemical domains.
Talagrand-Type Correlation Inequalities for Supermodular and Submodular Functions on the Hypercube
Published
• View Publication
• BIB
Talagrand initiated a quantitative program by lower-bounding the correlation of any two increasing Boolean functions in terms of their influences, thereby capturing how strongly the functions depend on the exact coordinates. We strengthen this line of results by proving Talagrand-type correlation lower bounds that hold whenever the increasing functions additionally satisfy super/submodularity. In particular, under super/submodularity, we establish the ``dream inequality'' $$\mathbb{E}[fg]-\mathbb{E}[f]\mathbb{E}[g]\ge \frac{1}{4}\cdot\sum\limits_{i=1}^n\mathrm{Inf}_i[f]\mathrm{Inf}_i[g].$$ Thereby confirming a conjectural direction suggested by Kalai--Keller--Mossel. Our results also clarify the connection to the antipodal strengthening considered by Friedgut, Kahn, Kalai, and Keller, who showed that a famous Chvátal's conjecture is equivalent to a certain reinforcement of Talagrand-type correlation inequality when one function is antipodal. Thus, our inequality verifies the Friedgut--Kahn--Kalai--Keller conjectural bound in this structured regime (super/submodular). Our approach uses two complementary methods: (1) a semigroup proof based on a new heat-semigroup representation via second-order discrete derivatives, and (2) an induction proof that avoids semigroup argument entirely.
Corrections to Classical Matrix Ensemble Moments, Non-Crossing Annular Pairings, and Ribbon Graphs
We elucidate a bijection between ribbon graphs on the real projective plane and non-crossing annular pairings that relate to the $1/N$ correction term of the GOE and LOE spectral moments. We also derive analogous objects for the $1/N^2$ correction terms of said moments and their equivalents for the GUE and LUE.
The Parity-Constrained Four-Peg Tower of Hanoi Problem and Its Associated Graph
We introduce and study a new four-peg variant of the Tower of Hanoi problem under parity constraints. Two pegs are neutral and allow arbitrary disc placements, while the remaining two pegs are restricted to discs of a prescribed parity: one for even-labelled discs and the other for odd-labelled discs. Within this constrained setting, we investigate four canonical optimization objectives according to distinct target configurations and derive for each the exact number of moves required to optimally transfer the discs. We establish a coupled system of recursive relations governing the four optimal move functions and unfold them into higher-order recurrences and explicit closed forms. These formulas exhibit periodic growth patterns and reveal that all solutions grow exponentially, but at a significantly slower rate than the classical three-peg case. In particular, each optimal move sequence has an a half-exponential-like asymptotic order induced by the parity restriction. In addition, we define the associated parity-constrained Hanoi graph, whose vertices represent all feasible states and whose edges represent legal moves. We determine its order, degrees, connectivity, planarity, diameter, Hamiltonicity, clique number, and chromatic properties, and show that it lies strictly between the classical three- and four-peg Hanoi graphs via the inclusion relation.
Partitions of complete twisted graphs into plane spanning trees
Published in Discrete and Computational Geometry, Graphs, and Games. JCDCGGG 2022. Lecture Notes in Computer Science, vol 14364, 210 - 218
• View Publication
• BIB
We characterize all partitions of the complete twisted graph $T_{2n}$ into plane spanning trees. In the case of partitions of $T_{2n}$ into isomorphic plane spanning trees, we show that all trees in these partitions must be balanced double stars. As a consequence of our results, any complete topological graph with $n$ vertices contains a complete topological subgraph with $m \geq c\log^{1/8} n$ vertices that admits a partition into plane spanning trees.