Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A refined twist on Hurwitz numbers
We introduce a two-parameter refinement of the Jucys-Murphy theory, that we call the CJT-refinement, unifying Schur, zonal, and, conjecturally, Jack actions of the ring of symmetric functions on the Fock space. Applications of this formalism include a partial resolution of a recent conjecture of Coulter-Do, as well as cut-and-join recursion for $b$-Hurwitz numbers. The cut-and-join equations enable the derivation of the tropicalization of $b$--Hurwitz numbers. We also provide a first application of this tropical interpretation by answering an open problem of Chapuy-Dołęga on the polynomial structure of $b$-Hurwitz numbers.
Induced Minors, Asymptotic Dimension, and Baker's Technique
Asymptotic dimension is a large-scale invariant of metric spaces that was introduced by Gromov (1993). We prove that every hereditary class of bounded-degree graphs that excludes some graph as a fat minor has asymptotic dimension at most $2$, which is optimal. This makes substantial progress on a question of Bonamy, Bousquet, Esperet, Groenland, Liu, Pirot, and Scott (J. Eur. Math. Soc. 2023).
The key to our proof is a notion inspired by Baker's technique (J. ACM 1994). We say that a graph class $\mathcal{G}$ has bounded Baker-treewidth if there exists a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G\in \mathcal{G}$, there is a layering of $G$ such that the subgraph induced by the union of any $\ell$ consecutive layers has treewidth at most $f(\ell)$. We show that every class of bounded-degree graphs that excludes some graph as an induced minor has bounded Baker-treewidth. We discuss further applications of this result to clustered colouring and the design of linear-time approximate schemes.
Matchings with Prescribed Color Counts
In this note, we prove an interesting result about perfect matchings in a complete bipartite graph with 2n vertices on each side, whose edges are colored in red and blue such that each vertex is part of n red edges and n blue edges.
A Structural Linear-Time Algorithm for Computing the Tutte Decomposition
The block-cut tree decomposes a connected graph along its cutvertices, displaying its 2-connected components. The Tutte-decomposition extends this idea to 2-separators in 2-connected graphs, yielding a canonical tree-decomposition that decomposes the graph into its triconnected components. In 1973, Hopcroft and Tarjan introduced a linear-time algorithm to compute the Tutte-decomposition. Cunningham and Edmonds later established a structural characterization of the Tutte-decomposition via totally-nested 2-separations. We present a conceptually simple algorithm based on this characterization, which computes the Tutte-decomposition in linear time. Our algorithm first computes all totally-nested 2-separations and then builds the Tutte-decomposition from them.
Along the way, we derive new structural results on the structure of totally-nested 2-separations in 2-connected graphs using a novel notion of stability, which may be of independent interest.
Sandwich Monotonicity and the Recognition of Weighted Graph Classes
Edge-weighted graphs play an important role in the theory of Robinsonian matrices and similarity theory, particularly via the concept of level graphs, that is, graphs obtained from an edge-weighted graph by removing all sufficiently light edges. This suggest a natural way of associating to any class $\mathcal{G}$ of unweighted graphs a corresponding class of edge-weighted graphs, namely by requiring that all level graphs belong to $\mathcal{G}$. We show that weighted graphs for which all level graphs are split, threshold, or chain graphs can be recognized in linear time using special edge elimination orderings. We obtain these results by introducing the notion of degree sandwich monotone graph classes. A graph class $\mathcal{G}$ is sandwich monotone if every edge set which may be removed from a graph in $\mathcal{G}$ without leaving the class also contains a single edge that can be safely removed. Furthermore, if we require the safe edge to fulfill a certain degree property, then $\mathcal{G}$ is called degree sandwich monotone. We present necessary and sufficient conditions for the existence of a linear-time recognition algorithm for any weighted graph class whose corresponding unweighted class is degree sandwich monotone and contains all edgeless graphs.
Prime Order Element Graph of a Group -- II
In this sequel paper, we continue the analysis of the prime order element graph $Γ(G)$ of a finite group $G$, where vertices are elements of $G$ and edges connect distinct elements $x, y$ satisfying $\circ(xy) = p$ for some prime $p$. Our investigation focuses on the adjacency and Laplacian spectra, planarity, and clique number of this graph. We conclude by outlining open issues and potential directions for future investigations.
Extensive embeddings into Fraïssé structures and stationary weak independence relations
Published
• View Publication
• BIB
Let $M$ be a Fraïssé structure (a countably infinite ultrahomogeneous structure). We call an embedding $f : A \to M$ extensive if each automorphism of its image extends to an automorphism of $M$, where the extension map respects composition, and we say that $M$ has extensible $ω$-age if each substructure admits an extensive embedding into $M$.
We investigate the relationship between the following two properties: the presence of a stationary weak independence relation (SWIR) on $M$, and extensibility of the $ω$-age of $M$. We show that linearly ordered Fraïssé structures with a SWIR have extensible $ω$-age, but also we give examples of Fraïssé structures where only one of the two properties holds. Finally, we consider whether a wide range of examples of Fraïssé structures have extensible $ω$-age or a finite SWIR expansion, including all countably infinite ultrahomogeneous oriented graphs (with one exception).
New upper bound for lattice covering by spheres
Published
• View Publication
• BIB
We show that there exists a lattice covering of $\mathbb{R}^n$ by Eucledian spheres of equal radius with density $O\big(n \ln^β n \big)$ as $n\to\infty$, where \begin{align*}
β:= \frac{1}{2} \log_2 \left(\frac{8 π\mathrm{e}}{3\sqrt 3}\right)=1.85837...\,. \end{align*} This improves upon the previously best known upper bound by Rogers from 1959 of $O\big(n \ln^α n \big)$, where $α:= \frac{1}{2} \log_{2}(2π\mathrm{e})=2.0471...\,.$
Round Aztec windows, a dual of the Aztec diamond theorem and a curious symmetry of the correlation of diagonal slits
Published
• View Publication
• BIB
Fairly shortly after the publication of the Aztec diamond theorem of Elkies, Kuperberg, Larsen and Propp in 1992, interest arose in finding the number of domino tilings of an Aztec diamond with an ``Aztec window,'' i.e.\ a hole in the shape of a smaller Aztec diamond at its center. Several intriguing patterns were discovered for the number of tilings of such regions, but the numbers themselves were not ``round'' -- they didn't seem to be given by a simple product formula. In this paper we consider a very closely related shape of holes (namely, odd Aztec rectangles), and prove that a large variety of regions obtained from Aztec rectangles by making such holes in them possess the sought-after property that the number of their domino tilings is given by a simple product formula. We find the same to be true for certain symmetric cruciform regions. We also consider graphs obtained from a toroidal Aztec diamond by making such holes in them, and prove a simple formula that governs the way the number of their perfect matchings changes under a natural evolution of the holes. This yields in particular a natural dual of the Aztec diamond theorem. Some implications for the correlation of such holes are also presented, including an unexpected symmetry for the correlation of diagonal slits on the square grid.
Extremal graphs with minimum number of connected subgraphs in a given family
Published
• View Publication
• BIB
The subgraph number of a vertex in a graph is defined as the number of connected subgraphs containing that vertex. The graph and its vertex which correspond to the minimum subgraph number among all graphs on $n$ vertices and $k$ cut vertices have been characterised. Further, using this characterisation, the graphs with the minimum number of connected subgraphs among all graphs on $n$ vertices and $k$ cut vertices, with girth at least $k$, have been obtained. This turns out to characterise the graphs with the minimum number of connected subgraphs among all graphs on $n$ vertices and $k$ cut vertices for $0 \leq k \leq 4$.
The Möbius-Kantor graph is a faithful unit-distance graph
In this paper, it has been shown that the generalized Petersen graph $\mathrm {GP}(8,3)$, also known as the Möbius-Kantor graph, admits a faithful unit-distance representation in the plane.
Tropical fans supporting a reduced 0-dimensional complete intersection
An affine tropical fan is called regular if it supports a reduced 0-dimensional complete intersection. For some cases the classification of regular fans is already complete. It was proved by Fink that tropical varieties of degree 1 are exactly Bergman fans, and later Esterov and Gusev classified all lattice polytopes whose mixed volume equals 1. We introduce the notion of a gallery for tropical fans and use it to classify all one-dimensional regular fans, thereby obtaining a minimal model programme for such fans. In dimension 2 we prove a finiteness theorem: every regular fan that satisfies the given upper bound condition is precisely the support of a finite covering by two-dimensional galleries, and only finitely many such fans exist.
Perfect t-embeddings and the octahedron equation of the two-periodic Aztec diamond
Published
• View Publication
• BIB
This paper explores the connection between perfect t-embeddings and the octahedron equation in the setting of the two-periodic Aztec diamond. In particular, we show that the positions of both the t-embedding and the corresponding origami map can be expressed as sums of density functions arising from solutions to the octahedron equation with appropriate flat initial conditions.
The wild number of an edge-colored graph
We introduce the wild number of an edge-colored graph as a measure of how close an edge-colored graph is to having a spanning tree in every color. This combinatorial concept originates in the algebraic theory of generalized graph splines. After showing that determining the wild number of a graph is an NP-complete problem, we provide bounds on the wild number and find the exact wild number for trees, cycles, and families of graphs with restrictions on the edge-colorings. This article serves as an invitation to the topic of wild numbers and includes several open problems, many of which are suitable for undergraduate research projects.
Minor-excluded graphs and soficity
A random rooted graph is said to be sofic if it is the Benjamini-Schramm limit of a sequence of finite graphs. Given any finite graph $H$, we prove that every one-ended, unimodular random rooted graph that does not have H as a minor must be sofic. The hypothesis regarding the number of ends can be dropped under the additional assumption that the graph is quasi-transitive.
Finite Interpretation of the Hyper-Catalan Series Zero and its Powers
In 2025, Wildberger and Rubine showed the formal series zero of the univariate geometric polynomial is $\mathbf{S}$, the generating series for the hyper-Catalan numbers $\mathbf{C}_m$, which count the number of roofed subdivided polygons (subdigons) of type $\mathbf{m}$. We show that we can interpret this result as a finite identity at each level, where a level is a truncation of $\Sb$ to a given maximum number of vertices, edges, or faces (bounded by degree) of the associated subdigon types. We then explore powers $\mathbf{S}^r$, recounting Raney's and our own combinatorial derivations of its coefficients.
Liftable braids and the coloured braid groupoid
When $π:\widetildeΣ\rightarrow D^2$ is a cover of the disc branched over $n$ marked points, the braid group $B_n$ acts on the disc by homeomorphisms fixing the marked points setwise. A braid $β$ \textit{lifts} if there is a homeomorphism $\widetildeβ\in \textit{Mod}(\widetildeΣ)$ such that $β\circ π=π\circ \widetildeβ$. For arbitrary covers, the \textit{lifting homomorphism} taking $β$ to $\widetildeβ$ is only defined on a proper subgroup of the braid group. This paper extends the lifting homomorphism to a map from a coloured braid groupoid to a mapping class groupoid for all simple covers of the disc. We characterise the lift of every coloured braid, recovering the classical lifting homomorphism on the liftable braid group.
Balanced Steinhaus triangles
A Steinhaus triangle modulo $m$ is a finite down-pointing triangle of elements in the finite cyclic group $\mathbb{Z}/m\mathbb{Z}$ satisfying the same local rule as the standard Pascal triangle modulo $m$. A Steinhaus triangle modulo $m$ is said to be balanced if it contains all the elements of $\mathbb{Z}/m\mathbb{Z}$ with the same multiplicity. In this paper, the existence of infinitely many balanced Steinhaus triangles modulo $m$, for any positive integer $m$, is shown. This is achieved by considering periodic triangles generated from interlaced arithmetic progressions. This positively answers a weak version of a problem, due to John C. Molluzzo in 1978, that has remained unsolved to date for the even values of $m\geqslant 12$.
Parameterized complexity of isometric path partition: treewidth and diameter
We investigate the parameterized complexity of the Isometric Path Partition problem when parameterized by the treewidth ($\mathrm{tw}$) of the input graph, arguably one of the most widely studied parameters. Courcelle's theorem shows that graph problems that are expressible as MSO formulas of constant size admit FPT algorithms parameterized by the treewidth of the input graph. This encompasses many natural graph problems. However, many metric-based graph problems, where the solution is defined using some metric-based property of the graph (often the distance) are not expressible as MSO formulas of constant size. These types of problems, Isometric Path Partition being one of them, require individual attention and often draw the boundary for the success story of parameterization by treewidth.
We prove that Isometric Path Partition is $W[1]$-hard when parameterized by treewidth (in fact, even pathwidth), answering the question by Dumas et al. [SIDMA, 2024], Fernau et al. [CIAC, 2023], and confirming the aforementioned tendency. We complement this hardness result by designing a tailored dynamic programming algorithm running in $n^{O(\mathrm{tw})}$ time. This dynamic programming approach also results in an algorithm running in time $\textrm{diam}^{O(\mathrm{tw}^2)} \cdot n^{O(1)}$, where $\textrm{diam}$ is the diameter of the graph. Note that the dependency on treewidth is unusually high, as most problems admit algorithms running in time $2^{O(\mathrm{tw})}\cdot n^{O(1)}$ or $2^{O(\mathrm{tw} \log (\mathrm{tw}))}\cdot n^{O(1)}$. However, we rule out the possibility of a significantly faster algorithm by proving that Isometric Path Partition does not admit an algorithm running in time $\textrm{diam}^{o(\mathrm{tw}^2/(\log^3(\mathrm{tw})))} \cdot n^{O(1)}$, unless the Randomized-ETH fails.
Rings as unions of proper ideals
In this note, we define and investigate ideal covering numbers of associative rings (not assumed to be commutative or unital): three invariants defined as the minimal number of proper left, right, or two-sided ideals whose union equals the ring. For every prime $p$, we construct four infinite families of rings without identity that attain the sharp lower bound $p + 1$ for ideal covering numbers, each exhibiting distinct behavior with respect to left, right, and two-sided ideal coverings. As a consequence of a result by Lucchini and Maróti, we also characterize all rings with ideal covering numbers three. Finally, we make several observations and propose open questions related to these invariants and the structure of rings admitting such ideal coverings.