Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding
Published
• View Publication
• BIB
We prove that any class of permutations defined by avoiding a partially ordered pattern (POP) with height at most two has a regular insertion encoding and thus has a rational generating function. Then, we use Combinatorial Exploration to find combinatorial specifications and generating functions for hundreds of other permutation classes defined by avoiding a size 5 POP, allowing us to resolve several conjectures of Gao and Kitaev and of Chen and Lin.
Hexagons govern three-qubit contextuality
Published in Quantum 9, 1601 (2025)
• View Publication
• BIB
Split Cayley hexagons of order two are distinguished finite geometries living in the three-qubit symplectic polar space in two different forms, called classical and skew. Although neither of the two yields observable-based contextual configurations of their own, {\it classically}-embedded copies are found to fully encode contextuality properties of the most prominent three-qubit contextual configurations in the following sense: for each set of unsatisfiable contexts of such a contextual configuration there exists some classically-embedded hexagon sharing with the configuration exactly this set of contexts and nothing else. We demonstrate this fascinating property first on the configuration comprising all 315 contexts of the space and then on doilies, both types of quadrics as well as on complements of skew-embedded hexagons. In connection with the last-mentioned case and elliptic quadrics we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to substantiate our theoretical findings.
On quotients of numerical semigroups for almost arithmetic progressions
Published
• View Publication
• BIB
Let $\langle A\rangle$ be the numerical semigroup generated by relatively prime positive integers $\{a_1,a_2,...,a_n\}$. The quotient of $\langle A\rangle$ with respect to a positive integer $p$ is defined by $\frac{\langle A\rangle}{p}=\{x\in \mathbb{N} \mid px\in \langle A\rangle\}$. The quotient $\frac{\langle A\rangle}{p}$ is known to be a semigroup but is hard to study. When $p$ is a positive divisor of $a_1$, we reduce the computation of the Apéry set of $\frac{a_1}{p}$ in $\frac{\langle A\rangle}{p}$ to a simple minimization problem. This allow us to obtain closed formulas of the Frobenius number of the quotient for some special numerical semigroups. These includes the cases when $\langle A\rangle$ is the almost arithmetic progressions, the almost arithmetic progressions with initial gaps, etc. In particular, we partially solve an open problem proposed by A. Adeniran et al.
MacMahon's sums-of-divisors and their connection to multiple Eisenstein series
Published
• View Publication
• BIB
We give explicit expressions for MacMahon's generalized sums-of-divisors $q$-series $A_r$ and $C_r$ by relating them to (odd) multiple Eisenstein series. Recently, these sums-of-divisors have been studied in the context of quasimodular forms, vertex algebras, $N=4$ $SU(N)$ Super-Yang-Mills theory, and the study of congruences of partitions. We relate them to a broader mathematical framework and give explicit expressions for both $q$-series in terms of Eisenstein series and their odd variants.
Matrix Formulae and Skein Relations for Quasi-cluster Algebras
Published
• View Publication
• BIB
In this paper, we give matrix formulae for non-orientable surfaces that provide the Laurent expansion for quasi-cluster variables, generalizing the orientable surface matrix formulae by Musiker-Williams. We additionally use our matrix formulas to prove the skein relations for the elements in the quasi-cluster algebra associated to curves on the non-orientable surface.
On free curves and related open problems
Published
• View Publication
• BIB
In this paper we collect the main properties of free curves in the complex projective plane and a lot of conjectures and open problems, both old and new. In the quest to understand the mystery of free curves, many tools were developed and many results were obtained, which apply to any reduced plane curve, and some of them are recorded here.
Rank-Metric Codes and Their Parameters
We present the theory of linear rank-metric codes from the point of view of their fundamental parameters. These are: the minimum rank distance, the rank distribution, the maximum rank, the covering radius, and the field size. The focus of this chapter is on the interplay among these parameters and on their significance for the code's (combinatorial) structure. The results covered in this chapter span from the theory of optimal codes and anticodes to very recent developments on the asymptotic density of MRD codes.
Explicit description of a basis for derivations of a Coxeter multiarrangement of type $B_2$
Published
• View Publication
• BIB
In this article, we consider the multiarrangements whose underlying arrangements are the Coxeter arrangement of type $B_2$. For some special multiplicities, we give an explicit description of bases for the derivation modules. As an application, we also describe the lower derivations of bases for the derivation modules of some Coxeter multiarrangements of type $A_2$, which are different from ones given by Wakamiko.
On the maximum degree of induced subgraphs of the Kneser graph
Published in Combinatorial Theory 5(1):#16, 2025
• View Publication
• BIB
For integers $n \geq k \geq 1$, the {\em Kneser graph} $K(n, k)$ is the graph with vertex-set consisting of all the $k$-element subsets of $\{1,2,\ldots,n\}$, where two $k$-element sets are adjacent in $K(n,k)$ if they are disjoint. We show that if $(n,k,s) \in \mathbb{N}^3$ with $n > 10000 k s^5$ and $\mathcal{F}$ is set of vertices of $K(n,k)$ of size larger than $\{A \subset \{1,2,\ldots,n\}:\ |A|=k,\ A \cap \{1,2,\ldots,s\} \neq \varnothing\}$, then the subgraph of $K(n,k)$ induced by $\mathcal{F}$ has maximum degree at least \[ \left(1 - O\left(\sqrt{s^3 k/n}\right)\right)\frac{s}{s+1} \cdot {n-k \choose k} \cdot \frac{|\mathcal{F}|}{\binom{n}{k}}.\] This is sharp up to the behaviour of the error term $O(\sqrt{s^3 k/n})$. In particular, if the triple of integers $(n, k, s)$ satisfies the condition above, then the minimum maximum degree does not increase `continuously' with $|\mathcal{F}|$. Instead, it has $s$ jumps, one at each time when $|\mathcal{F}|$ becomes just larger than the union of $i$ stars, for $i = 1, 2, \ldots, s$. An appealing special case of the above result is that if $\mathcal{F}$ is a family of $k$-element subsets of $\{1,2,\ldots,n\}$ with $|\mathcal{F}| = {n-1 \choose k-1}+1$, then there exists $A \in \mathcal{F}$ such that $\mathcal{F}$ is disjoint from at least $$\left(1/2-O\left(\sqrt{k/n}\right)\right){n-k-1 \choose k-1}$$ of the other sets in $\mathcal{F}$; this is asymptotically sharp if $k=o(n)$. Frankl and Kupavskii, using different methods, have recently proven closely related results under the hypothesis that $n$ is at least quadratic in $k$.
Ramanujan Bigraphs
Published
• View Publication
• BIB
In their seminal paper, Lubotzky, Phillips and Sarnak (LPS) defined the notion of regular Ramanujan graphs and gave an explicit construction of infinite families of $(p+1)$-regular Ramanujan Cayley graphs, for infinitely many $p$. In this paper we extend the work of LPS and its successors to bigraphs (biregular bipartite graphs), in several aspects: we investigate the combinatorial properties of various generalizations of the notion of Ramanujan graphs, define a notion of Cayley bigraphs, and give explicit constructions of infinite families of $(p^3+1,p+1)$-regular Ramanujan Cayley bigraphs, for infinitely many $p$.
Both the LPS graphs and our ones are arithmetic, arising as quotients of Bruhat-Tits trees by congruence subgroups of arithmetic lattices in a $p$-adic group, $PGL_2(\mathbb{Q}_p)$ for LPS and $PU_3(\mathbb{Q}_p)$ for us. In both cases the Ramanujan property relates to the Generalized Ramanujan Conjecture (GRC), on the respective groups. But while for $PGL_2$ the GRC holds unconditionally, this is not so in the case of $PU_3$. We find explicit cases where the GRC does and does not hold, and use this to construct arithmetic non-Ramanujan Cayley bigraphs as well, and prove that nevertheless they satisfy the Sarnak-Xue density hypothesis.
On the combinatorial side, we present a pseudorandomness characterization of Ramanujan bigraphs, and a more general notion of biexpanders. We also show that the graphs we construct exhibit the cutoff phenomenon with bounded window size for the mixing time of non-backtracking random walks, either as a consequence of the Ramanujan property, or the density hypothesis. Finally, we present some other applications of our work: super golden gates for $PU_3$, Ramanujan and non-Ramanujan complexes of type $\tilde{A}_2$, optimal strong approximation for $p$-arithmetic subgroups of $PSU_3$ and vanishing of Betti numbers of Picard modular surfaces.
Labeling regions in deformations of graphical arrangements
Published
• View Publication
• BIB
Combining Carver's variant of the Farkas' lemma with the Flow Decomposition Theorem we show that the regions of any deformation of a graphical arrangement may be bijectively labeled with a set of weighted digraphs containing directed cycles of negative weight only. Bounded regions correspond to strongly connected digraphs. The study of the resulting labelings allows us to add the omitted details in Stanley's proof on the injectivity of the Pak-Stanley labeling of the regions of the extended Shi arrangement, to generalize the ceiling diagrams in the deleted Shi and Ish arrangements studied by Armstrong and Rhoades and to introduce a new labeling of the regions in the Fuss-Catalan arrangement. We also point out that Athanasiadis-Linusson labelings may be used to directly count regions in a class of arrangements properly containing the extended Shi arrangement and the Fuss-Catalan arrangement.
Planar stick indices of some knotted graphs
Published
• View Publication
• BIB
Two isomorphic graphs can have inequivalent spatial embeddings in 3-space. In this way, an isomorphism class of graphs contains many spatial graph types. A common way to measure the complexity of a spatial graph type is to count the minimum number of straight sticks needed for its construction in 3-space. In this paper, we give estimates of this quantity by enumerating stick diagrams in a plane. In particular, we compute the planar stick indices of knotted graphs with low crossing numbers. We also show that if a bouquet graph or a theta-curve has the property that its proper subgraphs are all trivial, then the planar stick index must be at least seven.
On the spectral gap of Cayley graphs
Let $Γ$ be a Cayley graph, or a Cayley sum graph, or a twisted Cayley graph, or a twisted Cayley sum graph, or a vertex-transitive graph. Suppose $Γ$ is undirected and non-bipartite. Let $μ$ (resp. $μ_2$) denote the smallest (resp. the second largest) eigenvalue of the normalized adjacency operator of $Γ$, and $d$ denote the degree of $Γ$. We show that $1+ μ= Ω((1-μ_2)/d)$ holds.
Difference-Isomorphic Graph Families
Many well-studied problems in extremal combinatorics deal with the maximum possible size of a family of objects in which every pair of objects satisfies a given restriction. One problem of this type was recently raised by Alon, Gujgiczer, Körner, Milojević and Simonyi. They asked to determine the maximum size of a family $\mathcal{G}$ of graphs on $[n]$, such that for every two $G_1,G_2 \in \mathcal{G}$, the graphs $G_1 \setminus G_2$ and $G_2 \setminus G_1$ are isomorphic. We completely resolve this problem by showing that this maximum is exactly $2^{\frac{1}{2}\big(\binom{n}{2} - \lfloor \frac{n}{2}\rfloor\big)}$ and characterizing all the extremal constructions. We also prove an analogous result for $r$-uniform hypergraphs.
Spherical higher order Fourier analysis over finite fields IV: an application to the Geometric Ramsey Conjecture
This paper is the fourth and the last part of the series "Spherical higher order Fourier analysis over finite fields", aiming to develop the higher order Fourier analysis method along spheres over finite fields, and to solve the Geometric Ramsey Conjecture in the finite field setting.
In this paper, we proof a conjecture of Graham on the Remsey properties for spherical configurations in the finite field setting. To be more precise, we show that for any spherical configuration $X$ of $\mathbb{F}_{p}^{d}$ of complexity at most $C$ with $d$ being sufficiently large with respect to $C$ and $\vert X\vert$, and for some prime $p$ being sufficiently large with respect to $C$, $\vert X\vert$ and $ε>0$, any set $E\subseteq \mathbb{F}_{p}^{d}$ with $\vert E\vert>εp^{d}$ contains at least $\gg_{C,ε,\vert X\vert}p^{(k+1)d-(k+1)k/2}$ congruent copies of $X$, where $k$ is the dimension of $\text{span}_{\mathbb{F}_{p}}(X-X)$. The novelty of our approach is that we avoid the use of harmonic analysis, and replace it by the theory of spherical higher order Fourier analysis developed in previous parts of the series.
Spherical higher order Fourier analysis over finite fields II: additive combinatorics for shifted ideals
This paper is the second part of the series "Spherical higher order Fourier analysis over finite fields", aiming to develop the higher order Fourier analysis method along spheres over finite fields, and to solve the geometric Ramsey conjecture in the finite field setting.
In this paper, we study additive combinatorial properties for shifted modules, i.e. the structure of sets of the form $E\hat{+} E$, where $E$ is a collection of shifted modules of the polynomial ring $\mathbb{R}[x_{1},\dots,x_{d}]$ and we identify two modules if their difference contains the zero polynomial. We show that under appropriate definitions, the set $E\hat{+} E$ enjoys properties similar to the conventional setting where $E$ is a subset of an abelian group. In particular, among other results, we prove the Balog-Gowers-Szemerédi theorem, the Rusza's quasi triangle inequality and a weak form of the Plünnecke-Rusza theorem in the setting of shifted modules. We also show that for a special class of maps $ξ$ from $\mathbb{Z}_{K}^{d}$ to the collection of all shifted modules of $\mathbb{R}[x_{1},\dots,x_{d}]$, if the set $ξ(\mathbb{Z}_{K}^{d})+ξ(\mathbb{Z}_{K}^{d})$ has large additive energy, then $ξ$ is an almost linear Freiman homomorphism. This result is the crucial additive combinatorial input we need to prove the spherical Gowers inverse theorem in later parts of the series.
Hamilton cycles in random digraphs with minimum degree at least one
Published
• View Publication
• BIB
We study the existence of a directed Hamilton cycle in random digraphs with $m$ edges where we condition on minimum in- and out-degree at least one. Denote such a random graph by $D_{n,m}^{(δ\geq1)}$. We prove that if $m=\tfrac n2(\log n+2\log\log n+c_n)$ then \[ \lim_{n\to\infty}\Pr(D_{n,m}^{(δ\geq1)}\text{ is Hamiltonian})=\begin{cases}0&c_n\to-\infty.\\e^{-e^{-c}/4}&c_n\to c.\\1&c_n\to\infty.\end{cases} \]
Screw discrete dynamical systems and their applications to exact slow NIM
Published
• View Publication
• BIB
Given integers $n,k,\ell$ such that $0<k<n, \; 1<\ell$ and an integer vector $x = (x_1,\ldots,x_n)$; denote by $m = m(x)$ the number of entries of $x$ that are multiple of $\ell$. Choose $n-k$ entries of $x$ as follows: if $n-k \leq m(x)$, take $n-k$ smallest entries of $x$ multiple of $\ell$; if $n-k > m(x)$, take all $m$ such entries, if any, and add remaining $n-k-m$ entries arbitrarily, for example, take the largest ones. In one step, the chosen $n-k$ entries (bears) keep their values, while the remaining $k$ (bulls) are reduced by 1. Repeat such steps getting the sequence $S = S(n,k,\ell,x^0) = (x^0 \to x^1 \to \ldots \to x^j \to \ldots)$. It is ``quasi-periodic". More precisely, there is a function $N = N(n,k,\ell,x^0)$ such that for all $j \geq N$ we have $m(x^j) \geq n-k$ and $range(x^j) \leq \ell$, where $range(x) = (\max(x_i \mid i \in [n]) - \min(x_i \mid i \in [n])$. Furthermore, $N$ is a polynomial in $n,k,\ell,$ and $range(x^0)$ and can be computed in time linear in $n,k,\ell$, and $\log(1 + range(x^0))$. After $N$ steps, the system moves ``like a screw". Assuming that $x_1 \leq \dots \leq x_n$, introduce the cyclical order on $[n] = \{1, \ldots, n\}$ considering 1 and $n$ as neighbors. Then, bears and bulls partition $[n]$ into two intervals, rotating by the angle $2 πk /n$ with every $\ell$ steps. Furthermore, after every $p = \ell n / GCD(n,k) = \ell LCM(n,k) / k$ steps all entries of $x$ are reduced by the same value $δ= pk/n$, that is, $x_i^{j+p} - x_i^j = δ$ for all $i \in [n]$ and $j \geq N$. We provide an algorithm computing $N$ (and $x^j$) in time linear in $n,k,\ell, \log(1 + range(x^0))$ (and $\log (1+j)$). In case $k=n-1$ and $\ell = 2$ such screw dynamical system are applicable to impartial games.
Triangle Ramsey numbers of complete graphs
Published in J. Combin. Theory Ser. B 176 (2026), 268--286
• View Publication
• BIB
A graph is $H$-Ramsey if every two-coloring of its edges contains a monochromatic copy of $H$. Define the $F$-Ramsey number of $H$, denoted by $r_F(H)$, to be the minimum number of copies of $F$ in a graph which is $H$-Ramsey. This generalizes the Ramsey number and size Ramsey number of a graph. Addressing a question of Spiro, we prove that \[r_{K_3}(K_t)=\binom{r(K_t)}{3}\] for all sufficiently large $t$. We do so through a result on graph coloring: there exists an absolute constant $K$ such that every $r$-chromatic graph where every edge is contained in at least $K$ triangles must contain at least $\binom{r}{3}$ triangles in total.
Geometric graphs with exponential chromatic number and arbitrary girth
In 1975 Erdős initiated the study of the following very natural question. What can be said about the chromatic number of unit distance graphs in $\mathbb{R}^2$ that have large girth? Over the years this question and its natural extension to $\mathbb{R}^d$ attracted considerable attention with the high-dimensional variant reiterated recently by Alon and Kupavskii.
We prove that there exist unit distance graphs in $\mathbb{R}^d$ with chromatic number at least $(1.074 + o(1))^d$ that have arbitrarily large girth. This improves upon a series of results due to Kupavskii; Sagdeev; and Sagdeev and Raigorodskii and gives the first bound in which the base of the exponent does not tend to one with the girth. In addition, our construction can be made explicit which allows us to answer in a strong form a question of Kupavskii.
Our arguments show graphs of large chromatic number and high girth exist in a number of other geometric settings including diameter graphs and orthogonality graphs.