Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Convex polygons and separation of convex sets
Published in Studia Scientiarum Mathematicarum Hungarica Combinatorics, Geometry and Topology 59 (2022) 3-4, 274-283
• View Publication
• BIB
We prove that for any collection F of $n \ge 2$ pairwise disjoint compact convex sets in the plane there is a pair of sets A and B in F such that any line that separates A from B separates either A or B from a subcollection of F with at least n/18 sets.
Twin-width V: linear minors, modular counting, and matrix multiplication
We continue developing the theory around the twin-width of totally ordered binary structures, initiated in the previous paper of the series. We first introduce the notion of parity and linear minors of a matrix, which consists of iteratively replacing consecutive rows or consecutive columns with a linear combination of them. We show that a matrix class has bounded twin-width if and only if its linear-minor closure does not contain all matrices. We observe that the fixed-parameter tractable algorithm for first-order model checking on structures given with an $O(1)$-sequence (certificate of bounded twin-width) and the fact that first-order transductions of bounded twin-width classes have bounded twin-width, both established in Twin-width I, extend to first-order logic with modular counting quantifiers. We make explicit a win-win argument obtained as a by-product of Twin-width IV, and somewhat similar to bidimensionality, that we call rank-bidimensionality. Armed with the above-mentioned extension to modular counting, we show that the twin-width of the product of two conformal matrices $A, B$ over a finite field is bounded by a function of the twin-width of $A$, of $B$, and of the size of the field. Furthermore, if $A$ and $B$ are $n \times n$ matrices of twin-width $d$ over $\mathbb F_q$, we show that $AB$ can be computed in time $O_{d,q}(n^2 \log n)$. We finally present an ad hoc algorithm to efficiently multiply two matrices of bounded twin-width, with a single-exponential dependence in the twin-width bound: If the inputs are given in a compact tree-like form, called twin-decomposition (of width $d$), then two $n \times n$ matrices $A, B$ over $\mathbb F_2$, a twin-decomposition of $AB$ with width $2^{d+o(d)}$ can be computed in time $4^{d+o(d)}n$ (resp. $4^{d+o(d)}n^{1+\varepsilon}$), and entries queried in doubly-logarithmic (resp. constant) time.
Between graphical zonotope and graph-associahedron
Published
• View Publication
• BIB
This manuscript introduces a finite collection of generalized permutohedra associated to a simple graph. The first polytope of this collection is the graphical zonotope of the graph and the last is the graph-associahedron associated to it. We describe the weighted integer points enumerators for polytopes in this collection as Hopf algebra morphisms of combinatorial Hopf algebras of decorated graphs.
When you come at the kings you best not miss
A tournament is an orientation of a complete graph.
We say that a vertex $x$ in a tournament $\vec T$ controls another vertex $y$ if there exists a directed path of length at most two from $x$ to $y$.
A vertex is called a king if it controls every vertex of the tournament. It is well known that every tournament has a king.
We follow Shen, Sheng, and Wu (SIAM J. Comput., 2003) in investigating the query complexity of finding a king, that is, the number of arcs in $\vec T$ one has to know in order to surely identify at least one vertex as a king.
The aforementioned authors showed that one always has to query at least $Ω(n^{4/3})$ arcs and provided a strategy that queries at most $O(n^{3/2})$. While this upper bound has not yet been improved for the original problem,
Biswas et al. (Frontiers in Algorithmics, 2017) proved that with $O(n^{4/3})$ queries one can identify a semi-king, meaning a vertex which controls at least half of all vertices.
Our contribution is a novel strategy which improves upon the number of controlled vertices: using $O(n^{4/3} \operatorname{polylog} n)$ queries, we can identify a $(\frac{1}{2}+\frac{2}{17})$-king.
To achieve this goal we use a novel structural result for tournaments.
Turán problems in pseudorandom graphs
Published in Combinator. Probab. Comp. 33 (2024) 583-596
• View Publication
• BIB
Given a graph $F$, we consider the problem of determining the densest possible pseudorandom graph that contains no copy of $F$. We provide an embedding procedure that improves a general result of Conlon, Fox, and Zhao which gives an upper bound on the density. In particular, our result implies that optimally pseudorandom graphs with density greater than $n^{-1/3}$ must contain a copy of the Peterson graph, while the previous best result gives the bound $n^{-1/4}$. Moreover, we conjecture that the exponent $1/3$ in our bound is tight. We also construct the densest known pseudorandom $K_{2,3}$-free graphs that are also triangle-free. Finally, we obtain the densest known construction of clique-free pseudorandom graphs due to Bishnoi, Ihringer and Pepe in a novel way and give a different proof that they have no large clique.
Distance spectra of some double join of graphs and some new families of distance equienergetic graphs
In this paper we compute the spectrum of a special block matrix and use it to describe the distance spectra of some double join of graphs. As an application, we give several families of distance equienergetic graphs of diameter 3.
Maximal and $(m,ε)$-Kakeya bounds over $\mathbb{Z}/N\mathbb{Z}$ for general $N$
We derive Maximal Kakeya estimates for functions over $\mathbb{Z}/N\mathbb{Z}$ proving the Maximal Kakeya conjecture for $\mathbb{Z}/N\mathbb{Z}$ for general $N$ as stated by Hickman and Wright [HW18]. The proof involves using polynomial method and linear algebra techniques from [Dha21, Ars21a, DD21] and generalizing a probabilistic method argument from [DD22]. As another application we give lower bounds for the size of $(m,ε)$-Kakeya sets over $\mathbb{Z}/N\mathbb{Z}$. Using these ideas we also give a new, simpler, and direct proof for Maximal Kakeya bounds over finite fields (which were first proven in [EOT10]) with almost sharp constants.
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
Published
• View Publication
• BIB
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.