Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A height-based metaconcept for rooted tree balance and its implications for the $B_1$ index
Tree balance has received considerable attention in recent years, both in phylogenetics and in other areas. Numerous (im)balance indices have been proposed to quantify the (im)balance of rooted trees. A recent comprehensive survey summarized this literature and showed that many existing indices are based on similar underlying principles. To unify these approaches, three general metaconcepts were introduced, providing a framework to classify, analyze, and extend imbalance indices. In this context, a metaconcept is a function $Φ_f$ that depends on another function $f$ capturing some aspect of tree shape. In this manuscript, we extend this line of research by introducing a new metaconcept based on the heights of the pending subtrees of all inner vertices. We provide a thorough analysis of this metaconcept and use it to answer open questions concerning the well-known $B_1$ balance index. In particular, we characterize the tree shapes that maximize the $B_1$ index in two cases: (i) arbitrary rooted trees and (ii) binary rooted trees. For both cases, we also determine the corresponding maximum values of the index.
Finally, while the $B_1$ index is induced by a so-called third-order metaconcept, we explicitly introduce three new (im)balance indices derived from the first- and second-order height metaconcepts, respectively, thereby demonstrating that pending subtree heights give rise to a variety of novel (im)balance indices.
Koszul Binomial Edge Ideals
Published in Forum of Mathematics, Sigma , Volume 14 , 2026 , e3
• View Publication
• BIB
As the binomial edge ideal of a graph is always generated by homogeneous quadratic polynomials corresponding to the edges of the graph, the question of when a binomial edge ideal defines a Koszul algebra has been studied by many authors ever since the class of ideals was first defined. Several partial results are known, including a characterization of those binomial edge ideals that possess a quadratic Gröbner basis. However, a complete characterization of the graphs determining Koszul binomial edge ideals has remained elusive. Inspired by our recent work characterizing when the graded Möbius algebras of graphic matroids are Koszul, we answer the question once and for all by proving that a graph defines a Koszul binomial edge ideal if and only if it is strongly chordal and claw-free.
Coloring small locally sparse degenerate graphs and related problems
The classic upper bound on the chromatic number of $d$-degenerate graphs is $d+1$, shown to be tight by complete graphs. A natural question is whether this bound remains tight if one forbids large cliques. Classic constructions of Tutte and Zykov from the early 50s show that there exist $d$-degenerate $(d+1)$-chromatic graphs that are triangle-free, however these constructions grow rapidly with $d$. Motivated by this and addressing a problem posed by the second author at the Oberwolfach Graph Theory workshop, we prove that the minimum order $f(d)$ of a $d$-degenerate triangle-free graph of chromatic number $d+1$ satisfies $e^{Ω(d)}\le f(d)\le e^{O(d^2\log d)}.$ The lower bound follows from a novel upper bound on the chromatic number of triangle-free graphs: Every triangle-free $d$-degenerate graph $G$ on $n \le e^{O(d)}$ vertices satisfies $$χ(G)\le O\left(\frac{d}{\log\left(d/\log n\right)}\right).$$ We extend this to a more general result about degenerate graphs with sparse neighborhoods, which has applications to many graph coloring problems: For example, we prove that every counterexample to Hadwiger's conjecture with parameter $t$ must have a complete bipartite subgraph with one exponentially large side ($K_{a,b}$ where $a=(\log t)^{1/2-o(1)}$ and $b=e^{t^{1-o(1)}}$) or a small and very dense subgraph (of order $\le t$ with $t^{2-o(1)}$ edges) in some neighborhood.
For the upper bound on $f(d)$ we establish a surprising connection between $f(d)$ and the on-line-chromatic number $g(n)$ of $n$-vertex triangle-free graphs. We also give an asymptotic improvement of the previous best upper bound for $g(n)$ due to Lovász, Saks and Trotter from 1989.
Along the way we disprove a generalization of Harris' fractional coloring conjecture to graphs of bounded clique number and raise numerous problems which open up interesting directions to explore for future research.
Lucas-Pantograph Type Exponential, Trigonometric, and Hyperbolic Functions
In this paper, we include some new results for the Lucas calculus. A Lucas-Pantograph type exponential function is introduced. Additionally, we define Lucas-Pantograph type trigonometric functions, and some of their most notable identities are given: parity, sum and difference formulas, Pythagorean identities, double-angle identities, and some special values. Lucas-Pantograph type hyperbolic functions are also introduced.
On the number of permutation-twisted dot products
For distinct real numbers $a_1, \ldots, a_n$ and distinct real numbers $b_1, \ldots, b_n$, consider the sum $S=\sum_{i=1}^n a_i b_{π(i)}$ as $π$ ranges over the permutations of $[n]$. We show that this sum always assumes at least $Ω(n^3)$ distinct values, which is optimal. This ``support'' bound complements recent work of Do, Nguyen, Phan, Tran, and Vu, and of Hunter, Pohoata, and Zhu on the anticoncentration properties of $S$ when $π$ is chosen uniformly at random.
Maximal Green Sequences for Cluster Algebras Associated to Closed Orbifolds
It is known that the existence of a maximal green sequence for a quiver associated to surfaces is equivalent to the equality of the cluster algebra and upper cluster algebra generated by the quiver. This paper makes the first steps in investigating this behavior in the generalised case of cluster algebras from orbifolds; determining when such surfaces admit a diagram with a maximal green sequence. Specifically, we will provide a triangulation for the orientable surfaces of genus $n$ with an arbitrary number of orbifold points and arbitrary number of punctures, determine when it has a maximal green sequence, and construct one if it exists.
Counting point configurations in projective space
We investigate the enumerative geometry of point configurations in projective space. We define "projective configuration counts": these enumerate configurations of points in projective space such that certain specified subsets are in fixed relative positions. The $\mathbb{P}^1$ case recovers cross-ratio degrees, which arise naturally in numerous contexts. We establish two main results. The first is a combinatorial upper bound given by the number of weighted transversals of a bipartite graph. The second is a recursion that relates counts associated to projective spaces of different dimensions, by projecting away from a given point. Key inputs include the Gelfand-MacPherson correspondence, the Jacobi-Trudi and Thom-Porteous formulae, and the notion of surplus from matching theory of bipartite graphs.
Isotropic meta Kazhdan--Lusztig combinatorics I: Ext-quiver presentation for the Hecke category
We provide an ${\rm Ext}$-quiver and relations presentation for the basic algebra of the anti-spherical Hecke categories of isotropic Grassmannians, $H_{(D_n, A_{n-1})}$, in terms of cup-cap meta Kazhdan--Lusztig combinatorics and Temperley--Lieb diagrammatics.
Generalized Ramsey Numbers in the Hypercube
We study the generalized Ramsey numbers $f(Q_n, C_{k}, q)$, that is, the minimum number of colors needed to edge-color the hypercube $Q_n$ so that every copy of the cycle $C_{k}$ has at least $q$ colors. Our main result is that for any integers $k,q$ satisfying $k \geq 6$ and $3 \leq q \leq k/2+1$, we have $f(Q_n, C_{k}, q)= o\left( n^{\frac{k/2-1}{k-q+1}} \right).$ We also prove a few other upper and lower bounds in the special cases $k=4$ and $k=6$. This continues the line of research initiated by Faudree, Gyárfás, Lesniak, and Schelp and Mubayi and Stading who studied the case $k=q$, and by Conder who considered the case $k=6$ and $q=2$.
Determinants of modular Collatz graphs and variants
The determinants of modular Collatz graphs and the modular Conway amusical permutation graph are determined, and some interesting number theoretic properties are described.
Rank-metric codes over arbitrary fields: Bounds and constructions
Rank-metric codes, defined as sets of matrices over a finite field with the rank distance, have gained significant attention due to their applications in network coding and connections to diverse mathematical areas. Initially studied by Delsarte in 1978 and later rediscovered by Gabidulin, these codes have become a central topic in coding theory. This paper surveys the development and mathematical foundations, in particular, regarding bounds and constructions of rank-metric codes, emphasizing their extension beyond finite fields to more general settings. We examine Singleton-like bounds on code parameters, demonstrating their sharpness in finite field cases and contrasting this with contexts where the bounds are not tight. Furthermore, we discuss constructions of Maximum Rank Distance (MRD) codes over fields with cyclic Galois extensions and the relationship between linear rank-metric codes with systems and evasive subspaces. The paper also reviews results for algebraically closed fields and real numbers, previously appearing in the context of topology and measure theory. We conclude by proposing future research directions, including conjectures on MRD code existence and the exploration of rank-metric codes over various field extensions.
Maps on Surfaces as a Structural Framework for Genus-One Virtual Knot Classification
We develop a purely combinatorial framework for the systematic enumeration of knot and link diagrams supported on the thickened torus $T^2\times I$. Using the theory of maps on surfaces, cellular $4$--regular torus projections are encoded by permutation pairs $(α,σ)$, and unsensed projection classes are enumerated completely and without duplication via canonical representatives. For a fixed projection, crossing assignments are encoded by bit data, and an immediate Reidemeister~II reduction supported by a bigon face is characterized directly in terms of these bits. The genus-one generalized Kauffman-type bracket is then evaluated as a state sum entirely within the permutation model, without drawing diagrams in a fundamental polygon.
The implementation is validated against published genus-one classifications for $N\le 5$ under explicit comparison conventions, with remaining discrepancies explained at the level of global conventions. Beyond the published range, we compute projection and diagram data for crossing numbers up to $N=8$ and provide a public reference implementation together with machine-readable datasets. Via the standard correspondence between virtual knots and knots in thickened surfaces, this yields a canonical and fully reproducible genus-one framework for virtual knot tabulation.
Colour ratio in Prim's ranking of bipartite graphs
We consider a complete bipartite graph of size $n$ endowed with i.i.d. uniform edge weights and run Prim's Algorithm to obtain a ranking of its vertices. Let $ρ^{(n)}_k$ be the proportion of black vertices among the first $k$ vertices in this ranking. We characterise the limit behaviour of $ρ^{(n)}_k$ as both $n$ and $k$ tend to infinity. Our results show that in general the limit of $ρ^{(n)}_k$, when existing, differs from the overall proportion of the black vertices in the graph.
Palindromicity of multivariate Eulerian polynomials
We lift to the multivariate Eulerian polynomials the identity implying that univariate Eulerian polynomials are palindromic. As a consequence of this generalization, we obtain nice combinatorial identities that can be directly extracted from this polynomial relation and the bijection between permutations involved in the proof of the identity.
Double Hall-Littlewood symmetric polynomials
We establish a ring isomorphism between the derived Hall algebra of the Jordan quiver and the ring of double symmetric functions (i.e., the ring of symmetric polynomials in two sets of countably many variables, invariant under the respective actions of their symmetric groups) with a parameter $t$. This isomorphism maps the derived Hall basis (the natural basis of the derived Hall algebra) to a class of double Hall-Littlewood (HL) symmetric functions, which are formulated via raising and lowering operators. These double HL functions are parameterized by bipartitions; they reduce to the classical HL functions when one of the partitions is empty, and specialize to Schur Laurent symmetric functions at $t = 0$. We also derive the Pieri rules for these double HL functions. Additionally, we obtain several natural generating functions for the derived Hall algebra as well as their transition relations, which can be transferred to the ring of double symmetric functions via the established ring isomorphism.
Dean's conjecture and cycles modulo k
Dean conjectured three decades ago that every graph with minimum degree at least $k\ge 3$ contains a cycle whose length is divisible by $k$. While the conjecture has been verified for $k\in \{3,4\}$, it remains open for $k\ge 5$. A weaker version, also proposed by Dean, asserting that every $k$-connected graph contains a cycle of length divisible by $k$, was resolved by Gao, Huo, Liu, and Ma using the notion of admissible cycles.
In this paper, we resolve Dean's conjecture for all $k\ge 6$. In fact, we prove a stronger result by showing that every graph with minimum degree at least $k$ contains cycles of length $r \pmod k$ for every even integer $r$, unless every end-block belongs to a specific family of exceptional graphs, which fail only to contain cycles of length $2 \pmod k$. We also establish a strengthened result on the existence of admissible cycles. Our proof introduces two sparse graph families, called trigonal graphs and tetragonal graphs, which provide a flexible framework for studying path and cycle lengths and may be of independent interest.
Pairwise Beats All-at-Once: Behavioral Gains from Sequential Choice Presentation
This paper presents the Sequential Rationality Hypothesis, which argues that consumers are better able to make utility-maximizing decisions when products appear in sequential pairwise comparisons rather than in simultaneous multi-option displays. Although this involves higher cognitive costs than the all-at-once format, the current digital market, with its diverse products listed by review ratings, pricing, and paid products, often creates inconsistent choices. The present work shows that preparing the list sequentially supports more rational choice, as the consumer tries to minimize cognitive costs and may otherwise make an irrational decision. If the decision remains the same on both offers, then that is a consistent preference. The platform uses this approach by reducing cognitive costs while still providing the list in an all-at-once format rather than sequentially. To show how sequential exposure reduces cognitive overload and prevents context-dependent errors, we develop a bounded attention model and extend the monotonic attention rule of the random attention model to theorize the sequential rational hypothesis. Using a theoretical design with common consumer goods, we test these hypotheses. This theoretical model helps policymakers in digital market laws, behavioral economics, marketing, and digital platform design consider how choice architectures may improve consumer choices and encourage rational decision-making.
On the stability, complexity, and distribution of similarity classes of the longest edge bisection process for triangles
The Longest Edge Bisection of a triangle is performed by joining the midpoint of its longest edge to the opposite vertex. Applying this procedure iteratively produces an infinite family of triangles. Surprisingly, a classical result of Stynes (1980) shows that for any initial triangle, this infinite family falls into finitely many similarity classes.
While the set of classes is finite, it turns out that a far smaller, stable subset of ``fat'' triangles effectively dominates the final mesh structure. We prove the following asymptotic area distribution result: for every initial triangle, the portion of area occupied by terminal quadruples tends to one, with the convergence occurring at an exponential rate. In fact, we provide the precise distribution of triangles in every step. We introduce the {\bf bisection graph} and use spectral methods to establish this result.
Given this dominance, we provide a complete characterization of triangles possessing a single terminal quadruple, while conversely exhibiting a sequence of triangles with an unbounded number of terminal quadruples. Furthermore, we reveal several fundamental geometric properties of the points of a terminal quadruple, laying the groundwork for studying the geometric distribution of the entire orbit. Our analysis leverages the hyperbolic geometry framework of Perdomo and Plaza (2014) and refines their techniques.
Bialgebraic structures on boolean functions
We study several bialgebraic structures on boolean functions, that is to say maps defined on the set of subsets of a finite set $X$, taking the value $0$ on $\emptyset$. Examples of boolean functions are given by the indicator function of the hyperedges of a given hypergraph, or the rank function of a matroid. We give the species of boolean functions a two-parameters family of products and a coproduct, and this defines a two-parameters family of twisted bialgebras. We then try to define a second coproduct on boolean functions, based on contractions, in order to obtain a double bialgebra. We show that this is not possible on the whole species of boolean functions, but that there exists a maximal subspecies where this is possible. This subspecies being rather mysterious, we introduce rigid boolean functions and show that this subspecies has indeed a second coproduct, as wished, and that it contains rank functions of matroids and indicator functions associated to hypergraphs. As a consequence, we obtain a unique polynomial invariant on rigid boolean functions, which is a generalization of the chromatic polynomial of graphs.
Maximum spanning trees in normed planes
Extending some properties from the Euclidean plane to any normed plane, we show the validity of the Monma-Paterson-Suri-Yao algorithm for finding the maximum-weighted spanning tree of a set of $n$ points, where the weight of an edge is the distance between the end points measured by the norm and there are not repeated distances. For strictly convex normed planes, we expose an strategy for moving slightly the points of the set in order to obtain distinct distances.