Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On a combinatorial classification of fine compactified universal Jacobians
Published
• View Publication
• BIB
Extending the definition of $V$-stability conditions, given by Viviani in a recent preprint, we introduce the notion of universal stability conditions. Building on results by Pagani and Tommasi, we show that fine compactified universal Jacobians, that is, fine compactified Jacobians over the moduli spaces of stable pointed curves $\overline{\mathcal{M}}_{g,n}$, are combinatorially classified by universal stability conditions.
We use these stability conditions to show the following. The inclusion of fine compactified universal Jacobians of type $(g,n)$ whose fibres over geometric points are classical, that is, they are constructed by some numerical polarisations, into the class of all fine compactified universal Jacobians, is strict, in general, for any $g\geq 2$. This answers a question of Pagani and Tommasi.
The relation between the gonality and the Clifford index of a chain of cycles
Published
• View Publication
• BIB
For a chain of cycles $Γ$ we prove Cliff($Γ$)=gon($Γ$)-2.
Identifying codes in triangle-free graphs of bounded maximum degree
Published
• View Publication
• BIB
An $\textit{identifying code}$ of a closed-twin-free graph $G$ is a set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhood and $S$. It was conjectured that there exists a constant $c$ such that for every connected closed-twin-free graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size at most $\left( \frac{Δ-1}Δ \right) n+c$. In [D. Chakraborty, F. Foucaud, M. A. Henning, and T. Lehtilä. Identifying codes in graphs of given maximum degree: Characterizing trees. arXiv preprint arXiv:2403.13172, 2024], we proved the conjecture for all trees. In this article, we show that the conjecture holds for all triangle-free graphs, with the same list of exceptional graphs needing $c>0$ as for trees: for $Δ\ge 3$, $c=1/3$ suffices and there is only a set of 12 trees requiring $c>0$ for $Δ=3$, and when $Δ\ge 4$ this set is reduced to the $Δ$-star only. Our proof is by induction, whose starting point is the above result for trees. Along the way, we prove a generalized version of Bondy's theorem on induced subsets [J. A. Bondy. Induced subsets. Journal of Combinatorial Theory, Series B, 1972] that we use as a tool in our proofs. We also use our main result for triangle-free graphs, to prove the upper bound $\left( \frac{Δ-1}Δ \right) n+1/Δ+4t$ for graphs that can be made triangle-free by the removal of $t$ edges.
Beyond chromatic threshold via the $(p,q)$-theorem, and a sharp blow-up phenomenon
We establish a novel connection between the well-known chromatic threshold problem in extremal combinatorics and the celebrated $(p,q)$-theorem in discrete geometry. In particular, for a graph $G$ with bounded clique number and a natural density condition, we prove a $(p,q)$-theorem for an abstract convexity space associated with $G$. Our result strengthens those of Thomassen and Nikiforov on the chromatic threshold of cliques. Our $(p,q)$-theorem can also be viewed as a $χ$-boundedness result for (what we call) ultra maximal $K_r$-free graphs.
We further show that the graphs under study are blow-ups of constant size graphs, improving a result of Oberkampf and Schacht on homomorphism threshold of cliques. Our result unravels the cause underpinning such a blow-up phenomenon, differentiating the chromatic and homomorphism threshold problems for cliques. It implies that for the homomorphism threshold problem, rather than the minimum degree condition usually considered in the literature, the decisive factor is a clique density condition on co-neighborhoods of vertices. More precisely, we show that if an $n$-vertex $K_{r}$-free graph $G$ satisfies that the common neighborhood of every pair of non-adjacent vertices induces a subgraph with $K_{r-2}$-density at least $\varepsilon>0$, then $G$ must be a blow-up of some $K_r$-free graph $F$ on at most $2^{O(\frac{r}{\varepsilon}\log\frac{1}{\varepsilon})}$ vertices. Furthermore, this single exponential bound is optimal. We construct examples with no $K_r$-free homomorphic image of size smaller than $2^{Ω_r(\frac{1}{\varepsilon})}$.
The Cordiality Game and the Game Cordiality Number
Published
• View Publication
• BIB
The cordiality game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting \track{unlabeled} vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. The two players have opposite goals: Admirable attempts to minimize the number of edges with different labels as much as possible while Impish attempts to maximize this number. When both Admirable and Impish play their optimal games, we define the \emph{game cordiality number}, $c_g(G)$, as the absolute difference between the number of edges labeled zero and one. Let $P_n$ be the path on $n$ vertices. We show $c_g(P_n)\le \frac{n-3}{3}$ when $n \equiv 0 \pmod 3$, $c_g(P_n)\le \frac{n-1}{3}$ when $n \equiv 1 \pmod 3$, and $c_g(P_n)\le \frac{n+1}{3}$ when $n \equiv 2\pmod 3$. Furthermore, we show a similar bound, $c_g(T) \leq \frac{|T|}{2}$ holds for any tree $T$.
Randomisation in the Josephus Problem
Published in Comb. Number Th. 13 (2024) 277-298
• View Publication
• BIB
The Josephus problem is a well--studied elimination problem consisting in determining the position of the survivor after repeated applications of a deterministic rule removing one person at a time from a given group.
A natural probabilistic variant of this process is introduced in this paper. More precisely, in this variant, the survivor is determined after performing a succession of Bernouilli trials with parameter $p$ designating each time the person to remove. When the number of participants tends to infinity, the main result characterises the limit distribution of the position of the survivor with an increasing degree of precision as the parameter approaches the unbiaised case $p=1/2$. Then, the convergence rate to the position of the survivor is obtained in the form of a Central-Limit Theorem.
A number of other variants of the suggested probabilistic elimination process are also considered. They each admit a specific limit behavior which, in most cases, is stated in the form of an open problem.
The 2D Toda lattice hierarchy for multiplicative statistics of Schur measures
We prove Fredholm determinants build out from generalizations of Schur measures, or equivalently, arbitrary multiplicative statistics of the original Schur measures are tau-functions of the 2D Toda lattice hierarchy. Our result apply to finite temperature Schur measures, and extends both the result of Okounkov in \cite{okounkovschurmeasures} and of Cafasso-Ruzza in \cite{cafassoruzza} concerning the finite-temperature Plancherel measure. Our proof lies on the semi-infinite wedge formalism and the Boson-Fermion correspondance.
Quadratic embedding constants of fan graphs and graph joins
Published in Linear Algebra and its Applications 709 (2025), 58-91
• View Publication
• BIB
We derive a general formula for the quadratic embedding constant of a graph join $\bar{K}_m+G$, where $\bar{K}_m$ is the empty graph on $m\ge1$ vertices and $G$ is an arbitrary graph. Applying our formula to a fan graph $K_1+P_n$, where $K_1=\bar{K}_1$ is the singleton graph and $P_n$ is the path on $n\ge1$ vertices, we show that $\mathrm{QEC}(K_1+P_n)=-\tildeα_n-2$, where $\tildeα_n$ is the minimal zero of a new polynomial $Φ_n(x)$ related to Chebyshev polynomials of the second kind. Moreover, for an even $n$ we have $\tildeα_n=\min\mathrm{ev}(A_n)$, where the right-hand side is the An minimal eigenvalue of the adjacency matrix $A_n$ of $P_n$. For an odd $n$ we show that $\min\mathrm{ev}(A_{n+1})\le\tildeα_n<\min\mathrm{ev}(A_n)$.
Multinomial random combinatorial structures and $r$-versions of Stirling, Eulerian and Lah numbers
Published
• View Publication
• BIB
We introduce multinomial and $r$-variants of several classic objects of combinatorial probability, such as the random recursive and Hoppe trees, random set partitions and compositions, the Chinese restaurant process, Feller's coupling, and some others. Just as various classic combinatorial numbers - like Stirling, Eulerian and Lah numbers - emerge as essential ingredients defining the distributions of the mentioned processes, the so-called $r$-versions of these numbers appear in exact distributional formulas for the multinomial and $r$-counterparts. This approach allows us to offer a concise probabilistic interpretation for various identities involving $r$-versions of these combinatorial numbers, which were either unavailable or meaningful only for specific values of the parameter $r$. We analyze the derived distributions for fixed-size structures and establish distributional limit theorems as the size tends to infinity. Utilizing the aforementioned generalized Stirling numbers of both kinds, we define and analyze $(r,s)$-Lah distributions, which have arisen in the existing literature on combinatorial probability in various contexts.
Constructions of local antimagic 3-colorable graphs of fixed odd size | matrix approach
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if there is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we give three ways to construct a $(3m+2)\times (2k+1)$ matrix that meets certain properties for $m=1,3$ and $k\ge 1$. Consequently, we obtained many (disconnected) graphs of size $(3m+2)(2k+1)$ with local antimagic chromatic number 3.
Sumsets in the Hypercube
Published
• View Publication
• BIB
A subset $S$ of the Boolean hypercube $\mathbb{F}_2^n$ is a sumset if $S = A+A = \{a + b \ | \ a, b\in A\}$ for some $A \subseteq \mathbb{F}_2^n$. We prove that the number of sumsets in $\mathbb{F}_2^n$ is asymptotically $(2^n-1)2^{2^{n-1}}$. Furthermore, we show that the family of sumsets in $\mathbb{F}_2^n$ is almost identical to the family of all subsets of $\mathbb{F}_2^n$ that contain a complete linear subspace of co-dimension $1$.
Combinatorial bases in quantum toroidal $\mathfrak{gl}_2$ modules
We show that many tame modules of the quantum toroidal $\mathfrak{gl}_2$ algebra can be explicitly constructed in a purely combinatorial way using the theory of $q$-characters. The examples include families of evaluation modules obtained from analytic continuation and automorphism twists of Verma modules of the quantum affine $\mathfrak{gl}_2$ algebra. The combinatorial bases in the modules are labeled by colored plane partitions with various properties.
A generalization of Boole's formula derived from a system of linear equations
Published in Elemente der Mathematik (2024)
• View Publication
• BIB
We analyze a system of linear algebraic equations whose solutions lead to a proof of a generalization of Boole's formula. In particular, our approach provides an elementary and short alternative to Katsuura's proof of this generalization.
Hereditary Graph Product Structure Theory and Induced Subgraphs of Strong Products
We prove that the celebrated Planar Product Structure Theorem by Dujmovic et al, and also related graph product structure results, can be formulated with the induced subgraph containment relation. Precisely, we prove that if a graph G is a subgraph of the strong product of a graph Q of bounded maximum degree (such as a path) and a graph M of bounded tree-width, then G is an induced subgraph of the strong product of Q and a graph M' of bounded tree-width being at most exponential in the maximum degree of Q and the tree-width of M. In particular, if G is planar, we show that G is an induced subgraph of the strong product of a path and a graph of tree-width 39. In the course of proving this result, we introduce and study H-clique-width, a new single structural measure that captures a hereditary analogue of the traditional product structure (where, informally, the strong product has one factor from the graph class H and one factor of bounded clique-width).
Locally primitive block designs
Published
• View Publication
• BIB
A locally primitive 2-design is a 2-design admitting an automorphism group $G$ with primitive local actions. It is proved that $G$ is point-primitive, and either $G$ is an almost simple group, or $G$ acting on the points is an affine group.
On a problem involving unit fractions
Erdős and Graham proposed to determine the number of subsets $S \subseteq \left\{1,2,\dots,n\right\}$ with $\sum_{s \in S} 1/s = 1$ and asked, among other things, whether that number could be as large as $2^{n - o(n)}$. We show that the number of subsets $S \subseteq \left\{1,2,\dots,n\right\}$ with $\sum_{s \in S} 1/s \leq 1$ is smaller than $2^{0.93n}$.
Whittaker vectors at finite energy scale, topological recursion and Hurwitz numbers
Published in Journal de l'École polytechnique -- Mathématiques, Volume 12 (2025), pp. 1503-1564
• View Publication
• BIB
We upgrade the results of Borot--Bouchard--Chidambaram--Creutzig to show that the Gaiotto vector in $4d$ $\mathcal{N} = 2$ pure supersymmetric gauge theory admits an analytic continuation with respect to the energy scale (which can therefore be taken to be finite, instead of infinitesimal), and is computed by topological recursion on the (ramified) half Seiberg--Witten spectral curve. This has a number of interesting consequences for the Gaiotto vector: relations to intersection theory on $\overline{\mathcal{M}}_{g,n}$ in at least two different ways, Hurwitz numbers, quantum curves, and (almost complete) description of the correlators as analytic functions of $\hslash$ (instead of formal series). The same method is used to establish analogous results for the more general Whittaker vector constructed in the recent work of Chidambaram--Doł{ę}ga--Osuga.
$Φ^p$ Amplitudes from the Positive Tropical Grassmannian: Triangulations of Extended Diagrams
Published
• View Publication
• BIB
The global Schwinger formula, introduced by Cachazo and Early as a single integral over the positive tropical Grassmannian, provides a way to uncover properties of scattering amplitudes which are hard to see in their standard Feynman diagram formulation. In a recent work, Cachazo and one of the authors extended the global Schwinger formula to general $φ^p$ theories. When $p=4$, it was conjectured that the integral decomposes as a sum over cones which are in bijection with non-crossing chord diagrams, and further that these can be obtained by finding the zeroes of a piece-wise linear function, $H(x)$. In this note we give a proof of this conjecture. We also present a purely combinatorial way of computing $φ^p$ amplitudes by triangulating a trivial extended version of non-crossing $(p-2)$-chord diagrams, called extended diagrams, and present a proof of the bijection between triangulated extended diagrams and Feynman diagrams when $p=4$. This is reminiscent of recent constructions using Stokes polytopes and accordiohedra. However, the $φ^p$ amplitude is now partitioned by a new collection of objects, each of which characterizes a polyhedral cone in the positive tropical Grassmannian in the form of an associahedron or of an intersection of two associahedra. Moreover, we comment on the bijection between extended diagrams and double-ordered biadjoint scalar amplitudes. We also conjecture the form of the general piece-wise linear function, $H^{φ^p}(x)$, whose zeroes generate the regions in which the $φ^p$ global Schwinger formula decomposes into.
Comparing Hilbert depth of $I$ with Hilbert depth of $S/I$
Let $I$ be a monomial ideal of $S=K[x_1,\ldots,x_n]$. We show that the following are equivalent: (i) $I$ is principal, (ii) $\operatorname{hdepth}(I)=n$, (iii) $\operatorname{hdepth}(S/I)=n-1$.
Assuming that $I$ is squarefree, we prove that if $\operatorname{hdepth}(S/I)\leq 3$ or $n\leq 5$ then $\operatorname{hdepth}(I)\geq \operatorname{hdepth}(S/I)+1$. Also, we prove that if $\operatorname{hdepth}(S/I)\leq 5$ or $n\leq 7$ then then $\operatorname{hdepth}(I)\geq \operatorname{hdepth}(S/I)$.
Free Sets in Planar Graphs: History and Applications
A subset $S$ of vertices in a planar graph $G$ is a free set if, for every set $P$ of $|S|$ points in the plane, there exists a straight-line crossing-free drawing of $G$ in which vertices of $S$ are mapped to distinct points in $P$. In this survey, we review - several equivalent definitions of free sets, - results on the existence of large free sets in planar graphs and subclasses of planar graphs, - and applications of free sets in graph drawing. The survey concludes with a list of open problems in this still very active research area.