Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The LU-decomposition of Lehmer's tridiagonal matrix
The LU-decomposition of Lehmer's tridiagonal matrix is first guessed, then proved, which leads to an evaluation of the determinant.
Substitutive structure of Jeandel-Rao aperiodic tilings
Published in Discrete & Computational Geometry 65 (2021) 800-855
• View Publication
• BIB
Jeandel and Rao proved that 11 is the size of the smallest set of Wang tiles, i.e., unit squares with colored edges, that admit valid tilings (contiguous edges of adjacent tiles have the same color) of the plane, none of them being invariant under a nontrivial translation. We study herein the Wang shift $Ω_0$ made of all valid tilings using the set $\mathcal{T}_0$ of 11 aperiodic Wang tiles discovered by Jeandel and Rao. We show that there exists a minimal subshift $X_0$ of $Ω_0$ such that every tiling in $X_0$ can be decomposed uniquely into 19 distinct patches of sizes ranging from 45 to 112 that are equivalent to a set of 19 self-similar and aperiodic Wang tiles. We suggest that this provides an almost complete description of the substitutive structure of Jeandel-Rao tilings, as we believe that $Ω_0\setminus X_0$ is a null set for any shift-invariant probability measure on $Ω_0$. The proof is based on 12 elementary steps, 10 of which involve the same procedure allowing one to desubstitute Wang tilings from the existence of a subset of marker tiles. The 2 other steps involve the addition of decorations to deal with fault lines and changing the base of the $\mathbb{Z}^2$-action through a shear conjugacy. Algorithms are provided to find markers, recognizable substitutions, and shear conjugacy from a set of Wang tiles.
Equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids
Published
• View Publication
• BIB
We introduce $q$-analogues of uniform matroids, which we call $q$-niform matroids. While uniform matroids admit actions of symmetric groups, $q$-niform matroids admit actions of finite general linear groups. We show that the equivariant Kazhdan-Lusztig polynomial of a $q$-niform matroid is the unipotent $q$-analogue of the equivariant Kazhdan-Lusztig polynomial of the corresponding uniform matroid, thus providing evidence for the positivity conjecture for equivariant Kazhdan-Lusztig polynomials.
Intersections, circuits, and colorability of line segments
Published
• View Publication
• BIB
We derive sharp upper and lower bounds on the number of intersection points and closed regions that can occur in sets of line segments with certain structure, in terms of the number of segments. We consider sets of segments whose underlying planar graphs are Halin graphs, cactus graphs, maximal planar graphs, and triangle-free planar graphs, as well as randomly produced segment sets. We also apply these results to a variant of the Erdős-Faber-Lovász (EFL) Conjecture stating that the intersection points of $m$ segments can be colored with $m$ colors so that no segment contains points with the same color. We investigate an optimization problem related to the EFL Conjecture for line segments, determine its complexity, and provide some computational approaches.
The effect on the spectral radius of r-graphs by grafting or contracting edges
Published
• View Publication
• BIB
Let $\mathcal{H}^{(r)}_n$ be the set of all connected $r$-graphs with given size $n$. In this paper, we investigate the effect on the spectral radius of $r$-uniform hypergraphs by grafting or contracting an edge and then give the ordering of the $r$-graphs with small spectral radius over $\mathcal{H}^{(r)}_n$, when $n\geq 20$.
Eulerian edge refinements, geodesics, billiards and sphere coloring
A finite simple graph is called a 2-graph if all of its unit spheres S(x) are cyclic graphs of length 4 or larger. A 2-graph G is Eulerian if all vertex degrees of G are even. An edge refinement of a graph splits an edge (a,b) to two edges (a,c),(c,b) and connects the newly added vertex c to the intersection of S(a) with S(b). Theorem I assures that every 2-graph can be rendered Eulerian by successive edge refinements. The construction is explicit using geodesic cutting. After the refinement, we have an Eulerian 2-graph that carries a natural geodesic flow. We construct some ergodic ones. A 2-graph with boundary is finite simple graph for which every unit sphere is either a path graph of length n larger than 1 or a cyclic graph of length larger than 3. 2-balls are special 2-graphs are simply connected with a circular boundary. Theorem II tells that every 2-ball can be edge refined using interior edges to become Eulerian if and only if its boundary has length divisible by 3. A billiard map is defined already if all interior vertices have even degree. We will construct some ergodic billiards in 2-balls, where the geodesics bouncing off at the boundary symmetrically and which visit every interior edge exactly once. A consequence of Theorem II is that an Eulerian billiard which is ergodic must have a boundary length that is divisible by 3. We also construct other 2-graphs like tori with ergodic geodesic flows. This clashes with experience in the continuum, where tori have periodic points minimizing the length in homology classes of paths. Ergodic Eulerian 2-graphs or billiards are exciting because they satisfy a Hopf-Rynov result: there exists a geodesic connection between any two vertices. We get so unique canonical metric associated to any ergodic Eulerian graph. It is non-local in the sense that two adjacent vertices can have large distance.
On the number of Hadamard matrices via anti-concentration
Published
• View Publication
• BIB
Many problems in combinatorial linear algebra require upper bounds on the number of solutions to an underdetermined system of linear equations $Ax = b$, where the coordinates of the vector $x$ are restricted to take values in some small subset (e.g. $\{\pm 1\}$) of the underlying field. The classical ways of bounding this quantity are to use either a rank bound observation due to Odlyzko or a vector anti-concentration inequality due to Halász. The former gives a stronger conclusion except when the number of equations is significantly smaller than the number of variables; even in such situations, the hypotheses of Halász's inequality are quite hard to verify in practice. In this paper, using a novel approach to the anti-concentration problem for vector sums, we obtain new Halász-type inequalities which beat the Odlyzko bound even in settings where the number of equations is comparable to the number of variables. In addition to being stronger, our inequalities have hypotheses which are considerably easier to verify. We present two applications of our inequalities to combinatorial (random) matrix theory: (i) we obtain the first non-trivial upper bound on the number of $n\times n$ Hadamard matrices, and (ii) we improve a recent bound of Deneanu and Vu on the probability of normality of a random $\{\pm 1\}$ matrix.
A counterexample to a conjecture of Larman and Rogers on sets avoiding distance 1
Published in Mathematika 65 (2019) 785-787
• View Publication
• BIB
For $n \geq 2$ we construct a measurable subset of the unit ball in $\mathbb{R}^n$ that does not contain pairs of points at distance 1 and whose volume is greater than $(1/2)^n$ times the volume of the ball. This disproves a conjecture of Larman and Rogers from 1972.
Disjunctive domination in trees
In this paper, we study a parameter that is a relaxation of arguably the most important domination parameter, namely the domination number. Given the sheer scale of modern networks, many existing domination type structures are expensive to implement. Variations on the theme of dominating and total dominating sets studied to date tend to focus on adding restrictions which in turn raises their implementation costs. As an alternative route a relaxation of the domination number, called disjunctive domination, was proposed and studied by Goddard et al. A set $D$ of vertices in $G$ is a disjunctive dominating set in $G$ if every vertex not in $D$ is adjacent to a vertex of $D$ or has at least two vertices in $D$ at distance $2$ from it in $G$. The disjunctive domination number, $γ^{d}_2(G)$, of $G$ is the minimum cardinality of a disjunctive dominating set in $G$. We show that if $T$ is a tree of order $n$ with $l$ leaves and $s$ support vertices, then $\frac{n-l+3}{4}\leq γ^{d}_2(T)\leq \frac{n+l+s}{4}$. Moreover, we characterize the families of trees which attain these bounds.
On Reachability Mixed Arborescence Packing
Published
• View Publication
• BIB
As a generalization of the Edmonds arborescence packing theorem, Kamiyama--Katoh--Takizawa (2009) gave a good characterization of directed graphs that contain arc-disjoint arborescences spanning the set of vertices reachable from each root. Fortier--Király--Léonard--Szigeti--Talon (2018) asked whether the result can be extended to mixed graphs by allowing both directed arcs and undirected edges. In this paper, we solve this question by developing a polynomial-time algorithm for finding a collection of edge and arc-disjoint arborescences spanning the set of vertices reachable from each root in a given mixed graph.
Long monotone trails in random edge-labelings of random graphs
Published
• View Publication
• BIB
Given a graph $G$ and a bijection $f : E(G)\rightarrow \{1, 2, \ldots,e(G)\}$, we say that a trail/path in $G$ is $f$-\emph{increasing} if the labels of consecutive edges of this trail/path form an increasing sequence. More than 40 years ago Chvátal and Komlós raised the question of providing the worst-case estimates of the length of the longest increasing trail/path over all edge orderings of $K_n$. The case of a trail was resolved by Graham and Kleitman, who proved that the answer is $n-1$, and the case of a path is still widely open. Recently Lavrov and Loh proposed to study the average case of this problem in which the edge ordering is chosen uniformly at random. They conjectured (and it was proved by Martinsson) that such an ordering with high probability (whp) contains an increasing Hamilton path.
In this paper we consider random graph $G=G(n,p)$ and its edge ordering chosen uniformly at random. In this setting we determine whp the asymptotics of the number of edges in the longest increasing trail. In particular we prove an average case of the result of Graham and Kleitman, showing that the random edge ordering of $K_n$ has whp an increasing trail of length $(1-o(1))en$ and this is tight. We also obtain an asymptotically tight result for the length of the longest increasing path for random Erdő-Renyi graphs with $p=o(1)$.
Uncertainty in finite planes
We establish a number of uncertainty inequalities for the additive group of a finite affine plane, showing that for $p$ prime, a nonzero function $f\colon\mathbb F_p^2\to\mathbb C$ and its Fourier transform $\hat f\colon\widehat{\mathbb F_p^2}\to\mathbb C$ cannot have small supports simultaneously. The "baseline" of our investigation is the well-known Meshulam's bound, which we sharpen, for the particular groups under consideration, taking into account not only the sizes of the support sets $\mathrm{supp}\,f$ and $\mathrm{supp}\,\hat f$, but also their structure.
Our results imply in particular that, with some explicitly classified exceptions, one has $|\mathrm{supp}\,f||\mathrm{supp}\,\hat f|\ge3p(p-2)$; in comparison, the classical uncertainty inequality gives $|\mathrm{supp}\,f||\mathrm{supp}\,\hat f|\ge p^2$.
New lower bound on the Shannon capacity of C7 from circular graphs
Published in Information Processing Letters, 143 (2019), 37-40
• View Publication
• BIB
We give an independent set of size $367$ in the fifth strong product power of $C_7$, where $C_7$ is the cycle on $7$ vertices. This leads to an improved lower bound on the Shannon capacity of $C_7$: $Θ(C_7)\geq 367^{1/5} > 3.2578$. The independent set is found by computer, using the fact that the set $\{t \cdot (1,7,7^2,7^3,7^4) \,\, | \,\, t \in \mathbb{Z}_{382}\} \subseteq \mathbb{Z}_{382}^5$ is independent in the fifth strong product power of the circular graph $C_{108,382}$. Here the circular graph $C_{k,n}$ is the graph with vertex set $\mathbb{Z}_{n}$, the cyclic group of order $n$, in which two distinct vertices are adjacent if and only if their distance (mod $n$) is strictly less than $k$.
Collapsibility and homological properties of $\mathfrak{I}$-contractible transformations
Published
• View Publication
• BIB
The family of $\mathfrak{I}$-contractible graphs and contractible transformations was defined by A. Ivashchenko in the mid-90's. In this paper we study the collapsibility and homological properties of the clique complex associated to $\mathfrak{I}$-contractible graphs. We show that for any graph in a special subfamily of the $\mathfrak{I}$-contractible graphs (the strong $\mathfrak{I}$-contractible ones) its clique complex is collapsible. Moreover, we present an algorithm that allows us to verify if any graph is strong $\mathfrak{I}$-contractible, as well as an algorithm to delete those vertices whose open neighborhood is also strong $\mathfrak{I}$-contractible. Finally, we show how to use these algorithms to compute the persistent homology of an arbitrary Vietoris-Rips complex for applications in topological data analysis.
Crossing Numbers and Stress of Random Graphs
Published
• View Publication
• BIB
Consider a random geometric graph over a random point process in $\mathbb{R}^d$. Two points are connected by an edge if and only if their distance is bounded by a prescribed distance parameter. We show that projecting the graph onto a two dimensional plane is expected to yield a constant-factor crossing number (and rectilinear crossing number) approximation. We also show that the crossing number is positively correlated to the stress of the graph's projection.
D.H. Lehmer's Tridiagonal determinant: An Etude in (Andrews-Inspired) Experimental Mathematics
Published
• View Publication
• BIB
We use a "reverse engineering" method, pioneered by George Andrews, to discover an explicit expression for the determinant of a certain tridiagonal matrix discussed by Derrick Henry Lehmer in 1974, that lead to OEIS sequence A039924. Lehmer only did the infinite case, and here we also do the finite case, that immediately implies the former by taking the limit as n goes to infinity
Fully Active Cops and Robbers
We study a variation of the classical pursuit-evasion game of Cops and Robbers in which agents are required to move to an adjacent vertex on every turn. We explore how the minimum number of cops needed to catch the robber can change when this condition is added to the rules of the game. We study this `Fully Active Cops and Robbers' game for a number of classes of graphs and present some open problems for future research.
Spanning surfaces in 3-graphs
Published in J. Eur. Math. Soc. 24 (2022), 303-339
• View Publication
• BIB
We prove a topological extension of Dirac's theorem suggested by Gowers in 2005: for any connected, closed surface $\mathscr{S}$, we show that any two-dimensional simplicial complex on $n$ vertices in which each pair of vertices belongs to at least $n/3 + o(n)$ facets contains a homeomorph of $\mathscr{S}$ spanning all the vertices. This result is asymptotically sharp, and implies in particular that any 3-uniform hypergraph on $n$ vertices with minimum codegree exceeding $n/3+o(n)$ contains a spanning triangulation of the $2$-sphere.
On Stronger Types of Locating-dominating Codes
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (May 11, 2019) dmtcs:4771
• View Publication
• BIB
Locating-dominating codes in a graph find their application in sensor networks and have been studied extensively over the years. A locating-dominating code can locate one object in a sensor network, but if there is more than one object, it may lead to false conclusions. In this paper, we consider stronger types of locating-dominating codes which can locate one object and detect if there are multiple objects. We study the properties of these codes and provide bounds on the smallest possible size of these codes, for example, with the aid of the Dilworth number and Sperner families. Moreover, these codes are studied in trees and Cartesian products of graphs. We also give the complete realization theorems for the coexistence of the smallest possible size of these codes and the optimal locating-dominating codes in a graph.
Stable divisorial gonality is in NP
Published
• View Publication
• BIB
Divisorial gonality and stable divisorial gonality are graph parameters, which have an origin in algebraic geometry. Divisorial gonality of a connected graph $G$ can be defined with help of a chip firing game on $G$. The stable divisorial gonality of $G$ is the minimum divisorial gonality over all subdivisions of edges of $G$.
In this paper we prove that deciding whether a given connected graph has stable divisorial gonality at most a given integer $k$ belongs to the class NP. Combined with the result that (stable) divisorial gonality is NP-hard by Gijswijt, we obtain that stable divisorial gonality is NP-complete. The proof consist of a partial certificate that can be verified by solving an Integer Linear Programming instance. As a corollary, we have that the number of subdivisions needed for minimum stable divisorial gonality of a graph with $n$ vertices is bounded by $2^{p(n)}$ for a polynomial $p$.