Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Planar graph with twin-width seven
We construct a planar graph with twin-width equal to seven.
Dynamics of Pop-Tsack Torsing
Published
• View Publication
• BIB
For a finite irreducible Coxeter group $(W,S)$ with a fixed Coxeter element $c$ and set of reflections $T$, Defant and Williams define a pop-tsack torsing operation $\mathrm{Popt}\colon W \to W$ given by $\mathrm{Popt}(w) = w \cdot π_T(w)^{-1}$ where $π_T(w) = \bigvee_{t \leq_{T}w, \ t \in T}^{NC(w,c)}t$ is the join of all reflections lying below $w$ in the absolute order in the non-crossing partition lattice $NC(w,c)$. This is a "dual" notion of the pop-stack sorting operator $\mathrm{Pops}$ introduced by Defant as a way to generalize the pop-stack sorting operator on $\mathfrak{S}_n$ to general Coxeter groups. Define the forward orbit of an element $w \in W$ to be $O_{\mathrm{Popt}}(w) = \{w, \mathrm{Popt}(w), \mathrm{Popt}^2(w), \ldots \}$. Defant and Williams established the length of the longest possible forward orbits $\max_{w \in W}|O_{\mathrm{Popt}}(w)|$ for Coxeter groups of coincidental types and type $D$ in terms of the corresponding Coxeter number of the group. In their paper, they also proposed multiple conjectures about enumerating elements with near maximal orbit length. We resolve all the conjectures that they have put forth about enumeration, and in the process we give complete classifications of these elements of Coxeter groups of types $A,B$ and $D$ with near maximal orbit lengths.
Avoidance games are PSPACE-Complete
Avoidance games are games in which two players claim vertices of a hypergraph and try to avoid some structures. These games are studied since the introduction of the game of SIM in 1968, but only few complexity results are known on them. In 2001, Slany proved some partial results on Avoider-Avoider games complexity, and in 2017 Bonnet et al. proved that short Avoider-Enforcer games are Co-W[1]-hard. More recently, in 2022, Miltzow and Stojaković proved that these games are NP-hard. As these games corresponds to the misère version of the well-known Maker-Breaker games, introduced in 1963 and proven PSPACE-complete in 1978, one could expect these games to be PSPACE-complete too, but the question remained open since then. We prove here that both Avoider-Avoider and Avoider-Enforcer conventions are PSPACE-complete, and as a consequence of it that some particular Avoider-Enforcer games also are.
Central Measures of Continuous Graded Graphs:\\ the Case of Distinct Frequencies
Published
• View Publication
• BIB
We define a class of continuous graded graphs similar to the graph of Gelfand--Tsetlin patterns, and describe the set of all ergodic central measures of discrete type on the path spaces of such graphs. The main observation is that an ergodic central measure on a subgraph of a Pascal-type graph can often be obtained as the restriction of the standard Bernoulli measure to the path space of the subgraph. This observation dramatically changes the approach to finding central measures also on discrete graphs, such as the famous Young graph.
The simplest example of this type is given by the theorem on the weak limits of normalized Lebesgue measures on simplices; these are the so-called Cesàro measures, which are concentrated on the sequences with prescribed Cesàro limits (this limit parametrizes the corresponding measure).
More complicated examples are the graphs of continuous Young diagrams with fixed number of rows and the graphs of spectra of infinite Hermitian matrices of finite rank. We prove existence and uniqueness theorems for ergodic central measures and describe their structure. In particular, our results 1) give a new spectral description of the so-called infinite-dimensional Wishart measures~\cite{W}~ -- ergodic unitarily invariant measures of discrete type on the set of infinite Hermitian matrices; 2) describe the structure of continuous analogs of measures on discrete graded graphs.
New problems and connections which appear are to be considered in new publications.
Exceptional sequences in semidistributive lattices and the poset topology of wide subcategories
Published
• View Publication
• BIB
Let $Λ$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $τ$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $Λ$-modules. When $Λ$ is representation-directed, we prove that there exists a total order on the set of bricks which makes this into an EL-labeling. Motivated by the connection between classical exceptional sequences and noncrossing partitions, we then turn our attention towards the study of (well-separated) completely semidistributive lattices. Such lattices come equipped with a bijection between their completely join-irreducible and completely meet-irreducible elements, known as rowmotion or simply the "$κ$-map". Generalizing known results for finite semidistributive lattices, we show that the $κ$-map determines exactly when a set of completely join-irreducible elements forms a "canonical join representation". A consequence is that the corresponding "canonical join complex" is a flag simplicial complex, as has been shown for finite semidistributive lattices and lattices of torsion classes of finite-dimensional algebras. Finally, in the case of lattices of torsion classes of finite-dimensional algebras, we demonstrate how Jasso's $τ$-tilting reduction can be encoded using the $κ$-map. We use this to define $κ^d$-exceptional sequences for finite semidistributive lattices. These are distinguished sequences of completely join-irreducible elements which we prove specialize to $τ$-exceptional sequences in the algebra setting.
A More Malicious Maitre d'
Published
• View Publication
• BIB
In this paper we study the problem of the Malicious Maitre d', as described in Peter Winkler's book Mathematical Puzzles: A Connoisseur's Collection. This problem, attributed to computer scientist Rob Pike, involves seating diners around a circular table with napkins placed between each pair of adjacent settings. The goal of the maitre d' is to seat the diners in a way that maximizes the number of diners who arrive at the table to find the napkins on both the left and right of their place already taken by their neighbors. Winkler proposes a solution to the problem that he claims is optimal. We analyze Winkler's solution using tools from enumerative combinatorics, then present a new strategy that performs better.
On star-$k$-PCGs: Exploring class boundaries for small $k$ values
Published
• View Publication
• BIB
A graph $G=(V,E)$ is a star-$k$-PCG if there exists a weight function $w: V \rightarrow R^+$ and $k$ mutually exclusive intervals $I_1, I_2, \ldots I_k$, such that there is an edge $uv \in E$ if and only if $w(u)+w(v) \in \bigcup_i I_i$. These graphs are related to two important classes of graphs: PCGs and multithreshold graphs. It is known that for any graph $G$ there exists a $k$ such that $G$ is a star-$k$-PCG. Thus, for a given graph $G$ it is interesting to know which is the minimum $k$ such that $G$ is a star-$k$-PCG. We define this minimum $k$ as the star number of the graph, denoted by $γ(G)$. Here we investigate the star number of simple graph classes, such as graphs of small size, caterpillars, cycles and grids. Specifically, we determine the exact value of $γ(G)$ for all the graphs with at most 7 vertices. By doing so we show that the smallest graphs with star number 2 are only 4 and have exactly 5 vertices; the smallest graphs with star number 3 are only 3 and have exactly 7 vertices. Next, we provide a construction showing that the star number of caterpillars is one. Moreover, we show that the star number of cycles and two dimensional grid graphs is 2 and that the star number of $4$-dimensional grids is at least 3. Finally, we conclude with numerous open problems.
Discrete Bakry-Émery curvature tensors and matrices of connection graphs
Connection graphs are natural extensions of Harary's signed graphs. The Bakry-Émery curvature of connection graphs has been introduced by Liu, Münch and Peyerimhoff in order to establish Buser type eigenvalue estimates for connection Laplacians. In this paper, we reformulate the Bakry-Émery curvature of a vertex in a connection graph in terms of the smallest eigenvalue of a family of unitarily equivalent curvature matrices. We further interpret this family of curvature matrices as the matrix representations of a new defined curvature tensor with respect to different orthonormal basis of the tangent space at a vertex. This is a strong extension of previous works of Cushing-Kamtue-Liu-Peyerimhoff and Siconolfi on curvature matrices of graphs. Moreover, we study the Bakry-Émery curvature of Cartesian products of connection graphs, strengthening the previous result of Liu, Münch and Peyerimhoff. While results of a vertex with locally balanced structure cover previous works, various interesting phenomena of locally unbalanced connection structure have been clarified.
Toric rings arising from vertex cover ideals
Published
• View Publication
• BIB
We extend the sortability concept to monomial ideals which are not necessarily generated in one degree and as an application we obtain normal Cohen-Macaulay toric rings attached to vertex cover ideals of graphs. Moreover, we consider a construction on a graph called a clique multi-whiskering which always produces vertex cover ideals with componentwise linear powers.
On the Turán number of $K_m \vee C_{2k-1}$
Published
• View Publication
• BIB
Given a graph $H$ and a positive integer $n$, the Turán number of $H$ for the order $n$, denoted $ex(n,H)$, is the maximum size of a simple graph of order $n$ not containing $H$ as a subgraph. Given graphs $G$ and $H$, the notation $G \vee H$ means the joint of $G$ and $H$. $χ(G)$ denotes the chromatic number of a graph $G$. Since $χ(K_m \vee C_{2k-1})=m+3$ and there is an edge $e\in E(K_m \vee C_{2k-1})$ such that $χ(K_m \vee C_{2k-1}-e)= m+2$, by the Simonovits theorem, $ex(n, K_m \vee C_{2k-1}) = \lfloor \frac{(m+1)n^2}{2(m+2)}\rfloor$ for sufficiently large $n$. In this paper, we prove that $2(m+2)k-3(m+2)-1$ is large enough for $n$.
On the Maximum Induced Matching Number of a Stacked-book graph
Suppose that G is a simple, undirected graph. An induced matching in G is a set of edges M in the edge set E(G) of G such that if e1, e2 in M, then no endpoint v1, v2 of e1 and e2 respectively is incident to any edge ek in E(G) such that ek is incident to any edge in M. Denoted by im(G), the maximum cardinal number of M is known as the induced matching number of G. In this work, we probe im(G) where G = Gm,n, which is the stacked-book graph obtained by the Cartesian product of the star graph Sm and path Pn.
On the Equivalence, Stabilisers, and Feet of Buekenhout-Tits Unitals
Published
• View Publication
• BIB
This paper addresses a number of problems concerning Buekenhout-Tits unitals in $PG(2,q^2)$, where $q = 2^{e+1}$ and $e \geq 1$. We show that all Buekenhout-Tits unitals are $PGL$-equivalent (addressing an open problem in [S. Barwick and G. L. Ebert. Unitals in projective planes. Springer Monographs in Mathematics. Springer, New York, 2008.]), explicitly describe their $PΓL$-stabiliser (expanding Ebert's work in [G.L. Ebert. Buekenhout-Tits unitals. J. Algebraic. Combin. 6.2 (1997), 133-140], and show that lines meet the feet of points no on $\ell_\infty$ in at most four points. Finally, we show that feet of points not on $\ell_\infty$ are not always a $\{0,1,2,4\}$-set, in contrast to what happens for Buekenhout-Metz unitals [N. Abarzúa, R. Pomareda, and O. Vega. Feet in orthogonal-Buekenhout-Metz unitals. Adv. Geom. 18.2 (2018), 229-236].
On weighted spectral radius of unraveled balls and normalized Laplacian eigenvalues
Published in Discrete Mathematics, 2022
• View Publication
• BIB
For a graph $G$, the unraveled ball of radius $r$ centered at a vertex $v$ is the ball of radius $r$ centered at $v$ in the universal cover of $G$. We obtain a lower bound on the weighted spectral radius of unraveled balls of fixed radius in a graph with positive weights on edges, which is used to present an upper bound on the $s$-th (where $s\ge 2$) smallest normalized Laplacian eigenvalue of irregular graphs under minor assumptions. Moreover, when $s=2$, the result may be regarded as an Alon--Boppana type bound for a class of irregular graphs.
Shotgun Assembly of Linial-Meshulam Model
Published
• View Publication
• BIB
In a recent paper [6], J. Gaudio and E. Mossel studied the shotgun assembly of the Erdős-Rényi graph $\mathcal G(n,p_n)$ with $p_n=n^{-α}$, and showed that the graph is reconstructable form its $1$-neighbourhoods if $0<α< 1/3$ and not reconstructable from its $1$-neighbourhoods if $1/2 <α<1$. In this article, we generalise the notion of reconstruction of graphs to the reconstruction of simplicial complexes. We show that the Linial-Meshulam model $Y_{d}(n,p_n)$ on $n$ vertices with $p_n=n^{-α}$ is reconstructable from its $1$-neighbourhoods when $0< α< 1/3$ and is not reconstructable form its $1$-neighbourhoods when $1/2 < α< 1$.
On the Multi-Robber Damage Number
We study a variant of the Cops and Robbers game on graphs in which the robbers damage the visited vertices, aiming to maximize the number of damaged vertices. For that game with one cop against $s$ robbers a conjecture was made by Carlson, Halloran and Reinhart that the cop can save three vertices from being damaged as soon as the maximum degree of the base graph is at least $\binom{s}{2} + 2$.
We are able to verify the conjecture and prove that it is tight once we add the assumption that the base graph is triangle free. We also study the game without that assumption, disproving the conjecture in full generality and further attempting to locate the smallest maximum degree of a base graph which guarantees that the cop can save three vertices against $s$ robbers. We show that this number is between $2\binom{s}{2} - 3$ and $2\binom{s}{2} + 1$.
Furthermore, after the game has been previously studied with one cop and multiple robbers, as well as with one robber and multiple cops, we initiate the study of the game with two cops and two robbers. In the case when the base graph is a cycle we determine the exact number of damaged vertices. Additionally, when the base graph is a path we provide bounds that differ by an additive constant.
Linear and Circular Single Change Covering Designs Re-visited
Published in JCD. 31 (2023) 405-421
• View Publication
• BIB
A \textbf{single change covering design} is a $v$-set $X$ and an ordered list $\cL$ of $b$ blocks of size $k$ where every $t$-set must occur in at least one block. Each pair of consecutive blocks differs by exactly one element. A single change covering design is circular when the first and last blocks also differ by one element. A single change covering design is minimum if no other smaller design can be constructed for a given $v, k$.
In this paper we use a new recursive construction to solve the existence of circular \sccd($v,4,b$) for all $v$ and three residue classes of circular \sccd($v,5,b$) modulo 16. We solve the existence of three residue classes of \sccd$(v,5,b)$ modulo 16. We prove the existence of circular \sccd$(2c(k-1)+1,k,c^2(2k-2)+c)$, for all $c\geq 1, k\geq2 $, using difference methods.
Cyclotomic valuation of $q$-Pochhammer symbols and $q$-integrality of basic hypergeometric series
Published
• View Publication
• BIB
We give a formula for the cyclotomic valuation of $q$-Pochhammer symbols in terms of (generalized) Dwork maps. We also obtain a criterion for the $q$-integrality of basic hypergeometric series in terms of certain step functions, which generalize Christol step functions. This provides suitable $q$-analogs of two results proved by Christol: a formula for the $p$-adic valuation of Pochhammer symbols and a criterion for the $N$-integrality of hypergeometric series.
Universal updates of Dyck-nest signatures
Published
• View Publication
• BIB
Let $0<k\in\mathbb{Z}$. The anchored Dyck words of length $n=2k+1$ (obtained by prefixing a 0-bit to each Dyck word of length $2k$ and used to reinterpret the Hamilton cycles in the odd graph $O_k$ and the middle-levels graph $M_k$ found by Mütze et al.) represent in $O_k$ (resp., $M_k$) the cycles of an $n$- (resp., $2n$-) 2-factor and its cyclic (resp., dihedral) vertex classes, and are equivalent to Dyck-nest signatures. A sequence is obtained by updating these signatures according to the depth-first order of a tree of restricted growth strings (RGS's), reducing the RGS-generation of Dyck words by collapsing to a single update the time-consuming $i$-nested castling used to reach each non-root Dyck word or Dyck nest. This update is universal, for it does not depend on $k$.
Constructing uniform 2-factorizations via row-sum matrices: solutions to the Hamilton-Waterloo problem
Published
• View Publication
• BIB
In this paper, we formally introduce the concept of a row-sum matrix over an arbitrary group $G$. When $G$ is cyclic, these types of matrices have been widely used to build uniform 2-factorizations of small Cayley graphs (or, Cayley subgraphs of blown-up cycles), which themselves factorize complete (equipartite) graphs.
Here, we construct row-sum matrices over a class of non-abelian groups, the generalized dihedral groups, and we use them to construct uniform $2$-factorizations that solve infinitely many open cases of the Hamilton-Waterloo problem, thus filling up large parts of the gaps in the spectrum of orders for which such factorizations are known to exist.
Solving the General Case of Rank-3 Maker-Breaker Games in Polynomial Time
A rank-3 Maker-Breaker game is played on a hypergraph in which all hyperedges are sets of at most 3 vertices. The two players of the game, called Maker and Breaker, move alternately. On his turn, maker chooses a vertex to be withdrawn from all hyperedges, while Breaker on her turn chooses a vertex and delete all the hyperedges containing that vertex. Maker wins when by the end of his turn some hyperedge is completely covered, i.e. the last remaining vertex of that hyperedge is withdrawn. Breaker wins when by the end of her turn, all hyperedges have been deleted.
Solving a Maker-Breaker game is the computational problem of choosing an optimal move, or equivalently, deciding which player has a winning strategy in a configuration. The complexity of solving two degenerate cases of rank-3 games has been proven before to be polynomial. In this paper, we show that the general case of rank-3 Maker-Breaker games is also solvable in polynomial time.