Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On $T$-avoiding spherical codes and designs in $\mathbb{R}^{32}$
In this article, we show that the minimal vectors of the extremal even unimodular lattices in $\mathbb{R}^{32}$ are $T$-avoiding universally optimal for suitable sets $T$. Moreover, they are minimal $T$-avoiding spherical designs and maximal $T$-avoiding codes for appropriate choices of $T$.
Phase Space Formulation of S-matrix
We establish an exact relation between the S-symplectomorphism and the S-matrix by means of the phase space formulation of quantum mechanics. The adjoint action of the S-matrix defines a fuzzy diffeomorphism on phase space whose classical limit is the S-symplectomorphism. The relation between classical and quantum eikonals is immediate via $\hbar$-deformation of each Poisson bracket in the Magnus formula. Diagrammatic computation of quantum eikonal is illustrated for quantizations in both symmetric and normal orderings.
Spectral supersaturation for color-critical graphs
A graph is color-critical if it contains an edge whose deletion reduces its chromatic number. This class of graphs, including cliques and odd cycles, plays a central role in extremal graph theory. In this paper, following an influential line of research initiated by Bollobás-Nikiforov, we study the spectral supersaturation problem for color-critical graphs. Let $T_{n,r}$ be the $r$-partite Turán graph, let $\mathcal{T}_{n,r,q}$ denote the family of graphs obtained from $T_{n,r}$ by adding $q$ edges, and let $λ(G)$ be the spectral radius of a graph $G$. We first prove that for any color-critical graph $F$ with chromatic number $r+1$, there exists $δ_F > 0$ such that for sufficiently large $n$ and all $1 \leq q \leq δ_F \sqrt{n}$, any $n$-vertex graph $G$ with $λ(G) \ge \min_{T \in \mathcal{T}_{n,r,q}} λ(T)$ contains at least $q \cdot c(n,F)$ copies of $F$, where $c(n,F)$ denotes the minimum number of copies of $F$ created by adding a single edge to $T_{n,r}$; moreover, any extremal graph $G$ must belong to $ \mathcal{T}_{n,r,q}$.Next, we prove a spectral supersaturation result for the analogous condition $λ(G) \ge \max_{T \in \mathcal{T}_{n,r,q}} λ(T)$, valid for all $1 \leq q \leq δ_F n$. Together, these results provide a complete resolution to a problem proposed by Ning-Zhai, and establish a spectral counterpart to the well-known results of Mubayi and Pikhurko-Yilma in the extremal supersaturation setting. A notable feature of our first result is that the restriction $q = O(\sqrt{n})$ is tight up to a constant factor, in contrast to the linear bounds provided by other settings discussed above. As applications, we extend a result of Liu-Mubayi, and solve a related conjecture by Li-Lu-Peng.
Distinctive power and comparability of Harary polynomial
Let $\mathcal{P}$ be a graph property. A $\mathcal{P}$-coloring with at most $k$ colors is a coloring of the vertices of a simple graph $G$ such that each color class induces a graph in $\mathcal{P}$. Harary polynomials are generalizations of the chromatic polynomial for simple graphs based on conditional colorings. We denote by $χ_{\mathcal{P}}(G; k)$ the number of $\mathcal{P}$-colorings of $G$ with at most $k$ colors. $χ_{\mathcal{P}}(G; k)$ is a polynomial in $\Z[k]$. A first paper studying Harary polynomials systematically was published in 2021 by O.Herscovici, J.A. Makowsky and V. Rakita. It studies under which conditions on $\mathcal{P}$ is $χ_{\mathcal{P}}(G; k)$ definable in Monadic Second Order Logic and under which conditions is $χ_{\mathcal{P}}(G; k)$ a chromatic invariant. Let $\mathcal{P}, \mathcal{Q}$ be two graph properties. Two graphs $G, H$ are $\mathcal{P}$-mates if $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$, $χ_{\mathcal{P}} \leq χ_{\mathcal{Q}}$, if for all graphs $G, H$ we have that $χ_{\mathcal{Q}}(G; k) = χ_{\mathcal{Q}}(H; k)$ implies $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. In this paper we study under which conditions on $\mathcal{P}$ are there any (many) $\mathcal{P}$-mates and under which conditions on $\mathcal{P}, \mathcal{Q}$ is $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$.
On the growth rate of the Stanley-Wilf limit of blockable permutations
Given a permutation $π$, let $\text{Av}_n(π)$ be the number of permutations of length $n$ that avoid $π$ as a subpermutation. The celebrated resolution of the Stanley-Wilf conjecture by Marcus and Tardos confirmed that the limit $L(π) = \lim_{n \to \infty} |\text{Av}_n(π)|^{1/n}$ exists. A central and challenging question concerns the behavior of $L(π)$ as a function of the pattern length $|π|$. While Fox proved that $L(π)$ is exponential in $|π|$ for almost all permutations, it is known that $L(π)$ grows polynomially for specific structural classes. For instance, $L(π)$ is known to be quadratic in $|π|$ when $π$ is a monotone or a layered permutation. In this paper, we address this question for {\it blockable} permutations $π$.
Roman domination in weighted graphs
A Roman dominating function for a (non-weighted) graph $G=(V,E)$, is a function $f:V\rightarrow \{0,1,2\}$ such that every vertex $u\in V$ with $f(u)=0$ has at least {one} neighbor $v\in V$ such that $f(v)=2$. The minimum weight $\sum_{v\in V}f(v)$ of a Roman {dominating function} $f$ on $G$ is called the Roman domination number of $G$ and is denoted by $γ_{R}(G)$. A graph {$G= (V,E)$} together with a positive real-valued weight-function $w:V\rightarrow \mathbf{R}^{>0}$ is called a {\it weighted graph} and is denoted by $(G;w)$. The minimum weight $\sum_{v\in V}f(v)w(v)$ of a Roman {dominating function} $f$ on $G$ is called the weighted Roman domination number of $G$ and is denoted by $γ_{wR}(G)$. The domination and Roman domination numbers of unweighted graphs have been extensively studied, particularly for their applications in bioinformatics and computational biology. However, graphs used to model biomolecular structures often require weights to be biologically meaningful. In this paper, we initiate the study of the weighted Roman domination number in weighted graphs. We first establish several bounds for this parameter and present various realizability results. Furthermore, we determine the exact values for several well-known graph families and demonstrate an equivalence between the weighted Roman domination number and the differential of a weighted graph.
Tiling Triangles with $2π/3$ Angles
Motivated by a question of Erdös and inquiries by Beeson and Laczkovich, we explore the possible $N$ for which a triangle $T$ can tile into $N$ congruent copies of a triangle $R$. The \emph{reptile} cases (where $T$ is similar to $R$) and the \emph{commensurable-angles} cases (where all angles of $R$ are rational multiples of $π$) are well-understood. We tackle the most interesting remaining case, which is when $R$ contains an angle of $2π/3$ and when $T$ is one of $6$ ``sporadic'' specific triangles, of which only $2$ were known to have constructions. For each of these, we create a family of constructions and conjecture that they are the only possible $N$ that occur for these triangles.
Infinitesimal moments in free and c-free probability and Motzkin paths
Infinitesimal moments associated with infinitesimal freeness and infinitesimal conditional freeness are studied. For free random variables, we consider continuous deformations of moment functionals associated with Motzkin paths $w$, which provide a decomposition of their moments, and we compute their derivatives at zero. We show that the first-order derivative of each functional vanishes unless the path has exactly one local maximum. Geometrically, this means that $w$ is a pyramid path, which is consistent with the characteristic formula for alternating moments of infinitesimally free centered random variables. In this framework, infinitesimal Boolean independence is also obtained and it corresponds to flat paths. A similar approach is developed for infinitesimal conditional freeness, for which we show that the only moment functionals that have a non-zero first-order derivative are associated with concatenations of a pyramid path and a flat path. This charaterization leads to a Leibniz-type definition of infinitesimal conditional freeness at the level of moments.
Fano compactifications of mutation algebras
In this article, we introduce the notion of mutation semigroup algebras. This concept simultaneously generalizes cluster algebras and semigroup algebras. We show that, under some mild conditions on the singularities, the spectrum $U={\rm Spec}(R)$ of a mutation semigroup algebra $R$ admits a log Fano compactification $U\hookrightarrow X$. The compactification $X$ can be chosen to be a $\mathbb{Q}$-factorial log Fano variety whenever $U$ is $\mathbb{Q}$-factorial. Furthermore, we prove that a $\mathbb{Q}$-factorial klt Fano variety $X$ is of cluster type if and only if its Cox ring ${\rm Cox}(X)$ is a ${\rm Cl}(X)$-graded mutation semigroup algebra. In order to enlighten the previous theorems, we provide several explicit examples motivated by birational geometry, representation theory, and combinatorics.
The trinacria graphs $T_{(b+2)b2}$ are $e$-positive
In this paper, we identify a new family of $e$-positive graphs, called the trinacria graphs $T_{(b+2)b2}$, thereby providing a partial answer to Stanley's question on which graphs are $e$-positive. The trinacria graph $T_{abc}$ is the graph on $a+b+c+3$ vertices obtained by attaching paths $P_a$, $P_b$ and~$P_c$ to the vertices of a triangle, respectively. Our proof relies on several ad hoc combinatorial ideas, and employs divide-and-conquer techniques, charging arguments, and progressive repair methods.
First-Order Logic and Twin-Width for Some Geometric Graphs
For some geometric graph classes, tractability of testing first-order formulas is precisely characterised by the graph parameter twin-width. This was first proved for interval graphs among others in [BCKKLT, IPEC '22], where the equivalence is called delineation, and more generally holds for circle graphs, rooted directed path graphs, and $H$-graphs when $H$ is a forest. Delineation is based on the key idea that geometric graphs often admit natural vertex orderings, allowing to use the very rich theory of twin-width for ordered graphs.
Answering two questions raised in their work, we prove that delineation holds for intersection graphs of non-degenerate axis-parallel unit segment graphs, but fails for visibility graphs of 1.5D terrains. We also prove delineation for intersection graphs of circular arcs.
Benign Nonconvexity of Synchronization Landscape Induced by Graph Skeletons
We consider the homogeneous Kuramoto model on a graph and study the geometry of its associated nonconvex energy landscape. This problem admits a dual interpretation. On the one hand, it can be viewed as a geometric optimization problem, seeking configurations of phases that minimize the energy function $E(\boldsymbolθ):=-\sum_{1\leq i,j\neq n}A_{ij}\cos(θ_i-θ_j)$. On the other hand, the same function serves as the potential governing the dynamics of the classical homogeneous Kuramoto model. A central question is to identify which graphs induce a benign energy landscape, in the sense that every second-order stationary point is a global minimizer, corresponding to the fully synchronized state. In this case, the graph is said to be globally synchronizing. Most existing results establish global synchronization by relating a given graph to the complete graph, which is known to be globally synchronizing, and by showing that graphs sufficiently close to it inherit this property. In contrast, we uncover a fundamentally different mechanism: global synchronization, despite being a collective phenomenon, unfolds on these graphs through a sequential process of local synchronization that propagates along their structural skeletons. Our approach is based on a detailed analysis of the phasor geometry at second-order stationary points of the nonconvex energy landscape.
Completing the enumeration of inversion sequences avoiding triples of relations
An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.
An alternative characterisation of graphs quasi-isometric to graphs of bounded treewidth
Quasi-isometry is a measure of how similar two graphs are at `large-scale'. Nguyen, Scott, and Seymour [arXiv:2501.09839] and Hickingbotham [arXiv:2501.10840] independently gave a characterisation of graphs quasi-isometric to graphs of treewidth $k$. In this paper, we give a new characterisation of such graphs. Specifically, we show that such graphs $G$ are characterised by the existence of a partition whose quotient has treewidth at most $k$ and such that each part has bounded weak diameter in $G$. The primary contribution of our characterisation is a structural description of graphs that admit such a quasi-isometry. This differs from the characterisation mentioned above, which primarily shows the existence of such a quasi-isometry. The characterisations are complementary, and neither immediately implies the other.
Acyclic subgraphs of digraphs with high chromatic number
Published in European Journal of Combinatorics, 2026
• View Publication
• BIB
For a digraph $G$, let $f(G)$ be the maximum chromatic number of an acyclic subgraph of $G$. For an $n$-vertex digraph $G$ it is proved that $f(G) \ge n^{5/9-o(1)}s^{-14/9}$ where $s$ is the bipartite independence number of $G$, i.e., the largest $s$ for which there are two disjoint $s$-sets of vertices with no edge between them. This generalizes a result of Fox, Kwan and Sudakov, who proved this for the case $s=0$ (i.e., tournaments and semicomplete digraphs). Consequently, if $s=n^{o(1)}$, then $f(G) \ge n^{5/9-o(1)}$ which polynomially improves the folklore bound $f(G) \ge n^{1/2-o(1)}$. As a corollary, with high probability, all orientations of the random $n$-vertex graph with edge probability $p=n^{-o(1)}$ (in particular, constant $p$, hence almost all $n$-vertex graphs) satisfy $f(G) \ge n^{5/9-o(1)}$. Our proof uses a theorem of Gallai and Milgram that together with several additional ideas, essentially reduces to the proof of Fox, Kwan and Sudakov.
Topological properties of generalized Markoff mod $p$ graphs
The generalized Markoff mod $p$ graph is defined via the equation $x^2+y^2+z^2=xyz+κ$ over the finite field $\mathbb{F}_p$ of prime order $p$. In this paper, we investigate the topological properties of the graph such as non-planarity, surface embeddability, and the existence of short cycles. Our approach is based on a systematic construction of $K_{3,3}$-subdivisions, integrating techniques from graph theory, computer algebra, and number theory.
Post-Hopf algebroids, post-Lie-Rinehart algebras and geometric numerical integration
In this paper, we introduce the notion of post-Hopf algebroids, generalizing the pre-Hopf algebroids introduced in [Bronasco, Laurent, 2025] in the study of exotic aromatic S-series. We construct action post-Hopf algebroids through actions of post-Hopf algebras. We show that the universal enveloping algebra of a post-Lie-Rinehart algebra (post-Lie algebroid) is naturally a post-Hopf algebroid. As a byproduct, we construct the free post-Lie-Rinehart algebra using a magma algebra with a linear map to the derivation Lie algebra of a commutative associative algebra. Applications in geometric numerical integration on manifolds are given.
Finite Groups of Random Walks in the Quarter Plane and Periodic $4$-bar Links
We solve two long standing open problems, one from probability theory formulated by Malyshev in 1970 and another one from a crossroad of geometry and dynamics, of Darboux from 1879. The Malyshev problem is of finding effective, explicit necessary and sufficient conditions in the closed form to characterize all random walks in the quarter plane with the finite group of random walk of order $2n$, for all $n\ge 2$, where the underlining biquadratic is an elliptic curve. Until now, the results were known only for $n=2, 3, 4$, obtained using ad-hoc methods developed separately for each of the three cases. We provide a method that solves the problem for all $n$ and in a unified way. Explicit examples of random walks with the groups of orders higher than 10 are presented here for the first time, including orders 12, 14, 16. The same method applies to any higher order. We consider cases with singular biquadratics in a systematic manner. We establish a new two-way relationship between diagonal random walks and $4$-bar links. We describe all $n$-periodic Darboux transformations for $4$-bar links for all $n\ge 2$, thus completely solving the Darboux problem: after $n$ iterations, a polygonal configuration maps to a congruent one of the same orientation, that he solved for $n=2$, which was recently extended to $n=3$. We also study $k$-semi-periodicity as a natural type of periodicity of the Darboux transformations, where after $k$ iterations of the Darboux transformation, a polygonal configuration maps to a congruent one, but of opposite orientation. By introducing a new object, the secondary $(2,2)$ correspondence, and the related secondary cubic of the centrally-symmetric biquadratics, we provide necessary and sufficient conditions for $k$-semi-periodicity for $4$-bar links for all $k\ge 2$ in an explicit closed form, while the case $k=2$ was solved recently.
Repeat times and a two-weight UST model
We study a model of random weighted uniform spanning trees on the complete graph with $n$ vertices, where each edge is assigned a weight of $n^{1+γ}$ with probability $1/n$ and $1$ otherwise. Whenever $γ$ is large enough, we prove that the diameter of the resulting tree is typically of order $n^{1/3} \log n$, up to a $\log \log n$ correction. Our approach uses estimates on repeat times for selecting components in a critical Erdős-Rényi graph, as well as concentration bounds on the sums of diameters of these components.
Generalized binomial edge ideals are Cartwright-Sturmfels
Binomial edge ideals associated to a simple graph G were introduced by Herzog and collaborators and, independently, by Ohtani. They became an ``instant classic" in combinatorial commutative algebra with more than 100 papers devoted to their investigation over the past 15 years. They exhibit many striking properties, including being radical and, moreover, Cartwright-Sturmfels. Using the fact that binomial edge ideals can be seen as ideals of 2-minors of a matrix of variables with two rows, generalized binomial edge ideals of 2-minors of matrices of m rows were introduced by Rauh and proved to be radical. The goal of this paper is to prove that generalized binomial edge ideals are Cartwright-Sturmfels. On the way we provide results on ideal constructions preserving the Cartwright-Sturmfels property. We also give examples and counterexamples to the Cartwright-Sturmfels property for higher minors.