Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Unbent collections of non-planar $s$-grid-drawing
In a recent paper, Antić et al.~studied collections of planar orthogonal drawings of a graph where every edge is unbent in at least one drawing. This paper generalizes this concept to non-planar drawings, and shows that then two drawings always suffice (for planar drawings three drawings are sometimes needed). The results can also be generalized to $s$-grid drawings for $s\geq 3$.
Tropical Fermat--Weber Problems over Non-Finite Data and their Inverse Formulations
The term tropical pseudonorm refers to a family of (not necessarily symmetric) gauge functions that arise in tropical or idempotent geometry. An important characteristic of these gauges is their invariance under translation by a constant vector, allowing them to descent naturally to tropical projective spaces. In this work, we explore the tropical one-infinity pseudonorm, a polyhedral hybrid gauge that allows for tunable asymmetry, in the context of a Fermat--Weber location problem. We extend previous formulations in considering non-finite data, and we investigate several variants of the inverse problem, providing linear programming formulations for their solution.
A combinatorial proof for the positivity of the normalized Jacobi triple product tails
For $k\geq 1$, we prove that \[ [q^n z^s]J_k(z,q)\geq 0, \qquad (n\geq 0,\ s\in\mathbb Z) \] for the normalized Jacobi triple product tails \[ J_k(z,q) = \frac{ \sum_{j=k}^{\infty}(-1)^{j-k} q^{\binom{j+1}{2}}(z^{-j}+\cdots+z^j)} {(zq,q/z;q)_\infty}. \] This result not only implies Merca's stronger nonnegativity conjecture on truncated Jacobi triple product series in full generality, but also yields infinite families of linear inequalities for two-colored partitions and partitions with parts in the residue classes $\pm S \pmod{R}$. We present a combinatorial proof wherein a sign-reversing involution reduces the normalized Jacobi triple product tails to the invariant subsets according to the generalized minimal-excludant of partitions. Furthermore, by combing an invertible lift operator on Frobenius arms with Konan's size- and length-preserving bijection, an injection is constructed between the consecutive invariant subsets, which implies the coefficientwise positivity of the normalized Jacobi triple product tails.
Class-uniformly resolvable designs with all but one block having size two
A Class-Uniformly Resolvable Design (CURD) is a resolvable design in which each parallel class has the same block structure. We study CURDS in which each parallel class contains one block of size $m$ and the remaining blocks have size $2$, for $m \ge 3$. In addition to establishing necessary conditions for such a CURD to exist, we present two general constructions. The first transforms a particular type of cyclic design with block size $k$ into a CURD with partition $m^12^{\frac{n-m}{2}}$ where $m = 2k$. This construction is used to generate CURDS with 26 varieties (where $m=6$) and with 82 varieties (where $m=10$). The second constructs a CURD with partition $m^12^{\frac{n-m}{2}}$ for every value of $m$ that is the power of an odd prime.
Coordinate projections of $c$-vectors of cluster algebras from the annulus
For an acyclic cluster algebra, the $c$-vectors are, up to sign, the real
Schur roots of the associated root system. We study the two-coordinate
projections $(c_v, c_w)$ of this configuration: when the difference
$c_v - c_w$ is bounded the image lies in a band of lattice lines, and we ask
when the projection fills that band. A band-existence dichotomy, valid in
every acyclic type, shows the difference is bounded if and only if the null
root satisfies $δ_v = δ_w$. For affine type $\widetilde{A}_n$ (the
annulus), in the source-sink orientation, we resolve the filling question
completely: every coordinate projection fills its band except along the
source-sink diagonal, which carries only the finite regular part. The
obstruction is the Auslander--Reiten defect, which a projection sees on its
diagonal exactly when the defect is a coordinate difference; the only such
pair is the source-sink pair of $\widetilde{A}_n$, so the pattern depends on
the chosen seed. More generally, every banded pair of null-root coefficient
one fills, except these diagonals. Off the diagonal a banded pair in
$\widetilde{E}_7$ fails to fill, so non-filling is not confined to type
$\widetilde{A}_n$; a computation classifies the pairs of coefficient at least
two over a range of affine types, where this $\widetilde{E}_7$ pair is the
only further failure, and the general classification remains open.
Structural Properties and Applications of the Augmented Sombor Index
Topological indices are key quantitative descriptors in mathematical chemistry, unchanged under symmetry operations and retaining graph connectivity; they capture molecular structural features to provide insights into molecular stability and chemical properties, becoming indispensable in cheminformatics and theoretical chemistry. Among degree-based indices, the \textbf{Sombor index} is widely concerned for capturing structural information, and motivated by enhanced structural discrimination, the \textbf{augmented Sombor index} ($ASO$) is defined for a connected graph $Ω$ with $|V(Ω)|\geq 3$ as $$ASO(Ω) = \sum_{v_iv_j\in E(Ω)} \sqrt{\frac{d_i^2 + d_j^2}{d_i + d_j - 2}},$$ where $d_i$ and $d_j$ are the degrees of vertices $v_i$ and $v_j$, respectively. Within the scope of this study, we first establish several sharp bounds for the augmented Sombor index and characterize the extremal graphs attaining these bounds. In particular, we determine the minimum value of the $ASO$ index for unicyclic graphs with a prescribed girth and characterize all graphs achieving this minimum. We also identify the second maximum $ASO$ value among trees and characterize the corresponding extremal tree structures. Furthermore, the minimum and maximum values of the $ASO$ index for bipartite graphs and chemical graphs are obtained, together with a complete characterization of the associated extremal graphs. In addition, we characterize the chemical trees that maximize the $ASO$ index. The chemical applicability of the $ASO$ index is investigated through quantitative structure-property relationship (QSPR) analysis, supported by a comparative assessment of several variants of the Sombor index. Finally, we present concluding remarks and outline potential directions for future research on the augmented Sombor index of graphs.
On the sum of the two largest eigenvalues of the curl-curl operator on graphs
The Grone--Merris conjecture, proved by Bai in~2011, states that the spectrum of the graph Laplacian $Δ_0 = -\operatorname{div}\operatorname{grad}$ is majorized by the conjugate of the vertex degree sequence. Duval and Reiner proposed a simplicial complex analogue of this statement. On a graph, where triangles serve as $2$-simplices, their conjecture reduces to the assertion that the spectrum of $\operatorname{curl}^*\operatorname{curl}$ is majorized by the conjugate of the second-order degree sequence, which records the number of triangles containing each vertex.
We prove that the sum of the two largest eigenvalues of $\operatorname{curl}^*\operatorname{curl}$ does not exceed the sum of the first two entries of that conjugate sequence. This confirms the first two majorization inequalities predicted by Duval and Reiner for $\operatorname{curl}^*\operatorname{curl}$. As a corollary, we obtain upper bounds for the two largest eigenvalues of the full graph Helmholtzian $Δ_1 = -\operatorname{grad}\operatorname{div} + \operatorname{curl}^*\operatorname{curl}$. The same result extends to the up-Laplacian of any $3$-family, yielding a concrete step towards the Duval--Reiner conjecture in dimension~$1$.
The Suda-Tanaka-Tokushige conjecture for $\mathbf{p}$-biased intersecting families
In 2017, Suda, Tanaka and Tokushige conjectured that if $1>p_1\ge\cdots\ge p_n>0$ with $p_3\le \frac{1}{2}$, then every intersecting family $\mathcal A\subseteq 2^{[n]}$ satisfies $μ_{\mathbf{p}}(\mathcal A)\le p_1$, where $μ_{\mathbf{p}}$ is the non-uniform product measure defined by $μ_{\mathbf{p}}(\mathcal{A})=\sum_{A\in\mathcal{A}} \prod_{i\in A} p_i \prod_{j\in [n]\setminus A}(1-p_j)$. In addition, if $p_1 > p_3$ or $p_1 < \frac{1}{2}$, then equality holds if and only if $\mathcal{A}$ is a star centered at some $i \in [n]$ with $p_i = p_1$. In this paper, we prove this conjecture in the following stronger $t$-intersecting form: for any $t\ge 1$, if $p_{t+2}\le \frac{1}{t+1}$, then every $t$-intersecting family $\mathcal{A} \subseteq 2^{[n]}$ satisfies
$μ_{\mathbf{p}}(\mathcal A)\le \prod_{i=1}^t p_i$. Moreover, when $p_{t+2}<\frac{1}{t+1}$, equality holds if and only if $\mathcal{A}=\{A\subseteq [n]: T\subseteq A\}$ for some $T\in \binom{[n]}{t}$ with $\prod_{i\in T} p_i=\prod_{i=1}^t p_i$. Our result unifies and generalizes the classical theorems of Fishburn-Frankl-Freed-Lagarias-Odlyzko and Friedgut.
Classification of regular Cayley maps of skew-type three on semidihedral groups
It is well known that every regular Cayley map $M = \CM(G,X,p)$ on a finite group $G$ with respect to an inverse-closed generating set $X$ of $G$ and a specified cyclic permutation $p$ on $X$ corresponds to a skew morphism $\varphi$ on $G$ such that the restriction of $\varphi$ to $X$ is $p$. The skew-type of the map $M$ is defined as the index $[G:\Ker \varphi]$, which equals the number of distinct values in $\mathbb{Z}_{|\varphi|}$ taken by the associated power function $π$ of the skew morphism $\varphi$. In this paper, we develop a covering theory of skew morphisms and as an application we provide a classification of regular Cayley maps of skew-type three on the semidihedral groups.
The longest and shortest roots of a real cubic
There are many formulas in the literature providing roots of a real cubic that avoid some of the well-known pathologies of Cardano's formulas. Among these, we identify two that consistently provide the unique roots of a depressed cubic that have the greatest and smallest absolute value, whenever those exist. We call these the longest and shortest roots. The existence conditions are elementary and are in terms of the signs of the coefficients and the discriminant. Our proofs use two algebraic identities satisfied by hypergeometric functions; once the standard real branches are fixed, the root comparisons are entirely real. As an application, the longest-root formula gives an explicit factorization of all but a vanishing proportion of depressed real quartics.
Bricks in which every vertex is incident with a forcing edge
An edge of a matching covered graph G is a forcing edge if it lies in precisely one perfect matching of G. A matching covered graph is a brick if and only if it is 3-connected and bicritical (the deletion of each pair of distinct vertices results in a graph with a perfect matching). In this paper, we prove that every vertex of a brick is incident with a forcing edge if and only if the brick is an odd wheel up to multiple edges.
Fast Enumeration of Minimal Removable Sets in Monotone Systems with Application to Core Collapse Analysis
In network vulnerability analysis, it is crucial to evaluate the robustness of $k$-cores against vertex removals. A $k$-core is often fragile since removing a few vertices can trigger a large reduction in the core size, a phenomenon known as core collapse. In this paper, we study the problem of enumerating all minimal removable sets (MinRSs) of a given $k$-core, where a MinRS is a minimal nonempty set of vertices whose removal results in a smaller $k$-core graph. We consider this problem within a general mathematical framework based on monotone systems. We show that, for a monotone system that is given with an underlying graph $G=(V,E)$, all MinRSs of a solution can be enumerated in $O((n+m)nτ_ω)$ time, where $n=|V|$, $m=|E|$ and $τ_ω$ denotes the computation time of evaluating the monotone function of the system. Furthermore, if the system satisfies the newly defined in-dominating seed property, the complexity drops to $O((n+m) \log n \cdot τ_ω)$ time. We prove that standard $k$-cores in undirected graphs satisfy this property, enabling MinRS enumeration in $O((n+m)\log n)$ time, a significant improvement over the baseline. We also extend our framework to enumerate all solutions in a given monotone system. This yields an $O((n+m)\log n)$-delay algorithm for all $k$-core subgraphs, outperforming an algorithm given by [Boley et al., Theoretical Computer Science, 2010]. Our framework is applicable to various $k$-core extensions, including weighted $k$-cores, multi-layer $\boldsymbol{k}$-cores, and $(k,\ell)$-cores.
An algebraic study of ideals of weak graph homomorphisms
Let $G$ and $H$ be finite simple graphs and assume that either both are undirected or both are directed. We introduce and study the ideal of weak graph homomorphisms $I_{G\to H}$. We characterize all graphs $G$ and $H$ for which every (equivalently, some) power of $I_{G\to H}$ has a linear resolution. Moreover, unmixedness, Cohen-Macaulayness, projective dimension and Castelnuovo-Mumford regularity of these ideals are studied.
Maximum Forest Number of General Bipartite Graphs: Structural and Complexity Results
Recent results established the maximum forest number $f(B)$ for balanced bipartite graphs under Ore-type degree sum conditions. In this paper, we extend these results by determining the exact value of the maximum forest number as a closed-form formula for general bipartite graphs under Ore-type conditions, answering an open question posed by Yu. We prove that the maximum forest number is bounded by a discrete optimization over at most six critical structural coordinate points dictated by hyperbolic density constraints. Furthermore, we establish that deciding whether a specific balanced bipartite graph on $2n$ vertices has a forest number of at least $n+2$ is NP-complete. This implies that while the maximum possible forest number can be exactly bounded, computing the exact forest number for a given graph remains computationally intractable, and a simple structural characterization via finite forbidden induced subgraphs cannot exist unless P = NP.
Avalanche homology of digraphs via sandpile dynamics
We introduce avalanche homology as a new (di)graph homology theory, based on the dynamics of the sandpile model. Avalanche homology is the simplicial homology of the avalanche complex generated from the sets of unstable vertices at the time steps of the sandpile dynamics. In this work we focus on digraphs, and our main results give the homotopy types of the avalanche complex for directed paths and directed cycles for certain initial configurations of the sandpile dynamics. Even for such simple digraphs a wide range of topologies can arise, and we compare this to the directed flag complex and to the recently introduced burning homology. Furthermore, the dynamics yields very naturally a filtered simplicial complex, and hence persistent avalanche homology.
Proof of Cigler's conjecture on $q$-Hoggatt numbers
We prove the nonnegativity and palindromicity of a family of polynomials arising from $q$-Hoggatt numbers. The nonnegativity is derived from Stanley's $(P,ω)$-partition theory through a standard Young tableau formula, while the palindromicity is proved by an involution on rectangular standard Young tableaux. Our result confirms a conjecture of Cigler.
Hidden critical and Morse equivalence behind duality: Theory and Applications
The aim of this paper is to establish critical duality theory for ratios of nonnegative homogeneous convex functions (shorten for RC functions) and differences of convex functions (abbreviated as DC functions) on Banach spaces. Specifically, we establish a series of duality results on critical point theory and Morse theory for RC functions, including the homotopy type of sublevel sets, the Morse critical points and their Rothe critical groups, Lagrange critical points and their multiplicities, Lusternik-Schnirelman min-max critical values, Poincare polynomials, as well as the structure of handlebody decompositions, all of which are proved to be preserved under polarity dual. Moreover, we obtain the first critical duality theory of DC functions which does not depend on the DC decomposition. This answers a question left open from the work of Toland on DC functions and the work of Le-Pham on DC programming.
We apply these results to provide a reformulation of the graph Cheeger constant using zonotopes; we introduce the contact data which serves as a geometric characterization of Lagrange criticality; and we show that the eigenproblems for 1-Laplacian and $\infty$-Laplacian on hypergraphs are equivalent to the contact problems of zonotopes, which indeed establishes a new characterization of zonotopes. We also prove a duality equivalence for certain nonlinear eigenvalue problems and bifurcation problems. Our study here reveals an intricate interaction of critical point theory with other fields such as convex analysis, combinatorial geometry, and nonlinear eigenproblems on graphs.
On Meyniel's Conjecture in Random Hypergraphs
The game of \emph{Cops and Robbers} is a two player pursuit game on graphs where a team of cops attempts to catch a robber. The cop number $c(G)$ of a graph $G$ is the minimum number of cops needed to guarantee a winning strategy in $G$. A famous conjecture of Meyniel says that if $G$ is connected, then $c(G)=O(\sqrt{n})$. Erde, Kang, Lehner, Mohar and Schmid considered its generalization to $k$-uniform hypergraphs and conjectured that the cop number of such hypergraphs is $O(\sqrt{n/k})$. This may be understood as a hypergraph version of Meyniel's conjecture. In this paper we prove this conjecture for a class of \textit{expanding} hypergraphs and show that with high probability the conjecture holds for random hypergraphs $H^k(n,p))$ provided $k\geq \log^3n$ and the typical degree, $p\binom{n-1}{k-1}$, is $ω(\log^3n)$.
Results on Cartesian $1$-capacity of graphs
The concept of graph capacity extends graph span by considering the maximum number of agents that can simultaneously traverse a graph while preserving a prescribed minimum distance. We study the Cartesian $1$-capacity, corresponding to the movement in which exactly one agent moves at each step. We establish general lower and upper bounds based on structural graph properties and derive exact results for trees. Our work highlights the role of branching and bridge structures in determining the Cartesian $1$-capacity and provides new insights into collision-free multi-agent motion on graphs.
Discrete Space-Time Wave Kernels and Trace Identities on Regular Graphs
We study the discrete space-time wave equation on a $(q+1)$-regular graph $X$ associated with the affine Laplace-type operator. For the forward time-difference scheme we derive explicit formulas for the two fundamental solutions (wave kernels) in terms of discrete modified Bessel functions and the non-backtracking walk counts on $X$ thus providing a direct and explicit link between wave propagation and combinatorial graph data. Utilizing uniqueness property of the wave kernel, we prove a new trace-type formula associated to the affine Laplace-type operator on $X$ and apply it to deduce many combinatorial identities. For example, we derive a closed-form expression for evaluation of some trigonometric sums twisted by an additive character as well as evaluations of finite sums of Chebyshev polynomials twisted by binomial coefficients.