Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Linear Layouts of Complete Graphs
Published
• View Publication
• BIB
A page (queue) with respect to a vertex ordering of a graph is a set of edges such that no two edges cross (nest), i.e., have their endpoints ordered in an ABAB-pattern (ABBA-pattern). A union page (union queue) is a vertex-disjoint union of pages (queues). The union page number (union queue number) of a graph is the smallest $ k $ such that there is a vertex ordering and a partition of the edges into $ k $ union pages (union queues). The local page number (local queue number) is the smallest $ k $ for which there is a vertex ordering and a partition of the edges into pages (queues) such that each vertex has incident edges in at most $ k $ pages (queues).
We present upper and lower bounds on these four parameters for the complete graph $ K_n $ on $ n $ vertices. In three cases we obtain the exact result up to an additive constant. In particular, the local page number of $ K_n $ is $ n/3 \pm O(1) $, while its local and union queue number is $ (1-1/\sqrt{2})n \pm O(1) $. The union page number of $ K_n $ is between $ n/3 - O(1) $ and $ 4n/9 + O(1) $.
Edge Partitions of Complete Geometric Graphs (Part 1)
In this paper, we disprove the long-standing conjecture that any complete geometric graph on $2n$ vertices can be partitioned into $n$ plane spanning trees. Our construction is based on so-called bumpy wheel sets. We fully characterize which bumpy wheels can and in particular which \emph{cannot} be partitioned into plane spanning trees (or even into arbitrary plane \emph{subgraphs}), including a complete description of all possible partitions (into plane spanning trees).
Furthermore, we show a sufficient condition for \emph{generalized wheels} to not admit a partition into plane spanning trees, and give a complete characterization when they admit a partition into plane spanning double stars.
Automorphisms of the double cover of a circulant graph of valency at most 7
A graph $X$ is said to be unstable if the direct product $X \times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is nontrivially unstable if it is unstable, connected, and non-bipartite, and no two distinct vertices of X have exactly the same neighbors.
We find all of the nontrivially unstable circulant graphs of valency at most $7$. (They come in several infinite families.) We also show that the instability of each of these graphs is explained by theorems of Steve Wilson. This is best possible, because there is a nontrivially unstable circulant graph of valency $8$ that does not satisfy the hypotheses of any of Wilson's four instability theorems for circulant graphs.
On connectivity, domination number and spectral radius of the proper enhanced power graphs of finite nilpotent groups
Published
• View Publication
• BIB
For a group $G,$ the enhanced power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x, y$ are adjacent if and only if there exists an element $w$ in $G$ such that both $x$ and $y$ are powers of $w.$ The proper enhanced power graph is the induced subgraph of the enhanced power graph on the set $G \setminus S,$ where $S$ is the set of dominating vertices of the enhanced power graph. In this paper, we first characterize the dominating vertices of enhanced power graph of any finite nilpotent group. Thereafter, we classify all nilpotent groups $G$ such that the proper enhanced power graphs are connected and find out their diameter. We also explicitly find out the domination number of proper enhanced power graphs of finite nilpotent groups. Finally, we determine the multiplicity of the Laplacian spectral radius of the enhanced power graphs of nilpotent groups.
A simplified second-order Gaussian Poincaré inequality in discrete setting with applications
Published in Ann. Inst. H. Poincare Probab. Statist. 2023, Vol. 59, No. 1, 271-302
• View Publication
• BIB
In this paper, a simplified second-order Gaussian Poincaré inequality for normal approximation of functionals over infinitely many Rademacher random variables is derived. It is based on a new bound for the Kolmogorov distance between a general Rademacher functional and a Gaussian random variable, which is established by means of the discrete Malliavin-Stein method and is of independent interest. As an application, the number of vertices with prescribed degree and the subgraph counting statistic in the Erdös-Rényi random graph are discussed. The number of vertices of fixed degree is also studied for percolation on the Hamming hypercube. Moreover, the number of isolated faces in the Linial-Meshulam-Wallach random $κ$-complex and infinite weighted 2-runs are treated.
A Note on the Number of Permutations whose Cycle Lengths Are Prime Numbers
Let $A$ be a set of natural numbers and let $S_{n,A}$ be the set of all permutations of $[n]=\{1,2,...,n\}$ with cycle lengths belonging to $A$. For $A(n)=A\cap [n]$, the limit $ρ=\lim_{n\to\infty}\mid A(n)\mid/n$ (if it esists) is usually called the density of set $A$. (Here $\mid B\mid$ stands for the cardinality of the set $B$.) Several studies show that the asymptotic behavior of the cardinality $\mid S_{n,A}\mid$, as $n\to\infty$, depends on the density $ρ$. It turns out that the asumption $ρ>0$ plays an essential role in the asymptotic analysis of $\mid S_{n,A}\mid$. Kolchin (1999) noticed that there is a lack of studies on classes of permutations satisfying $ρ=0$ and proposed investigations on certain particular cases. In this note, we consider the permutations whose cycle lengths are prime numbers, that is, we assume that $A=\mathcal{P}$, where $\mathcal{P}$ denotes the set of all primes. From the Prime Number Theorem it follows that $ρ=0$ for this class of permutations. We deduce an asymptotic formula for the summatory function $\sum_{k\le n}\mid S_{k,\mathcal{P}}\mid/k!$ as $n\to\infty$. In our proof we employ the classical Hardy-Littlewood-Karamata Tauberian theorem.
Linear Bounds for Cycle-free Saturation Games
Published in The Electronic Journal of Combinatorics 29(3), 5:1-5:21, 2022
• View Publication
• BIB
Given a family of graphs $\mathcal{F}$, we define the $\mathcal{F}$-saturation game as follows. Two players alternate adding edges to an initially empty graph on $n$ vertices, with the only constraint being that neither player can add an edge that creates a subgraph in $\mathcal{F}$. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let $\textrm{sat}_g(n,\mathcal{F})$ denote the number of edges that are in the final graph when both players play optimally. In general there are very few non-trivial bounds on the order of magnitude of $\textrm{sat}_g(n,\mathcal{F})$. In this work, we find collections of infinite families of cycles $\mathcal{C}$ such that $\textrm{sat}_g(n,\mathcal{C})$ has linear growth rate.
Transportation Polytope and its Applications in Parallel Server Systems
A parallel server system is a stochastic processing network with applications in manufacturing, supply chain, ride-hailing, call centers, etc. Heterogeneous customers arrive in the system, and only a subset of servers can serve any customer type given by the flexibility graph. The goal of the system operator is to minimize the delay that depends on the scheduling policy and the flexibility graph. A long line of literature focuses on designing near-optimal scheduling policies given a flexibility graph. On the contrary, we fix the scheduling policy to be the so-called MaxWeight scheduling given its superior delay performance and focus on designing near-optimal, sparse flexibility graphs. Our contributions are threefold.
First, we analyze the expected delay in the heavy-traffic asymptotic regime in terms of the properties of the flexibility graph and use this result to translate the design question in terms of transportation polytope, the deterministic equivalent of parallel server queues. Second, we design the sparsest flexibility graph that achieves a given delay performance and shows the robustness of the design to demand uncertainty. Third, given the budget to add edges arrives sequentially in time, we present the optimal schedule for adding them to the flexibility graph. These results are obtained by proving new results for transportation polytopes and are of independent interest. In particular, translating the difficulties to a simpler model, i.e. transportation polytope, allows us to develop a unified framework to answer several design questions.
Polynomial algorithms computing two lexicographically safe Nash equilibria in finite two-person games with tight game forms given by oracles
Published
• View Publication
• BIB
In 1975 the first author proved that every finite tight two-person game form $g$ is Nash-solvable, that is, for every payoffs $u$ and $w$ of two players the obtained game $(g;u,w)$, in normal form, has a Nash equilibrium (NE) in pure strategies. This result was extended in several directions; here we strengthen it further. We construct two special NE realized by a lexicographically safe (lexsafe) strategy of one player and a best response of the other. We obtain a polynomial algorithm computing these lexsafe NE. This is trivial when game form $g$ is given explicitly. Yet, in applications $g$ is frequently realized by an oracle $\cO$ such that size of $g$ is exponential in size $|\cO|$ of $\cO$. We assume that game form $g = g(\cO)$ generated by $\cO$ is tight and that an arbitrary {\em win-lose game} $(g;u,w)$ (in which payoffs $u$ and $w$ are zero-sum and take only values $\pm 1$) can be solved, in time polynomial in $|\cO|$. These assumptions allow us to construct an algorithm computing two (one for each player) lexsafe NE in time polynomial in $|\cO|$. We consider four types of oracles known in the literature and show that all four satisfy the above assumptions.
The Core Conjecture of Hilton and Zhao II: a Proof
A simple graph $G$ with maximum degree $Δ$ is overfull if $|E(G)|>Δ\lfloor |V(G)|/2\rfloor$. The core of $G$, denoted $G_Δ$, is the subgraph of $G$ induced by its vertices of degree $Δ$. Clearly, the chromatic index of $G$ equals $Δ+1$ if $G$ is overfull. Conversely, Hilton and Zhao in 1996 conjectured that if $G$ is a simple connected graph with $Δ\ge 3$ and $Δ(G_Δ)\le 2$, then $χ'(G)=Δ+1$ implies that $G$ is overfull or $G=P^*$, where $P^*$ is obtained from the Petersen graph by deleting a vertex. Cariolaro and Cariolaro settled the base case $Δ=3$ in 2003, and Cranston and Rabern proved the next case $Δ=4$ in 2019. In this paper, we give a proof of this conjecture for all $Δ\ge 4$.
Improved Parallel Algorithm for Minimum Cost Submodular Cover Problem
In the minimum cost submodular cover problem (MinSMC), we are given a monotone nondecreasing submodular function $f\colon 2^V \rightarrow \mathbb{Z}^+$, a linear cost function $c: V\rightarrow \mathbb R^{+}$, and an integer $k\leq f(V)$, the goal is to find a subset $A\subseteq V$ with the minimum cost such that $f(A)\geq k$. The MinSMC can be found at the heart of many machine learning and data mining applications. In this paper, we design a parallel algorithm for the MinSMC that takes at most $O(\frac{\log km\log k(\log m+\log\log mk)}{\varepsilon^4})$ adaptive rounds, and it achieves an approximation ratio of $\frac{H(\min\{Δ,k\})}{1-5\varepsilon}$ with probability at least $1-3\varepsilon$, where $Δ=\max_{v\in V}f(v)$, $H(\cdot)$ is the Harmonic number, $m=|V|$, and $\varepsilon$ is a constant in $(0,\frac{1}{5})$.
The non-commutative Korteweg--de Vries hierarchy and combinatorial Poppe algebra
Published
• View Publication
• BIB
We give a constructive proof, to all orders, that each member of the non-commutative potential Korteweg-de Vries hierarchy is a Fredholm Grassmannian flow and is therefore linearisable. Indeed we prove this for any linear combination of fields from this hierarchy. That each member of the hierarchy is linearisable, and integrable in this sense, means that the time evolving solution can be generated from the solution to the corresponding linear dispersion equation in the hierarchy, combined with solving an associated linear Fredholm equation representing the Marchenko equation. Further, we show that within the class of polynomial partial differential fields, at every order, each member of the non-commutative potential Korteweg--de Vries hierarchy is unique. Indeed, we prove to all orders, that each such member matches the non-commutative Lax hierarchy field, which is therefore a polynomial partial differential field. We achieve this by constructing the abstract combinatorial algebra that underlies the non-commutative potential Korteweg-de Vries hierarchy. This algebra is the non-commutative polynomial algebra over the real line generated by the set of all compositions endowed with the Poppe product. This product is the abstract representation of the product rule for Hankel operators pioneered by Ch. Poppe for integrable equations such as the Sine-Gordon and Korteweg-de Vries equations. Integrability of the hierarchy members translates, in the combinatorial algebra, to proving the existence of a `Poppe polynomial' expansion for basic compositions in terms of `linear signature expansions'. Proving the existence of such Poppe polynomial expansions boils down to solving a linear algebraic problem for the expansion coefficients, which we solve constructively to all orders.
A Note on Squares in Binary Words
Published
• View Publication
• BIB
We consider words over a binary alphabet. A word $w$ is overlap-free if it does not have factors (blocks of consecutive letters) of the form $uvuvu$ for nonempty $u$. Let $M(w)$ denote the number of positions that are middle positions of squares in $w$. We show that for overlap-free binary words, $2M(w) \le |w|+3$, and that there are infinitely many overlap-free binary words for which $2M(w)=|w|+3$.
Distinguishing classes of intersection graphs of homothets or similarities of two convex disks
For smooth convex disks $A$, i.e., convex compact subsets of the plane with non-empty interior, we classify the classes $G^{\text{hom}}(A)$ and $G^{\text{sim}}(A)$ of intersection graphs that can be obtained from homothets and similarities of $A$, respectively. Namely, we prove that $G^{\text{hom}}(A)=G^{\text{hom}}(B)$ if and only if $A$ and $B$ are affine equivalent, and $G^{\text{sim}}(A)=G^{\text{sim}}(B)$ if and only if $A$ and $B$ are similar.
On maximal sum-free sets in abelian groups
Published
• View Publication
• BIB
Balogh, Liu, Sharifzadeh and Treglown [Journal of the European Mathematical Society, 2018] recently gave a sharp count on the number of maximal sum-free subsets of $\{1, \dots, n\}$, thereby answering a question of Cameron and Erdős. In contrast, not as much is know about the analogous problem for finite abelian groups. In this paper we give the first sharp results in this direction, determining asymptotically the number of maximal sum-free sets in both the binary and ternary spaces $\mathbb Z^k_2$ and $\mathbb Z^k_3$. We also make progress on a conjecture of Balogh, Liu, Sharifzadeh and Treglown concerning a general lower bound on the number of maximal sum-free sets in abelian groups of a fixed order. Indeed, we verify the conjecture for all finite abelian groups with a cyclic component of size at least 3084. Other related results and open problems are also presented.
Optimal inequalities and extremal problems on the general Sombor index
In this work we obtain new lower and upper optimal bounds of general Sombor indices. Specifically, we have inequalities for these indices relating them with other indices: the first Zagreb index, the forgotten index and the first variable Zagreb index. Finally, we solve some extremal problems for general Sombor indices.
On Denert's statistic
Published
• View Publication
• BIB
We show that the numerators of genus zeta function associated with local hereditary orders studied by Denert can be described in terms of the joint distribution of Euler-Mahonian statistics on multiset permutations defined by Han. We use this result to deduce a reciprocity property for genus zeta functions of local hereditary orders whose associated composition is a rectangle. We also record a remarkable identity satisfied by genus zeta functions of local hereditary orders in terms of Hadamard products of genus zeta functions of maximal orders. Finally, we define Mahonian companions of excedance statistics on groups of signed and even-signed permutations.
The Sticky Matroid Conjecture
We show Kantor's conjecture (1974) holds in rank 4. This proves both the sticky matroid conjecture of Poljak and Turzik (1982) and the whole Kantor's conjecture, due to an argument of Bachem, Kern, and Bonin, and an equivalence argument of Hochstattler and Wilhelmi, respectively.
Edge Forcing in Butterfly Networks
Published in Fundamenta Informaticae, Volume 182, Issue 3 (November 18, 2021) fi:8351
• View Publication
• BIB
A zero forcing set is a set $S$ of vertices of a graph $G$, called forced vertices of $G$, which are able to force the entire graph by applying the following process iteratively: At any particular instance of time, if any forced vertex has a unique unforced neighbor, it forces that neighbor. In this paper, we introduce a variant of zero forcing set that induces independent edges and name it as edge-forcing set. The minimum cardinality of an edge-forcing set is called the edge-forcing number. We prove that the edge-forcing problem of determining the edge-forcing number is NP-complete. Further, we study the edge-forcing number of butterfly networks. We obtain a lower bound on the edge-forcing number of butterfly networks and prove that this bound is tight for butterfly networks of dimensions 2, 3, 4 and 5 and obtain an upper bound for the higher dimensions.
The line graph of the crown graph is distance integral
Published
• View Publication
• BIB
The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. A crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. In this paper, by using the orbit partition method in algebraic graph theory, we determine the set of all distance eigenvalues of $L(Cr(n))$ and show that this graph is distance integral.