Music as Embodied Mathematics: A Study of a Mutually Informing Affinity

The argument examined in this paper is that music – when approached through making and responding to coherent musical structures,facilitated by multiple, intuitively accessible representations – can become a learning context in which basic mathematical ideas can be elicited and perceived as relevant and important. Students' inquiry into the bases for their perceptions of musical coherence provides a path into the mathematics of ratio,proportion, fractions, and common multiples. Ina similar manner, we conjecture that other topics in mathematics – patterns of change,transformations and invariants – might also expose, illuminate and account for more general organizing structures in music. Drawing on experience with 11–12 year old students working in a software music/math environment, we illustrate the role of multiple representations, multi-media, and the use of multiple sensory modalities in eliciting and developing students' initially implicit knowledge of music and its inherent mathematics. This revised version was published online in July 2006 with corrections to the Cover Date.     

Local branching

The availability of effective exact or heuristic solution methods for general Mixed-Integer Programs (MIPs) is of paramount importance for practical applications. In the present paper we investigate the use of a generic MIP solver as a black-box ``tactical' tool to explore effectively suitable solution subspaces defined and controlled at a ``strategic' level by a simple external branching framework. The procedure is in the spirit of well-known local search metaheuristics, but the neighborhoods are obtained through the introduction in the MIP model of completely general linear inequalities called local branching cuts. The new solution strategy is exact in nature, though it is designed to improve the heuristic behavior of the MIP solver at hand. It alternates high-level strategic branchings to define the solution neighborhoods, and low-level tactical branchings to explore them. The result is a completely general scheme aimed at favoring early updatings of the incumbent solution, hence producing high-quality solutions at early stages of the computation. The method is analyzed computationally on a large class of very difficult MIP problems by using the state-of-the-art commercial software ILOG-Cplex 7.0 as the black-box tactical MIP solver. For these instances, most of which cannot be solved to proven optimality in a reasonable time, the new method exhibits consistently an improved heuristic performance: in 23 out of 29 cases, the MIP solver produced significantly better incumbent solutions when driven by the local branching paradigm. Mathematics Subject Classification (2000):90C06, 90C10, 90C11, 90C27, 90C59     

On 2x2 conservation laws with large data

We deal with a strictly hyperbolic system of two conservation laws in one spatial dimension. One of the eigenvalues of the system is of Temple type (rarefaction and shock curves coincide), the other eigenvalue is only required to be genuinely nonlinear.We consider the initial value problem for data of the following kind: the total variation of the Temple component is bounded, possibly large, while the total variation of the other component is small. For such data we prove global existence, uniqueness and L⊃-Lipschitz continuous dependence of solutions.AMS Subject Classification: Primary 35L65; Secondary 35D05, 35L45.     

Integer linear programming models for 2-staged two-dimensional Knapsack problems

 We are given a unique rectangular piece of stock material S, with height H and width W, and a list of m rectangular shapes to be cut from S. Each shape's type i (i = 1, ..., m) is characterized by a height , a width , a profit , and an upper bound ub _i indicating the maximum number of items of type i which can be cut. We refer to the Two-Dimensional Knapsack (TDK) as the problem of determining a cutting pattern of S maximizing the sum of the profits of the cut items. In particular, we consider the classical variant of TDK in which the maximum number of cuts allowed to obtain each item is fixed to 2, and we refer to this problem as 2-staged TDK (2TDK). For the 2TDK problem we present two new Integer Linear Programming models, we discuss their properties, and we compare them with other formulations in terms of the LP bound they provide. Finally, both models are computationally tested within a standard branch-and-bound framework on a large set of instances from the literature by reinforcing them with the addition of linear inequalities to eliminate symmetries. Received: October 17, 2000 / Accepted: December 19, 2001 Published online: September 27, 2002 Key words. packing – cutting – integer linear programming     

On the power of the zeros of Bessel functions

For ν≥0 let c_νk be the k-th positive zero of the cylinder functionC _v(t)=J _v(t)cosα-Y _v(t)sinα, 0≤α>π whereJ _ν(t) andY _ν(t) denote the Bessel functions of the first and the second kind, respectively. We prove thatC _v,k ^1+H(x) is convex as a function of ν, ifc _νk≥x>0 and ν≥0, whereH(x) is specified in Theorem 1.1.     

Adapting to suprasegmental lexical stress errors in foreign-accented speech

Can native listeners rapidly adapt to suprasegmental mispronunciations in foreign-accented speech? To address this question, an exposure-test paradigm was used to test whether Dutch listeners can improve their understanding of non-canonical lexical stress in Hungarian-accented Dutch. During exposure, one group of listeners heard a Dutch story with only initially stressed words, whereas another group also heard 28 words with canonical second-syllable stress (e.g., EEKhorn, "squirrel" was replaced by koNIJN "rabbit"; capitals indicate stress). The 28 words, however, were non-canonically marked by the Hungarian speaker with high pitch and amplitude on the initial syllable, both of which are stress cues in Dutch. After exposure, listeners' eye movements were tracked to Dutch target-competitor pairs with segmental overlap but different stress patterns, while they listened to new words from the same Hungarian speaker (e.g., HERsens, herSTEL, "brain," "recovery"). Listeners who had previously heard non-canonically produced words distinguished target-competitor pairs better than listeners who had only been exposed to Hungarian accent with canonical forms of lexical stress. Even a short exposure thus allows listeners to tune into speaker-specific realizations of words' suprasegmental make-up, and use this information for word recognition.     

A simple-minded direct approach to estimating the calibration parameter for proportionate data

In non-destructive assay there exist techniques founded on physics principles and experimental design for which the quantity of interest y_True to be estimated is expected to vary in direct proportion to the true value x_True of the experimentally observed predictor quantity x. In other words, the calibration is a straight line passing through the origin, so that the assay method is fully described by a single parameter, the slope. In principle a single reference item is sufficient to estimate the slope. However, there are good reasons for including more than a single item in the calibration procedure. When multiple items are used questions arise regarding how to make best use of all the available calibration data in estimating the slope. This paper shows that the usual weighted least squares curve fitting approach can be circumvented by using only the familiar notion of a weighted arithmetic mean. In particular we draw attention to the ease with which uncertainties in both x and y can be incorporated using this simple and direct approach. Moreover the uncertainty in the calibration parameter is estimated using familiar techniques and with an appropriate magnitude for subsequent use, for instance, in setting reasonable uncertainties on assay results performed using the calibration. For completeness, weighted least squares accounting for nonzero covariances among the measurements y of y_True together with an errors in predictors approach accounting for errors in x is also presented.     

The Suzuki homocoupling reaction under high-intensity ultrasound

The Pd-catalysed Suzuki homocoupling of boronic acids was successfully carried out in water under high-intensity ultrasound (HIU). Heterogeneous catalysis with Pd/C, facilitating work up and purification, could be used without adding phosphine ligands. Reaction rates and yields were strongly influenced by the oxidant employed; excellent results were obtained using either molecular oxygen or 3-bromo-4-hydroxycoumarin. 3-Arylation of the latter with the Suzuki procedure had failed, exclusively affording the homocoupling products, symmetric biaryls. Besides offering a number of operational advantages, the use of HIU broadens the field of application for the Suzuki reaction.     

X-ray absorption study of Cu,Zn SOD under high pressure

Abstract

We have investigated Cu, Zn Superoxide Dismutase (Cu, Zn SOD) metal sites at high pressure using X-ray absorption. XAS (X-ray Absorption Spectroscopy) gives information on local structure and it is particularly suited to metal site investigation. To the best of our knowledge, this is the first time that protein conformational states have been investigated using the high pressure XAS technique. Cu, Zn SOD catalyses the dismutation of toxic oxygen radicals produced in cells; this reaction occurs at the copper metal site. Structural changes around the copper, induced by pressure, can be directly related to protein substates. Their characterisation is thus important in the understanding of protein activity.

The high-pressure device was a Paris-Edinburgh large volume cell.

Experiments were performed on lyophilised Cu, Zn SOD between 0 and 48 kbar at the copper and zinc K-edges. The two metal local atomic environments have a different behaviour as pressure increases: copper exhibits a more flexible environment; on the contrary, zinc shows small structural modifications. We have identified a state, formed between 3 and 8 kbar, which is stable up to 48 kbar.