Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Single-cell 3D genome reconstruction in the haploid setting using rigidity theory
Published in Journal of Mathematical Biology, Volume 90, article number 45, (2025)
• View Publication
• BIB
This article considers the problem of 3-dimensional genome reconstruction for single-cell data, and the uniqueness of such reconstructions in the setting of haploid organisms. We consider multiple graph models as representations of this problem, and use techniques from graph rigidity theory to determine identifiability. Biologically, our models come from Hi-C data, microscopy data, and combinations thereof. Mathematically, we use unit ball and sphere packing models, as well as models consisting of distance and inequality constraints. In each setting, we describe and/or derive new results on realisability and uniqueness. We then propose a 3D reconstruction method based on semidefinite programming and apply it to synthetic and real data sets using our models.
The largest normalized Laplacian eigenvalue and incidence balancedness of simplicial complexes
Published in Bull. Iran. Math. Soc. 51, 42 (2025)
• View Publication
• BIB
Let $K$ be a simplicial complex, and let $Δ_i^{up}(K)$ be the $i$-th up normalized Laplacian of $K$. Horak and Jost showed that the largest eigenvalue of $Δ_i^{up}(K)$ is at most $i+2$, and characterized the equality case by the orientable or non-orientable circuits. In this paper, by using the balancedness of signed graphs, we show that $Δ_i^{up}(K)$ has an eigenvalue $i+2$ if and only if $K$ has an $(i+1)$-path connected component $K'$ such that the $i$-th signed incidence graph $B_i(K')$ is balanced, which implies Horak and Jost's characterization. We also characterize the multiplicity of $i+2$ as an eigenvalue of $Δ_i^{up}(K)$, which generalizes the corresponding result in graph case. Finally we gave some classes of infinitely many simplicial complexes $K$ with $Δ_i^{up}(K)$ having an eigenvalue $i+2$ by using wedge, Cartesian product and duplication of motifs.
Tredoku Patterns
Published
• View Publication
• BIB
Donald A. Preece gave two talks in 2013, in which he introduced the notion of tredoku patterns. These are certain configurations of diamond-shaped tiles, inspired by the sukodu-like puzzle that appears in newspapers. Very sadly, Prof. Preece died in January 2014, before he was able to complete his work on this problem. This paper reconstructs his work, and settles (in the affirmative) the conjectures he proposed.
Eigenvalues of matrix products
Published
• View Publication
• BIB
We study pairs of matrices $A,B\in GL_n({\mathbb C})$ such that the eigenvalues of $A$, of $B$ and of the product $AB$ are specified in advance. We show that the space of such pairs $(A,B)$ under simultaneous conjugation has dimension $(n-1)(n-2)$, and give an explicit parameterization.
More generally let $Σ$ be a surface of genus $g$ with $k$ punctures. We find a parameterization of the space $Ω_{g,k,n}$ of flat $GL_n({\mathbb C})$-structures on $Σ$ whose holonomies around the punctures have prescribed eigenvalues.
We show furthermore that, for $3\le k\le 2g+6$ (or $3\le k\le 9$ if $g=1$, or $3\le k$ if $g=0$), the space $Ω_{g,k,n}$ has an explicit symplectic structure and an associated Liouville integrable system, equivalent to a leaf of a Goncharov-Kenyon dimer integrable system.
Two-row Delta Springer varieties
Published in Algebr. Comb. 8(4) (2025), 925-953
• View Publication
• BIB
We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer variety and compare it to the ordinary two-row Springer fiber as well as Kato's exotic Springer fiber corresponding to a one-row bipartition. In addition to that, we extend the action of the symmetric group on the homology of the two-row $Δ$-Springer variety to an action of a degenerate affine Hecke algebra and relate this action to a $\mathfrak{gl}_{2}$-tensor space.
Kohayakawa-Nagle-R{ö}dl-Schacht conjecture for subdivisions
In this paper, we study the well-known Kohayakawa-Nagle-R{ö}dl-Schacht (KNRS) conjecture, with a specific focus on graph subdivisions. The KNRS conjecture asserts that for any graph $H$, locally dense graphs contain asymptotically at least the number of copies of $H$ found in a random graph with the same edge density. We prove the following results about $k$-subdivisions of graphs (obtained by replacing edges with paths of length $k+1$): (1). If $H$ satisfies the KNRS conjecture, then its $(2k-1)$-subdivision satisfies Sidorenko's conjecture, extending a prior result of Conlon, Kim, Lee and Lee; (2). If $H$ satisfies the KNRS conjecture, then its $2k$-subdivision satisfies a constant-fraction version of the KNRS conjecture; (3). If $H$ is regular and satisfies the KNRS conjecture, then its $2k$-subdivision also satisfies the KNRS conjecture. These findings imply that all balanced subdivisions of cliques satisfy the KNRS conjecture, improving upon a recent result of Bradač, Sudakov and Wigerson. Our work provides new insights into this pivotal conjecture in extremal graph theory.
You Wouldn't Permutahedron
We develop formulas that define permutahedral commutation coherence relations of all orders. To illustrate the result geometrically, we begin by defining a rigid transformation of the $(n+1)$-permutahedron into a $n$-cube of dimensions $1 \times 2 \times \cdots \times n$. With a fictitious assumption, we 'define' the corresponding coherence relations 'up to associativity' as an instance of a semi-simplicial type in the language of Displayed Type Theory. This is not a formal result in type theory, but we expect this to translate into one as soon as the problem of defining associahedral coherences is solved in a type theory with semi-simplicial types. On the other hand, this not-strictly-well-typed definition may be used to produce well-typed formulas in a restricted setting.
Sum and integral sum graphs -- A survey
Frank Harary introduced the concepts of sum and integral sum graphs. A graph $G$ is a \textit{sum graph} if the vertices of $G$ can be labeled with distinct positive integers so that $e = uv$ is an edge of $G$ if and only if the sum of the labels on vertices $u$ and $v$ is also a label in $G.$ An \textit{integral sum graph} is also defined just as sum graph, the difference being that the labels may be any distinct integers. In this survey article, the authors bring out several properties of sum and integral sum graphs obtained by different authors.
Puzzle Ideals for Grassmannians
Puzzles are a versatile combinatorial tool to interpret the Littlewood-Richardson coefficients for Grassmannians. In this paper, we propose the concept of puzzle ideals whose varieties one-one correspond to the tilings of puzzles and present an algebraic framework to construct the puzzle ideals which works with the Knutson-Tao-Woodward puzzle and its $T$-equivariant and $K$-theoretic variants for Grassmannians. For puzzles for which one side is free, we propose the side-free puzzle ideals whose varieties one-one correspond to the tilings of side-free puzzles, and the elimination ideals of the side-free puzzle ideals contain all the information of the structure constants for Grassmannians with respect to the free side.
Besides the underlying algebraic importance of the introduction of these puzzle ideals is the computational feasibility to find all the tilings of the puzzles for Grassmannians by solving the defining polynomial systems, demonstrated with illustrative puzzles via computation of Gröbner bases.
Sharp stability of the Brunn-Minkowski inequality via optimal mass transportation
The Brunn-Minkowski inequality, applicable to bounded measurable sets $A$ and $B$ in $\mathbb{R}^d$, states that $|A+B|^{1/d} \geq |A|^{1/d}+|B|^{1/d}$. Equality is achieved if and only if $A$ and $B$ are convex and homothetic sets in $\mathbb{R}^d$. The concept of stability in this context concerns how, when approaching equality, sets $A$ and $B$ are close to homothetic convex sets. In a recent breakthrough [FvHT23], the authors of this paper proved the following folklore conjectures on the sharp stability for the Brunn-Minkowski inequality:
(1) A linear stability result concerning the distance from $A$ and $B$ to their respective convex hulls.
(2) A quadratic stability result concerning the distance from $A$ and $B$ to their common convex hull.
As announced in [FvHT23], in the present paper, we leverage (1) in conjunction with a novel optimal transportation approach to offer an alternative proof for (2).
On trilinear and quadrilinear equations associated with the lattice Gel'fand-Dikii hierarchy
Published
• View Publication
• BIB
Introduced in 2012, by Zhang, Zhao, and Nijhoff, the trilinear Boussinesq equation is the natural form of the equation for the $τ$-function of the lattice Boussinesq system. In this paper we study various aspects of this equation: its highly nontrivial derivation from the bilinear lattice AKP equation under dimensional reduction, a quadrilinear dual lattice equation, conservation laws, and periodic reductions leading to higher-dimensional integrable maps and their Laurent property. Furthermore, we consider a higher Gel'fand-Dikii lattice system, its periodic reductions and Laurent property. As a special application, from both a trilinear Boussinesq recurrence as well as a higher Gel'fand-Dikii system of three bilinear recurrences, we establish Somos-like integer sequences.
Monotonicity of inverse Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
For arbitrary Coxeter systems, we prove that inverse Kazhdan-Lusztig polynomials satisfy a monotonicity property. This follows from the validity of Soergel's conjecture and the existence of injective morphisms between Rouquier complexes in the mixed perverse Hecke category. The monotonicity property is generalised to parabolic Kazhdan-Lusztig polynomials.
Infinite friezes of affine type D
Published
• View Publication
• BIB
In this article, we study infinite friezes arising from cluster categories of affine type $D$ and determine the growth coefficients for these friezes. We prove that for each affine type $D$, the friezes given by the tubes all have the same growth behavior.
Projective Rectangles: The Graph of Lines
A projective rectangle is like a projective plane that may have different lengths in two directions. We develop properties of the graph of lines, in which adjacency means having a common point, especially its strong regularity and clique structure. The main construction of projective rectangles, stated in a previous paper, gives rectangles whose graph of lines is a known strongly regular bilinear forms graph. That fact leads to a proof that the main construction does produce projective rectangles, and also gives a new representation of bilinear forms graphs. We conclude by mentioning a few simple graph properties, such as the chromatic number, which is not known, and a partial geometry obtained from the graph.
Minimal simplicial degree $d$ self-maps of $\mathbb{S}^{n-1}\times \mathbb{S}^1$
The degree of a map between orientable manifolds is a fundamental concept in topology that aids in understanding the structure and properties of the manifolds and the maps between them. Numerous studies have been conducted on the degree of maps between orientable topological spaces. For each $d \in \mathbb{Z}$, we construct a degree $ d$ simplicial map from a $(2(n+1) \max\{|d|,1\})$-facet colored triangulation of $\mathbb{S}^{n-1} \times \mathbb{S}^1$ to the standard $ 2(n+1) $-facet colored triangulation of $ \mathbb{S}^{n-1} \times \mathbb{S}^1 $. We demonstrate that these are the minimal possible colored triangulations for a degree $d $ simplicial self-map of $\mathbb{S}^{n-1} \times \mathbb{S}^1 $, where $n \geq 2 $. Additionally, we construct a minimal degree $d $ simplicial map from a closed orientable $ n$-manifold to $ \mathbb{S}^n $, where $n \geq 1 $.
Boundedly finite-to-one functions
Published in Logic Journal of the IGPL, Volume 33, Issue 3, June 2025, jzae130
• View Publication
• BIB
A function is boundedly finite-to-one if there is a natural number $k$ such that each point has at most $k$ inverse images. In this paper, we prove in $\mathsf{ZF}$ (i.e., the Zermelo--Fraenkel set theory without the axiom of choice) several results concerning this notion, among which are the following:
(1) For each infinite set $A$ and natural number $n$, there is no boundedly finite-to-one function from $\mathcal{S}(A)$ to $\mathcal{S}_{\leq n}(A)$, where $\mathcal{S}(A)$ is the set of all permutations of $A$ and $\mathcal{S}_{\leq n}(A)$ is the set of all permutations of $A$ moving at most $n$ points.
(2) For each infinite set $A$, there is no boundedly finite-to-one function from $\mathcal{B}(A)$ to $\mathrm{fin}(A)$, where $\mathcal{B}(A)$ is the set of all partitions of $A$ such that every block is finite and $\mathrm{fin}(A)$ is the set of all finite subsets of $A$.
Parallel Ising Annealer via Gradient-based Hamiltonian Monte Carlo
Published
• View Publication
• BIB
Ising annealer is a promising quantum-inspired computing architecture for combinatorial optimization problems. In this paper, we introduce an Ising annealer based on the Hamiltonian Monte Carlo, which updates the variables of all dimensions in parallel. The main innovation is the fusion of an approximate gradient-based approach into the Ising annealer which introduces significant acceleration and allows a portable and scalable implementation on the commercial FPGA. Comprehensive simulation and hardware experiments show that the proposed Ising annealer has promising performance and scalability on all types of benchmark problems when compared to other Ising annealers including the state-of-the-art hardware. In particular, we have built a prototype annealer which solves Ising problems of both integer and fraction coefficients with up to 200 spins on a single low-cost FPGA board, whose performance is demonstrated to be better than the state-of-the-art quantum hardware D-Wave 2000Q and similar to the expensive coherent Ising machine. The sub-linear scalability of the annealer signifies its potential in solving challenging combinatorial optimization problems and evaluating the advantage of quantum hardware.
On vertex peripherians and Wiener index of graphs with fixed number of cut vertices
Published
• View Publication
• BIB
The distance of a vertex in a graph is the sum of distances from that vertex to all other vertices of the graph. The Wiener index of a graph is the sum of distances between all its unordered pairs of vertices. A graph has been obtained that contains a vertex achieving the maximum distance among all graphs on $n$ vertices with fixed number of cut vertices. Further the graphs having maximum Wiener index among all graphs on $n$ vertices with at most $3$ cut vertices have been characterised.
On the illumination of 1-symmetric convex bodies
In ["Illumination of convex bodies with many symmetries", Mathematika 63 (2017)], Tikhomirov verified the Hadwiger-Boltyanski Illumination Conjecture for the class of 1-symmetric convex bodies of sufficiently large dimension. We propose an alternative approach which allows us to settle the conjecture for this class in all dimensions in a uniform way. We also demonstrate that an alternative approach was indeed needed for the low dimensions. Finally, with this alternative method it is possible to solely use illuminating sets which consist of pairs of opposite directions; we thus also answer a question by Lassak, who has suggested this may be possible for any origin-symmetric convex body. As a consequence of this, we can also confirm the X-ray conjecture by Bezdek and Zamfirescu for all 1-symmetric convex bodies.
New Borwein-type conjectures
Published in Experimental Mathematics (2025)
• View Publication
• BIB
Motivated by recent research of Wang and Krattenthaler, we use Maple to propose five new ``Borwein-type'' conjectures modulo $3$ and two new ``Borwein-type'' conjectures modulo $5$.