143 citations
6 papers
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems
Richard Schmoetten, Jake Palmer, Jacques Fleuriot
This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hi…
A fast patch-dictionary method for whole image recovery
Yangyang Xu, Wotao Yin
Various algorithms have been proposed for dictionary learning. Among those for image processing, many use image patches to form dictionaries. This paper focuses on whole-image reco…
Coxeter-Knuth graphs and a signed Little map for type B reduced words
Sara Billey, Zachary Hamaker, Austin Roberts +1
We define an analog of David Little's algorithm for reduced words in type B, and investigate its main properties. In particular, we show that our algorithm preserves the recording…
On the mixed -divergence for multiple pairs of measures
Elisabeth M. Werner, Deping Ye
In this paper, the concept of the classical -divergence (for a pair of measures) is extended to the mixed -divergence (for multiple pairs of measures). The mixed -divergen…
On the maximum induced density of directed stars and related problems
Hao Huang
Let k>=3 be an integer, we prove that the maximum induced density of the k-vertex directed star in a directed graph is attained by an iterated blow-up construction. This confirms a…
Topological Methods for Exploring Low-density States in Biomolecular Folding Pathways
Yuan Yao, Jian Sun, Xuhui Huang +3
Characterization of transient intermediate or transition states is crucial for the description of biomolecular folding pathways, which is however difficult in both experiments and…