group
10399 papers tagged with this keyword
The Richness of CSP Non-redundancy
In the field of constraint satisfaction problems (CSP), a clause is called redundant if its satisfaction is implied by satisfying all other clauses. An instance of CSP$(P)$ is called non-redundant if it does not contain any redundant clause. The non-redundancy (NRD) of a predicate $P$ is the maximum number of clauses in a non-redundant instance of CSP$(P)$, as a function of the number of variables $n$. Recent progress has shown that non-redundancy is crucially linked to many other important questions in computer science and mathematics including sparsification, kernelization, query complexity, universal algebra, and extremal combinatorics. Given that non-redundancy is a nexus for many of these important problems, the central goal of this paper is to more deeply understand non-redundancy.
Our first main result shows that for every rational number $r \ge 1$, there exists a finite CSP predicate $P$ such that the non-redundancy of $P$ is $Θ(n^r)$. Our second main result explores the concept of conditional non-redundancy first coined by Brakensiek and Guruswami [STOC 2025]. We completely classify the conditional non-redundancy of all binary predicates (i.e., constraints on two variables) by connecting these non-redundancy problems to the structure of high-girth graphs in extremal combinatorics.
Inspired by these concrete results, we build off the work of Carbonnel [CP 2022] to develop an algebraic theory of conditional non-redundancy. As an application of this algebraic theory, we revisit the notion of Mal'tsev embeddings, which is the most general technique known to date for establishing that a predicate has linear non-redundancy. For example, we provide the first example of predicate with a Mal'tsev embedding that cannot be attributed to the structure of an Abelian group, but rather to the structure of the quantum Pauli group.
On nut graphs with two vertex and three edge orbits
Published in Published in Discussiones Mathematicae Graph Theory, Volume 46(3), 2026
• View Publication
• BIB
Nut graphs are graphs whose adjacency matrix is singular with one-dimensional null space spanned by a vector with no zero entries. In a recent paper, Bašić, Fowler and Pisanski proved that the automorphism group of a nut graph has more orbits on the edge set than on the vertex set. They classified all orders for which a vertex-transitive nut graph with precisely two edge orbits exists, and conjectured that a nut graph with two vertex and three edge orbits exists for each non-prime order $n \ge 9$. Motivated by this conjecture, we introduce a very general construction that provides graphs with the desired symmetry properties, and we determine some sufficient spectral and structural conditions under which they are nut graphs. The construction yields infinite families of examples and confirms the above conjecture for all odd non-prime orders up to $2\,500$ and for at least $99.8$ percent of all odd non-prime orders up to a million. Finally, we present some additional interesting examples of nut graphs with two vertex and three edge orbits that do not arise from this construction.
The energy of a family of mirror di-Cayley (sum) graphs: equienergy and moments
For a group $G$ and subsets $S,T \subset G$ we consider a family of mirror di-Cayley graphs $MX(G;S,T)$ and mirror di-Cayley sums graphs $MX^+(G;S,T)$, namely those with $T=\{e\}, S$ or $S \cup \{e\}$. We refer to them indistinctly by $MX^*(G;S,T)$. We can think of $MX^*(G;S,T)$ as two copies of the Cayley (sum) graph $X^*(G,S)$ joined by edges determined by the connection set $T$. Recently, in the work \textit{Isospectral Cayley graphs with even and odd spectrum}, we study the spectrum of these graphs and several isospectrality problems. Here, we compute the energy and spectral $k$-moments of $MX^*(G;S,T)$ in terms of those of the underlying Cayley graphs $X(G,S)$. Then, we study energetic problems like hypo-, order-, and hyper-energeticity of these graphs. Finally, we give conditions for the existence of equienergetic pairs of non-isomorphic MDCGs.
Graphical Discreteness, Coxeter Doublings and Generalized Polygons
Graphical discreteness is not preserved under quasi-isometry in general. We prove that, for every finite thick generalized $m$-gon $Γ$ with $m\geq 3$, graphical discreteness is nevertheless constant on the class of finitely generated groups quasi-isometric to the right-angled Coxeter group $W_Γ$: such a group $Λ$ is graphically discrete if and only if $Γ$ is nonflexible, meaning that no nontrivial graph automorphism of $Γ$ fixes a closed star pointwise. The proof combines quasi-isometric rigidity of Fuchsian buildings with a metric-strata argument that recovers the standard Coxeter Cayley graph from the building metric. For finite-rank Coxeter systems, we also show that the automorphism group of the standard Cayley graph is compact-by-discrete if and only if it is discrete, equivalently, if and only if the defining diagram is nonflexible. We further obtain obstructions to graphical discreteness from one-vertex doublings, classify compact-by-discreteness for standard chamber graphs of graph products of finite groups, and derive applications to finite projective planes and to right-angled Coxeter groups with Menger curve boundary. Our methods do not settle whether nonflexible finite thick generalized polygons exist.
The Tropical Moduli Space of Degree-3 Rational Maps
We study tropical rational functions on the tropical projective line with three zeros and three poles in the torus, counted with multiplicity, modulo target automorphisms. The principal divisor identifies their moduli space with unordered pairs of disjoint effective divisors of degree three. We classify its \(53\) cells and prove that it is six-dimensional with ten contractible connected components. Source--target automorphism groups are trivial or of order two, and reflection loci are defined by linear gap equations. Allowing common support and points at infinity gives a divisor-pair compactification. Over an algebraically closed non-Archimedean field with value group \(\mathbb{R}\), root--pole tropicalization is surjective from valuation-separated cubic rational functions modulo the target torus normalizer. Explicit counterexamples show that the valuation of the conjugacy invariant \(J^2/I^3\) does not descend to this tropical moduli space. Generic functions admit minimal six-unit shallow ReLU representations with three positive and three negative unit output weights.
Partition functors and universal exponential relations
We introduce partition functors: algebraic structures indexed by partitions of finite sets and equipped with restriction and transfer maps along refinements. We construct a monad PD on the category of partition functors and on several categories of partition functors with additional multiplicative structure. For a partition ring, exponential elements in its associated completed ring of symmetric functions acquire canonical logarithms after applying PD. This gives rise to a universal exponential relation between multiplicative and additive power operations. For representation rings this can be used to recover the classical relation between symmetric powers and Adams operations, while for Morava E-theory it can be used to recover Ganter's exponential relation between symmetric powers and Hecke operators. We show that the representation rings of products of symmetric groups form the initial partition ring and that, for symmetric monoidal partition functors, the monad PD is closely related to symmetric invariant tensors and the divided power envelope. We also construct a symmetric monoidal partition ring carrying the universal exponential element, so that its image under PD carries the universal exponential relation.
Symmetric group actions on the coordinate ring of the lower unipotent group and the polynomial ring with quantum parameters
Givental-Kim and Ciocan-Fontanine gave an explicit presentation of the quantum cohomology ring of the flag variety. The author and Shirato introduced an algebraic generalization of their presentation in the context of the coordinate rings of regular nilpotent Hessenberg varieties. In particular, they connect the coordinate ring of the lower unipotent group in a general linear group and the polynomial ring with quantum parameters. In this paper we consider the dual of the connection and we see that the Plücker coordinates correspond to the quantizations of Schur polynomials. As an application of the connection, we construct an action of the symmetric group on the polynomial ring with quantum parameters. Using the symmetric group action, one can define the divided difference operators on the polynomial ring with quantum parameters. We study the quantizations of Schubert polynomials in relation to the divided difference operators.
On Arc-Transitive Regular Covers of Cubic Edge-Primitive Graphs
We determine, up to isomorphism of the covering graphs, the connected arc-transitive regular covers of cubic edge-primitive graphs whose covering transformation group is cyclic or elementary abelian of order $p^2$, where $p$ is a prime. Combining the known classifications for the base graphs ${\rm K_{3,3}}$ and ${\rm DC_{14}}$ with new arguments for ${\rm F30A}$ and ${\rm F102A}$ gives the full list in these two classes of covering groups. In the cyclic case, the covers of ${\rm F30A}$ and ${\rm F102A}$ are ${\rm F90A}$ and ${\rm F204A}$, respectively. In the elementary abelian case, neither ${\rm F30A}$ nor ${\rm F102A}$ admits an arc-transitive regular $\mathbb{Z}_p^2$-cover, so the base graph is ${\rm K_{3,3}}$ or ${\rm DC_{14}}$.
Prime-valent Symmetric Cayley Graphs of Characteristically Simple Groups
Let $\Ga$ be a connected prime-valent $X$-arc-transitive Cayley graph of a finite characteristically simple group $G\cong T^k$, where $k\geqslant2$. We obtain a precise structural characterization of such graphs and their arc-transitive automorphism groups. In the cubic case, every connected symmetric Cayley graph of $T^k$, where $T$ is a finite nonabelian simple group, is normal.
Geometric lifting and Freiman's $3k-4$ theorem in compact connected abelian groups
We develop a geometric lifting method for inverse sumset problems in compact connected abelian groups. The first result is an analogue of Freiman's $3k-4$ theorem, that is every compact set $A\subseteq G$ of sufficiently small Haar measure satisfying $μ_G(A+A)<3μ_G(A)$ is contained in a one dimensional Bohr set of measure at most $μ_G(A+A)-μ_G(A)$. This resolves a question of Christ and Iliopoulou. The proof combines Bilu's theorem with a geometric refinement of the spillover argument. We also establish a sharp projection theorem. Under a continuous surjective homomorphism with connected kernel, a compact set of sufficiently small positive measure and doubling at most $K$, where $2\le K<3$, has image of doubling at most $2K-2$, and this factor is best possible. Further consequences include variants of the $3k-4$ theorem for popular sumsets and an inverse theorem for Tao's convolution inequality.
Low-Twist Matrix Covariants of Exterior Powers: Vanishing and Modular Phenomena
We study morphisms from symmetric powers of exterior powers to determinant-twisted endomorphism representations of general linear groups. At the minimal positive determinant twist, we prove vanishing over every field of characteristic different from two: if the exterior degree r >= 3 is odd, the symmetric degree satisfies d >= 3, and the underlying space has dimension rd, then the corresponding equivariant Hom space is zero. The proof uses a block-exchange sign and a universal root-subgroup identity, so it also applies in small odd characteristics without semisimplicity. We then determine the second-twist spaces for trivectors in characteristic zero. In dimension 3m and degree 2m, they are scalar and one-dimensional for m = 2, and zero for m >= 3. Plethystic conjugation reduces the latter vanishing to an elementary weight-support bound for exterior powers of the ten-dimensional space of ternary cubics. Finally, over fields of characteristic zero or odd characteristic, an exact computer-assisted classification in dimension nine gives a one-dimensional scalar Hom space in characteristic five and zero in characteristic zero and in every odd characteristic other than five.
Rényi stability of $B_h$ sets: a two-order phase diagram and sharp deletion principles
A set $B$ in an abelian group is a $B_h$ set if every $h$-term sum has a unique representation up to permutation; for $h=2$ these are the Sidon sets. We study a weighted removal problem for this collision-free property: if the $h$-fold sum map has small Rényi entropy loss, how much probability mass must be deleted so that the remaining support is a $B_h$ set? Two Rényi orders arise: $α$ is the order at which the coarsening loss is measured, whereas $β$ is the order of the entropy constraint. The diagonal specialization $β=α$ ties the two roles together. We determine the resulting stability problem on the positive $(α,β)$-quadrant. Stability holds exactly when $β\le1$ and $α\geβ$. Inside this region the optimal deletion rate is polynomial for $β<1$ and logarithmic on the boundary $β=1$, where the leading constant is exact; outside it, stability fails through two distinct mechanisms: a supercritical budget and dilution by light atoms. In both unstable regimes the limiting defect is computed exactly. The upper bounds follow from a coarsening inequality with best possible constant, which also yields an entropy-free removal theorem, a finite combinatorial consequence for moments of the representation function, and extensions to $B_h[g]$ sets. Matching constructions show that the phase boundaries and rates are sharp.
Hurwitz Equivalence of Reflection Factorizations in Types $B$ and $D$
A conjecture of Lewis asserts that two reflection factorizations of the same element in a finite Coxeter group $W$ belong to the same Hurwitz orbit if and only if they generate the same subgroup $H$ of $W$ and have the same multiset of $H$-conjugacy classes. We prove this conjecture for every finite Coxeter group all of whose irreducible components are of type $A$, $B$ or $D$. Furthermore we prove a reduction, which reduces the conjecture to a finite problem for the exceptional types.
The existence and uniqueness of magic-faced hypercubes, and applications to Khajuraho most-perfect magic squares, cubes, and hypercubes
A $\textit{magic-lined hypercube}$ (or, simply, $\textit{magic hypercube}$) of order $k$ and dimension $n$ is an arrangement of the numbers $1,\dots,k^n$ in a $k\times\cdots\times k$ ($n$-fold) grid such that every line of $k$ numbers parallel to a coordinate axis has the same magic sum. While such hypercubes exist for every order $k\ge 3$ and every dimension $n$, no magic-lined hypercube of order $2$ exists in any dimension $n\ge 2$.
For hypercubes of order $2$, we thus relax the magic condition from lines to two-dimensional faces or planes. We call an arrangement of the numbers $1,\dots,2^n$ in a $2\times\cdots\times2$ ($n$-fold) grid \emph{magic-faced} if every $2\times2$ face has the same magic sum. We prove that a magic-faced hypercube of order $2$ exists in every dimension $n\ge0$, and that it is unique up to a certain natural set of transformations of size $2^n(n+1)!$ when $n$ is even and $2^n n\cdot n!$ when $n$ is odd.
As an application, we recover and generalize the classical $4\times4$ Khajuraho magic square, answer a question of Coxeter on the group acting on the $384$ ``most-perfect" $4\times4$ magic squares, and extend the picture to higher dimensions. In particular, we prove that, in dimension $n$, these most-perfect objects form a single orbit under a certain natural action of the Weyl group $W(B_{2n})$.
Structural Characterizations and Algebraic Realizations of a Family of Regular Integral Graphs
All the eigenvalues of an integral graphs are integers. Integral graphs are extremely rare. They form an asymptotically vanishing fraction $2^{-Ω(n)}$ among all graphs on $n$ vertices. It makes the construction of a new family of integral graphs a challenging task. Also, most of the known infinite family of integral graphs rely on Cayley graphs over Abelian groups. In this article, we introduce a new family of integral graphs obtained from the groups. The construction of our graphs from groups is different from the construction of Cayley graphs. A spectral uniqueness theorem is established, which shows that each member of the infinite family is determined by its adjacency spectrum among all finite simple graphs. We also present recursive constructions that generates larger members of the family from smaller ones, providing a scalable class of integral graphs. Finally, we investigate algebraic realizations of these graphs as complements of Proper Prime Order Element Graphs of finite $2$-groups and obtain conditions characterizing such realizations. We also observe that the graphs obtained from different non-isomorphic groups have cospectral graphs.
Enumerating pattern-avoiding translation-invariant total orders
Let $n$ be a positive integer. A translation-invariant total order (TITO) with period $n$ is a total order of the integers that is invariant under translations by multiples of $n$. These structures arise naturally in the study of Coxeter groups. In particular, real $n$-TITOs are in bijection with biclosed sets of positive roots of the affine symmetric group $\widetilde S_n$. Barkley and Defant recently introduced pattern avoidance for TITOs and used it to define the affine Tamari lattice.
The enumeration of TITOs avoiding a single pattern of length $3$ is due to Crites and Barkley--Defant. We extend this work to TITOs avoiding two patterns. Our main results include a complete enumeration of TITOs that avoid a pair of patterns in $S_3\times S_3$, as well as of TITOs that avoid a pair $(p, q)$ with $p \in S_3 \setminus \{123, 321\}$ and $q \in S_4$. Furthermore, we provide an explicit construction of the inverse of the bijection between $312$-avoiding TITOs and noncrossing arc diagrams, thereby extending the combinatorial framework introduced by Barkley.
An explicit half-flip family of 32-modular Hadamard matrices at L = 3 mod 8: structural placement and mod-tower analysis
Motivated by Eliahou's 64-modular Hadamard construction at the smallest open Hadamard order n=668, we introduce an explicit half-flip family of 32-modular Hadamard matrices at orders n=4L for L = 3 (mod 8). A master identity reduces the four-sequence Golay-quadruple condition under the half-flip ansatz (s, s*, sq, (sq)*) to a single-sequence type-restricted autocorrelation c_k^tau(s). The construction yields a closed-form expression for c_k^tau, a true Hadamard matrix at L=11, and 32-modular matrices at every L = 3 (mod 8), including the open orders n=716 and n=1132. Existence of 32-modular at L = 3 (mod 4) is due to Eliahou-Kervaire (2001); Eliahou's 2026 follow-up in J. Algebraic Combin. gives 64-modular matrices at L = 3 (mod 16) and L = 7 (mod 32) via the same ansatz and correlation identity we call the master identity, subsuming our construction on that residue subclass. Our contribution is therefore primarily structural. Applying Barrera Acevedo-O Cathain-Dietrich (2019) and Alvarez et al. (2020), the family is non-cocyclic over any group at every prime L in {11, 19, 59} in the YES set, yet pseudococyclic over the Goethals-Seidel Moufang loop GS_{4L} at every L. A half-flip H-set decomposition theorem parameterizes the symmetric difference of any two family elements by a single sequence flip set, giving the family the structure of a length-L Hamming cube. A symbolic mod-tower verifier (mod-8 is F_2-linear) classifies true Hadamards in the family through k=14 (L <= 115): the YES set is empirically bounded by k=7, refuting four H4 predictions and excluding L in {179, 283} within the ansatz. A Grobner basis at L=11 exhibits a previously unrecorded even-T0-block linear identity. All code and JSON certificates: github.com/michelkulhandjian/hadamard-halfflip-structural
Finding Kissing Numbers with Game-theoretic Reinforcement Learning
Since Isaac Newton first studied the Kissing Number Problem in 1694, determining the maximal number of non-overlapping spheres around a central sphere has remained a defining challenge in discrete geometry. As the local analogue of Hilbert's 18th problem, it has profound implications across geometry, number theory and information theory. Although lattices and codes have achieved significant progress, the field is confined to isolated extremal configurations, leaving underlying geometric principles obscured. Here we shift the object to the broader extremal configuration space, thereby opening a new path for the Kissing Number Problem. Accordingly, we recast this problem as a cooperative matrix-completion game, and train a reinforcement learning system, PackingStar, to solve it. One player fills cosine entries while the other corrects suboptimal ones, making explosive geometric complexity tractable. Working within extremal configuration spaces, PackingStar discovers new interpretable geometric structures that improve 15 strong bounds held for decades in kissing numbers and their generalizations, several of them provably optimal under natural inner products. These findings reveal the first explicit spherical-code realization of the Fischer group Fi22, extend the classical Euclidean representation of subgroup structure, and directly inspire subsequent breakthroughs by mathematicians. Overall, the work provides an early example of AI-driven progress on a Hilbert-calibre problem, showing how reinforcement learning advances mathematical discovery by unlocking more expressive objects.
A note on the diameter of graphs of two-dimensional simplex codes
Let $Γ^s(2,q)$ be the graph induced in the Grassmann graph by the $q$-ary simplex codes of dimension 2. For $q=4$, this graph is known to have diameter 3. We prove that the same diameter occurs for every prime power $q\geq5$. Together with the elementary cases $q=2,3$, this gives diam$Γ^s(2,q)=0,2,3$ for $q=2$, $q=3$, and $q\geq4$, respectively. The upper bound is obtained from a consequence of a theorem of Marshall Hall on finite abelian groups. For $q\geq5$ an explicit diagonal pair of simplex lines gives the matching lower bound; we give two proofs, one using moments and one using products. For $q\geq7 we also retain an independent counting proof. The case $q=4$ is handled separately.
Generating the symmetric group by three prefix reversals
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:1, Permutation Patterns 2025, Special issues (September 24, 2026) dmtcs:16975
• View Publication
• BIB
The cubic pancake graphs are Cayley graphs over the symmetric group $\mathrm{Sym}_n$ generated by three prefix reversals. There is the following open problem: characterize all the sets of three prefix reversals that generate $\mathrm{Sym}_n$. As the largest prefix reversal of length $n$ is always included in a triple, we give a complete solution of the problem when any of the two smallest or the two largest lengths but $n$ are included in a triple of prefix reversals. Moreover, some conditions implying a triple of prefix reversals does not generate $\mathrm{Sym}_n$ are considered. Computational results on the diameter and the girth of some cubic pancake graphs are presented, and conjectures for future research are formulated.