Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the Characteristic polynomial of ABS Matrix and ABS-Energy of Some Graphs
For a graph $G$ with $n$ vertices and $m$ edges, Lin \textit{et al.} \cite{Lin} define the \textit{atom--bond sum-connectivity} ($ABS$) matrix of $G$ such that the $(i,j)^{\text{th}}$ entry is \[ \sqrt{1 - \frac{2}{d_i + d_j}} \] if vertex $v_i$ is adjacent to the vertex $v_j$, and $0$ otherwise. In this article, we determine the characteristic polynomial of the $ABS$ matrix for certain specific classes of graphs. Furthermore, we compute the $ABS$ eigenvalues and the $ABS$ energy for these classes.
Counting gauge-invariant states with matter fields and finite gauge groups
Published in Eur. Phys. J. C 85, 1319 (2025)
• View Publication
• BIB
Gauge theories with finite gauge groups have applications to quantum simulation and quantum gravity. Recently, the exact number of gauge-invariant states was computed for pure gauge theories on arbitrary lattices. In this work, we generalize this counting to include the case of scalar and fermionic matter, as well as various kinds of boundary conditions. As a byproduct, we consider several related questions, such as the implementation of charge conjugation for a generic finite group. These results are relevant for resource estimation and also as a crosscheck when working in a gauge-invariant basis.
On lower bounds for the distances between APN functions
Whether two distinct APN functions can have a Hamming distance of $1$ remains an open problem. In 2020, L. Budaghyan et al. introduced a new CCZ-invariant $Π_F$ which can be used to provide lower bounds on the Hamming distance between a given APN function $F \colon \mathbb{F}_2^n \to \mathbb{F}_2^n$ and other APN functions. Lower bounds on the distance from an APN function $F$ to any other are known for almost bent (AB) functions and when $F$ is a 3-to-1 quadratic function with $n$ even. In this paper, we reinterpret $Π_F$ in terms of the exclude multiplicities of the graph $\mathcal{G}_F=\{(x, F(x)) : x \in \mathbb{F}_2^n\}$ of $F$ as a Sidon set. We establish lower bounds on the distance for even $n$ when $F$ is plateaued APN, generalize the known lower bounds for quadratic $3$-to-$1$ function to all 3-to-1 plateaued functions (e.g. Kasami functions), and derive new lower bounds for when $F$ is the APN inverse function over $\mathbb{F}_{2^n}$ for $n$ odd. We also study how the exclude multiplicities of $\mathcal{G}_F$ are directly connected to the existence of linear structures of $γ_F$ when $F$ is plateaued and APN and the ortho-derivative when $F$ is a quadratic APN function. We also use the CCZ-invariance of exclude multiplicities to prove that the Brinkmann-Leander-Edel-Pott function is not CCZ-equivalent to a plateaued function.
A new kind of $A_{\p}$-matrix for mixed graphs
Nikiforov\cite{nikiforov2017merging} introduced the concept of the $A_{\p}$-matrix as a convex linear combination of a graph's adjacency matrix and its diagonal matrix of vertex degrees. In this paper, we introduce a new variant of the $A_{\p}$-matrix, which is a linear combination of the Hermitian adjacency matrix of the second kind, $H^{\om}$, and the degree-diagonal matrix. This study provides new insights into the $A_{\p}$-matrix as a Hermitian matrix, leading to novel bounds in spectral graph theory.
Algorithmic Polynomial Freiman-Ruzsa Theorems
We prove algorithmic versions of the polynomial Freiman-Ruzsa theorem of Gowers, Green, Manners, and Tao (Annals of Mathematics, 2025) in additive combinatorics. In particular, we give classical and quantum polynomial-time algorithms that, for $A \subseteq \mathbb{F}_2^n$ with doubling constant $K$, learn an explicit description of a subspace $V \subseteq \mathbb{F}_2^n$ of size $|V| \leq |A|$ such that $A$ can be covered by $K^C$ translates of $V$, for a universal constant $C>1$.
On the coefficients of Coxeter polynomials of trees and bipartite quivers
We apply spectral graph theory and a theorem of A'Campo to express the first and second coefficients of the Coxeter polynomials associated with certain bipartite quivers in terms of the degrees of the vertices in their underlying graphs. As a consequence, we provide a new proof of a result by Happel, expressing the second coefficient of the Coxeter polynomial of a tree in terms of its vertex degrees.
Constricting the Computational Complexity Gap of the $4$-Coloring Problem in $(P_t,C_3)$-free Graphs
The $k$-Coloring problem on hereditary graph classes has been a deeply researched problem over the last decade. A hereditary graph class is characterized by a (possibly infinite) list of minimal forbidden induced subgraphs. We say that a graph is $(H_1,H_2,\ldots)$-free if it does not contain any of $H_1,H_2,\ldots$ as induced subgraphs. The complexity landscape of the problem remains unclear even when restricting to the case $k=4$ and classes defined by a few forbidden induced subgraphs. While the case of only one forbidden induced subgraph has been completely resolved lately, the complexity when considering two forbidden induced subgraphs still has a couple of unknown cases. In particular, $4$-Coloring on $(P_6,C_3)$-free graphs is polynomial while it is NP-hard on $(P_{22},C_3)$-free graphs.
We provide a reduction showing NP-completeness of $4$-Coloring on $(P_t,C_3)$-free graphs for $19\leq t\leq 21$, thus constricting the gap of cases whose complexity remains unknown. Our proof includes a computer search ensuring that the graph family obtained through the reduction is indeed $P_{19}$-free.
A threshold for online balancing of sparse i.i.d. vectors
Consider the task of \textit{online} vector balancing for stochastic arrivals $(X_i)_{i \in [T]}$, where the time horizon satisfies $T = Θ(n)$, and the $X_i$ are i.i.d uniform $d$--sparse $n$--dimensional binary vectors, with $2\leq d \le (\log\log n)^2/\log\log\log n$. We show that for this range of parameters, every online algorithm incurs discrepancy at least $Ω(\log \log n)$, and there is an efficient algorithm which achieves a matching discrepancy bound of $O(\log\log n)$ w.h.p. This establishes an asymptotic gap, both existential and algorithmic, between the online and offline versions of the average--case Beck--Fiala problem. Strikingly, the optimal online discrepancy in the considered setting is order $\log \log n$, independent of $d$ and the norms of the vectors $(X_i)_i$. Our assumptions on $d$ are nearly optimal, as this independence ceases when $d=ω((\log\log n)^2)$.
A bi-Stirling-Euler-Mahonian polynomial
Motivated by recent work on (re)mixed Eulerian numbers, we provide a combinatorial interpretation of a subfamily of the remixed Eulerian numbers introduced by Nadeau and Tewari. More specifically, we show that these numbers can be realized as the generating polynomials of permutations with respect to the statistics of left-to-right minima, right-to-left minima, descents, and the mixed major index. Our results generalize both the bi-Stirling-Eulerian polynomials of Carlitz-Scoville and the Stirling-Euler-Mahonian polynomials of Butler.
Visibility polynomial of corona of two graphs
In multiagent systems, effective coordination, coverage, and communication often rely on the concept of visibility between agents or nodes within the system. Graph-theoretically, for any subset $X$ of vertices of a graph $G$, two vertices are said to be $X$-visible if there exists a shortest path between them that contains no vertex of $X$ as an internal vertex. In this paper, we investigate the visibility polynomial associated with the corona product of two graphs. The visibility polynomial encodes the number of mutual-visibility sets of all orders within a graph, and the process of enumerating these sets provides a deeper understanding of their structural properties. We characterize the structure of mutual-visibility sets arising specifically within the corona product. As part of this study, we introduce the notion of $C_Q$-visible sets, defined with respect to a selected subset $Q$ of vertices in a graph $G$. A $C_Q$-visible set is a collection of vertices in $\overline{Q}$ that is not only $Q$-visible, but also individually visible from each vertex in $Q$. Using this concept, we establish several characterizations and properties of mutual-visibility sets within the corona product, thereby providing deeper insights into their structure and behavior.
Random Cayley graphs and random sumsets
We prove that any finite abelian group $G$ contains a collection of not too many subsets with a special structure, so that for every subset $A$ of $G$ with a small doubling, there is a member $F$ of the collection that is fully contained in the sumset $A+A$ and is not much smaller than it. Using this result we obtain improved bounds for the problem of estimating the typical independence number of sparse random Cayley or Cayley-sum graphs, and for the problem of estimating the smallest size of a subset of $G$ which is not a sumset. We also obtain tight bounds for the typical maximum length of an arithmetic progression in the sumset of a sparse random subset of $G$.
Random burning of the Euclidean lattice
The burning number of a graph is the minimal number of steps that are needed to burn all of its vertices, with the following burning procedure: at each step, one can choose a point to set on fire, and the fire propagates constantly at unit speed along the edges of the graph. In this paper, we consider two natural random burning procedures in the discrete Euclidean torus $\mathbb{T}_n^d$, in which the points that we set on fire at each step are random variables. Our main result deals with the case where at each step, the law of the new point that we set on fire conditionally on the past is the uniform distribution on the complement of the set of vertices burned by the previous points. In this case, we prove that as $n\to\infty$, the corresponding random burning number (i.e, the first step at which the whole torus is burned) is asymptotic to $T\cdot n^{d/(d+1)}$ in probability, where $T=T(d)\in(0,\infty)$ is the explosion time of a so-called generalised Blasius equation.
Counting factorizations of Singer cycles in linear and unitary groups
We count factorizations of Singer cycles as products of reflections in the families of special and general unitary and linear groups over a finite field. In the case of minimum-length factorizations, the resulting answer is a striking product formula resembling the count for minimum-length factorizations of Coxeter elements into reflections in complex reflections groups. Moreover, for minimum length, the answers for the unitary and linear groups exhibit the phenomenon of Ennola duality, where the number of factorizations in a unitary group over the field $\mathbb{F}_q$ is given by replacing `$q$' with `$-q$' in the corresponding answer for a linear group. We use the character theory of these groups to make this count, and in particular we employ the Deligne--Lusztig theory of characters for finite reductive groups.
On circular external difference families
A $(v,m,\ell,1)$-Circular External Difference Family (CEDF) is an $m$-sequence $(A_1, \ldots, A_m)$ of $\ell$-subsets of an additive group $G$ of order $v$ such that $G\setminus\{0\}$ equals the multiset of all differences $a-a'$, with $(a,a')\in A_i\times A_{i+1 \pmod{m}}$ for some $i$. CEDFs are a variation of External Difference Families, and have been recently introduced as a tool to construct non-malleable threshold schemes.
The existence of a $(v,m,\ell,1)$-CEDF over the cyclic group is known only when the number of parts $m$ is even, while there cannot exist a cyclic CEDF for $m$ and $\ell$ both odd.
In this work, we study the existence of cyclic CEDFs when $m$ is odd and $\ell$ is even: we construct cyclic $(v,m,\ell,1)$-CEDFs for any odd $m>1$ when $\ell=2$, and for any even $\ell \ge 2$ when $m=3$.
Some Maker-Breaker games on hypergraphs
We consider some biased Maker-Breaker games. Starting with the complete $k$-uniform hypergraph on $n$ vertices, at each turn Maker claims one edge, and then Breaker claims $b$ edges. Maker's goal is to obtain a set of edges having some increasing property. We consider the case where Maker's desired property is minimum degree $m$, or having a full-rank incidence matrix, or having a Berge Hamilton cycle or having a perfect matching or a Hamilton $\ell$-cycle.
New Identities in the Character Table of Symmetric Groups involving Riordan Numbers
Amdeberhan recently proposed certain equalities between sums in the character table of symmetric groups. These equalities are between signed column sums in the character table, summing over the rows labeled by partitions in $\Ev$, where $λ$ is a partition of $n$ with $r$ nonzero parts and $\Ev$ is a multiset containing $2^r$ partitions of $2n$. While we observe that these equalities are not true in general, we prove that they do hold in interesting special cases. These lead to new equalities between sums of degrees of irreducible characters for the symmetric group and a new combinatorial interpretation for the Riordan numbers in terms of degrees of irreducible characters labeled by partitions with three parts of the same parity. This is the first, to our knowledge, theorem about degrees of symmetric group characters with parity conditions imposed on the partitions indexing the characters.
The Szemerédi-Trotter theorem over arbitrary field of characteristic zero
Let $\mathcal{P}$ be a set of $m$ points and $\mathcal{L}$ a set of $n$ lines in $K^2$, where $K$ is a field with char$(K)=0$. We prove the incidence bound $$\mathcal{I}(\mathcal{P},\mathcal{L})=O(m^{2/3}n^{2/3}+m+n).$$ Moreover, this bound is sharp and cannot be improved. This resolves the Szemerédi-Trotter incidence problem for arbitrary field of characteristic zero.
The key tool of our proof is the Baby Lefschetz principle, which allows us to reduce the problem to the complex case. Based on this observation, we further derive several related results over $K$, including Beck's theorem, the Erdős-Szemerédi sum-product estimate, and incidence theorems involving more general algebraic objects.
Matroid bingo
We investigate some natural probability distributions associated with the game of matroid bingo.
Integers with small digits in multiple bases
We show that, for any $r\geq 1$, if $g_1,\ldots,g_r$ are distinct coprime integers, sufficiently large depending only on $r$, then for any $ε>0$ there are infinitely many integers $n$ such that all but $ε\log n$ of the digits of $n$ are $\leq g_i/2$ in base $g_i$ for all $1\leq i\leq r$. In other words, for any fixed large bases, there are infinitely many $n$ such that almost all of the digits of $n$ are small in all bases simultaneously. This is both a quantitative and qualitative improvement over previous work of Croot, Mousavi, and Schmidt. As a consequence, we obtain a weak answer to a conjecture of Graham concerning divisibility of $\binom{2n}{n}$.
Towards Upper and Lower Bounds for Chromatic Symmetric Functions in the Elementary Basis
Tatsuyuki Hikita recently proved the Stanley--Stembridge conjecture using probabilistic methods, showing that the chromatic symmetric functions of unit interval graphs are $e$-positive. Finding a combinatorial interpretation for these $e$-coefficients remains a major open problem. Towards this goal, we introduce sets of strong and powerful $P$-tableaux and conjecture that these sets undercount and overcount the $e$-coefficients of the chromatic symmetric function $X_{inc(P)}(\mathbf{x}, q)$. We then use this framework to obtain combinatorial interpretations for various cases of $e$-expansion coefficients of chromatic symmetric functions of unit interval graphs. Additionally, we show that strong $P$-tableaux and the Shareshian--Wachs inversion statistic appear naturally in the proof of Hikita's result.