Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Isomorphisms between Covering-Induced Lattices and Classical Geometric Lattices
Lattices induced by coverings arise naturally in matroid theory and combinatorial optimization, providing a structured framework for analyzing relationships between independent sets and closures. In this paper, we explore the structural properties of such lattices, with a particular focus on their rank structure, covering relations, and enumeration of elements per level. Leveraging these structural insights, we investigate necessary and sufficient conditions under which the lattice induced by a covering is isomorphic to classical geometric lattices, including the lattice of partitions, the lattice of subspaces of a vector space over a finite field, and the Dowling lattice. Our results provide a unified framework for comparing these combinatorial structures and contribute to the broader study of lattice theory, matroids, and their applications in combinatorics.
Functional Calculi, Positivity, and Convolution of Matrices
Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within this setting, we establish results parallel to the classical theories of Pólya--Szegő, Schoenberg, Rudin, Loewner, and Horn in the context of entrywise calculus. The structure of our transform is governed by a Cayley--Hamilton-type theory valid in commutative rings of characteristic zero, together with a novel polynomial-matrix identity specific to convolution. Beyond these analytic aspects, we uncover an intrinsic connection between convolution and the Bruhat order on the symmetric group, illuminating the combinatorial aspect of this functional operation. This work extends the classical theory of entrywise positivity preservers and operator monotone functions into the convolutional setting.
On Circular Threshold Words and Other Stronger Versions of Dejean's conjecture
Let the root of the word $w$ be the smallest prefix $v$ of $w$ such that $w$ is a prefix of $vvv...$. $per(w)$ is the length of the root of $w$. For any $n\ge5$, an $n$-ary threshold word is a word $w$ such that for any factor (subword) $v$ of $w$ the condition $\frac{|v|}{per(v)}\le\frac{n}{n-1}$ holds. Dejean conjecture (completely proven in 2009) states for $n\ge5$ that exists infinitely many of $n$-ary TWs.
This manuscript is based on the author's student works (diplomas of 2011 (bachelor's thesis) and 2013 (master's thesis) years) and presents an edited version (in Russian) of these works with some improvements.
In a 2011 work proposed new methods of proving of the Dejean conjecture for some odd cases $n\ge5$, using computer verification in polynomial time (depending on $n$). Moreover, the constructed threshold words (TWs) are ciclic/ring TWs (any cyclic shift is a TW).
In the 2013 work, the proof method (of 2011) was improved by reducing the verification conditions. A solution for some even cases $n\ge6$ is also proposed. A 2013 work also proposed a method to construct stronger TWs, using a TW tree with regular exponential growth. Namely, the TWs, where all long factors have an exponent close to 1.
Two-Distance Sets over Finite Fields
We show that Blokhuis' quadratic upper bound for two-distance sets is sharp over finite fields in almost all dimensions. Our construction complements Lisoněk's higher-dimensional maximal constructions that were carried out in Lorentz spaces.
On the number of pairwise touching cylinders in $\mathbb{R}^d$
John E. Littlewood posted the question {\em ``Is it possible in 3-space for seven infinite circular cylinders of unit radius each to touch all the others? Seven is the number suggested by counting constants.''} Bozóki, Lee, and Rónyai constructed a configuration of 7 mutually touching unit cylinders. The best-known upper bounds show that at most 10 unit cylinders in $\mathbb{R}^3$ can mutually touch. We consider this problem in higher dimensions, and obtain exponential (in $d$) upper bounds on the number of mutually touching cylinders in $\mathbb{R}^d$. Our method is fairly flexible, and it makes use of the fact that cylinder touching can be expressed as a combination of polynomial equalities and non-equalities.
A categorical proof of the nonexistence of (120, 35, 10)-difference sets
A difference set with parameters $(v, k, λ)$ is a subset $D$ of cardinality $k$ in a finite group $G$ of order $v$, such that the number $λ$ of occurrences of $g \in G$ as the ratio $d^{-1}d'$ in distinct pairs $(d, d')\in D\times D$ is independent of $g$. We prove the nonexistence of $(120, 35, 10)$-difference sets, which has been an open problem for 70 years since Bruck introduced the notion of nonabelian difference sets.
Our main tools are 1. a generalization of the category of finite groups to that of association schemes (actually, to that of relation partitions), 2. a generalization of difference sets to equi-distributed functions and its preservation by pushouts along quotients, 3. reduction to a linear programming in the nonnegative integer lattice with quadratic constraints.
Small 3-fold blocking sets in $\mathrm{PG}(2,p^n)$
A $t$-fold blocking set of the finite Desarguesian plane $\mathrm{PG}(2,p^n)$, $p$ prime, is a set of points meeting each line of the plane in at least $t$ points. The minimum size of such sets is of interest for numerous reasons; however, even the minimum size of nontrivial blocking sets (i.e. $1$-fold blocking sets not containing a line) in \(\mathrm{PG}(2,p^n)\) is an open question when $n\geq 5$ is odd. For $n>1$ the conjectured lower bound for this size is $(p^n+p^{n(s-1)/s}+1)$, where $p^{n/s}$ is the size of the largest proper subfield of $\mathbb{F}_{p^n}$. Since the union of $t$ pairwise disjoint nontrivial blocking sets is a $t$-fold blocking set, it is conjectured that when $p^{n/s}$ is large enough w.r.t. $t$, then the minimum size of a $t$-fold blocking set in $\mathrm{PG}(2,p^n)$ is $t(p^n+p^{n(s-1)/s}+1)$. If $n$ is even, then the decomposition of the plane into disjoint Baer subplanes gives a $t$-fold blocking set of this size. However, for odd $n$, the existence of such sets is an unsolved problem in most cases.
In this paper, we construct $3$-fold blocking sets of conjectured size. These blocking sets are obtained as the disjoint union of three linear blocking sets of Rédei type, and they lie on the same orbit of the projectivity $(x:y:z)\mapsto (z:x:y)$.
On $\mathscr{M}$-arrangements of conics and lines with ordinary singularities
In this paper, we study combinatorial aspects of reduced plane curves known as $\mathscr{M}$-curves. This notation is a natural generalization of maximizing plane curves which are well-known in the theory of algebraic surfaces. We focus here on $\mathscr{M}$-arrangements of conics and lines with ordinary singularities of multiplicity less than five and we provide various numerical constraints on their existence, particularly in terms of their weak combinatorics. Moreover, we study in detail the scenario when our $\mathscr{M}$-arrangements consist of lines and just one conic.
Twisted Cherednik systems and non-symmetric Macdonald polynomials
We consider eigenfunctions of many-body system Hamiltonians associated with generalized (a-twisted) Cherednik operators used in construction of other Hamiltonians: those arising from commutative subalgebras of the Ding-Iohara-Miki (DIM) algebra. The simplest example of these eigenfunctions is provided by non-symmetric Macdonald polynomials, while generally they are constructed basing on the ground state eigenfunction coinciding with the twisted Baker-Akhiezer function being a peculiar (symmetric) eigenfunction of the DIM Hamiltonians. Moreover, the eigenfunctions admit an expansion with universal coefficients so that the dependence on the twist $a$ is hidden only in these ground state eigenfunctions, and we suggest a general formula that allows one to construct these eigenfunctions from non-symmetric Macdonald polynomials. This gives a new twist in theory of integrable systems, which usually puts an accent on symmetric polynomials, and provides a new dimension to the {\it triad} made from the symmetric Macdonald polynomials, untwisted Baker-Akhiezer functions and Noumi-Shiraishi series.
Penny graphs in the hyperbolic plane
We consider the problem of finding the maximum number $e_d(n)$ of pairs of touching circles in a packing of $n$ congruent circles of diameter $d$ in the hyperbolic plane of curvature $-1$. In the Euclidean plane, the maximum comes from a spiral construction of the tiling of the plane with equilateral triangles (Harborth 1974), with a similar result in the hyperbolic plane for the values of $d$ corresponding to the order-$k$ triangular tilings (Bowen 2000). We present various upper and lower bounds for $e_d(n)$ for all values of $d > 0$. In particular, we prove that if $d > 0.66114\dots$ except for $d=0.76217\dots$, then the number of touching pairs is less than the one coming from a spiral construction in the order-$7$ triangular tiling, which we conjecture to be extremal. We also give a lower bound $e_d(n) > (2+\varepsilon_d)n$ where $\varepsilon_d > 1$ for all $d > 0$.
On an Erdős--Lov'asz problem: 3-critical 3-graphs of minimum degree 7
Erdős and Lov'asz asked whether there exists a "3-critical" 3-uniform hypergraph in which every vertex has degree at least 7. The original formulation does not specify what 3-critical means, and two non-equivalent notions have appeared in the literature and in later discussions of the problem. In this paper we resolve the question under both interpretations. For the transversal interpretation (criticality with respect to the transversal number), we prove that a 3-uniform hypergraph $H$ with $τ(H)=3$ and $τ(H-e)=2$ for every edge $e$ has at most 10 edges; in particular, $δ(H)\le 6$, and this bound is sharp, witnessed by the complete 3-graph $K^{(3)}_5$. For the chromatic interpretation (criticality with respect to weak vertex-colourings), we give an explicit 3-uniform hypergraph on 9 vertices with $χ(H)=3$ and minimum degree $δ(H)=7$ such that deleting any single edge or any single vertex makes it 2-colourable. The criticality of the example is certified by explicit witness 2-colourings listed in the appendices, together with a short verification script.
On Prime Matrix Product Factorizations
A graph $G$ factors into graphs $H$ and $K$ via a matrix product if $A = BC$, where $A$, $B$, and $C$ are the adjacency matrices of $G$, $H$, and $K$, respectively. The graph $G$ is prime if, in every such factorization, one of the factors is a perfect matching that is, it corresponds to a permutation matrix. We characterize all prime graphs, then using this result we classify all factorable forests, answering a question of Akbari et al. [\emph{Linear Algebra and its Applications} (2025)]. We prove that every torus is factorable, and we characterize all possible factorizations of grids, addressing two questions posed by Maghsoudi et al. [\emph{Journal of Algebraic Combinatorics} (2025)].
Totally compatible structures on the radical of an incidence algebra
We describe totally compatible structures on the Jacobson radical of the incidence algebra of a finite poset over a field. We show that such structures are in general non-proper.
Polynomial $χ$-boundedness for excluding $P_5$
We obtain some $d\ge2$ such that every graph $G$ with no induced copy of the five-vertex path $P_5$ has chromatic number at most $ω(G)^d$, thereby resolving an open problem of Gyárfás from 1985. The proof consists of three main ingredients:
$\bullet$ an analogue of Rödl's theorem for the chromatic number of $P_5$-free graphs, proved via the ``Gyárfás path'' argument;
$\bullet$ a decomposition argument for $P_5$-free graphs that allows one to grow high-chromatic anticomplete pairs indefinitely or to capture a polynomially chromatic-dense induced subgraph; and
$\bullet$ a ``chromatic density increment'' argument that uses the Erdős-Hajnal result for $P_5$ as a black box.
Geometric characterisation of structural and regular equivalences in undirected (hyper)graphs
Similarity notions between vertices in a graph, such as structural and regular equivalence, are one of the main ingredients in clustering tools in complex network science. We generalise structural and regular equivalences for undirected hypergraphs and provide a characterisation of structural and regular equivalences of undirected graphs and hypergraphs through neighbourhood graphs and Ollivier-Ricci curvature. Our characterisation sheds new light on these similarity notions opening a new avenue for their exploration. These characterisations also enable the construction of a possibly wide family of regular partitions, thereby offering a new route to a task that has so far been computationally challenging.
The local limit of weighted spanning trees on balanced networks
We prove that the local limit of the weighted spanning trees on any simple connected high degree almost regular sequence of electric networks is the Poisson(1) branching process conditioned to survive forever, by generalizing [NP22] and closing a gap in their proof. We also study the local statistics of the WST's on high degree almost balanced sequences, which is interesting even for the uniform spanning trees.
Our motivation comes from studying an interpolation $\{\mathsf{WST}^β(G)\}_{β\in [0, \infty)}$ between UST(G) and MST(G) by WST's on a one-parameter family of random environments. This model has recently been introduced in [MSS24, Kús24], and the phases of several properties have been determined on the complete graphs.
We show a phase transition of $\mathsf{WST}^{β_n}(G_n)$ regarding the local limit and expected edge overlaps for high degree almost balanced graph sequences $G_n$, without any structural assumptions on the graphs; while the expected total length is sensitive to the global structure of the graphs. Our general framework results in a better understanding even in the case of complete graphs, where it narrows the window of the phase transition of [Mak24].
Grassmannian Geometries for Non-Planar On-Shell Diagrams
On-shell diagrams are gauge invariant quantities which play an important role in the description of scattering amplitudes. Based on the principles of generalized unitarity, they are given by products of elementary three-point amplitudes where the kinematics of internal on-shell legs are determined by cut conditions. In the ${\cal N}=4$ Super Yang-Mills (SYM) theory, the dual formulation for on-shell diagrams produces the same quantities as canonical forms on the Grassmannian $G(k,n)$. Most of the work in this direction has been devoted to the planar diagrams, which dominate in the large $N$ limit of gauge theories. On the mathematical side, planar on-shell diagrams correspond to cells of the positive Grassmannian $G_+(k,n)$ which have been very extensively studied in the literature in the past 20 years. In this paper, we focus on the non-planar on-shell diagrams which are relevant at finite $N$. In particular, we use the triplet formulation of Maximal-Helicity-Violating (MHV) on-shell diagrams to obtain certain regions in the Grassmannian $G(2,n)$. These regions are unions of positive Grassmannians with different orderings (referred to as oriented regions). We explore the features of these unions, and show that they are pseudo-positive geometries, in contrast to positive geometry of a single oriented region. For all non-planar diagrams which are \emph{internally planar} there always exists a strongly connected geometry, and for those that are \emph{irreducible}, there exists a geometry with no spurious facets. We also prove that the already known identity moves, square and sphere moves, form the complete set of identity moves for all MHV on-shell diagrams.
Limit Theorems for Fixed Point Biased Pattern Avoiding Involutions
We study fixed point biased involutions that avoid a pattern. For every pattern of length three we obtain limit theorems for the asymptotic distribution of the (appropriately centered and scaled) number of fixed points of a random fixed point biased involution avoiding that pattern. When the pattern being avoided is either $321$, $132$, or $213$, we find a phase transition depending on the strength of the bias. We also obtain a limit theorem for distribution of fixed points when the pattern is $123\cdots k(k+1)$ for any $k$ and partial results when the pattern is $(k+1)k\cdots 321$.
Real Riemann Surfaces: Smooth and Discrete
This paper develops a discrete theory of real Riemann surfaces based on quadrilateral cellular decompositions (quad-graphs) and a linear discretization of the Cauchy-Riemann equations. We construct a discrete analogue of an antiholomorphic involution and classify the topological types of discrete real Riemann surfaces, recovering the classical results on the number of real ovals and the separation of the surface.
Central to our approach is the construction of a symplectic homology basis adapted to the discrete involution. Using this basis, we prove that the discrete period matrix admits the same canonical decomposition $Π= \frac{1}{2} H + i T$ as in the smooth setting, where $H$ encodes the topological type and $T$ is purely imaginary. This structural result bridges the gap between combinatorial models and the classical theory of real algebraic curves.
Universal polar dual pairs of spherical codes found in $E_8$ and $Λ_{24}$
We identify universal polar dual pairs of spherical codes $C$ and $D$ such that for a large class of potential functions $h$ the minima of the discrete $h$-potential of $C$ on the sphere occur at the points of $D$ and vice versa. Moreover, the minimal values of their normalized potentials are equal. These codes arise from the known sharp codes embedded in the even unimodular extremal lattices $E_8$ and $Λ_{24}$ (Leech lattice). This embedding allows us to use the lattices' properties to find new universal polar dual pairs. In the process we extensively utilize the interplay between the binary Golay codes and the Leech lattice.
As a byproduct of our analysis, we identify a new universally optimal (in the sense of energy) code in the projective space $\mathbb{RP}^{21}$ with $1408$ points (lines). Furthermore, we extend the Delsarte-Goethals-Seidel definition of derived codes from their seminal $1977$ paper and generalize their Theorem 8.2 to show that if a $τ$-design is enclosed in $k\leq τ$ parallel hyperplanes, then each of the hyperplane's sub-code is a $(τ+1-k)$-design in the ambient subspace.