Showing 20 papers (Total: 81623 papers, 47312 authors in database)
On Generalized Pfaffians
The determinant of an anti-symmetric matrix $g$ is the square of its Pfaffian, which like the determinant is a polynomial in the entries of $g$. Studies of certain super conformal field theories (of class S) suggested a conjectural generalization of this, predicting that each of a series of other polynomials in the entries of $g$ also admit polynomial square roots. Among other consequences, this conjecture led to a characterization of the local Hitchin image for type D. Several important special cases had been established previously. In this paper we prove the conjecture in full.
Deformed Homogeneous Polynomials and the Generalized $q$-Exponential Operator
In this paper, we introduce the deformed homogeneous polynomials $\mathrm{R}_{n}(x,y;u|q)$. These polynomials generalize some classical polynomials: the Rogers-Szegö polynomials $\mathrm{h}_{n}(x|q)$, the generalized Rogers-Szegö polynomials $\mathrm{r}_{n}(x,y)$, the Stieltjes-Wigert polynomials $\mathrm{S}_{n}(x;q)$, among others. Basic properties of the polynomial $\mathrm{R}_{n}$ are given, along with recurrence relations, its $q$-difference equation, and representations. Generating functions for the polynomials $\mathrm{R}_{n}(x,y;u|q)$ are given. These functions include generalizations of the Mehler and Rogers formulas. In addition, generalizations of the $q$-binomial formula and the Heine transformation formula are obtained. These results are obtained via the $u$-deformed $q$-exponential operator $\mathrm{E}(yD_{q}|u)$, defined here. From this operator, we obtain for free the operators T$(yD_{q})$ the Chen, $\mathrm{R}(yD_{q})$ of Saad, $\mathcal{E}(yD_{q})$ of Exton, and $\mathcal{R}(yD_{q})$ of Rogers-Ramanujan when $u=1,q,\sqrt{q},q^2$, respectively. We introduce the deformed basic hypergeometric series ${}_{r}Φ_{s}$, a generalization of the classical basic hypergeometric series. New transformation formulas for basic hypergeometric series are obtained.
Generalized Diagonals in Positive Semi-Definite Matrices
Published
• View Publication
• BIB
We describe all inequalities among generalized diagonals in positive semi-definite matrices. These turn out to be governed by a simple partial order on the symmetric group. This provides an analogue of results of Drake, Gerrish, and Skandera on inequalities among generalized diagonals in totally nonnegative matrices.
The Converse of the Real Orthogonal Holant Theorem
The Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very powerful counting indistinguishability theorem. The most general converse does not hold, but we prove the following, still highly general, version: if any two sets of real-valued signatures are Holant-indistinguishable, then they are equivalent up to an orthogonal transformation. This resolves a partially open conjecture of Xia (2010). Consequences of this theorem include the well-known result that homomorphism counts from all graphs determine a graph up to isomorphism, the classical sufficient condition for simultaneous orthogonal similarity of sets of real matrices, and a combinatorial characterization of simultaneosly orthogonally decomposable (odeco) sets of symmetric tensors.
Fault Tolerant Metric Dimensions of Leafless Cacti Graphs with Application in Supply Chain Management
Published
• View Publication
• BIB
A resolving set for a simple graph $G$ is a subset of vertex set of $G$ such that it distinguishes all vertices of $G$ using the shortest distance from this subset. This subset is a metric basis if it is the smallest set with this property. A resolving set is a fault tolerant resolving set if the removal of any vertex from the subset still leaves it a resolving set. The smallest set satisfying this property is the fault tolerant metric basis, and the cardinality of this set is termed as fault tolerant metric dimension of $G$, denoted by $β'(G)$. In this article, we determine the fault tolerant metric dimension of bicyclic graphs of type-I and II and show that it is always $4$ for both types of graphs. We then use these results to form our basis to consider leafless cacti graphs, and calculate their fault tolerant metric dimensions in terms of \textit{inner cycles} and \textit{outer cycles}. We then consider a detailed real world example of supply and distribution center management, and discuss the application of fault tolerant metric dimension in such a scenario. We also briefly discuss some other scenarios where leafless cacti graphs can be used to model real world problems.
Intersections of iterated shadows
We show that if $\mathcal{A} \subset {[n] \choose n/2}$ with measure bounded away from zero and from one, then the $Ω(\sqrt{n})$-iterated upper shadows of $\mathcal{A}$ and $\mathcal{A}^c$ intersect in a set of positive measure. This confirms (in a strong form) a conjecture of Friedgut. It can be seen as a stability result for the Kruskal--Katona theorem.
Infinitely many minimally non-Ramsey size-linear graphs
Published
• View Publication
• BIB
A graph $G$ is said to be Ramsey size-linear if $r(G,H) =O_G (e(H))$ for every graph $H$ with no isolated vertices. Erdős, Faudree, Rousseau, and Schelp observed that $K_4$ is not Ramsey size-linear, but each of its proper subgraphs is, and they asked whether there exist infinitely many such graphs. In this short note, we answer this question in the affirmative.
Brunn-Minkowski type estimates for certain discrete sumsets
Let $d,k$ be natural numbers and let $\mathcal{L}_1, \dots, \mathcal{L}_k \in \mathrm{GL}_d(\mathbb{Q})$ be linear transformations such that there are no non-trivial subspaces $U, V \subseteq \mathbb{Q}^d$ of the same dimension satisfying $\mathcal{L}_i(U) \subseteq V$ for every $1 \leq i \leq k$. For every non-empty, finite set $A \subset \mathbb{R}^d$, we prove that \[ |\mathcal{L}_1(A) + \dots + \mathcal{L}_k(A) | \geq k^d |A| - O_{d,k}(|A|^{1- δ}), \] where $δ>0$ is some absolute constant depending on $d,k$. Building on work of Conlon-Lim, we can show stronger lower bounds when $k$ is even and $\mathcal{L}_1, \dots, \mathcal{L}_k$ satisfy some further incongruence conditions, consequently resolving various cases of a conjecture of Bukh. Moreover, given any $d, k\in \mathbb{N}$ and any finite, non-empty set $A \subset \mathbb{R}^d$ not contained in a translate of some hyperplane, we prove sharp lower bounds for the cardinality of the $k$-fold sumset $kA$ in terms of $d,k$ and $|A|$. This can be seen as a $k$-fold generalisation of Freiman's lemma.
The k-general d-position problem for graphs
Published
• View Publication
• BIB
A set of vertices of a graph is said to be in general position if no three vertices from the set lie on a common geodesic. Recently Klavžar, Rall and Yero generalized this notion by defining a set of vertices to be in general $d$-position if no three vertices from the set lie on a common geodesic of length at most $d$. We generalize this notion further by defining a set of vertices to be in $k$-general $d$-position if no $k$ vertices of the set lie on a common geodesic of length at most $d$. The $k$-general $d$-position number of a graph is the largest cardinality of a $k$-general $d$-position set. We provide upper and lower bounds on the $k$-general $d$-position number of graphs in terms of the $k$-general $d$-position number of certain kinds of subgraphs. We compute the $k$-general $d$-position number of finite paths and cycles. Along the way we establish that the maximally even subsets of cycles, which were introduced in Clough and Douthett's work on music theory, provide the largest possible $k$-general $d$-position sets in $n$-cycles. We generalize Klavžar and Manuel's notion of monotone-geodesic labeling to that of $k$-monotone-geodesic labeling in order to calculate the $k$-general $d$-position number of the infinite two-dimensional grid. We also prove a formula for the $k$-general $d$-position number of certain thin finite grids, providing a partial answer to a question asked by Klavžar, Rall and Yero.
Large planar $(n,m)$-cliques
An \textit{$(n,m)$-graph} $G$ is a graph having both arcs and edges, and its arcs (resp., edges) are labeled using one of the $n$ (resp., $m$) different symbols. An \textit{$(n,m)$-complete graph} $G$ is an $(n,m)$-graph without loops or multiple edges in its underlying graph such that identifying any pair of vertices results in a loop or parallel adjacencies with distinct labels. We show that a planar $(n,m)$-complete graph cannot have more than $3(2n+m)^2+(2n+m)+1$ vertices, for all $(n,m) \neq (0,1)$ and that the bound is tight. This positively settles a conjecture by Bensmail \textit{et al.}~[Graphs and Combinatorics 2017].
Spectral and Homological Bounds on k-Component Edge Connectivity
We present a novel theoretical framework connecting k-component edge connectivity with spectral graph theory and homology theory to pro vide new insights into the resilience of real-world networks. By extending classical edge connectivity to higher-dimensional simplicial complexes, we derive tight spectral-homological bounds on the minimum number of edges that must be removed to ensure that all remaining components in the graph have size less than k. These bounds relate the spectra of graph and simplicial Laplacians to topological invariants from homology, establishing a multi-dimensional measure of network robustness. Our framework improves the understanding of network resilience in critical systems such as the Western U.S. power grid and European rail network, and we extend our analysis to random graphs and expander graphs to demonstrate the broad applicability of the method. Keywords: k-component edge connectivity, spectral graph theory, homology, simplicial complexes, network resilience, Betti numbers, algebraic connectivity, random graphs, expander graphs, infrastructure systems
Minimal Matchings for dP3 Cluster Variables
Published
• View Publication
• BIB
In previous work [LM17], Tri Lai and the second author studied a family of subgraphs of the dP3 brane tiling, called Aztec castles, whose dimer partition functions provide combinatorial formulas for cluster variables resulting from mutations of the quiver associated with the del Pezzo surface dP3. In our paper, we investigate a variant of the dP3 quiver by considering a second alphabet of variables that breaks the symmetries of the relevant recurrences. This deformation is motivated by the theory of cluster algebras with principal coefficients introduced by Fomin and Zelevinsky. Our main result gives an explicit formula extending previously known generating functions for dP3 cluster variables by using Aztec castles and constructing their associated minimal matchings.
Algorithms for complementary sequences
Published in Integers 25 (2025) #A95
• View Publication
• BIB
Finding the $n$-th positive square number is easy, as it is simply $n^2$. But how do we find the complementary sequence, i.e., the $n$-th positive non-square number? For this case there is an explicit formula. However, for general constraints on numbers, a formula is harder to find. In this paper, we study how to compute the $n$-th integer that does (or does not) satisfy a certain condition. In particular, we consider it as a fixed point problem, relate it to the iterative method of Lambek and Moser, study a bisection approach to this problem, and provide novel formulas for various complementary sequences including the non-$k$-gonal numbers, non-$k$-gonal-pyramidal numbers, non-$k$-simplex numbers, non-sum-of-$k$-th-powers, and non-$k$-th-powers. For example, we show that the $n$-th non $k$-gonal number is given by $n+\text{round}\left(\sqrt{\frac{2n-2+\left\lfloor\frac{k+1}{4}\right\rfloor}{k-2}}\right)$ and that the $n$-th non-second-hexagonal number is $n+\left\lceil\sqrt{\frac{n}{2}}\right\rceil-1$.
Square-free powers of Cohen-Macaulay forests, cycles, and whiskered cycles
Let $I(G)^{[k]}$ denote the $k^{th}$ square-free power of the edge ideal $I(G)$ of a graph $G$. In this article, we provide a precise formula for the depth of $I(G)^{[k]}$ when $G$ is a Cohen-Macaulay forest. Using this, we show that for a Cohen-Macaulay forest $G$, the $k^{th}$ square-free power of $I(G)$ is always Cohen-Macaulay, which is quite surprising since all ordinary powers of $I(G)$ can never be Cohen-Macaulay unless $G$ is a disjoint union of edges. Next, we give an exact formula for the regularity and tight bounds on the depth of square-free powers of edge ideals of cycles. In the case of whiskered cycles, we obtain tight bounds on the regularity and depth of square-free powers, which aids in identifying when such ideals have linear resolutions. Additionally, we compute depth of $I(G)^{[2]}$ when $G$ is a cycle or whiskered cycle, and regularity of $I(G)^{[2]}$ when $G$ is a whiskered cycle.
Reconstructing semi-directed level-1 networks using few quarnets
Published
• View Publication
• BIB
Semi-directed networks are partially directed graphs that model evolution where the directed edges represent reticulate evolutionary events. We present an algorithm that reconstructs binary $n$-leaf semi-directed level-1 networks in $O( n^2)$ time from its quarnets (4-leaf subnetworks). Our method assumes we have direct access to all quarnets, yet uses only an asymptotically optimal number of $O(n \log n)$ quarnets. When the network is assumed to contain no triangles, our method instead relies only on four-cycle quarnets and the splits of the other quarnets. A variant of our algorithm works with quartets rather than quarnets and we show that it reconstructs most of a semi-directed level-1 network from an asymptotically optimal $O(n \log n)$ of the quartets it displays. Additionally, we provide an $O(n^3)$ time algorithm that reconstructs the tree-of-blobs of any binary $n$-leaf semi-directed network with unbounded level from $O(n^3)$ splits of its quarnets.
Counting List Colorings of Unlabeled Graphs
The classic enumerative functions for counting colorings of a graph $G$, such as the chromatic polynomial $P(G,k)$, do so under the assumption that the given graph is labeled. In 1985, Hanlon defined and studied the chromatic polynomial for an unlabeled graph $\mathcal{G}$, $P(\mathcal{G}, k)$. Determining $P(\mathcal{G}, k)$ amounts to counting colorings under the action of automorphisms of $\mathcal{G}$. In this paper, we consider the problem of counting list colorings of unlabeled graphs. We extend Hanlon's definition to the list context and define the unlabeled list color function, $P_\ell(\mathcal{G}, k)$, of an unlabeled graph $\mathcal{G}$. In this context, we pursue a fundamental question whose analogues have driven much of the research on counting list colorings and its generalizations: For a given unlabeled graph $\mathcal{G}$, does $P_\ell(\mathcal{G}, k) = P(\mathcal{G}, k)$ when $k$ is large enough? We show the answer to this question is yes for a large class of unlabeled graphs that include point-determining graphs (also known as twin-free graphs, irreducible graphs, and mating graphs).
Sharp Bounds for Generalized Zagreb Indices of Graphs
In the last forty years, many scientists used graph theory to develop mathematical models for analyzing structures and properties of various chemical compounds. In this paper, we will establish formulas and bounds for generalized first Zagreb Index and coindex, which are based on degrees of vertices. In addition, for triangle and quadrangle free graphs, we will establish formulas and bounds for generalized first leap Zagreb Index and coindex, which are based on 2-distance degrees of vertices. Additionally, we will establish sharp bounds of generalized first Zagreb index and the leap index for various types of graphs and provide examples for which the sharp bounds are attained. In addition, we will find regression models and compare the first Zagreb index and the first leap Zagreb index for predicting some physicochemical properties of certain chemical compounds, benzenoid hydrocarbons.
On the structure of extremal point-line arrangements
Published
• View Publication
• BIB
In this note, we show that extremal Szemerédi-Trotter configurations are rigid in the following sense: If $P,L$ are sets of points and lines determining at least $C|P|^{2/3}|L|^{2/3}$ incidences, then there exists a collection $P'$ of points of size at most $k = k_0(C)$ such that, heuristically, fixing those points fixes a positive fraction of the arrangement. That is, the incidence structure and a small number of points determine a large part of the arrangement. The key tools we use are the Guth-Katz polynomial partitioning, and also a result of Dvir, Garg, Oliveira and Solymosi that was used to show the rigidity of near-Sylvester-Gallai configurations.
Skein relations for punctured surfaces
We investigate skein relations in cluster algebras from punctured surfaces, extending the work of Çanakçi-Schiffler and Musiker-Williams on unpunctured surfaces. Using a combinatorial expansion formula by O{ğ}uz-Yıldırım and Pilaud-Reading-Schroll, we provide explicit formulas for these relations. This work demonstrates that the punctured analogues of the bangle and bracelet functions form spanning sets for cluster algebras associated with a punctured surfaces. For surfaces with boundary and closed surfaces of genus 0, we further show that the bangles and bracelets form bases.
Correlation between residual entropy and spanning tree entropy of ice-type models on graphs
Published
• View Publication
• BIB
The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is known as the residual entropy in studies of ice-type models on graphs. The spanning tree entropy depends similarly on the number of spanning trees. We demonstrate and investigate a remarkably strong, though non-deterministic, correlation between these two entropies. This leads us to propose a new heuristic estimate for the residual entropy of regular graphs that performs much better than previous heuristics. We also study the expansion properties and residual entropy of random graphs with given degrees.