representation ↗ reference
4049 papers tagged with this keyword
Quantum Query Complexity of the Hyperoctahedral Group
We determine the quantum query complexity of oracle identification on the hyperoctahedral group $B_N = \{\pm 1\}^N \rtimes S_N$ with respect to the natural representation: $Q_{LV}(B_N) = 2(N-1)$ for all $N \ge 2$. This is twice the symmetric-group value $Q_{LV}(S_N) = N-1$; the doubling arises from an $\varepsilon$-parity obstruction that restricts the bottleneck representation $\operatorname{sgn}(σ)$ to even tensor powers. The proof combines a reduction to $S_N$ Kronecker products via Rademacher moment polynomials with the bipartition distance formula $d_T(((N),\varnothing),(α,β)) = 2(N-α_1)-|β|$ in the tensor product graph. A closed-form generating function yields the first-appearance multiplicity $(2N-3)!!$. We also show $Q_{\mathrm{decomp}}(\varphi) \le 2\,Q_{\mathrm{signed}}(\varphi)$, with equality on $B_2$, and conjecture a link between the adversary bound and the graph eccentricity.
Convolution, cumulants and infinitesimal generators in the formal power series ring
We extend the notions of finite free convolution and finite free cumulants to the setting of formal power series by introducing their natural analogues, namely $t$-deformed convolution and $t$-deformed cumulants. In this framework, we establish $t$-deformed analogues of the law of large numbers and the central limit theorem, revealing structural parallels with classical, free, and finite free probability theories. We show that the case $t=-1$ recovers classical convolution at the level of moment generating functions, thereby connecting the theory directly to classical probability. We further investigate the infinitesimal generators associated with $\boxplus^t$-continuous semigroups, deriving explicit representation formulas that clarify how these generators describe the infinitesimal evolution of the semigroup. In the case $t = d$, our results yield explicit formulas for finite free infinitesimal generators. In the case $t = -1$, we relate these generators to those of one-dimensional Lévy processes by identifying the corresponding terms in their representations. This establishes a direct connection between $\boxplus^t$-convolution semigroups and classical Lévy-Khintchine-type generators.
Analyzing Network Robustness via Residual Closeness
Networks are inherently vulnerable to vertex failures, making the analysis of their structural robustness a fundamental problem in graph theory. In this study, we investigate the closeness and vertex residual closeness of graphs, with a particular focus on the middle graph representations of certain special graph classes, which provide a richer structural framework for analysis. We derive exact expressions for the closeness values of these middle graphs and determine their residual closeness under vertex failures. By utilizing results obtained from specific graph families, we establish several general bounds for broader graph classes. Furthermore, by exploiting the relationship between the closeness of a graph, its line graphs, and middle graphs, we obtain new results that relate these three structures. In addition, we propose an algorithm for computing closeness in middle graphs and provide a detailed analysis of its performance.
Extremal chromatic bounds for distance Laplacian eigenvalues
For a connected simple graph $G$ on $n$ vertices with chromatic number $χ$, the distance Laplacian matrix is $\DL( G)=\mathrm{diag}(\mathrm{Tr}_{ G}(v_1),\dots,\mathrm{Tr}_{ G}(v_n)) - D( G)$, where $D( G)$ is the distance matrix and $\mathrm{Tr}_{ G}(v)=\sum_{u\in V( G)} d_{ G}(u,v)$ is the transmission. The eigenvalues of $\DL( G)$ are ordered as $\partial^{L}_1( G)\ge \partial^{L}_2( G)\ge \cdots \ge \partial^{L}_n( G)=0$. Building on the chromatic lower bound $\partial^{L}_1( G)\ge n+\ceil{\frac{n}χ}$ and subsequent developments, we prove a \emph{color-class majorization principle}: if $(\ell_1,\dots,\ell_χ)$ are the color-class sizes in an optimal $χ$-coloring with $\ell_1\ge \cdots\ge \ell_χ$, then the first $\ell_1-1$ distance Laplacian eigenvalues satisfy $\partial^{L}_i( G)\ge n+\ell_1$, for $1\le i\le \ell_1-1$. This gives sharp lower bounds on the number of eigenvalues above the chromatic threshold $b_χ=n+\ceil{n/χ}$, thereby refining the distribution theorems of Aouchiche--Hansen (Filomat, 2017) and Pirzada--Khan (LAA, 2021). We further refine clique/independent-set based multiplicity results by deriving explicit chromatic criteria in terms of neighborhood compression, and we generalize the extremal problem for minimum $\partial^{L}_1$ at fixed chromatic number by characterizing all minimizers. Several numerical examples are included along with pictorial representations.
Strong modules and asynchronous attractors of Boolean networks
We consider Boolean networks with interaction graphs partitioned into strongly connected components, which we call strong modules. This type of network decomposition has been considered in the literature, primarily from the perspective of attractor detection algorithms. In this paper, we aim to provide an algebraic basis for this line of research in the case of asynchronous Boolean networks. We prove that the asynchronous attractors of a network can be described as a dependent sum construction: as products of attractors of its controlled strong modules. We then show that a representation of all attractors can be computed in polynomial time under two conditions: the strong modules are small, and either the network is sparse or its defining functions have small size circuits (in particular when they are nested canalizing). We illustrate these results on a published Boolean model.
On the Drazin Index of an Anti-Triangular Block Matrix
The Drazin index is a fundamental invariant in the analysis of singular matrices and their generalized inverses. While sharp results are available for block triangular matrices, the corresponding theory for anti-triangular block matrices is less developed. In this paper, we study matrices of the form \[ M=\begin{bmatrix} A & B \\ C & 0 \end{bmatrix}, \] under algebraic constraints on the blocks.
Building on additive decompositions involving von Neumann inverses, we relate the Drazin index of $M$ to invariance properties of the index and minimal polynomial of expressions of the form $A^{2}A^{-}+I-AA^{-}$. This connection provides an effective mechanism to control the index of $M$ through suitable factorizations and associated block products.
As a consequence, we derive explicit lower and upper bounds for $i(M)$ in terms of $i(A)$ and $i(BC)$, and characterize situations in which these bounds are attained. Under additional annihilation or orthogonality conditions on the blocks, we obtain closed-form representations for the Drazin inverse of $M$. Applications to adjacency matrices of directed graphs illustrate the sharpness of the bounds and the applicability of the results to structured matrices arising in graph-theoretic settings.
A Formal Refutation of the Hypergeometric Parametric Extension for Reciprocal Binomial Sums
Recent work by Pain [1] proposed a systematic approach to evaluating binomial sums involving reciprocals of binomial coefficients via Beta integrals. In particular, a parametric extension (Proposition 6.1) was introduced and claimed to admit a closed-form representation in terms of a terminating 2F1 hypergeometric function. Through a combination of internal logical consistency checks, integral derivation analysis, and exact symbolic computation, we definitively prove that this parametric identity is false.
Stability and ribbon bases for the rank-selected homology of geometric lattices
This paper analyzes the representation theoretic stability, in the sense of Thomas Church and Benson Farb, of the rank-selected homology of the Boolean lattice and the partition lattice, proving sharp uniform representation stability bounds in both cases. It proves a conjecture of the first author and Reiner by giving the sharp stability bound for general rank sets for the partition lattice. Along the way, a new homology basis sharing useful features with the polytabloid basis for Specht modules is introduced for the rank-selected homology and for the rank-selected Whitney homology of any geometric lattice, resolving an old open question of Björner. These bases give a matroid theoretic analogue of Specht modules.
Analytic and combinatorial approaches to a weighted Catalan sum
We analyze a weighted convolution of Catalan numbers $$ \sum_{k=0}^{n} \binom{2k}{k}\binom{2(n-k)}{n-k} a^k = \sum_{k=0}^{n} (k+1)(n-k+1) C_k C_{n-k} a^k, $$ emphasizing its combinatorial, analytic, and probabilistic aspects. We derive a compact closed form in terms of the Gauss hypergeometric function ${}_2F_1(-n,1/2;1;1-a)$, valid for all complex values of the parameter $a$. The sum admits a natural interpretation in terms of return probabilities of independent simple random walks, linking weighted convolutions of central binomial coefficients to classical probability theory. Furthermore, a refinement via Narayana numbers highlights the contribution of peak distributions in pairs of Dyck paths, providing a finer combinatorial perspective. An integral representation is also proposed, suggesting a connection with orthogonal polynomials and spectral measures. Our approach illustrates how analytic and probabilistic techniques complement combinatorial reasoning in evaluating complex sums.
Reciprocal binomial sums via Beta integrals
We develop a systematic and fully explicit approach to the evaluation of binomial sums involving reciprocals of binomial coefficients based on Beta integral techniques. Starting from a simple integral representation, we provide a derivation of classical identities, including Frisch's formula, with all intermediate transformations rigorously justified. This framework naturally extends to parametric sums, yielding integral representations that lead to closed forms in terms of hypergeometric functions. In particular, we establish connections with terminating ${}_2F_1$ and generalized ${}_3F_2$ series, thereby linking discrete combinatorial sums with the analytic theory of special functions. We further derive explicit finite expansions suitable for symbolic and numerical computation, as well as higher-order extensions involving Pochhammer symbols. In addition, we present new families of identities, including shifted reciprocal sums and weighted sums involving powers of the summation index, which admit unified hypergeometric representations. Overall, the Beta integral method provides a versatile and unifying framework bridging combinatorial identities, integral representations, and hypergeometric analysis, and opens the way to further generalizations in combinatorics and special function theory.
Overconstrained character sums over finite abelian groups and decompositions of generalized bent, plateaued and landscape functions
Generalized bent (gbent) functions from an $n$-variable Boolean space to $\mathbb{Z}_{2^k}$ are central in cryptography and sequence design. Instead of the usual binary decomposition, we introduce a $2^\ell$-adic representation, for $k=\ell r$, writing such functions as linear combinations of $r$ component functions valued in $\mathbb{Z}_{2^\ell}$. We prove a general result on overconstrained character sums over finite abelian groups: under a common-argument hypothesis, sequences with two-level Fourier magnitude spectra must be extremely sparse, with a conditional extension to multi-level spectra. As an application, we derive consequences for generalized plateaued functions under suitable assumptions. We then show that if $f:\mathbb{F}_2^n\to\mathbb{Z}_{2^k}$ is landscape, then under the $2^\ell$-adic decomposition every function in a certain affine space over $\mathbb{Z}_{2^\ell}$ is again landscape with the same Walsh magnitudes. This gives an unconditional necessity result, with no structural assumptions on $f$, together with a complete characterization using only a small subset of these maps. For generalized bent and generalized plateaued functions, sufficiency is also obtained from linear combinations of lower components under natural assumptions; a counterexample shows these assumptions are essential. Our method reduces verification for landscape functions from $2^{2^{k-1}}$ checks to fewer than $2^{k-\ell+1}+1$ conditions; for gbent functions this drops to a single basis function under the common-argument hypothesis, and for generalized plateaued functions, under additional assumptions, to $2^{k-\ell}$ checks. The $2^\ell$-adic framework also preserves key properties, including duality and differential uniformity.
An Erdős-Ko-Rado result for some principal series representations
Let $V$ be an irreducible principal series representation of $\mathrm{GL}_2(q)$ satisfying certain conditions. Two subsets $S_1, S_2 \subseteq \mathrm{GL}_2(q)$ are called cross-$t$-intersecting if $\dim\{v \in V: g_1v = g_2v\} \geqslant t$ for any $(g_1, g_2) \in S_1 \times S_2$. In this paper, we determine $\max(|S_1|\cdot|S_2|)$ where $S_1, S_2 \subseteq \mathrm{GL}_2(q)$ are cross-$1$-intersecting. Our proofs are based on eigenvalue techniques and the representation theory of $\mathrm{GL}_2(q)$.
The edge of the asymptotic spectrum of tensors
Strassen founded the theory of the asymptotic spectrum of tensors to study the complexity of matrix multiplication. A central challenge in this theory is to explicitly construct new spectral points. In Crelle 1991, Strassen proposed the upper support functionals $ζ^θ$ as candidate spectral points, where $θ$ ranges over a triangle $Θ$. Recent progress, involving tools and ideas from quantum information theory (Christandl-Vrana-Zuiddam, STOC 2018, JAMS 2021) and convex optimization (Hirai, 2025), culminated in the proof that the upper support functionals are indeed spectral points over the complex numbers (Sakabe-Doğan-Walter, 2026).
In this paper, we give an even clearer picture of the situation for support functionals when $θ$ lies along the edges of the triangle. We show that not only are these functionals spectral points, but that they are uniquely determined as spectral points by their behavior on matrix multiplication tensors. As our methods are algebraic, as a corollary this establishes for the first time the existence of nontrivial spectral points over arbitrary fields.
As part of our argument, we show a close connection between the edge support functionals and Harder-Narasimhan filtrations from quiver representation theory. We thus show, using recent work in algorithmic invariant theory, that these support functionals can be computed in deterministic polynomial time. Other ingredients of our proof include a new criterion for abstractly characterizing asymptotic tensor ranks by spectral points, and a characterization of the edge support functionals in terms of matrix multiplication capacity. As another application of these tools, we prove the existence of spectral points for higher-mode tensors beyond those currently known.
A Categorification of Subword Complexes and Its Hall Algebra
Bergeron and Ceballos defined a Hopf algebra structure on equivalence classes of subword complexes. We introduce a category of subword complexes, endow it with a proto-exact-like structure, and show that the corresponding dual Hall Hopf algebra is isomorphic to the algebra of Bergeron-Ceballos. We prove that the full subcategory of root-independent objects is proto-abelian in the sense of Dyckerhoff. We give a categorical lift of flips in subword complexes.
We consider a version of a category of formal direct sums of subobjects for a root-independent subword complex and interpret it in terms of quivers. If the corresponding quiver is a tree, the category is endowed with a proto-exact structure. We show that its Hall algebra is isomorphic to the Hall algebra of the category of representations of this quiver over $\mathbb{F}_1$. Under certain conditions, a flip corresponds to changing a proto-exact structure while keeping the category the same up to isomorphism, which corresponds to a non-trivial automorphism of the Hall algebra. In type $A$, this leads to a realization of the nilpotent part of the universal enveloping algebra and its automorphisms.
Some geometric series for Euler's constant
We provide representations of Euler's constant $γ=0.577...$ as series which converge geometrically fast. This is based upon our earlier work on the Euler alternating series.
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$.
Complete Causal Identification from Ancestral Graphs under Selection Bias
Many causal discovery algorithms, including the celebrated FCI algorithm, output a Partial Ancestral Graph (PAG). PAGs serve as an abstract graphical representation of the underlying causal structure, modeled by directed acyclic graphs with latent and selection variables. This paper develops a characterization of the set of extended-type conditional independence relations that are invariant across all causal models represented by a PAG. This theory allows us to formulate a general measure-theoretic version of Pearl's causal calculus and a sound and complete identification algorithm for PAGs under selection bias. Our results also apply when PAGs are learned by certain algorithms that integrate observational data with experimental data and incorporate background knowledge.
On merge-models
Tree-ordered weakly sparse models have recently emerged as a robust framework for representing structures in an ``almost sparse'' way, while allowing the structure to be reconstructed through a simple first-order interpretation. A prominent example is given by twin-models, which are bounded twin-width tree-ordered weakly sparse representations of structures with bounded twin-width derived from contraction sequences. In this paper, we develop this perspective further. First, we show that twin-models can be chosen such that they preserve linear clique-width or clique-width up to a constant factor. Then, we introduce \emph{merge-models}, a natural analog of twin-models for merge-width. Merge-models represent binary relational structures by tree-ordered weakly sparse structures. The original structures can then be recovered by a fixed first-order interpretation. A merge-model can be constructed from a merge sequence. Then, its radius-$r$ merge-width will be, up to a constant factor, bounded by the radius-$r$ width of the merge sequence from which it is derived. Finally, we show that twin-models arise naturally as special cases of merge-models, and that binary structures with bounded twin-width are exactly those having a loopless merge-model with bounded radius-$r_0$ merge-width (for some sufficiently large constant $r_0$).
Complexity of Linear Subsequences of Fibonacci-Automatic Sequences
We construct automata with input(s) in Fibonacci representation (also known as Zeckendorf representation) recognizing some basic arithmetic relations and study their number of states. We also consider some basic operations on Fibonacci-automatic sequences and discuss their state complexity. Furthermore, as a consequence of our results, we improve a bound in a recent paper of Bosma and Don. We also discuss the state complexity and runtime complexity of using a reasonable interpretation of Büchi arithmetic to actually construct some of the studied automata recognizing relations.
Super-immanants and Littlewood correspondences
In this paper, we introduce the notion of super-immanants for supermatrices over a supercommutative algebra. Using the super Schur-Weyl duality we show that the super immanants play a significant role in covariant tensor representations of the general linear Lie superalgebra. Among various things, we obtain a supertrace formula for super-immanants, which generalizes Kostant's trace formula to the super setting. Furthermore, we show that the Littlewood correspondences between super-immanants and supersymmetric polynomials establish an isomorphism between their corresponding algebras.