Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On $\mathbb N$-Coefficient Binomial Polynomiality of Hurwitz Numbers and Generalized Dessin Counting
In this paper, we study a certain type of Hurwitz numbers which count branched covers over the Riemann sphere admitting several branch points with fixed ramification types, one branch point with a fixed number of preimages, and one branch point with an arbitrary ramification type. We prove that the dependence of this kind of Hurwitz numbers on parts of the ramification type over the last point is a polynomial. Moreover, when expanding this polynomial in terms of products of binomial coefficients, we show that the coefficients are always non-negative integers via a pure combinatorial method. Our result generalizes the polynomiality in several models, including the one-part double Hurwitz numbers studied by Goulden-Jackson-Vakil, the one-part double Hurwitz numbers with completed cycles studied by Shadrin-Spitz-Zvonkine, and the generalized dessin counting.
Packing independent cliques into planar graphs
The indeque number of a graph is largest set of vertices that induce an independent set of cliques. We study the extremal value of this parameter for the class and subclasses of planar graphs, most notably for forests and graphs of pathwidth at most $2$.
Local permutation polynomials and their companions
Published
• View Publication
• BIB
Gutierrez and Urroz (2023) have proposed a family of local permutation polynomials over finite fields of arbitrary characteristic based on a class of symmetric subgroups without fixed points called $e$-Klenian groups. The polynomials within this family are referred to as $e$-Klenian polynomials. Furthermore, they have shown the existence of companions for the $e$-Klenian polynomials when the characteristic of the finite field is odd. Here, we present three new families of local permutation polynomials over finite fields of even characteristic. We also consider the problem of the existence of companions for the $e$-Klenian polynomials over finite fields of even characteristic. More precisely, we prove that over finite fields of even characteristic, the $0$-Klenian polynomials do not have any companions. However, for $e \geq 1$, we explicitly provide a companion for the $e$-Klenian polynomials. Moreover, we provide a companion for each of the new families of local permutation polynomials that we introduce.
On the complexity of subshifts and infinite words
Published
• View Publication
• BIB
We characterize the complexity functions of subshifts up to asymptotic equivalence. The complexity function of every aperiodic function is non-decreasing, submultiplicative and grows at least linearly. We prove that conversely, every function satisfying these conditions is asymptotically equivalent to the complexity function of a recurrent subshift, equivalently, a recurrent infinite word. Our construction is explicit, algorithmic in nature and is philosophically based on constructing certain 'Cantor sets of integers', whose 'gaps' correspond to blocks of zeros. We also prove that every non-decreasing submultiplicative function is asymptotically equivalent, up a linear error term, to the complexity function of a minimal subshift.
Random Turán Problems for Hypergraph Expansions
Given an $r_0$-uniform hypergraph $F$, we define its $r$-uniform expansion $F^{(r)}$ to be the hypergraph obtained from $F$ by inserting $r-r_0$ distinct vertices into each edge of $F$, and we define $\mathrm{ex}(G_{n,p}^r,F^{(r)})$ to be the largest $F^{(r)}$-free subgraph of the random hypergraph $G_{n,p}^r$.
We initiate the first systematic study of $\mathrm{ex}(G_{n,p}^r,F^{(r)})$ for general hypergraphs $F$. Our main result essentially resolves this problem for large $r$ by showing that $\mathrm{ex}(G_{n,p}^r,F^{(r)})$ goes through three predictable phases whenever $F$ is Sidorenko and $r$ is sufficiently large, with the behavior of $\mathrm{ex}(G_{n,p}^r,F^{(r)})$ being provably more complex whenever $F$ has no Sidorenko expansion. Moreover, our methods unify and generalize almost all previously known results for the random Turán problem for degenerate hypergraphs of uniformity at least 3.
Compactifications of phylogenetic systems and species of electrical networks
We describe new spaces and maps. Our graphical map is a visual and numerical correspondence between spaces of circular electrical networks and circular planar split systems. When restricted to the planar circular electrical case, this graphical map finds the split system uniquely associated with the Kalmanson resistance distance of the dual network, matching the induced split system familiar from phylogenetics. This correspondence is extended to compactifications of the respective spaces, taking cactus networks to the cactus split systems defined herein. The graphical map preserves both network components and cactus structure, allowing an elegant enumeration of induced phylogenetic split systems via combinatorial species. We introduce the global spaces of circular planar electrical networks and circular split systems. These new spaces are also CW complexes, but the 0-cells of each are counted by the Bell numbers as opposed to the Catalan numbers. As species, the two sorts of global cacti are seen to be compositions in complementary ways.
The Comma Sequence is Finite in Other Bases
The comma sequence (1, 12, 35, 94, ...) is the lexicographically earliest sequence such that the difference of consecutive terms equals the concatenation of the digits on either side of the comma separating them. The behavior of a "generalized comma sequence" depends on the base the numbers are written in, as well as the sequence's initial values. We provide a computational proof that all comma sequences in bases 3 through 633 are finite. Relying on a combinatorial conjecture, Angelini et al. estimated that the final element of a comma sequence in base b should be roughly exp(O(b)). We prove their conjecture, but provide evidence that the correct estimate is actually exp(O(b log b)).
Combinatorial Nullstellensatz Techniques
We present different techniques for applying Combinatorial Nullstellensatz to polynomials over finite fields. For examples, we generalize theorems from Noga Alon's paper on the subject, and present a few of our own.
Rapid mixing of the down-up walk on matchings of a fixed size
Let $G = (V,E)$ be a graph on $n$ vertices and let $m^*(G)$ denote the size of a maximum matching in $G$. We show that for any $δ> 0$ and for any $1 \leq k \leq (1-δ)m^*(G)$, the down-up walk on matchings of size $k$ in $G$ mixes in time polynomial in $n$. Previously, polynomial mixing was not known even for graphs with maximum degree $Δ$, and our result makes progress on a conjecture of Jain, Perkins, Sah, and Sawhney [STOC, 2022] that the down-up walk mixes in optimal time $O_{Δ,δ}(n\log{n})$.
In contrast with recent works analyzing mixing of down-up walks in various settings using the spectral independence framework, we bound the spectral gap by constructing and analyzing a suitable multi-commodity flow. In fact, we present constructions demonstrating the limitations of the spectral independence approach in our setting.
Undecidability of Translational Tiling of the 3-dimensional Space with a Set of 6 Polycubes
Published in Proc. Amer. Math. Soc. 153(8)(2025), 3541-3554
• View Publication
• BIB
This paper focuses on the undecidability of translational tiling of $n$-dimensional space $\mathbb{Z}^n$ with a set of $k$ tiles. It is known that tiling $\mathbb{Z}^2$ with translated copies with a set of $8$ tiles is undecidable. Greenfeld and Tao gave strong evidence in a series of works that for sufficiently large dimension $n$, the translational tiling problem for $\mathbb{Z}^n$ might be undecidable for just one tile. This paper shows the undecidability of translational tiling of $\mathbb{Z}^3$ with a set of $6$ tiles.
Cops and Attacking Robbers with Cycle Constraints
Published
• View Publication
• BIB
This paper considers the Cops and Attacking Robbers game, a variant of Cops and Robbers, where the robber is empowered to attack a cop in the same way a cop can capture the robber. In a graph $G$, the number of cops required to capture a robber in the Cops and Attacking Robbers game is denoted by $\attCop(G)$. We characterise the triangle-free graphs $G$ with $\attCop(G) \leq 2$ via a natural generalisation of the cop-win characterisation by Nowakowski and Winkler \cite{nowakowski1983vertex}. We also prove that all bipartite planar graphs $G$ have $\attCop(G) \leq 4$ and show this is tight by constructing a bipartite planar graph $G$ with $\attCop(G) = 4$. Finally we construct $17$ non-isomorphic graphs $H$ of order $58$ with $\attCop(H) = 6$ and $\cop(H)=3$. This provides the first example of a graph $H$ with $\attCop(H) - \cop(H) \geq 3$ extending work by Bonato, Finbow, Gordinowicz, Haidar, Kinnersley, Mitsche, Prałat, and Stacho \cite{bonato2014robber}. We conclude with a list of conjectures and open problems.
Jacobi polynomials, invariant rings, and generalized $t$-designs
Published
• View Publication
• BIB
In the present paper, we provide results that relate the Jacobi polynomials in genus $g$. We show that if a code is $t$-homogeneous that is, the codewords of the code for every given weight hold a $t$-design, then its Jacobi polynomial in genus $g$ with composition $T$ with $|T|\leq t$ can be obtained from its weight enumerator in genus~$g$ using the polarization operator. Using this fact, we investigate the invariant ring, which relates the homogeneous Jacobi polynomials of the binary codes in genus $g$. Specifically, the generators of the invariant ring appearing for $g=1$ are obtained. Moreover, we define the split Jacobi polynomials in genus~$g$ and obtain the MacWilliams type identity for it. A split generalization for higher genus cases of the relation between the Jacobi polynomials and weight enumerator of a $t$-homogeneous code also given.
A complete characterization of split digraphs with a strong arc decomposition
A \textbf{strong arc decomposition} of a (multi-)digraph $D(V, A)$ is a partition of its arc set $A$ into two disjoint arc sets $A_1$ and $A_2$ such that both of the spanning subdigraphs $D(V, A_1)$ and $D(V, A_2)$ are strong. In this paper, we fully characterize all split digraphs that do not have a strong decomposition. This resolves two problems proposed by Bang-Jensen and Wang and contributes to a series of efforts aimed at addressing this problem for specific graph classes. This work continues the research on semicomplete composition [Bang-Jensen, Gutin and Yeo, J. Graph Theory, 2020]; on locally semicomplete digraphs [Bang-Jensen and Huang, J. Combin. Theory Ser. B, 2010]; on a type of tournaments [Bang-Jensen and Yeo, Combinatorica, 2004].
Various Properties of Various Ultrafilters, Various Graph Width Parameters, and Various Connectivity Systems (with Survey)
This paper investigates ultrafilters in the context of connectivity systems, defined as pairs $(X, f)$ where $X$ is a finite set and $f$ is a symmetric submodular function. Ultrafilters, essential in topology and set theory, are extended to these systems, with a focus on their relationship to graph width parameters, which help analyze graph complexity. We demonstrate theorems for ultrafilters on connectivity systems and explore related concepts such as prefilters, ultra-prefilters, and subbases. New parameters for width, length, and depth are introduced, providing further insight into graph width. The study also includes a comparison of various graph width parameters and their related concepts, offering a foundation for future research in graph theory and computational complexity. Additionally, we explore connections to other mathematical disciplines, including set theory, lattice theory, and matroid theory, expanding the scope of ultrafilters and graph width. (It also includes information similar to that found in surveys, aiming to promote future research on graph width parameters.)
Past and future of the cap set problem
We survey the history of the capset problem in the context of related results on progression-free sets, discuss recent progress, and mention further directions to explore.
Characterization of geodesic distance on infinite graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph and let $d_G$ be the geodesic distance on $V(G)$. The metric spaces $(V(G), d_{G})$ are characterized up to isometry for all finite connected $G$ by David C. Kay and Gary Chartrand in 1964. The main result of the paper expands this characterization on the infinite connected graphs. We also prove that every metric space with integer distances between its points admits an isometric embedding into $(V(G), d_G)$ for suitable $G$.
On the difference between the chromatic and cochromatic number
Published
• View Publication
• BIB
The cochromatic number $ζ(G)$ of a graph $G$ is the smallest number of colors in a vertex-coloring of $G$ such that every color class forms an independent set or a clique. In three papers written around 1990, Erdős, Gimbel and collaborators raised several open problems regarding the relationship of the chromatic and cochromatic number of a graph. In this short note, we address several of these problems, in particular
-we disprove a conjecture of Erdős, Gimbel and Straight from 1988,
-answer negatively a problem posed by Erdős and Gimbel in 1993, and
-give positive evidence for a 1000\$--question of Erdős and Gimbel.
A Characterization of Lines in Finite Lie Incidence Geometries of Classical Type
Published
• View Publication
• BIB
We consider any classical Grassmannian geometry $Γ$; that is, any projective or polar Grassmann space. Suppose every line in $Γ$ contains $s+1$ points. Then we classify all sets of points in $Γ$ of cardinality $s+1$, with the property, that no object of opposite type in the corresponding building, is opposite every point of the set. It turns out that such sets are either lines, or hyperbolic lines in symplectic residues, or ovoids in large symplectic subquadrangles of rank 2 residues in characteristic 2. This is a far-reaching extension of a famous and fundamental result of Bose & Burton from the 1960s. We describe a new way to classify geometric lines in finite classical geometries and how our results correspond to blocking sets.
Combinatorics of $q$-Mahonian numbers of type $B$ and log-concavity
Published
• View Publication
• BIB
This paper is a continuation of earlier work of Arslan \cite{Ars}, who introduced the Mahonian number of type $B$ by using a new statistic on the hyperoctahedral group $B_{n}$, in response to questions he suggested in his paper entitled "{\it A combinatorial interpretation of Mahonian numbers of type $B$}" published in arXiv:2404.05099v1. We first give the Knuth-Netto formula and generating function for the subdiagonals on or below the main diagonal of the Mahonian numbers of type $B$, then its combinatorial interpretations by lattice path/partition and tiling. Next, we propose a $q$-analogue of Mahonian numbers of type $B$ by using a new statistics on the permutations of the hyperoctahedral group $B_n$ that we introduced, then we study their basic properties and their combinatorial interpretations by lattice path/partition and tiling. Finally, we prove combinatorially that the $q$-analogue of Mahonian numbers of type $B$ form a strongly $q$-log-concave sequence of polynomials in $k$, which implies that the Mahonian numbers of type $B$ form a log-concave sequence in $k$ and therefore unimodal.
Gapset Extensions, Theory and Computations
In this paper we extend some set theoretic concepts of numerical semigroups for arbitrary sub-semigroups of natural numbers. Then we characterized gapsets which leads to a more efficient computational approach towards numerical semigroups and finally we introduce the extension of gapsets and prove that the sequence of the number of gapsets of size $g$ is non-decreasing as a weak version of Bras-Amorós's conjecture.