Super-resolution, Extremal Functions and the Condition Number of Vandermonde Matrices

Super-resolution is a fundamental task in imaging, where the goal is to extract fine-grained structure from coarse-grained measurements. Here we are interested in a popular mathematical abstraction of this problem that has been widely studied in the statistics, signal processing and machine learning communities. We exactly resolve the threshold at which noisy super-resolution is possible. In particular, we establish a sharp phase transition for the relationship between the cutoff frequency ($m$) and the separation ($\Delta$). If $m > 1/\Delta + 1$, our estimator converges to the true values at an inverse polynomial rate in terms of the magnitude of the noise. And when $m < (1-\epsilon) /\Delta$ no estimator can distinguish between a particular pair of $\Delta$-separated signals even if the magnitude of the noise is exponentially small. Our results involve making novel connections between {\em extremal functions} and the spectral properties of Vandermonde matrices. We establish a sharp phase transition for their condition number which in turn allows us to give the first noise tolerance bounds for the matrix pencil method. Moreover we show that our methods can be interpreted as giving preconditioners for Vandermonde matrices, and we use this observation to design faster algorithms for super-resolution. We believe that these ideas may have other applications in designing faster algorithms for other basic tasks in signal processing.Comment: 19 page

Heavy and light roles: myosin in the morphogenesis of the heart

Myosin is an essential component of cardiac muscle, from the onset of cardiogenesis through to the adult heart. Although traditionally known for its role in energy transduction and force development, recent studies suggest that both myosin heavy-chain and myosin lightchain proteins are required for a correctly formed heart. Myosins are structural proteins that are not only expressed from early stages of heart development, but when mutated in humans they may give rise to congenital heart defects. This review will discuss the roles of myosin, specifically with regards to the developing heart. The expression of each myosin protein will be described, and the effects that altering expression has on the heart in embryogenesis in different animal models will be discussed. The human molecular genetics of the myosins will also be reviewed

Rhesus Monkeys See Who They Hear: Spontaneous Cross-Modal Memory for Familiar Conspecifics

Rhesus monkeys gather much of their knowledge of the social world through visual input and may preferentially represent this knowledge in the visual modality. Recognition of familiar faces is clearly advantageous, and the flexibility and utility of primate social memory would be greatly enhanced if visual memories could be accessed cross-modally either by visual or auditory stimulation. Such cross-modal access to visual memory would facilitate flexible retrieval of the knowledge necessary for adaptive social behavior. We tested whether rhesus monkeys have cross-modal access to visual memory for familiar conspecifics using a delayed matching-to-sample procedure. Monkeys learned visual matching of video clips of familiar individuals to photographs of those individuals, and generalized performance to novel videos. In crossmodal probe trials, coo-calls were played during the memory interval. The calls were either from the monkey just seen in the sample video clip or from a different familiar monkey. Even though the monkeys were trained exclusively in visual matching, the calls influenced choice by causing an increase in the proportion of errors to the picture of the monkey whose voice was heard on incongruent trials. This result demonstrates spontaneous cross-modal recognition. It also shows that viewing videos of familiar monkeys activates naturally formed memories of real monkeys, validating the use of video stimuli in studies of social cognition in monkeys

Verified Self-Explaining Computation

Common programming tools, like compilers, debuggers, and IDEs, crucially rely on the ability to analyse program code to reason about its behaviour and properties. There has been a great deal of work on verifying compilers and static analyses, but far less on verifying dynamic analyses such as program slicing. Recently, a new mathematical framework for slicing was introduced in which forward and backward slicing are dual in the sense that they constitute a Galois connection. This paper formalises forward and backward dynamic slicing algorithms for a simple imperative programming language, and formally verifies their duality using the Coq proof assistant

Near-infrared reflectance imaging of neovascular age-related macular degeneration

Contains fulltext : 81007.pdf (publisher's version ) (Closed access)PURPOSE: To evaluate various types of neovascular age-related macular degeneration (AMD) by near-infrared fundus reflectance (NIR) as compared to fundus fluorescein angiography (FFA) and to test NIR for assessment of leakage due to choroidal neovascularization (CNV). PATIENTS AND METHODS: Thirty-three patients with neovascular AMD (cases) and 20 age-matched patients with non-exudative AMD and healthy subjects (controls) were examined with a confocal scanning laser ophthalmoscope (Heidelberg Retina Angiograph 2). NIR images of neovascular AMD were qualitatively compared to the corresponding FFA and to age-matched controls. CNV membranes and exudation areas were manually segmented on FFA and NIR and analyzed quantitatively. Results : Of all cases included, five eyes had classic CNV, six had minimal classic lesions, 15 occult CNV's and seven eyes had retinal angiomatous proliferation (RAP). A dark halo on NIR was found in all cases and showed high correspondence to leakage on FFA (r (2) = 0.93; p < 0,0005). In classic CNV and minimal classic CNV, the classic part of the lesion on FFA revealed strong correlation to a dark core surrounded by a bright reflecting ring on NIR (r (2) = 0.88; p < 0.0005). Occult parts on FFA of minimal classic CNV and occult CNV lesions appeared as poorly demarcated, jagged areas of increased NIR. RAP was characterized by speckled NIR located at the intraretinal neovascular complex. CONCLUSIONS: NIR imaging in neovascular AMD revealed characteristic alterations depending on the type of CNV. These changes may reflect histological differences of the lesions. Leakage caused local darkening of NIR, presumably originating from increased light-scattering and absorbance by fluid accumulation and sub-cellular structure alterations

Detecting Instability in Animal Social Networks: Genetic Fragmentation Is Associated with Social Instability in Rhesus Macaques

The persistence of biological systems requires evolved mechanisms which promote stability. Cohesive primate social groups are one example of stable biological systems, which persist in spite of regular conflict. We suggest that genetic relatedness and its associated kinship structure are a potential source of stability in primate social groups as kinship structure is an important organizing principle in many animal societies. We investigated the effect of average genetic relatedness per matrilineal family on the stability of matrilineal grooming and agonistic interactions in 48 matrilines from seven captive groups of rhesus macaques. Matrilines with low average genetic relatedness show increased family-level instability such as: more sub-grouping in their matrilineal groom network, more frequent fighting with kin, and higher rates of wounding. Family-level instability in multiple matrilines within a group is further associated with group-level instability such as increased wounding. Stability appears to arise from the presence of clear matrilineal structure in the rhesus macaque group hierarchy, which is derived from cohesion among kin in their affiliative and agonistic interactions with each other. We conclude that genetic relatedness and kinship structure are an important source of group stability in animal societies, particularly when dominance and/or affilative interactions are typically governed by kinship

Chronic Exposure to the Herbicide, Atrazine, Causes Mitochondrial Dysfunction and Insulin Resistance

There is an apparent overlap between areas in the USA where the herbicide, atrazine (ATZ), is heavily used and obesity-prevalence maps of people with a BMI over 30. Given that herbicides act on photosystem II of the thylakoid membrane of chloroplasts, which have a functional structure similar to mitochondria, we investigated whether chronic exposure to low concentrations of ATZ might cause obesity or insulin resistance by damaging mitochondrial function. Sprague-Dawley rats (n = 48) were treated for 5 months with low concentrations (30 or 300 µg kg−1 day−1) of ATZ provided in drinking water. One group of animals was fed a regular diet for the entire period, and another group of animals was fed a high-fat diet (40% fat) for 2 months after 3 months of regular diet. Various parameters of insulin resistance were measured. Morphology and functional activities of mitochondria were evaluated in tissues of ATZ-exposed animals and in isolated mitochondria. Chronic administration of ATZ decreased basal metabolic rate, and increased body weight, intra-abdominal fat and insulin resistance without changing food intake or physical activity level. A high-fat diet further exacerbated insulin resistance and obesity. Mitochondria in skeletal muscle and liver of ATZ-treated rats were swollen with disrupted cristae. ATZ blocked the activities of oxidative phosphorylation complexes I and III, resulting in decreased oxygen consumption. It also suppressed the insulin-mediated phosphorylation of Akt. These results suggest that long-term exposure to the herbicide ATZ might contribute to the development of insulin resistance and obesity, particularly where a high-fat diet is prevalent

Corporatised Identities ≠ Digital Identities: Algorithmic Filtering on Social Media and the Commercialisation of Presentations of Self

Goffman’s (1959) dramaturgical identity theory requires modification when theorising about presentations of self on social media. This chapter contributes to these efforts, refining a conception of digital identities by differentiating them from ‘corporatised identities’. Armed with this new distinction, I ultimately argue that social media platforms’ production of corporatised identities undermines their users’ autonomy and digital well-being. This follows from the disentanglement of several commonly conflated concepts. Firstly, I distinguish two kinds of presentation of self that I collectively refer to as ‘expressions of digital identity’. These digital performances (boyd 2007) and digital artefacts (Hogan 2010) are distinct, but often confused. Secondly, I contend this confusion results in the subsequent conflation of corporatised identities – poor approximations of actual digital identities, inferred and extrapolated by algorithms from individuals’ expressions of digital identity – with digital identities proper. Finally, and to demonstrate the normative implications of these clarifications, I utilise MacKenzie’s (2014, 2019) interpretation of relational autonomy to propose that designing social media sites around the production of corporatised identities, at the expense of encouraging genuine performances of digital identities, has undermined multiple dimensions of this vital liberal value. In particular, the pluralistic range of authentic preferences that should structure flourishing human lives are being flattened and replaced by commercial, consumerist preferences. For these reasons, amongst others, I contend that digital identities should once again come to drive individuals’ actions on social media sites. Only upon doing so can individuals’ autonomy, and control over their digital identities, be rendered compatible with social media

Notes for genera: basal clades of Fungi (including Aphelidiomycota, Basidiobolomycota, Blastocladiomycota, Calcarisporiellomycota, Caulochytriomycota, Chytridiomycota, Entomophthoromycota, Glomeromycota, Kickxellomycota, Monoblepharomycota, Mortierellomycota, Mucoromycota, Neocallimastigomycota, Olpidiomycota, Rozellomycota and Zoopagomycota)

Compared to the higher fungi (Dikarya), taxonomic and evolutionary studies on the basal clades of fungi are fewer in number. Thus, the generic boundaries and higher ranks in the basal clades of fungi are poorly known. Recent DNA based taxonomic studies have provided reliable and accurate information. It is therefore necessary to compile all available information since basal clades genera lack updated checklists or outlines. Recently, Tedersoo et al. (MycoKeys 13:1--20, 2016) accepted Aphelidiomycota and Rozellomycota in Fungal clade. Thus, we regard both these phyla as members in Kingdom Fungi. We accept 16 phyla in basal clades viz. Aphelidiomycota, Basidiobolomycota, Blastocladiomycota, Calcarisporiellomycota, Caulochytriomycota, Chytridiomycota, Entomophthoromycota, Glomeromycota, Kickxellomycota, Monoblepharomycota, Mortierellomycota, Mucoromycota, Neocallimastigomycota, Olpidiomycota, Rozellomycota and Zoopagomycota. Thus, 611 genera in 153 families, 43 orders and 18 classes are provided with details of classification, synonyms, life modes, distribution, recent literature and genomic data. Moreover, Catenariaceae Couch is proposed to be conserved, Cladochytriales Mozl.-Standr. is emended and the family Nephridiophagaceae is introduced