Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Construction Techniques for Linear Realizations of Multisets with Small Support
A Hamiltonian path in the complete graph $K_v$ whose vertices are labeled with the integers $0,1,\ldots,v-1$ is a linear realization for the multiset $L$ of the linear edge-lengths (given by $|x-y|$ for the edge between vertices $x$ and $y$) of the edges in the path. A linear realization is standard if an end-vertex is 0 and perfect if the end-vertices are 0 and $v-1$.
Linear realizations are useful in the study of the Buratti-Horak-Rosa (BHR) Conjecture on the existence of cyclic realizations (where cyclic edge-lengths are given by distance modulo $v$) for given multisets. In this paper, we focus on multisets of the form $\{1^a, (y-k)^b, y^c\}$.
Using core perfect linear realizations for supports of size 2 (which have the forms $\{x^{y-1},y^{x+1}\}$ whenever $\gcd(x,y)=1$), we construct standard linear realizations (with $a=k-1$, $b=j(y-k)$, $c=jy$) when $k\mid y$ or $k \leq 4$. When $k=2$, these allow us to show that there is a linear realization whenever $a \geq y$. This is in line with the known results for the case of $k=1$. We also supplement these results for $k=1$ by constructing linear realizations whenever $b+c < y$ and $a \geq y - \min(b,c)$, from which the coprime version of the BHR Conjecture (requiring that $v$ is coprime with each element of the multiset) follows for $k=1$ when $y \leq 16$.
Our methods show promise for constructing linear realizations for arbitrary $k$, in the direction of a resolution of the BHR Conjecture for supports of size 3.
Settling the no-$(k+1)$-in-line problem when $k$ is not small
What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform random bipartite graphs and concentration inequalities.
Convolution numbers: the cyclic case
Convolution sums are introduced and special instances of the cyclic convolution on finite sets is examined in more detail. The distributions that emerge are multidimensional generalizations of the Catalan and Narayana numbers. This work yields a closed form solution for 1-dimensional marginals and certain bivariate marginals in the cyclic prime case. It is explained how a sufficiently high resolution of understanding these multidimensional distributions yields an approach to attack the Hadamard matrix conjecture.
The Moebius function on the lattice of normal subgroups
By studying lattices of normal subgroups, especially those of the socle and radical, an expression is obtained for the minimal number of conjugacy classes required to generate a group. This number is shown to be captured by the character table. The Moebius function is then used to extract information on the faithful irreducible representations of a group.
Solving infinitary Rubik's cubes
We develop infinitary analogues of the $N\times N\times N$ Rubik's cube. We'll be pushed to consider the possibility of transfinitely many twists and the foremost question we shall study is whether or not all infinite scrambles are solvable, in principle, and in how many twists. As is typical of infinitary generalizations of everyday games and puzzles, several alternative definitions are reasonable, including in particular the edged and edgeless cubes, which bear surprising theoretical differences, not analogous to the finite case. We show that for the edged cube of cardinality $\aleph_α$, all convergent (in a suitable sense) scrambles are in fact solvable in principle in fewer than $ω_{α+1}$ many moves. For the countable edgeless variation, we prove by entirely different methods that all convergent scrambles are solvable in a mere $ω^2$ many moves and this solution does not require knowledge of how the scrambled configuration was obtained. Finally, we explore the space of all legal configurations of the countable edgeless cube connected to the solved configuration by accessibility. We invite several open questions, including the solvability in principle of edgeless cubes of uncountable cardinality.
Extremal distance spectral radius of graphs with fixed size
Published
• View Publication
• BIB
Let $m$ be a positive integer. Brualdi and Hoffman proposed the problem to determine the (connected) graphs with maximum spectral radius in a given graph class and they posed a conjecture for the class of graphs with given size $m$. After partial results due to Friedland and Stanley, Rowlinson completely confirmed the conjecture. The distance spectral radius of a connected graph is the largest eigenvalue of its distance matrix. We investigate the problem to determine the connected graphs with minimum distance spectral radius in the class of graphs with size $m$. Given $m$, there is exactly one positive integer $n$ such that ${n-1\choose 2} <m\leq {n\choose 2}$. We establish some structural properties of the extremal graphs for all $m$ and solve the problem for ${n-1\choose 2}+\max\{\frac{n-6}{2},1\}\le m\leq {n\choose 2}$. We give a conjecture for the remaining case. To prove the main results, we also determine the the complements of forests of fixed order with large and small distance spectral radius.
Cointeraction on noncrossing partitions and related polynomial invariants
We study the structure of two cointeracting bialgebras on noncrossing partitions appearing in the theory of free probability. The first coproduct is given by separation of the blocks of the partitions into two parts, with respect to the nestings, while the second one is given by fusion of blocks. This structure implies the existence of a unique polynomial invariant respecting the product and both coproducts. We give a combinatorial interpretation of this invariant, study its values at -1 and use it for the computation of the antipode. We also give several results on its coefficients when applied to noncrossing partitions with no nesting. This leads to unexpected links with harmonic nested sums, Riordan arrays, composition of formal series and generalized Stirling numbers. This polynomial invariant is shown to be related to other ones, counting increasing or strictly increasing maps for the nesting order on noncrossing partitions, through the action of several characters.
On 3-isoregularity of multicirculants
A graph is said to be $k$-{\em isoregular} if any two vertex subsets of cardinality at most $k$, that induce subgraphs of the same isomorphism type, have the same number of neighbors. It is shown that no $3$-isoregular bicirculant (and more generally, no locally $3$-isoregular bicirculant) of order twice an odd number exists. Further, partial results for bicirculants of order twice an even number as well as tricirculants of specific orders, are also obtained. Since $3$-isoregular graphs are necessarily strongly regular, the above result about bicirculants, among other, brings us a step closer to obtaining a direct proof of a classical consequence of the Classification of Finite Simple Groups that no simply primitive group of degree twice a prime exists for primes greater than $5$.
Triangle-free $d$-degenerate graphs have small fractional chromatic number
A well-known conjecture by Harris states that any triangle-free $d$-degenerate graph has fractional chromatic number at most $O\left(\frac{d}{\ln d}\right)$. This conjecture has gained much attention in recent years, and is known to have many interesting implications, including a conjecture by Esperet, Kang and Thomassé that any triangle-free graph with minimum degree $d$ contains a bipartite induced subgraph of minimum degree $Ω(\log d)$. Despite this attention, Harris' conjecture has remained wide open with no known improvement on the trivial upper bound, until now.
In this article, we give an elegant proof of Harris' conjecture. In particular, we show that any triangle-free $d$-degenerate graph has fractional chromatic number at most $(4+o(1))\frac{d}{\ln d}.$ The conjecture of Esperet et al. follows as a direct consequence. We also prove a more general result, showing that for any triangle-free graph $G$, there exists a random independent set in which each vertex $v$ is included with probability $Ω(p(v))$, where $p:V(G)\rightarrow [0,1]$ is any function that satisfies a natural condition.
On the minimum cut-sets of the power graph of a finite cyclic group, II
Published
• View Publication
• BIB
The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple graph with vertex set $G$ and two distinct vertices are adjacent if one of them is a power of the other. Let $n=p_1^{n_1}p_2^{n_2}\cdots p_r^{n_r},$ where $p_1,p_2,\ldots,p_r$ are primes with $p_1<p_2<\cdots <p_r$ and $n_1,n_2,\ldots, n_r$ are positive integers. For the cyclic group $C_n$ of order $n$, the minimum cut-sets of $\mathcal{P}(C_n)$ are characterized in \cite{cps} for $r\leq 3$. Recently, in \cite{MPS}, certain cut-sets of $\mathcal{P}(C_n)$ are identified such that any minimum cut-set of $\mathcal{P}(C_n)$ must be one of them. In this paper, for $r\geq 4$, we explicitly determine the minimum cut-sets, in particular, the vertex connectivity of $\mathcal{P}(C_n)$ when: (i) $n_r\geq 2$, (ii) $r=4$ and $n_r=1$, and (iii) $r=5$, $n_r=1$, $p_1\geq 3$.
Cayley graphs on elementary abelian groups of extreme degree have complete cores
Nešetřil and Šámal asked whether every cubelike graph has a cubelike core. Mančinska, Pivotto, Roberson and Royle answered this question in the affirmative for cubelike graphs whose core has at most $32$ vertices. When the core of a cubelike graph has at most $16$ vertices, they gave a list of these cores, from which it follows that every cubelike graph with degree strictly less than $5$ has a complete core. We prove the following extension: if the degree of a cubelike graph is either strictly less than $5$ or at least $5$ less than the number of its vertices, then its core is complete and induced by a $\mathbb{F}_2$-vector subspace of its vertices. Thus we also answer Nešetřil and Šámal's question in the affirmative for cubelike graphs with degree at least $5$ less than the number of vertices. Our result is sharp as the $5$-regular folded $5$-cube and its graph complement are both non-complete cubelike graph cores. We also prove analogous results for Cayley graphs on elementary abelian $p$-groups for odd primes $p$.
Transductions of Graph Classes Admitting Product Structure
In a quest to thoroughly understand the first-order transduction hierarchy of hereditary graph classes, some questions in particular stand out; such as, what properties hold for graph classes that are first-order transductions of planar graphs (and of similar classes)? When addressing this (so-far wide open) question, we turn to the concept of a product structure - being a subgraph of the strong product of a path and a graph of bounded tree-width, introduced by Dujmovic et al. [JACM 2020]. Namely, we prove that any graph class which is a first-order transduction of a class admitting such product structure, up to perturbations also meets a structural description generalizing the concept of a product structure in a dense hereditary way - the latter concept being introduced just recently by Hlineny and Jedelsky under the name of H-clique-width [MFCS 2024]. Using this characterization, we show that the class of the 3D grids, as well as a class of certain modifications of 2D grids, are not first-order transducible from classes admitting a product structure, and in particular not from the class of planar graphs.
Four bases for the Onsager Lie algebra related by a $\mathbb{Z}_2 \times \mathbb{Z}_2$ action
Published
• View Publication
• BIB
The Onsager Lie algebra $O$ is an infinite-dimensional Lie algebra defined by generators $A$, $B$ and relations $[A, [A, [A, B]]] = 4[A, B]$ and $[B, [B, [B, A]]] = 4[B, A]$. Using an embedding of $O$ into the tetrahedron Lie algebra $\boxtimes$, we obtain four direct sum decompositions of the vector space $O$, each consisting of three summands. As we will show, there is a natural action of $\mathbb{Z}_2 \times \mathbb{Z}_2$ on these decompositions. For each decomposition, we provide a basis for each summand. Moreover, we describe the Lie bracket action on these bases and show how they are recursively constructed from the generators $A$, $B$ of $O$. Finally, we discuss the action of $\mathbb{Z}_2 \times \mathbb{Z}_2$ on these bases and determine some transition matrices among the bases.
On Dirac and Motzkin problem in discrete geometry
Published
• View Publication
• BIB
Dirac and Motzkin conjectured that any set X of $n$ non-collinear points in the plane has an element incident with at least $\lceil \frac{n}{2} \rceil$ lines spanned by X. In this paper we prove that any set X of $n$ non-collinear points in the plane, distributed on three lines passing through a common point, has an element incident with at least $\lceil \frac{n}{2} \rceil$ lines spanned by X.
Classification of irreducible $\mathfrak{u}$-diagonalizable $H_{\ell,n}$-modules
We give a classification for the irreducible $\mathfrak{u}$-diagonalizable representations of the degenerate affine Hecke algebra of type $G(\ell,1,n)$. Precisely we show that such $H_{\ell,n}$-modules are indexed by $\ell$-skew shapes and that the representation indexed by a skew shape $D$ has a basis of eigenvectors indexed by standard Young tableaux of shape $D$.
Character factorisations, $z$-asymmetric partitions and plethysm
The Verschiebung operators $\varphi_t $ are a family of endomorphisms on the ring of symmetric functions, one for each integer $t\geq2$. Their action on the Schur basis has its origins in work of Littlewood and Richardson, and is intimately related with the decomposition of a partition into its $t$-core and $t$-quotient. Namely, they showed that the action on $s_λ$ is zero if the $t$-core of the indexing partition is nonempty, and otherwise it factors as a product of Schur functions indexed by the $t$-quotient. Much more recently, Lecouvey and, independently, Ayyer and Kumari have provided similar formulae for the characters of the symplectic and orthogonal groups, where again the combinatorics of cores and quotients plays a fundamental role. We embed all of these character factorisations in an infinite family involving an integer $z$ and parameter $q$ using a very general symmetric function defined by Hamel and King. The proof hinges on a new characterisation of the $t$-cores and $t$-quotients of $z$-asymmetric partitions which generalise the well-known classifications for self-conjugate and doubled distinct partitions. We also explain the connection between these results, plethysms of symmetric functions and characters of the symmetric group.
Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?
Published in Proc. 42nd ICML, PMLR 267, 2025
• Search Publication
We demonstrate how neural networks can drive mathematical discovery through a case study of the Hadwiger-Nelson problem, a long-standing open problem at the intersection of discrete geometry and extremal combinatorics that is concerned with coloring the plane while avoiding monochromatic unit-distance pairs. Using neural networks as approximators, we reformulate this mixed discrete-continuous geometric coloring problem with hard constraints as an optimization task with a probabilistic, differentiable loss function. This enables gradient-based exploration of admissible configurations that most significantly led to the discovery of two novel six-colorings, providing the first improvement in thirty years to the off-diagonal variant of the original problem. Here, we establish the underlying machine learning approach used to obtain these results and demonstrate its broader applicability through additional numerical insights.
Leaf-to-leaf paths of many lengths
We prove that every tree of maximum degree $Δ$ with $\ell$ leaves contains paths between leaves of at least $\log_{Δ-1}((Δ-2)\ell)$ distinct lengths. This settles in a strong form a conjecture of Narins, Pokrovskiy and Szabó. We also make progress towards another conjecture of the same authors, by proving that every tree with no vertex of degree 2 and diameter at least $N$ contains $N^{2/3}/6$ distinct leaf-to-leaf path lengths between $0$ and $N$.
Oscillation stability by the Carlson-Simpson theorem
We prove oscillation stability for the Banach space $\ell_\infty$: every weak-* Borel, uniformily continuous map from the unit sphere of this space to a compact metric space can be made arbitrarily close to a constant map when restricted to the unit sphere of a suitable linear isometric subcopy of $\ell_\infty$. We also give a new proof of oscillation stability for the Urysohn sphere (a result by Nguyen Van Thé--Sauer): every uniformily continuous map from the Urysohn sphere to a compact metric space can be made arbitrarily close to a constant map when restricted to a suitable isometric subcopy of the Urysohn sphere. Both proofs are based on Carlson-Simpson's dual Ramsey theorem.
Hyperbolicity, topology, and combinatorics of fine curve graphs and variants
Given a surface, the fine $k$-curve graph of the surface is a graph whose vertices are simple closed essential curves and whose edges connect curves that intersect in at most $k$ points. We note that the fine $k$-curve graph is hyperbolic for all $k$ and, for $k\geq 2,$ show that it contains as induced subgraphs all countable graphs. We also show that the direct limit of this family of graphs, which we call the finitary curve graph, has diameter 2, has a contractible flag complex, contains every countable graph as an induced subgraph, and has as its automorphism group the homeomorphism group of the surface. Finally, we explore some finite graphs that are not induced subgraphs of fine curve graphs.