Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Generalized Hamming weights of additive codes and geometric counterparts
We consider the geometric problem of determining the maximum number $n_q(r,h,f;s)$ of $(h-1)$-spaces in the projective space $\operatorname{PG}(r-1,q)$ such that each subspace of codimension $f$ does contain at most $s$ elements. In coding theory terms we are dealing with additive codes that have a large $f$th generalized Hamming weight. We also consider the dual problem of the minimum number $b_q(r,h,f;s)$ of $(h-1)$-spaces in $\operatorname{PG}(r-1,q)$ such that each subspace of codimension $f$ contains at least $s$ elements. We fully determine $b_2(5,2,2;s)$ as a function of $s$. We additionally give bounds and constructions for other parameters.
Counting appearances of integers in sets of arithmetic progressions
The sequence $A067549$ of The On-Line Encyclopedia of Integer Sequences is defined as $(a_k)_{k \geq 1}$ with $a_k$ being the determinant of the $k \times k$ matrix whose diagonal contains the first $k$ prime numbers and all other elements are ones. We relate this sequence to a concrete counting problem. Choose an arbitrary residue class $r_i$ for each prime $p_i$ with $1 \leq i \leq k$ and set $P_k = \prod_{i=1}^k p_i$. We show that $a_k$ is the number of integers in $[1, P_k]$ that are contained in \emph{at most} one of the $k$ chosen residue classes. Interestingly, we show that this sequence is closely related to the better known sequence $A005867$ for which we derive a novel characterisation in terms of determinants and which gives the number of integers in $[1, P_k]$ that are not contained in any of the $k$ residue classes.
Our proof is purely structural and, therefore, it can be generalised to counting appearances of integers in residue classes of arbitrary arithmetic progressions generated by $k$ different primes using the determinant of a matrix of ones having those $k$ primes on its diagonal. The revealed structure also offers a fast way of calculating such determinants.
Inducibility in $H$-free graphs and inducibility of Turán graphs
Published in Journal of Combinatorial Theory, Series B (2026)
• View Publication
• BIB
For graphs $F$ and $H$, let $i(F)$ denote the inducibility of $F$ and let $i_H(F)$ denote the inducibility of $F$ over $H$-free graphs. We prove that for almost all graphs $F$ on a given number of vertices, $i_{K_k}(F)$ attains infinitely many values as $k$ varies. For complete partite graphs $F$ (and, more generally, for symmetrizable families of graphs $F$), we prove that $i_H(F)=i_{K_k}(F)$ where $k=χ(H)$, and is attained by a complete $\ell$-partite graphon $W_{F,k}$, where $\ell < k$.
We determine the part sizes of $W_{F,k}$ for all $k$, whence determine $i(F)$, whenever $F$ is the Turán graph on $s$ vertices and $r$ parts, for all $s \le 3r+1$, which was recently proved by Liu, Mubayi, and Reiher for $s=r+1$. As a corollary, this determines the inducibility of all Turán graphs on at most $14$ vertices. Furthermore, since inducibility is invariant under complement, this determines the inducibility of all matchings and, more generally, all graphs with maximum degree $1$, of any size. Similarly, this determines the inducibility of all triangle factors, of any size.
For complete partite graphs $F$ with at most one singleton part, we prove that $i_{K_k}(F)$ only attains finitely many values as $k$ varies; in particular, there exists $t=t(F)$ such that $i(F)$ is attained by some complete $t$-partite graphon. This is best possible as it was shown by Liu, Pikhurko, Sharifzadeh, and Staden that this is not necessarily true if there are two singleton parts.
Finally, for every $r$, we give a nontrivial sufficient condition for a complete $r$-partite graph $F$ to have the property that $i(F)$ is attained by a complete partite graphon all whose part sizes are distinct.
Some results on Hamming graphs and an extended Hamming graphs
In this paper we first obtain the spectrum of the folded hypercube in a new approach. Then we introduce a new family of graphs called the extended Hamming graph, denoted by $EH(n,2^n)$, which is constructed from the well-known Hamming graph $H(n,2^n)$. The graph $EH(n,2^n)$ shares the same vertex set as $H(n,2^n)$ but includes additional edges, called complementary edges, connecting each $n$-tuple vertex $u$ to its complement $u^c$, where $u^c$ is defined such that the sum of each two corresponding coordinates of $u$ and $u^c$ equals $2^n-1$. We investigate several algebraic and structural properties of this new family of graphs. Specifically, we show that the diameter of $EH(n,2^n)$ is $n$. We prove that $EH(n,2^n)$ is a Cayley graph, but we demonstrate that it is not a distance regular graph. Finally, we determine the spectrum of $EH(n,2^n)$, showing that its eigenvalues are $λ_i\pm 1$, where $λ_i$ are the eigenvalues of the underlying Hamming graph $H(n,2^n)$. The multiplicity of each eigenvalue is explicitly calculated.
On the Codebook Design for NOMA Schemes from Bent Functions
Uplink grant-free non-orthogonal multiple access (NOMA) is a promising technology for massive connectivity with low latency and high energy efficiency. In code-domain NOMA schemes, the requirements boil down to the design of codebooks that contain a large number of spreading sequences with low peak-to-average power ratio (PAPR) while maintaining low coherence. When employing binary Golay sequences with guaranteed low PAPR in the design, the fundamental problem is to construct a large set of $n$-variable quadratic bent or near-bent functions in a particular form such that the difference of any two is bent for even $n$ or near-bent for odd $n$ to achieve optimally low coherence. In this work, we propose a theoretical construction of NOMA codebooks by applying a recursive approach to those particular quadratic bent functions in smaller dimensions. The proposed construction yields desired NOMA codebooks that contain $6\cdot N$ Golay sequences of length $N=2^{4m}$ for any positive integer $m$ and have the lowest possible coherence $1/\sqrt{N}$.
The number of edges of a symmetric edge polytope
The symmetric edge polytope of a simple graph is a lattice polytope defined as the convex hull of a subset of the type A roots corresponding to the edges of the graph. In this article we prove a sharp lower bound for the number of edges of the symmetric edge polytope of a graph as a function of elementary graph invariants. Moreover, we characterize graphs attaining this bound. We highlight a connection with the h*-polynomial of such polytopes and, motivated by a conjecture of Ohsugi and Tsuchiya, we investigate the behaviour of such polynomial under edge-deletion in the graph.
Finite-state transducers for substitution tilings
We present a suite of algorithmic techniques for handling substitution tilings by treating a tile's hierarchy of supertiles in a purely combinatorial fashion using finite state automata. The resulting techniques are very convenient for practical generation of patches of tilings such as hats, Spectres and Penrose tiles, both random and deliberately selected. They also permit some analyses of the represented tiling. A particular product of this process is two substitution systems for the hat tiling which are "unambiguous" in that a single tile address uniquely determines the rest of the plane.
The $d$-chromatic Ramsey number for stars
In 1978, Chung and Liu generalized the definition of the Ramsey number. They introduced the $d$-chromatic Ramsey number as follows. Let $1\leq d< c$ be integers and let $A_{1}, \dots, A_{t}$ be subsets with size $d$ of $[c]$, where $t= {c\choose d}$. For given graphs $G_{1}, \dots, G_{t}$, {\it the $d$-chromatic Ramsey number}, $r^{d, c}(G_{1}, \dots, G_{t})$, is the minimum positive integer $N$ such that every $c$-coloring of $E(K_{N})$ yields a copy of $G_{i}$ whose edges are colored by colors in the color set $A_{i}$ for some $i\in [t]$. The {\it star-critical $d$-chromatic Ramsey number}, $r_{*}^{d, c}(G_{1}, \dots, G_{t})$, is the minimum positive integer $k$ such that every $c$-coloring of $E(K_{N}- K_{1, N- 1- k})$ yields a copy of $G_{i}$ whose edges are colored by colors in the color set $A_{i}$ for some $i\in [t]$, where $N= r^{d, c}(G_{1}, \dots, G_{t})$. If $G_{1}, \dots, G_{t}= G$, then we simplify them as $r^{d, c}(G)$ (it also call {\it the weakened Ramsey number}) and $r^{d, c}_{*}(G)$, respectively. In this paper, we determine all the value of $r^{d, c}(K_{1, n})$, $r_{*}^{d, c}(K_{1, n})$ and part of the value of $r^{d, c}(K_{1, n_{1}}, \dots, K_{1, n_{t}})$.
Heronian friezes and Plücker relations
In this article, we use Plücker relations in the Grassmannian $Gr(3,n)$ to give relations that hold amongst some of the entries of the Heronian frieze of order $n$. Furthermore, we make a connection between certain subfriezes of a Heronian frieze and Plücker friezes $P(3,n)$, and then show that some determinants of the matrices whose elements lie in those subfriezes are vanishing.
Thin divisible designs graphs: an interplay between fixed-point free involutions of $(v,k,λ)$-graphs and symmetric weighing matrices
In this paper, we illustrate important aspects of the interplay between weighing matrices, $(v,k,λ)$-graphs with fixed-point free involutions, and signed graphs with an orthogonal adjacency matrix, which arises from thin divisible design graphs. In particular, we present two new recursive constructions of regular symmetric Hadamard matrices with constant diagonal (equivalently, two new recursive constructions of strongly regular graphs) and we find a fixed-point free involution in the symplectic graph $Sp(4,q)$, where $q$ is odd, which leads to orthogonal signings for an infinite family of antipodal distance-regular graphs of diameter 3.
Drawing strategies in Strong Ramsey games for 3-uniform hypergraphs
The Strong Ramsey game $\mathcal{R}(B,G)$ is a two player game with players $P_1$ and $P_2$, where $B$ and $G$ are $k$-uniform hypergraphs for some $k \geq 2$. $G$ is always finite, while $B$ may be infinite. $P_1$ and $P_2$ alternately color uncolored edges $e \in B$ in their respective color and $P_1$ begins. Whoever completes a monochromatic copy of $G$ in their own color first, wins the game. If no one claims a monochromatic copy of $G$ in a finite number of moves, the game is declared a draw. In this paper, we give an infinite set of 3-uniform hypergraphs $\{G_t\}_{t \geq 3}$, such that $P_2$ has a drawing strategy in the Strong Ramsey game $\mathcal{R}(K_{\aleph_0}^{(3)}, G_t)$. This improves a result by David, Hartarsky and Tiba.
A combinatorial description of when a self-associated set of points fails to be arithmetically Gorenstein
We prove that the set of points associated to a self-dual code with no proportional columns is arithmetically Gorenstein if and only if the code is indecomposable. This answers a question asked by Toh{ă}neanu. We do so by providing a combinatorial way to compute the dimension of the Schur square of a self-dual code through a zero-one symmetrization of its generator matrix. Our approach also allows us to compute the Gorenstein defect. As a consequence, we obtain a combinatorial characterization of arithmetically Gorenstein self-associated sets of points over an algebraically closed field.
Embedding trees using minimum and maximum degree conditions
A variant of the Erdős-Sós conjecture, posed by Havet, Reed, Stein and Wood, states that every graph with minimum degree at least $\lfloor 2k/3 \rfloor$ and maximum degree at least $k$ contains a copy of every tree with $k$ edges. Both degree bounds are best possible. We confirm this conjecture for large trees with bounded maximum degree, by proving that for all $Δ\in \mathbb{N}$ and sufficiently large $k\in \mathbb{N}$, every graph $G$ with $δ(G)\geq \lfloor 2k/3 \rfloor$ and $Δ(G)\geq k$ contains a copy of every tree $T$ with $k$ edges and $Δ(T)\leq Δ$. We also prove similar results where alternative degree conditions are considered. For the same class of trees, this verifies exactly a related conjecture of Besomi, Pavez-Signé and Stein, and provides asymptotic confirmations of two others.
Graphings with few circulations
In 2021, motivated by graph limit theory Lovász extended most of the theory of flows to a measure theoretic setting. Using this framework, the first author constructed $d$-regular treeings that are measurably bipartite, and have no nonzero measurable circulations, that is, flows without sources or sinks. In particular, these treeings do not admit a measurable perfect matching.
In this paper, we develop tools to build $d$-regular treeings where the space of circulations is exactly $k$-dimensional for any positive integer $k$. As applications, we construct 1) a treeing with a single balanced orientation, but no Schreier decoration; 2) a treeing with a single Schreier decoration; 3) and a treeing with a proper edge $d$-coloring, but no further perfect matchings.
The first answers a question raised by Lovász, as this particular balanced orientation does not decompose as a linear combination of finite cycles and infinite paths.
On Matrix Product Factorization of Cayley graphs
We study when the adjacency matrix of a Cayley graph factors as the product of two adjacency matrices of Cayley graphs. Let $G$ be a finite group and let $U\subseteq G\setminus \{e\}$ be symmetric. Writing $A(G;U)$ for the adjacency matrix of the Cayley graph of $G$ with respect to $U$, we prove that for symmetric subsets $S,T,U$ of $G\setminus \{e\}$, $A(G;U)=A(G;S)\,A(G;T)$ if and only if $U=ST$ and each $u\in U$ has a unique representation $u=st$, equivalently $\bigl(\sum_{s\in S}s\bigr)\bigl(\sum_{t\in T}t\bigr)=\sum_{u\in U}u$ in the group algebra. When $S,T,U$ are unions of conjugacy classes, this is characterized character-theoretically by $χ(U)=χ(S)χ(T)/χ(1)$ for all $χ\in\mathrm{Irr}(G)$. In addition, for abelian groups, we identify $A(G;S)A(G;T)$ with the $0\!-\!1$ convolution $\mathbf{1}_S*\mathbf{1}_T$, so factorability is equivalent to $(S,T)$ being a Sidon pair, i.e., $(S-S)\cap(T-T)=\{0\}$. For cyclic groups, we reformulate factorability via mask polynomials and reduce to prime-power components using the Chinese Remainder Theorem. We also analyze dihedral groups $D_{2n}$, presenting infinite families of factorable generating sets, and give explicit constructions of subsets whose Cayley graphs do and do not admit such factorizations.
Verifying Hadwiger's Conjecture for Examples of Graphs with $α(G) = 2$
Hadwiger's Conjecture states that every graph with chromatic number $k$ contains a complete graph on $k$ vertices as a minor. This conjecture is a tremendous strengthening of the Four-Colour Theorem and is regarded as one of the most important open problems in graph theory. The case of Hadwiger's Conjecture for graphs with $α(G) = 2$ has garnered much attention. Seymour writes: ``My own belief is, if Hadwiger's Conjecture is true for graphs with stability number two then it is probably true in general, so it would be very nice to decide this case.''
This paper presents several tools useful for proving that a graph $G$ with $α(G) = 2$ satisfies Hadwiger's Conjecture. In doing so, we survey and generalise several classical results on the $α(G) = 2$ case of Hadwiger's Conjecture. Further, we apply these tools to prove variants of Hadwiger's Conjecture for several noteworthy classes of graphs with $α(G) = 2$. In particular, we prove Hadwiger's Conjecture for inflations of the complements of the following graphs: graphs with girth at least $5$, triangle-free Kneser graphs, and the Clebsch, Mesner, and Gewirtz graphs. This paper also highlights classes of graphs with $α(G) = 2$ where it is unknown if Hadwiger's Conjecture holds.
Hidden low-discrepancy structures in random point sets
We study the probabilistic existence of point configurations satisfying the $(0, m, d)$-net property in base $b$ within a randomly generated point set in the $d$-dimensional unit cube. We first derive an upper bound on the number of geometric patterns for $(0, m, d)$-nets in base $b$. By applying the concentration inequalities together with this bound, we give lower and upper estimates for the probability that a set of $N$ random points contains a $(0, m, d)$-net as a subset. This result leads to necessary and sufficient scaling conditions on $N$ and $m$ such that this probability converges to $1$.
Staircase Minimality and a Proof of Saxl's Conjecture
Saxl's conjecture (2012) asserts that for the staircase partition $ρ_k = (k, k-1, \ldots, 1)$, the tensor square of the corresponding irreducible representation of the symmetric group $S_{T_k}$ contains every irreducible representation as a constituent, where $T_k = k(k+1)/2$ is the $k$th triangular number. We prove this conjecture unconditionally.
Our proof introduces the Staircase Minimality Theorem: among all 2-regular partitions of $T_k$, the staircase $ρ_k$ is the unique dominance-minimal element. Combined with Ikenmeyer's theorem on dominance and Kronecker positivity for staircases, this establishes that every 2-regular partition appears in the tensor square. Modular saturation then follows using only the diagonal entries $d_{μμ} = 1$ of the decomposition matrix, and the Bessenrodt--Bowman--Sutton lifting theorem completes the proof.
We further prove that at triangular numbers, staircases are the only Kronecker-universal self-conjugate partitions, providing a complete characterization.
Graph-theoretical search for integrable multistate Landau-Zener models
Published in Phys. Rev. Research 8, 013006 (2026)
• View Publication
• BIB
The search for exactly solvable models is an evergreen topic in theoretical physics. In the context of multistate Landau-Zener models -- $N$-state quantum systems with linearly time-dependent Hamiltonians -- the theory of integrability provides a framework for identifying new solvable cases. In particular, it was proved that the integrability of a specific class known as the multitime Landau-Zener (MTLZ) models guarantees their exact solvability. A key finding was that an $N$-state MTLZ model can be represented by data defined on an $N$-vertex graph. While known host graphs for MTLZ models include hypercubes, fans, and their Cartesian products, no other families have been discovered, leading to the conjecture that these are the only possibilities. In this work, we conduct a systematic graph-theoretical search for integrable models within the MTLZ class. By first identifying minimal structures that a graph must contain to host an MTLZ model, we formulate an efficient algorithm to systematically search for candidate graphs for MTLZ models. Implementing this algorithm using computational software, we enumerate all candidate graphs with up to $N = 13$ vertices and perform an in-depth analysis of those with $N \le 11$. Our results corroborate the aforementioned conjecture for graphs up to $11$ vertices. For even larger graphs, we propose a specific family, termed descendants of ``$(0,2)$-graphs'', as promising candidates that may violate the conjecture above. Our work can serve as a guideline to identify new exactly solvable multistate Landau-Zener models in the future.
Probabilistic combinatorics at exponentially small scales
In many applications of the probabilistic method, one looks to study phenomena that occur ``with high probability''. More recently however, in an attempt to understand some of the most fundamental problems in combinatorics, researchers have been diving deeper into these probability spaces and understanding phenomena that occur at much smaller probability scales. Here I will survey a few of these ideas from the perspective of my own work in the area.