Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Algebraicity of hypergeometric functions with arbitrary parameters
We provide a complete classification of the algebraicity of (generalized) hypergeometric functions with no restriction on the set of their parameters. Our characterization relies on the interlacing criteria of Christol (1987) and Beukers-Heckman (1989) for globally bounded and algebraic hypergeometric functions, however in a more general setting which allows arbitrary complex parameters with possibly integral differences. We also showcase the adapted criterion on a variety of different examples.
Approximate quadratic varieties
A classical result in additive combinatorics, which is a combination of Balog-Szemerédi-Gowers theorem and a variant of Freiman's theorem due to Ruzsa, says that if a subset $A$ of $\mathbb{F}_p^n$ contains at least $c |A|^3$ additive quadruples, then there exists a subspace $V$, comparable in size to $A$, such that $|A \cap V| \geq Ω_c(|A|)$. Motivated by the fact that higher order approximate algebraic structures play an important role in the theory of uniformity norms, it would be of interest to find higher order analogues of the mentioned result.
In this paper, we study a quadratic version of the approximate property in question, namely what it means for a set to be an approximate quadratic variety. It turns out that information on the number of additive cubes, which are 8-tuples of the form $(x, x+ a,$ $x+ b, x+ c,$ $x+ a + b, x+ a + c,$ $x+ b + c, x+ a + b + c)$, in a set is insufficient on its own to guarantee quadratic structure, and it is necessary to restrict linear structure in a given set, which is a natural assumption in this context. With this in mind, we say that a subset $V$ of a finite vector space $G$ is a $(c_0, δ, \varepsilon)$-approximate quadratic variety if $|V| = δ|G|$, $\|1_V - δ\|_{\mathsf{U}^2} \leq \varepsilon$ and $V$ contains at least $c_0δ^7 |G|^4$ additive cubes. Our main result is the structure theorem for approximate quadratic varieties, stating that such a set has a large intersection with an exact quadratic variety of comparable size.
Cluster algebras in Lie and Knot theory
This is a survey article on some connections between cluster algebras and link invariants, written for the Notices of the AMS.
Tree-like graphings, wallings, and median graphings of equivalence relations
Published in Forum of Mathematics, Sigma 13 (2025) e64
• View Publication
• BIB
We prove several results showing that every locally finite Borel graph whose large-scale geometry is "tree-like" induces a treeable equivalence relation. In particular, our hypotheses hold if each component of the original graph either has bounded tree-width or is quasi-isometric to a tree, answering a question of Tucker-Drob. In the latter case, we moreover show that there exists a Borel quasi-isometry to a Borel forest, under the additional assumption of (componentwise) bounded degree. We also extend these results on quasi-treeings to Borel proper metric spaces. In fact, our most general result shows treeability of countable Borel equivalence relations equipped with an abstract wallspace structure on each class obeying some local finiteness conditions, which we call a proper walling. The proof is based on the Stone duality between proper wallings and median graphs, i.e., CAT(0) cube complexes. Finally, we strengthen the conclusion of treeability in these results to hyperfiniteness in the case where the original graph has one (selected) end per component, generalizing the same result for trees due to Dougherty--Jackson--Kechris.
On Optimal Point Sets Determining Distinct Triangles
Published in The Electronic Journal of Combinatorics, Volume 31, Issue 2 (2024)
• View Publication
• BIB
Erdős and Fishburn studied the maximum number of points in the plane that span $k$ distances and classified these configurations, as an inverse problem of the Erdős distinct distances problem. We consider the analogous problem for triangles. Past work has obtained the optimal sets for one and two distinct triangles in the plane. In this paper, we resolve a conjecture that at most six points in the plane can span three distinct triangles, and obtain the hexagon as the unique configuration that achieves this. We also provide evidence that optimal sets cannot be on the square lattice in the general case.
Approximating rational points on horospherical varieties
Let $X$ be a smooth projective split horospherical variety over a number field $k$ and $x\in X(k)$. Contingent on Vojta's conjecture, we construct a curve $C$ through $x$ such that (in a precise sense) rational points on $C$ approximate $x$ better than any Zariski dense sequence of rational points. This proves a weakening of a conjecture of McKinnon in the horospherical case. Our results make use of the minimal model program and apply as well to $\mathbb{Q}$-factorial horospherical varieties with terminal singularities.
Cohen-Macaulay oriented graphs with large girth
Published
• View Publication
• BIB
We classify the Cohen-Macaulay weighted oriented graphs whose underlying graphs have girth at least $5$.
Cliquewidth and dimension
Published
• View Publication
• BIB
We prove that every poset with bounded cliquewidth and with sufficiently large dimension contains the standard example of dimension $k$ as a subposet. This applies in particular to posets whose cover graphs have bounded treewidth, as the cliquewidth of a poset is bounded in terms of the treewidth of the cover graph. For the latter posets, we prove a stronger statement: every such poset with sufficiently large dimension contains the Kelly example of dimension $k$ as a subposet. Using this result, we obtain a full characterization of the minor-closed graph classes $\mathcal{C}$ such that posets with cover graphs in $\mathcal{C}$ have bounded dimension: they are exactly the classes excluding the cover graph of some Kelly example. Finally, we consider a variant of poset dimension called Boolean dimension, and we prove that posets with bounded cliquewidth have bounded Boolean dimension.
The proofs rely on Colcombet's deterministic version of Simon's factorization theorem, which is a fundamental tool in formal language and automata theory, and which we believe deserves a wider recognition in structural and algorithmic graph theory.
Combinatorial Insight of Riemann Boundary Value Problem in Lattice Walk Problems
The enumeration of quarter-plane lattice walks with small steps is a classical problem in combinatorics. An effective approach is the kernel method, where the solution is derived by positive term extraction. Alternatively, one may reduce the lattice walk problem to a Carleman-type Riemann boundary value problem (RBVP) and solve it via analytic method. In the RBVP framework, two parameters govern the solution: the index $χ$ the conformal gluing function $w(x)$.
In this paper, we propose a combinatorial insight into the RBVP approach. We show that the index corresponds to the canonical factorization in the kernel method. The conformal gluing function can be viewed as a mapping that enables the application of positive term extraction. The combinatorial insight of RBVP establishes a unifying link between the kernel method, the RBVP approach and the Tutte's invariants method.
A concise geometric proof of the three distance theorem
The three distance theorem states that for any given irrational number $α$ and a natural number $n$, when the interval $( 0, 1 )$ is divided into $n+1$ subintervals by integer multiples of $α$, namely, $\{0\}, \{ α\}, \{ 2\,α\},\dots, \{ n\,α\}$, then each subinterval is limited to at most three different lengths. Steinhaus conjectured this theorem in the 1950s, and many researchers have given various proofs since then.
This paper aims to improve the perspective by showing a two-dimensional map which tells how the unit interval is divided by continuously changing $α$, and provide a concise proof of the theorem. By illustrating this proof through geometric visualizations, we offer a clearer and more intuitive understanding of the underlying principles and relationships. The approach not only reinforces the classical results but also paves the way for new insights and applications in the study of irrational numbers and their properties. Additionally, we present a simple proof of the three gap theorem, which is a dual of the three distance theorem.
Cellular diagonals of permutahedra
We provide a systematic enumerative and combinatorial study of geometric cellular diagonals on the permutahedra.
In the first part of the paper, we study the combinatorics of certain hyperplane arrangements obtained as the union of $\ell$ generically translated copies of the classical braid arrangement. Based on Zaslavsky's theory, we derive enumerative results on the faces of these arrangements involving combinatorial objects named partition forests and rainbow forests. This yields in particular nice formulas for the number of regions and bounded regions in terms of exponentials of generating functions of Fuss-Catalan numbers. By duality, the specialization of these results to the case $\ell = 2$ gives the enumeration of any geometric diagonal of the permutahedron.
In the second part of the paper, we study diagonals which respect the operadic structure on the family of permutahedra. We show that there are exactly two such diagonals, which are moreover isomorphic. We describe their facets by a simple rule on paths in partition trees, and their vertices as pattern-avoiding pairs of permutations. We show that one of these diagonals is a topological enhancement of the Sanbeblidze-Umble diagonal, and unravel a natural lattice structure on their sets of facets.
In the third part of the paper, we use the preceding results to show that there are precisely two isomorphic topological cellular operadic structures on the families of operahedra and multiplihedra, and exactly two infinity-isomorphic geometric universal tensor products of homotopy operads and A-infinity morphisms.
On bicyclic graphs with maximal Graovac-Ghorbani index
Published
• View Publication
• BIB
Graovac-Ghorbani index is a new version of the atom-bond connectivity index. D. Pacheco et al. [D. Pacheco, L. de Lima, C. S. Oliveira, On the Graovac-Ghorbani Index for Bicyclic Graph with No Pendent Vertices, MATCH Commun. Math. Comput. Chem. 86 (2021) 429-448] conjectured a sharp lower and upper bounds to the Graovac-Ghorbani index for all bicyclic graphs. Motivated by their nice work, in this paper we determine the maximal Graovac-Ghorbani index of bicyclic graphs and characterize the corresponding extremal graphs, which solves one of their Conjectures.
Assignment Based Metrics for Attributed Graphs
We introduce the Graph TT (GTT) and Graph OSPA (GOSPA) metrics based on optimal assignment, which allow us to compare not only the edge structures but also general vertex and edge attributes of graphs of possibly different sizes. We argue that this provides an intuitive and universal way to measure the distance between finite simple attributed graphs. Our paper discusses useful equivalences and inequalities as well as the relation of the new metrics to various existing quantifications of distance between graphs. By deriving a representation of a graph as a pair of point processes, we are able to formulate and study a new type of (finite) random graph convergence and demonstrate its applicability using general point processes of vertices with independent random edges. Computational aspects of the new metrics are studied in the form of an exact and two heuristic algorithms that are derived from previous algorithms for similar tasks. As an application, we perform a statistical test based on the GOSPA metric for functional differences in olfactory neurons of Drosophila flies.
Wreath Macdonald polynomials, a survey
Published
• View Publication
• BIB
Wreath Macdonald polynomials arise from the geometry of $Γ$-fixed loci of Hilbert schemes of points in the plane, where $Γ$ is a finite cyclic group of order $r\ge 1$. For $r=1$, they recover the classical (modified) Macdonald symmetric functions through Haiman's geometric realization of these functions. The existence, integrality, and positivity of wreath Macdonald polynomials for $r>1$ was conjectured by Haiman and first proved in work of Bezrukavnikov and Finkelberg by means of an equivalence of derived categories. Despite the power of this approach, a lack of explicit tools providing direct access to wreath Macdonald polynomials -- in the spirit of Macdonald's original works -- has limited progress in the subject.
A recent result of Wen provides a remarkable set of such tools, packaged in the representation theory of quantum toroidal algebras. In this article, we survey Wen's result along with the basic theory of wreath Macdonald polynomials, including its geometric foundations and the role of bigraded reflection functors in the construction of wreath analogs of the $\nabla$ operator. We also formulate new conjectures on the values of important constants arising in the theory of wreath Macdonald $P$-polynomials. A variety of examples are used to illustrate these objects and constructions throughout the paper.
Scaling limit of the sandpile identity element on the Sierpinski gasket
Published in From classical analysis to analysis on fractals: a tribute to Robert Strichartz, Volume 2, Applied and Numerical Harmonic Analysis, Birkhäuser. 2023
• Search Publication
We investigate the identity element of the sandpile group on finite approximations of the Sierpinski gasket with normal boundary conditions and show that the sequence of piecewise constant continuations of the identity elements on SG_n converges in the weak* sense to the constant function with value 4 on the Sierpinski gasket SG. We then generalize the proof to a wider range of functions and obtain the scaling limit for the identity elements with different choices of sink vertices.
The Hereditary Closure of the Unigraphs
Published
• View Publication
• BIB
A graph with degree sequence $π$ is a \emph{unigraph} if it is isomorphic to every graph that has degree sequence $π$. The class of unigraphs is not hereditary and in this paper we study the related hereditary class HCU, the hereditary closure of unigraphs, consisting of all graphs induced in a unigraph. We characterize the class HCU in multiple ways making use of the tools of a decomposition due to Tyshkevich and a partial order on degree sequences due to Rao. We also provide a new characterization of the class that consists of unigraphs for which all induced subgraphs are also unigraphs.
Cyclic Orderings of Paving Matroids
Published
• View Publication
• BIB
A matroid M is cyclically orderable if there is a cyclic permutation of the elements of M such that any r consecutive elements form a basis in M. An old conjecture of Kajitani, Miyano, and Ueno states that a matroid M is cyclically orderable if and only if for all nonempty subsets X in E(M), |X|/r(M) is less than or equal to |E(M)|/r(M). In this paper, we verify this conjecture for all paving matroids.
Extremal, enumerative and probabilistic results on ordered hypergraph matchings
Published in Forum of Mathematics, Sigma 13 (2025) e55
• View Publication
• BIB
An ordered $r$-matching is an $r$-uniform hypergraph matching equipped with an ordering on its vertices. These objects can be viewed as natural generalisations of $r$-dimensional orders. The theory of ordered 2-matchings is well-developed and has connections and applications to extremal and enumerative combinatorics, probability, and geometry. On the other hand, in the case $r \ge 3$ much less is known, largely due to a lack of powerful bijective tools. Recently, Dudek, Grytczuk and Ruciński made some first steps towards a general theory of ordered $r$-matchings, and in this paper we substantially improve several of their results and introduce some new directions of study. Many intriguing open questions remain.
Assouad-Nagata dimension of minor-closed metrics
Published in Proc. London Soc. 130 (2025), e70032
• View Publication
• BIB
Assouad-Nagata dimension addresses both large and small scale behaviors of metric spaces and is a refinement of Gromov's asymptotic dimension. A metric space $M$ is a minor-closed metric if there exists an (edge-)weighted graph $G$ satisfying a fixed minor-closed property such that the underlying space of $M$ is the vertex-set of $G$, and the metric of $M$ is the distance function in $G$. Minor-closed metrics naturally arise when removing redundant edges of the underlying graphs by using edge-deletion and edge-contraction. In this paper, we determine the Assouad-Nagata dimension of every minor-closed metric. Our main theorem simultaneously generalizes known results about the asymptotic dimension of $H$-minor free unweighted graphs and about the Assouad-Nagata dimension of complete Riemannian surfaces with finite Euler genus.
Tiling dense hypergraphs
Published
• View Publication
• BIB
In the perfect tiling problem, we aim to cover the vertices of a hypergraph~$G$ with pairwise vertex-disjoint copies of a hypergraph $F$. There are three essentially necessary conditions for such a perfect tiling, which correspond to barriers in space, divisibility and covering. It is natural to ask in which situations these conditions are also asymptotically sufficient.
Our main result confirms this for all hypergraph families that are hereditary in the sense of being approximately closed under taking typical induced subgraphs of constant order. Among others, this includes families parametrised by minimum degrees and quasirandomness, which have been studied extensively in this area. As an application, we recover and extend a series of well-known results for perfect tilings in hypergraphs and related settings involving vertex orderings and rainbow structures.