Showing 20 papers (Total: 81378 papers, 47165 authors in database)
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
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
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.
Type II success runs of Bernoulli trials separated by a gap
We treat success runs of independent identically distributed Bernoulli trials (with success parameter $p$) distributed according to the Type II binomial distribution of order $k$. However, the success runs are separated by a gap $g\ge1$ (a failure followed by $g-1$ arbitrary outcomes). Most of the literature treats the case $g=1$ only. Our main results are expressions for the probability mass function (we present two derivations) and the distribution of the longest success run. We also present more concise expressions for previously published results for the factorial moments. We present results for the mean, variance, probability mass function and factorial moments for $\textrm{NB}_{\rm II}(k,g,r)$, the Type II negative binomial distribution of order $k$, where the number of success runs $r$ is fixed and the number of trials $n$ is variable. Let $L$ denote the length of the longest success run. We present a recurrence and generating function for the distribution of $L$ and derive expressions for the mean, variance and factorial moments of $L$.
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
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
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.
Infinite string bricks and Sturmian words over some gentle algebras
We study infinite string modules that are bricks over some gentle algebras. In particular, we first give a complete classification of these modules over the double-Kronecker gentle algebra and prove that each family is in bijection with a family of Sturmian (binary) words. We then generalize some of our results to a larger family of gentle algebras.
Two $t$-analogues of the tree inversion enumerator
In this note, we introduce two $t$-analogues $I_n(q,t)$ and $\widetilde{I}_n(q,t)$ of the tree inversion enumerator $I_n(q)$. Although similar, $I_n(q,t)$ and $\widetilde{I}_n(q,t)$ are different. But they both seem to have interesting properties. In particular, we conjecture that their $q=-1$ specializations give two different, natural refinements of the zigzag numbers counting alternating permutations.