Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Connectedness of independence attractors of graphs with independence number three
An independent set in a simple graph $G$ is a set of pairwise non-adjacent vertices in $G$. The independence polynomial of $G$, denoted by $I_G$ is defined as $1 + a_1 z + a_2 z^2+\cdots+a_d z^{d}$, where $a_i$ denotes the number of independent sets with cardinality $i$ and $d$ is the cardinality of a largest independent set in $G$. This $d$ is known as the independence number of $G$. Let $G^m$ denote the $m$-times lexicographic product of $G$ with itself. The independence attractor of $G$, denoted by $\mathcal{A}(G)$ is defined as $\mathcal{A}(G) = \lim\limits_{m\rightarrow \infty} \{z: I_{G^m}(z)=0\}$, where the limit is taken with respect to the Hausdorff metric defined on the space of all compact subsets of the plane. This paper investigates the connectedness of the independence attractors of all graphs with independence number three. Let the independence polynomial of $G$ be $1+a_1 z +a_2 z^2 +a_3 z^3$. For $a_1 =3$, $\mathcal{A}(G)$ turns out to be $ \{-1\} \cup \{z: |z+1|=1\} $. For $a_1 >3$, we prove the following.
If $a_2 ^2 \leq 3 a_1 a_3$, or $3 a_1 a_3 < a_2 ^2 < 4a_3 (a_1 -1)$ then $\mathcal{A}(G)$ is totally disconnected. For $a_2 ^2 =4a_3 (a_1 -1) $, $\mathcal{A}(G)$ is connected when $a_1 =5$ and is disconnected but not totally disconnected for all other values of $a_1$. If $a_2 ^2 > 4a_3 (a_1 -1)$ then $\mathcal{A}(G)$ can be connected, totally disconnected or disconnected but not totally disconnected depending on further conditions involving $a_1, a_2$ and $a_3$. Examples of graphs exhibiting all the possibilities are provided.
Polynomial-time sampling despite disorder chaos
A distribution over instances of a sampling problem is said to exhibit transport disorder chaos if perturbing the instance by a small amount of random noise dramatically changes the stationary distribution (in Wasserstein distance). Seeking to provide evidence that some sampling tasks are hard on average, a recent line of work has demonstrated that disorder chaos is sufficient to rule out "stable" sampling algorithms, such as gradient methods and some diffusion processes.
We demonstrate that disorder chaos does not preclude polynomial-time sampling by canonical algorithms in canonical models. We show that with high probability over a random graph $\boldsymbol{G} \sim G(n,1/2)$: (1) the hardcore model (at fugacity $λ= 1$) on $\boldsymbol{G}$ exhibits disorder chaos, and (2) Glauber dynamics run for $O(n)$ time can approximately sample from the hardcore model on $\boldsymbol{G}$ (in Wasserstein distance).
When Are Standard Graph Products Isomorphic?
This article investigates the isomorphism problem for graphs derived from the four standard graph products: Cartesian, Kronecker (direct), strong, and lexicographic product. We provide a complete characterization of all simple connected graphs for which their corresponding products are isomorphic. As a by-product, we identify a novel family of non-distance-regular graphs that possess fewer than d+1 distinct distance eigenvalues, where d represents the diameter of the graph. This result offers a new perspective on Problem 4.3 posed in [2], moving beyond the current approaches.
Sums of Laplacian eigenvalues and sums of degrees
Let $X$ be a simplicial complex. For $1\le i\le\dim(X)$, let $X(i)$ be the set of $i$-dimensional faces of $X$, and let $f_i(X)=|X(i)|$. For $0\le i\le \dim(X)-1$, let $L_i^+(X)$ be the $i$-th upper Laplacian operator of $X$. For $σ\in X$ and $1\le r\le \dim(X)$, we denote by $\text{deg}_X^{(r)}(σ)$ the number of $r$-dimensional faces of $X$ containing $σ$. For a symmetric matrix $M\in \mathbb{R}^{n\times n}$ and $1\le i\le n$, let $λ_i(M)$ be the $i$-th largest eigenvalue of $M$. We prove that for every complex $X$, $1\le r\le\dim(X)$, and $1\le k\le f_{r-1}(X)/(r+1)$, \[ \sum_{i=1}^k λ_i(L_{r-1}^+(X)) \le \max \left\{ \sum_{σ\in A} \text{deg}_X^{(r)}(σ) :\, A\subset X(r-1),\, |A|=(r+1)k \right\}. \] This bound is sharp, and it extends a classical result of Anderson and Morley, corresponding to the special case $k=1,\, r=1$. As a consequence, we show that for all $1\le r\le \dim(X)$ and $1\le k\le f_{r-1}(X)$, \[ \sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le f_r(X) + \binom{(r+1)k}{2}. \] In the case $r=1$, we obtain the following improved bound: for every $k\ge 1$ and every graph $G=(V,E)$ with $|V|\ge k$, \[
\sum_{i=1}^k λ_i(L(G)) \leq |E|+k^2, \] where $L(G)=L_0^{+}(G)$ is the Laplacian matrix of $G$. This improves upon previously known bounds for all $k\ge 3$, and may be seen as a further step towards Brouwer's conjecture, which states that $\sum_{i=1}^k λ_i(L(G)) \leq |E|+\binom{k+1}{2}.$
As an additional application, we show that if $X$ is an $(r+1)$-partite $r$-dimensional simplicial complex on vertex set $V$, and $1\le k\le f_{r-1}(X)$, then \[
\sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le \sum_{i=1}^k \left|\{v\in V:\, \text{deg}^{(r)}_X(v)\ge i\}\right|. \] This resolves a special case of a conjecture of Duval and Reiner, which states that the above inequality holds for all simplicial complexes.
A bivariate version of the spread polynomials
We study a bivariate variant of Hans-Christian Herbig's version of Norman Wildberger's spread polynomials.
One-weight codes in the sum-rank metric
One-weight codes, in which all nonzero codewords share the same weight, form a highly structured class of linear codes with deep connections to finite geometry. While their classification is well understood in the Hamming and rank metrics - being equivalent to (direct sums of) simplex codes - the sum-rank metric presents a far more intricate landscape. In this work, we explore the geometry of one-weight sum-rank metric codes, focusing on three distinct classes. First, we introduce and classify \emph{constant rank-list} sum-rank codes, where each nonzero codeword has the same tuple of ranks, extending results from the rank-metric setting. Next, we investigate the more general \emph{constant rank-profile} codes, where, up to reordering, each nonzero codeword has the same tuple of ranks. Although a complete classification remains elusive, we present the first examples and partial structural results for this class. Finally, we consider one-weight codes that are also MSRD (Maximum Sum-Rank Distance) codes. For dimension two, constructions arise from partitions of scattered linear sets on projective lines. For dimension three, we connect their existence to that of special $2$-fold blocking sets in the projective plane, leading to new bounds and nonexistence results over certain fields.
The canonical form, scissors congruence and adjoint degrees of polytopes
We study the canonical form $Ω$ as a valuation in the context of scissors congruence for polytopes. We identify the degree of its numerator - the adjoint polynomial $\operatorname{adj}_P$ - as an important invariant in this context. More precisely, for a polytope $P$ we define the degree drop that measures how much smaller than expected the degree of the adjoint polynomial of $P$ is. We show that this drop behaves well under various operations, such as decompositions, restrictions to faces, projections, products and Minkowski sums. Next we define the reduced canonical form $Ω_0$ and show that it is a translation-invariant 1-homogeneous valuation on polytopes that vanishes if and only if $P$ has positive degree drop. Using it we can prove that zonotopes can be characterized as the $d$-polytopes that have maximal possible degree drop $d-1$. We obtain a decomposition formula for $Ω_0$ that expresses it as a sum of edge-local quantities of $P$. Finally, we discuss valuations $Ω_s$ that can distinguish higher values of the degree drop.
Recurrence Relations for Some Integer Sequences Related to Ward Numbers
In this paper, we give recurrence relations and identities for some integer sequences related to Ward numbers such as Ward-Lah numbers, varied Ward numbers and binomial Ward numbers. Most of the sequences are entered in the On-Line Encyclopedia of Integer Sequences. We give triangular recurrence relations, horizontal recurrence relations, generating functions and some recurrence relations of higher order obtained by using Sister Celine's general algorithm.
Non-Rascoe partitions and a rank parity function associated to the Rogers-Ramanujan partitions
We study the generating function of the excess number of Rogers-Ramanujan partitions with odd rank over those with even rank, and, using combinatorial and analytical techniques, show that this generating function is closely connected with an interesting class of restricted partitions, namely, partitions into distinct parts where the number of parts is not a part. We derive arithmetic properties of the number of such partitions and conjecture an interesting mod $4$ congruence. Generalizations of most of these results in a parameter $\ell$ are also obtained.
Some identities of the sums-of-tails type
A new sums-of-tails identity involving two parameters $b$ and $d$ is obtained and is used to derive more results of similar type. One of Ramanujan's sums-of-tails identities from the Lost Notebook is shown to be a special case of our result. In the course of deriving Ramanujan's identity, we obtain a new result of combinatorial significance. Two new representations for an infinite series associated to a mock theta function are derived. Also, we give an application of an identity of Andrews and Onofri.
Unimodality and Cluster Algebras from Surfaces
We prove that the rank polynomial of the lattice of order ideals of a loop fence poset is unimodal. This poset arises as the poset of join-irreducibles in the lattice of good matchings of loop graphs associated with notched arcs. Equivalently, such polynomials can be obtained by evaluating all coefficient variables in an F-polynomial at a single variable q. We also conclude that the rank polynomial of any tagged arc, whether plain or notched, is not only unimodal but also satisfies a symmetry condition known as almost interlacing. Furthermore, when the lamination consists of a single curve, the cluster expansion-evaluated by setting all cluster variables to 1 and all coefficient variables to q-is also unimodal. We conjecture that polynomials in this case are log-concave.
Treedepth and 2-treedepth in graphs with no long induced paths
Huynh, Joret, Micek, Seweryn, and Wollan (Combinatorica, 2022) introduced a graph parameter, later referred to as 2-treedepth and denoted $\mathrm{td}_2(\cdot)$. The parameter is the natural 2-connected version of treedepth. For every graph, 2-treedepth is at most the treedepth but can be much smaller: long paths have arbitrary treedepth but 2-treedepth equal to 2. We prove a converse showing that every graph with no induced path on $t$ vertices and 2-treedepth at most $k$ has treedepth at most $g(k, t)$. In fact, we determine the value of the function $g$ up to a multiplicative factor of 2.
Additionally, we give asymptotically tight bounds for the problem of forcing long induced paths in graphs with long paths and bounded 2-treedepth or bounded pathwidth. The latter result answers a question of Hilaire and Raymond (E-JC, 2024).
Improving cardinality estimation of sums of sets with convexity
Published in Mathematical Notes 117 (3), 574-578 (2025)
• View Publication
• BIB
This paper presents a slight improvement of the estimate of sumsets of convex sets with negative discrete third derivative. The proposed method is based on some previous works in incidence geometry and use of spectrum method developed earlier for notable progresses in this fields.
Distance restricted matching extensions in regular non-bipartite graphs
Let $m$ and $r$ be integers with $m \ge r \ge 3$ and let $G$ be an $r$-regular graph of even order. Let $M$ be a matching in $G$ of size $m$ such that each pair of edges in $M$ is at distance at least $3$. In 2023, Aldred et al. proved that if $G$ is cyclically $(mr-r+1)$-edge-connected and $G$ is bipartite, then there exists a perfect matching of $G$ containing $M$. In this paper, we present non-bipartite analogues of Aldred et al.'s theorem. An odd ear of $U \subseteq V(G)$ is a path of odd length whose ends lie in $U$ but whose internal vertices do not, or a cycle of odd length having exactly one vertex in $U$. Our first result shows that if $G$ is cyclically $(mr - m +1)$-edge-connected and there exist $mr - \left\lceil \frac{r}{2} \right\rceil + 1$ edge-disjoint odd ears of $V(M)$, then $M$ can be extended to a perfect matching of $G$. We further show that if $G$ contains $mr-r+1$ edge-disjoint odd ears of $V(M)$ and no cyclic edge cut in $G$ of size less than $(2m-1)(r-1)$ separates an odd cycle from another cycle, then $M$ can still be extended to a perfect matching. The second result extends Aldred et al.'s theorem to non-bipartite graphs in the case $r \ge 4$, and in the case when $r = 3$ and each pair of edges in $M$ is at distance at least $5$. It is also shown that the above results hold when $m \le r - 1$, without assuming the distance condition on $M$.
Bounds of Trees with Degree Sequence-Based Topological Indices on Specialized Graph Classes
In this paper, the investigates Adriatic indices, specifically the sum lordeg index where it defined as $SL(G) = \sum_{u \in V(G)} °_G(u) \sqrt{\ln °_G(u)}$ and the variable sum exdeg index $SEI_a(G)$ for $a>0$, $a\neq 1$. We present several sharp bounds and characterizations of these and related topological indices on specialized graph classes, including regular graphs, thorny graphs, and chemical trees. Using the strict convexity of function $f$, inequalities for degree-based graph invariants $H_f(T)$ are derived under structural constraints on trees such as branching vertices and maximum degree. Examples on caterpillar trees illustrate the computation of indices like $^{m}M_2(G)$, $F(G)$, $M_2(G)$, and others, revealing the interplay between degree sequences and index values. Additionally, upper and lower bounds on the Sombor index $SO(G^*)$ of thorny graphs $G^*$ are established as \[ \operatorname{SO} \leqslant \sum_{uv\in E(G)}\sqrt{\frac{1}{°_{G}(u)^2+°_{G}(v)^2}+°_{G}(u)+°_{G}(v)}, \]
including criteria for equality, with implications for regular and thorn-regular graphs. The treatment includes detailed formulas, constructive examples, and inequalities critical for understanding the relationship between graph topology and vertex-degree-based descriptors.
A short combinatorial proof of Di Francesco's conjecture on Aztec triangles
Di Francesco conjectured in 2021 that the number of domino tilings of a certain family of regions -- called Aztec triangles -- on the square lattice is given by a product formula reminiscent of the one giving the number of alternating sign matrices. This turned out to be a real challenge to prove without the use of computers -- each of the two existing proofs (one due to Koutschan, Krattenthaler and Schlosser, the other to Corteel, Huang and Krattenthaler) relies on substantial computer calculations which would be hard to check directly. In this paper we present a short combinatorial proof that relies on the second author's factorization theorem and complementation theorem for perfect matchings.
Extendability of $1$-decomposable complexes
A well-known conjecture of Simon (1994) states that any pure $d$-dimensional shellable complex on $n$ vertices can be extended to $Δ_{n-1}^{(d)}$, the $d$-skeleton of the $(n-1)$-dimensional simplex, by attaching one facet at a time while maintaining shellability.
The notion of $k$-decomposability for simplicial complexes, which generalizes shellability, was introduced by Provan and Billera (1980). Coleman, Dochtermann, Geist, and Oh (2022) showed that any pure $d$-dimensional $0$-decomposable complex on $n$ vertices can similarly be extended to $Δ_{n-1}^{(d)}$, attaching one facet at a time while preserving $0$-decomposability.
In this paper, we investigate the analogous question for $1$-decomposable complexes. We prove a slightly relaxed version: any pure $d$-dimensional $1$-decomposable complex on $n$ vertices can be extended to $Δ_{n + d - 3}^{(d)}$, attaching one facet at a time while maintaining $1$-decomposability.
On existence of a compatible triangulation with the double circle order type
We show that the "double circle" order type and some of its generalizations have a compatible triangulation with any other order types with the same number of points and number of edges on convex hull, thus proving another special case of the conjecture in Aichholzer (2003).
Millions of inequivalent quadratic APN functions in eight variables
The only known example of an almost perfect nonlinear (APN) permutation in even dimension was obtained by applying CCZ-equivalence to a specific quadratic APN function. Motivated by this result, there have been numerous recent attempts to construct new quadratic APN functions. Currently, 32,892 quadratic APN functions in dimension 8 are known and two recent conjectures address their possible total number. The first, proposed by Y. Yu and L. Perrin (Cryptogr. Commun. 14(6): 1359-1369, 2022), suggests that there are more than 50,000 such functions. The second, by A. Polujan and A. Pott (Proc. 7th Int. Workshop on Boolean Functions and Their Applications, 2022), argues that their number exceeds that of inequivalent quadratic (8,4)-bent functions, which is 92,515. We computationally construct 3,775,599 inequivalent quadratic APN functions in dimension 8 and estimate the total number to be about 6 million.
Cholesky decomposition for symmetric matrices over finite fields
Inspired by the seminal work of André-Louis Cholesky -- whose contributions remain crucial in broader sciences even after more than a century -- Cooper, Hanna and Whitlatch (2024) developed a theory of positive matrices over finite fields, and Khare and Vishwakarma (2025) described a general Cholesky factorization for a dense sub-family of the cone of Hermitian matrices over real/complex fields, whose leading principal minors (LPM) are nonzero. Building on this, we develop a parallel theory within the finite field setting. Specifically $(i)$ we extend the general Cholesky factorization to the LPM cone over finite fields which has asymptotic density $1$. We show that $(ii)$ this factorization is compatible with the entrywise Frobenius map, recently studied in the context of positivity preservers by Guillot, Gupta, Vishwakarma, and Yip [J. Algebra, 2025]. We also $(iii)$ leverage the Cholesky-structures to define meaningful group operations on the matrix cone, and as an application $(iv)$ enumerate sub-cones of LPM matrices using our general Cholesky factorizations.