Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On regular systems of finite classical polar spaces
Published
• View Publication
• BIB
Let $\cal P$ be a finite classical polar space of rank $d$. An $m$-regular system with respect to $(k - 1)$-dimensional projective spaces of $\cal P$, $1 \le k \le d - 1$, is a set $\cal R$ of generators of $\cal P$ with the property that every $(k - 1)$-dimensional projective space of $\cal P$ lies on exactly $m$ generators of $\cal R$. Regular systems of polar spaces are investigated. Some non-existence results about certain 1-regular systems of polar spaces with low rank are proved and a procedure to obtain $m'$-regular systems from a given $m$-regular system is described. Finally, three different construction methods of regular systems w.r.t. points of various polar spaces are discussed.
Geometry and combinatorics via right-angled Artin groups
Published
• View Publication
• BIB
We survey the relationship between the combinatorics and geometry of graphs and the algebraic structure of right-angled Artin groups. We concentrate on the defining graph of the right-angled Artin group and on the extension graph associated to the right-angled Artin group. Additionally, we discuss connections to geometric group theory and complexity theory. The final version of this survey will appear in "In the tradition of Thurston, vol.~II", ed.~K.~Ohshika and A.~Papadopoulos.
Extra automorphisms of cyclic orbifolds of lattice vertex operator algebras
Published
• View Publication
• BIB
In this article, we study the automorphism group of the cyclic orbifold of a vertex operator algebra associated with a rootless even lattice for a lift of a fixed-point free isometry of odd prime order $p$. We prove that such a cyclic orbifold contains extra automorphisms, not induced from automorphisms of the lattice vertex operator algebra, if and only if the rootless even lattice can be constructed by Construction B from a code over $\mathbb{Z}_p$ or is isometric to the coinvariant lattice of the Leech lattice associated with a certain isometry of order $p$.
The isomorphism problem for Schubert varieties
Schubert varieties in the full flag variety of Kac-Moody type are indexed by elements of the corresponding Weyl group. We give a practical criterion for when two such Schubert varieties (from potentially different flag varieties) are isomorphic, in terms of the Cartan matrix and reduced words for the indexing Weyl group elements. As a corollary, we show that two such Schubert varieties are isomorphic if and only if there is an isomorphism between their integral cohomology rings that preserves the Schubert basis.
Monotonic normalized heat diffusion for regular bipartite graphs with four eigenvalues
Published in Graphs and Combinatorics 38 (2022), no. 22
• View Publication
• BIB
Let $X=(V, E)$ be a finite regular graph and $H_t(u, v), \, u, v \in V$, the heat kernel on $X$. We prove that, if the graph $X$ is bipartite and has four distinct Laplacian eigenvalues, the ratio $H_t(u, v)/H_t(u, u), \, u, v \in V,$ is monotonically non-decreasing as a function of $t$. The key to the proof is the fact that such a graph is an incidence graph of a symmetric 2-design.
On a Communication Complexity problem in Combinatorial Number Theory
Published
• View Publication
• BIB
The original knapsack problem is well known to be NP-complete. In a multidimensional version one have to decide whether a $p\in \N^k$ is in a sumset-sum of a set $X \subseteq \N^k$ or not. In this paper we are going to investigate a communication complexity problem related to this.
Irregularity of expansions and Pell graphs
For a graph $G$ the imbalance of an edge $uv$ of $G$ is $|deg_G(u)-deg_G(v)|$. Irregularity of a graph $G$ is defined as the sum of imbalances over all edges of $G$. In this paper we consider expansions and Pell graphs. If $H$ is an expansion of $G$ with respect to the sets $V_1$ and $V_2$, we express the irregularity of $H$ using $G, V_1$ and $V_2$. For Pell graphs the imbalance of their edges is studied. The number of edges of a Pell graph with a fixed imbalance $k$ is expressed. Using these results the irregularity and the $σ$-index of Pell graphs are given.
Labelled well-quasi-order for permutation classes
Published
• View Publication
• BIB
While the theory of labelled well-quasi-order has received significant attention in the graph setting, it has not yet been considered in the context of permutation patterns. We initiate this study here, and show how labelled well quasi order provides a lens through which to view and extend previous well-quasi-order results in the permutation patterns literature. Connections to the graph setting are emphasised throughout. In particular, we establish that a permutation class is labelled well-quasi-ordered if and only if its corresponding graph class is also labelled well-quasi-ordered.
Attaining the exponent $5/4$ for the sum-product problem in finite fields
Published
• View Publication
• BIB
We improve the exponent in the finite field sum-product problem from $11/9$ to $5/4$, improving the results of Rudnev, Shakan and Shkredov. That is, we show that if $A\subset \mathbb{F}_p$ has cardinality $|A|\ll p^{1/2}$ then
\[
\max\{|A\pm A|,|AA|\} \gtrsim |A|^\frac54
\]
and
\[
\max\{|A\pm A|,|A/A|\}\gtrsim |A|^\frac54\,. \]
Local Problems on Grids from the Perspective of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics
We present an intimate connection among the following fields:
(a) distributed local algorithms: coming from the area of computer science,
(b) finitary factors of iid processes: coming from the area of analysis of randomized processes,
(c) descriptive combinatorics: coming from the area of combinatorics and measure theory.
In particular, we study locally checkable labellings in grid graphs from all three perspectives. Most of our results are for the perspective (b) where we prove time hierarchy theorems akin to those known in the field (a) [Chang, Pettie FOCS 2017]. This approach that borrows techniques from the fields (a) and (c) implies a number of results about possible complexities of finitary factor solutions. Among others, it answers three open questions of [Holroyd et al. Annals of Prob. 2017] or the more general question of [Brandt et al. PODC 2017] who asked for a formal connection between the fields (a) and (b). In general, we hope that our treatment will help to view all three perspectives as a part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn 2020+] .
Enclosing Depth and other Depth Measures
Published
• View Publication
• BIB
We study families of depth measures defined by natural sets of axioms. We show that any such depth measure is a constant factor approximation of Tukey depth. We further investigate the dimensions of depth regions, showing that the Cascade conjecture, introduced by Kalai for Tverberg depth, holds for all depth measures which satisfy our most restrictive set of axioms, which includes Tukey depth. Along the way, we introduce and study a new depth measure called enclosing depth, which we believe to be of independent interest, and show its relation to a constant-fraction Radon theorem on certain two-colored point sets.
Combinatorial Resultants in the Algebraic Rigidity Matroid
Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid associated to the Cayley-Menger ideal for $n$ points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from $K_4$ graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we implemented our algorithm in Mathematica: it took less than 15 seconds on an example where a Groebner Basis calculation took 5 days and 6 hrs.
On saturation of Berge hypergraphs
Published
• View Publication
• BIB
A hypergraph $H=(V(H), E(H))$ is a Berge copy of a graph $F$, if $V(F)\subset V(H)$ and there is a bijection $f:E(F)\rightarrow E(H)$ such that for any $e\in E(F)$ we have $e\subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain any Berge copies of $F$. We address the saturation problem concerning Berge-$F$-free hypergraphs, i.e., what is the minimum number $sat_r(n,F)$ of hyperedges in an $r$-uniform Berge-$F$-free hypergraph $H$ with the property that adding any new hyperedge to $H$ creates a Berge copy of $F$. We prove that $sat_r(n,F)$ grows linearly in $n$ if $F$ is either complete multipartite or it possesses the following property: if $d_1\le d_2\le \dots \le d_{|V(F)|}$ is the degree sequence of $F$, then $F$ contains two adjacent vertices $u,v$ with $d_F(u)=d_1$, $d_F(v)=d_2$. In particular, the Berge-saturation number of regular graphs grows linearly in $n$.
Constant congestion brambles in directed graphs
Published in SIAM Journal on Discrete Mathematics 36(2), 922-938, 2022
• View Publication
• BIB
The Directed Grid Theorem, stating that there is a function $f$ such that a directed graphs of directed treewidth at least $f(k)$ contains a directed grid of size at least $k$ as a butterfly minor, after being a conjecture for nearly 20 years, has been proven in 2015 by Kawarabayashi and Kreutzer. However, the function $f$ obtained in the proof is very fast growing.
In this work, we show that if one relaxes directed grid to bramble of constant congestion, one can obtain a polynomial bound. More precisely, we show that for every $k \geq 1$ there exists $t = \mathcal{O}(k^{48} \log^{13} k)$ such that every directed graph of directed treewidth at least $t$ contains a bramble of congestion at most $8$ and size at least $k$.
On generalized Steinberg theory for type AIII
Published in Algebraic Combinatorics 6 (2023), no. 1, 165-195
• View Publication
• BIB
Given a symmetric pair $(G,K)=(\mathrm{GL}_{p+q}(\mathbb{C}),\mathrm{GL}_{p}(\mathbb{C})\times \mathrm{GL}_{q}(\mathbb{C}))$ of type AIII, we consider the diagonal action of $K$ on the double flag variety $\mathfrak{X}=\mathrm{Grass}(\mathbb{C}^{p+q},r)\times K/B_K$ whose first factor is a Grassmann variety for $G$ and whose second factor is a full flag variety of $K$. There is a finite number of orbits for this action, and our first result is a description of these orbits: parametrization, dimensions, closure relations, and cover relations. Specifically, the orbits are parametrized by certain pairs of partial permutations.
Each orbit in $\mathfrak{X}$ gives rise to a conormal bundle. As in the references [5] and [6], by using the moment map associated to the action, we define a so-called symmetrized Steinberg map, respectively an exotic Steinberg map, which assigns to each such conormal bundle (thus to each orbit) a nilpotent orbit in the Lie algebra of $K$, respectively in the Cartan complement of that Lie algebra. Our main result is an explicit description of these Steinberg maps in terms of combinatorial algorithms on partial permutations, extending the classical Robinson--Schensted procedure on permutations. This is a thorough generalization of the results in [5], where we supposed $p=q=r$ and considered orbits of special forms.
Combinatorial games on multi-type Galton-Watson trees
When normal and misère games are played on bi-type binary Galton-Watson trees (with vertices coloured blue or red and each having either no child or precisely $2$ children), with one player allowed to move along monochromatic edges and the other along non-monochromatic edges, the draw probabilities equal $0$ unless every vertex gives birth to one blue and one red child. On bi-type Poisson trees where each vertex gives birth to Poisson$(λ)$ offspring in total, the draw probabilities approach $1$ as $λ\rightarrow \infty$. We study such \emph{novel} versions of normal, misère and escape games on rooted multi-type Galton-Watson trees, with the "permissible" edges for one player being disjoint from those of her opponent. The probabilities of the games' outcomes are analyzed, compared with each other, and their behaviours as functions of the underlying law explored.
Isometric universal graphs
Published in SIAM Journal on Discrete Mathematics 35(2) (2021), 1224-1237
• View Publication
• BIB
A subgraph $H$ of a graph $G$ is isometric if the distances between vertices in $H$ coincide with the distances between the corresponding vertices in $G$. We show that for any integer $n\ge 1$, there is a graph on $3^{n+O(\log^2 n)}$ vertices that contains isometric copies of all $n$-vertex graphs. Our main tool is a new type of distance labelling scheme, whose study might be of independent interest.
On matroid modularity and the coefficients of the inverse Kazhdan-Lusztig polynomial of a matroid
Following the work of Gao and Xie in [2], we state some properties of the inverse Kazhdan-Lusztig polynomial of a matroid. We also give partial answers to a conjecture that states that regular connected matroids are non-degenerate. We link the degeneracy of a matroid to the inverse Kazhdan-Lusztig polynomial and we show that the Conjecture holds for modular matroids, by proving that degenerate modular matroids are not regular.
Maximal Digraphs With Respect to Primitive Positive Constructibility
Published
• View Publication
• BIB
We study the class of all finite directed graphs up to primitive positive constructability. The resulting order has a unique greatest element, namely the graph $P_1$ with one vertex and no edges. The graph $P_1$ has a unique greatest lower bound, namely the graph $P_2$ with two vertices and one directed edge. Our main result is a complete description of the greatest lower bounds of $P_2$; we call these graphs submaximal. We show that every graph that is not equivalent to $P_1$ and $P_2$ is below one of the submaximal graphs.
Tukey Depth Histograms
Published
• View Publication
• BIB
The Tukey depth of a flat with respect to a point set is a concept that appears in many areas of discrete and computational geometry. In particular, the study of centerpoints, center transversals, Ham Sandwich cuts, or $k$-edges can all be phrased in terms of depths of certain flats with respect to one or more point sets. In this work, we introduce the Tukey depth histogram of $k$-flats in $\mathbb{R}^d$ with respect to a point set $P$, which is a vector $D^{k,d}(P)$, whose $i$'th entry $D^{k,d}_i(P)$ denotes the number of $k$-flats spanned by $k+1$ points of $P$ that have Tukey depth $i$ with respect to $P$. As our main result, we give a complete characterization of the depth histograms of points, that is, for any dimension $d$ we give a description of all possible histograms $D^{0,d}(P)$. This then allows us to compute the exact number of possible such histograms.