Showing 20 papers (Total: 82505 papers, 47699 authors in database)
An Exact Hypergraph Matching Algorithm for Nuclear Identification in Embryonic Caenorhabditis elegans
Published
• View Publication
• BIB
Finding an optimal correspondence between point sets is a common task in computer vision. Existing techniques assume relatively simple relationships among points and do not guarantee an optimal match. We introduce an algorithm capable of exactly solving point set matching by modeling the task as hypergraph matching. The algorithm extends the classical branch and bound paradigm to select and aggregate vertices under a proposed decomposition of the multilinear objective function. The methodology is motivated by Caenorhabditis elegans, a model organism used frequently in developmental biology and neurobiology. The embryonic C. elegans contains seam cells that can act as fiducial markers allowing the identification of other nuclei during embryo development. The proposed algorithm identifies seam cells more accurately than established point-set matching methods, while providing a framework to approach other similarly complex point set matching tasks.
Probability Mass of Rademacher Sums Beyond One Standard Deviation
Published
• View Publication
• BIB
Let $a_1, \dots, a_n \in \mathbb{R}$ satisfy $\sum_i a_i^2 = 1$, and let $\varepsilon_1, \ldots, \varepsilon_n$ be uniformly random $\pm 1$ signs and $X = \sum_{i=1}^{n} a_i \varepsilon_i$. It is conjectured that $X = \sum_{i=1}^{n} a_i \varepsilon_i$ has $\Pr[X \geq 1] \geq 7/64$. The best lower bound so far is $1/20$, due to Oleszkiewicz. In this paper we improve this to $\Pr[X \geq 1] \geq 6/64$.
Regular graphs with few longest cycles
Published
• View Publication
• BIB
Motivated by work of Haythorpe, Thomassen and the author showed that there exists a positive constant $c$ such that there is an infinite family of 4-regular 4-connected graphs, each containing exactly $c$ hamiltonian cycles. We complement this by proving that the same conclusion holds for planar 4-regular 3-connected graphs, although it does not hold for planar 4-regular 4-connected graphs by a result of Brinkmann and Van Cleemput, and that it holds for 4-regular graphs of connectivity 2 with the constant $144 < c$, which we believe to be minimal among all hamiltonian 4-regular graphs of sufficiently large order. We then disprove a conjecture of Haythorpe by showing that for every non-negative integer $k$ there is a 5-regular graph on $26 + 6k$ vertices with $2^{k+10} \cdot 3^{k+3}$ hamiltonian cycles. We prove that for every $d \ge 3$ there is an infinite family of hamiltonian 3-connected graphs with minimum degree $d$, with a bounded number of hamiltonian cycles. It is shown that if a 3-regular graph $G$ has a unique longest cycle $C$, at least two components of $G - E(C)$ have an odd number of vertices on $C$, and that there exist 3-regular graphs with exactly two such components.
Independence equivalence classes of cycles
Published in Discrete Math 344 (12) (2021), 112605
• View Publication
• BIB
The independence equivalence class of a graph $G$ is the set of graphs that have the same independence polynomial as $G$. Beaton, Brown and Cameron (arXiv:1810.05317) found the independence equivalence classes of even cycles, and raised the problem of finding the independence equivalence class of odd cycles. The problem is completely solved in this paper.
Bijective enumeration of planar bipartite maps with three tight boundaries, or how to slice pairs of pants
Published in Annales Henri Lebesgue, Volume 5 (2022), pp. 1035-1110
• View Publication
• BIB
We consider planar maps with three boundaries, colloquially called pairs of pants. In the case of bipartite maps with controlled face degrees, a simple expression for their generating function was found by Eynard and proved bijectively by Collet and Fusy. In this paper, we obtain an even simpler formula for \emph{tight} pairs of pants, namely for maps whose boundaries have minimal length in their homotopy class. We follow a bijective approach based on the slice decomposition, which we extend by introducing new fundamental building blocks called bigeodesic triangles and diangles, and by working on the universal cover of the triply punctured sphere. We also discuss the statistics of the lengths of minimal separating loops in (non necessarily tight) pairs of pants and annuli, and their asymptotics in the large volume limit.
Classification of Levi-spherical Schubert varieties
Published in Selecta Math. (N.S.) 29 (2023), no. 4, Paper No. 55, 40 pages
• View Publication
• BIB
A Schubert variety in the complete flag manifold $GL_n/B$ is Levi-spherical if the action of a Borel subgroup in a Levi subgroup of a standard parabolic has a dense orbit. We give a combinatorial classification of these Schubert varieties. This establishes a conjecture of the latter two authors, and a new formulation in terms of standard Coxeter elements. Our proof uses the theory of key polynomials (type A Demazure module characters).
A Sufficient Condition for a Quandle to be Latin
Published
• View Publication
• BIB
A quandle is an algebraic structure satisfying three axioms: idempotency, right-invertibility and right self-distributivity. In quandles, right translations are permutations. The profile of a quandle is the list of cycle structures, one per right translation in the quandle. In this note we prove that if, for each cycle structure in the profile of a quandle, no two cycle lengths are equal, then the quandle is latin -- this is the sufficient condition mentioned in the title.
Homotopy, homology, and persistent homology using closure spaces
Published in J. Appl. Comput. Topol. 8 (2024), no. 3, 579-641
• View Publication
• BIB
We develop persistent homology in the setting of filtrations of (Cech) closure spaces. Examples of filtrations of closure spaces include metric spaces, weighted graphs, weighted directed graphs, and filtrations of topological spaces. We use various products and intervals for closure spaces to obtain six homotopy theories, six cubical singular homology theories, and three simplicial singular homology theories. Applied to filtrations of closure spaces, these homology theories produce persistence modules. We extend the definition of Gromov-Hausdorff distance from metric spaces to filtrations of closure spaces and use it to prove that any persistence module obtained from a homotopy-invariant functor on closure spaces is stable.
N-colored generalized Frobenius partitions: Generalized Kolitsch identities
Published
• View Publication
• BIB
Let $N\geq 1$ be squarefree with $(N,6)=1$. Let $cφ_N(n)$ denote the number of $N$-colored generalized Frobenius partition of $n$ introduced by Andrews in 1984. We prove $$ cφ_N(n)= \sum_{d \mid N} N/d \cdot P\left( \frac{ N}{d^2}n - \frac{N^2-d^2}{24d^2} \right) + b(n)$$ where $C(z) := (q;q)^N_\infty\sum_{n=1}^{\infty} b(n) q^n$ is a cusp form in $S_{(N-1)/2} (Γ_0(N),χ_N)$. This extends and strengthens earlier results of Kolitsch and Chan-Wang-Yan treating the case when $N$ is a prime. As an immediate application, we obtain an asymptotic formula for $cφ_N(n)$ in terms of the classical partition function.
What are higher-order networks?
Published in SIAM Review 65(3), 686-731 (2023)
• View Publication
• BIB
Network-based modeling of complex systems and data using the language of graphs has become an essential topic across a range of different disciplines. Arguably, this graph-based perspective derives its success from the relative simplicity of graphs: A graph consists of nothing more than a set of vertices and a set of edges, describing relationships between pairs of such vertices. This simple combinatorial structure makes graphs interpretable and flexible modeling tools. The simplicity of graphs as system models, however, has been scrutinized in the literature recently. Specifically, it has been argued from a variety of different angles that there is a need for higher-order networks, which go beyond the paradigm of modeling pairwise relationships, as encapsulated by graphs. In this survey article we take stock of these recent developments. Our goals are to clarify (i) what higher-order networks are, (ii) why these are interesting objects of study, and (iii) how they can be used in applications.
Irredundance Trees of Diameter 3
Published
• View Publication
• BIB
A set D of vertices of a graph G with vertex set V is irredundant if each non-isolated vertex of G[D] has a neighbour in V-D that is not adjacent to any other vertex in D. The upper irredundance number IR(G) is the largest cardinality of an irredundant set of G; an IR(G)-set is an irredundant set of cardinality IR(G). The IR-graph of G has the IR(G)-sets as vertex set, and sets A and B are adjacent if and only if B can be obtained from A by exchanging a single vertex of A for an adjacent vertex in B. An IR-tree is an IR-graph that is a tree. We characterize IR-trees of diameter 3 by showing that these graphs are precisely the double stars S(2n,2n), i.e., trees obtained by joining the central vertices of two disjoint stars K_{1,2n}.
The cross-product conjecture for width two posets
Published in Trans. Amer. Math. Soc. 375 (2022), no. 8, 5923-5961
• View Publication
• BIB
The cross--product conjecture (CPC) of Brightwell, Felsner and Trotter (1995) is a two-parameter quadratic inequality for the number of linear extensions of a poset $P= (X, \prec)$ with given value differences on three distinct elements in $X$. We give two different proofs of this inequality for posets of width two. The first proof is algebraic and generalizes CPC to a four-parameter family. The second proof is combinatorial and extends CPC to a $q$-analogue. Further applications include relationships between CPC and other poset inequalities, including a new $q$-analogue of the Kahn--Saks inequality.
Tree Topologies along a Tropical Line Segment
Published
• View Publication
• BIB
Tropical geometry with the max-plus algebra has been applied to statistical learning models over tree spaces because geometry with the tropical metric over tree spaces has some nice properties such as convexity in terms of the tropical metric. One of the challenges in applications of tropical geometry to tree spaces is the difficulty interpreting outcomes of statistical models with the tropical metric. This paper focuses on combinatorics of tree topologies along a tropical line segment, an intrinsic geodesic with the tropical metric, between two phylogenetic trees over the tree space and we show some properties of a tropical line segment between two trees. Specifically we show that a probability of a tropical line segment of two randomly chosen trees going through the origin (the star tree) is zero if the number of leave is greater than four, and we also show that if two given trees differ only one nearest neighbor interchange (NNI) move, then the tree topology of a tree in the tropical line segment between them is the same tree topology of one of these given two trees with possible zero branch lengths.
Scattered Factor Universality -- The Power of the Remainder
Scattered factor (circular) universality was firstly introduced by Barker et al. in 2020. A word $w$ is called $k$-universal for some natural number $k$, if every word of length $k$ of $w$'s alphabet occurs as a scattered factor in $w$; it is called circular $k$-universal if a conjugate of $w$ is $k$-universal. Here, a word $u=u_1\cdots u_n$ is called a scattered factor of $w$ if $u$ is obtained from $w$ by deleting parts of $w$, i.e. there exists (possibly empty) words $v_1,\dots,v_{n+1}$ with $w=v_1u_1v_2\cdots v_nu_nv_{n+1}$. In this work, we prove two problems, left open in the aforementioned paper, namely a generalisation of one of their main theorems to arbitrary alphabets and a slight modification of another theorem such that we characterise the circular universality by the universality. On the way, we present deep insights into the behaviour of the remainder of the so called arch factorisation by Hebrard when repetitions of words are considered.
A Separation of $γ$ and $b$ via Thue--Morse Words
Published
• View Publication
• BIB
We prove that for $n\geq 2$, the size $b(t_n)$ of the smallest bidirectional scheme for the $n$th Thue--Morse word $t_n$ is $n+2$. Since Kutsukake et al. [SPIRE 2020] show that the size $γ(t_n)$ of the smallest string attractor for $t_n$ is $4$ for $n \geq 4$, this shows for the first time that there is a separation between the size of the smallest string attractor $γ$ and the size of the smallest bidirectional scheme $b$, i.e., there exist string families such that $γ= o(b)$.
On Fault-Tolerant Resolvability of Double Antiprism and its related Graphs
For a connected graph $Γ=(V,E)$, a subset $R$ of ordered vertices in $V$ is said to be a resolving set in $Γ$, if the vector of distances to the vertices in $R$ is unique for each $u^{i}\in V(Γ)$. The metric dimension of $Γ$ is the minimum cardinality of such a set $R$. If $R\setminus \{u^{i}\}$ is still a resolving set $\forall$ $u^{i}\in R$, then $R$ is called a fault-tolerant resolving set (FTRS) for $Γ$ and its least cardinality is the fault-tolerant metric dimension (FTMD) of $Γ$. In this article, we introduce the concept of an independent fault-tolerant resolving set (IFTRS) and investigate it for several well-known graphs. We also show that the FTMD is four for three closely related families of convex polytopes available in the literature (viz., double antiprism $\mathbb{A}_{n}$, $S_{n}$, and $T_{n}$).
Combinatorial structure of Sturmian words and continued fraction expansions of Sturmian numbers
Published
• View Publication
• BIB
Let $θ= [0; a_1, a_2, \dots]$ be the continued fraction expansion of an irrational real number $θ\in (0, 1)$. It is well-known that the characteristic Sturmian word of slope $θ$ is the limit of a sequence of finite words $(M_k)_{k \ge 0}$, with $M_k$ of length $q_k$ (the denominator of the $k$-th convergent to $θ$) being a suitable concatenation of $a_k$ copies of $M_{k-1}$ and one copy of $M_{k-2}$. Our first result extends this to any Sturmian word. Let $b \ge 2$ be an integer. Our second result gives the continued fraction expansion of any real number $ξ$ whose $b$-ary expansion is a Sturmian word ${\bf s}$ over the alphabet $\{0, b-1\}$. This extends a classical result of Böhmer who considered only the case where ${\bf s}$ is characteristic. As a consequence, we obtain a formula for the irrationality exponent of $ξ$ in terms of the slope and the intercept of ${\bf s}$.
On sublinear approximations for the Petersen coloring conjecture
If $f:\mathbb{N}\rightarrow \mathbb{N}$ is a function, then let us say that $f$ is sublinear if \[\lim_{n\rightarrow +\infty}\frac{f(n)}{n}=0.\] If $G=(V,E)$ is a cubic graph and $c:E\rightarrow \{1,...,k\}$ is a proper $k$-edge-coloring of $G$, then an edge $e=uv$ of $G$ is poor (rich) in $c$, if the edges incident to $u$ and $v$ are colored with three (five) colors. An edge is abnormal if it is neither rich nor poor. The Petersen coloring conjecture of Jaeger states that any bridgeless cubic graph admits a proper 5-edge-coloring $c$, such that there is no an abnormal edge of $G$ with respect to $c$. For a proper 5-edge-coloring $c$ of $G$, let $N_G(c)$ be the set of abnormal edges of $G$ with respect to $c$. In this paper we show that (a) The Petersen coloring conjecture is equivalent to the statement that there is a sublinear function $f:\mathbb{N}\rightarrow \mathbb{N}$, such that all bridgeless cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq f(|V|)$; (b) for $k=2,3,4$, the statement that there is a sublinear function $f:\mathbb{N}\rightarrow \mathbb{N}$, such that all (cyclically) $k$-edge-connected cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq f(|V|)$ is equivalent to the statement that all (cyclically) $k$-edge-connected cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq 2k+1$.
Some Identities Related to the Second-Order Eulerian Numbers
We express the Nörlund polynomials in terms of the second-order Eulerian numbers. Based on this expression, we derive several identities related to the Bernoulli numbers. In particular, we present a short proof of the problem raised by Rzcadkowski and Urlińska.
Twin-width and generalized coloring numbers
Published
• View Publication
• BIB
In this paper, we prove that a graph $G$ with no $K_{s,s}$-subgraph and twin-width $d$ has $r$-admissibility and $r$-coloring numbers bounded from above by an exponential function of $r$ and that we can construct graphs achieving such a dependency in $r$.