Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Vandermonde Cells Through the Lens of Positive Geometry
We study the geometric and algebraic structure of Vandermonde cells, defined as images of the standard probability simplex under the Vandermonde map given by consecutive power sum polynomials. Motivated by their combinatorial equivalence to cyclic polytopes, which are well-known examples of positive geometries and tree amplituhedra, we investigate whether Vandermonde cells admit the structure of positive geometries. We derive explicit parametrizations and algebraic equations for their boundary components, extending known results from the planar case to arbitrary dimensions. By introducing a mild generalization of the notion of positive geometry, allowing singularities within boundary interiors, we show that planar Vandermonde cells naturally fit into this extended framework. Furthermore, we study Vandermonde cells in the setting of Brown-Dupont's mixed Hodge theory formulation of positive geometries, and show that they form a genus zero pair.
These results provide a new algebraic and geometric understanding of Vandermonde cells, establishing them as promising examples within the emerging theory of positive geometries.
Canonical Ramsey: triangles, rectangles and beyond
In a seminal work, Cheng and Xu showed that if $S$ is a square or a triangle with a certain property, then for every positive integer $r$ there exists $n_0(S)$ independent of $r$ such that every $r$-coloring of $\mathbb{E}^n$ with $n\ge n_0(S)$ contains a monochromatic or a rainbow congruent copy of $S$. Gehér, Sagdeev, and Tóth formalized this dimension independence as the canonical Ramsey property and proved it for all hypercubes, thereby covering rectangles whose squared aspect ratio $(a/b)^2$ is rational. They asked whether this property holds for all triangles and for all rectangles.
(1) We resolve both questions. More precisely, for triangles we confirm the property in $\mathbb{E}^4$ by developing a novel rotation-sphereical chaining argument. For rectangles, we introduce a structural reduction to product configurations of bounded color complexity, enabling the use of the simplex Ramsey theorem together with product Ramsey theorem.
(2) Beyond this, we develop a concise perturbation framework based on an iterative embedding coupled with the Frankl-Rödl simplex super-Ramsey theorem, which yields the canonical Ramsey property for a natural class of 3-dimensional simplices and also furnishes an alternative proof for triangles.
Bounded powers of edge ideals: Gorenstein polytopes
Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G) \subset S$ the edge ideal of a finite graph $G$ on $n$ vertices. Given a vector $\mathfrak{c}\in\mathbb{N}^n$ and an integer $q\geq 1$, we denote by $(I(G)^q)_{\mathfrak{c}}$ the ideal of $S$ generated by those monomials belonging to $I(G)^q$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I(G))$ denote the largest integer $q$ for which $(I(G)^q)_{\mathfrak{c}}\neq (0)$. Since $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal, it follows that its minimal set of monomial generators is the set of bases of a discrete polymatroid $\mathcal{D}(G,\mathfrak{c})$. In the present paper, a classification of Gorenstein polytopes of the form ${\rm conv}(\mathcal{D}(G,\mathfrak{c}))$ is studied.
The most probable order of a random permutation
Given positive integers $n$ and $m$, let $p_n(m)$ be the probability that a uniform random permutation of $[n]$ has order exactly $m$. We show that, as $n \to \infty$, the maximum of $p_n(m)$ over all $m$ is asymptotic to $1/n$, the probability of an $n$-cycle. Furthermore, for sufficiently large $n$, we show that the maximum is attained precisely if $m$ is the least positive integer divisible by all positive integers less than or equal to $n-m$. This answers a question of Acan, Burnette, Eberhard, Schmutz and Thomas, originally attributed to work of Erdős and Turán from 1968.
Discrete Curvatures and Convex Polytopes
We study Forman--Ricci and effective resistance curvatures on the skeleta of convex polytopes. Our guiding questions are: how frequently do polytopal graphs exhibit everywhere positive curvature, and what structural constraints does positivity impose? For Forman--Ricci curvature we derive an exact identity for the average edge curvature in terms of flag $f$-numbers and establish the existence of infinite families of Forman--Ricci-positive polytopes in every fixed dimension $d\ge 6$. We prove finiteness results in low dimension: there are only finitely many Forman--Ricci-positive $3$- and $4$-polytopes; for $d=5$ we show finiteness in the simplicial case, and conjecture its extension to $5$-polytopes more generally. For the resistance curvature $κ(v)$ we establish the existence of infinite families for all $d\ge 3$, and we provide a quantitative lower bound for $κ(v)$ in a simple $3$-polytope in terms of the lengths of the three $2$-faces incident to $v$. This bound leads to constructions of non-vertex-transitive, resistance-positive $3$-polytopes via $Δ$-operations, and a degree-based obstruction showing that if each neighbor of $v$ has degree at most $d_v-2$, then $κ(v)\le 0$. Our results suggest that positive curvature on polytopal skeletons is rare and constrained.
Improved Bounds for the Index Conjecture in Zero-Sum Theory
Published in Journal of Number Theory 268 (2025) 124-141
• View Publication
• BIB
The Index Conjecture in zero-sum theory states that when $n$ is coprime to $6$ and $k$ equals $4$, every minimal zero-sum sequence of length $k$ modulo $n$ has index $1$. While other values of $(k,n)$ have been studied thoroughly in the last 30 years, it is only recently that the conjecture has been proven for $n>10^{20}$. In this paper, we prove that said upper bound can be reduced to $4.6\cdot10^{13}$, and lower under certain coprimality conditions. Further, we verify the conjecture for $n<1.8\cdot10^6$ through the application of High Performance Computing (HPC).
Enumeration and Distribution of Permutation Rows and Columns in Equi-$n$-Squares
We introduce consecutive equi-$n$-squares, a variant of equi-$n$-squares in which at least one row or column forms a fixed permutation of $\{1,\dots,n\}$, taken for concreteness to be $(1,\dots,n)$. More generally, the enumeration and probabilistic arguments presented here extend to the occurrence of any prescribed permutation as a row or column of an equi-$n$-square. We derive exact and asymptotic formulas for the number of consecutive equi-$n$-squares, showing precisely how their proportion among all equi-$n$-squares rapidly approaches zero as $n\to\infty$.
We also analyze the distribution of consecutive equi-$n$-squares under uniform random sampling and explore connections to algebraic structures, interpreting equi-$n$-squares and consecutive equi-$n$-squares as Cayley tables. Finally, we supplement our theoretical results with Monte Carlo simulations for small values of $n$.
On the Walsh spectra of quadratic APN functions
APN functions play a central role as building blocks in the design of many block ciphers, serving as optimal functions to resist differential attacks. One of the most important properties of APN functions is their linearity, which is directly related to the Walsh spectrum of the function. In this paper, we establish two novel connections that allow us to derive strong conditions on the Walsh spectra of quadratic APN functions. We prove that the Walsh transform of a quadratic APN function $F$ operating on $n=2k$ bits is uniquely associated with a vector space partition of $\mathbb{F}_2^n$ and a specific blocking set in the corresponding projective space $PG(n-1,2)$. These connections allow us to prove a variety of results on the Walsh spectrum of $F$. We prove for instance that $F$ can have at most one component function of amplitude larger than $2^{3n/4}$. We also find the first nontrivial upper bound on the number of bent component functions of a quadratic APN function, and provide conditions for a function to be CCZ-equivalent to a permutation based on its number of bent components.
Decomposition of Polysymmetric Functions and Stack Partitions
Polysymmetric functions, introduced by Asvin G and Andrew O'Desky as a generalization of symmetric functions, have natural connections to algebraic geometry and provide a foundation for further developments. In this paper, we study polysymmetric functions using stack partitions and develop combinatorial descriptions of several polysymmetric bases. We introduce two new signed polysymmetric bases and give explicit transition formulas among the monomial, homogeneous, elementary, power, and signed polysymmetric bases. These results extend many familiar identities from symmetric function theory to the polysymmetric setting.
Quantum-Resistant Cryptography via Universal Gröbner Bases
In this article, we explore the use of universal Gröbner bases in public-key cryptography by proposing a key establishment protocol that is resistant to quantum attacks. By utilizing a universal Gröbner basis $\mathcal{U}_I$ of a polynomial ideal $I$ as a private key, this protocol leverages the computational disparity between generating the universal Gröbner basis needed for decryption compared with the single Gröbner basis used for encryption. The security of the system lies in the difficulty of directly computing the Gröbner fan of $I$ required to construct $\mathcal{U}_I$. We provide an analysis of the security of the protocol and the complexity of its various parameters. Additionally, we provide efficient ways to recursively generate $\mathcal{U}_I$ for toric ideals of graphs with techniques which are also of independent interest to the study of these ideals.
Some results on minimum saturated graphs
Let $G$ be a graph and $\mathcal{F}$ be a family of graphs. We say a graph $G$ is $\mathcal{F}$-saturated if $G$ does not contain any member in $\mathcal{F}$ and for any $e\in E(\overline{G})$, $G+e$ creates a copy of some member in $ \mathcal{F}$. The saturation number of $\mathcal{F}$ is the minimum number of edges of an $\mathcal{F}$-saturated graphs with $n$ vertices, denoted by $\sat(n,\mathcal{F})$. If $\mathcal{F}=\{F\}$, then we write it as $\sat(n,F)$ for short. In this paper, we determine the exact value of $\sat(n,\{K_3,P_k\})$, and as its application, we obtain two bounds of $\sat(n,K_3\cup P_k)$ for $k\ge 10$ and sufficiently large $n$. Furthermore, $\sat(n,K_1\lor F)$ is determined, where $F$ is a linear forest without isolated vertices.
Generalized toughness and Q-index in a graph
Let $G$ be a graph. We denote by $c(G)$, $α(G)$ and $q(G)$ the number of components, the independence number and the signless Laplacian spectral radius ($Q$-index for short) of $G$, respectively. The toughness of $G$ is defined by $t(G)=\min\left\{\frac{|S|}{c(G-S)}:S\subseteq V(G), c(G-S)\geq2\right\}$ for $G\neq K_n$ and $t(G)=+\infty$ for $G=K_n$. Chen, Gu and Lin [Generalized toughness and spectral radius of graphs, Discrete Math. 349 (2026) 114776] generalized this notion and defined the $l$-toughness $t_l(G)$ of a graph $G$ as $t_l(G)=\min\left\{\frac{|S|}{c(G-S)}:S\subset V(G), c(G-S)\geq l\right\}$ if $2\leq l\leqα(G)$, and $t_l(G)=+\infty$ if $l>α(G)$. If $t_l(G)\geq t$, then $G$ is said to be $(t,l)$-tough. In this paper, we put forward $Q$-index conditions for a graph to be $(b,l)$-tough and $(\frac{1}{b},l)$-tough, respectively.
Sufficient conditions for even factors in graphs
Let $G$ be a graph. We denote by $e(G)$ and $ρ(G)$ the size and the spectral radius of $G$. A spanning subgraph $F$ of $G$ is called an even factor of $G$ if $d_F(v)\in\{2,4,6,\ldots\}$ for every $v\in V(G)$. Yan and Kano provided a sufficient condition using the number of odd components in $G-S$ for a graph $G$ of even order to contain an even factor, where $S$ is a vertex subset of $G$ [Z. Yan, M. Kano, Strong Tutte type conditions and factors of graphs, Discuss. Math. Graph Theory 40 (2020) 1057--1065]. In this paper, motivated by Yan and Kano's above result, we present some tight sufficient conditions to guarantee that a connected graph $G$ with the minimum degree $δ$ contains an even factor with respect to its size and spectral radius.
The generalized Zagreb index for non-plane and plane recursive trees
The Zagreb index, which is defined as the sum of squares of degrees of the nodes of a tree, was studied in previous works by martingale techniques for random non-plane recursive trees and classes of random trees which are close to random plane recursive trees. These techniques are not easily amended to the generalized Zagreb index, which is defined similar but with squares replaced by higher powers. In this paper, we use the moment transfer approach to (i) obtain the first-order asymptotics of moments and to (ii) prove limit laws for the (suitable normalized) generalized Zagreb index for random non-plane and plane recursive trees; for the former, we show that for all higher powers the limit law is normal, for the latter, we show for cubes and fourth powers that its a non-normal law.
Odd hypergraph Mantel theorems
A classical result of Sidorenko (1989) shows that the Turán density of every $r$-uniform hypergraph with three edges is bounded from above by $1/2$. For even $r$, this bound is tight, as demonstrated by Mantel's theorem on triangles and Frankl's theorem on expanded triangles. In this note, we prove that for odd $r$, the bound $1/2$ is never attained, thereby answering a question of Keevash and revealing a fundamental difference between hypergraphs of odd and even uniformity. Moreover, our result implies that the expanded triangles form the unique class of three-edge hypergraphs whose Turán density attains $1/2$.
The Tournament Theorem of Rédei revisited
In 1934 L. Rédei published his famous theorem that the number of Hamiltonian paths in a tournament is odd. In fact it is a corollary of a stronger theorem in his paper. Stronger theorems were also obtained in the early 1970s by G.A. Dirac in his lectures at Aarhus University and by C. Berge in his monographs on graphs and hypergraphs. We exhibit the stronger theorems of Rédei, Dirac and Berge and explain connections between them. The stronger theorem of Dirac has two corollaries, one equivalent to Rédei's stronger theorem and the other related to Berge's stronger theorem.
On covering properties of end and ray spaces
We provide new results on combinatorial characterizations of covering properties in end spaces and ray spaces. In particular, we characterize the Lindelöf degree, the extent, the Rothberger property, $σ$-compactness and the Menger property for ray, end and edge-end spaces. We show that $σ$-compactness and the Menger property are equivalent for these spaces, and that they are all $D$-spaces. As an application of some of these characterizations, we are able to provide combinatorial characterizations of graphs with countably many ends and edge-ends.
The Graded Betti Numbers of the Skeletons of Simplicial Complexes
In this paper, we study a class $\mathcal{C}$ of squarefree monomial ideals $I\subseteq R=\mathbb{K}[x_1,\dots,x_n]$ over a field $\mathbb{K}$, defined by the condition that $\dim R/I$ equals the maximum degree of the minimal generators of $I$ minus one. We show that the Stanley-Reisner ideal of every $i$-skeleton of a simplicial complex $Δ$ belongs to $\mathcal{C}$ for all $-1\le i<\dimΔ$. To investigate their homological properties, we introduce the notion of a degree resolution and prove that every ideal in $\mathcal{C}$ possesses this property. Moreover, we show that every squarefree monomial ideal admits a truncation whose regularity coincides with that of the original ideal, thereby reducing the study of degree resolutions to that of linear resolutions. Finally, we provide an explicit formula describing the relationship between the graded Betti numbers of a simplicial complex and those of its skeletons.
On recent Partition function of Kaur and Rana
Recently, Kaur and Rana introduced the partition function denoted by $ρ(n)$, where the largest part $λ$ appears exactly once, and the remaining parts constitute a partition of $λ$. In this paper, we establish new generating functions for certain variants of $ρ(n)$. Further, we obtain a linear recurrence relation for our new generating function.
The Spectral Edges Conjecture via Corners
The Spectral Edges Conjecture is a well-known and widely believed conjecture in the theory of discrete periodic operators. It states that the extrema of the dispersion relation are isolated, non-degenerate, and occur in a single band. We present two infinite families of periodic graphs which satisfy the Spectral Edges Conjecture. For each, every extremum of the dispersion relation is a corner point (point of symmetry). In fact, each spectral band function is a perfect Morse function. We also give a construction that increases dimension, while preserving that each spectral band function is a perfect Morse function.