Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Distance ideals of digraphs
Published
• View Publication
• BIB
We focus on strongly connected, strong for short, digraphs since in this setting distance is defined for every pair of vertices.
Distance ideals generalize the spectrum and Smith normal form of several distance matrices associated with strong digraphs.
We introduce the concept of pattern which allow us to characterize the family $Γ_1$ of digraphs with only one trivial distance ideal over ${\mathbb Z}$.
This result generalizes an analogous result for undirected graphs that states that connected graphs with one trivial ideal over $\mathbb{Z}$ consists of either complete graphs or complete bipartite graphs.
It turns out that the strong digraphs in $Γ_1$ consists in the circuit with 3 vertices and a family $Λ$ of strong digraphs that contains complete graphs and complete bipartite graphs, regarded as digraphs. We also compute all distance ideals of some strong digraphs in the family $Λ$.
Then, we explore circuits, which turn out to be an infinite family of minimal forbidden digraphs, as induced subdigraphs, for the strong digraphs in $Γ_1$.
This suggests that a characterization of $Γ_1$ in terms of forbidden induced subdigraphs is harder than using patterns.
Wythoff's Nim with Finite Alterations
Wythoff's Nim is a variant of 2-pile Nim in which players are allowed to take any positive number of stones from pile 1, or any positive number of stones from pile 2, or the same positive number from both piles. The player who makes the last move wins. It is well-known that the P-positions (losing positions) are precisely those where the two piles have sizes $\{\lfloor φn \rfloor, \lfloor φ^2n \rfloor \}$ for some integer $n\geq 0$, and $φ= (1+\sqrt{5})/2 = 1.6180\cdots$.
In this paper we consider an altered form of Wythoff's Nim where an arbitrary finite set of positions are designated to be P or N positions. The values of the remaining positions are computed in the normal fashion for the game. We prove that the set of P-positions of the altered game closely resembles that of a translated normal Wythoff game. In fact the fraction of overlap of the sets of P-positions of these two games approaches $1$ as the pile sizes being considered go to infinity.
$q$-Supercongruences for multidimensional series modulo the sixth power of a cyclotomic polynomial
With the help of El Bachraoui's lemma, the creative microscoping method, and a new form of the Chinese remainder theorem for coprime polynomials, we prove a $q$-supercongruence for double series and a $q$-supercongruence for triple series modulo the sixth power of a cyclotomic polynomial. As conclusions, two corresponding supercongruences for double and triple series, which are associated with the (D.2) supercongruence of Van Hamme, are given.
Topology of hyperplane arrangements via real structure
Published
• View Publication
• BIB
This note is a survey on the topology of hyperplane arrangements. We mainly focus on the relationship between topology and the real structure, such as adjacent relations of chambers and stratifications related to real structures.
The commutant of divided difference operators, Klyachko's genus, and the comaj statistic
Published in Seminaire Lotharingien de Combinatoire, 91B (2024)
• Search Publication
In [Hamaker-Pechenik-Speyer-Weigandt, Nenashev, Pechenik-Weigandt] are studied certain operators on polynomials and power series that commute with all divided difference operators $\partial_i$. We introduce a second set of "martial" operators {\martial_i} that generate the full commutant, and show how a Hopf-algebraic approach naturally reproduces the operators $ξ^ν$ from [Nenashev]. We then pause to study Klyachko's homomorphism $H^*(Fl(n)) \to H^*($the permutahedral toric variety$)$, and extract the part of it relevant to Schubert calculus, the "affine-linear genus''. This genus is then re-obtained using Leibniz combinations of the {\martial_i}. We use Nadeau-Tewari's $q$-analogue of Klyachko's genus to study the equidistribution of $\ell$ and comaj on $[n]\choose k$, generalizing known results on $S_n$.
Periodicity and decidability of translational tilings by rational polygonal sets
Published
• View Publication
• BIB
The periodic tiling conjecture asserts that if a region $Σ\subset \mathbb R^d$ tiles $\mathbb R^d$ by translations then it admits at least one fully periodic tiling. This conjecture is known to hold in $\mathbb R$, and recently it was disproved in sufficiently high dimensions. In this paper, we study the periodic tiling conjecture for polygonal sets: bounded open sets in $\mathbb R^2$ whose boundary is a finite union of line segments. We prove the periodic tiling conjecture for any polygonal tile whose vertices are rational. As a corollary of our argument, we also obtain the decidability of tilings by rational polygonal sets. Moreover, we prove that any translational tiling by a rational polygonal tile is weakly-periodic, i.e., can be partitioned into finitely many singly-periodic pieces.
Non-isomorphic Cayley Graphs with Same Random Walk Distributions
Published
• View Publication
• BIB
We construct an infinite family of triples (G,S1, S2) each consisting of a group G and a pair (S1, S2) of distinct subsets of G with the following properties. i The two Cayley graphs Cay(G, S1) and Cay(G,S2) are non-isomorphic. ii The distributions of the simple random walks on Cay(G,S1) and Cay(G,S2) are the same if one takes an appropriate correspondence between the two vertex sets at each step. iii The spectral set of Cay(G, Si) is decomposed into a disjoint union of two subsets A and B_i of the equal size which satisfies B1 = -B2.
Ian G. Macdonald: Works of Art
Ian Macdonald's works changed our perspective on so many parts of algebraic combinatorics and formal power series. This talk will display some selected works of the art of Ian Macdonald, representative of different periods of his oeuvre, and analyze how they resonate, both for the past development of our subject and for its future.
This paper was prepared for the occasion of a lecture in tribute to Ian G. Macdonald, delivered at FPSAC 2024 in Bochum, Germany on 22 July 2024. I want to express thanks to the Executive Committee of FPSAC, the Organizing Committee of FPSAC 2024, and to the whole of our FPSAC 2024 community for making this lecture a possibility and for considering me for its delivery. Macdonald is my hero, and to be asked to play such a role in his legacy touches me deeply.
A spectral Lovász-Simonovits theorem
A fundamental result in extremal graph theory attributes to Mantel's theorem, which states that every graph on $n$ vertices with more than $\lfloor n^2/4 \rfloor$ edges contains a triangle. About half of a century ago, Lovász and Simonovits (1975) provided a supersaturation phenomenon, which asserts that for $q< n/2$, every graph with $\lfloor n^2/4 \rfloor +q$ edges contains at least $q\lfloor n/2 \rfloor$ triangles. This result solved a conjecture proposed by Erdős in 1962. In this paper, we establish a spectral version of the result of Lovász and Simonovits. Let $Y_{n,2,q}$ be the graph obtained from the bipartite Turán graph $T_{n,2}$ by embedding a matching with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Using the supersaturation-stability method and the classical spectral techniques, we firstly prove that for $n\ge 300q^2$, each graph $G$ on $n$ vertices with $λ(G) \ge λ(Y_{n,2,q})$ contains at least $q\lfloor n/2 \rfloor$ triangles. Moreover, let $T_{n,2,q}$ be the graph obtained from $T_{n,2}$ by embedding a star with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Secondly, we show further that $T_{n,2,q}$ is the unique spectral extremal graph that contains at most $q\lfloor n/2 \rfloor$ triangles and attains the maximum of the spectral radius. This result answers a spectral triangle counting problem due to Ning and Zhai (2023). Thirdly, we present an asymptotically spectral stability result under a specific constraint on the triangle covering number. The third result could be regarded as a spectral extension of a recent result proved by Balogh and Clemen (2023), and independently by Liu and Mubayi (2022).
Efficient generation of odd order de Bruijn sequence with the same complement and reverse sequences
Published
• View Publication
• BIB
Experimental results show that, when the order $n$ is odd, there are de Bruijn sequences such that the corresponding complement sequence and the reverse sequence are the same. In this paper, we propose one efficient method to generate such de Bruijn sequences. This solves an open problem asked by Fredricksen forty years ago for showing the existence of such de Bruijn sequences when the odd order $n >1$. Moreover, we refine a characterization of de Bruijn sequences with the same complement and reverse sequences and study the number of these de Bruijn sequences, as well as the distribution of de Bruijn sequences of the maximum linear complexity.
Vertex-separating path systems in random graphs
Published
• View Publication
• BIB
A set $V$ is said to be separated by subsets $V_1,\ldots,V_k$ if, for every pair of distinct elements of $V$, there is a set $V_i$ that contains exactly one of them. Imposing structural constraints on the separating subsets is often necessary for practical purposes and leads to a number of fascinating (and, in some cases, already classical) graph-theoretic problems.
In this work, we are interested in separating the vertices of a random graph by path-connected vertex sets $V_1,\ldots,V_k$, jointly forming a separating system. First, we determine the size of the smallest separating system of $G(n,p)$ when $np\to \infty$ up to lower order terms, and exhibit a threshold phenomenon around the sharp threshold for connectivity. Second, we show that random regular graphs of sufficiently high degree can typically be optimally separated by $\lceil \log_2 n\rceil$ sets. Moreover, we provide bounds for the minimum degree threshold for optimal separation of general graphs.
Lattice paths and quiver generating series with higher level generators
The generalized knots-quivers correspondence extends the original knots-quivers correspondence, by allowing higher level generators of quiver generating series. In this paper we explore the underlined combinatorics of such generating series, relationship with the BPS numbers of a corresponding knot, and new combinatorial interpretations of the coefficients of generating series.
The Penults of Tak: Adventures in impartial, normal-play, positional games
For normal play, impartial games, we define penults as those positions in which every option results in an immediate win for the other player. We explore the number of tokens in penults of two positional games, Impartial Tic and Impartial Tak. We obtain a complete classification in the former case. We then explore winning strategies and further directions.
On the central ball in a translation invariant involutive field
Published
• View Publication
• BIB
The iterated composition of two operators, both of which are involutions and translation invariant, partitions the set of lattice points in the plane into an infinite sequence of discrete parabolas. Each such parabola contains an associated stairway-like path connecting certain points on it, induced by the alternating application of the aforementioned operators. Any two lattice points in the plane can be connected by paths along the square grid composed of steps either on these stairways or towards taxicab neighbors. This leads to the notion of the parabolic-taxicab distance between two lattice points, obtained as the minimum number of steps of this kind needed to reach one point from the other.
In this paper, we describe patterns generated by points on paths of bounded parabolic-taxicab length and provide a complete description of the balls centered at the origin. In particular, we prove an earlier conjecture on the area of these balls.
Exploring mazes at random
Published
• View Publication
• BIB
We consider a probabilistic version of the depth-first search on mazes with two exits, and show that this algorithm has equal probability of finding either exit. The proof is combinatorial and uses an explicit involution.
Quasi-tree-partitions of graphs with an excluded subgraph
This paper studies the structure of graphs with given tree-width and excluding a fixed complete bipartite subgraph, which generalises the bounded degree setting. We give a new structural description of such graphs in terms of so-called quasi-tree-partitions. We demonstrate the utility of this result through applications to (fractional) clustered colouring. Further generalisations of these structural and colouring results are presented.
Sandwiching Random Geometric Graphs and Erdos-Renyi with Applications: Sharp Thresholds, Robust Testing, and Enumeration
Published
• View Publication
• BIB
The distribution $\mathsf{RGG}(n,\mathbb{S}^{d-1},p)$ is formed by sampling independent vectors $\{V_i\}_{i = 1}^n$ uniformly on $\mathbb{S}^{d-1}$ and placing an edge between pairs of vertices $i$ and $j$ for which $\langle V_i,V_j\rangle \ge τ^p_d,$ where $τ^p_d$ is such that the expected density is $p.$ Our main result is a poly-time implementable coupling between Erdős-Rényi and $\mathsf{RGG}$ such that $\mathsf{G}(n,p(1 - \tilde{O}(\sqrt{np/d})))\subseteq \mathsf{RGG}(n,\mathbb{S}^{d-1},p)\subseteq \mathsf{G}(n,p(1 + \tilde{O}(\sqrt{np/d})))$ edgewise with high probability when $d\gg np.$ We apply the result to: 1) Sharp Thresholds: We show that for any monotone property having a sharp threshold with respect to the Erdős-Rényi distribution and critical probability $p^c_n,$ random geometric graphs also exhibit a sharp threshold when $d\gg np^c_n,$ thus partially answering a question of Perkins. 2) Robust Testing: The coupling shows that testing between $\mathsf{G}(n,p)$ and $\mathsf{RGG}(n,\mathbb{S}^{d-1},p)$ with $εn^2p$ adversarially corrupted edges for any constant $ε>0$ is information-theoretically impossible when $d\gg np.$ We match this lower bound with an efficient (constant degree SoS) spectral refutation algorithm when $d\ll np.$ 3) Enumeration: We show that the number of geometric graphs in dimension $d$ is at least $\exp(dn\log^{-7}n)$, recovering (up to the log factors) the sharp result of Sauermann.
Ramsey theory and strength of graphs
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\left\{ 1,2,\ldots ,n\right\} $ to the vertices of $G$, where each $uv\in E\left( G\right) $ is labeled $f\left( u\right) +f\left( v\right) $. The strength $\mathrm{str}\left( G\right) $ of $G$ is defined by $\mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right) \left\vert f\text{ is a numbering of }G\right. \right\}$, where $\mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\right) \left\vert uv\in E\left( G\right) \right. \right\} $. Let $f\left( n\right) $ denote the maximum of $\mathrm{str}\left( G\right) +% \mathrm{str}\left( \overline{G}\right) $ over nonempty graphs $G$ and $% \overline{G}$ of order $n$, where $\overline{G}$ represents the complement of $G$. In this paper, we establish a lower bound for the Ramsey numbers related to the concept of strength of a graph and show a sharp lower bound for $f\left( n\right) $. In addition to these results, we provide another lower bound and remark some exact values for $f\left( n\right) $. Furthermore, we extend existing necessary and sufficient conditions involving the strength of a graph. Finally, we investigate bounds for $\mathrm{str}\left( G\right) +\mathrm{str}\left( \overline{G}\right) $ whenever $G$ and $\overline{G}$ are nonempty graphs of order $n$. Throughout this paper, we propose some open problems arising from our study.
On the max min of the algebraic degree and the nonlinearity of a Boolean function on an affine subspace
Published
• View Publication
• BIB
We investigate the max min of the algebraic degree and the nonlinearity of a Boolean function in $n$ variables when restricted to a $k$-dimensional affine subspace of $\mathbb{F}_2^n$. Previous authors have focused on the cases when the max min of the algebraic degree is 0 or 1. Upper bounds, lower bounds and a conjecture on the exact value in special cases are presented.
Integral representations of Catalan numbers using Touchard-like identities
In this article, we use the Touchard identity in order to obtain new integral representations for Catalan numbers. The main idea consists in combining the identity with a known integral representation and resorting to the binomial theorem. The same procedure is applied to a variant of the Touchard identity proposed by Callan a few years ago. The method presented here can be generalized to derive additional integral representations from known ones, provided that the latter have a well-suited form and lend themselves to an analytical summation under the integral sign.