Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Permutation--invariant Niven numbers
Published
• View Publication
• BIB
This paper introduces permutation-invariant Niven numbers--a novel class of Niven numbers where all digit permutations (with leading zeros automatically ignored) must retain the Niven property. We demonstrate that there exist infinitely many such numbers and that their magnitude is unbounded. Furthermore, we present an exhaustive search method for identifying permutation--invariant Niven numbers.
An analytical framework for the Levine hats problem: new strategies, bounds and generalizations
We study the Levine hat problem, a classic combinatorial puzzle introduced by Lionel Levine in 2010. This problem involves a game in which $n \geq 2$ players, each seeing an infinite stack of hats on each of their teammates' heads but not on their own, must simultaneously guess the index of a black hat on their own stack. If one of the players fails to do so, the team loses collectively. The players must therefore come up with a good strategy before the game starts. While the optimal winning probability $V_{n}$ remains unknown even for $n=2$, we make three key advances. First, we develop a novel geometric framework for representing strategies through measurable functions, providing a new expression of $V_{n}$ and a unified treatment of the game for finite and for infinite stacks via integral formulations. Secondly, we construct a new strategy $K_{5}$ that reaches the conjectured optimal probability of victory : $0.35$. We also show that $K_{5}$ is part of a larger class of strategies that allow us to improve current bounds and resolve conjectured inequalities. Finally, we introduce and entirely solve a continuous generalization of the problem, demonstrating that extending to uncountable hat stacks increases the optimal winning probability to exactly $1/2$. This generalization naturally leads to a broader and smoother strategic framework, within which we also describe how to compute optimal responses to a range of strategies.
Diminished Sombor matrix, spectral radius, and energy of the graphs
Consider a simple graph $G$ with vertex set $V = \{v_1, v_2, \ldots, v_n\}$ and edge set $E$. The diminished Sombor matrix $M_{DS}(G)$ is constructed such that its $(i, j)$ entry is $\frac{\sqrt{d_i^2+d_j^2}}{d_i+d_j}$ if vertices $v_iv_j \in E$, and $0$ otherwise, where $d_i$ represents the degree of vertex $v_i$. In this paper, we establish sharp bounds for the spectral radius, and energy of the Sombor matrix of graphs and identify the graphs that attain these extremal values.
Diminished Sombor index and its relationship with topological indices
Published
• View Publication
• BIB
In this paper, we investigate the Diminished Sombor index (DSO), a recently introduced degree-based topological index for a simple graph $G$, defined as \[ DSO(G) = \sum_{uv \in E} \frac{\sqrt{d_u^2+d_v^2}}{d_u+d_v}, \] where $d_u$ denotes the degree of a vertex $u \in V$. We establish several sharp bounds for this index in terms of classical topological indices such as the Zagreb, Albertson, Harmonic, Randić, and geometric-arithmetic indices. The relationships and inequalities between DSO and these indices are analyzed thoroughly, with characterizations of extremal graphs achieving equality conditions.
Edge open packing: further characterizations
Published
• View Publication
• BIB
Let $G=(V, E)$ be a graph where $V(G)$ and $E(G)$ are the vertex and edge sets, respectively. In a graph $G$, two edges $e_1, e_2\in E(G)$ are said to have \emph{common edge} $e\neq e_1, e_2$ if $e$ joins an endpoint of $e_1$ to an endpoint of $e_2$ in $G$. A subset $D\subseteq E(G)$ is called an \emph{edge open packing set} in $G$ if no two edges in $D$ share a common edge in $G$, and the largest size of such a set in $G$ is known as \emph{edge open packing number}, represented by $ρ_{e}^o(G)$. In the introductory paper (Chelladurai et al. (2022)), necessary and sufficient conditions for $ρ_{e}^o(G)=1, 2$ were provided, and the graphs $G$ with $ρ_{e}^o(G)\in \{m-2, m-1, m\}$ were characterized, where $m$ is the number of edges of $G$. In this paper, we further characterize the graphs $G$. First, we show necessary and sufficient conditions for $ρ_{e}^o(G)=t$, for any integer $t\geq 3$. Finally, we characterize the graphs with $ρ_{e}^o(G)=m-3$.
An Improved Bound for the Beck-Fiala Conjecture
Published
• View Publication
• BIB
In 1981, Beck and Fiala [Discrete Appl. Math, 1981] conjectured that given a set system $A \in \{0,1\}^{m \times n}$ with degree at most $k$ (i.e., each column of $A$ has at most $k$ non-zeros), its combinatorial discrepancy $\mathsf{disc}(A) := \min_{x \in \{\pm 1\}^n} \|Ax\|_\infty$ is at most $O(\sqrt{k})$. Previously, the best-known bounds for this conjecture were either $O(k)$, first established by Beck and Fiala [Discrete Appl. Math, 1981], or $O(\sqrt{k \log n})$, first proved by Banaszczyk [Random Struct. Algor., 1998].
We give an algorithmic proof of an improved bound of $O(\sqrt{k \log\log n})$ whenever $k \geq \log^5 n$, thus matching the Beck-Fiala conjecture up to $O(\sqrt{\log \log n})$ for almost the full regime of $k$.
Determination of Some Types of Permutations over $\mathbb{F}_q^2$ with Low-Degree
The characterization of permutations over finite fields is an important topic in number theory with a long-standing history. This paper presents a systematic investigation of low-degree bivariate polynomial systems $F=(f_1(x,y),f_2(x,y))$ defined over $\mathbb{F}_{q}^2$. Specifically, we employ Hermite's Criterion to completely classify bivariate quadratic permutation polynomial systems, while utilizing the theory of permutation rational functions to give a full classification of bivariate 3-homogeneous permutation polynomial systems. Furthermore, as an application of our findings, we provide an explicit characterization of the permutation binomials of the form $x^3+ax^{2q+1}$ over $\mathbb{F}_{q^2}$ with characteristic $p\neq3$, thereby resolving a significant special case within this classical research domain.
A new conjecture on the inertia of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$. We conjecture that \[2n^+(G) \le n^-(G)(n^-(G) + 1),\] where $n^+(G)$ and $n^-(G)$ denote the number of positive and negative eigenvalues of $A(G)$, respectively. This conjecture generalizes to all graphs the well-known absolute bound for strongly regular graphs. The conjecture also relates to a question posed by Torgašev. We prove the conjecture for special graph families, including line graphs and planar graphs, and provide examples where the conjecture is exact. We also conjecture that for any connected graph $G$, its line graph $L(G)$ satisfies $n^+(L(G)) \le n^-(L(G)) + 1$, and obtain partial results.
A Note on Lower Bounds in Szemerédi's Theorem with Random Differences
Published
• View Publication
• BIB
In this note, we consider Szemerédi's theorem on $k$-term arithmetic progressions over finite fields $\mathbb{F}_p^n$, where the allowed set $S$ of common differences in these progressions is chosen randomly of fixed size. Combining a generalization of an argument of Altman with Moshkovitz--Zhu's bounds for the partition rank of a tensor in terms of its analytic rank, we (slightly) improve the best known lower bounds (due to Briët) on the size $|S|$ required for Szemerédi's theorem with difference in $S$ to hold asymptotically almost surely.
Spectral extremal problem of the $p$th power of cycles
Published
• View Publication
• BIB
For a cycle $C_k$ on $k$ vertices, its $p$-th power, denoted $C_k^p$, is the graph obtained by adding edges between all pairs of vertices at distance at most $p$ in $C_k$. Let $\ex(n, F)$ and $\spex(n, F)$ denote the maximum possible number of edges and the maximum possible spectral radius, respectively, among all $n$-vertex $F$-free graphs. In this paper, we determine precisely the unique extremal graph achieving $\ex(n, C_k^p)$ and $\spex(n, C_k^p)$ for sufficiently large $n$.
Toroidal involutory Cayley graphs
Suppose that $R$ is a finite commutative ring with identity. The involutory Cayley graph $\G(R)$ of $R$ is the graph whose vertices are the elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $(x-y)^2=1$. In this paper, we classify all rings $R$ for which $\G(R)$ is a toroidal graph, that is, a graph that can be embedded on a torus.
Involutory Cayley graphs of polynomial and power series rings over the ring of integers modulo $n$
Published
• View Publication
• BIB
Let $R$ be a commutative ring with identity. The involutory Cayley graph $\mathcal{G}(R)$ of $R$ is defined as the graph whose vertex set is the set of elements of $R$, where two vertices $a$ and $b$ are adjacent exactly when $(a-b)^2=1$. This paper investigates the properties of involutory Cayley graphs associated with polynomial and power series rings over the ring of integers modulo $n$.
Quantum Algorithms for Gowers Norm Estimation, Polynomial Testing, and Arithmetic Progression Counting over Finite Abelian Groups
Published
• View Publication
• BIB
We propose a family of quantum algorithms for estimating Gowers uniformity norms $ U^k $ over finite abelian groups and demonstrate their applications to testing polynomial structure and counting arithmetic progressions. Building on recent work for estimating the $ U^2 $-norm over $ \mathbb{F}_2^n $, we generalize the construction to arbitrary finite fields and abelian groups for higher values of $ k $. Our algorithms prepare quantum states encoding finite differences and apply Fourier sampling to estimate uniformity norms, enabling efficient detection of structural correlations.
As a key application, we show that for certain degrees $ d = 4, 5, 6 $ and under appropriate conditions on the underlying field, there exist quasipolynomial-time quantum algorithms that distinguish whether a bounded function $ f(x) $ is a degree-$ d $ phase polynomial or far from any such structure. These algorithms leverage recent inverse theorems for Gowers norms, together with amplitude estimation, to reveal higher-order algebraic correlations.
We also develop a quantum method for estimating the number of 3-term arithmetic progressions in Boolean functions $ f : \mathbb{F}_p^n \to \{0,1\} $, based on estimating the $ U^2 $-norm. Though not as query-efficient as Grover-based counting, our approach provides a structure-sensitive alternative aligned with additive combinatorics.
Finally, we demonstrate that our techniques remain valid under certain quantum noise models, due to the shift-invariance of Gowers norms. This enables noise-resilient implementations within the NISQ regime and suggests that Gowers-norm-based quantum algorithms may serve as robust primitives for quantum property testing, learning, and pseudorandomness.
Classification of polyhedral graphs by numbers of common neighbours
Published
• View Publication
• BIB
We propose a classification of polyhedra (planar, $3$-connected graphs) according to their type i.e., their set of quantities of common neighbours for each pair of distinct vertices.
For every (finite) set of non-negative integers, we either classify all the polyhedra of that type, or construct infinitely many polyhedra of that type, or prove that none exist.
This problem is related to the theory of strongly regular and Deza graphs, distances in graphs, and degree sequences. There is potential for application to complex networks and data science.
Hexagonal Tiling of the Plane
Since the thesis of K. Reinhardt in 1918, it is well known that there are exactly three types of convex hexagons that can tile the plane. However, the proof of the fact is far from being complete. We prove this fact, under an assumption much weaker than the convexity.
Singular values of sparse random rectangular matrices: Emergence of outliers at criticality
Consider the random bipartite Erdős-Rényi graph $\mathbb{G}(n, m, p)$, where each edge with one vertex in $V_{1}=[n]$ and the other vertex in $V_{2} =[m]$ is connected with probability $p$, and $n=\lfloor γm\rfloor$ for a constant aspect ratio $γ\geq 1$. It is well known that the empirical spectral measure of its centered and normalized adjacency matrix converges to the Marčenko-Pastur (MP) distribution. However, largest and smallest singular values may not converge to the right and left edges, respectively, especially when $p = o(1)$. Notably, it was proved by Dumitriu and Zhu (2024) that there are almost surely no singular value outside the compact support of the MP law when $np = ω(\log(n))$. In this paper, we consider the critical sparsity regime where $p = b\log(n)/\sqrt{mn}$ for some constant $b>0$. We quantitatively characterize the emergence of outlier singular values as follows. For explicit $b_{*}$ and $b^{*}$ as functions of $γ$, we prove that when $b > b_{*}$, there is no outlier outside the bulk; when $b^{*}< b < b_{*}$, outliers are present only outside the right edge of the MP law; and when $b < b^{*}$, outliers are present on both sides, all with high probability. Moreover, the locations of those outliers are precisely characterized by a function depending on the largest and smallest degree vertices of the random graph. We estimate the number of outliers as well. Our results follow the path forged by Alt, Ducatez and Knowles (2021), and can be extended to sparse random rectangular matrices with bounded entries.
On the Existence of Optimal Strategies in a Combinatorial Game
We study a combinatorial game derived from a problem in the German National Mathematics Competition. In this game, two players take turns removing numbers from a finite set of natural numbers, aiming to satisfy a certain divisibility condition. We introduce a generalized version of the original game, which depends on two parameters: the size of the initial number set and a fixed divisor. For both players, we identify a broad range of game variants in which they can force a win. In particular, we show that for even-sized sets, the second player to move can always win, while for many odd-sized cases, the first player to move has a winning strategy. A web implementation of the game demonstrates some of our results in practice.
chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Multigraphs
This paper presents `chipfiring`, a comprehensive Python package for the mathematical analysis of chip-firing games on finite graphs. The package provides a robust toolkit for defining graphs and chip configurations (divisors), performing chip-firing operations, and analyzing fundamental properties such as winnability, linear equivalence, and divisor rank. We detail the core components of the library, including its object-oriented graph and divisor implementations, integrated Laplacian matrix computations, and an efficient implementation of Dhar's algorithm for determining the solvability of the dollar game. The `chipfiring` package is designed for researchers and students in graph theory, combinatorics, and algebraic geometry, providing essential algorithms and data structures for exploring these rich mathematical models. We describe the library's architecture, illustrate its usage with comprehensive examples, and highlight its specialized contributions compared to general-purpose graph libraries.
The net-regular strongly regular signed graphs with degree 6
Published
• View Publication
• BIB
In this paper, we study the net-regular strongly regular signed graphs with degree 6 and determine all connected 6-regular and net-regular strongly regular signed graphs. There are three, six and four 6-regular strongly regular signed graphs with net-degree 4, 2 and 0, respectively.
Saturation for Non-Symmetric Macdonald Polynomials
We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.