Showing 20 papers (Total: 83722 papers, 48319 authors in database)
On Sharp Bounds of Local Fractional Metric Dimension for Certain Symmetrical Algebraic Structure Graphs
Published in Symmetry 15 (2023), no. 10, Art. 1911, 25pp
• View Publication
• BIB
The smallest set of vertices needed to differentiate or categorize every other vertex in a graph is referred to as the graph's metric dimension. Finding the class of graphs for a particular given metric dimension is an NP-hard problem. This concept has applications in many different domains, including graph theory, network architecture, and facility location problems. A graph $G$ with order $n$ is known as a Toeplitz graph over the subset $S$ of consecutive collections of integers from one to $n$, and two vertices will be adjacent to each other if their absolute difference is a member of $S$. A graph $G(\mathbb{Z}_{n})$ is called a zero-divisor graph over the zero divisors of a commutative ring $\mathbb{Z}_{n}$, in which two vertices will be adjacent to each other if their product will leave the remainder zero under modulo $n$. Since the local fractional metric dimension problem is NP-hard, it is computationally difficult to identify an optimal solution or to precisely determine the minimal size of a local resolving set; in the worst case, the process takes exponential time. Different upper bound sequences of local fractional metric dimension are suggested in this article, along with a comparison analysis for certain families of Toeplitz and zero-divisor graphs. Furthermore, we note that the analyzed local fractional metric dimension upper bounds fall into three metric families: constant, limited, and unbounded.
Comparison of symbolic and ordinary powers of parity binomial edge ideals
Published in Monatshefte für Mathematik (2023)
• View Publication
• BIB
In this paper, we investigate when symbolic and ordinary powers of the parity binomial edge ideal of a graph fail to be equal. It turns out that if $\mathcal{I}_{G}$ is the parity binomial edge ideal of a graph $G$, then in each of the following cases the symbolic power $\mathcal{I}_{G}^{(t)}$ and the ordinary power $\mathcal{I}_{G}^t$ are not equal for some $t$: (i) the clique number of $G$ is greater than 3; (ii) $G$ has a net; or (iii) $G$ has a PT as an induced subgraph.
Spanning trees in pseudorandom graphs via sorting networks
Published
• View Publication
• BIB
We show that $(n,d,λ)$-graphs with $λ=O(d/\log^3 n)$ are universal with respect to all bounded degree spanning trees. This significantly improves upon the previous best bound due to Han and Yang of the form $λ=d/\exp{(O(\sqrt{\log n}))}$, and makes progress towards a problem of Alon, Krivelevich, and Sudakov from 2007. Our proof relies on the existence of sorting networks of logarithmic depth, as given by a celebrated construction of Ajtai, Komlós and Szemerédi. Using this construction, we show that the classical vertex-disjoint paths problem can be solved for a set of vertices fixed in advance.
Combinatorics of nondeterministic walks
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. The main difference to classical walks is that its nondeterministic steps consist of sets of steps from a predefined set such that all possible extensions are explored in parallel. We discuss in detail the most natural nondeterministic step sets (Dyck and Motzkin step sets), and show that several nondeterministic classes of lattice paths, such as nondeterministic bridges, excursions, and meanders are algebraic. The key concept is the generalization of the ending point of a walk to its reachable points, i.e., a set of ending points. We extend our results to general step sets: We show that nondeterministic bridges and several subclasses of nondeterministic meanders are always algebraic. We conjecture the same is true for nondeterministic excursions, and we present python and Maple packages to support our conjecture. This research is motivated by the study of networks involving encapsulation and decapsulation of protocols. Our results are obtained using generating functions, analytic combinatorics, and additive combinatorics.
Keywords. Random walks, analytic combinatorics, generating functions, limit laws, networking, encapsulation.
A note on multicolour Erdős-Hajnal conjecture
Published
• View Publication
• BIB
Informally, the Erdős-Hajnal conjecture (shortly EH-conjecture) asserts that if a sufficiently large host clique on $n$ vertices is edge-coloured avoiding a copy of some fixed edge-coloured clique, then there is a large homogeneous set of size $n^β$ for some positive $β$, where a set of vertices is homogeneous if it does not induce all the colours. This conjecture, if true, claims that imposing local conditions on edge-partitions of cliques results in a global structural consequence such as a large homogeneous set, a set avoiding all edges of some part. While this conjecture attracted a lot of attention, it is still open even for two colours. In this note, we reduce the multicolour EH-conjecture to the case when the number of colours used in a host clique is either the same as in the forbidden pattern or one more. We exhibit a non-monotonicity behaviour of homogeneous sets in coloured cliques with forbidden patterns by showing that allowing an extra colour in the host graph could actually decrease the size of a largest homogeneous set.
Minimal Arrangements of Spherical Geodesics
We study arrangements of geodesic arcs on a sphere, where all arcs are internally disjoint and each arc has its endpoints located within the interior of other arcs. We establish fundamental results concerning the minimum number of arcs in such arrangements, depending on local geometric constraints such as "one-sidedness" and "k-orientation".
En route to these results, we generalize and settle an open problem from CCCG 2022, proving that any such arrangement has at least two "clockwise swirls" and at least two "counterclockwise swirls".
GM-rule and its applications to impartial games
Given integer $n \geq 1, \ell \geq 2$, and vector $x = (x_1, \ldots, x_n)$ that has an entry which is a multiple of $\ell$ and such that $x_1 \leq \ldots \leq x_n$, the GM-rule is defined as follows: Keep the rightmost minimal entry $x_i$ of $x$, which is a multiple of $\ell$ and reduce the remaining $n-1$ entries of $x$ by~1. We will call such $i$ the {\em pivot} and $x_i$ the {\em pivotal entry}. The GM-rule respects monotonicity of the entries. It uniquely determines a GM-move $x^0 \to x^1$ and an infinite GM-sequence $S$ that consists of successive GM-moves $x = x^0 \to x^1 \to \ldots \to x^j \to \ldots$ . If $range(x) = x_n - x_1 \leq \ell$ then for all $j \geq 0$:
(i) $range(x^j) \leq \ell$;
(ii) the pivot of $x^{j + \ell}$ is one less than the pivot of $x^j$, assuming that $1 - 1 = 0 = n$.
(iii) $x_i^j - x_i^{j + n \ell} = (n-1) \ell$ for all $i = 1,\ldots,n$.
Due to (iii), we compute $x^j$ in time linear in $n, \ell, \log(j)$, and $\sum^n_{i=1}\log(|x_i|+1)$. For $\ell = 2$ a slighty modified version of the GM-rule was recently introduced by Gurvich, Martynov, Maximchuk, and Vyalyi, "On Remoteness Functions of Exact Slow $k$-NIM with $k+1$ Piles", arXiv:2304.06498 (2023), where applications to impartial games were considered.
On polynomial degree-boundedness
Published in Advances in Combinatorics 2024:5, 16pp
• View Publication
• BIB
We prove a conjecture of Bonamy, Bousquet, Pilipczuk, Rzążewski, Thomassé, and Walczak, that for every graph $H$, there is a polynomial $p$ such that for every positive integer $s$, every graph of average degree at least $p(s)$ contains either $K_{s,s}$ as a subgraph or contains an induced subdivision of $H$. This improves upon a result of Kühn and Osthus from 2004 who proved it for graphs whose average degree is at least triply exponential in $s$ and a recent result of Du, Girão, Hunter, McCarty and Scott for graphs with average degree at least singly exponential in $s$. As an application, we prove that the class of graphs that do not contain an induced subdivision of $K_{s,t}$ is polynomially $χ$-bounded. In the case of $K_{2,3}$, this is the class of theta-free graphs, and answers a question of Davies. Along the way, we also answer a recent question of McCarty, by showing that if $\mathcal{G}$ is a hereditary class of graphs for which there is a polynomial $p$ such that every bipartite $K_{s,s}$-free graph in $\mathcal{G}$ has average degree at most $p(s)$, then more generally, there is a polynomial $p'$ such that every $K_{s,s}$-free graph in $\mathcal{G}$ has average degree at most $p'(s)$. Our main new tool is an induced variant of the Kővári-Sós-Turán theorem, which we find to be of independent interest.
A Classification of Graphs through Quadratic Embedding Constants and Clique Graph Insights
Published in Communications in Combinatorics and Optimization, 2024
• View Publication
• BIB
The quadratic embedding constant (QEC) of a graph $G$ is a new numeric invariant, which is defined in terms of the distance matrix and is denoted by $\mathrm{QEC}(G)$. By observing graph structure of the maximal cliques (clique graph), we show that a graph $G$ with $\mathrm{QEC}(G)<-1/2$ admits a ``cactus-like'' structure. We derive a formula for the quadratic embedding constant of a graph consisting of two maximal cliques. As an application we discuss characterization of graphs along the increasing sequence of $\mathrm{QEC}(P_d)$, where $P_d$ is the path on $d$ vertices. In particular, we determine graphs $G$ satisfying $\mathrm{QEC}(G)<\mathrm{QEC}(P_5)$.
Simple proofs for lattice coverings and sparse tensors
Published
• View Publication
• BIB
We provide simple proofs of analogues for coverings numbers of lattices of several recently studied basic statements on the ranks of tensors. We highlight the differences and analogies between the proofs in both settings.
Combinatorial Hodge Theory in Simplicial Signal Processing -- DAFx2023 Lecture Notes
Lecture notes of a tutorial on Combinatorial Hodge Theory in Simplicial Signal Processing held at international conference for digital audio effects (DAFx-23) in Copenhagen, Denmark.
On the combinatorics of $k$-Naples parking functions and parking strategies
We propose a characterization of $k$-Naples parking functions in terms of subsequences with the structure of a complete $k$-Naples parking function. We define complete parking preferences by requiring that for all $j=2,\dots,n$, the number of cars having preference at least $j$ is strictly greater than the number of spots in $[j,n]$. We also provide a characterization of permutation invariant $k$-Naples parking functions. Finally, we introduce a generalization of the parking problem where each car is given its own parking rule, by defining parking strategies as vectors of rules that allow all cars to park. Given a parking preference, we also investigate ways to find parking strategies that minimize certain natural parameters, such as the total number of backward steps, or the number of cars that need to drive backwards.
A binary invariant of matrix mutation
Published
• View Publication
• BIB
We construct a binary mutation invariant for skew-symmetric integer matrices. The invariant is not an integer congruence invariant for matrices of odd size: we provide examples of congruent such matrices with different values for the invariant.
Computing Remoteness Functions of Moore, Wythoff, and Euclid's games
Published
• View Publication
• BIB
We study remoteness function $\mathcal R$ of impartial games introduced by Smith in 1966. The player who moves from a position $x$ can win if and only if $\mathcal R(x)$ is odd. The odd values of $\mathcal R(x)$ show how soon the winner can win, while even values show how long the loser can resist, provided both players play optimally. This function can be applied to the conjunctive compounds of impartial games, in the same way as the Sprague-Grundy function is applicable to their disjunctive compounds.
We provide polynomial algorithms computing $\mathcal R(x)$ for games Euclid and generalized Wythoff. For Moore's NIM we give a simple explicit formula for $\mathcal R(x)$ if it is even and show that computing it becomes an NP-hard problem for the odd values.
The partition algebra and the plethysm coefficients II: ramified plethysm
Published
• View Publication
• BIB
The plethysm coefficient $p(ν, μ, λ)$ is the multiplicity of the Schur function $s_λ$ in the plethysm product $s_ν\circ s_μ$. In this paper we use Schur--Weyl duality between wreath products of symmetric groups and the ramified partition algebra to interpret an arbitrary plethysm coefficient as the multiplicity of an appropriate composition factor in the restriction of a module for the ramified partition algebra to the partition algebra. This result implies new stability phenomenon for plethysm coefficients when the first parts of $ν$, $μ$ and $λ$ are all large. In particular, it gives the first positive formula in the case when $ν$ and $λ$ are arbitrary and $μ$ has one part. Corollaries include new explicit positive formulae and combinatorial interpretations for the plethysm coefficients $p((n-b,b), (m), (mn-r,r))$, and $p((n-b,1^b), (m), (mn-r,r))$ when $m$ and $n$ are large.
A necessary and sufficient condition for double coset lumping of Markov chains on groups with an application to the random to top shuffle
Published
• View Publication
• BIB
Let $Q$ be a probability measure on a finite group $G$, and let $H$ be a subgroup of $G$. We show that a necessary and sufficient condition for the random walk driven by $Q$ on $G$ to induce a Markov chain on the double coset space $H\backslash G/H$, is that $Q(gH)$ is constant as $g$ ranges over any double coset of $H$ in $G$. We obtain this result as a corollary of a more general theorem on the double cosets $H \backslash G / K$ for $K$ an arbitrary subgroup of $G$. As an application we study a variation on the $r$-top to random shuffle which we show induces an irreducible, recurrent, reversible and ergodic Markov chain on the relevant double cosets. The transition matrix of the induced walk has remarkable spectral properties: we find its invariant distribution and its eigenvalues and hence determine its rate of convergence.
Linear extensions of finite posets
Published
• View Publication
• BIB
We give a broad survey of inequalities for the number of linear extensions of finite posets. We review many examples, discuss open problems, and present recent results on the subject. We emphasize the bounds, the equality conditions of the inequalities, and the computational complexity aspects of the results.
Charging solid partitions
Published
• View Publication
• BIB
Solid partitions are the 4D generalization of the plane partitions in 3D and Young diagrams in 2D, and they can be visualized as stacking of 4D unit-size boxes in the positive corner of a 4D room. Physically, solid partitions arise naturally as 4D molten crystals that count equivariant D-brane BPS states on the simplest toric Calabi-Yau fourfold, $\mathbb{C}^4$, generalizing the 3D statement that plane partitions count equivariant D-brane BPS states on $\mathbb{C}^3$. In the construction of BPS algebras for toric Calabi-Yau threefolds, the so-called charge function on the 3D molten crystal is an important ingredient -- it is the generating function for the eigenvalues of an infinite tower of Cartan elements of the algebra. In this paper, we derive the charge function for solid partitions. Compared to the 3D case, the new feature is the appearance of contributions from certain 4-box and 5-box clusters, which will make the construction of the corresponding BPS algebra much more complicated than in the 3D.
Signed graphs and inverses of their incidence matrices
Published
• View Publication
• BIB
The Laplacian matrix $L$ of a signed graph $G$ may or may not be invertible. We present a combinatorial formula of the Moore-Penrose inverse of $L$. This is achieved by finding a combinatorial formula for the Moore-Penrose inverse of an incidence matrix of $G$. This work generalizes related known results on incidence and Laplacian matrices of an unsigned graph. Several examples are provided to show the usefulness of these combinatorial formulas.
There is no perfect Mondrian partition for squares of side lengths less than 1001
In mathematics, a dissection of a square (or rectangle) into non-congruent rectangles is a Mondrian partition. If all the rectangles have the same area, it is called a perfect Mondrian partition. In this paper, we present a computational result by which we can affirm that there is no perfect Mondrian partition of a length $n$ square for $n\leq 1000$. Using the same algorithm we have been able to establish that there is no perfect Mondrian partition of a $n \times m$ rectangle for $n,m \leq 400$.