Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Almost Maiorana-McFarland bent functions
Published
• View Publication
• BIB
In this article, we study bent functions on $\mathbb{F}_2^{2m}$ of the form $f(x,y) = x \cdot φ(y) + h(y)$, where $x \in \mathbb{F}_2^{m-1} $ and $ y \in \mathbb{F}_2^{m+1}$, which form the generalized Maiorana-McFarland class (denoted by ${GMM}_{m+1}$) and are referred to as almost Maiorana-McFarland bent functions. We provide a complete characterization of the bent property for such functions and determine their duals. Specifically, we show that $f$ is bent if and only if the mapping $φ$ partitions $ \mathbb{F}_2^{m+1}$ into 2-dimensional affine subspaces, on each of which the function $ h $ has odd weight. We investigate which properties of mappings $φ\colon \mathbb{F}_2^{m+1} \to \mathbb{F}_2^{m-1}$ lead to bent functions of the form $ f(x,y) = x \cdot φ(y) + h(y) $ both inside and outside ${M}^\# $ and provide construction methods for suitable Boolean functions $ h $ on $\mathbb{F}_2^{m+1}$. We present a simple algorithm for constructing partitions of the vector space $\mathbb{F}_2^{m+1}$ together with appropriate Boolean functions $ h $ that generate bent functions outside ${M}^\# $. When $ 2m = 8 $, we explicitly identify many such partitions that produce at least $ 2^{78} $ distinct bent functions on $\mathbb{F}_2^8$ that do not belong to ${M}^\# $, thereby generating more bent functions outside ${M}^\#$ than the total number of 8-variable bent functions in ${M}^\#$. Additionally, we demonstrate that concatenating four almost Maiorana-McFarland bent functions outside ${M}^\# $, can result in a bent function ${M}^\# $. This finding answers an open problem posed recently in Kudin et al. (IEEE Trans. Inf. Theory 71(5): 3999-4011, 2025). Conversely, using a similar approach to concatenate four functions each in ${M}^\#$, we generate bent functions that are provably outside ${M}^\#$.
On the "second" Kahn--Kalai Conjecture
We make progress on a conjecture of Kahn and Kalai, the original (stronger but less general) version of what became known as the ``Kahn-Kalai Conjecture" (KKC; now a theorem of Park and Pham). This ``second" KKC concerns the threshold, $p_c(H)$, for $G_{n,p}$ to contain a copy of a given graph $H$, predicting $p_c(H) = O(p_{\mathbb E}(H)\log n)$, where $p_{\mathbb E}$ is an easy lower bound on $p_c$. What we actually show is $p_{\mathbb E}^*(H)=O(p_{\mathbb E}(H)\log ^2n)$, where $p_{\mathbb E}^*$, the fractional expectation threshold, is a larger lower bound suggested by Talagrand. When combined with Talagrand's fractional relaxation of the KKC (now a theorem of Frankston, Kahn, Narayanan and Park), this gives $p_c(H)=O(p_{\mathbb E}(H)\log^3 n)$. (The second KKC would follow similarly if one could remove the log factors from the above bound on $p_{\mathbb E}^*$.)
Permutations satisfying $(P_1)$ and $(P_2)$ properties and $\ell$-optimal bent functions
Published
• View Publication
• BIB
An important classification of permutations over $\mathbb{F}_2^m$, suitable for constructing Maiorana-McFarland bent functions on $\mathbb{F}_2^m \times \mathbb{F}_2^m$ with the unique $M$-subspace of maximal dimension, was recently considered in Pasalic et al. (IEEE Trans. Inf. Theory 70(6): 4464-4477, 2024). More precisely, two properties called $(P_1)$ and $(P_2)$ were introduced and a generic method of constructing permutations having the property $(P_1)$ was presented, whereas no such results were provided related to the $(P_2)$ property. In this article, we provide a deeper insight on these properties, their mutual relationship, and specify some explicit classes of permutations having these properties. Such permutations are then employed to generate a large variety of bent functions outside the completed Maiorana-McFarland class $M^\#$. We also introduce $\ell$-optimal bent functions as bent functions with the lowest possible linearity index; such functions can be considered as opposite to Maiorana-McFarland bent functions. We give explicit constructions of $\ell$-optimal bent functions within the $D_0$ class, which in turn can be employed in certain secondary constructions of bent functions for providing even more classes of bent functions that are provably outside $M^\#$. Moreover, we demonstrate that a certain subclass of $D_0$ has an additional property of having only 5-valued spectra decompositions. Finally, we generalize the so-called "swapping variables" method which then allows us to specify large families of bent functions outside $M^\#$. In this way, we give a better explanation of the origin of bent functions in dimension eight, since the vast majority of them is outside ${M}^\#$.
An interesting spectral gap problem, from Jim Fill
At the request of Laszlo Babai, founder and an editor of the free online journal Theory of Computing (ToC), theoryofcomputing.org, in August, 2025, I am posting on the arXiv, essentially unedited and not updated, a combination of two closely related sets of unpublished notes from 2003. ToC is keen on publishing links to all bibliography items, and a paper soon to be published there makes progress on a conjecture in my 2003 notes. The sections "The problem", "Evidence in favor of the conjecture", "Facts about the spectral structure of the matrix $K$", and "Stronger conjectures" previously formed a document entitled "An interesting spectral gap problem, from Jim Fill". The sections "Introduction: Self-organizing lists" and "The move-ahead-$1$ (MA1) rule" formed a document entitled "Background on the gap problem". The two sets of notes have inspired some research, including (as one example, with no attempt here at a literature survey) a 2022 paper by Bhakta, Miracle, Randall, and Streib cited in this arXiv document.
Turán number of books in non-bipartite graphs
Published
• View Publication
• BIB
Let $\mathrm{ex}(n, H)$ be the Turán number of $H$ for a given graph $H$. A graph is color-critical if it contains an edge whose removal reduces its chromatic number. Simonovits' chromatic critical edge theorem states that if $H$ is color-critical with $χ(H)=k+1$, then there exists an $n_0(H)$ such that ex$(n, H)=e(T_{n,k})$ and the Turán graph $T_{n,k}$ is the only extremal graph provided $n\geq n_0(H).$ A book graph $B_{r+1}$ is a set of $r+1$ triangles with a common edge, where $r\geq0$ is an integer. Note that $B_{r+1}$ is a color-critical graph with $χ(B_{r+1})=3$. Simonovits' theorem implies that $T_{n,2}$ is the only extremal graph for $B_{r+1}$-free graphs of sufficiently large order $n$. Furthermore, Edwards and independently Khadžiivanov and Nikiforov completely confirmed Erdős' booksize conjecture and obtained that ex$(n, B_{r+1})=e(T_{n,2})$ for $n\geq n_0(B_{r+1})=6r$. Recently, Zhai and Lin [J. Graph Theory 102 (2023) 502-520] investigated the problem of booksize from a spectral perspective.
Note that the extremal graph $T_{n,2}$ is bipartite. Motivated by the above elegant results, we in this paper focus on the Turán problem of non-bipartite $B_{r+1}$-free graphs of order $n$. For $r = 0,$ Erdős proved a nice result: If $G$ is a non-bipartite triangle-free graph on $n$ vertices, then $e(G)\leq\big\lfloor\frac{(n-1)^{2}}{4}\big\rfloor+1$. For general $r\geq1,$ we determine the exact value of Turán number of $B_{r+1}$ in non-bipartite graphs and characterize all extremal graphs provided $n$ is sufficiently large. An interesting phenomenon is that the Turán numbers and extremal graphs are completely different for $r=0$ and general $r\geq1.$
Spherical 2-Designs from Finite Group Orbits
We classify all spherical 2-designs that arise as orbits of finite group actions on real inner product spaces. Although it is well known that such designs can occur in representations without trivial components, we give a complete characterization of the orbits that satisfy the second-moment condition. In particular, we show that these orbits correspond to projections of compact group orbits within the regular representation, and we provide an explicit classification via isotypic decomposition and moment conditions. This approach unifies geometric and representation-theoretic viewpoints on highly symmetric point configurations.
On transitive permutation groups with exponential graph growth
Let $Γ$ be a finite connected graph and $G$ a vertex-transitive group of its automorphisms. The pair $(Γ, G)$ is said to be locally-$L$ if the permutation group induced by the action of the vertex-stabiliser $G_v$ on the set of neighbours of a vertex $v$ in $Γ$ is permutation isomorphic to $L$. The maximum growth of $|G_v|$ as a function of $|VΓ|$ for locally-$L$ pairs $(Γ,G)$ is called the graph growth of $L$. We prove that if $L$ is a transitive permutation group on a set $Ω$ admitting a nontrivial block $B$ such that the pointwise stabiliser of $Ω\setminus B$ in $L$ is nontrivial, then the graph growth of $L$ is exponential. This generalises several results in the literature on transitive permutation groups with exponential graph growth.
(Generalized) binomial edge ideals and their regularity
In this article, we survey the recent results on the Castelnuovo-Mumford regularity of binomial edge ideals and generalized binomial edge ideals. We also generalize some of the known upper bounds for binomial edge ideals to the case of generalized binomial edge ideals.
Edge pancyclic Cayley graphs on symmetric group
We study the derangement graph $Γ_n$ whose vertex set consists of all permutations of $\{1,\ldots,n\}$, where two vertices are adjacent if and only if their corresponding permutations differ at every position. It is well-known that $Γ_n$ is a Cayley graph, Hamiltonian and Hamilton-connected. In this paper, we prove that for $n \geq 4$, the derangement graph $Γ_n$ is edge pancyclic. Moreover, we extend this result to two broader classes of Cayley graphs defined on symmetric group.
A Poisson Type Operator Deformed by Generalized Fibonacci Numbers and Its Combinatorial Moment Formula
We introduce a two-parameter deformation of the classical Poisson distribution from the viewpoint of noncommutative probability theory, by defining a $(q,t)$-Poisson type operator (random variable) on the $(q,t)$-Fock space \cite{Bl12} (See also \cite{BY06, AY20}). From the analogous viewpoint of the classical Poisson limit theorem in probability theory, we are naturally led to a family of orthogonal polynomials, which we call the $(q,t)$-Charlier polynomials. These generalize the $q$-Charlier polynomials of Saitoh-Yoshida \cite{SY00a, SY00b} and reflect deeper combinatorial symmetries through the additional deformation parameter $t$. A central feature of this paper is the derivation of a combinatorial moment formula of the $(q,t)$-Poisson type operator and the $(q,t)$-Poisson distribution. This is accomplished by means of a card arrangement technique, which encodes set partitions together with crossing and nesting statistics. The resulting expression naturally exhibits a duality between these statistics, arising from a structure rooted in generalized Fibonacci numbers. Our approach provides a concrete framework where methods in combinatorics and theory of orthogonal polynomials are used to investigate the probabilistic properties arising from the $(q,t)$-deformation.
On the Carlitz-Mehler formula for Hermite polynomials
Carlitz proved a few generalizations of Mehler's formula. Later, Srivastava et al. gave a new proof for some extensions of Carlitz's formula. Here, a direct proof of the further generalization is given.
The generalizations of Erdős matching conjecture for $t$-matching number
Published
• View Publication
• BIB
Define a \textit{$t$-matching} of size $m$ in a $k$-uniform family as a collection $\{A_1, A_2, \ldots, A_m\} \subseteq \binom{[n]}{k}$ such that $|A_i \cap A_j| < t$ for all $1 \leq i < j \leq m$. Let $\mathcal{F}\subseteq \binom{[n]}{k}$. The \textit{$t$-matching number} of $\mathcal{F}$, denoted by $ν_t(\mathcal{F})$, is the maximum size of a $t$-matching contained in $\mathcal{F}$. We study the maximum cardinality of a family $\mathcal{F}\subseteq\binom{[n]}{k}$ with given $t$-matching number, which is a generalization of Erdős matching conjecture, and we additionally prove a stability result. We also determine the second largest maximal structure with $ν_t(\mathcal{F})=s$, extending work of Frankl and Kupavskii \cite{frankl2016two}. Finally, we obtain the extremal $G$-free induced subgraphs of generalized Kneser graph, generalizing Alishahi's results in \cite{alishahi2018extremal}.
New $r$-Euler--Mahonian statistics involving Denert's statistic
Published
• View Publication
• BIB
Recently, we proved the equidistribution of the pairs of permutation statistics $(r\textsf{des},r\textsf{maj})$ and $(r\textsf{exc},r\textsf{den})$. Any pair of permutation statistics that is equidistributed with these pairs is said to be $r$-Euler--Mahonian. Several classes of $r$-Euler--Mahonian statistics were established by Huang--Lin--Yan and Huang--Yan. Inspired by their bijections, we provide a new bijective proof of the classical result that $(\textsf{exc},\textsf{den})$ is Euler--Mahonian. Using this bijection, we further show that $(\textsf{exc}_{r},\textsf{den})$ is $r$-Euler--Mahonian, where $\textsf{exc}_{r}$ denotes the number of $r$-level excedances (i.e., excedances at least $r$). Furthermore, by extending our bijection, we establish a more general result that encompasses all the aforementioned results.
Turán problems for simplicial complexes
An abstract simplicial complex $\mathbf{F}$ is a non-uniform hypergraph without isolated vertices, whose edge set is closed under taking subsets. The extremal number $\mathrm{ex}(n,\mathbf{F})$ is the maximum number of edges in an $\mathbf{F}$-free simplicial complex on $n$ vertices. This extremal number is naturally related to the generalised Turán numbers of certain underlying hypergraphs. Making progress in a problem raised by Conlon, Piga, and Schülke, we find large classes of simplicial complexes whose extremal numbers are determined by the respective generalised hypergraph Turán numbers. We also provide simplicial complexes for which such a relation does not hold.
On saturated triangulation-free convex geometric graphs
A convex geometric graph is a graph whose vertices are the corners of a convex polygon P in the plane and whose edges are boundary edges and diagonals of the polygon. It is called triangulation-free if its non-boundary edges do not contain the set of diagonals of some triangulation of P. Aichholzer et al. (2010) showed that the maximum number of edges in a triangulation-free convex geometric graph on n vertices is ${{n}\choose{2}}-(n-2)$, and subsequently, Keller and Stein (2020) and (independently) Ali et al. (2022) characterized the triangulation-free graphs with this maximum number of edges.
We initiate the study of the saturation version of the problem, namely, characterizing the triangulation-free convex geometric graphs which are not of the maximum possible size, but yet the addition of any edge to them results in containing a triangulation. We show that, surprisingly, there exist saturated graphs with only g(n) = O(n log n) edges. Furthermore, we prove that for any $n > n_0$ and any $g(n)\leq t \leq {{n}\choose{2}}-(n-2)$, there exists a saturated graph with n vertices and t edges. In addition, we obtain a complete characterization of all saturated graphs whose number of edges is ${{n}\choose{2}}-(n-1)$, which is 1 less than the maximum.
Configured spaces and their Möbius polynomials
An arbitrary dependence structure between a finite family of events of a probability space defines a hypergraph structure. We study the converse operation, starting from a hypergraph structure, to determine a canonical probability space with events indexed by the vertices and that satisfy the prescribed dependence structure; we also require that events that are not mutually independent must be mutually exclusive. Such a hypergraph structure, we call a configuration.
Requiring furthermore that all events are given the same positive probability $t$, converts this problem to the study of a family of Möbius polynomials, which we call the relative Möbius polynomials (or independence polynomial) of the configuration. This study was very much already complete in the case where the configuration actually derives from a graph structure, but remained open in the general case.
We show the existence and uniqueness of an optimal real $t$, optimal in the sense that the events cover a subset of maximal probability. We base our study on a new formula for the derivative of the Möbius polynomial.
Revisiting $d$-distance (independent) domination in trees and in bipartite graphs
Published in Discrete Math. 349 (2026) Paper 114972
• View Publication
• BIB
The $d$-distance $p$-packing domination number $γ_d^p(G)$ of $G$ is the minimum size of a set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. In 1994, Beineke and Henning conjectured that if $d\ge 1$ and $T$ is a tree of order $n \geq d+1$, then $γ_d^1(T) \leq \frac{n}{d+1}$. They supported the conjecture by proving it for $d\in \{1,2,3\}$. In this paper, it is proved that $γ_d^1(G) \leq \frac{n}{d+1}$ holds for any bipartite graph $G$ of order $n \geq d+1$, and any $d\ge 1$. Trees $T$ for which $γ_d^1(T) = \frac{n}{d+1}$ holds are characterized. It is also proved that if $T$ has $\ell$ leaves, then $γ_d^1(T) \leq \frac{n-\ell}{d}$ (provided that $n-\ell \geq d$), and $γ_d^1(T) \leq \frac{n+\ell}{d+2}$ (provided that $n\geq d$). The latter result extends Favaron's theorem from 1992 asserting that $γ_1^1(T) \leq \frac{n+\ell}{3}$. In both cases, trees that attain the equality are characterized and relevant conclusions for the $d$-distance domination number of trees derived.
The linear programming optimum for packings in classical association schemes
Association schemes are central objects in algebraic combinatorics, with the classical schemes lying at their core. These classical association schemes essentially consist of the Hamming and Johnson schemes, and their $q$-analogs: bilinear forms scheme, alternating bilinear forms scheme, Hermitian forms scheme, $q$-Johnson scheme, and polar space schemes. Each of them gives rise to a distance-regular graph on a vertex set $X$, naturally endowed with the path metric. We study $d$-codes in these schemes, that is, subsets $Y$ of $X$ in which every pair of distinct elements has path distance at least $d$. A powerful tool for deriving upper bounds on the size of $d$-codes is the linear programming method. In the case of the Hamming and Johnson schemes, the linear program has been studied since the 1970s, but its optimum is still unknown. We determine the optimum of the linear program for nearly all classical association schemes distinct from the Hamming and Johnson schemes. This is achieved by constructing feasible solutions to both the primal and dual linear programs whose objective values coincide. As a corollary, we obtain upper bounds on $t$-intersecting sets in classical association schemes, providing new proofs of several known results and, in particular, improving earlier bounds on $t$-intersecting sets of generators in polar spaces. These results can be viewed as analogs of the classical Erdős-Ko-Rado Theorem in extremal set theory. Our proofs draw on techniques from algebraic combinatorics and the duality theory of linear programming.
On the Turán number of odd-ballooning of $3$-chromatic graphs
Published
• View Publication
• BIB
Given a graph $F$, the Turán number ${\rm ex}(n,F)$ is the maximum number of edges in any $n$-vertex $F$-free graph. The odd-ballooning of $F$, denoted by $F^{o}$, is a graph obtained by replacing each edge of $F$ with an odd cycle, where all new vertices of the odd cycles are distinct. The Turán number of the odd-ballooning of $F$ has been established for several important cases. For a star, it was determined by Erdős, Füredi, Gould, and Gunderson (1995), Hou, Qiu, and Liu (2018), and Yuan (2018); for trees under certain conditions, by Zhu and Chen (2023); and for complete bipartite graphs $K_{s,t}$ ($t\geq s \geq 2$) where each substituted odd cycle has length at least five, by Peng and Xia (2024). In this paper, we apply Simonovits' celebrated method of progressive induction to determine the Turán number for the odd-ballooning of a class of $3$-chromatic graphs. Specifically, let $F$ be a graph formed by connecting a single vertex to all vertices of another graph whose components are either non-trivial trees or even cycles. We determine ${\rm ex}(n,F^{o})$ when each substituted odd cycle in $F^{o}$ has length at least five. As corollaries, we obtain the Turán number for the odd-ballooning of several well-known graph classes, including odd wheels, fan graphs, book graphs, and friendship graphs, where each substituted odd cycle in the ballooning has length at least five.
Taming Irrationality: An Invariance Principle for the Random Billiard Walk
The random billiard walk is a stochastic process $(L_t)_{t\geq 0}$ in which a laser moves through the Coxeter arrangement of an affine Weyl group in $\mathbb{R}^d$, reflecting at each hyperplane with probability $p\in (0, 1)$ and transmitting unchanged otherwise. Defant, Jiradilok, and Mossel introduced this process from the perspective of algebraic combinatorics and established that, for initial directions aligned with the coroot lattice, $L_t/\sqrt{t}$ converges to a centered spherical Gaussian. We bring analytic tools from ergodic theory and probability to the problem and extend this central limit theorem to all initial directions. More strongly, we prove the rescaled trajectories $t\mapsto n^{-1/2}L_{tn}$ converge to isotropic Brownian motion. Away from directions with rational dependencies, the limiting covariance varies continuously in $p$ and the initial direction.