Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the NP-Completeness of Satisfying Certain Path and Loop Puzzles
"Eye-Witless", "Haisu" and "Oriental House" are genres of logic puzzles invented by William Hu, and "Detour" is a genre of logic puzzle invented by online user Guowen Zhang. Each of these puzzles revolves around constructing a path or loop through the cells of a grid according to certain constraints given by clues in the grid. We prove that deciding whether a particular puzzle in each of these genres is solvable is NP-complete.
Triangle-free Subgraphs of Hypergraphs
Published
• View Publication
• BIB
In this paper, we consider an analog of the well-studied extremal problem for triangle-free subgraphs of graphs for uniform hypergraphs. A loose triangle is a hypergraph $T$ consisting of three edges $e,f$ and $g$ such that $|e \cap f| = |f \cap g| = |g \cap e| = 1$ and $e \cap f \cap g = \emptyset$. We prove that if $H$ is an $n$-vertex $r$-uniform hypergraph with maximum degree $\triangle$, then as $\triangle \rightarrow \infty$, the number of edges in a densest $T$-free subhypergraph of $H$ is at least \[ \frac{e(H)}{\triangle^{\frac{r-2}{r-1} + o(1)}}.\] For $r = 3$, this is tight up to the $o(1)$ term in the exponent. We also show that if $H$ is a random $n$-vertex triple system with edge-probability $p$ such that $pn^3\rightarrow\infty$ as $n\rightarrow\infty$, then with high probability as $n \rightarrow \infty$, the number of edges in a densest $T$-free subhypergraph is \[ \min\Bigl\{(1-o(1))p{n\choose3},p^{\frac{1}{3}}n^{2-o(1)}\Bigr\}.\] We use the method of containers together with probabilistic methods and a connection to the extremal problem for arithmetic progressions of length three due to Ruzsa and Szemerédi.
Diophantine problems related to the Omega constant
Some diophantine problems are stated for the Omega constant and, more generally, the values of Lambert $W$-function and their $p$-adic extensions.
2-switch: transition and stability on graphs and forests
Given any two forests with the same degree sequence, we show in an algorithmic way that one can be transformed into the other by a sequence of 2-switches in such a way that all the intermediate graphs of the transformation are forests. We also prove that the 2-switch operation perturbs minimally some well-known integer parameters in families of graphs with the same degree sequence. Then, we apply these results to conclude that the studied parameters have the interval property on those families.
Dynamic Programming Approach to the Generalized Minimum Manhattan Network Problem
Published
• View Publication
• BIB
We study the generalized minimum Manhattan network (GMMN) problem: given a set $P$ of pairs of two points in the Euclidean plane $\mathbb{R}^2$, we are required to find a minimum-length geometric network which consists of axis-aligned segments and contains a shortest path in the $L_1$ metric (a so-called Manhattan path) for each pair in $P$. This problem commonly generalizes several NP-hard network design problems that admit constant-factor approximation algorithms, such as the rectilinear Steiner arborescence (RSA) problem, and it is open whether so does the GMMN problem.
As a bottom-up exploration, Schnizler (2015) focused on the intersection graphs of the rectangles defined by the pairs in $P$, and gave a polynomial-time dynamic programming algorithm for the GMMN problem whose input is restricted so that both the treewidth and the maximum degree of its intersection graph are bounded by constants. In this paper, as the first attempt to remove the degree bound, we provide a polynomial-time algorithm for the star case, and extend it to the general tree case based on an improved dynamic programming approach.
Coloring Problems on Bipartite Graphs of Small Diameter
Published
• View Publication
• BIB
We investigate a number of coloring problems restricted to bipartite graphs with bounded diameter. First, we investigate the $k$-List Coloring, List $k$-Coloring, and $k$-Precoloring Extension problems on bipartite graphs with diameter at most $d$, proving NP-completeness in most cases, and leaving open only the List $3$-Coloring and $3$-Precoloring Extension problems when $d=3$.
Some of these results are obtained through a proof that the Surjective $C_6$-Homomorphism problem is NP-complete on bipartite graphs with diameter at most four. Although the latter result has been already proved [Vikas, 2017], we present ours as an alternative simpler one. As a byproduct, we also get that $3$-Biclique Partition is NP-complete. An attempt to prove this result was presented in [Fleischner, Mujuni, Paulusma, and Szeider, 2009], but there was a flaw in their proof, which we identify and discuss here.
Finally, we prove that the $3$-Fall Coloring problem is NP-complete on bipartite graphs with diameter at most four, and prove that NP-completeness for diameter three would also imply NP-completeness of $3$-Precoloring Extension on diameter three, thus closing the previously mentioned open cases. This would also answer a question posed in [Kratochvíl, Tuza, and Voigt, 2002].
Petrie symmetric functions
Published in Shortened version in: Algebraic Combinatorics, Volume 5 (2022) no. 5, pp. 947-1013
• View Publication
• BIB
For any positive integer $k$ and nonnegative integer $m$, we consider the symmetric function $G\left( k,m\right)$ defined as the sum of all monomials of degree $m$ that involve only exponents smaller than $k$. We call $G\left( k,m\right)$ a "Petrie symmetric function" in honor of Flinders Petrie, as the coefficients in its expansion in the Schur basis are determinants of Petrie matrices (and thus belong to $\left\{ 0,1,-1\right\} $ by a classical result of Gordon and Wilkinson). More generally, we prove a Pieri-like rule for expanding a product of the form $G\left( k,m\right) \cdot s_μ$ in the Schur basis whenever $μ$ is a partition; all coefficients in this expansion belong to $\left\{ 0,1,-1\right\} $. We also show that $G\left( k,1\right) ,G\left( k,2\right) ,G\left( k,3\right) ,\ldots$ form an algebraically independent generating set for the symmetric functions when $1-k$ is invertible in the base ring, and we prove a conjecture of Liu and Polo about the expansion of $G\left( k,2k-1\right)$ in the Schur basis.
Engineering Data Reduction for Nested Dissection
Published
• View Publication
• BIB
Many applications rely on time-intensive matrix operations, such as factorization, which can be sped up significantly for large sparse matrices by interpreting the matrix as a sparse graph and computing a node ordering that minimizes the so-called fill-in. In this paper, we engineer new data reduction rules for the minimum fill-in problem, which significantly reduce the size of the graph while producing an equivalent (or near-equivalent) instance. By applying both new and existing data reduction rules exhaustively before nested dissection, we obtain improved quality and at the same time large improvements in running time on a variety of instances. Our overall algorithm outperforms the state-of-the-art significantly: it not only yields better elimination orders, but it does so significantly faster than previously possible. For example, on road networks, where nested dissection algorithms are typically used as a preprocessing step for shortest path computations, our algorithms are on average six times faster than Metis while computing orderings with less fill-in.
Troupes, Cumulants, and Stack-Sorting
Published
• View Publication
• BIB
Several sequences of free cumulants that count binary plane trees correspond to sequences of classical cumulants that count the decreasing versions of the same trees. Using two new operations on colored binary plane trees that we call insertion and decomposition, we prove that this surprising phenomenon holds for families of trees that we call troupes. We give a simple characterization of troupes, which provide a broad framework for generalizing several of the results known about West's stack-sorting map $s$. Indeed, we give new proofs of some of the main techniques that have been developed for understanding $s$; these new proofs are far more conceptual than the original ones, explain how the objects called valid hook configurations arise naturally, and generalize to troupes. For $t\in\{2,3\}$, we enumerate $t$-stack-sortable alternating permutations of odd length and $t$-stack-sortable permutations whose descents are all peaks.
The unexpected connection between troupes and cumulants provides a powerful new tool for analyzing the stack-sorting map that hinges on free probability theory. We give numerous applications of this method. For example, we show that if $σ\in S_{n-1}$ is chosen uniformly at random, then the expected value of $\text{des}(s(σ))+1$ is \[\left(3-\sum_{j=0}^n\frac{1}{j!}\right)n.\] Furthermore, the variance of $\text{des}(s(σ))+1$ is asymptotically $(2+2e-e^2)n$. We obtain similar results concerning the expected number of descents of postorder readings of decreasing colored binary plane trees. We also obtain improved estimates for $|s(S_n)|$ and an improved lower bound for the degree of noninvertibility of $s$. We give two novel formulas that convert from free to classical cumulants. The first is given by a sum over noncrossing partitions, and the second is given by a sum over $231$-avoiding valid hook configurations. We pose several open problems.
The number of almost perfect nonlinear functions grows exponentially
Published
• View Publication
• BIB
Almost perfect nonlinear (APN) functions play an important role in the design of block ciphers as they offer the strongest resistance against differential cryptanalysis. Despite more than 25 years of research, only a limited number of APN functions are known. In this paper, we show that a recent construction by Taniguchi provides at least $\frac{\varphi(m)}{2}\left\lceil \frac{2^m+1}{3m} \right\rceil$ inequivalent APN functions on the finite field with ${2^{2m}}$ elements, where $\varphi$ denotes Euler's totient function. This is a great improvement of previous results: for even $m$, the best known lower bound has been $\frac{\varphi(m)}{2}\left(\lfloor \frac{m}{4}\rfloor +1\right)$, for odd $m$, there has been no such lower bound at all. Moreover, we determine the automorphism group of Taniguchi's APN functions.
Transitive bounded-degree 2-expanders from regular 2-expanders
A two-dimensional simplicial complex is called $d$-{\em regular} if every edge of it is contained in exactly $d$ distinct triangles. It is called $ε$-expanding if its up-down two-dimensional random walk has a normalized maximal eigenvalue which is at most $1-ε$.
In this work, we present a class of bounded degree 2-dimensional expanders, which is the result of a small 2-complex action on a vertex set. The resulted complexes are fully transitive, meaning the automorphism group acts transitively on their faces.
Such two-dimensional expanders are rare! Known constructions of such bounded degree two-dimensional expander families are obtained from deep algebraic reasonings (e.g. coset geometries).
We show that given a small $d$-regular two-dimensional $ε$-expander, there exists an $ε'=ε'(ε)$ and a family of bounded degree two-dimensional simplicial complexes with a number of vertices goes to infinity, such that each complex in the family satisfies the following properties:
* It is $4d$-regular.
* The link of each vertex in the complex is the same regular graph (up to isomorphism).
* It is $ε'$ expanding.
* It is transitive.
The family of expanders that we get is explicit if the one-skeleton of the small complex is a complete multipartite graph, and it is random in the case of (almost) general $d$-regular complex. For the randomized construction, we use results on expanding generators in a product of simple Lie groups. This construction is inspired by ideas that occur in the zig-zag product for graphs. It can be seen as a loose two-dimensional analog of the replacement product.
Connectivity and choosability of graphs with no $K_t$ minor
Published
• View Publication
• BIB
In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. While Hadwiger's conjecture does not hold for list-coloring, the linear weakening is conjectured to be true. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and thus is $O(t\sqrt{\log t})$-list-colorable. Recently, the authors and Song proved that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> \frac 1 4$. Here, we build on that result to show that every graph with no $K_t$ minor is $O(t(\log t)^β)$-list-colorable for every $β> \frac 1 4$.
Our main new tool is an upper bound on the number of vertices in highly connected $K_t$-minor-free graphs: We prove that for every $β> \frac 1 4$, every $Ω(t(\log t)^β)$-connected graph with no $K_t$ minor has $O(t (\log t)^{7/4})$ vertices.
A combinatorial algorithm for computing the rank of a generic partitioned matrix with $2 \times 2$ submatrices
Published
• View Publication
• BIB
In this paper, we consider the problem of computing the rank of a block-structured symbolic matrix (a generic partitioned matrix) $A = (A_{αβ} x_{αβ})$, where $A_{αβ}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$ and $x_{αβ}$ is an indeterminate for $α= 1,2,\dots, μ$ and $β= 1,2, \dots, ν$. This problem can be viewed as an algebraic generalization of the bipartite matching problem and was considered by Iwata and Murota (1995). Recent interests in this problem lie in the connection with non-commutative Edmonds' problem by Ivanyos, Qiao, and Subrahamanyam (2018) and Garg, Gurvits, Oliveiva, and Wigderson (2019), where a result by Iwata and Murota implicitly states that the rank and non-commutative rank (nc-rank) are the same for this class of symbolic matrices.
The main result of this paper is a simple and combinatorial $O((μν)^2 \min \{ μ, ν\})$-time algorithm for computing the symbolic rank of a $(2 \times 2)$-type generic partitioned matrix of size $2μ\times 2ν$. Our algorithm is inspired by the Wong sequence algorithm by Ivanyos, Qiao, and Subrahamanyam for the nc-rank of a general symbolic matrix, and requires no blow-up operation, no field extension, and no additional care for bounding the bit-size. Moreover it naturally provides a maximum rank completion of $A$ for an arbitrary field $\mathbf{F}$.
Conical tessellations associated with Weyl chambers
Published
• View Publication
• BIB
We consider $d$-dimensional random vectors $Y_1,\dots,Y_n$ that satisfy a mild general position assumption a.s. The hyperplanes \begin{align*} (Y_i-Y_j)^\perp\;\; (1\le i<j\le n). \end{align*} generate a conical tessellation of the Euclidean $d$-space which is closely related to the Weyl chambers of type $A_{n-1}$. We determine the number of cones in this tessellation and show that it is a.s. constant. For a random cone chosen uniformly at random from this random tessellation, we compute expectations for a general series of geometric functionals. These include the face numbers, as well as the conic intrinsic volumes and the conic quermassintegrals. Under the additional assumption of exchangeability on $Y_1,\ldots,Y_n$, the same is done for the dual random cones which have the same distribution as the positive hull of $Y_1-Y_2,\ldots, Y_{n-1}-Y_n$ conditioned on the event that this positive hull is not equal to $\mathbb R^d$. All these expectations turn out to be distribution-free. Similarly, we consider the conical tessellation induced by the hyperplanes \begin{align*} (Y_i+Y_j)^\perp\;\; (1 \le i<j\le n),\quad (Y_i-Y_j)^\perp\;\; (1\le i<j\le n),\quad Y_i^\perp\;\; (1\le i\le n) \end{align*} This tessellation is closely related to the Weyl chambers of type $B_n$. We compute the number of cones in this tessellation and the expectations of various geometric functionals for random cones drawn from this random tessellation. The main ingredient in the proofs is a connection between the number of faces of the tessellation and the number of faces of the Weyl chambers of the corresponding type that are intersected by a certain linear subspace in general position.
Higher connectivity of the Morse complex
Published
• View Publication
• BIB
The Morse complex $\mathcal{M}(Δ)$ of a finite simplicial complex $Δ$ is the complex of all gradient vector fields on $Δ$. In this paper we study higher connectivity properties of $\mathcal{M}(Δ)$. For example, we prove that $\mathcal{M}(Δ)$ gets arbitrarily highly connected as the maximum degree of a vertex of $Δ$ goes to $\infty$, and for $Δ$ a graph additionally as the number of edges goes to $\infty$. We also classify precisely when $\mathcal{M}(Δ)$ is connected or simply connected. Our main tool is Bestvina-Brady Morse theory, applied to a "generalized Morse complex."
On certain linearized polynomials with high degree and kernel of small dimension
Published
• View Publication
• BIB
Let $f$ be the $\mathbb{F}_q$-linear map over $\mathbb{F}_{q^{2n}}$ defined by $x\mapsto x+ax^{q^s}+bx^{q^{n+s}}$ with $\gcd(n,s)=1$. It is known that the kernel of $f$ has dimension at most $2$, as proved by Csajbók et al. in "A new family of MRD-codes" (2018). For $n$ big enough, e.g. $n\geq5$ when $s=1$, we classify the values of $b/a$ such that the kernel of $f$ has dimension at most $1$. To this aim, we translate the problem into the study of some algebraic curves of small degree with respect to the degree of $f$; this allows to use intersection theory and function field theory together with the Hasse-Weil bound. Our result implies a non-scatteredness result for certain high degree scattered binomials, and the asymptotic classification of a family of rank metric codes.
Exact stability for Turán's Theorem
Published in Advances in Combinatorics, 2021:9, 17pp
• View Publication
• BIB
Turán's Theorem says that an extremal $K_{r+1}$-free graph is $r$-partite. The Stability Theorem of Erdős and Simonovits shows that if a $K_{r+1}$-free graph with $n$ vertices has close to the maximal $t_r(n)$ edges, then it is close to being $r$-partite. In this paper we determine exactly the $K_{r+1}$-free graphs with at least $m$ edges that are farthest from being $r$-partite, for any $m\ge t_r(n) - δ_r n^2$. This extends work by Erdős, Győri and Simonovits, and proves a conjecture of Balogh, Clemen, Lavrov, Lidický and Pfender.
Graphs associated with orthogonal collections of k-planes over finite fields
Published
• View Publication
• BIB
We study graphs coming from quadratic spaces over finite fields via orthogonality which generalize a recent result given by Bishnoi, Ihringer, and Pepe (2019). More precisely, we study the graph $Γ^{\square}(n,k,q)$ as follows: the vertex set is the set of $k$-dimensional quadratic subspaces of a fixed Lorentzian quadratic space $(\mathbb{F}_{q}^{n},x_{1}^{2}+\cdots+x_{n-1}^{2}+λx_{n}^{2})$ which are isometrically isomorphic to $x_{1}^{2}+\cdots+x_{k}^{2}$. Here $λ$ is a nonsquare in $\mathbb{F}_{q}$, and two vertices $x,y$ are adjacent if $x \subseteq y^{\perp}$.
Tree-optimized directed graphs
Published
• View Publication
• BIB
For an additive submonoid $\mathcal{M}$ of $\mathbb{R}_{\ge 0}$, the weight of an $\mathcal{M}$-labeled directed graph is the sum of all of its edge labels, while the content is the product of the labels. Having fixed $\mathcal{M}$ and a directed tree $E$, we prove a general result on the shape of directed $\mathcal{M}$-labeled graphs $Γ$ of weight $N\in \mathcal{M}$ maximizing the sum of the contents of all copies $E\subset Γ$.
This specializes to recover a result of Hajac and Tobolski on the maximal number of length-$k$ paths in a directed acyclic graph. It also applies to prove a conjecture by the same authors on the maximal sum of entries of $A^k$ for a nilpotent $\mathbb{R}_{\ge 0}$-valued square matrix $A$ whose entries add up to $N$. Finally, we apply the same techniques to obtain the maximal number of stars with $a$ arms in a directed graph with $N$ edges.
Combinatorics and real lifts of bitangents to tropical quartic curves
Published in Discrete & Computational Geometry 69 (3), 597-658 (2023)
• View Publication
• BIB
Smooth algebraic plane quartics over algebraically closed fields have 28 bitangent lines. Their tropical counterparts often have infinitely many bitangents. They are grouped into seven equivalence classes, one for each linear system associated to an effective tropical theta characteristic on the tropical quartic. We show such classes determine tropically convex sets and provide a complete combinatorial classification of such objects into 41 types (up to symmetry).
The occurrence of a given class is determined by both the combinatorial type and the metric structure of the input tropical plane quartic. We use this result to provide explicit sign-rules to obtain real lifts for each tropical bitangent class, and confirm that each one has either zero or exactly four real lifts, as previously conjectured by Len and the second author. Furthermore, such real lifts are always totally-real.