Fixed-rank matrix factorizations and Riemannian low-rank optimization

Motivated by the problem of learning a linear regression model whose parameter is a large fixed-rank non-symmetric matrix, we consider the optimization of a smooth cost function defined on the set of fixed-rank matrices. We adopt the geometric framework of optimization on Riemannian quotient manifolds. We study the underlying geometries of several well-known fixed-rank matrix factorizations and then exploit the Riemannian quotient geometry of the search space in the design of a class of gradient descent and trust-region algorithms. The proposed algorithms generalize our previous results on fixed-rank symmetric positive semidefinite matrices, apply to a broad range of applications, scale to high-dimensional problems, and confer a geometric basis to recent contributions on the learning of fixed-rank non-symmetric matrices. We make connections with existing algorithms in the context of low-rank matrix completion and discuss the usefulness of the proposed framework. Numerical experiments suggest that the proposed algorithms compete with state-of-the-art algorithms and that manifold optimization offers an effective and versatile framework for the design of machine learning algorithms that learn a fixed-rank matrix. © 2013 Springer-Verlag Berlin Heidelberg.

On the Relationship Between File Sizes, Transport Protocols, and Self-Similar Network Traffic

Recent measurements of local-area and wide-area traffic have shown that network traffic exhibits variability at a wide range of scales self-similarity. In this paper, we examine a mechanism that gives rise to self-similar network traffic and present some of its performance implications. The mechanism we study is the transfer of files or messages whose size is drawn from a heavy-tailed distribution. We examine its effects through detailed transport-level simulations of multiple TCP streams in an internetwork. First, we show that in a "realistic" client/server network environment i.e., one with bounded resources and coupling among traffic sources competing for resources the degree to which file sizes are heavy-tailed can directly determine the degree of traffic self-similarity at the link level. We show that this causal relationship is not significantly affected by changes in network resources (bottleneck bandwidth and buffer capacity), network topology, the influence of cross-traffic, or the distribution of interarrival times. Second, we show that properties of the transport layer play an important role in preserving and modulating this relationship. In particular, the reliable transmission and flow control mechanisms of TCP (Reno, Tahoe, or Vegas) serve to maintain the long-range dependency structure induced by heavy-tailed file size distributions. In contrast, if a non-flow-controlled and unreliable (UDP-based) transport protocol is used, the resulting traffic shows little self-similar characteristics: although still bursty at short time scales, it has little long-range dependence. If flow-controlled, unreliable transport is employed, the degree of traffic self-similarity is positively correlated with the degree of throttling at the source. Third, in exploring the relationship between file sizes, transport protocols, and self-similarity, we are also able to show some of the performance implications of self-similarity. We present data on the relationship between traffic self-similarity and network performance as captured by performance measures including packet loss rate, retransmission rate, and queueing delay. Increased self-similarity, as expected, results in degradation of performance. Queueing delay, in particular, exhibits a drastic increase with increasing self-similarity. Throughput-related measures such as packet loss and retransmission rate, however, increase only gradually with increasing traffic self-similarity as long as reliable, flow-controlled transport protocol is used.

Improving the Performance of Overlay Routing and P2P File Sharing using Selfish Neighbor Selection

A foundational issue underlying many overlay network applications ranging from routing to P2P file sharing is that of connectivity management, i.e., folding new arrivals into the existing mesh and re-wiring to cope with changing network conditions. Previous work has considered the problem from two perspectives: devising practical heuristics for specific applications designed to work well in real deployments, and providing abstractions for the underlying problem that are tractable to address via theoretical analyses, especially game-theoretic analysis. Our work unifies these two thrusts first by distilling insights gleaned from clean theoretical models, notably that under natural resource constraints, selfish players can select neighbors so as to efficiently reach near-equilibria that also provide high global performance. Using Egoist, a prototype overlay routing system we implemented on PlanetLab, we demonstrate that our neighbor selection primitives significantly outperform existing heuristics on a variety of performance metrics; that Egoist is competitive with an optimal, but unscalable full-mesh approach; and that it remains highly effective under significant churn. We also describe variants of Egoist's current design that would enable it to scale to overlays of much larger scale and allow it to cater effectively to applications, such as P2P file sharing in unstructured overlays, based on the use of primitives such as scoped-flooding rather than routing.

Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.

Urban labour, voice and legitimacy: economic development and the emergence of community unionism

Community unionism has emerged in the past decade as a growing strand of industrial relations research and is influencing trade union strategies for renewal. This article seeks to further develop the concept, while exploring the potential roles for unions in communities subject to projects of urban regeneration.

Validations of high-rank syntaxa in Potamogetonetea and Scheuchzerio-Caricetea fuscae

This paper presents the validation of five syntaxonomic concepts –two orders (Callitricho hamulatae-Ranunculetalia aquatilis, Zannichellietalia pedicellatae) and three alliances (Ranunculion aquatilis, Nelumbion nuciferae and Caricion viridulo-trinervis).

Descriptions and validation of the names of some high-rank syntaxa in the European Asplenietea trichomanis and Polypodietea

The paper presents the description of one new order (Asplenietalia septentrionalo-cuneifolii) and two new alliances (Arenarion bertolonii and Physoplexido comosae- Saxifragion petraeae). In addition, the syntaxon Asplenietalia lanceolato-obovati is here formally raised to the order level and the name Hypno-Polypodietalia vulgaris is validated.

Nomenclature and syntaxonomic notes on some high-rank syntaxa of the European grassland vegetation

We present descriptions of a new order (Ranunculo cortusifolii-Geranietalia reuteri and of a new alliance (Stachyo lusitanicae-Cheirolophion sempervirentis) for the herbaceous fringe communities of Macaronesia and of the southwestern Iberian Peninsula, respectively. A new alliance, the Polygalo mediterraneae-Bromion erecti (mesophilous post-cultural grasslands), was introduced for the Peninsular Italy. We further validate and typify the Armerietalia rumelicae (perennial grasslands supported by nutrient-poor on siliceous bedrocks at altitudes characterized by the submediterranean climate of central-southern Balkan Peninsula), the Securigero-Dasypyrion villosae (lawn and fallow-land tall-grass annual vegetation of Italy), and the Cirsio vallis-demoni-Nardion (acidophilous grasslands on siliceous substrates of the Southern Italy). Nomenclatural issues (validity, legitimacy, synonymy, formal corrections) have been discussed and clarified for the following names: Brachypodio-Brometalia, Bromo pannonici-Festucion csikhegyensis, Corynephoro-Plantaginion radicatae, Heleochloion, Hieracio-Plantaginion radicatae, Nardetea strictae, Nardetalia strictae, Nardo-Callunetea, Nardo-Galion saxatilis, Oligo-Bromion, Paspalo-Heleochloetalia, Plantagini-Corynephorion and Scorzoneret alia villosae. 

Michel Foucault and Dorothy Smith in Case File Research: Strange Bedfellows or Complimentary Thinkers?

The aim of this article is to provide an exploration how the work of two theorists with notably different stances could be used effectively to enhance critical research methods in relation to the history of child welfare social work. The design and implementation of child welfare policies, practices and discourses could considerably benefit from a more historically well grounded scholarship that enables actors to connect their present concerns with the broader historical dynamics of social regulation. The article reports on how the work of Michel Foucault and Dorothy E. Smith might be considered in parallel as two different perspectives to the same scene in time and place. The differences and similarities in their approaches are explored with an emphasis on concepts most relevant to researching child welfare archives including discourse, text, the subject and power-knowledge. The article concludes with a commentary on further development to take forward this methodological analysis.

Unitarism and Employer Resistance to Trade Unionism

Active employer resistance to trade union recognition is often explained through the rubric of the unitary ideology. Yet, little attention has been devoted to an examination of unitarism as an explanatory construct for active employer hostility. This paper contributes to current knowledge and understanding on contemporary ideological opposition to unions, by placing unitarism under analytical scrutiny. Using empirical data from the Republic of Ireland, the paper applies a conceptual framework to a sample of non-union employers who actively resisted unionisation. The paper concludes by examining the ideological commitments uncovered and relevant implications.