Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Bounds on MLDR Codes Over ${\mathbb Z}_{p^t}$
Published in IEEE Trans.Inf.Theory, vol. 71, no. 8, pp. 5912-5919, Aug. 2025
• View Publication
• BIB
Upper bounds on the minimum Lee distance of codes that are linear over ${\mathbb Z}_q$, $q=p^t$, $p$ prime are discussed. The bounds are Singleton like, depending on the length, rank, and alphabet size of the code. Codes meeting such bounds are referred to as Maximum Lee Distance with respect to Rank (MLDR) Codes. We present some new bounds on MLDR codes, using combinatorial arguments. In the context of MLDR codes, our work provides improvements over existing bounds in the literature
Realizability of hypergraphs and high-dimensional contingency tables with random degrees and marginals
Published
• View Publication
• BIB
A result of Deza, Levin, Meesum, and Onn shows that the problem of deciding if a given sequence is the degree sequence of a 3-uniform hypergraph is NP complete. We tackle this problem in the random case and show that a random integer partition can be realized as the degree sequence of a $3$-uniform hypergraph with high probability. These results are in stark contrast with the case of graphs, where a classical result of Erdős and Gallai provides an efficient algorithm for checking if a sequence is a degree sequence of a graph and a result of Pittel shows that with high probability a random partition is not the degree sequence of a graph.
By the same method, we address analogous realizability problems about high-dimensional binary contingency tables. We prove that if $(λ,μ,ν)$ are three independent random partitions then with high probability one can construct a three-dimensional binary contingency table with marginals $(λ,μ,ν)$. Conversely, if one insists that the contingency table forms a pyramid shape, then we show that with high probability one cannot construct such a contingency table. These two results confirm two conjectures of Pak and Panova.
Dimer face polynomials in knot theory and cluster algebras
The set of perfect matchings of a connected bipartite plane graph $G$ has the structure of a distributive lattice, as shown by Propp, where the partial order is induced by the height of a matching. In this article, our focus is the dimer face polynomial of $G$, which is the height generating function of all perfect matchings of $G$. We connect the dimer face polynomial on the one hand to knot theory, and on the other to cluster algebras. We show that certain dimer face polynomials are multivariate generalizations of Alexander polynomials of links, highlighting another combinatorial view of the Alexander polynomial. We also show that an arbitrary dimer face polynomial is an $F$-polynomial in the cluster algebra whose initial quiver is dual to the graph $G$. As a result, we recover a recent representation theoretic result of Bazier-Matte and Schiffler that connects $F$-polynomials and Alexander polynomials, albeit from a very different, dimer-based perspective. As another application of our results, we also show that all nonvanishing Plücker coordinates on open positroid varieties are cluster monomials.
On supratopologies, normalized families and Frankl conjecture
We introduce some generalized topological concepts to deal with union-closed families, and show that one can reduce the proof of Frankl's conjecture to some families of so-called supratopological spaces. We prove some results on the structure of normalized families, presenting a new way of reducing such a family to a smaller one using dual families. Applying our reduction method, we prove a refinement of a conjecture originally proposed by Poonen. Finally, we show that Frankl's Conjecture holds for the class of families obtained from successively applying the reduction process to a power set.
Large sum-free sets in finite vector spaces I
Let $p$ be a prime number with $p\equiv 2\pmod{3}$ and let $n\ge 1$ be a dimension. It is known that a sum-free subset of ${\mathbb F}_p^n$ can have at most the size $\frac13(p+1)p^{n-1}$ and that, up to automorphisms of ${\mathbb F}_p^n$, the only extremal example is the `cuboid' $\bigl[\frac{p+1}3, \frac{2p-1}3\bigr]\times {\mathbb F}_p^{n-1}$.
For $p\ge 11$ we show that if a sum-free subset of ${\mathbb F}_p^n$ is not contained in such an extremal one, then its size is at most $\frac13(p-2)p^{n-1}$. This bound is optimal and we classify the extremal configurations. The remaining cases $p=2, 5$ are known to behave differently. For $p=3$ the analogous question was solved by Vsevolod Lev, and for $p\equiv 1\pmod{3}$ it is less interesting.
Congruences modulo powers of $5$ for odd ranks
In 2007, Andrews studied the odd Durfee symbols and their odd ranks. Let $N^0(m,k,n)$ denote the number of odd Durfee symbols of $n$ with odd rank congruent to $m$ modulo $k$. Motivated by Andrews' work, many authors obtained generating functions of $N^0(m,k,n)$ from which relations between odd ranks are proved. In this paper, we establish a family of congruences for odd ranks modulo powers of $5$.
Palettes determine uniform Turán density
Turán problems, which concern the minimum density threshold required for the existence of a particular substructure, are among the most fundamental problems in extremal combinatorics. We study Turán problems for hypergraphs with an additional uniformity condition on the edge distribution. This kind of Turán problems was introduced by Erdős and Sós in the 1980s but it took more than 30 years until the first non-trivial exact results were obtained when Glebov, Král' and Volec [Israel J. Math. 211 (2016), 349--366] and Reiher, Rödl and Schacht [J. Eur. Math. Soc. 20 (2018), 1139--1159] determined the uniform Turán density of $K_4^{(3)-}$.
Subsequent results exploited the powerful hypergraph regularity method, developed by Gowers and by Nagle, Rödl and Schacht about two decades ago. Central to the study of the uniform Turán density of hypergraphs are palette constructions, which were implicitly introduced by Rödl in the 1980s. We prove that palette constructions always yield tight lower bounds, unconditionally confirming present empirical evidence. This results in new and simpler approaches to determining uniform Turán densities, which completely bypass the use of the hypergraph regularity method.
Microlocal multiplicity of matroid Schubert varieties
Published
• View Publication
• BIB
We study the multiplicity number of the characteristic cycle of the intersection complex of the matroid Schubert variety. It is shown to be a combinatorial invariant, and it can be computed by explicit formulas. We also conjecture that the generalization to arbitrary matroid is non-negative.
A Graph-Theoretic Framework for Free-Parafermion Solvability
Published in Proceedings of the Royal Society A 481, 20240671 (2025)
• View Publication
• BIB
We present a graph-theoretic characterisation of when a quantum spin model admits an exact solution via a mapping to free parafermions. Our characterisation is based on the concept of a frustration graph, which represents the commutation relations between Weyl operators of a Hamiltonian. We show that a quantum spin system has an exact free-parafermion solution if its frustration graph is an oriented indifference graph. Further, we show that if the frustration graph of a model can be dipath oriented via switching operations, then the model is integrable in the sense that there is a family of commuting independent set charges. Additionally, we establish an efficient algorithm for deciding whether this is possible. Our characterisation extends that given for free-fermion solvability. Finally, we apply our results to solve three qudit spin models.
Supercongruences via Beukers' method
Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Apéry-like numbers. In this paper, we use Beukers' method to prove some conjectures of the first author concerning the congruences for $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k^3}{m^k}, \ \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k}, \ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k\binom{6k}{3k}}{m^k}, \ \sum_{n=0}^{p-1}\frac{V_n}{m^n},\ \sum_{n=0}^{p-1}\frac{T_n}{m^n},\ \sum_{n=0}^{p-1}\frac{D_n}{m^n} $$ and $\sum_{n=0}^{p-1}(-1)^nA_n$ modulo $p^3$, where $p$ is an odd prime representable by some suitable binary quadratic form, $m$ is an integer not divisible by $p$, $V_n=\sum_{k=0}^n\binom{2k}k^2\binom{2n-2k}{n-k}^2$, $T_n=\sum_{k=0}^n\binom nk^2\binom{2k}n^2$, $D_n=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2n-2k}{n-k}$ and $A_n$ is the Apéry number given by $A_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2$.
Unimodal sequences and mixed false theta functions
Published in Advances in Mathematics 473 (2025), Paper No. 110293, 37 pp
• View Publication
• BIB
We consider two-parameter generalizations of Hecke-Appell type expansions for the generating functions of unimodal and special unimodal sequences. We then determine their explicit representations which involve mixed false theta functions. These results complement recent striking work of Mortenson and Zwegers on the mixed mock modularity of the generalized $U$-function due to Hikami and Lovejoy. As an application, we demonstrate how to recover classical partial theta function identities which appear in Ramanujan's lost notebook and in work of Warnaar.
Counting Nodes in Smolyak Grids
Published in Ars Combinatoria, Volume 162, 2025, pages 149 - 157
• View Publication
• BIB
Using generating functions, we are proposing a unified approach to produce explicit formulas, which count the number of nodes in Smolyak grids based on various univariate quadrature or interpolation rules. Our approach yields, for instance, a new formula for the cardinality of a Smolyak grid, which is based on Chebyshev nodes of the first kind and it allows to recover certain counting-formulas previously found by Bungartz-Griebel, Kaarnioja, Müller-Gronbach, Novak-Ritter and Ullrich.
Graphs with nonnegative Bakry-Émery curvature without Quadrilateral
Published
• View Publication
• BIB
The definition of Ricci curvature on graphs in Bakry-Émery's sense based on curvature dimension condition was introduced by Lin and Yau [\emph{Math. Res. Lett.}, 2010]. Hua and Lin [\emph{Comm. Anal. Geom.}, 2019] classified unweighted graphs satisfying the curvature dimension condition $CD(0,\infty)$ whose girth are at least five. In this paper, we classify all of connected unweighted normalized $C_4$-free graphs satisfying curvature dimension condition $CD(0,\infty)$ for minimum degree at least 2 and the case with non-normalized Laplacian without degree condition..
A q-analogue of graph independence polynomials with a group-theoretic interpretation
We define totally-isotropic polynomials of alternating matrix spaces over finite fields, by analogy with independence polynomials of graphs. Our main result shows that totally-isotropic polynomials of graphical alternating matrix spaces give rise to a natural q-analogue of graph independence polynomials.
For p-groups of class 2 and exponent p, this family of polynomials over fields of order p can be naturally interpreted as enumerating their abelian subgroups containing the commutator subgroup according to the orders. With this interpretation, our main result has implications to graphical groups over finite fields, in the same spirit as the results in (Bull. Lond. Math. Soc., 2022) by Rossmann, who studied enumerating conjugacy classes of graphical groups over finite fields.
Forbidden paths and cycles in the undirected underlying graph of a 2-quasi best match graph
Published
• View Publication
• BIB
The undirected underlying graph of a 2-quasi best match graph (2-qBMG) is proven not to contain any induced graph isomorphic to $P_6$ or $C_6$. This new feature allows for the investigation of 2-BMGs further by exploiting the numerous known results on $P_6$ and $C_6$ free graphs together with the available polynomial algorithms developed for their studies. In this direction, there are also some new contributions about dominating bicliques and certain vertex decompositions of the undirected underlying graph of a 2-qBMG.
No new lower bound for the density of planar Sets avoiding Unit Distances
In a recently published article by G. Ambrus et al. a new \emph{upper bound} for the density of an unit avoiding, periodic set is given as $0.2470$, the first upper bound $< 1/4$. A construction of Croft 1967 gave a \emph{lower bound} $δ_C = 0.22936$ for the density. To this date, no better construction with a higher bound has been given. In the \emph{first versions} of this article I gave a construction of planar sets with a "higher" density than Croft's tortoises. No explicit value for this density was given, it was just shown that Croft's density is a local minima in the density of the constructed 1-parameter family of planar sets. But now I found a servere error. After the correction in this article none of the investigated sets of constant diameter resulted in a new lower bound. I did not withdraw the article, maybe something could be useful for somebody.
On digital H-spaces
In this article, we investigate properties of digital H-spaces in the graph theoretic model of digital topology. As in prior work, the results obtained often depend fundamentally on the choice between NP$_1$ and NP$_2$ product adjacencies. We explore algebraic properties of digital H-spaces preserved under digital homotopy equivalence, and we give a general construction that produces examples of digital H-spaces which are not homotopy-equivalent to digital topological groups in both categories. Further, we show that this construction essentially classifies all NP$_2$-digital H-spaces. In a short appendix, we resolve a question that was left unresolved in [17], and complete the full classification of digital topological groups.
Completing the proof of the Liebeck--Nikolov--Shalev conjecture
Liebeck, Nikolov, and Shalev conjectured the existence of an absolute constant $C>0$, such that for every subset $A$ of a finite simple group $G$ with $|A|\ge 2$, there exists $C\log|G|/\log|A|$ conjugates of $A$ whose product is $G$. This paper is a companion to \cite{GLPS}, and together they prove the conjecture.
To prove the conjecture, we establish the following skew-product theorem. We show that there exists $ c > 0 $ such that for all $ ε> 0 $ and subsets $ A, B \subseteq G $ of finite simple groups of Lie type, if $ |B| < |G|^{1 - ε} $, then $ |A^σ B| > |B||A|^{c ε} $ for some $ σ\in G $. This result, along with its more involved analogue for alternating groups, constitutes the main contribution of this paper.
Our proof leverages deep results from character theory alongside the probabilistic method.
On Bott--Samelson rings for Coxeter groups
We study the cohomology ring of the Bott--Samelson variety. We compute an explicit presentation of this ring via Soergel's result, which implies that it is a purely combinatorial invariant. We use the presentation to introduce the Bott--Samelson ring associated with a word in arbitrary Coxeter system by generators and relations. In general, it is a split quadratic complete intersection algebra with a triangular pattern of relations. By a result of Tate, it follows that it is a Koszul algebra and we provide a quadratic (reduced) Gr{ö}bner basis. Furthermore, we prove that it satisfies the whole Kähler package, including the Poincaré duality, the hard Lefschetz theorem, and the Hodge--Riemann bilinear relations.
Revisiting Dice Relabeling using Cyclotomic Polynomials
Published
• View Publication
• BIB
We continue the exploration of a question of dice relabeling posed by Gallian and Rusin: Given $n$ dice, each labeled 1 through $m$, how many ways are there to relabel the dice without changing the frequencies of the possible sums? We answer this question in the case where $n = 2$ and $m$ is a product of three prime numbers. We also explore more general questions. We find a method for decomposing two $m$-sided dice into two dice of different sizes and give some preliminary results on relabeling two dice of different sizes. Finally, we refine a result of the aforementioned authors in the case where m is a prime power.