Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Turns in Hamilton cycles of rectangular grids
For a Hamilton cycle in a rectangular $m \times n$ grid, what is the greatest number of turns that can occur? We give the exact answer in several cases and an answer up to an additive error of $2$ in all other cases. In particular, we give a new proof of the result of Beluhov for the case of a square $n \times n$ grid. Our main method is a surprising link between the problem of 'greatest number of turns' and the problem of 'least number of turns'.
Multiple zeta values and their q-analogues
We explore the theory of multiple zeta values (MZVs) and some of their $q$-generalisations. Multiple zeta values are numerical quantities that satisfy several combinatorial relations over the rationals. These relations include two multiplicative relations, which arise naturally from comparison of the MZVs with an underlying algebraic structure. We generalise these concepts by introducing the parameter $q$ in such a way that as $q\to 1^-$ we return to the ordinary MZVs. Our special interest lies in two $q$-models recently introduced by H. Bachmann. He further conjectures that the $\mathbb{Q}$-spaces generated by these $q$-generalisations coincide. In this thesis we establish a particular case of Bachmann's conjecture.
Bijections between walks inside a triangular domain and Motzkin paths of bounded amplitude
Published
• View Publication
• BIB
This paper solves an open question of Mortimer and Prellberg asking for an explicit bijection between two families of walks. The first family is formed by what we name triangular walks, which are two-dimensional walks moving in six directions (0°, 60°, 120°, 180°, 240°, 300°) and confined within a triangle. The other family is comprised of two-colored Motzkin paths with bounded height, in which the horizontal steps may be forbidden at maximal height.
We provide several new bijections. The first one is derived from a simple inductive proof, taking advantage of a $2^n$-to-one function from generic triangular walks to triangular walks only using directions 0°, 120°, 240°. The second is based on an extension of Mortimer and Prellberg's results to triangular walks starting not only at a corner of the triangle, but at any point inside it. It has a linear-time complexity and is in fact adjustable: by changing some set of parameters called a scaffolding, we obtain a wide range of different bijections.
Finally, we extend our results to higher dimensions. In particular, by adapting the previous proofs, we discover an unexpected bijection between three-dimensional walks in a pyramid and two-dimensional simple walks confined in a bounded domain shaped like a waffle.
Edge ideals of Erdös-Rényi random graphs : Linear resolution, unmixedness and regularity
Published
• View Publication
• BIB
We study the homological algebra of edge ideals of Erdös-Rényi random graphs. These random graphs are generated by deleting edges of a complete graph on $n$ vertices independently of each other with probability $1-p$. We focus on some aspects of these random edge ideals - linear resolution, unmixedness and algebraic invariants like the Castelnuovo-Mumford regularity, projective dimension and depth. We first show a double phase transition for existence of linear presentation and resolution and determine the critical windows as well. As a consequence, we obtain that except for a very specific choice of parameters (i.e., $n,p := p(n)$), with high probability, a random edge ideal has linear presentation if and only if it has linear resolution. This shows certain conjectures hold true for large random graphs with high probability even though the conjectures were shown to fail for determinstic graphs. Next, we study asymptotic behaviour of some algebraic invariants - the Castelnuovo-Mumford regularity, projective dimension and depth - of such random edge ideals in the sparse regime (i.e., $p = \fracλ{n}, λ\in (0,\infty)$). These invariants are studied using local weak convergence (or Benjamini-Schramm convergence) and relating them to invariants on Galton-Watson trees. We also show that when $p \to 0$ or $p \to 1$ fast enough, then with high probability the edge ideals are unmixed and for most other choices of $p$, these ideals are not unmixed with high probability. This is further progress towards the conjecture that random monomial ideals are unlikely to have Cohen-Macaulay property (see De Loera et al. 2019a,2019b) in the setting when the number of variables goes to infinity but the degree is fixed.
Reducing the maximum degree of a graph: comparisons of bounds
Published
• View Publication
• BIB
Let $λ(G)$ be the smallest number of vertices that can be removed from a non-empty graph $G$ so that the resulting graph has a smaller maximum degree. Let $λ_{\rm e}(G)$ be the smallest number of edges that can be removed from $G$ for the same purpose. Let $k$ be the maximum degree of $G$, let $t$ be the number of vertices of degree $k$, let $M(G)$ be the set of vertices of degree $k$, let $n$ be the number of vertices in the closed neighbourhood of $M(G)$, and let $m$ be the number of edges incident to vertices in $M(G)$. Fenech and the author showed that $λ(G) \leq \frac{n+(k-1)t}{2k}$, and they essentially showed that $λ(G) \leq n \left ( 1- \frac{k}{k+1} { \Big( \frac{n}{(k+1)t} \Big) }^{1/k} \right )$. They also showed that $λ_{\rm e}(G) \leq \frac{m + (k-1)t}{2k-1}$ and $λ_{\rm e} (G) \leq m \left ( 1- \frac{k-1}{k} { \Big( \frac{m}{kt} \Big) }^{1/(k-1)} \right )$. These bounds are attained if $k \geq 2$ and $G$ is the union of $t$ pairwise vertex-disjoint $(k+1)$-vertex stars. For each of $λ(G)$ and $λ_{\rm e}(G)$, the two bounds on the parameter are compared for the purpose of determining, for each bound, the cases in which the bound is better than the other. This work is also motivated by the likelihood that similar pairs of bounds will be discovered for other graph parameters and the same analysis can be applied.
Vertex distinction with subgraph centrality: a proof of Estrada's conjecture and some generalizations
Published in Linear Algebra Appl. 612 (2021), pp. 334-344
• View Publication
• BIB
Centrality measures are used in network science to identify the most important vertices for transmission of information and dynamics on a graph. One of these measures, introduced by Estrada and collaborators, is the $β$-subgraph centrality, which is based on the exponential of the matrix $βA$, where $A$ is the adjacency matrix of the graph and $β$ is a real parameter ("inverse temperature"). We prove that for algebraic $β$, two vertices with equal $β$-subgraph centrality are necessarily cospectral. We further show that two such vertices must have the same degree and eigenvector centralities. Our results settle a conjecture of Estrada and a generalization of it due to Kloster, Král and Sullivan. We also discuss possible extensions of our results.
On convex holes in $d$-dimensional point sets
Published
• View Publication
• BIB
Given a finite set $A \subseteq \mathbb{R}^d$, points $a_1,a_2,\dotsc,a_{\ell} \in A$ form an $\ell$-hole in $A$ if they are the vertices of a convex polytope which contains no points of $A$ in its interior. We construct arbitrarily large point sets in general position in $\mathbb{R}^d$ having no holes of size $O(4^dd\log d)$ or more. This improves the previously known upper bound of order $d^{d+o(d)}$ due to Valtr. The basic version of our construction uses a certain type of equidistributed point sets, originating from numerical analysis, known as $(t,m,s)$-nets or $(t,s)$-sequences, yielding a bound of $2^{7d}$. The better bound is obtained using a variant of $(t,m,s)$-nets, obeying a relaxed equidistribution condition.
The Varchenko Matrix for Dehyperplane Arrangement
Published
• View Publication
• BIB
This article computes the Varchenko determinant of dehyperplane arrangements which are generalizations of pseudohyperplane arrangements. But unlike those latter, they are defined on a real manifold, and it is not always possible to obtain a central dehyperplane arrangement by coning. This article also studies the solution space of a linear system defined from a dehyperplane arrangement. That equation system was first introduced by Aguiar and Mahajan for central hyperplane arrangements.
Efficient Linear and Affine Codes for Correcting Insertions/Deletions
Published
• View Publication
• BIB
This paper studies \emph{linear} and \emph{affine} error-correcting codes for correcting synchronization errors such as insertions and deletions. We call such codes linear/affine insdel codes.
Linear codes that can correct even a single deletion are limited to have information rate at most $1/2$ (achieved by the trivial 2-fold repetition code). Previously, it was (erroneously) reported that more generally no non-trivial linear codes correcting $k$ deletions exist, i.e., that the $(k+1)$-fold repetition codes and its rate of $1/(k+1)$ are basically optimal for any $k$. We disprove this and show the existence of binary linear codes of length $n$ and rate just below $1/2$ capable of correcting $Ω(n)$ insertions and deletions. This identifies rate $1/2$ as a sharp threshold for recovery from deletions for linear codes, and reopens the quest for a better understanding of the capabilities of linear codes for correcting insertions/deletions.
We prove novel outer bounds and existential inner bounds for the rate vs. (edit) distance trade-off of linear insdel codes. We complement our existential results with an efficient synchronization-string-based transformation that converts any asymptotically-good linear code for Hamming errors into an asymptotically-good linear code for insdel errors. Lastly, we show that the $\frac{1}{2}$-rate limitation does not hold for affine codes by giving an explicit affine code of rate $1-ε$ which can efficiently correct a constant fraction of insdel errors.
Homological aspects of oriented hypergraphs
We define an algebraic setup of homology for hypergraphs, which defaults to simplicial homology in the case of graphs, and study its basic properties. As part of our study we define algebraic spanning trees of hypergraphs, along with fundamental cuts and cycles playing their usual roles.
Desargues theorem, its configurations, and the solution to a long-standing enumeration problem
We solve a long-standing problem by enumerating the number of non-degenerate Desargues configurations. We extend the result to the more difficult case involving Desargues blockline structures in Section 8.
A transparent proof of Desargues theorem in the plane and in space is presented as a by-product of our methods.
Edge-critical subgraphs of Schrijver graphs II: The general case
Published in Journal of Combinatorial Theory, Series B 152: 453-482, 2022
• View Publication
• BIB
We give a simple combinatorial description of an $(n-2k+2)$-chromatic edge-critical subgraph of the Schrijver graph $\mathrm{SG}(n,k)$, itself an induced vertex-critical subgraph of the Kneser graph $\mathrm{KG}(n,k)$. This extends the main result of [J. Combin. Theory Ser. B 144 (2020) 191--196] to all values of $k$, and sharpens the classical results of Lovász and Schrijver from the 1970s.
Multiplicity-free key polynomials
Published in Ann. Comb. 27 (2023), no. 2, 387-411
• View Publication
• BIB
The key polynomials, defined by A. Lascoux-M.-P. Schützenberger, are characters for the Demazure modules of type A. We classify multiplicity-free key polynomials. The proof uses two combinatorial models for key polynomials. The first is due to A. Kohnert. The second is by S. Assaf-D. Searles, in terms of quasi-key polynomials. Our argument proves a sufficient condition for a quasi-key polynomial to be multiplicity-free.
Hadamard diagonalizable graphs of order at most 36
Published
• View Publication
• BIB
If the Laplacian matrix of a graph has a full set of orthogonal eigenvectors with entries $\pm1$, then the matrix formed by taking the columns as the eigenvectors is a Hadamard matrix and the graph is said to be Hadamard diagonalizable.
In this article, we prove that if $n=8k+4$ the only possible Hadamard diagonalizable graphs are $K_n$, $K_{n/2,n/2}$, $2K_{n/2}$, and $nK_1$, and we develop an efficient computation for determining all graphs diagonalized by a given Hadamard matrix of any order. Using these two tools, we determine and present all Hadamard diagonalizable graphs up to order 36. Note that it is not even known how many Hadamard matrices there are of order 36.
Coxeter combinatorics and spherical Schubert geometry
Published in Journal of Lie Theory 32 (2022), No. 2, 447--474
• View Publication
• BIB
For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G/B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev-A. Petukhov, M. Can-R. Hodges, R. Hodges-V. Lakshmibai, P. Karuppuchamy, P. Magyar-J. Weyman-A. Zelevinsky, N. Perrin, J. Stembridge, and B. Tenner. In type A, we establish connections with the key polynomials of A. Lascoux- M.-P. Schützenberger, multiplicity-freeness, and split-symmetry in algebraic combinatorics. Thereby, we invoke theorems of A. Kohnert, V. Reiner-M. Shimozono, and C. Ross-A. Yong.
Existence results for pentagonal geometries
New results on pentagonal geometries PENT(k,r) with block sizes k = 3 or k = 4 are given. In particular we completely determine the existence spectra for PENT(3,r) systems with the maximum number of opposite line pairs as well as those without any opposite line pairs. A wide-ranging result about PENT(3,r) with any number of opposite line pairs is proved. We also determine the existence spectrum of PENT(4,r) systems with eleven possible exceptions.
A Tight Approximation Algorithm for the Cluster Vertex Deletion Problem
Published
• View Publication
• BIB
We give the first $2$-approximation algorithm for the cluster vertex deletion problem. This is tight, since approximating the problem within any constant factor smaller than $2$ is UGC-hard. Our algorithm combines the previous approaches, based on the local ratio technique and the management of true twins, with a novel construction of a 'good' cost function on the vertices at distance at most $2$ from any vertex of the input graph.
As an additional contribution, we also study cluster vertex deletion from the polyhedral perspective, where we prove almost matching upper and lower bounds on how well linear programming relaxations can approximate the problem.
On the Frame-Stewart Conjecture
The Frame-Stewart conjecture states the least number of moves to solve a generalized Tower of Hanoi problem, of n disks and p pegs. In this paper, we prove a weaker version of the Frame-Stewart conjecture.
Ultimate periodicity problem for linear numeration systems
Published in International Journal of Algebra and Computation 32 (2022) 561-596
• View Publication
• BIB
We address the following decision problem. Given a numeration system $U$ and a $U$-recognizable set $X\subseteq\mathbb{N}$, i.e. the set of its greedy $U$-representations is recognized by a finite automaton, decide whether or not $X$ is ultimately periodic. We prove that this problem is decidable for a large class of numeration systems built on linearly recurrent sequences. Based on arithmetical considerations about the recurrence equation and on $p$-adic methods, the DFA given as input provides a bound on the admissible periods to test.
Perfect codes in Cayley sum graphs
Published
• View Publication
• BIB
A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code of $Γ$ if every vertex of $Γ$ is at distance no more than one to exactly one vertex in $C$. Let $A$ be a finite abelian group and $T$ a square-free subset of $A$. The Cayley sum graph of $A$ with respect to the connection set $T$ is a simple graph with $A$ as its vertex set, and two vertices $x$ and $y$ are adjacent whenever $x+y\in T$. A subgroup of $A$ is said to be a subgroup perfect code of $A$ if the subgroup is a perfect code of some Cayley sum graph of $A$. In this paper, we give some necessary and sufficient conditions for a subset of $A$ to be a perfect code of a given Cayley sum graph of $A$. We also characterize all subgroup perfect codes of $A$.