Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A new combinatorial interpretation of partial sums of $m$-step Fibonacci numbers
The sequence of partial sums of Fibonacci numbers, beginning with $2$, $4$, $7$, $12$, $20$, $33,\dots$, has several combinatorial interpretations (OEIS A000071). For instance, the $n$-th term in this sequence is the number of length-$n$ binary words that avoid $110$. This paper proves a related but new interpretation: given a length-$3$ binary word -- called the keyword -- we say two length-$n$ binary words are equivalent if one can be obtained from the other by some sequence of substitutions: each substitution replaces an instance of the keyword with its negation, or vice versa. We prove that the number of induced equivalence classes is again the $n$-th term in the aforementioned sequence. When the keyword has length $m+1$ (instead of $3$), the same result holds with $m$-step Fibonacci numbers. What makes this result surprising -- and distinct from the previous interpretation -- is that it does not depend on the keyword, despite the fact that the sizes of the equivalence classes do. On this final point, we prove several results on the structure of equivalence classes, and also pose a variety of open problems.
Generative Modeling for Mathematical Discovery
We present a new implementation of the LLM-driven genetic algorithm {\it funsearch}, whose aim is to generate examples of interest to mathematicians and which has already had some success in problems in extremal combinatorics. Our implementation is designed to be useful in practice for working mathematicians; it does not require expertise in machine learning or access to high-performance computing resources. Applying {\it funsearch} to a new problem involves modifying a small segment of Python code and selecting a large language model (LLM) from one of many third-party providers. We benchmarked our implementation on three different problems, obtaining metrics that may inform applications of {\it funsearch} to new problems. Our results demonstrate that {\it funsearch} successfully learns in a variety of combinatorial and number-theoretic settings, and in some contexts learns principles that generalize beyond the problem originally trained on.
Maximal determinants of matrices over the roots of unity
We study the maximum absolute value of the determinant of matrices with entries in the set of $\ell$-th roots of unity; this is a generalization of $D$-optimal designs and Hadamard's maximal determinant problem, which involves $\pm 1$ matrices. For general values of $\ell$, we give sharpened determinantal upper bounds and constructions of matrices of large determinant. The maximal determinant problem in the cases $\ell = 3$, $\ell = 4$ is similar to the classical Hadamard maximal determinant problem for matrices with entries $\pm 1$, and many techniques can be generalized. For $\ell = 3$ we give an additional construction of matrices with large determinant, and calculate the value of the maximal determinant over $μ_3$ for all orders $n < 14$. Additionally, we survey the case $\ell = 4$ and exhibit an infinite family of maximal determinant matrices over the fourth roots of unity.
Planar tropical caustics: trivalency and convexity
Tropical caustic of a convex domain on the plane is a canonically associated tropical analytic curve inside the domain. In this note we give a graphical proof for the classification of its intermediate vertices, implying in particular that they are always trivalent. Apart from that we explain how various known examples of tropical caustics are constructed and discuss the possibility of relaxing the convexity condition for the domain.
More on the full Brouwer Laplacian spectrum conjecture
Brouwer conjectured that the sum of the first $k$ largest Laplacian eigenvalues of an $n$-vertex graph is less than or equal to the number of its edges plus $\binom{k+1}{2}$ for each $k\in \{1,2,\cdots,n\}$, which has come to be known as Brouwer's conjecture. Recently, Li and Guo further considered the case when the equalities hold in these conjectured inequalities, and proposed the full version of Brouwer's conjecture. In this paper, we first present a concise version of the full Brouwer's conjecture. Then we show that the full Brouwer's conjecture holds for two families of spanning subgraphs of complete split graphs and for $c$-cyclic graphs with $c\in\{0,1,2\}$. We also consider the Nordhaus-Gaddum version of the full Brouwer's conjecture and present partial solutions to it.
Characterizing forbidden pairs for spanning $\varTheta$-subgraphs of 2-connected graphs
Let $\mathcal{F}$ be a set of connected graphs, and let $G$ be a graph. We say that $G$ is \emph{$\mathcal{F}$-free} if it does not contain $F$ as an induced subgraph for all $F\in\mathcal{F}$, and we call $\mathcal{F}$ a forbidden pair if $|\mathcal{F}|=2$. A \emph{$\varTheta$-graph} is the graph consisting of three internally disjoint paths with the same pair of end-vertices. If the $\varTheta$-subgraph $T$ contains all vertices of $G$, then we call $T$ a \emph{spanning $\varTheta$-subgraph} of $G$. In this paper, we characterize all pairs of connected graphs $R,S$ such that every 2-connected $\{R,S\}$-free graph has a spanning $\varTheta$-subgraph. In order to obtain this result, we also characterize all minimal 2-connected non-cycle claw-free graphs without spanning $\varTheta$-subgraphs.
Betti number estimates for non-negatively curved graphs
In this paper, we establish Betti number estimates for graphs with non-negative Ollivier curvature, and for graphs with non-negative Bakry-Émery curvature, providing a discrete analogue of a classical result by Bochner for manifolds. Specifically, we show that for graphs with non-negative Ollivier curvature, the first Betti number is bounded above by half of the minimum combinatorial vertex degree. In contrast, for graphs with non-negative Bakry-Émery curvature, we prove that the first Betti number of the path homology is bounded above by the minimum combinatorial vertex degree minus one. We further present various rigidity results, characterizing graphs that attain the upper bound on the first Betti number under non-negative Ollivier curvature. Remarkably, these graphs are precisely the discrete tori, similar to the Riemannian setting. Furthermore, we show that the results obtained using the Ollivier curvature extend to the setting of potentially non-reversible Markov chains. Additionally, we explore rigidity cases depending on the idleness parameter of the Ollivier curvature, i.e., we characterize rigidity for bone-idle graphs with non-negative Ollivier curvature that attain the upper Betti number bound. We further establish an upper bound on the first Betti number under a more general assumption, where non-negative Ollivier curvature is required only outside a finite subset. Finally, we provide several examples, e.g., we prove that for a potentially non-reversible Markov chain on a cycle of length at least five, there always exists a unique path metric with constant Ollivier curvature. Moreover, this metric has non-negative Ollivier curvature, and the upper Betti number bound is attained if and only if the curvature is zero.
Marked multi-colorings, partially commutative Lie superalgebras and right-angled Coxeter groups
Infinite-dimensional Lie superalgebras, particularly Borcherds-Kac-Moody (BKM) superalgebras, play a fundamental role in mathematical physics, number theory, and representation theory. In this paper, we study the root multiplicities of BKM superalgebras via their denominator identities, deriving explicit combinatorial formulas in terms of graph invariants associated with marked (quasi) Dynkin diagrams. We introduce partially commutative Lie superalgebras (PCLSAs) and provide a direct combinatorial proof of their denominator identity, where the generating set runs over the super heaps monoid. A key notation in our approach is marked multi-colorings and their associated polynomials, which generalize chromatic polynomials and offer a method for computing root multiplicities. As applications, we characterize the roots of PCLSAs and establish connections between their universal enveloping algebras and right-angled Coxeter groups, leading to explicit formulas for their Hilbert series. These results further deepen the interplay between Lie superalgebras, graph theory, and algebraic combinatorics.
Finite sums associated with some polynomial identities
In this paper, we present a general framework for the derivation of interesting finite combinatorial sums starting with certain classes of polynomial identities. The sums that can be derived involve products of binomial coefficients and also harmonic numbers and squared harmonic numbers. We apply the framework to discuss combinatorial sums associated with some prominent polynomial identities from the recent past.
Universality of the matching number in percolated regular graphs
Fix a sequence of $d$-regular graphs $(G_d)_{d\in \mathbb{N}}$ and denote by $G_{d,p}$ the graph obtained from $G_d$ after edge-percolation with probability $p=c/d$, for a constant $c>0$. We prove a quantitative local convergence of $(G_{d,p})_{d\in \mathbb{N}}$. In combination with results of Bordenave, Lelarge and Salez, it implies that the rescaled matching number of $G_{d,p}$ is asymptotically equivalent to that of the binomial random graph $G(n,c/n)$.
Positivity sets of hinge functions
In this paper we investigate which subsets of the real plane are realisable as the set of points on which a one-layer ReLU neural network takes a positive value. In the case of cones we give a full characterisation of such sets. Furthermore, we give a necessary condition for any subset of $\mathbb R^d$. We give various examples of such one-layer neural networks.
Permutation Equivariant Neural Networks for Symmetric Tensors
Incorporating permutation equivariance into neural networks has proven to be useful in ensuring that models respect symmetries that exist in data. Symmetric tensors, which naturally appear in statistics, machine learning, and graph theory, are essential for many applications in physics, chemistry, and materials science, amongst others. However, existing research on permutation equivariant models has not explored symmetric tensors as inputs, and most prior work on learning from these tensors has focused on equivariance to Euclidean groups. In this paper, we present two different characterisations of all linear permutation equivariant functions between symmetric power spaces of $\mathbb{R}^n$. We show on two tasks that these functions are highly data efficient compared to standard MLPs and have potential to generalise well to symmetric tensors of different sizes.
Edge ideals with linear quotients and without homological linear quotients
Published in Mediterranean Journal of Mathematics, Volume 23, Article 31 (2026)
• View Publication
• BIB
A monomial ideal $I$ is said to have homological linear quotients if for each $k\geq 0$, the homological shift ideal $\mathrm{HS}_k(I)$ has linear quotients. It is a well-known fact that if an edge ideal $I(G)$ has homological linear quotients, then $G$ is co-chordal. We construct a family of co-chordal graphs $\{\mathrm{H}_n^c\}_{n\geq 6}$ and propose a conjecture that an edge ideal $I(G)$ has homological linear quotients if and only if $G$ is co-chordal and $\mathrm{H}_n^c$-free for any $n\geq 6$. In this paper, we prove one direction of the conjecture. Moreover, we study possible patterns of pairs $(G,k)$ of a co-chordal graph $G$ and integer $k$ such that $\mathrm{HS}_k(I(G))$ has linear quotients.
Sorting permutations with pile shuffle on queue-like and stack-like piles
Inspired by a common technique for shuffling a deck of cards on a table without riffling, we formalize the pile shuffle and investigate its capabilities as a sorting device. Our study is novel in that we consider pile shuffle in three variations: (1) using queue-like piles, (2) using stack-like piles, and (3) using a heterogeneous mixture of those two pile types, either given or decided during the shuffle by the dealer herself. We first characterize the sortable permutations of one or more sequential rounds of pile shuffle, under constraints on the number and types of piles to be used, and then derive formulas to obtain a sorting shuffle of a given permutation on the minimum number of piles, efficiently, whenever feasible. In the process, we present an interesting mathematical interpretation of any multi-round shuffle on fixed-type piles, as a single-round shuffle on a generally larger number of fixed-type ``virtual piles''; we confirm that repetition augments the power of pile shuffle exponentially, in that $m$ piles over $T$ rounds enjoys the capacity of $m^T$ piles in a single round. Finally, we motivate a forthcoming companion paper in which we prove that dealer choice -- where the dealer is allowed to choose the types of the piles during the shuffle -- makes deciding feasibility of sort NP-Hard for some variants of multi-round pile shuffle; proof is by a novel reduction from Boolean satisfiability (SAT).
The saturation number of W 4
For a fixed graph $H$, a graph $G$ is called $H$-saturated if $G$ does not contain $H$ as a (not necessarily induced) subgraph, but $G+e$ contains a copy of $H$ for any $e\in E(\overline{G})$. The saturation number of $H$, denoted by ${\rm sat}(n,H)$, is the minimum number of edges in an $n$-vertex $H$-saturated graph. A wheel $W_n$ is a graph obtained from a cycle of length $n$ by adding a new vertex and joining it to every vertex of the cycle. A well-known result of Erdős, Hajnal and Moon shows that ${\rm sat}(n,W_3)=2n-3$ for all $n\geq 4$ and $K_2\vee \overline{K_{n-2}}$ is the unique extremal graph, where $\vee$ denotes the graph join operation. In this paper, we study the saturation number of $W_4$. We prove that ${\rm sat}(n,W_4)=\lfloor\frac{5n-10}{2}\rfloor$ for all $n\geq 6$ and give a complete characterization of the extremal graphs.
From de Bruijn graphs to variation graphs-relationships between pangenome models
Published
• View Publication
• BIB
Pangenomes serve as a framework for joint analysis of genomes of related organisms. Several pangenome models were proposed, offering different functionalities, applications provided by available tools, their efficiency etc. Among them, two graph-based models are particularly widely used: variation graphs and de Bruijn graphs. In the current paper we propose an axiomatization of the desirable properties of a graph representation of a collection of strings. We show the relationship between variation graphs satisfying these criteria and de Bruijn graphs. This relationship can be used to efficiently build a variation graph representing a given set of genomes, transfer annotations between both models, compare the results of analyzes based on each model etc.
Singular Log Structures and Log Crepant Log Resolutions I
We introduce a class of singular log schemes in three dimensions and conjecture that log schemes in this class admit log crepant log resolutions. We provide examples as evidence and relate this conjecture to the conjecture made in [4] and the Gross--Siebert program.
Counting of lattices containing up to five comparable reducible elements and having nullity up to three
In 2020 Bhavale and Waphare introduced the concept of a nullity of a poset as nullity of its cover graph. In 2003 Pawar and Waphare counted all non-isomorphic lattices on n elements and n edges, which are precisely lattices of nullity one. In 2002 Thakare et al. counted all non-isomorphic lattices on n elements containing two reducible elements. In the same paper, Thakare et al. counted lattices on n elements containing up to n+1 edges, which are precisely lattices of nullity up to two. In 2024 Bhavale and Aware counted all non-isomorphic lattices on n elements, containing up to three reducible elements. Recently, Aware and Bhavale counted all non-isomorphic lattices on n elements, containing four comparable reducible elements, and having nullity three. In this paper, we count up to isomorphism the class of all lattices on n elements containing five comparable reducible elements, and having nullity three.
Elusive properties of countably infinite graphs
A graph property is elusive (or evasive) if any algorithm testing it by asking questions of the form ''Is there an edge between vertices x and y?'' must, in the worst case, examine all pairs of vertices. Elusiveness for infinite vertex sets has been first studied by Csernák and Soukup, who proved that the long-standing Aanderaa-Karp-Rosenberg Conjecture -- which states that every nontrivial monotone graph property is elusive -- fails for infinite vertex sets. We extend their work by giving a closer look to the case when the vertex set is countably infinite and the ''algorithm'' terminates after infinitely many steps. Among others, we prove that connectedness is elusive, which strengthens a result of Csernák and Soukup. We give counterexamples to the infinite version of the Aanderaa-Karp-Rosenberg Conjecture even if the ''algorithm'' is required to terminate after infinitely many steps, which strengthens results of Csernák and Soukup.
Local algorithms for coplactic switching and evacuation of Young tableaux
Tableau switching is a well studied bijection on pairs of skew Young tableaux which swaps their relative positions. This is achieved by successively sliding the entries of the inner tableaux through the outer one via jeu de taquin (JDT) slides. Tableau coswitching is a similar but coplactic operation, meaning it commutes with any sequence of JDT slides. Coswitching is defined by first performing JDT rectification on the union of the tableaux, switching the resulting pair, then unrectifying the union. This definition requires us to perform large scale modifications to the skew shapes during the rectification and unrectification steps, which is both computationally taxing and obscures the effect of coswitching on the pair of skew tableaux. In previous work, Gillespie and Levinson define an algorithm which computes coswitching as a sequence of local moves, which do not alter the skew shapes of the tableaux, when one of the tableaux is a single box.
In this paper, we extend the results of Gillespie and Levinson (and Gillespie, Levinson, and Purbhoo for type B) to the case the two skew tableaux are of arbitrary size. We also describe multiple bijections on tableaux, each descending to the evacuation shuffling (esh) operation on pairs of dual equivalence classes. We show how special cases of our local algorithm compute the Schützenberger involution on skew tableaux, as well as the wall-crossing and monodromy of certain covering spaces of the moduli space $\overline{M}_{0, r}(\mathbb{R})$.