natural ↗ reference
4897 papers tagged with this keyword
A Unified FPT Framework for Crossing Number Problems
The basic (and traditional) crossing number problem is to determine the minimum number of crossings in a topological drawing of an input graph in the plane. We develop a unified framework that smoothly captures many generalized crossing number problems, and that yields fixed-parameter tractable (FPT) algorithms for them not only in the plane but also on surfaces. Our framework takes the following form. We fix a surface S, an integer r, and a map \k{appa} from the set of topological drawings of graphs in S to Z+\cup{\infty}, satisfying some natural monotonicity conditions, but essentially describing the allowed drawings and how we want to count the crossings in them. Then deciding whether an input graph G has an allowed drawing D on S with \k{appa}(D)<=r can be done in time quadratic in the size of G (and exponential in other parameters). More generally, we may take as input an edge-colored graph, and distinguish crossings by the colors of the involved edges; and we may allow to perform a bounded number of edge removals and vertex splits to G before drawing it. The proof is a reduction to the embeddability of a graph on a two-dimensional simplicial complex. This framework implies, in a unified way, quadratic FPT algorithms for many topological crossing number variants established in the graph drawing community. Some of these variants already had previously published FPT algorithms, mostly relying on Courcelle's metatheorem, but for many of those, we obtain an algorithm with a better runtime. Moreover, our framework extends, at no cost, to these crossing number variants in any fixed surface.
Creating Subgraphs in Semi-Random Hypergraph Games
Published
• View Publication
• BIB
The semi-random hypergraph process is a natural generalisation of the semi-random graph process, which can be thought of as a one player game. For fixed $r < s$, starting with an empty hypergraph on $n$ vertices, in each round a set of $r$ vertices $U$ is presented to the player independently and uniformly at random. The player then selects a set of $s-r$ vertices $V$ and adds the hyperedge $U \cup V$ to the $s$-uniform hypergraph. For a fixed (monotone) increasing graph property, the player's objective is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the case where the player's objective is to construct a subgraph isomorphic to an arbitrary, fixed hypergraph $H$. In the case $r=1$ the threshold for the number of rounds required was already known in terms of the degeneracy of $H$. In the case $2 \le r < s$, we give upper and lower bounds on this threshold for general $H$, and find further improved upper bounds for cliques in particular. We identify cases where the upper and lower bounds match. We also demonstrate that the lower bounds are not always tight by finding exact thresholds for various paths and cycles.
On $r$-wise $t$-intersecting uniform families
Published
• View Publication
• BIB
We consider families, $\mathcal{F}$ of $k$-subsets of an $n$-set. For integers $r\geq 2$, $t\geq 1$, $\mathcal{F}$ is called $r$-wise $t$-intersecting if any $r$ of its members have at least $t$ elements in common. The most natural construction of such a family is the full $t$-star, consisting of all $k$-sets containing a fixed $t$-set. In the case $r=2$ the Exact Erdős-Ko-Rado Theorem shows that the full $t$-star is largest if $n\geq (t+1)(k-t+1)$. In the present paper, we prove that for $n\geq (2.5t)^{1/(r-1)}(k-t)+k$, the full $t$-star is largest in case of $r\geq 3$. Examples show that the exponent $\frac{1}{r-1}$ is best possible. This represents a considerable improvement on a recent result of Balogh and Linz.
The existence of $m$-Haar graphical representations
Published
• View Publication
• BIB
Extending the well-studied concept of graphical regular representations to bipartite graphs, a Haar graphical representation (HGR) of a group $G$ is a bipartite graph whose automorphism group is isomorphic to $G$ and acts semiregularly with the orbits giving the bipartition. The question of which groups admit an HGR was inspired by a closely related question of Estélyi and Pisanski in 2016, as well as Babai's work in 1980 on poset representations, and has been recently solved by Morris and Spiga. In this paper, we introduce the $m$-Haar graphical representation ($m$-HGR) as a natural generalization of HGR to $m$-partite graphs for $m\geq2$, and explore the existence of $m$-HGRs for any fixed group. This inquiry represents a more robust version of the existence problem of G$m$SRs as addressed by Du, Feng and Spiga in 2020. Our main result is a complete classification of finite groups $G$ without $m$-HGRs.
Transforming Stacks into Queues: Mixed and Separated Layouts of Graphs
Some of the most important open problems for linear layouts of graphs ask for the relation between a graph's queue number and its stack number or mixed number. In such, we seek a vertex order and edge partition of $G$ into parts with pairwise non-crossing edges (a stack) or with pairwise non-nesting edges (a queue). Allowing only stacks, only queues, or both, the minimum number of required parts is the graph's stack number $sn(G)$, queue number $qn(G)$, and mixed number $mn(G)$, respectively.
Already in 1992, Heath and Rosenberg asked whether $qn(G)$ is bounded in terms of $sn(G)$, that is, whether stacks "can be transformed into" queues. This is equivalent to bipartite $3$-stack graphs having bounded queue number (Dujmović and Wood, 2005). Recently, Alam et al. asked whether $qn(G)$ is bounded in terms of $mn(G)$, which we show to also be equivalent to the previous questions.
We approach the problem by considering separated linear layouts of bipartite graphs. In this natural setting all vertices of one part must precede all vertices of the other part. Separated stack and queue numbers coincide, and for fixed vertex orders, graphs with bounded separated stack/queue number can be characterized and efficiently recognized, whereas the separated mixed layouts are more challenging. In this work, we thoroughly investigate the relationship between separated and non-separated, mixed and pure linear layouts.
Precision Asymptotics for Partitions Featuring False-Indefinite Theta Functions
Andrews-Dyson-Hickerson, Cohen build a striking relation between q-hypergeometric series, real quadratic fields, and Maass forms. Thanks to the works of Lewis-Zagier and Zwegers we have a complete understanding on the part of these relations pertaining to Maass forms and false-indefinite theta functions. In particular, we can systematically distinguish and study the class of false-indefinite theta functions related to Maass forms. A crucial component here is the framework of mock Maass theta functions built by Zwegers in analogy with his earlier work on indefinite theta functions and their application to Ramanujan's mock theta functions. Given this understanding, a natural question is to what extent one can utilize modular properties to investigate the asymptotic behavior of the associated Fourier coefficients, especially in view of their relevance to combinatorial objects. In this paper, we develop the relevant methods to study such a question and show that quite detailed results can be obtained on the asymptotic development, which also enable Hardy-Ramanujan-Rademacher type exact formulas under the right conditions. We develop these techniques by concentrating on a concrete example involving partitions with parts separated by parity and derive an asymptotic expansion that includes all the exponentially growing terms.
On factorisations of Left dead ends
Losing a game is difficult. Recent work of Larsson, Nowakowski, and Santos, as well as that of Siegel, has opened up enticing lines of research into partizan misère theory. The algebraic structure of misère monoids is not yet well understood. A natural object to study is a universe of games, which is a set of games satisfying various closure properties. We prove that a universe is determined by its Left ends, thus motivating a study of such games, which was also noted by Siegel for dead ending universes in particular. We initiate this study by investigating the atomic structure of the monoid of Left dead ends, showing that it is reduced, pocancellative, and an FF-monoid. We give sharp bounds on the lengths of factorisations, and also build tools to find atoms. Some results require the introduction of a new concept called flexibility, which is a measure of the distance from a game to integers. We also discover large families of games admitting unique factorisations; this includes the uncovering of a prime element: $\overline{1}$.
Expander estimates for cubes
If $\mathscr A$ is a set of natural numbers of exponential density $δ$, then the exponential density of all numbers of the form $x^3+a$ with $x\in\mathbb N$ and $a\in\mathscr A$ is at least $\min(1, \frac 13+\frac 56 δ)$. This is a considerable improvement on the previous best lower bounds for this problem, obtained by Davenport more than 80 years ago. The result is the best possible for $δ\ge \frac 45$.
Enumerating all geodesics
By "geodesic" we mean any sequence of vertices $(v_1,v_2,...,v_k)$ of a graph $G$ that constitute a shortest path from $v_1$ to $v_k$. We propose a novel, natural algorithm to enumerate all geodesics of $G$, and pit it (using Mathematica) against the standard procedure for the task. The distance matrix $D(G)$ plays a crucial role in this. In fact, part of our article is devoted to survey its many uses in related tasks.
A Cubical Perspective on Complements of Union-Closed Families of Sets
Complements of union-closed families of sets, over a finite ground set, are known as simply rooted families of sets. Cubical sets are widely studied topological objects having applications in computational homology. In this paper, we look at simply rooted families of sets from the perspective of cubical sets. That is, for every family $\mathcal F$ of subsets of a finite set, we construct a natural cubical set $X(\mathcal F)$ (corresponding to it). We show that for every simply rooted family $\mathcal F$, containing the empty set, the cubical set $X(\mathcal F)$ is always acyclic (that is, it has trivial reduced cubical homology). As a consequence of this, using the Euler-Poincarè formula, we obtain a formula satisfied by all simply rooted families of sets which contain the empty set. We also provide an elementary proof of this formula.
Aperiodic monotiles: from geometry to groups
Published
• View Publication
• BIB
In 2023, two striking, nearly simultaneous, mathematical discoveries have excited their respective communities, one by Greenfeld and Tao, the other (the Hat tile) by Smith, Myers, Kaplan and Goodman-Strauss, which can both be summed up as the following: there exists a single tile that tiles, but not periodically (sometimes dubbed the einstein problem). The two settings and the tools are quite different (as emphasized by their almost disjoint bibliographies): one in euclidean geometry, the other in group theory. Both are highly nontrivial: in the first case, one allows complex shapes; in the second one, also the space to tile may be complex. We propose here a framework that embeds both of these problems. From any tile system in this general framework, with some natural additional conditions, we exhibit a construction to simulate it by a group-theoretical tiling. We illustrate our setting by transforming the Hat tile into a new aperiodic group monotile, and we describe the symmetries of both the geometrical Hat tilings and the group tilings we obtain.
Cutoff for the Biased Random Transposition Shuffle
In this paper, we study the biased random transposition shuffle, a natural generalization of the classical random transposition shuffle studied by Diaconis and Shahshahani. We diagonalize the transition matrix of the shuffle and use these eigenvalues to prove that the shuffle exhibits total variation cutoff at time $t_N = \frac{1}{2b} N \log N$ with window $N$. We also prove that the limiting distribution of the number of fixed cards near the cutoff time is Poisson.
Reconstructing SLE-decorated Liouville quantum gravity surfaces from random permutons
Permutons constructed from a Liouville quantum gravity surface and a pair of space-filling Schramm-Loewner evolutions (SLEs) have been shown -- or are conjectured -- to describe the scaling limit of various natural models of random constrained permutations. We prove that, in two distinct and natural settings, these permutons uniquely determine, modulo rotation, scaling, translation and reflection, both the Liouville quantum gravity surface and the pair of space-filling SLEs used in their construction. In other words, the Liouville quantum gravity surface and the pair of space-filling SLEs can be deterministically reconstructed from the permuton.
Our results cover the cases of the skew Brownian permutons, the universal limits of pattern-avoiding permutations, and the meandric permuton, which is the conjectural permuton limit of permutations obtained from uniform meanders.
In the course of the proof, we give a detailed description of how the support of the permuton relates to the multiple points of the two space-filling SLEs.
Independent set sequence of some linear hypertrees
The independent set sequence of trees has been well studied, with much effort devoted to the (still open) question of Alavi, Malde, Schwenk and Erdős on whether the independent set sequence of a tree is always unimodal.
Much less attention has been given to the independent set sequence of hypertrees. Here we study some natural first questions in this realm. We show that the strong independent set sequences of linear hyperpaths and of linear hyperstars are unimodal (actually, log-concave). For uniform linear hyperpaths we obtain explicit expressions for the number of strong independent sets of each possible size, both via generating functions and via combinatorial arguments. We also consider the uniform linear hypercomb with $n$ edges on the spine, and show that its strong independent set sequence is unimodal except possibly for a portion of length $o(n)$.
Avoiding secants of given size in finite projective planes
Let $q$ be a prime power and $k$ be a natural number. What are the possible cardinalities of point sets ${S}$ in a projective plane of order $q$, which do not intersect any line at exactly $k$ points? This problem and its variants have been investigated before, in relation with blocking sets, untouchable sets or sets of even type, among others. In this paper we show a series of results which point out the existence of all or almost all possible values $m\in [0, q^2+q+1]$ for $|S|=m$, provided that $k$ is not close to the extremal values $0$ or $q+1$. Moreover, using polynomial techniques we show the existence of a point set $S$ with the following property: for every prescribed list of numbers $t_1, \ldots t_{q^2+q+1}$, $|S\cap \ell_i|\neq t_i$ holds for the $i$th line $\ell_i$, $\forall i \in \{1, 2, \ldots, q^2+q+1\}$.
Parameterised Holant Problems
We investigate the complexity of parameterised holant problems p-$\mathrm{Holant}(\mathcal{S})$ for families of signatures $\mathcal{S}$. The parameterised holant framework was introduced by Curticapean in 2015 as a counter-part to the classical theory of holographic reductions and algorithms and it constitutes an extensive family of coloured and weighted counting constraint satisfaction problems on graph-like structures, encoding as special cases various well-studied counting problems in parameterised and fine-grained complexity theory such as counting edge-colourful $k$-matchings, graph-factors, Eulerian orientations or, subgraphs with weighted degree constraints. We establish an exhaustive complexity trichotomy along the set of signatures $\mathcal{S}$: Depending on $\mathcal{S}$, p-$\mathrm{Holant}(\mathcal{S})$ is: (1) solvable in FPT-near-linear time (i.e. $f(k)\cdot \tilde{\mathcal{O}}(|x|)$); (2) solvable in "FPT-matrix-multiplication time" (i.e. $f(k)\cdot {\mathcal{O}}(n^ω)$) but not solvable in FPT-near-linear time unless the Triangle Conjecture fails; or (3) #W[1]-complete and no significant improvement over brute force is possible unless ETH fails. This classification reveals a significant and surprising gap in the complexity landscape of parameterised Holants: Not only is every instance either fixed-parameter tractable or #W[1]-complete, but additionally, every FPT instance is solvable in time $f(k)\cdot {\mathcal{O}}(n^ω)$.
We also establish a complete classification for a natural uncoloured version of parameterised holant problem p-$\mathrm{UnColHolant}(\mathcal{S})$, which encodes as special cases the non-coloured analogues of the aforementioned examples. We show that the complexity of p-$\mathrm{UnColHolant}(\mathcal{S})$ is different: Depending on $\mathcal{S}$ all instances are either solvable in FPT-near-linear time, or #W[1]-complete.
Almost regular subgraphs under spectral radius constrains
A graph is called $K$-almost regular if its maximum degree is at most $K$ times the minimum degree. Erdős and Simonovits showed that for a constant $0< \varepsilon< 1$ and a sufficiently large integer $n$, any $n$-vertex graph with more than $n^{1+\varepsilon}$ edges has a $K$-almost regular subgraph with $n'\geq n^{\varepsilon\frac{1-\varepsilon}{1+\varepsilon}}$ vertices and at least $\frac{2}{5}n'^{1+\varepsilon}$ edges. An interesting and natural problem is whether there exits the spectral counterpart to Erdős and Simonovits's result. In this paper, we will completely settle this issue. More precisely, we verify that for constants $\frac{1}{2}<\varepsilon\leq 1$ and $c>0$, if the spectral radius of an $n$-vertex graph $G$ is at least $cn^{\varepsilon}$, then $G$ has a $K$-almost regular subgraph of order $n'\geq n^{\frac{2\varepsilon^2-\varepsilon}{24}}$ with at least $ c'n'^{1+\varepsilon}$ edges, where $c'$ and $K$ are constants depending on $c$ and $\varepsilon$. Moreover, for $0<\varepsilon\leq\frac{1}{2}$, there exist $n$-vertex graphs with spectral radius at least $cn^{\varepsilon}$ that do not contain such an almost regular subgraph. Our result has a wide range of applications in spectral Turán-type problems. Specifically, let $ex(n,\mathcal{H})$ and $spex(n,\mathcal{H})$ denote, respectively, the maximum number of edges and the maximum spectral radius among all $n$-vertex $\mathcal{H}$-free graphs. We show that for $1\geqξ> \frac{1}{2}$, $ex(n,\mathcal{H}) = O(n^{1+ξ})$ if and only if $spex(n,\mathcal{H}) = O(n^ξ)$.
Recognizing bicoset digraphs which are $X$-joins and automorphism groups of bicoset digraphs
Published
• View Publication
• BIB
We examine bicoset digraphs and their natural properties from the point of view of symmetry. We then consider connected bicoset digraphs that are $X$-joins with collections of empty graphs, and show that their automorphism groups can be obtained from their natural irreducible quotients. We then show that such digraphs can be recognized from their connection sets.
Sparse graphs with local covering conditions on edges
Published
• View Publication
• BIB
In 1988, Erdős suggested the question of minimizing the number of edges in a connected $n$-vertex graph where every edge is contained in a triangle. Shortly after, Catlin, Grossman, Hobbs, and Lai resolved this in a stronger form. In this paper, we study a natural generalization of the question of Erdős in which we replace `triangle' with `clique of order $k$' for ${k\ge 3}$. We completely resolve this generalized question with the characterization of all extremal graphs. Motivated by applications in data science, we also study another generalization of the question of Erdős where every edge is required to be in at least $\ell$ triangles for $\ell\ge 2$ instead of only one triangle. We completely resolve this problem for $\ell = 2$.
Artin Symmetric Functions
In this paper we construct an algebraic invariant attached to Galois representations over number fields. This invariant, which we call an Artin symmetric function, lives in a certain ring we introduce called the ring of arithmetic symmetric functions. This ring is built from a family of symmetric functions rings indexed by prime ideals of the base field. We prove many necessary basic results for the ring of arithmetic symmetric functions as well as introduce the analogues of some standard number-theoretic objects in this setting. We prove that the Artin symmetric functions satisfy the same algebraic properties that the Artin L-functions do with respect to induction, inflation, and direct summation of representations. The expansion coefficients of these symmetric functions in different natural bases are shown to be character values of representations of a compact group related to the original Galois group. In the most interesting case, the expansion coefficients into a specialized Hall-Littlewood basis come from new representations built from the original Galois representation using polynomial functors corresponding to modified Hall-Littlewood polynomials. Using a special case of the Satake isomorphism in type GL, as formulated by Macdonald, we show that the Artin symmetric functions yield families of functions in the (finite) global spherical Hecke algebras in type GL which exhibit natural stability properties. We compute the Mellin transforms of these functions and relate them to infinite products of shifted Artin L-functions. We then prove some analytic properties of these Dirichlet series and give an explicit expansion of these series using the Hall-Littlewood polynomial functors.