Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Undecidability of Translational Tiling with Three Tiles
Is there a fixed dimension $n$ such that translational tiling of $\mathbb{Z}^n$ with a monotile is undecidable? Several recent results support a positive answer to this question. Greenfeld and Tao disprove the periodic tiling conjecture by showing that an aperiodic monotile exists in sufficiently high dimension $n$ [Ann. Math. 200(2024), 301-363]. In another paper [to appear in J. Eur. Math. Soc.], they also show that if the dimension $n$ is part of the input, then the translational tiling for subsets of $\mathbb{Z}^n$ with one tile is undecidable. These two results are very strong pieces of evidence for the conjecture that translational tiling of $\mathbb{Z}^n$ with a monotile is undecidable, for some fixed $n$. This paper gives another supportive result for this conjecture by showing that translational tiling of the $4$-dimensional space with a set of three connected tiles is undecidable.
Partial Chebyshev Polynomials and Fan Graphs
Motivated by the product formula of the Chebyshev polynomials of the second kind $U_n(x)$, we newly introduce the partial Chebyshev polynomials $U^{\mathrm{e}}_n(x)$ and $U^{\mathrm{o}}_n(x)$ and derive their basic properties, relations to the classical Chebyshev polynomials, and new factorization formulas for $U_n(x)$. In order to calculate the quadratic embedding constant (QEC) of a fan graph $K_1+P_n$, we derive a new polynomial $φ_n(x)$ which is factorized by partial Chebyshev polynomial $U^{\mathrm{e}}_n(x)$. We prove that $\mathrm{QEC}(K_1+P_n)$ is given in terms of the minimal zero of $φ_n(x)$, and obtain the explicit value of $\mathrm{QEC}(K_1+P_n)$ for an even $n$ and its reasonable exstimate for an odd $n$.
A Diagrammatic Approach to Improve Computational Efficiency in Group Equivariant Neural Networks
Group equivariant neural networks are growing in importance owing to their ability to generalise well in applications where the data has known underlying symmetries. Recent characterisations of a class of these networks that use high-order tensor power spaces as their layers suggest that they have significant potential; however, their implementation remains challenging owing to the prohibitively expensive nature of the computations that are involved. In this work, we present a fast matrix multiplication algorithm for any equivariant weight matrix that maps between tensor power layer spaces in these networks for four groups: the symmetric, orthogonal, special orthogonal, and symplectic groups. We obtain this algorithm by developing a diagrammatic framework based on category theory that enables us to not only express each weight matrix as a linear combination of diagrams but also makes it possible for us to use these diagrams to factor the original computation into a series of steps that are optimal. We show that this algorithm improves the Big-$O$ time complexity exponentially in comparison to a naïve matrix multiplication.
Fourier growth of degree $2$ polynomials
Published
• View Publication
• BIB
We prove bounds for the absolute sum of all level-$k$ Fourier coefficients for $(-1)^{p(x)}$, where polynomial $p:\mathbf{F}_2^n \to \mathbf{F}_2$ is of degree $\le 2$. First we prove the bound
$\lesssim (1+\sqrt{2})^k$. Then, by a different method, we make it sharp: $\lesssim k^{-1/2} (1+\sqrt{2})^k$.
Greedy Sets and Greedy Numerical Semigroups
Motivated by the change-making problem, we extend the notion of greediness to sets of positive integers not containing the element $1$, and from there to numerical semigroups. We provide an algorithm to determine if a given set (not necessarily containing the number $1$) is greedy. We also give specific conditions for sets of cardinality three, and we prove that numerical semigroups generated by three consecutive integers are greedy.
Construction of directed strongly regular graphs with nontrivial automorphisms
In this paper we present a method for constructing directed strongly regular graphs with assumed action of an automorphism group. The application of this method leads to first examples of directed strongly regular graphs with parameters $(22,9,6,3,4)$. We have shown that an automorphism of prime order acting on such a graph can only be of order two or three. Furthermore, we have constructed $472$ directed strongly regular graphs with parameters $(22,9,6,3,4)$ and classified all these graphs with an automorphism of order three.
Accelerating Reductions Using Graph Neural Networks and a New Concurrent Local Search for the Maximum Weight Independent Set Problem
The Maximum Weight Independent Set problem is a fundamental NP-hard problem in combinatorial optimization with several real-world applications. Given an undirected vertex-weighted graph, the problem is to find a subset of the vertices with the highest possible weight under the constraint that no two vertices in the set can share an edge. An important part of solving this problem in both theory and practice is data reduction rules, which several state-of-the-art algorithms rely on. However, the most complicated rules are often not used in applications since the time needed to check them exhaustively becomes infeasible. In this work, we introduce three main results. First, we introduce several new data reduction rules and evaluate their effectiveness on real-world data. Second, we use a machine learning screening algorithm to speed up the reduction phase, thereby enabling more complicated rules to be applied. Our screening algorithm consults a Graph Neural Network oracle to decide if the probability of successfully reducing the graph is sufficiently large. For this task, we provide a dataset of labeled vertices for use in supervised learning. We also present the first results for this dataset using established Graph Neural Network architectures. Third, we present a new concurrent metaheuristic called Concurrent Difference-Core Heuristic. On the reduced instances, we use our new metaheuristic combined with iterated local search, called CHILS (Concurrent Hybrid Iterated Local Search). For this iterated local search, we provide a new implementation specifically designed to handle large graphs of varying densities. CHILS outperforms the current state-of-the-art on all commonly used benchmark instances, especially the largest ones.
Well-edge-dominated graphs containing triangles
A set of edges $F$ in a graph $G$ is an edge dominating set if every edge in $G$ is either in $F$ or shares a vertex with an edge in $F$. $G$ is said to be well-edge-dominated if all of its minimal edge dominating sets have the same cardinality. Recently it was shown that any triangle-free well-edge-dominated graph is either bipartite or in the set $\{C_5, C_7, C_7^*\}$ where $C_7^*$ is obtained from $C_7$ by adding a chord between any pair of vertices distance three apart. In this paper, we completely characterize all well-edge-dominated graphs containing exactly one triangle, of which there are two infinite families. We also prove that there are only eight well-edge-dominated outerplanar graphs, most of which contain at most one triangle.
Monophonic position sets of Cartesian and lexicographic products of graphs
The general position problem in graph theory asks for the number of vertices in a largest set $S$ of vertices of a graph $G$ such that no shortest path of $G$ contains more than two vertices of $S$. The analogous monophonic position problem is obtained from the general position problem by replacing ``shortest path'' by ``induced path.'' In this paper the monophonic position number is studied on Cartesian and lexicographic products of graphs. It is proved that in Cartesian products, a monophonic position set can only be in one of three canonical forms, named layered, varied, and cliquey. The monophonic position number of an arbitrary Cartesian product is bounded from below and above. The two bounds coincide if neither of the factors has simplicial vertices. A formula for the monophonic position number of a lexicographic product is given which only contains the clique number and the structure of monophonic sets of the second factor.
A composition of Condorcet domains
Inspecting known maximal Condorcet domains on 4 variables classified by Tobias Dittrich we find that 9 out of 18 of them are created using a certain composition of smaller domains. In this paper we describe this composition. We give sufficient conditions for the composition of two Condorcet domain to be a maximal Condorcet domain.
Structure fault diameter of hypercubes
Published
• View Publication
• BIB
Structure connectivity and substructure connectivity are innovative indicators for assessing network reliability and fault tolerance. Similarly, fault diameter evaluates fault tolerance and transmission delays in networks. This paper extends the concept of fault diameter by introducing two new variants: structure fault diameter and substructure fault diameter, derived from structure connectivity and substructure connectivity respectively. For a connected graph $G$ with $W$-structure connectivity $κ(G;W)$ or $W$-substructure connectivity $κ^s(G;W)$, the $W$-structure fault diameter $D_f(G;W)$ and $W$-substructure fault diameter $D_f^s(G;W)$ are defined as the maximum diameter of any subgraph of $G$ resulting from removing up to $κ(G;W)-1$ $W$-structures or $κ^s(G;W)-1$ $W$-substructures. For the $n$-dimensional hypercube $Q_n$ with $n \geq 3$ and $1 \leq m \leq n - 2$, we determine both $D_f(Q_n;Q_m)$ and $D_f^s(Q_n;Q_1)$. These findings generalize existing results for the diameter and fault diameter of $Q_n$, providing a broader understanding of the hypercube's structural properties under fault conditions.
Quantum chromatic numbers of some graphs in Hamming schemes
The study of quantum chromatic numbers of graphs is a hot research topic in recent years. However, the infinite family of graphs with known quantum chromatic numbers are rare, as far as we know, the only known such graphs (except for complete graphs, cycles, bipartite graphs and some trivial cases) are the Hadamard graphs $H_n$ with $2^n$ vertices and $n$ a multiple of $4$. In this paper, we consider the graphs in Hamming schemes, we determined the quantum chromatic numbers of one class of such graphs. Notably, this is the second known family of graphs whose quantum chromatic numbers are explicitly determined except for some cases aforementioned. We also provide some bounds for the quantum chromatic numbers of some other graphs in Hamming schemes. Consequently, we can obtain the quantum chromatic numbers of products of some graphs.
Equating Inv-Quinv formulas for the $q$-Whittaker and modified Hall-Littlewood functions
Published
• View Publication
• BIB
We explain the equality between the two sets of formulas for $q$-Whittaker functions and modified Hall-Littlewood functions obtained by Haglund, Haiman and Loehr - the Inv formula and Ayyer, Mandelshtam and Martin - the Quinv formula by use of weighted path symmetric functions introduced by Carlsson and Mellit.
Infinite families of planar graphs of a given injective chromatic number
Published
• View Publication
• BIB
An injective colouring of a graph is a colouring in which every two vertices sharing a common neighbour receive a different colour. Chen, Hahn, Raspaud and Wang conjectured that every planar graph of maximum degree $Δ\ge 3$ admits an injective colouring with at most $\lfloor 3Δ/2\rfloor$ colours. This was later disproved by Lužar and Škrekovski for certain small and even values of $Δ$ and they proposed a new refined conjecture. Using an algorithm for determining the injective chromatic number of a graph, i.e. the smallest number of colours for which the graph admits an injective colouring, we give computational evidence for Lužar and Škrekovski's conjecture and extend their results by presenting an infinite family of $3$-connected planar graphs for each $Δ$ (except for $4$) attaining their bound, whereas they only gave a finite amount of examples for each $Δ$. Hence, together with another infinite family of maximum degree $4$, we provide infinitely many counterexamples to the conjecture by Chen et al. for each $Δ$ if $4\le Δ\le 7$ and every even $Δ\ge 8$. We provide similar evidence for analogous conjectures by La and Štorgel and Lužar, Škrekovski and Tancer when the girth is restricted as well. Also in these cases we provide infinite families of $3$-connected planar graphs attaining the bounds of these conjectures for certain maximum degrees $Δ\geq 3$.
Parabolic restrictions and double deformations of weight multiplicities
We introduce some (p,q)-deformations of the weight multiplicities for the representations of any simple Lie algebra g over the complex numbers. This is done by associating the indeterminate q to the positive roots of a parabolic subsystem of g and the indeterminate p to the remaining positive roots. When p=q, we just recover the usual Lusztig analogues of weight multiplicities. We then study the positivity of the coefficients in these double deformations. In particular, the positivity holds when p=1 in which case the polynomials have a natural algebraic interpretation in terms of a parabolic Brylinski filtration. For the parabolic restriction from type C to type A, this positivity result was conjectured by Lee. We also establish this positivity, in any finite type and for any p, for a stabilized version of our double deformation. In addition, we study the double deformation obtained by replacing the pair (p,q) by (p+1,q+1), show it has nonnegative coefficients and admits a combinatorial description in terms of crystals.
The maximum number of digons formed by pairwise crossing pseudocircles
In 1972, Branko Grünbaum conjectured that any arrangement of $n>2$ pairwise crossing pseudocircles in the plane can have at most $2n-2$ digons (regions enclosed by exactly two pseudoarcs), with the bound being tight. While this conjecture has been confirmed for cylindrical arrangements of pseudocircles and more recently for geometric circles, we extend these results to any simple arrangement of pairwise intersecting pseudocircles. Using techniques from the above-mentioned special cases, we provide a complete proof of Grünbaum's conjecture that has stood open for over five decades.
Codegree and regularity of stable set polytopes
Published
• View Publication
• BIB
The codegree ${\rm codeg}(\mathcal{P})$ of a lattice polytope $\mathcal{P}$ is a fundamental invariant in discrete geometry. In the present paper, we investigate the codegree of the stable set polytope $\mathcal{P}_G$ associated with a simple graph $G$. Specifically, we establish the inequalities \[ ω(G) + 1 \leq {\rm codeg}(\mathcal{P}_G) \leq χ(G) + 1, \] where $ω(G)$ and $χ(G)$ denote the clique number and the chromatic number of $G$, respectively. Furthermore, an explicit formula for {\rm codeg}(\mathcal{P}_G) is given when $G$ is either a line graph or an $h$-perfect graph. Finally, as an application of these results, we provide upper and lower bounds on the regularity of the toric ring associated with $\mathcal{P}_G$.
Quasi-orthogonal extension of symmetric matrices
An $n\times n$ real matrix $Q$ is quasi-orthogonal if $Q^{\top}Q=qI_{n}$ for some positive real number $q$. If $M$ is a principal sub-matrix of a quasi-orthogonal matrix $Q$, we say that $Q$ is a quasi-orthogonal extension of $M$. In a recent work, the authors have investigated this notion for the class of real skew-symmetric matrices. Using a different approach, this paper addresses the case of symmetric matrices.
Unbalanced Zarankiewicz problem for bipartite subdivisions with applications to incidence geometry
For a bipartite graph $H$, its linear threshold is the smallest real number $σ$ such that every bipartite graph $G = (U \sqcup V, E)$ with unbalanced parts $|V| \gtrsim |U|^σ$ and without a copy of $H$ must have a linear number of edges $|E| \lesssim |V|$. We prove that the linear threshold of the complete bipartite subdivision graph $K_{s,t}'$ is at most $σ_s = 2 - 1/s$. Moreover, we show that any $σ< σ_s$ is less than the linear threshold of $K_{s,t}'$ for sufficiently large $t$ (depending on $s$ and $σ$).
Some geometric applications of this result are given: we show that any $n$ points and $n$ lines in the complex plane without an $s$-by-$s$ grid determine $O(n^{4/3 - c})$ incidences for some constant $c > 0$ depending on $s$; and for certain pairs $(p,q)$, we establish nontrivial lower bounds on the number of distinct distances determined by $n$ points in the plane under the condition that every $p$ points determine at least $q$ distinct distances.
Thron-type continued fractions (T-fractions) for some classes of increasing trees
Published
• View Publication
• BIB
We introduce some classes of increasing labeled and multilabeled trees, and we show that these trees provide combinatorial interpretations for certain Thron-type continued fractions with coefficients that are quasi-affine of period 2. Our proofs are based on bijections from trees to labeled Motzkin or Schröder paths; these bijections extend the well-known bijection of Françon--Viennot (1979) interpreted in terms of increasing binary trees. This work can also be viewed as a sequel to the recent work of Elvey Price and Sokal (2020), where they provide combinatorial interpretations for Thron-type continued fractions with coefficients that are affine. Towards the end of the paper, we conjecture an equidistribution of vincular patterns on permutations.