Showing 20 papers (Total: 83133 papers, 48023 authors in database)
A note on irreducible representations of symmetric groups and Sergeev superalgebras
We provide an explicit construction and a closed dimension formula in terms of hook lengths for the irreducible representations for the symmetric groups $\mathfrak{S}_p$ and the Sergeev superalgebras $\mathcal{Y}_p$ over an algebraically closed field $\mathbb{F}$ of characteristic $p>0$.
Some new results on Andrews' and Warnaar's q-identities
In this paper, by the technique of inverse relations and comparing coefficients, we establish some generalized forms of Andrews' q-series identity and two new Bailey pairs and q-identities closely related to Andrews-Warnaar's sum identity for partial theta functions.
Simplicial shells and thickness in the partition graph
For each positive integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with edges given by elementary transfers of one unit between parts, followed by reordering. We study the local simplex dimension in the clique complex $K_n=\Cl(G_n)$ as a geometric thickness invariant of $G_n$. For a partition $λ\vdash n$, let $τ_n(λ):=\dim_{\mathrm{loc}}(λ)$ be its simplicial thickness. This gives threshold thick zones $T_{\ge r}(n)=\{λ: τ_n(λ)\ge r\}$ and, relative to the boundary framework of $G_n$, a shell/core decomposition into outer shells $Sh_r(n)$ and inner cores $Core_r(n)$. Using local-morphology results established earlier in the series, we work with simplicial thickness as a local invariant. We prove that it is preserved by conjugation, that the induced thick zones, shells, and cores are conjugation-invariant, and that the antennas remain strictly one-dimensional in the simplicial sense and are excluded from all nontrivial thick zones. The first shell order at which a nontrivial shell can occur is therefore $2$, and the corresponding shell $Sh_2(n)$ is the triangular skin, while higher simplicial regimes form nested higher-order shells inside the triangular regime. We also develop a complete finite computational atlas for $1\le n\le 30$, giving first-occurrence tables for the regimes $T_{\ge r}(n)$ and supporting a finite-range rear-central thickening pattern.
Towards Pósa's Conjecture for $3$-graphs
We prove that every $3$-graph $H$ on $n$ vertices with minimum codegree $δ_2(H) \geq 7n/9 + o(n)$ contains the square of a tight Hamilton cycle. This strengthens a theorem of Bedenknecht and Reiher that $δ_2(H) \geq 4n/5 + o(n)$ is sufficient. The central novelty of our arguments is an improved understanding of the connectivity structure of $3$-graphs with large minimum codegree.
Limit Laws for the Distance to Fréchet Means of Random Graphs
This paper investigates the Fréchet mean of the Erdős-Rényi random graph $G_{n,p}$ with respect to the Frobenius distance on graph Laplacians, a metric that captures global structural information beyond local edge flips. We first characterize the Fréchet mean set as consisting of quasi-regular graphs (i.e., graphs where all vertex degrees differ by at most one). We then analyze the asymptotic behavior of the Frobenius distance $F_n=d_{\mathrm{F}}(G_{n,p},R)$ as $n\to\infty$, where $R$ is any Fréchet mean. Closed-form expressions for the mean and variance of $F_n^2$ are derived, which are invariant to the choice of $R$. Leveraging these results, we establish several weak convergence laws for the Frobenius distance over all regimes of $p \in (0,1)$ as $n \to \infty$. Finally, under the scaling condition $n^2 p(1-p) \to \infty$ we prove the asymptotic normality of this distance, which exhibits a phase transition governed by the growth rate of $np(1-p)$. Our results reveal how metric selection fundamentally shapes Fréchet mean geometry in random graphs.
Off-diagonal Rado number for $x+y+c=z$ and $x+y+k=z$
The study of Ramsey-type problems for linear equations originated with Schur's theorem and was later placed in a systematic framework by Richard Rado. In the off-diagonal setting, one fixes a pair of distinct linear equations $(\mathcal{E}_1, \mathcal{E}_2)$ and asks for the least integer $N$ such that every red--blue coloring of $\{1, 2, \dots, N\}$ must yield either a red solution to $\mathcal{E}_1$ or a blue solution to $\mathcal{E}_2$. This threshold integer is referred to as the off-diagonal Rado number of the system $(\mathcal{E}_1, \mathcal{E}_2)$. In this work, we study the discrete and continuous off-diagonal Rado number for non-homogeneous linear system of equations $x+y+c=z$ and $x+y+k=z$ where $c\le k$. We determine the exact two-color discrete and continuous off-diagonal Rado number $R_2(c,k)$ associated with this system of equations.
Cyclic sieving phenomena on parabolic classes of faces of the cluster complex
The cyclic sieving phenomenon was introduced by Reiner, Stanton and White in 2004 as a generalization of Stembridge's $q=-1$ phenomenon. In a paper from 2008, Eu and Fu studied many occurrences of this phenomenon on the faces of the generalized cluster complex with the action of the Fomin-Reading rotation in the classical types $A_n$, $B_n$, $D_n$ and $I_2(k)$. There was yet no known uniform $q$-analogue of the $k$-face numbers of these complexes. In a more recent paper from 2023, Douvropoulos and Josuat-Vergès provided a refinement of the enumeration of the faces of the generalized cluster complex using a uniform formula. For a parabolic subgroup $W_X \subset W$ of the associated Coxeter group $W$, their formula factorises nicely under the assumption that $N_W(W_X)/W_X$ acts as a reflection group on $X$, which is very often the case. Using this condition, we provide a uniform refinement of these cyclic sieving phenomena using a $q$-analogue of their main formula with a type by type proof based on the classification of finite irreducible Coxeter groups.
Private neighbors, perfect codes and their relation with the $\vt$-number of closed neighborhood ideals
In this work, we investigate the connections between dominating sets, private neighbors, and perfect codes in graphs, and their relationships with commutative algebra. In particular, we estimate the $\vt$-number of closed neighborhood ideals in terms of minimal dominating sets and private neighbors. We show how the $\vt$-number is related to other graph invariants, such as the cover number, domination number, and matching number. Moreover, we explore the relation with the Castelnuovo-Mumford regularity, proving that the $\vt$-number is a lower bound for the regularity of bipartite and well-covered graphs. Finally, drawing from the relation between efficient dominating set and perfect codes, we use the redundancy of Hamming codes to present lower and upper bounds for the $\vt$-number of some special family of graphs.
Nonvanishing $k$-flats of Boolean and vectorial functions
$k$th-order sum-free functions are a natural generalization of APN functions using the concept of (non)vanishing flats. In this paper, we introduce a new combinatorial technique to study the nonvanishing flats of Boolean functions. This approach allows us to determine the number of nonvanishing flats for an infinite family of Boolean functions. We moreover use it to show that any $k$th-order sum-free $(n,n)$-function of algebraic degree $k$ gives rise to an $(n-k)$th-order sum-free $(n,n)$-function of algebraic degree $n-k$. This implies the existence of millions of $(n-2)$th-order sum-free functions.
The free tracial post-Lie-Rinehart algebra of planar aromatic trees for the design of divergence-free Lie-group methods
Aromatic Butcher series were successfully introduced for the study and design of numerical integrators that preserve volume while solving differential equations in Euclidean spaces. They are naturally associated to pre-Lie-Rinehart algebras and pre-Hopf algebroids structures, and aromatic trees were shown to form the free tracial pre-Lie-Rinehart algebra. In this paper, we present the generalisation of aromatic trees for the study of divergence-free integrators on manifolds. We introduce planar aromatic trees, show that they span the free tracial post-Lie-Rinehart algebra, and apply them for deriving new Lie-group methods that preserve geometric divergence-free features up to a high order of accuracy.
On Generalizations of Maiorana-McFarland and $\mathcal{PS}_{ap}$ Functions
We study generalizations of two classical primary constructions of Boolean bent functions, namely the Maiorana-McFarland ($MM$) class and the (Desarguesian) partial spread ($\mathcal{PS}_{ap}$) class. The construction of bent functions lying outside the completed $MM$ class has attracted considerable attention in recent years. In this direction, we construct families of generalized Maiorana--McFarland bent functions that are not equivalent to any function in the classical $MM$ or $\mathcal{PS}_{ap}$ classes, and hence lie outside their completed classes. As a second contribution, we investigate the decomposition of generalized $\mathcal{PS}_{ap}$ functions. We prove that when the degree is sufficiently small relative to the size of the underlying finite field, such functions do not, in general, admit a decomposition into bent or semibent functions. Consequently, they cannot be obtained from known secondary constructions based on concatenation. Finally, we present a secondary construction of Boolean bent functions arising from the concatenation of components of vectorial generalized $\mathcal{PS}_{ap}$ functions. Our constructions and proofs rely on classical results concerning second-order derivatives of bent functions and their duals. In addition, we employ methods from the theory of algebraic curves and their function fields.
Zeros in the character table of the symmetric group
Computations of Miller and Scheinerman suggest that the vast majority of the zeros appearing in the character table of the symmetric group are of a certain special type. While we cannot prove this, we resolve a conjecture arising in their paper concerning these zeros, and address a related question of Stanley.
Enumeration of general planar hypermaps with an alternating boundary
In this paper, we extend the enumerative study of planar hypermaps with an alternating boundary introduced in an earlier work of Bouttier and the second author. In that article, an explicit rational parametrization was obtained for the associated generating function in the case of m-constellations, using a variant of the kernel method. We develop here a new strategy to obtain an algebraic equation in the general case, which includes maps decorated by the Ising model, through a classical many-to-one correspondence. One of the main steps of our strategy is the simultaneous elimination of two catalytic variables. We then apply this strategy to the case of Ising quadrangulations, where we obtain an explicit rational parametrization. As a consequence, we show that some notable properties of the constellations case are no longer satisfied in general.
A Gray code for arborescences of tournaments
We consider the following question of Knuth: given a directed graph $G$ and a root $r$, can the arborescences of $G$ rooted in $r$ be listed such that any two consecutive arborescences differ by only one arc? Such an ordering is called a pivot Gray code and can be formulated as a Hamiltonian path in the reconfiguration graph of the arborescences of $G$ under arc flips, also called flip graph of $G$. We give a positive answer for tournaments and explore several conditions showing that the flip graph of a directed graph may contain no Hamiltonian cycles.
Optimal bounds for an Erdős problem on matching integers to distinct multiples
Let $f(m)$ be the largest integer such that for every set $A = \{a_1 < \cdots < a_m\}$ of $m$ positive integers and every open interval $I$ of length $2a_m$, there exist at least $f(m)$ disjoint pairs $(a, b)$ with $a \in A$ dividing $b \in I$. Solving a problem of Erdős, we determine $f(m)$ exactly, and show $$ f(m)=\min\bigl(m,\lceil 2\sqrt{m}\,\rceil\bigr) $$ for all $m$. The proof was obtained through an AI-assisted workflow: the proof strategy was first proposed by ChatGPT, and the detailed argument was subsequently made fully rigorous and formally verified in Lean by Aristotle. The exposition and final proofs presented here are entirely human-written. [This paper solves Problem #650 on Bloom's website "Erdős problems".]
Upper bound on the $k$-th eigenvalue of a graph
We prove a general upper bound on the $k$-th adjacency eigenvalue of a graph. For $k\ge 2$, we show that \[ λ_k(G)\le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1 \] for every graph $G$ on $n$ vertices. We build on a recent approach that addresses the case $k=3$ and generalize the upper bound for all $k \geq 3$ by using the positivity of Gegenbauer polynomials. The upper bound is tight for $k \in \{2,3,4,8,24\}$. We also highlight the close relation of $λ_k(G)$ to questions about equiangular lines.
Odd Hadwiger number and graph products
The Odd Hadwiger number of a graph $G$ is the largest integer $r$ such that $G$ has a clique of size $r$ as an odd minor. In this paper, we investigate how large is the Odd Hadwiger number of the product of two graphs, when considering any of the four standard graph products: Cartesian, direct, lexicographic, strong. We provide an optimal lower bound in the cases of the strong and lexicographic products.
Truncated Plethystic Exponentials Preserve Power Sum Constraints
Given an arbitrary sequence $(α_1, \ldots, α_n) \in \mathbb{C}^n$, we show that the degree-$n$ truncation of the formal exponential $\exp\bigl(-\sum_{k=1}^{\infty} \frac{α_k}{k} x^k\bigr)$ produces a polynomial whose roots $ρ_1, \ldots, ρ_n$ satisfy $\sum_{i=1}^n ρ_i^{-k} = α_k$ exactly for $k = 1, \ldots, n$. This truncation-exactness property is an algebraic identity in the ring of formal power series, proved by coefficient matching. It defines a natural embedding of sequences into multisets of complex numbers and yields an $O(n^2)$ algorithm for computing the polynomial from the prescribed power sums. We apply the result to the polylogarithm family $α_k = k^{1-s}$, where the associated exponential $\exp(-\mathrm{Li}_s(x))$ produces factorial-integer coefficient sequences for $s \leq 0$ and encodes values of the Riemann zeta function through $\lim_{n\to\infty} P_n^{(s)}(1) = \exp(-ζ(s))$ for $\mathrm{Re}(s) > 1$.
An extension of Katsuda-Urakawa's Faber-Krahn inequality
In this paper, motivated by our previous work \cite{HY}, we prove that the minimum of the first Dirichlet eigenvalues for the normalized combinatorial $p$-Laplacian on connected finite graphs with boundary consisting of $n$ edges is only achieved by the tadpole graph $T_{n,3}$. This result extends the Faber-Krahn inequality of Katsuda-Urakawa \cite{KU} to normalized combinatorial $p$-Laplacians. Our argument is much simpler than that of Katsuda-Urakawa.
Root lattices over totally real fields
A root lattice is a finite rank $\mathbb{Z}$-lattice generated by elements $x$ satisfying $x\cdot x=2$. It is well-known that the root lattices have an $ADE$ classification and they play a prominent role in the study of even unimodular lattices. The notion of root lattices can be naturally generalized to lattices over the ring of integers $\mathcal{O}$ of a totally real field $K$. In the case where $K$ is a real quadratic field, such lattices were classified by Mimura in 1979, and this classification has been used by several researchers in the study of even unimodular $\mathcal{O}$-lattices. In this paper, we extend this classification to arbitrary totally real fields. The irreducible root lattices of rank greater than $2$ are indexed by finite Coxeter systems. All the rank $2$ root lattices are realized as orders in quadratic extensions of $K$ and their classification requires some technique from algebraic number theory.