Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Lower bounds for the depth of second power of edge ideals
Published
• View Publication
• BIB
Assume that $G$ is a graph with edge ideal $I(G)$. We provide sharp lower bounds for the depth of $I(G)^2$ in terms of the star packing number of $G$.
Automorphisms of Set Families and of Families of Cliques in an Interval Graph in FPT Time
We consider the following problem closely related to graph isomorphism. In a simplified version, the task is to compute the automorphism group of a given set family (or a hypergraph), that is, the group of all automorphisms of the given sets which are compatible with some permutation of their elements. In a general setting, the set family in question is a collection of cliques (called marked cliques) of a given interval graph, and the task is to compute the group of all permutations of the cliques which result from some automorpism of the underlying interval graph. This problem is obviously at least as hard as the graph isomorphism (GI-hard) already in the simplified version -- consider the set family of edges of a graph, and we give an FPT-time algorithm parameterized by the maximum number of sets in the family which are incomparable by inclusion (its antichain size). To our best knowledge, the general version of the problem has not been formulated in the literature so far. The problem has been inspired by the research of special cases of the isomorphism problem of chordal graphs; namely, the simplified set-family version is the core of our FPT algorithm for the isomorphism of so-called Sd-graphs [MFCS 2021], and the general version extends and improves a cumbersome technical step in our FPT algorithm for the isomorphism of chordal graphs of bounded leafage [WALCOM 2022]. The new algorithm combines two classical tools -- PQ-trees of interval graphs and Babai's tower-of-groups, in a nontrivial way.
Realising countable groups as automorphisms of origamis on the Loch Ness monster
Published
• View Publication
• BIB
It is known that every finite group can be represented as the full group of automorphisms of a suitable compact origami. In this paper, we provide a short argument to note that the same holds for any countable group by considering origamis on the Loch Ness monster.
Upper bound for the $(d-2)$-leaky forcing number of $Q_d$ and $\ell$-leaky forcing number of $GP(n,1)$
Leaky-forcing is a recently introduced variant of zero-forcing that has been studied for families of graphs including paths, cycles, wheels, grids, and trees. In this paper, we extend previous results on the leaky forcing number of the d-dimensional hypercube, $Q_d$, to show that the $(d-2)$-leaky forcing number of $Q_d$ is at most $2^{d-1}$. We also examine a question about the relationship between the size of a minimum $\ell$-leaky-forcing set and a minimum zero-forcing set for a graph $G$.
Baxter $d$-permutations and other pattern avoiding classes
Published in Journal of Integer Sequences, Vol. 25: Article 22.8.3, 2022
• Search Publication
A permutation of size $n$ can be identified to its diagram in which there is exactly one point per row and column in the grid $[n]^2$. In this paper we consider multidimensional permutations (or $d$-permutations), which are identified to their diagrams on the grid $[n]^d$ in which there is exactly one point per hyperplane $x_i=j$ for $i\in[d]$ and $j\in[n]$. We first investigate exhaustively all small pattern avoiding classes. We provide some bijection to enumerate some of these classes and we propose some conjectures for others. We then give a generalization of well-studied Baxter permutations into this multidimensional setting. In addition, we provide a vincular pattern avoidance characterization of Baxter $d$-permutations.
On sufficient conditions for planar graphs to be 5-flexible
Published
• View Publication
• BIB
In this paper, we study the flexibility of two planar graph classes $\mathcal{H}_1$, $\mathcal{H}_2$, where $\mathcal{H}_1$, $\mathcal{H}_2$ denote the set of all hopper-free planar graphs and house-free planar graphs, respectively. Let $G$ be a planar graph with a list assignment $L$. Suppose a preferred color is given for some of the vertices. We prove that if $G\in \mathcal{H}_1$ or $G\in \mathcal{H}_2$ such that all lists have size at least $5$, then there exists an $L$-coloring respecting at least a constant fraction of the preferences.
A note on Cops and Robbers, independence number, domination number and diameter
Published in Discrete Mathematics 346 (2023)
• View Publication
• BIB
We study relations between diameter $D(G)$, domination number $γ(G)$, independence number $α(G)$ and cop number $c(G)$ of a connected graph $G$, showing (i.) $c(G) \leq α(G)-\lfloor \frac{D(G)-3}{2} \rfloor$, and (ii.) $c(G) \leq γ(G) - \frac{D(G)}{3} + O (\sqrt{D(G)})$.
Bounds via spectral radius-preserving row sum expansions
Published
• View Publication
• BIB
We show a simple method for constructing larger matrices but preserving the spectral radius. This yields a sufficient criteria for two square matrices of arbitrary dimension have the same spectral radius, a way to compare spectral radii of two matrices, and a way to derive new upper and lower bounds on spectral radius which give the standard row sum bounds as a special case.
Odd Colourings of Graph Products
The odd colouring number is a new graph parameter introduced by Petruševski and Škrekovski. In this note, we show that graphs with so called product structure have bounded odd-colouring number. By known results on the product structure of $k$-planar graphs, this implies that $k$-planar graphs have bounded odd-colouring number, which answers a question of Cranston, Lafferty, and Song.
Virtual permutations and polymorhisms
There is a natural map from a symmetric group $S_n$ to a smaller symmetric group $S_{n-1}$, we write a decomposition of a permutation into a product of disjoint cycles and remove the element $n$ from this expression. For this reason there exists the inverse limit $\mathfrak{S}$ of sets $S_n$. We equip $S_n$ with the uniform distribution (or more generally with an Ewens distribution) and get a structure of a measure space on $\mathfrak{S}$ (it is called 'virtual permutations' or 'Chinese restaurant process'), a double $S_\infty\times S_\infty $ of an infinite symmetric group acts on $\mathfrak{S}$ by left and right 'multiplications'. We discuss the closure of $S_\infty\times S_\infty $ in the semigroup of polymorphisms (spreading maps with spreaded Radon--Nikodym derivatives) of $\mathfrak{S}$. We get formulas for some polymorphisms, in particular for the center of the closure. Expressions are sums of multiple convolutions of Dirichlet distributions, summation sets are certain collections of dessins d'enfant.
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
Published
• View Publication
• BIB
We present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local cliquewidth. Notably, this includes interpretations of planar graphs, and more generally, of classes of bounded genus. To obtain this result we develop a new tool which works in a very general setting of dependent classes and which we believe can be an important ingredient in achieving similar results in the future.
Bounds on Determinantal Complexity of Two Types of Generalized Permanents
Published
• View Publication
• BIB
We define two new families of polynomials that generalize permanents and prove upper and lower bounds on their determinantal complexities comparable to the known bounds for permanents. One of these families is obtained by replacing permutations by signed permutations, and the other by replacing permutations by surjective functions with preimages of prescribed sizes.
Reduced bandwidth: a qualitative strengthening of twin-width in minor-closed classes (and beyond)
Published
• View Publication
• BIB
In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomassé and Watrigant [J. ACM 2022] defined the twin-width of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has maximum degree at most $k$. For any graph parameter $f$, we define the reduced $f$ of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has $f$ at most $k$. Our focus is on graph classes with bounded reduced bandwidth, which implies and is stronger than bounded twin-width (reduced maximum degree). We show that every proper minor-closed class has bounded reduced bandwidth, which is qualitatively stronger than an analogous result of Bonnet et al.\ for bounded twin-width. In many instances, we also make quantitative improvements. For example, all previous upper bounds on the twin-width of planar graphs were at least $2^{1000}$. We show that planar graphs have reduced bandwidth at most $466$ and twin-width at most $583$. Our bounds for graphs of Euler genus $γ$ are $O(γ)$. Lastly, we show that fixed powers of graphs in a proper minor-closed class have bounded reduced bandwidth (irrespective of the degree of the vertices). In particular, we show that map graphs of Euler genus $γ$ have reduced bandwidth $O(γ^4)$. Lastly, we separate twin-width and reduced bandwidth by showing that any infinite class of expanders excluding a fixed complete bipartite subgraph has unbounded reduced bandwidth, while there are bounded-degree expanders with twin-width at most 6.
Characterizing Spectral Properties of Bridge
The Bridge graph is a special type of graph which are constructed by connecting identical connected graphs with path graphs. We discuss different types of bridge graphs $B_{n\times l}^{m\times k}$ in this paper. In particular, we discuss the following: complete-type bridge graphs, star-type bridge graphs, and full binary tree bridge graphs. We also bound the second eigenvalues of the graph Laplacian of these graphs using methods from Spectral Graph Theory. In general, we prove that for general bridge graphs, $B_{n\times l}^2$, the second eigenvalue of the graph Laplacian should be between $0$ and $2$, inclusive. In the end, we talk about future work on infinite bridge graphs. We created definitions and found the related theorems to support our future work about infinite bridge graphs.
Weighted Erdős-Burgess and Davenport constant in commutative rings
Let $R$ be a finite commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. Let $Ψ$ be a subgroup of the group ${\rm Aut}(R)$ of all automorphisms of $R$. The $Ψ-$weighted Erdős-Burgess constant ${\rm I}_Ψ(R)$ is defined as the smallest positive integer $\ell$ such that every sequence over $R$ of length at least $\ell$ must contain a nonempty subsequence $a_1,\ldots, a_{r}$ such that $\prod\limits_{i=1}^r ψ_i(a_i)$ is one idempotent of $R$ where $ψ_1,\ldots,ψ_r\in Ψ$. In this paper, for the finite quotient ring of a Dedekind domain $R$, a connection is established between the $Ψ-$weighted-Erdős-Burgess constant of $R$ and the $Ψ-$weighted Davenport constant of its group of units by all the prime ideals of $R$.
Exact Matching in Graphs of Bounded Independence Number
In the Exact Matching Problem (EM), we are given a graph equipped with a fixed coloring of its edges with two colors (red and blue), as well as a positive integer $k$. The task is then to decide whether the given graph contains a perfect matching exactly $k$ of whose edges have color red. EM generalizes several important algorithmic problems such as perfect matching and restricted minimum weight spanning tree problems. When introducing the problem in 1982, Papadimitriou and Yannakakis conjectured EM to be $\textbf{NP}$-complete. Later however, Mulmuley et al.~presented a randomized polynomial time algorithm for EM, which puts EM in $\textbf{RP}$. Given that to decide whether or not $\textbf{RP}=\textbf{P}$ represents a big open challenge in complexity theory, this makes it unlikely for EM to be $\textbf{NP}$-complete, and in fact indicates the possibility of a deterministic polynomial time algorithm. EM remains one of the few natural combinatorial problems in $\textbf{RP}$ which are not known to be contained in $\textbf{P}$, making it an interesting instance for testing the hypothesis $\textbf{RP}=\textbf{P}$. Despite EM being quite well-known, attempts to devise deterministic polynomial algorithms have remained illusive during the last 40 years and progress has been lacking even for very restrictive classes of input graphs. In this paper we finally push the frontier of positive results forward by proving that EM can be solved in deterministic polynomial time for input graphs of bounded independence number, and for bipartite input graphs of bounded bipartite independence number. This generalizes previous positive results for complete (bipartite) graphs which were the only known results for EM on dense graphs.
Supersolvable posets and fiber-type abelian arrangements
Published
• View Publication
• BIB
We present a combinatorial analysis of fiber bundles of generalized configuration spaces on connected abelian Lie groups. These bundles are akin to those of Fadell-Neuwirth for configuration spaces, and their existence is detected by a combinatorial property of an associated finite partially ordered set. This is consistent with Terao's fibration theorem connecting bundles of hyperplane arrangements to Stanley's lattice supersolvability. We obtain a combinatorially determined class of K($π$,1) toric and elliptic arrangements. Under a stronger combinatorial condition, we prove a factorization of the Poincaré polynomial when the Lie group is noncompact. In the case of toric arrangements, this provides an analogue of Falk-Randell's formula relating the Poincaré polynomial to the lower central series of the fundamental group.
Diagram supermodules for $0$-Hecke-Clifford algebras
Published
• View Publication
• BIB
We introduce a general method for constructing modules for $0$-Hecke algebras and supermodules for $0$-Hecke-Clifford algebras from diagrams of boxes in the plane, and give formulas for the images of these modules in the algebras of quasisymmetric functions and peak functions under the relevant characteristic map. As initial applications, we resolve a question of Jing and Li (2015), introduce a new basis of the peak algebra analogous to the quasisymmetric Schur functions, uncover a new connection between Schur $Q$-functions and quasisymmetric Schur functions, give a representation-theoretic interpretation of families of tableaux used in constructing certain functions in the peak algebra, and establish a common framework for known $0$-Hecke module interpretations of bases of quasisymmetric functions.
Mixed subdivisions suitable for the Canny-Emiris formula
Published
• View Publication
• BIB
The Canny-Emiris formula gives the sparse resultant as the ratio of the determinant of a Sylvester-type matrix over a minor of it, both obtained via a mixed subdivision algorithm. The same authors gave an explicit class of mixed subdivisions for the greedy approach so that the formula holds, and the dimension of the constructed matrices is smaller than that of the subdivision algorithm, following the approach of Canny and Pedersen. Our method improves upon the dimensions of the matrices when the Newton polytopes are zonotopes and the systems are multihomogeneous. In this text, we provide more such cases, and we conjecture which might be the liftings providing minimal size of the resultant matrices. We also describe two applications of this formula, namely in computer vision and in the implicitization of surfaces, while offering the corresponding JULIA code. We finally introduce a novel tropical approach that leads to an alternative proof of one of the results.
Construction of a bi-infinite power free word with a given factor and a non-recurrent letter
Published
• View Publication
• BIB
Let $L_{k,α}^{\mathbb{Z}}$ denote the set of all bi-infinite $α$-power free words over an alphabet with $k$ letters, where $α$ is a positive rational number and $k$ is positive integer. We prove that if $α\geq 5$, $k\geq 3$, $v\in L_{k,α}^{\mathbb{Z}}$, and $w$ is a finite factor of $v$, then there are $\widetilde v\in L_{k,α}^{\mathbb{Z}}$ and a letter $x$ such that $w$ is a factor of $\widetilde v$ and $x$ has only a finitely many occurrences in $\widetilde v$.