Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Perfect colorings of hypergraphs
Perfect colorings (equitable partitions) of graphs are extensively studied, while the same concept for hypergraphs attracts much less attention. The aim of this paper is to develop basic notions and properties of perfect colorings for hypergraphs. Firstly, we introduce a multidimensional matrix equation for perfect colorings of hypergraphs and compare this definition with a standard approach based on the incidence graph. Next, we show that the eigenvalues of the parameter matrix of a perfect coloring are eigenvalues of the multidimensional adjacency matrix of a hypergraph. We consider coverings of hypergraphs as a special case of perfect colorings and prove a theorem on the existence of a common covering of two hypergraphs. As an example, we show that a $k$-transversal in a hypergraph corresponds to a perfect coloring and calculate its parameters. At last, we find all perfect $2$-colorings of the Fano's plane hypergraph and compute some eigenvalues of this hypergraph.
Multiple orthogonal polynomials associated with branched continued fractions for ratios of hypergeometric series
Published
• View Publication
• BIB
The main objects of the investigation presented in this paper are branched-continued-fraction representations of ratios of contiguous hypergeometric series and type II multiple orthogonal polynomials on the step-line with respect to linear functionals or measures whose moments are ratios of products of Pochhammer symbols. This is an interesting case study of the recently found connection between multiple orthogonal polynomials and branched continued fractions that gives a clear example of how this connection leads to considerable advances on both topics. We obtain new results about generating polynomials of lattice paths and total positivity of matrices and give new contributions to the general theory of the connection between multiple orthogonal polynomials and branched continued fractions. We construct new branched continued fractions for ratios of contiguous hypergeometric series. We give conditions for positivity of the coefficients of these branched continued fractions and we show that the ratios of products of Pochhammer symbols are generating polynomials of lattice paths for a special case of the same branched continued fractions. We introduce a family of type II multiple orthogonal polynomials on the step-line associated with those branched continued fractions. We present a formula as terminating hypergeometric series for these polynomials, we study their differential properties, and we explicitly find their recurrence relation coefficients. Finally, we focus the analysis of the multiple orthogonal polynomials to the cases where the corresponding branched-continued-fraction coefficients are all positive. In those cases, the orthogonality conditions can be written using measures on the positive real line involving Meijer G-functions and we obtain results about the location of the zeros and the asymptotic behaviour of the polynomials.
Computing higher graph gonality is hard
Published
• View Publication
• BIB
In the theory of divisors on multigraphs, the $r^{th}$ divisorial gonality of a graph is the minimum degree of a rank $r$ divisor on that graph. It was proved by Gijswijt et al. that the first divisorial gonality of a finite graph is NP-hard to compute. We generalize their argument to prove that it is NP-hard to compute the $r^{th}$ divisorial gonality of a finite graph for all $r$. We use this result to prove that it is NP-hard to compute $r^{th}$ stable divisorial gonality for a finite graph, and to compute $r^{th}$ divisorial gonality for a metric graph. We also prove these problems are APX-hard, and we study the NP-completeness of these problems.
A spectral Erdős-Pósa Theorem
A set of cycles is called independent if no two of them have a common vertex. Let $S_{n, 2k-1}$ be the complete split graph, which is the join of a clique of size $2k-1$ with an independent set of size $n-2k+1$. In 1962, Erdős and Pósa established the following edge-extremal result: for every graph $G$ of order $n$ which contains no $k$ independent cycles, where $k\geq2$ and $n\geq 24k$, we have $e(G)\leq (2k-1)(n-k),$ with equality if and only if $G\cong S_{n,2k-1}.$ In this paper, we prove a spectral version of Erdős-Pósa Theorem. Let $k\geq1$ and $n\geq \frac{16(2k-1)}{λ^{2}}$ with $λ=\frac1{120k^2}$. If $G$ is a graph of order $n$ which contains no $k$ independent cycles, then $ρ(G)\leq ρ(S_{n,2k-1}),$ the equality holds if and only if $G\cong S_{n,2k-1}.$ This presents a new example illustration for which edge-extremal problems have spectral analogues. Finally, a related problem is proposed for further research.
Watson-Crick conjugates of words and languages
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (August 29, 2025) dmtcs:13593
• View Publication
• BIB
In this work, we explore the concept of Watson-Crick conjugates, also known as $θ$-conjugates (where $θ$ is an antimorphic involution), of words and languages. This concept extends the classical idea of conjugates by incorporating the Watson-Crick complementarity of DNA sequences. Our investigation initially focuses on the properties of $θ$-conjugates of words. We then define $θ$-conjugates of a language and study closure properties of certain families of languages under the $θ$-conjugate operation. Furthermore, we analyze the iterated $θ$-conjugate of both words and languages. Finally, we discuss the idea of $θ$-conjugate-free languages and examine some decidability problems related to it.
A quadratic estimation for the Kühnel conjecture on embeddings
The classical Heawood inequality states that if the complete graph $K_n$ on $n$ vertices is embeddable in the sphere with $g$ handles, then $g \ge\dfrac{(n-3)(n-4)}{12}$. A higher-dimensional analogue of the Heawood inequality is the Kühnel conjecture. In a simplified form it states that for every integer $k>0$ there is $c_k>0$ such that if the union of $k$-faces of $n$-simplex embeds into the connected sum of $g$ copies of the Cartesian product $S^k\times S^k$ of two $k$-dimensional spheres, then $g\ge c_k n^{k+1}$. For $k>1$ only linear estimates were known. We present a quadratic estimate $g\ge c_k n^2$. The proof is based on beautiful and fruitful interplay between geometric topology, combinatorics and linear algebra.
The reverse mathematics of Carlson's theorem for located words
Published
• View Publication
• BIB
In this article, we give two proofs of Carlson's theorem for located words in~$\mathsf{ACA}^+_0$. The first proof is purely combinatorial, in the style of Towsner's proof of Hindman's theorem. The second uses topological dynamics to show that an iterated version of Hindman's theorem for bounded sums implies Carlson's theorem for located words.
Fine Grained Analysis of High Dimensional Random Walks
Published
• View Publication
• BIB
One of the most important properties of high dimensional expanders is that high dimensional random walks converge rapidly. This property has proven to be extremely useful in variety of fields in the theory of computer science from agreement testing to sampling, coding theory and more. In this paper we present a state of the art result in a line of works analyzing the convergence of high dimensional random walks~\cite{DBLP:conf/innovations/KaufmanM17,DBLP:conf/focs/DinurK17, DBLP:conf/approx/KaufmanO18,DBLP:journals/corr/abs-2001-02827}, by presenting a \emph{structured} version of the result of~\cite{DBLP:journals/corr/abs-2001-02827}. While previous works examined the expansion in the viewpoint of the worst possible eigenvalue, in this work we relate the expansion of a function to the entire spectrum of the random walk operator using the structure of the function; We call such a theorem a Fine Grained High Order Random Walk Theorem. In sufficiently structured cases the fine grained result that we present here can be much better than the worst case while in the worst case our result is equivalent to~\cite{DBLP:journals/corr/abs-2001-02827}.
In order to prove the Fine Grained High Order Random Walk Theorem we introduce a way to bootstrap the expansion of random walks on the vertices of a complex into a fine grained understanding of higher order random walks, provided that the expansion is good enough.
In addition, our \emph{single} bootstrapping theorem can simultaneously yield our Fine Grained High Order Random Walk Theorem as well as the well known Trickling down Theorem. Prior to this work, High order Random walks theorems and Tricking down Theorem have been obtained from different proof methods.
Representability of orthogonal matroids over partial fields
Published in Algebraic Combinatorics, Volume 6 (2023) no.5, pp.1301-1311
• View Publication
• BIB
Let $r \leqslant n$ be nonnegative integers, and let $N = \binom{n}{r} - 1$. For a matroid $M$ of rank $r$ on the finite set $E = [n]$ and a partial field $k$ in the sense of Semple--Whittle, it is known that the following are equivalent: (a) $M$ is representable over $k$; (b) there is a point $p = (p_J) \in {\bf P}^N(k)$ with support $M$ (meaning that $\text{Supp}(p) := \{J \in \binom{E}{r} \; \vert \; p_J \ne 0\}$ of $p$ is the set of bases of $M$) satisfying the Grassmann-Plücker equations; and (c) there is a point $p = (p_J) \in {\bf P}^N(k)$ with support $M$ satisfying just the 3-term Grassmann-Plücker equations. Moreover, by a theorem of P. Nelson, almost all matroids (meaning asymptotically 100%) are not representable over any partial field. We prove analogues of these facts for Lagrangian orthogonal matroids in the sense of Gelfand-Serganova, which are equivalent to even Delta-matroids in the sense of Bouchet.
A convex set with a rich difference
Published
• View Publication
• BIB
We construct a convex set $A$ with cardinality $2n$ and with the property that an element of the difference set $A-A$ can be represented in $n$ different ways. We also show that this construction is optimal by proving that for any convex set $A$, the maximum possible number of representations an element of $A-A$ can have is $\lfloor |A|/2 \rfloor $.
Finite approximation of free groups I: the $F$-inverse cover problem
Published in Adv. Math. 482 (2025) 110563
• View Publication
• BIB
For a finite connected graph $\mathcal{E}$ with set of edges $E$, a finite $E$-generated group $G$ is constructed such that the set of relations $p=1$ satisfied by $G$ (with $p$ a word over $E\cup E^{-1}$) is closed under deletion of generators (i.e.~edges). As a consequence, every element $g\in G$ admits a unique minimal set $\mathrm{C}(g)$ of edges (the \emph{content} of $g$) needed to represent $g$ as a word over $\mathrm{C}(g)\cup\mathrm{C}(g)^{-1}$. The crucial property of the group $G$ is that connectivity in the graph $\mathcal{E}$ is encoded in $G$ in the following sense: if a word $p$ forms a path $u\longrightarrow v$ in $\mathcal{E}$ then there exists a $G$-equivalent word $q$ which also forms a path $u\longrightarrow v$ and uses only edges from their content; in particular, the content of the corresponding group element $[p]_G=[q]_G$ spans a connected subgraph of $\mathcal{E}$ containing the vertices $u$ and $v$. As the free group generated by $E$ obviously has these properties, the construction provides another instance of how certain features of free groups can be ``approximated'' or ``simulated'' in finite groups. As an application it is shown that every finite inverse monoid admits a finite $F$-inverse cover. This solves a long-standing problem of Henckell and Rhodes.
Depth and Singular Varieties of Exterior Edge Ideals
Published
• View Publication
• BIB
Edge ideals of finite simple graphs are well-studied over polynomial rings. In this paper, we initiate the study of edge ideals over exterior algebras, specifically focusing on the depth and singular varieties of such ideals. We prove an upper bound on the depth of the edge ideal associated to a general graph and a more refined bound for bipartite graphs, and we show that both are tight. We also compute the depth of several large families of graphs including cycles, complete multipartite graphs, spider graphs, and Ferrers graphs. Finally, we focus on the effect whiskering a graph has on the depth of the associated edge ideal.
Balanced configurations of points in the plane
A balanced configuration of points on the sphere $S^2$ is a (finite) set of points which are in equilibrium if they act on each other according any force law dependent only on the distance between two points. The configuration is additionally group-balanced if for each point in a configuration $\mathcal{C}$, there is a symmetry of $\mathcal{C}$ fixing only that point and its antipode. Leech showed that these definitions are equivalent on the sphere $S^2$ by classifying all possible balanced configurations. On the other hand, Cohn, Elkies, Kumar, and Schürmann showed that for $n\geq 7,$ there are examples of balanced configurations in $S^{n-1}$ which are not group balanced. They also suggested extending the notion of balanced configurations to Euclidean space, and conjectured that at least in the case of the plane, all discrete balanced configurations in $\mathbb{R}^n$ are group-balanced. We verify a reformulation of this conjecture by providing a complete classification of the balanced configurations in $\mathbb{R}^2$ satisfying a certain minimal distance property.
The homeomorphism group of the universal Knaster continuum
Published
• View Publication
• BIB
We define a projective Fraissé family whose limit approximates the universal Knaster continuum. The family is such that the group $\textrm{Aut}(\mathbb{K})$ of automorphisms of the Fraissé limit is a dense subgroup of the group, $\textrm{Homeo}(K)$, of homeomorphisms of the universal Knaster continuum.
We prove that both $\textrm{Aut}(\mathbb{K})$ and $\textrm{Homeo}(K)$ have universal minimal flow homeomorphic to the universal minimal flow of the free abelian group on countably many generators. The computation involves proving that both groups contain an open, normal subgroup which is extremely amenable.
Exact results for generalized extremal problems forbidding an even cycle
We determine the maximum number of copies of $K_{s,s}$ in a $C_{2s+2}$-free $n$-vertex graph for all integers $s \ge 2$ and sufficiently large $n$. Moreover, for $s\in\{2,3\}$ and any integer $n$ we obtain the maximum number of cycles of length $2s$ in an $n$-vertex $C_{2s+2}$-free bipartite graph.
Cycle space of graphs of polytopes
It is folklore that the cycle space of graphs of polytopes is generated by the cycles bounding the 2-faces. We provide a proof of this result that bypass homological arguments, which seem to be the most widely known proof. As a corollary, we obtain a result of Blind & Blind (1994) stating that graphs of polytopes are bipartite if and only if graphs of every 2-face are bipartite.
The anti-spherical Hecke categories for Hermitian symmetric pairs
Published
• View Publication
• BIB
We calculate the $p$-Kazhdan--Lusztig polynomials for Hermitian symmetric pairs and prove that the corresponding anti-spherical Hecke categories categories are standard Koszul. We prove that the combinatorial invariance conjecture can be lifted to the level of graded Morita equivalences between subquotients of these Hecke categories.
Simultaneous tiling
We discuss problems of simultaneous tiling. This means that we have an object (set, function) which tiles space with two or more different sets of translations. The most famous problem of this type is the Steinhaus problem which asks for a set simultaneously tiling the plane with all rotates of the integer lattice as translation sets.
Anticoncentration in Ramsey graphs and a proof of the Erdős-McKay conjecture
Published
• View Publication
• BIB
An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very precise control of the distribution of the number of edges in a random vertex subset of a $C$-Ramsey graph. This brings together two ongoing lines of research: the study of "random-like" properties of Ramsey graphs and the study of small-ball probabilities for low-degree polynomials of independent random variables.
The proof proceeds via an "additive structure" dichotomy on the degree sequence, and involves a wide range of different tools from Fourier analysis, random matrix theory, the theory of Boolean functions, probabilistic combinatorics, and low-rank approximation. One of the consequences of our result is the resolution of an old conjecture of Erdős and McKay, for which Erdős offered one of his notorious monetary prizes.
Stirling's approximation and a hidden link between two of Ramanujan's approximations
A conjectured relation between Ramanujan's asymptotic approximations to the exponential function and the exponential integral is established. The proof involves Stirling numbers, second-order Eulerian numbers, modifications of both of these, and Stirling's approximation to the gamma function. Our work provides new information about the coefficients in Stirling's approximation and their connection to Ramanujan's approximation coefficients. A more analytic second proof of the main result is also included in an appendix.