Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The sharp asymptotic density of zero-sum-free spherical sets
A measurable set $A\subseteq \mathbb S^{d-1}$ is called zero-sum-free if there are no $\boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in A$ with $\boldsymbol{x}+\boldsymbol{y}+\boldsymbol{z}=\boldsymbol{0}$. Bukh asked whether every zero-sum-free measurable subset of $\mathbb S^{d-1}$, for $d\ge3$, has normalized surface measure at most $\frac{1}{2}$. He also pointed out that even the asymptotic behavior as $d\to\infty$ was unknown. We answer Bukh's asymptotic question by proving that every such set has normalized surface measure at most $\frac{\lfloor (d+1)^2/2\rfloor}{d(d+1)}=\frac{1}{2}+O\left(\frac{1}{d}\right).$ Since the lower bound $\frac{1}{2}$ comes from open hemispheres, this determines the asymptotic extremal density.
By monotonicity, upper bounds in low-dimensional cases are especially important. We use a stability argument to improve the bound from $\frac{3}{5}$ to $\frac{71}{120}$ in dimensions $4$ and $5$.
Counting partial Latin rectangles and tridimensional rook placements with multisymmetric functions
We generalize Gessel's Formula for the number of Latin rectangles to partial Latin rectangles and non-attacking rook placements in a tridimensional chessboard. We also derive explicit short formulas for the generating series of the numbers of non-attacking rook placements on a chessboard with $2$ or $3$ levels. These series also count partial Latin rectangles with $2$ or $3$ rows.
The results are obtained following methods developed by MacMahon and Gessel for counting Latin squares and Latin rectangles, by means of scalar products of multisymmetric functions.
Exact enumeration of lozenge tilings of a triangular region
We prove that the number of lozenge tilings of a certain triangular region $\mathcal{T}_n$ is given by the formula \[T_n=\prod_{\substack{1\leq a<b\leq 3n+2\\(a,b)\not=(n+1,2n+2)}}\left|1+ζ^a+ζ^b\right|^{1/3},\] where $ζ=e^{2πi/(3n+3)}$. This answers a question of Ciucu and Krattenthaler, both by finding the exact formula and by explaining why $T_n$ has many prime factors. The proof reduces the lozenge tiling enumeration problem to evaluating the determinant of the bipartite adjacency matrix $M_n$ of the dual graph of $\mathcal{T}_n$, and then evaluates this determinant by diagonalising $M_n$.
On balancing two-slice portions of cake
After $n$ radial cuts of a circular cake, it is divided into $n$ slices. Call an adjacent pair of slices a portion. We exhibit an infinite sequence of cuts such that the ratio between the maximum and minimum sizes of a portion never exceeds 1.755. This improves on the trivial upper bound of 2, disproving a conjecture of Korsky.
Graded families of ideals and convex regions
We study the interplay between graded families of ideals in $\mathbb{K}$-domains and their associated convex regions. These regions, called Newton-Okounkov regions, arise naturally from graded families of ideals associated to a valuation with one-dimensional leaves. Our main focus is to compute asymptotic resurgence number of a pair of graded families of ideals. By combining techniques from Attouch--Wets topology and convex-geometric properties of Newton-Okounkov regions, we characterize the asymptotic resurgence number through containment relations between the pair of corresponding Newton-Okounkov regions.
One construction for the Miura-ori flip-graph degree sequence
The flip graph of an origami crease pattern has the flat-foldable mountain-valley assignments as vertices, and an edge joins two of them that differ by a single face flip. A basic invariant of this graph is the degree sequence, which counts the vertices of each degree. On the $m\times n$ Miura-ori, this sequence is known as a bivariate polynomial only for small degrees, each count obtained by a separate argument whose casework grows with the degree. This paper gives one uniform construction that expresses, for every degree $d$, the number of degree-$d$ vertices as a single symmetric polynomial $p_d(m,n)$ for all sufficiently large $m,n$. Subject to a single degree bound, this polynomial has total degree $d-2$, growing for $d\ge5$ as an explicit multiple of $m^{d-2}+n^{d-2}$; the bound is proved here when the count splits into independent row and column factors, and open otherwise. The region is $m,n\ge\max(d-1,2)$; through $d=7$, the polynomials are computed in closed form and the bound is verified in every case. Below this region, the count departs from $p_d$ by a correction whose leading coefficient, through degree eleven, is $-4$ times a Baxter number. Each $p_d$ thus counts the Miura-ori's flat-foldable assignments admitting exactly $d$ single face flips.
Algebraic Geometry of Electroid Varieties
Recent work of Lam, Bychkov-Gorbounov-Kazakov-Talalaev, and Chepuri-George-Speyer gave a stratification of the totally nonnegative Lagrangian Grassmannian into electroid cells parameterized by cactus networks, paralleling Postnikov's stratification of the totally nonnegative Grassmannian by positroid cells. Electroid varieties arise as an algebro-geometric extension of electroid cells. The combinatorics of these varieties was studied by Lam in 2018. We build on this work and study the geometric properties of electroid varieties. In analogy to results of Knutson, Lam, and Speyer on positroid varieties, we show that electroid varieties are reduced, irreducible, regular in codimension one, compatibly Frobenius split, and form a stratification. We also show a decomposition of certain electroid varieties as a product of two electroid varieties. As a consequence, the grove measurement map that embeds electroid cells can be extended algebraically to embed an algebraic torus.
Powers and trace of symmetric powers of $2\times 2$ matrices and combinatorial, Fibonacci and Lucas identities
Let $A$ be an arbitrary $2\times 2$ matrix. In \cite{Cisneros:PhD,Cisneros:I2x2M} I gave a formula for the trace of the $k$-th symmetric power of $A$ in terms of the anti-diagonal entries of $A^{k+1}$ and $A$. This was based on formulae that I found for the entries of the $k$-th power $A^k$ of the matrix $A$ in terms of its entries but I only sketched the idea of how I obtained such formulae. In this article I give the full proof of those formulae by counting some walks of length $k$ over the complete digraph of order $2$. I compare them with formulae for $A^k$ given by Mc Laughlin in \cite{McLaughlin:CIDnP2x2M} and by Williams in \cite{Williams:nthP2x2M}. This leads to combinatorial identities, in particular expressions for Fibonacci and Lucas numbers.
Polarised noncrossing partititions and the coherent self-dual $ω$-equivalence
We construct an acyclic augmented chain complex of abelian groups whose entry in degree $n > 0$ is free on the set of noncrossing partitions of degree $n-1$ equipped with a $\{0, 1\}$-labelling of their gaps. The definition of the differential in this complex is related, via a restricted Leibniz rule, to the gap-insertion operad of Ebrahimi-Fard, Foissy, Kock, and Patras. We conjecture that this augmented chain complex is the linearisation of a polygraph presenting a self-dual model of the coherent walking $ω$-equivalence constructed by the author, Loubaton, Ozornova, and Rovelli, and provide evidence for this conjecture.
Wall-crossing for Hilbert schemes
The goal of the minimal model program for the Hilbert scheme of points on a surface aims is to describe the (stable) base loci of all divisors, their associated birational models, and the maps between them. We answer all of these questions for the Hilbert scheme of points on the blowup of the affine plane at the origin. The birational models are Brill-Noether loci in a larger Hilbert scheme, and nested variants thereof, and the wall-crossing maps are described as explicit projections. We also establish several new facts about the homogeneous coordinate ring of this Hilbert scheme, including finding the minimal set of line bundles whose sections generate the ring.
Circular Hessenberg pairs and the tridiagonal relations
A square matrix is said to be Hessenberg whenever each entry below the subdiagonal is zero, and each entry on the subdiagonal is nonzero. A Hessenberg matrix is called circular whenever the top-right corner entry is nonzero, and every other entry above the superdiagonal is zero. A circular Hessenberg pair consists of two diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a circular Hessenberg fashion. In 2022, Jae-ho Lee conjectured that a circular Hessenberg pair satisfies two relations called the tridiagonal relations. In the present paper, we prove Lee's conjecture. Our proof is not elementary.
Game Conductors of Finite Groups: Determinantal Torsion from Structured Payoff Probes
We attach to a finite group $G$ and a structured payoff probe $φ$ an integer \emph{payoff-difference lattice} $M_φ(G)$ and its \emph{conductor} $C_φ(G)$: the primes at which $M_φ(G)$ loses rank modulo $p$. Our main result is an exact computation: for any CA-group the commuting conductor is rad$(b-1)$, where $b$ is the number of maximal abelian subgroups. In particular, conductor primes need not divide $|G|$: the prime $3$ occurs for a $2$-group of order $64$ with $b=7$. The commuting Smith spectrum is an invariant of the isoclinism class and obeys an exact direct-product law, giving ${\rm C_{comm}}(G\times H) = {\rm C_{comm}}(G) \cup {\rm C_{comm}}(H)$ unconditionally. A Galois-orbit-trace character probe reads a complementary layer: an index-$2$ subgroup forces $2\in {\rm C_{char}}(G)$ while no odd prime is forced, and ${\rm C_{comm}}(D_{2q}) = \{q\}$, ${\rm C_{char}}(D_{2q}) = \{2\}$ for all odd primes $q$. Certified exhaustive computation ($|G|\le128$ commuting, $|G|\le64$ character) and a deformation-family analysis support the general program: classify the Smith torsion of the compressed centralizer-type incidence matrix $B_G$.
Compactifying real analytic functions and resulting Reeb spaces
We formulate compactifications of continuous maps naturally. We consider real analytic functions mainly. We are interested in topological properties and combinatorial ones of explicit resulting maps. For understanding them, we use their Reeb spaces, being quotient spaces of the spaces of the domains of the functions and defined by the equivalence relation identifying two points in same components of their level sets. They are known to be $0$- or $1$-dimensional (metrizable) cell-complexes, in our situations or more general certain tame cases.
Reeb spaces have been important in understanding topological properties and combinatorial ones of functions and spaces roughly, since the last century.
These compactifications have been explicitly studied by the author previously and recently. We have obtained real algebraic functions whose Reeb spaces are not so complicated and which seem to be of most natural and simplest. We present new discussions and examples.
The Left-Regular Stabilizer of Zaks' Hamiltonian Cycle in the Pancake Graph
Let $P_n=\mathrm{Cay}(S_n,\{r_2,\ldots,r_n\})$ be the pancake graph, with prefix reversals acting on the right. Conjugating Zaks' suffix-reversal permutation Gray code by the full reversal gives a distinguished Hamiltonian cycle $Z_n$ in $P_n$. We determine the stabilizer of this particular cycle under the left regular action of $S_n$. If $ρ=r_{n-1}r_n=[n,1,2,\ldots,n-1]$, then, for every $n\ge3$, $\mathrm{Stab}_{L(S_n)}(Z_n)=\langle L_ρ,L_{r_n}\rangle\cong D_n$, where $D_n$ denotes the dihedral group of order $2n$. The inclusion $\supseteq$ follows from the recursive block decomposition $W_n=(W_{n-1}r_n)^{n-1}W_{n-1}$ and from the palindromy $W_n^R=W_n$. The reverse inclusion follows from a general cyclic-order rigidity lemma: if a Hamiltonian cycle on a finite group is invariant under $L_a$, with $\mathrm{ord}(a)\ge3$, then every left translation preserving the same cycle conjugates $a$ to $a$ or $a^{-1}$. For $n\ge5$, Deng-Zhang's automorphism theorem gives the same stabilizer inside $\mathrm{Aut}(P_n)$; the exceptional ranks are handled separately. We also compute the compression factor of $Z_n$: it is $n$ for $n\ge4$ and $6$ for $n=3$.
Determining Particular Solutions for Exponential-Polynomial Forcing Terms in Linear Nonhomogeneous Recurrence Relations
Published
• View Publication
• BIB
This paper develops a systematic method for determining particular solutions of the $k$th-order linear nonhomogeneous recurrence relation $$a_n + c_1 a_{n-1} + \cdots + c_k a_{n-k} = \sum_{j=1}^J p_j(n){r_j}^n$$ with $n \geq k$, $c_k \neq 0$, $r_j \neq 0$. Here each $p_j(n)$ is a polynomial. The main result is the following: for the characteristic polynomial $c(t)=t^k+c_1t^{k-1}+\cdots+c_k$, if $s_j$ denotes the multiplicity of $r_j$ as a root of $c(t)$ ($s_j=0$ when $r_j$ is not a root), then there exists a particular solution of the form $q_n=\sum_{j=1}^J b_j(n)n^{s_j}r_j^n$, where each $b_j(n)$ is a polynomial of the same degree as $p_j(n)$. This result parallels the method of undetermined coefficients for linear ODEs with constant coefficients and yields a systematic procedure for determining the form of particular solutions.
Minimum distances of LDPC codes in 5G standard
We propose several approaches for bounding the minim\-um distances of the family of quasi-cyclic LDPC codes in the 5G NR standard. In particular, we show that the high-rate [9984, 8448] and the low-rate [25344, 8448] BG1 5G LDPC codes have minimum distances in the ranges {8..14} and {22..57}, respectively. Also we propose a new early termination approach based on circulant modular reduction, which significantly lowers syndrome calculation complexity for the LDPC decoder.
Engel's Interval Packing Problem in the Boolean Lattice
Let \(\mathcal{B}_n\) be the Boolean lattice of all subsets of \([n]\) and let \(\mathcal{P}_{n;\ell,u}\) be the subposet of \(\mathcal{B}_n\) induced by the consecutive levels \(\ell,\ell+1,\ldots,u\). We determine $ν_{n;\ell,u}$, the maximum size of a family of pairwise disjoint maximal intervals in $\mathcal P_{n;\ell,u}$, whenever
\(u\le ({n+\ell^2})/({\ell+1})\). This completely settles Engel's problem~[Combin. Probab. Comput., 1996]. The proof is constructive. We also record consequences for weakly cross-intersecting set-pair systems and discuss the three-level case.
Revisiting $q$-Derangement Numbers via Decorated Permutations
This note aims to provide a direct combinatorial proof of the Gessel--Reutenauer--Wachs formula for $q$-derangement numbers in the setting of decorated permutations, without using the $q$-binomial inversion formula. Decorated permutations, introduced by Postnikov in his study of the totally nonnegative Grassmannian, provide a natural framework for Chen's signed fixed-point model. Our proof is based on a major-index generating function for decorated permutations with a fixed number of signed fixed points, together with a sign-reversing and descent-set-preserving involution, thereby answering a question raised by Chen. This involution was discovered through human--AI collaboration.
Recursive Lifting Beyond the Ahlswede--Khachatrian Construction
For the Erdős--Frankl--Pach problem on uniform set systems of bounded VC-dimension, the Ahlswede--Khachatrian/Mubayi--Zhao construction has long served as the standard lower-bound benchmark. We develop a recursive lifting method that goes beyond this benchmark in every dimension \(d\ge3\), proving that for every \(d\ge3\) and \(n\ge d+3\), \[ M_d(n)\ge \binom{n-1}{d}+\binom{n-4}{d-2}+M_{d-3}(n-5). \] The proof is elementary and proceeds through explicit trace obstructions. We also record a further recursive improvement in the concluding remarks.
Euclidean $\vee$-systems and real PK arrangements
We establish a correspondence between two structures arising in the geometry of hyperplane arrangements: Euclidean $\vee$-systems and real polyhedral Kähler (PK) arrangements. We prove that every irreducible Euclidean $\vee$-system determines a real PK arrangement, and conversely that every real PK arrangement arises this way. As a result, we show that the moduli space of Euclidean $\vee$-systems in a fixed projective class is homeomorphic to the relative interior of a polytope. We also give a direct proof that the hyperplane arrangement associated with a Euclidean $\vee$-system is simplicial. Among the currently known simplicial line arrangements, we identify precisely those that arise from $\vee$-systems. As a consequence, we prove that the Schreiber--Veselov catalog is complete for irreducible rank-three Euclidean $\vee$-systems with at most $27$ vectors.