Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Bruhat Preclosure
In 2011, Dyer published a series of conjectures on the weak order of Coxeter groups. One of these conjectures stated that the inversion set of the join of two elements in a Coxeter group is equal to some "closure" of the union of their inversion sets. In this paper we show that this "closure" is in fact a preclosure, which we call the Bruhat preclosure, but is a closure whenever our underlying set is an inversion set. By performing the Bruhat preclosure an infinite number of times we obtain a closure which we call the infinite Bruhat closure. We show in a uniform way that Dyer's conjecture is true when using the infinite Bruhat closure (instead of Bruhat preclosure) if the join exists between two elements. Finally, we end by showing in type A, the Bruhat preclosure is a closure thus giving a (second) proof that Dyer's conjecture is true in type A.
Clasped web bases from hourglass plabic graphs
G.-Pechenik-Pfannerer-Striker-Swanson applied hourglass plabic graphs to construct web bases for spaces of tensor invariants of fundamental representations of $U_q(\mathfrak{sl}_4)$, extending Kuperberg's celebrated basis for $U_q(\mathfrak{sl}_3)$. We give several combinatorial characterizations of basis webs in the kernel of the projection to invariants in a tensor product of arbitrary (type $1$) irreducibles. We apply this to show that the nonzero images of basis webs form a basis (a property shared with Lusztig's dual canonical basis) yielding distinguished clasped web bases for each such tensor product.
R-harmonious groups
A group is R-harmonious if there exists a permutation $g_1,g_2,\ldots, g_{n-1}$ of the non-identity elements of $G$ such that the consecutive products $g_1g_2$, $g_2g_3$, $\ldots, g_{n-1}g_1$ also form a permutation of the non-identity elements, where $n=|G|$. We investigate R-harmonious groups via cyclic and split extensions. Among our results, we prove that every group of odd-order not divisible by 3 is R-harmonious.
Loose Hamiltonicity
We study the appearance of Hamilton $\ell$-cycles in dense $k$-uniform hypergraphs when $\ell \leq k-2$ and $k-\ell$ does not divide $k$. Our main result reduces this problem to the robust existence of a connected $\ell$-cycle tiling in host graph families that are approximately closed under subsampling. As an application, we determine the minimum $d$-degree threshold for $d=k-2$ and all $1 \leq \ell \leq k-2$ when $k - \ell$ does not divide $k$. We also reduce the case $\ell < d$ entirely to the corresponding (non-connected) $\ell$-cycle tiling problem. In addition, our outcomes lead to counting and random robust versions of these results. The proofs are based on the recently introduced method of blow-up covers and thus avoid the use of the Regularity Lemma and the Absorption Method.
On the Prague dimension of sparse random graphs
The Prague dimension of a graph $G$ is defined as the minimum number of complete graphs whose direct product contains $G$ as an induced subgraph. Introduced in the 1970s by Nešetřil, Pultr, and Rödl -- and motivated by the work of Dushnik and Miller, as well as by the induced Ramsey theorem -- determining the Prague dimension of a graph is a notoriously hard problem. In this paper, we show that for all $\varepsilon > 0$ and $p$ such that $ n^{-1+\varepsilon} \le p \le n^{-\varepsilon}$, with high probability the Prague dimension of $G_{n,p}$ is $Θ_{\varepsilon}(pn)$, which improves upon a recent result by Molnar, Rödl, Sales and Schacht.
Inspired by the work of Bennett and Bohman, our approach centres on analysing a random greedy process that builds an independent set of size $Ω(p^{-1}\log pn)$ by iteratively selecting vertices uniformly at random from the common non-neighbourhood of those already chosen. Using the differential equation method, we show that every non-edge is essentially equally likely to be covered by this process, which is key to establishing our bound.
Reddening sequences and mutation of infinite quivers
Cluster algebras, introduced by Fomin and Zelevinsky through the process of quiver mutation, have become central objects in modern algebra and geometry, linking combinatorial constructions with diverse mathematical domains such as Teichmuller theory, total positivity, and even theoretical physics. Building on foundational work by Fomin, Shapiro, and Thurston connecting cluster algebras to triangulated surfaces, recent research has extended mutation theory to infinite settings, including the infinity-gon and more general marked surfaces. In this paper, we develop a purely combinatorial framework for mutation of infinite quivers, independent of but compatible with these topological constructions. By formalizing infinite quivers as limits of embedded finite quivers, we establish a consistent definition of mutation that generalizes prior surface-based results. We then apply this framework to extend the notion of reddening sequences, special mutation sequences with significant algebraic consequences, from the finite to the infinite setting. Our approach not only unifies previous topological and combinatorial perspectives but also provides a technical foundation for further generalizations of cluster algebra theory in the infinite case.
Extensions of Real-Weighted Fractional Arboricity: Conductance-Resistance Bounds and Monoid Structure
We study a conductance-weighted arboricity for a finite simple undirected graph $G=(V,E,c)$ with a conductance assignment $c:E\to[0,\infty)$: \[ A_c(G):=\max\bigl\{ D_c(H): H\subseteq G\text{ connected}, |V(H)|\ge 2 \bigr\},\qquad D_c(H):=\frac{\sum_{e\in E(H)}c(e)}{|V(H)|-1}. \] This functional reduces to fractional arboricity when $c\equiv 1$, is isomorphism invariant, monotone under subgraphs and edge additions, positively homogeneous, and convex. We prove sharp global bounds \[ \max_{e\in E}c(e)\le A_c(G)\le\sum_{e\in E}c(e), \] with attainment by some connected subgraph. On the analytic side, we introduce a local variant and derive conductance--resistance inequalities using effective resistances in the ambient network. If $R^{G}_{\mathrm{eff}}(e)$ denotes the effective resistance between the endpoints of $e$ in $G$, we show that every connected $H\subseteq G$ satisfies \[ \sum_{e\in E(H)}c(e)\,R^{G}_{\mathrm{eff}}(e)\le |V(H)|-1, \] which in turn yields the upper bound \[ D_c(H)\le\sqrt{\frac{\sum_{e\in E(H)}c(e)/R^{G}_{\mathrm{eff}}(e)}{|V(H)|-1}} \] and hence an explicit effective resistance-based upper bound on $A_c(G)$. On the structural side, we describe the algebraic behavior of $A_c(G)$. We show that under edge-disjoint union, $A_c(G)$ behaves as a max invariant: for a finite disjoint union of weighted graphs one has $A_c(G)= \max_i A_{c_i}(G_i)$. In particular, disjoint union induces a commutative idempotent monoid structure at the level of isomorphism classes, with $A_c(G)$ idempotent with respect to this operation. We also provide a computational exhibit on the hypercube family $Q_d$, including random conductance sampling, illustrating numerical evaluation of the resulting resistance-based bound.
The Uniform Random Walk on graphs, loop processes and graphings
We define the Uniform Random Walk (URW) on a connected, locally finite graph as the weak limit of the uniform walk of length $n$ starting at a fixed vertex. When the limit exists, it is necessarily Markovian and is independent of the starting point. For a finite graph, URW equals the Maximal Entropy Random Walk (MERW).
We investigate the existence and phase transitions of URW for loop perturbed regular graphs and their limits. It turns out that for a sequence of finite graphs, it is the global spectral theory of the limiting graphing that governs the behavior of the finite MERWs.
In the delocalized phase, we use a "membrane argument", showing that the principal eigenfunction of an expander graphing is stable under a small diagonal perturbation. This gives us: 1) The existence of URW on leaves; 2) The URW is a unique entropy maximizer; 3) The MERW of a finite graph sequence Benjamini-Schramm converges to the URW of the limiting graphing.
In the localized phase, the environment seen by the particle takes the role of a finite stationary measure. We show that for canopy trees, the URW exists, is transient and maximizes entropy. We also show that for large finite graphs where most vertices have a fixed degree, localization of MERW is governed by the adjacency norm.
Magic Gems: A Polyhedral Framework for Magic Squares
We introduce Magic Gems, a geometric representation of magic squares as three-dimensional polyhedra. By mapping an n times n magic square onto a centered coordinate grid with cell values as vertical displacements, we construct a point cloud whose convex hull defines the Magic Gem. Building on prior work connecting magic squares to physical properties such as moment of inertia, this construction reveals an explicit statistical structure: we show that magic squares have vanishing covariances between position and value. We develop a covariance energy functional (the sum of squared covariances with individual row, column, and diagonal indicator variables) and prove that for all orders of n greater than or equal to three, an arrangement is a magic square if and only if this complete energy vanishes. This characterization transforms the classical line-sum definition into a statistical orthogonality condition. We also study a simpler low-mode relaxation using only four aggregate position indicators; this coincides with the complete characterization for n equals three (verified exhaustively) but defines a strictly larger class for n greater than or equal to four (explicit counterexamples computed). Perturbation analysis demonstrates that magic squares are isolated local minima in the energy landscape. The representation is invariant under dihedral symmetry D4, yielding canonical geometric objects for equivalence classes.
On the analogue of Esperet's conjecture: Characterizing hereditary classes
In the paper [J. Graph Theory (2023) 102:458-471, the Esperet's conjecture has been posed: Every $χ$-bounded hereditary class is poly-$χ$-bounded]. This conjecture was first posed in [Habilitation Thesis, Université Grenoble Alpes, 24, 2017]. This is adapted from the Gyárfás--Sumner's conjecture which has been asserted in [The Theory and Applications of Graphs, (G. Chartrand, ed.), John Wiley & Sons, New York, 1981, pp. 557-576].
Although the Esperet's conjecture is false in general, in this study we consider an analogue of Esperet's conjecture as follows: Let $C$ be a hereditary class of graphs, and $d \ge 1$. Suppose that there is a function $f$ such that $χ(G) \le f(τ_d(G))$ for each $G \in C$. Can we always choose $f$ to be a polynomial? We investigate this conjecture by focusing on specific classes of graphs. This work identifies hereditary graph classes that do not contain specific induced subdivisions of claws and confirms that they adhere to the stated conjecture.
Towards Esperet's Conjecture: Polynomial $χ$-Bounds for Structured Graph Classes
In this paper, we establish that the class of $\{P_6, (2,2)\text{-broom}\}$-free graphs contains a subclass $\mathcal{L}_i$, defined by certain cutset conditions, whose chromatic number admits a linear $χ$-bound. Building on recent results showing that broom-free graphs excluding $K_d(t)$ as a subgraph admit a polynomial bound in~$t$ on their chromatic number (A broom is obtained from a path with one end $v$ by adding leaves adjacent to $v$), we extend this result to the hereditary class $\mathcal{H}$ of $C_4$-free and \emph{$p$-flag}-free graphs (where a \emph{$p$-flag} is a triangle with an attached $p$-path). We show that if $G \in \mathcal{H}$ is $B^{+}(p+2, t-1)$-free (for $p \ge 2$ and $t \ge 3$, that is, if it excludes a generalized broom with an additional leaf), and does not contain $K_d(t)$ as a subgraph, then $χ(G)$ is polynomially bounded in $t$. Furthermore, for the subclass of $\mathcal{H}$ excluding $K_3(t)$ as a subgraph, we prove that $χ(G)$ is linearly $χ$-bounded in $ω(G)$.
Left regular bands with symmetry
The representation theory of left regular band semigroup algebras is well-studied and known to have close connections with combinatorial topology, as established in the work of Margolis--Saliola--Steinberg ('15, '21). In this paper, we investigate the representation theory of the invariant subalgebras of left regular band semigroup algebras carrying the action of a finite group through the lens of group-equivariant combinatorial topology.
We characterize when the invariant subalgebra is semisimple or commutative and examine the equivariant structure of the Peirce components of the semigroup algebra. For CW left regular bands, we interpret these Peirce components in terms of the equivariant topology of intervals in the support semilattice, yielding the Cartan invariants of the invariant subalgebras of left regular bands associated to CAT(0)-cube complexes. We also give a topological formula for the Peirce components for left regular bands with hereditary algebras. Finally, in specializing to left regular bands associated to geometric lattices, we explore generalizations of the Desarménién--Wachs derangement representation and their connections to Markov chains.
Short Brooms in Edge-chromatic Critical Graphs
This paper studies short brooms in edge-chromatic critical graphs. We prove that for any short broom in a $Δ$-critical graph, at most one color is missing at more than one vertex. Moreover, this color (if exists) is missing at exactly two vertices. Applying this result, we verify the Vertex-splitting Conjecture for graphs with $Δ\geq 2(n-1)/3$ and the Overfull Conjecture for $Δ$-critical graphs satisfying $Δ\geq (2n+5δ-12)/3$.
Copositivity, discriminants and nonseparable signed supports
In this work we establish a connection between copositivity, that is, nonnegativity on the positive orthant, of sparse real Laurent polynomials and discriminants. Specifically, we consider Laurent polynomials in the positive orthant with fixed support and fixed coefficient signs. We provide a criterion to decide whether a given polynomial is copositive that is based in determining the intersection points of the signed discriminant and a path going through the coefficients of the polynomial. If the signed support satisfies a combinatorial condition termed nonseparability, we show additionally that this intersection consists of one point, and that tracking one path in homotopy continuation methods suffices to decide upon copositivity.
Building on these results, we show that any copositive polynomial with nonseparable signed support can be decomposed into a sum of nonnegative circuit polynomials, generalising thereby previously known supports having this property.
Harmonic Geometric Polynomials via Geometric Polynomials and Their Applications
The aim of this study is to show that harmonic geometric polynomials can be represented in terms of geometric polynomials. This problem was first considered by Keller [14]; however, the corresponding coefficients were not fully determined. In the present work, we provide several explicit representations of harmonic geometric polynomials in terms of geometric polynomials. Moreover, several applications of one of these representations are subsequently developed. In particular, we obtain a generalization of the classical identity for the harmonic numbers, compute an integral involving harmonic geometric polynomials and an integral involving products of harmonic geometric and geometric polynomials in terms of Bernoulli numbers. These integral formulas lead to new explicit expressions for Bernoulli numbers. In addition, we give several recurrence relations for harmonic geometric polynomials and evaluate a finite sum involving harmonic numbers and positive powers of integers.
A lower bound theorem for $d$-polytopes with at most $3d-1$ vertices
We prove a lower bound theorem for the number of $k$-faces ($1\le k\le d-2$) in a $d$-dimensional polytope $P$ (or $d$-polytope) with up to $3d-1$ vertices. Previous lower bound theorems for $d$-polytopes with few vertices concern those with at most $2d$ vertices, $2d+1$ vertices, and $2d+2$ vertices.
If $P$ has exactly $d+2$ facets and $2d+\ell$ vertices ($\ell\ge 1$), the lower bound is tight for certain combinations of $d$ and $\ell$. When $P$ has at least $d+3$ facets and $2d+\ell$ vertices ($\ell\ge 1$), the lower bound remains tight up to $\ell=d-1$, and equality for some $1\le k\le d-2$ is attained only when $P$ has precisely $d+3$ facets.
We exhibit at least one minimiser for each number of vertices between $2d+1$ and $3d-1$, including two distinct minimisers with $2d+2$ vertices and three with $3d-2$ vertices.
An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints
Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only terminals. In their original definition, patterns only allow for multiple distinct occurrences of some variables to be related by the equality relation, represented by using the same variable multiple times. In an extended notion, called relational patterns and relational pattern languages, variables may be related by arbitrary other relations. We extend the ongoing investigation of the main decision problems for patterns (namely, the membership problem, the inclusion problem, and the equivalence problem) to relational pattern languages under a wide range of individual relations. It is shown show that - even for many much simpler or less restrictive relations - the complexity and (un)decidability characteristics of these problems do not change compared to the classical case where variables are related only by equality.
Enumeration of Finite Distance Monoids
Building on the work of Gabriel Conant, we investigate the enumeration problems of finite distance monoids by applying the decomposition of Archimedean classes and studying their internal arithmetic progressions. Specifically, we first determine the exact value of $DM(n,2)$, which denotes the number of distance monoids on $n$ non-zero elements with Archimedean complexity $2$. This computation allows us to resolve a conjecture of Conant, establishing that the total number $DM(n)$ of distance monoids grows at least exponentially in $n$. Furthermore, we study the asymptotic behavior of $DM(n,n-k)$ for fixed $k$, proving that $DM(n,n-k) = O(n^k)$ and providing an exact formula for $DM(n,n-2)$.
Intersection problems for linear codes and polynomials over finite fields
This paper proves a stability result for a variation of the Erdős-Ko-Rado theorem in the context of polynomials over finite fields. Let $\mathcal F$ be a family of polynomials of degree at most $k \geq 3$ in $\mathbb F_q[X]$. Call $\mathcal F$ intersecting if for any two polynomials $f, g$ in $\mathcal F$, there exists a point $x \in \mathbb F_q$ for which $f(x) = g(x)$. An intersecting family is called a star if it consists of all polynomials $f$ with ${\rm deg } f \leq k$ such that $f(x) = y$ for some fixed points $x, y \in \mathbb F_q$. In this paper we prove that if $\mathcal F$ is an intersecting family with $|\mathcal F| \geq \frac 1{\sqrt 2} q^k + \mathcal O(q^{k-1})$, then $\mathcal F$ is contained in a star. In fact, we prove that this is still true if we also evaluate the polynomials "at infinity", which is equivalent to studying the problem for homogeneous bivariate polynomials.
The proof technique extends to a general framework for intersection problems of linear codes $C$. One has to investigate the geometry of the projective system $\mathcal S$ associated to $C$. If the hyperplanes that don't intersect $\mathcal S$ are well spread out with respect to the points not on $\mathcal S$, then one obtains stability results, showing that any intersecting family of reasonably large size is contained in a star.
The index of $t\mathcal{C}_{3}^{-}$-free signed graphs
The classical spectral Turán problem is to determine the maximum spectral radius of an $F$-free graph of order $n$. This paper extends this framework to signed graphs. Let $\mathcal{C}_r^-$ be the set of all unbalanced signed graphs with underlying graphs $C_r$. Wang, Hou and Li [Linear Algebra Appl, 681 (2024) 47-65] previously determined the spectral Turán number of $\mathcal{C}_{3}^{-}$. In the present work, we characterize the extremal graphs that achieve the maximum index among all unbalanced signed graphs of order $n$ that are $t\mathcal{C}{3}^{-}$-free for $t\geq 2$. Furthermore, for $t\geq 3$, we identify the graphs with the second maximum index among all $t\mathcal{C}{3}^{-}$-free unbalanced signed graphs of fixed order $n$.