Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Embeddings of quadratic spaces over the field of $p$-adic numbers
Nondegenerate quadratic forms over $p$-adic fields are classified by their dimension, discriminant, and Hasse invariant. This paper uses these three invariants, elementary facts about $p$-adic fields and the theory of quadratic forms to determine which types of quadratic spaces -- including degenerate cases -- can be embedded in the Euclidean $p$-adic space $(\mathbb{Q}_{p}^{n},x_{1}^{2}+\cdots+x_{n}^{2})$, and the Lorentzian space $(\mathbb{Q}_{p}^{n},x_{1}^{2}+\cdots+x_{n-1}^{2}+λx_{n}^{2})$, where $\mathbb{Q}_{p}$ is the field of $p$-adic numbers, and $λ$ is a nonsquare in the finite field $\mathbb{F}_{p}$. Furthermore, the minimum dimension $n$ that admits such an embedding is determined.
$r$-cross $t$-intersecting families via necessary intersection points
Published
• View Publication
• BIB
Given integers $r\geq 2$ and $n,t\geq 1$ we call families $\mathcal{F}_1,\dots,\mathcal{F}_r\subseteq\mathscr{P}([n])$ $r$-cross $t$-intersecting if for all $F_i\in\mathcal{F}_i$, $i\in[r]$, we have $\vert\bigcap_{i\in[r]}F_i\vert\geq t$. We obtain a strong generalisation of the classic Hilton-Milner theorem on cross intersecting families. In particular, we determine the maximum of $\sum_{j\in [r]}\vert\mathcal{F}_j\vert$ for $r$-cross $t$-intersecting families in the cases when these are $k$-uniform families or arbitrary subfamilies of $\mathscr{P}([n])$. Only some special cases of these results had been proved before. We obtain the aforementioned theorems as instances of a more general result that considers measures of $r$-cross $t$-intersecting families. This also provides the maximum of $\sum_{j\in [r]}\vert\mathcal{F}_j\vert$ for families of possibly mixed uniformities $k_1,\ldots,k_r$.
Asymmetric Ramsey Properties of Random Graphs for Cliques and Cycles
Published
• View Publication
• BIB
We say that $G \to (F,H)$ if, in every edge colouring $c: E(G) \to \{1,2\}$, we can find either a $1$-coloured copy of $F$ or a $2$-coloured copy of $H$. The well-known Kohayakawa--Kreuter conjecture states that the threshold for the property $G(n,p) \to (F,H)$ is equal to $n^{-1/m_{2}(F,H)}$, where $m_{2}(F,H)$ is given by \[ m_{2}(F,H):= \max \left\{\dfrac{e(J)}{v(J)-2+1/m_2(H)} : J \subseteq F, e(J)\ge 1 \right\}. \] In this paper, we show the $0$-statement of the Kohayakawa--Kreuter conjecture for every pair of cycles and cliques.
Spaces of embeddings: Nonsingular bilinear maps, chirality, and their generalizations
Published
• View Publication
• BIB
Given a space X we study the topology of the space of embeddings of X into $\mathbb{R}^d$ through the combinatorics of triangulations of X. We give a simple combinatorial formula for upper bounds for the largest dimension of a sphere that antipodally maps into the space of embeddings. This result summarizes and extends results about the nonembeddability of complexes into $\mathbb{R}^d$, the nonexistence of nonsingular bilinear maps, and the study of embeddings into $\mathbb{R}^d$ up to isotopy, such as the chirality of spatial graphs.
Patchworking Oriented Matroids
Published
• View Publication
• BIB
In a previous work, we gave a construction of (not necessarily realizable) oriented matroids from a triangulation of a product of two simplices. In this follow-up paper, we use a variant of Viro's patchworking to derive a topological representation of the oriented matroid directly from the polyhedral structure of the triangulation, hence finding a combinatorial manifestation of patchworking besides tropical algebraic geometry. We achieve this by rephrasing the patchworking procedure as a controlled cell merging process, guided by the structure of tropical oriented matroids. A key insight is a new promising technique to show that the final cell complex is regular.
Packable hyperbolic surfaces with symmetries
Published
• View Publication
• BIB
We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).
More constructions for Sperner partition systems
Published
• View Publication
• BIB
An $(n,k)$-Sperner partition system is a set of partitions of some $n$-set such that each partition has $k$ nonempty parts and no part in any partition is a subset of a part in a different partition. The maximum number of partitions in an $(n,k)$-Sperner partition system is denoted $\mathrm{SP}(n,k)$. In this paper we introduce a new construction for Sperner partition systems based on a division of the ground set into many equal-sized parts. We use this to asymptotically determine $\mathrm{SP}(n,k)$ in many cases where $\frac{n}{k}$ is bounded as $n$ becomes large. Further, we show that this construction produces a Sperner partition system of maximum size for numerous small parameter sets $(n,k)$. By extending a separate existing construction, we also establish the asymptotics of $\mathrm{SP}(n,k)$ when $n \equiv k \pm 1 \pmod{2k}$ for almost all odd values of $k$.
On the maximum number of minimal codewords
Published
• View Publication
• BIB
Minimal codewords have applications in decoding linear codes and in cryptography. We study the maximum number of minimal codewords in binary linear codes of a given length and dimension. Improved lower and upper bounds on the maximum number are presented. We determine the exact values for the case of linear codes of dimension $k$ and length $k+2$ and for small values of the length and dimension. We also give a formula for the number of minimal codewords of linear codes of dimension $k$ and length $k+3$.
Note on rainbow cycles in edge-colored graphs
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ with an edge-coloring $c$, and let $δ^c(G)$ denote the minimum color degree of $G$. A subgraph $F$ of $G$ is called rainbow if all edges of $F$ have pairwise distinct colors. There have been a lot results on rainbow cycles of edge-colored graphs. In this paper, we show that (i) if $δ^c(G)>\frac{3n-3}{4}$, then every vertex of $G$ is contained in a rainbow triangle; (ii) $δ^c(G)>\frac{3n}{4}$, then every vertex of $G$ is contained in a rainbow $C_4$; and (iii) if $G$ is complete, $n\geq 8k-18$ and $δ^c(G)>\frac{n-1}{2}+k$, then $G$ contains a rainbow cycle of length at least $k$. Some gaps in previous publications are also found and corrected.
The spectra of digraphs with Morita equivalent $C^\ast$-algebras
Published in Linear Algebra and its Applications 655 (2022) 28--64
• View Publication
• BIB
Eilers et al. have recently completed the geometric classification of unital graph $C^\ast$-algebras up to Morita equivalence using a set of moves on the corresponding digraphs. We explore the question of whether these moves preserve the nonzero elements of the spectrum of a finite digraph, which in this paper is allowed to have loops and parallel edges. We consider several different digraph spectra that have been studied in the literature, answering this question for the Laplace and adjacency spectra, their skew counterparts, the symmetric adjacency spectrum, the adjacency spectrum of the line digraph, the Hermitian adjacency spectrum, and the normalized Laplacian, considering in most cases two ways that these spectra can be defined in the presence of parallel edges. We show that the adjacency spectra of the digraph and line digraph are preserved by a subset of the moves, and the skew adjacency and Laplace spectra are preserved by the Cuntz splice. We give counterexamples to show that the other spectra are not preserved by the remaining moves. The same results hold if one restricts to the class of strongly connected digraphs.
Remarks on the subdivisions of bispindles and two-blocks cycles in highly chromatic digraphs
A $(2+1)$-bispindle $B(k_1,k_2;k_3)$ is the union of two $xy$-dipaths of respective lengths $k_1$ and $k_2$, and one $yx$-dipath of length $k_3$, all these dipaths being pairwise internally disjoint. Recently, Cohen et al. conjectured that, for every positive integers $k_1, k_2, k_3$, there is an integer $g(k_1, k_2, k_3)$ such that every strongly connected digraph not containing subdivisions of $B(k_1, k_2; k_3)$ has a chromatic number at most $g(k_1, k_2, k_3)$, and they proved it only for the case where $k_2=1$. For Hamiltonian digraphs, we prove Cohen et al.'s conjecture, namely $g(k_1, k_2, k_3)\leq 4k$, where $k=max\{k_1, k_2, k_3\}$. A two-blocks cycle $C(k_1,k_2)$ is the union of two internally disjoint $xy$-dipaths of length $k_1$ and $k_2$ respectively. Addario et al. asked if the chromatic number of strong digraphs not containing subdivisions of a two-blocks cycle $C(k_1,k_2)$ can be bounded from above by $O(k_1+k_2)$, which remains an open problem. Assuming that $k=max\{k_1,k_2\}$, the best reached upper bound, found by Kim et al., is $12k^2$. In this article, we conjecture that this bound can be slightly improved to $4k^2$ and we confirm our conjecture for some particular cases. Moreover, we provide a positive answer to Addario et al.'s question for the class of digraphs having a Hamiltonian directed path.
The Second Neighborhood Conjecture for Oriented Graphs Missing $\{C_{4}, \overline{C_{4}}, S_{3},$ chair and co-chair$\}$-Free Graph
Seymour's Second Neighborhood Conjecture (SNC) asserts that every oriented graph has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. In this paper, we prove that if $G$ is a graph containing no induced $C_4$, $\overline{C_4}$, $S_3$, chair and $\overline{chair}$, then every oriented graph missing $G$ satisfies this conjecture. As a consequence, we deduce that the conjecture holds for every oriented graph missing a threshold graph, a generalized comb or a star.
Random polynomials: the closest roots to the unit circle
Let $f = \sum_{k=0}^n \varepsilon_k z^k$ be a random polynomial, where $\varepsilon_0,\ldots ,\varepsilon_n$ are iid standard Gaussian random variables, and let $ζ_1,\ldots,ζ_n$ denote the roots of $f$. We show that the point process determined by the magnitude of the roots $\{ 1-|ζ_1|,\ldots, 1-|ζ_n| \}$ tends to a Poisson point process at the scale $n^{-2}$ as $n\rightarrow \infty$. One consequence of this result is that it determines the magnitude of the closest root to the unit circle. In particular, we show that \[ \min_{k} ||ζ_k| - 1|n^2 \rightarrow \mathrm{Exp}(1/6),\] in distribution, where $\mathrm{Exp}(λ)$ denotes an exponential random variable of mean $λ^{-1}$. This resolves a conjecture of Shepp and Vanderbei from 1995 that was later studied by Konyagin and Schlag.
On $λ$-fold relative Heffter arrays and biembedding multigraphs on surfaces
Published in European Journal of Combinatorics, 97 (2021) 103370
• View Publication
• BIB
In this paper we define a new class of partially filled arrays, called $λ$-fold relative Heffter arrays, that are a generalisation of the Heffter arrays introduced by Archdeacon in 2015. After showing the connection of this new concept with several other ones, such as signed magic arrays, graph decompositions and relative difference families, we determine some necessary conditions and we present existence results for infinite classes of these arrays. In the last part of the paper we also show that these arrays give rise to biembeddings of multigraphs into orientable surfaces and we provide infinite families of such biembeddings. To conclude, we present a result concerning pairs of $λ$-fold relative Heffter arrays and covering surfaces.
Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture
Published
• View Publication
• BIB
Recently Dekking conjectured the form of the subword complexity function for the Fibonacci-Thue-Morse sequence. In this note we prove his conjecture by purely computational means, using the free software Walnut.
Real roots near the unit circle of random polynomials
Published
• View Publication
• BIB
Let $f_n(z) = \sum_{k = 0}^n \varepsilon_k z^k$ be a random polynomial where $\varepsilon_0,\ldots,\varepsilon_n$ are i.i.d. random variables with $\mathbb{E} \varepsilon_1 = 0$ and $\mathbb{E} \varepsilon_1^2 = 1$. Letting $r_1, r_2,\ldots, r_k$ denote the real roots of $f_n$, we show that the point process defined by $\{|r_1| - 1,\ldots, |r_k| - 1 \}$ converges to a non-Poissonian limit on the scale of $n^{-1}$ as $n \to \infty$. Further, we show that for each $δ> 0$, $f_n$ has a real root within $Θ_δ(1/n)$ of the unit circle with probability at least $1 - δ$. This resolves a conjecture of Shepp and Vanderbei from 1995 by confirming its weakest form and refuting its strongest form.
On interval transmission irregular graphs
Published
• View Publication
• BIB
Transmission of a vertex v of a connected graph G is the sum of distances from v to all other vertices in G. Graph G is transmission irregular (TI) if no two of its vertices have the same transmission, and G is interval transmission irregular (ITI) if it is TI and the vertex transmissions of G form a sequence of consecutive integers. Here we give a positive answer to the question of Dobrynin [Appl Math Comput 340 (2019), 1-4] of whether infinite families of ITI graphs exist.
Topological Recursion for the extended Ooguri-Vafa partition function of colored HOMFLY-PT polynomials of torus knots
Published in Adv. Theor. Math. Phys. 26 (2023), no. 4, 793-833
• View Publication
• BIB
We prove that topological recursion applied to the spectral curve of colored HOMFLY-PT polynomials of torus knots reproduces the n-point functions of a particular partition function called the extended Ooguri-Vafa partition function. This generalizes and refines the results of Brini-Eynard-Marino and Borot-Eynard-Orantin.
We also discuss how the statement of spectral curve topological recursion in this case fits into the program of Alexandrov-Chapuy-Eynard-Harnad of establishing the topological recursion for general weighted double Hurwitz numbers partition functions (a.k.a. KP tau-functions of hypergeometric type).
On the robustness of the metric dimension of grid graphs to adding a single edge
Published
• View Publication
• BIB
The metric dimension (MD) of a graph is a combinatorial notion capturing the minimum number of landmark nodes needed to distinguish every pair of nodes in the graph based on graph distance. We study how much the MD can increase if we add a single edge to the graph. The extra edge can either be selected adversarially, in which case we are interested in the largest possible value that the MD can take, or uniformly at random, in which case we are interested in the distribution of the MD. The adversarial setting has already been studied by [Eroh et. al., 2015] for general graphs, who found an example where the MD doubles on adding a single edge. By constructing a different example, we show that this increase can be as large as exponential. However, we believe that such a large increase can occur only in specially constructed graphs, and that in most interesting graph families, the MD at most doubles on adding a single edge. We prove this for $d$-dimensional grid graphs, by showing that $2d$ appropriately chosen corners and the endpoints of the extra edge can distinguish every pair of nodes, no matter where the edge is added. For the special case of $d=2$, we show that it suffices to choose the four corners as landmarks. Finally, when the extra edge is sampled uniformly at random, we conjecture that the MD of 2-dimensional grids converges in probability to $3+\mathrm{Ber}(8/27)$, and we give an almost complete proof.
Using graph theory to compute Laplace operators arising in a model for blood flow in capillary network
Maintaining cerebral blood flow is critical for adequate neuronal function. Previous computational models of brain capillary networks have predicted that heterogeneous cerebral capillary flow patterns result in lower brain tissue partial oxygen pressures. It has been suggested that this may lead to number of diseases such as Alzheimer's disease, acute ischemic stroke, traumatic brain injury and ischemic heart disease. We have previously developed a computational model that was used to describe in detail the effect of flow heterogeneities on tissue oxygen levels. The main result in that paper was that, for a general class of capillary networks, perturbations of segment diameters or conductances always lead to decreased oxygen levels. This result was verified using both numerical simulations and mathematical analysis. However, the analysis depended on a novel conjecture concerning the Laplace operator of functions related to the segment flow rates and how they depend on the conductances. The goal of this paper is to give a mathematically rigorous proof of the conjecture for a general class of networks. The proof depends on determining the number of trees and forests in certain graphs arising from the capillary network.