Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Ramsey-Theoretic Characterizations of Classically Non-Ramseyian Problems
In this paper, we will develop a significantly more general notion of classical Ramsey numbers (extending most other graph-theoretic generalizations) and make some preliminary characterizations of these new Ramsey numbers using simple algebraic tools. Throughout, we make a case arguing that, while our access to specific values of Ramsey numbers (or, in general, precise numerical solutions to Ramsey-theoretic problems) may be limited, the interplay between and overall structure of Ramseyian objects is likely tractable. To support the relevancy of this perspective, we conclude by demonstrating that the Green-Tao Theorem, the Twin Prime conjecture, Zhang's bounded prime gap theorem, and Polignac's conjecture can be viewed as statements about Ramsey numbers.
Unweighted One-Sided Code Sparsifiers and Thin Subgraphs
For a linear code $\mathcal{C} \subseteq \mathbb{F}_2^n$ and $α\in [0,1]$, call a set $S \subseteq [n]$ an (unweighted) one-sided $α$-sparsifier of $\mathcal{C}$ if for all $c \in \mathcal{C}$, $\mathrm{wt}(c_S)\geq α\cdot \mathrm{wt}(c)$, where $c_S$ is the projection of $c$ onto the coordinates in $S$ and $\mathrm{wt}(c)$ is the Hamming weight of $c$. \\ We show that every $k$-dimensional linear code $\mathcal{C}\subseteq \mathbb{F}_2^n$ has at least $2^{n - k}$ many unweighted one-sided $1/2$-sparsifiers and hence one of size at most $n/2 + O(\sqrt{n k})$. As an application, letting $\mathcal{C} \subseteq \mathbb{F}_2^E$ denote the cut-space of a graph $G=(V, E)$, we show a lower bound of $2^{\lvert E \rvert- (\lvert V \rvert - 1)}$ on the number of $1/2$-thin subgraphs of $G$ and the existence of a $1/2$-thin subgraph with at least $\lvert E \rvert /2-O(\sqrt{\lvert E \rvert \cdot \lvert V \rvert})$ edges. In contrast to previous results on thin subgraphs, our proofs are purely "combinatorial".
Positive matching decompositions of the cartesian product of graphs
Let $Γ=(V,E)$ be a finite simple graph. A matching $M \subseteq E$ is positive if there exists a weight function on $V$ such that the matching $M$ is characterized by those edges with positive weights. A positive matching decomposition (pmd) of $Γ$ with $p$ parts is an ordered partition $E_1,\ldots,E_p$ of $E$ such that $E_i$ is a positive matching of $(V, E \setminus \bigcup_{j=1}^{i-1} E_j)$, for $i = 1, \ldots, p$. The smallest $p$ for which $Γ$ admits a pmd with $p$ parts is denoted by $\mathrm{pmd}(Γ)$. We study the pmd of the Cartesian product of graphs and give sharp upper bounds for them in terms of the pmds and chromatic numbers of their components. In special cases, we compute the pmd of grid graphs that is the Cartesian product of paths and cycles.
On the Boson-Fermion Correspondence for Factorial Schur Functions
Published
• View Publication
• BIB
We give an algebraic (non-analytic) proof of the deformed boson-fermion Fock space construction of Molev's double supersymmetric Schur functions, among other results, from our previous paper. In other words, we make no assumptions on the variables and parameters. By specializing to a finite number of variables and shifting parameters, we recover the factorial Schur functions. Furthermore, we realize the bosonic construction through a representation of a completion of the infinite rank general linear Lie algebra.
On a trace formula of counting Eulerian cycles
We make connections of a counting problem of Eulerian cycles for undirected graphs to homological spectral graph theory, and formulate explicitly a trace formula that identifies the number of Eulerian circuits on an Eulerian graph with the trace sum of certain twisted vertex and edge adjacency matrices of the graph. Moreover, we show that reduction of computation can be achieved by taking into account symmetries related to twisted adjacency matrices induced by spectral antisymmetry and graph automorphisms.
Transposes in the $q$-deformed modular group and their applications to $q$-deformed rational numbers
The (right) $q$-deformed rational numbers was introduced by Morier-Genoud and Ovsienko, and its left variant, whose numerators and denominators are essentially the normalized Jones polynomials of rational links, by Bapat, Becker and Licata. These notions are based on continued fractions and the $q$-deformed modular group $\operatorname{PSL}_q(2,\mathbb{Z})$-actions. In this paper, we introduce the \textit{$q$-transpose} for matrices in $\operatorname{PSL}_q(2,\mathbb{Z})$ to refine the basic perspective of the theory. For example, we present a new proof and a refinement of a theorem of Leclere and Morier-Genoud stating that the trace of $A \in \operatorname{PSL}(2,\mathbb{Z})$ is always palindromic and sign coherent. We also show arithmetic/combinatorial results on left $q$-deformed rationals (e.g., the criterion for their palindromicity). Finally, we discuss the connection to the conjecture of Kantarcı Oğuz on circular fence posets.
Double boxes and double dimers
We give a combinatorial proof of a result in rank 2 Donaldson-Thomas theory, which states that the generating function for certain plane-partition-like objects, called double-box configurations, is equal to a product of MacMahon's generating function for (boxed) plane partitions. In our proof, we first give the correspondence between double-box configurations and double-dimer configurations on the hexagon lattice with a particular tripartite node pairing. Using this correspondence, we apply graphical condensation and double-dimer condensation to prove the result.
On the length over which $k$-Göbel sequences remain integers
We prove that the sequence $(N_k)_k$, where each $N_k$ is defined as the smallest positive integer $n$ for which the $n$th term $g_{k,n}$ of the $k$-Göbel sequence is not an integer, is unbounded.
Evolomino is NP-complete
Published in Siberian Electronic Mathematical Reports, 22, 2, pp. C54-C67 (2025)
• View Publication
• BIB
Evolomino is a pencil-and-paper logic puzzle popularized by the Japanese publisher Nikoli (like Sudoku, Kakuro, Slitherlink, Masyu, and Fillomino). The puzzle's name reflects its core mechanic: the shapes of polyomino-like blocks that players must draw gradually "evolve" in the directions indicated by pre-drawn arrows. We prove, by reduction from 3-SAT, that the question of whether there exists at least one solution to an Evolomino puzzle satisfying the rules is NP-complete. Since our reduction is parsimonious, i.e., it preserves the number of distinct solutions, we also prove that counting the number of solutions to an Evolomino puzzle is #P-complete.
Satisfying sequences for rainbow partite matchings
Let $\mathcal F_1,\ldots, \mathcal F_s\subset [n]^k$ be a collection of $s$ families. In this paper, we address the following question: for which sequences $f_1,\ldots, f_s$ the conditions $|\ff_i|>f_i$ imply that the families contain a rainbow matching, that is, there are pairwise disjoint $F_1\in \ff_1,\ldots F_s\in \ff_s$? We call such sequences {\em satisfying}. Kiselev and the first author verified the conjecture of Aharoni and Howard and showed that $f_1 = \ldots = f_s=(s-1)n^{k-1}$ is satisfying for $s>470$. This is the best possible if the restriction is uniform over all families. However, it turns out that much more can be said about asymmetric restrictions. In this paper, we investigate this question in several regimes and in particular answer the questions asked by Kiselev and Kupavskii. We use a variety of methods, including concentration and anticoncentration results, spread approximations, and Combinatorial Nullstellenzats.
Asymmetric infinite sumsets in large sets of integers
Published in Forum of Mathematics, Sigma 14 (2026) e7
• View Publication
• BIB
We show that for any set $A \subset \mathbb{N}$ with positive upper density and any $\ell,m \in \mathbb{N}$, there exist an infinite set $B\subset \mathbb{N}$ and some $t\in \mathbb{N}$ so that $\{mb_1 + \ell b_2 \colon b_1,b_2\in B\ \text{and}\ b_1<b_2 \}+t \subset A,$ verifying a conjecture of Kra, Moreira, Richter and Robertson. We also consider the patterns $\{mb_1 + \ell b_2 \colon b_1,b_2\in B\ \text{and}\ b_1 \leq b_2 \}$, for infinite $B\subset \mathbb{N}$ and prove that any set $A\subset \mathbb{N}$ with lower density $\underline{d}(A)>1/2$ contains such configurations up to a shift. We show that the value $1/2$ is optimal and obtain analogous results for values of upper density and when no shift is allowed.
Descent set distribution for permutations with cycles of only odd or only even lengths
Published
• View Publication
• BIB
It is known that the number of permutations in the symmetric group $S_{2n}$ with cycles of odd lengths only is equal to the number of permutations with cycles of even lengths only. We prove a refinement of this equality, involving descent sets: the number of permutations in $S_{2n}$ with a prescribed descent set and all cycles of odd lengths is equal to the number of permutations with the complementary descent set and all cycles of even lengths. There is also a variant for $S_{2n+1}$. The proof uses generating functions for character values and applies a new identity on higher Lie characters.
Subgroups of Bestvina-Brady groups
Published
• View Publication
• BIB
In "Subgroups of Graph Groups", 1987, J. Alg., Droms proved that all the subgroups of a right-angled Artin group (RAAG) defined by a finite simplicial graph $Γ$ are themselves RAAGs if, and only if, $Γ$ has no induced square graph nor line-graph of length $3$. The present work provides a similar result for specific normal subgroups of RAAGs, called Bestvina-Brady groups: We characterize those graphs in which every subgroup of such a group is itself a RAAG. In turn, we confirm several Galois theoretic conjectures for the pro-$p$ completions of these groups.
Bernoulli Partitions
Scale invariant scattering suggests that all Bernoulli numbers B_{2n} can be naturally partitioned, i.e., written as particular finite sums of same-signed, monotonic, rational numbers. Some properties of these rational numbers are discussed here, especially in the limit of large n.
Combinatorics in (2,1)-categories
Groupoid cardinality is an invariant of locally finite groupoids which has many of the properties of the cardinality of finite sets, but which takes values in all non-negative real numbers, and accounts for the morphisms of a groupoid. Several results on groupoid cardinality are proved, analogous to the relationship between cardinality of finite sets and i.e. injective or surjective functions. We also generalize to a broad class of (2,1)-categories a famous theorem of Lovász which characterizes the isomorphism type of relational structures by counting the number of homomorphisms into them.
Combinatorics of three-Catalan numbers and some positivities
We introduce the three-Catalan triangle, highlighting the three-Catalan numbers along with their recurrence relation and combinatorial interpretation, which allows us to establish their log-convexity. Additionally, we prove that the rows of the three-Catalan triangle form a log-concave sequence.
Turán densities for matroid basis hypergraphs
Let $U$ be a uniform matroid. For all positive integers $n$ and $r$ with $n \ge r$, what is the maximum number of bases of an $n$-element, rank-$r$ matroid without $U$ as a minor? We show that this question arises by restricting the problem of determining the Turán number of a daisy hypergraph to the family of matroid basis hypergraphs. We then answer this question for several interesting choices of $U$.
Blowup Algebras of $n$--dimensional Ferrers Diagrams
Published
• View Publication
• BIB
We demonstrate that the direct sum of ideals satisfying the strong $\ell$-exchange property is of fiber type. Furthermore, we provide Gröbner bases of the presentation ideals of multi-Rees algebras and the corresponding special fibers, when they are associated with an $n$-dimensional Ferrers diagram that is standardizable. In particular, we show that these blowup algebras are
Koszul Cohen--Macaulay normal domains and classify their singularities.
Short Paths in the Planar Graph Product Structure Theorem
The Planar Graph Product Structure Theorem of Dujmović et al. [J. ACM '20] says that every planar graph $G$ is contained in $H\boxtimes P\boxtimes K_3$ for some planar graph $H$ with treewidth at most 3 and some path $P$. This result has been the key to solving several old open problems. Several people have asked whether the Planar Graph Product Structure Theorem can be proved with good upper bounds on the length of $P$. No $o(n)$ upper bound was previously known for $n$-vertex planar graphs. We answer this question in the affirmative, by proving that for any $ε\in (0,1)$ every $n$-vertex planar graph is contained in $H\boxtimes P\boxtimes K_{O(1/ε)}$, for some planar graph $H$ with treewidth 3 and for some path $P$ of length $O(\frac{1}εn^{(1+ε)/2})$. This bound is almost tight since there is a lower bound of $Ω(n^{1/2})$ for certain $n$-vertex planar graphs. In fact, we prove a stronger result with $P$ of length $O(\frac{1}ε\,\textrm{tw}(G)\,n^ε)$, which is tight up to the $O(\frac{1}ε\,n^ε)$ factor for every $n$-vertex planar graph $G$. Finally, taking $ε=\frac{1}{\log n}$, we show that every $n$-vertex planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{O(\log n)}$ for some planar graph $H$ with treewidth at most 3 and some path $P$ of length $O(\textrm{tw}(G)\,\log n)$. This result is particularly attractive since the treewidth of the product $H\boxtimes P\boxtimes K_{O(\log n)}$ is within a $O(\log^2n)$ factor of the treewidth of $G$.
On the chromatic number of the plane for map-type colorings
Published
• View Publication
• BIB
We consider the Hadwiger-Nelson problem on the chromatic number of the plane under conditions of coloring a map containing a finite number of vertices in any bounded region. Woodall (1973) and Townsend (1981) showed that at least 6 colors would be required. In the present paper, it is shown that at least 7 colors are required to color a map in which the boundaries are not arcs of a unit circle and three boundaries connect at each vertex. As a corollary, we obtain that at least 7 colors are required for a proper coloring in which the regions are arbitrary polygons. The proof relies on techniques developed for a similar result concerning the chromatic number of the plane with a forbidden interval of distances.