Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Complexity Framework For Forbidden Subgraphs I: The Framework
Published
• View Publication
• BIB
For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be explained by some common problem conditions. We propose such conditions for $HH$-subgraph-free graphs. For a set of graphs $HH$, a graph $G$ is $HH$-subgraph-free if $G$ does not contain any of graph from $H$ as a subgraph. Our conditions are easy to state. A graph problem must be efficiently solvable on graphs of bounded treewidth, computationally hard on subcubic graphs, and computational hardness must be preserved under edge subdivision of subcubic graphs. Our meta-classification says that if a graph problem satisfies all three conditions, then for every finite set $HH$, it is ``efficiently solvable'' on $HH$-subgraph-free graphs if $HH$ contains a disjoint union of one or more paths and subdivided claws, and is ``computationally hard'' otherwise. We illustrate the broad applicability of our meta-classification by obtaining a dichotomy between polynomial-time solvability and NP-completeness for many well-known partitioning, covering and packing problems, network design problems and width parameter problems. For other problems, we obtain a dichotomy between almost-linear-time solvability and having no subquadratic-time algorithm (conditioned on some hardness hypotheses). The proposed framework thus gives a simple pathway to determine the complexity of graph problems on $HH$-subgraph-free graphs. This is confirmed even more by the fact that along the way, we uncover and resolve several open questions from the literature.
Matching variables to equations in infinite linear equation systems
Published
• View Publication
• BIB
A fundamental result in linear algebra states that if a homogenous linear equation system has only the trivial solution, then there are at most as many variables as equations. We prove the following generalisation of this phenomenon. If a possibly infinite homogenous linear equation system with finitely many variables in each equation has only the trivial solution, then there exists an injection from the variables to the equations that maps each variable to an equation in which it appears.
Can the PageRank centrality be manipulated to obtain any desired ranking?
Published in Chaos 33, 083152 (2023)
• View Publication
• BIB
The significance of the PageRank algorithm in shaping the modern Internet cannot be overstated, and its Complex Network theory foundations continue to be a subject of research. In this article we carry out a systematic study of the structural and parametric controllability of PageRank's outcomes, translating a spectral Graph Theory problem into a geometric one, where a natural characterization of its rankings emerges. Furthermore, we show that the change of perspective employed can be applied to the biplex PageRank proposal, performing numerical computations on both real and synthetic network datasets to compare centrality measures used.
A note on graphs with purely imaginary per-spectrum
Published in Appl. Math. Comput. 475 (2024) 128754
• View Publication
• BIB
In 1983, Borowiecki and Jóźwiak posed the problem ``Characterize those graphs which have purely imaginary per-spectrum.'' This problem is still open. The most general result, although a partial solution, was given in 2004 by Yan and Zhang, who show that if $G$ is a bipartite graph containing no subgraph which is an even subdivision of $K_{2,3}$, then it has purely imaginary per-spectrum. Zhang and Li in 2012 proved that such graphs are planar and admit a Pfaffian orientation. In this article, we describe how to construct graphs with purely imaginary per-spectrum having a subgraph which is an even subdivision of $K_{2,3}$ (planar and nonplanar) using coalescence of rooted graphs.
Extension of a Method of Gilmer
It is a well-known conjecture, sometimes attributed to Frankl, that for any family of sets which is closed under the union operation, there is some element which is contained in at least half of the sets.
Gilmer was the first to prove a constant bound, showing that there is some element contained in at least 1\% of the sets. They state in their paper that the best possible bound achievable by the same method is $\frac{3-\sqrt5}2\approx 38.1\%$.
This note achieves that bound by finding the optimum value, given a binary variable $X$ potentially depending on some other variable $S$ with a given expected value $E(X)$ and conditional entropy $H(X|S)$ of the conditional entropy of $H(X_1\cup X_2|S_1,S_2)$ for independent readings $X_1, S_1$ and $X_2,S_2$.
Totally Symmetric Quasigroups of Order 16
Published
• View Publication
• BIB
We present the number of totally symmetric quasigroups (equivalently, totally symmetric Latin squares) of order 16, as well as the number of isomorphism classes, and extend previously published results to include information on the number and classes of medial totally symmetric quasigroups for all orders up to and including 16.
Improved Elekes-Szabó type estimates using proximity
Published in J. Comb. Theory Ser. A. 201:105813, 2024
• View Publication
• BIB
We prove a new Elekes-Szabó type estimate on the size of the intersection of a Cartesian product $A\times B\times C$ with an algebraic surface $\{f=0\}$ over the reals. In particular, if $A,B,C$ are sets of $N$ real numbers and $f$ is a trivariate polynomial, then either $f$ has a special form that encodes additive group structure (for example $f(x,y,x) = x + y - z$), or $A \times B\times C \cap\{f=0\}$ has cardinality $O(N^{12/7})$. This is an improvement over the previously bound $O(N^{11/6})$. We also prove an asymmetric version of our main result, which yields an Elekes-Ronyai type expanding polynomial estimate with exponent $3/2$. This has applications to questions in combinatorial geometry related to the Erdős distinct distances problem.
Like previous approaches to the problem, we rephrase the question as a $L^2$ estimate, which can be analyzed by counting additive quadruples. The latter problem can be recast as an incidence problem involving points and curves in the plane. The new idea in our proof is that we use the order structure of the reals to restrict attention to a smaller collection of proximate additive quadruples.
Unicyclic graphs and the inertia of the distance squared matrix
Published
• View Publication
• BIB
A result of Bapat and Sivasubramanian gives the inertia of the distance squared matrix of a tree. We develop general tools on how pendant vertices and degree 2 vertices affect the inertia of the distance squared matrix and use these to give an alternative proof of this result. We further use these tools to extend this result to certain families of unicyclic graphs, and we explore how far these results can be extended.
Effects of Backtracking on PageRank
In this paper, we consider three variations on standard PageRank: Non-backtracking PageRank, $μ$-PageRank, and $\infty$-PageRank, all of which alter the standard formula by adjusting the likelihood of backtracking in the algorithm's random walk. We show that in the case of regular and bipartite biregular graphs, standard PageRank and its variants are equivalent. We also compare each centrality measure and investigate their clustering capabilities.
A note on extremal Sombor indices of trees with a given degree sequence
Published in MATCH Commun. Math. Comput. Chem. 90 (2023) 197-202
• View Publication
• BIB
We note here that the problem of determining extremal values of Sombor index for trees with a given degree sequence fits within the framework of results by Hua Wang from [Cent. Eur. J. Math. 12 (2014) 1656-1663], implying that the greedy tree has the minimum Sombor index, while an alternating greedy tree has the maximum Sombor index.
Group rings and character sums: tricks of the trade
Published
• View Publication
• BIB
The combination of the group ring setting with the methods of character theory allows an elegant and powerful analysis of various combinatorial structures, via their character sums. These combinatorial structures include difference sets, relative difference sets, partial difference sets, bent functions, hyperplanes, spreads, and LP-packings. However, the literature on these techniques often relies on peculiar conventions and implicit understandings that are not always readily accessible to those new to the subject. While there are many excellent advanced sources describing these techniques, we are not aware of an expository paper at the introductory level that articulates the commonly used ``tricks of the trade''. We attempt to remedy this situation by means of illustrative examples, explicit discussion of conventions, and instructive proofs of fundamental results.
On Jacobian group of the $Δ$-graph
Published
• View Publication
• BIB
In the present paper we compute the Jacobian group of $Δ$-graph $Δ(n; k, l, m).$ The notion of $Δ$-graph continues the list of families of $I$-, $Y$- and $H$-graphs well-known in the graph theory. In particular, graph $Δ(n; 1, 1, 1)$ is isomorphic to discrete torus $C_3\times C_n.$ It this case, the structure of the Jacobian group will be find explicitly.
Clique covers of H-free graphs
It takes $n^2/4$ cliques to cover all the edges of a complete bipartite graph $K_{n/2,n/2}$, but how many cliques does it take to cover all the edges of a graph $G$ if $G$ has no $K_{t,t}$ induced subgraph? We prove that $O(|G|^{2-1/(2t)})$ cliques suffice; and also prove that, even for graphs with no stable set of size four, we may need more than linearly many cliques. This settles two questions discussed at a recent conference in Lyon.
Clustering of consecutive numbers in permutations avoiding a pattern of length three or avoiding a finite number of simple patterns
Published
• View Publication
• BIB
For $η\in S_3$, let $S_n^{\text{av}(η)}$ denote the set of permutations in $S_n$ that avoid the pattern $η$, and let $E_n^{\text{av}(η)}$ denote the expectation with respect to the uniform probability measure on $S_n^{\text{av}(η)}$. For $n\ge k\ge2$ and $τ\in S_k^{\text{av}(η)}$, let $N_n^{(k)}(σ)$ denote the number of occurrences of $k$ consecutive numbers appearing in $k$ consecutive positions in $σ\in S_n^{\text{av}(η)}$, and let $N_n^{(k;τ)}(σ)$ denote the number of such occurrences for which the order of the appearance of the $k$ numbers is the pattern $τ$.
We obtain explicit formulas for $E_n^{\text{av}(η)}N_n^{(k;τ)}$ and $E_n^{\text{av}(η)}N_n^{(k)}$, for all $2\le k\le n$, all $η\in S_3$ and all $τ\in S_k^{\text{av}(η)}$. These exact formulas then yield asymptotic formulas as $n\to\infty$ with $k$ fixed, and as $n\to\infty$ with $k=k_n\to\infty$. We also obtain analogous results for
$S_n^{\text{av}(η_1,\cdots,η_r)}$, the subset of $S_n$ consisting of permutations avoiding the patterns $\{τ_i\}_{i=1}^r$, where $τ_i\in S_{m_i}$, in the case that $\{τ_i\}_{i=1}^n$ are all simple permutations. A particular case of this is the set of separable permutations, which corresponds to $r=2$, $τ_1=2413,τ_2=3142$.
Stabilization of Capacitated Matching Games
Published
• View Publication
• BIB
An edge-weighted, vertex-capacitated graph G is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the existence of stable solutions for popular combinatorial games that involve the structure of matchings in graphs, such as network bargaining games and cooperative matching games.
The vertex-stabilizer problem asks to compute a minimum number of players to block (i.e., vertices of G to remove) in order to ensure stability for such games. The problem has been shown to be solvable in polynomial-time, for unit-capacity graphs. This stays true also if we impose the restriction that the set of players to block must not intersect with a given specified maximum matching of G.
In this work, we investigate these algorithmic problems in the more general setting of arbitrary capacities. We show that the vertex-stabilizer problem with the additional restriction of avoiding a given maximum matching remains polynomial-time solvable. Differently, without this restriction, the vertex-stabilizer problem becomes NP-hard and even hard to approximate, in contrast to the unit-capacity case.
Finally, in unit-capacity graphs there is an equivalence between the stability of a graph, existence of a stable solution for network bargaining games, and existence of a stable solution for cooperative matching games. We show that this equivalence does not extend to the capacitated case.
Online size Ramsey numbers: Path vs $C_4$
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, a size Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder's goal is to force Painter to create a red copy of $G$ or a blue copy of $H$ as soon as possible. The online (size) Ramsey number $\tilde r(G,H)$ is the number of rounds in the game provided Builder and Painter play optimally. We prove that $\tilde r(C_4,P_n)\le 2n-2$ for every $n\ge 8$. The upper bound matches the lower bound obtained by J. Cyman, T. Dzido, J. Lapinskas, and A. Lo, so we get $\tilde r(C_4,P_n)=2n-2$ for $n\ge 8$. Our proof for $n\le 13$ is computer assisted. The bound $\tilde r(C_4,P_n)\le 2n-2$ solves also the "all cycles vs. $P_n$" game for $n\ge 8$ $-$ it implies that it takes Builder $2n-2$ rounds to force Painter to create a blue path on $n$ vertices or any red cycle.
Some invariants related to threshold and chain graphs
Published
• View Publication
• BIB
Let G = (V, E) be a finite simple connected graph. We say a graph G realizes a code of the type 0^s_1 1^t_1 0^s_2 1^t_2 ... 0^s_k1^t_k if and only if G can obtained from the code by some rule. Some classes of graphs such as threshold and chain graphs realizes a code of the above mentioned type. In this paper, we develop some computationally feasible methods to determine some interesting graph theoretical invariants. We present an efficient algorithm to determine the metric dimension of threshold and chain graphs. We compute threshold dimension and restricted threshold dimension of threshold graphs. We discuss L(2, 1)-coloring of threshold and chain graphs. In fact, for every threshold graph G, we establish a formula by which we can obtain the λ-chromatic number of G. Finally, we provide an algorithm to compute the λ-chromatic number of chain graphs.
Typical values of extremal-weight combinatorial structures with independent symmetric weights
Published in Electron. J. Combin. 30 (2023), no. 1, Paper No. 1.12, 12 pp
• View Publication
• BIB
Suppose that the edges of a complete graph are assigned weights independently at random and we ask for the weight of the minimal-weight spanning tree, or perfect matching, or Hamiltonian cycle. For these and several other common optimisation problems, we establish asymptotically tight bounds when the weights are independent copies of a symmetric random variable (satisfying a mild condition on tail probabilities), in particular when the weights are Gaussian.
A vertex operator reformulation of the Kanade-Russell conjecture modulo 9
Published
• View Publication
• BIB
We reformulate the Kanade-Russell conjecture modulo 9 via the vertex operators for the level 3 standard modules of type $D^{(3)}_{4}$. Along the same line, we arrive at three partition theorems which may be regarded as an $A^{(2)}_{4}$ analog of the conjecture. One had been proven by Andrews-van Ekeren-Heluani and we point out that the others are easily proved from their results.
Atomic length on Weyl groups
Published
• View Publication
• BIB
We define a new statistic on Weyl groups called the atomic length and investigate its combinatorial and representation-theoretic properties. In finite types, we show a number of properties of the atomic length which are reminiscent of the properties of the usual length. Moreover, we prove that, with the exception of rank two, this statistic describes an interval. In affine types, our results shed some light on classical enumeration problems, such as the celebrated Granville-Ono theorem on the existence of core partitions, by relating the atomic length to the theory of crystals.