Searcharxiv⌕ Search

arXiv subjects

Milan Bašić

Publications and source records attributed to Milan Bašić.

15 recordsLinked to original sources

A Unified Linear Programming Approach for Maximizing Vertex-Degree-Based Indices of Trees

The problem of maximizing vertex-degree-based topological indices over trees with a prescribed order and maximum degree $Δ$ has traditionally relied on ad-hoc combinatorial arguments. In this paper, we establish a unified linear programming approach that systematically resolves these extremal problems. By formulating the optimization over degree-pair multiplicities, the search for an extremal tree reduces to minimizing a discrete dual penalty. Treating vertex degrees as continuous variables yields an analytical single-variable test condition that guarantees global optimality. We apply this framework across a diverse collection of invariants. We prove that the standard basic feasible solution is optimal for the Tangent Sombor, $SO_1$, $SO_2$, Albertson, and $σ$-irregularity indices for all $Δ\ge 3$. However, the dual optimality conditions establish exact analytical thresholds at which the standard basis loses optimality, necessitating a transition to alternative basic feasible solutions. For the Arithmetic-Geometric ($AG$) index, the standard basis is optimal strictly for $Δ\ge 9$; for smaller maximum degrees ($3 \le Δ\le 8$), optimization shifts to an alternative edge basis, allowing us to explicitly construct and characterize all extremal trees across congruence classes, including chemical trees ($Δ\in \{3, 4\}$). Conversely, for the Triangle Volume index ($SO_{11}$), the standard basis is optimal exclusively for $Δ\le 8$, while for $Δ\ge 9$ we analytically derive a novel, degree-dependent optimal basis to explicitly construct its extremal configurations.

math.CO↗

On uniquely colorable Cayley graphs

We resolve two open problems regarding uniquely colorable Cayley graphs posed by Klotz and Sander (2017). First, we construct an infinite family of uniquely 3-colorable integral circulant graphs with a clique number of 2. This provides a negative answer to Problem 3.6, which asks whether every uniquely colorable circulant graph satisfies $χ(G) = ω(G)$. Because verifying unique colorability inherently relies on the exact independence number, we demonstrate that traditional spectral bounds fail to tightly capture this parameter, necessitating a rigorous combinatorial proof based on exact structural isomorphisms. Second, we establish a general algebraic construction proving the existence of uniquely colorable Cayley graphs over nonabelian groups whose color classes are left cosets of strictly distinct subgroups. By utilizing right-coset partitions of non-normal subgroups, this result provides a definitive affirmative answer to Problem 2.4.

math.CO↗

Further results on the lower bound on reduced Zagreb index of trees

For a graph $G$, the general reduced second Zagreb index is defined as $$GRM_λ(G) = \sum_{uv \in E} (deg(u) + λ) (deg(v) + λ),$$ where $λ$ is an arbitrary real number and $deg (v)$ is the degree of the vertex $v$. In this paper, we extend and correct the equality results from [N. Dehgardia, S. Klav\v zar, {\it Improved lower bounds on the general reduced second Zagreb index of trees}, preprint (2023)] regarding the minimal value of $GRM_λ$ for $λ\geq -1$ among trees with $n$ vertices and a maximal degree $Δ$. Furthermore, we complement these results with two distinct approaches to determine the minimum value of the general reduced second Zagreb index for molecular trees with $Δ= 3$ and $Δ= 4$ in $λ= -2$, and characterize the extremal trees.

math.CO↗

On the maximum $σ$-irregularity of trees with given order and maximum degree

The $σ$-irregularity index of a graph is defined as the sum of squared degree differences over all edges and provides a sensitive measure of structural heterogeneity. In this paper, we study the problem of maximizing $σ(T)$ among all trees of fixed order $n$ and prescribed maximum degree $Δ\ge4$. By expressing the problem in terms of edge--degree multiplicities, we derive a linear programming formulation and analyze its dual. This approach yields sharp upper bounds for $σ(T)$ and leads to a detailed description of extremal degree--pair distributions. We show that the extremal problem can be completely resolved for the congruence classes $n\equiv1\pmodΔ$ and $n\equiv0\pmodΔ$. When $n\equiv1\pmodΔ$, the linear program admits an integral optimal solution, and the bound for $σ(T)$ is tight. When $n\equiv0\pmodΔ$, the linear relaxation is not attainable by any tree; nevertheless, by introducing a penalty function derived from dual slack variables, we determine the exact maximum value of $σ(T)$. In both cases, all extremal trees are characterized explicitly and consist exclusively of vertices of degrees $1$, $2$, and $Δ$, with edges incident to $Δ$-vertices playing a dominant role.

math.CO↗

Trees with maximum $σ$-irregularity under a prescribed maximum degree 6

The sigma-irregularity index $σ(G) = \sum_{uv \in E(G)} (d_G(u) - d_G(v))^2$ measures the total degree imbalance along the edges of a graph. We study extremal problems for $σ(T)$ within the class of trees of fixed order $n$ and bounded maximum degree $Δ= 6$. Using a penalty-function framework combined with handshake identities and congruence arguments, we determine the exact maximum value of $σ(T)$ for every residue class of $n$ modulo $6$, showing that the possible minimum values of the penalty function are $0, 10, 20, 22, 30,$ and $40$. For each case, we provide a complete characterization of all maximizing trees in terms of degree counts and edge multiplicities. In five of the six residue classes, all extremal trees contain only vertices of degrees $1, 2,$ and $6$, while for $n \equiv 3 \pmod{6}$ an additional exceptional family arises involving vertices of degree $3$. These results extend earlier work on sigma-irregularity for smaller degree bounds and illustrate the rapidly growing combinatorial complexity of the problem as the maximum degree increases.

math.CO↗

Maximum values of the Sombor-index-like graph invariants of trees and connected graphs

A set of novel vertex-degree-based invariants was introduced by Gutman, denoted by \newline $SO_1, SO_2, \ldots,SO_6$. These invariants were constructed through geometric reasoning based on a new graph invariant framework. Motivated by proposed open problems in [Z. Tang, Q. Li, H. Deng, \textit{Trees with Extremal Values of the Sombor-Index-Like Graph Invariants}, MATCH Commun. Math. Comput. Chem. \textbf{90} (2023) 203-222], we have found the maximum values of $SO_5$ and $SO_6$ in the set of molecular trees with a given number of vertices, respectively, and we have found the maximum value of $SO_5$ in a class of connected graphs.

cs.DM↗

Graphs with three and four distinct eigenvalues based on circulants

In this paper, we aim to address the open questions raised in various recent papers regarding characterization of circulant graphs with three or four distinct eigenvalues in their spectra. Our focus is on providing characterizations and constructing classes of graphs falling under this specific category. We present a characterization of circulant graphs with prime number order and unitary Cayley graphs with arbitrary order, both of which possess spectra displaying three or four distinct eigenvalues. Various constructions of circulant graphs with composite orders are provided whose spectra consist of four distinct eigenvalues. These constructions primarily utilize specific subgraphs of circulant graphs that already possess two or three eigenvalues in their spectra, employing graph operations like the tensor product, the union, and the complement. Finally, we characterize the iterated line graphs of unitary Cayley graphs whose spectra contain three or four distinct eigenvalues, and we show their non-circulant nature.

math.CO↗

Maximal diameter of integral circulant graphs

Integral circulant graphs are proposed as models for quantum spin networks that permit a quantum phenomenon called perfect state transfer. Specifically, it is important to know how far information can potentially be transferred between nodes of the quantum networks modelled by integral circulant graphs and this task is related to calculating the maximal diameter of a graph. The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$ and vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, where $D \subseteq \{d : d \mid n,\ 1\leq d 1,\ 1\leq i\leq k \}|$, depending on whether $n\not\in 4N+2$ or not, respectively. Furthermore, we show that, for a given order $n$, a divisor set $D$ with $|D|\leq k$ can always be found such that this bound is attained. Finally, we calculate the maximal diameter in the class of integral circulant graphs of a given order $n$ and cardinality of the divisor set $t\leq k$ and characterize all extremal graphs. We actually show that the maximal diameter can have the values $2t$, $2t+1$, $r(n)$ and $r(n)+1$ depending on the values of $t$ and $n$. This way we further improve the upper bound of Saxena, Severini and Shparlinski and we also characterize all graphs whose diameters are equal to $2|D|+1$, thus generalizing a result in that paper.

math.CO↗

Another estimation of Laplacian spectrum of the Kronecker product of graphs

The relationships between eigenvalues and eigenvectors of a product graph and those of its factor graphs have been known for the standard products, while characterization of Laplacian eigenvalues and eigenvectors of the Kronecker product of graphs using the Laplacian spectra and eigenvectors of the factors turned out to be quite challenging and has remained an open problem to date. Several approaches for the estimation of Laplacian spectrum of the Kronecker product of graphs have been proposed in recent years. However, it turns out that not all the methods are practical to apply in network science models, particularly in the context of multilayer networks. Here we develop a practical and computationally efficient method to estimate Laplacian spectra of this graph product from spectral properties of their factor graphs which is more stable than the alternatives proposed in the literature. We emphasize that a median of the percentage errors of our estimated Laplacian spectrum almost coincides with the $x$-axis, unlike the alternatives which have sudden jumps at the beginning followed by a gradual decrease for the percentage errors. The percentage errors confined (confidence of the estimations) up to $\pm$10% for all considered approximations, depending on a graph density. Moreover, we theoretically prove that the percentage errors becomes smaller when the network grows or the edge density level increases. Additionally, some novel theoretical results considering the exact formulas and lower bounds related to the certain correlation coefficients corresponding to the estimated eigenvectors are presented.

cs.SI↗

Further results on structured regression for multi-scale networks

Gaussian Conditional Random Fields (GCRF), as a structured regression model, is designed to achieve higher regression accuracy than unstructured predictors at the expense of execution time, taking into account the objects similarities and the outputs of unstructured predictors simultaneously. As most structural models, the GCRF model does not scale well with large networks. One of the approaches consists of performing calculations on factor graphs (if it is possible) rather than on the full graph, which is more computationally efficient. The Kronecker product of the graphs appears to be a natural choice for a graph decomposition. However, this idea is not straightforwardly applicable for GCRF, since characterizing a Laplacian spectrum of the Kronecker product of graphs, which GCRF is based on, from spectra of its factor graphs has remained an open problem. In this paper we apply new estimations for the Laplacian eigenvalues and eigenvectors, and achieve high prediction accuracy of the proposed models, while the computational complexity of the models, compared to the original GCRF model, is improved from $O(n_{1}^{3}n_{2}^{3})$ to $O(n_{1}^{3} + n_{2}^{3})$. Furthermore, we study the GCRF model with a non-Kronecker graph, where the model consists of finding the nearest Kronecker product of graph for an initial graph. Although the proposed models are more complex, they achieve high prediction accuracy too, while the execution time is still much better compare to the original GCRF model. The effectiveness of the proposed models is characterized on three types of random networks where the proposed models were consistently away more accurate than the previously presented GCRF model for multiscale networks [Jesse Glass and Zoran Obradovic. Structured regression on multiscale networks. IEEE Intelligent Systems, 32(2):23-30, 2017.].

cs.LG↗

Bisimulations for fuzzy automata

Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uniform fuzzy relations have recently been introduced as a means to model the fuzzy equivalence between elements of two possible different sets. Here we use the conjunction of these two concepts as a powerful tool in the study of equivalence between fuzzy automata. We prove that a uniform fuzzy relation between fuzzy automata $\cal A$ and $\cal B$ is a forward bisimulation if and only if its kernel and co-kernel are forward bisimulation fuzzy equivalences on $\cal A$ and $\cal B$ and there is a special isomorphism between factor fuzzy automata with respect to these fuzzy equivalences. As a consequence we get that fuzzy automata $\cal A$ and $\cal B$ are UFB-equivalent, i.e., there is a uniform forward bisimulation between them, if and only if there is a special isomorphism between the factor fuzzy automata of $\cal A$ and $\cal B$ with respect to their greatest forward bisimulation fuzzy equivalences. This result reduces the problem of testing UFB-equivalence to the problem of testing isomorphism of fuzzy automata, which is closely related to the well-known graph isomorphism problem. We prove some similar results for backward-forward bisimulations, and we point to fundamental differences. Because of the duality with the studied concepts, backward and forward-backward bisimulations are not considered separately. Finally, we give a comprehensive overview of various concepts on deterministic, nondeterministic, fuzzy, and weighted automata, which are related to bisimulations.

cs.FL↗

Which weighted circulant networks have perfect state transfer?

The question of perfect state transfer existence in quantum spin networks based on weighted graphs has been recently presented by many authors. We give a simple condition for characterizing weighted circulant graphs allowing perfect state transfer in terms of their eigenvalues. This is done by extending the results about quantum periodicity existence in the networks obtained by Saxena, Severini and Shparlinski and characterizing integral graphs among weighted circulant graphs. Finally, classes of weighted circulant graphs supporting perfect state transfer are found. These classes completely cover the class of circulant graphs having perfect state transfer in the unweighted case. In fact, we show that there exists an weighted integral circulant graph with $n$ vertices having perfect state transfer if and only if $n$ is even. Moreover we prove the non-existence of perfect state transfer for several other classes of weighted integral circulant graphs of even order.

cs.DM↗

Characterization of circulant graphs having perfect state transfer

In this paper we answer the question of when circulant quantum spin networks with nearest-neighbor couplings can give perfect state transfer. The network is described by a circulant graph $G$, which is characterized by its circulant adjacency matrix $A$. Formally, we say that there exists a {\it perfect state transfer} (PST) between vertices $a,b\in V(G)$ if $|F(τ)_{ab}|=1$, for some positive real number $τ$, where $F(t)=\exp(ıAt)$. Saxena, Severini and Shparlinski ({\it International Journal of Quantum Information} 5 (2007), 417--430) proved that $|F(τ)_{aa}|=1$ for some $a\in V(G)$ and $τ\in \R^+$ if and only if all eigenvalues of $G$ are integer (that is, the graph is integral). The integral circulant graph $\ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, ..., n - 1\}$ and vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, where $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. These graphs are highly symmetric and have important applications in chemical graph theory. We show that $\ICG_n (D)$ has PST if and only if $n\in 4\N$ and $D=\widetilde{D_3}\cup D_2\cup 2D_2\cup 4D_2\cup \{n/2^a\}$, where $\widetilde{D_3}=\{d\in D\ |\ n/d\in 8\N\}$, $D_2= \{d\in D\ |\ n/d\in 8\N+4\}\setminus \{n/4\}$ and $a\in\{1,2\}$. We have thus answered the question of complete characterization of perfect state transfer in integral circulant graphs raised in {\it Quantum Information and Computation}, Vol. 10, No. 3&4 (2010) 0325--0342 by Angeles-Canul {\it et al.} Furthermore, we also calculate perfect quantum communication distance (distance between vertices where PST occurs) and describe the spectra of integral circulant graphs having PST. We conclude by giving a closed form expression calculating the number of integral circulant graphs of a given order having PST.

cs.DM↗

On the clique number of integral circulant graphs

The concept of gcd-graphs is introduced by Klotz and Sander, which arises as a generalization of unitary Cayley graphs. The gcd-graph $X_n (d_1,...,d_k)$ has vertices $0,1,...,n-1$, and two vertices $x$ and $y$ are adjacent iff $\gcd(x-y,n)\in D = \{d_1,d_2,...,d_k\}$. These graphs are exactly the same as circulant graphs with integral eigenvalues characterized by So. In this paper we deal with the clique number of integral circulant graphs and investigate the conjecture proposed in \cite{klotz07} that clique number divides the number of vertices in the graph $X_n (D)$. We completely solve the problem of finding clique number for integral circulant graphs with exactly one and two divisors. For $k \geqslant 3$, we construct a family of counterexamples and disprove the conjecture in this case.

math.CO↗

Nondeterministic automata: equivalence, bisimulations, and uniform relations

In this paper we study the equivalence of nondeterministic automata pairing the concept of a bisimulation with the recently introduced concept of a uniform relation. In this symbiosis, uniform relations serve as equivalence relations which relate states of two possibly different nondeterministic automata, and bisimulations ensure compatibility with the transitions, initial and terminal states of these automata. We define six types of bisimulations, but due to the duality we discuss three of them: forward, backward-forward, and weak forward bisimulations. For each od these three types of bisimulations we provide a procedure which decides whether there is a bisimulation of this type between two automata, and when it exists, the same procedure computes the greatest one. We also show that there is a uniform forward bisimulation between two automata if and only if the factor automata with respect to the greatest forward bisimulation equivalences on these automata are isomorphic. We prove a similar theorem for weak forward bisimulations, using the concept of a weak forward isomorphism instead of an isomorphism. We also give examples that explain the relationships between the considered types of bisimulations.

cs.FL↗