Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control

This paper presents a branch-and-lift algorithm for solving optimal control problems with smooth nonlinear dynamics and potentially nonconvex objective and constraint functionals to guaranteed global optimality. This algorithm features a direct sequential method and builds upon a generic, spatial branch-and-bound algorithm. A new operation, called lifting, is introduced, which refines the control parameterization via a Gram-Schmidt orthogonalization process, while simultaneously eliminating control subregions that are either infeasible or that provably cannot contain any global optima. Conditions are given under which the image of the control parameterization error in the state space contracts exponentially as the parameterization order is increased, thereby making the lifting operation efficient. A computational technique based on ellipsoidal calculus is also developed that satisfies these conditions. The practical applicability of branch-and-lift is illustrated in a numerical example. © 2013 Springer Science+Business Media New York

Disruption of CUL3-mediated ubiquitination causes proximal tubule injury and kidney fibrosis

Cullin 3 (CUL3) is part of the ubiquitin proteasomal system and controls several cellular processes critical for normal organ function including the cell cycle, and Keap1/Nrf2 signaling. Kidney tubule-specific Cul3 disruption causes tubulointerstitial fibrosis, but little is known about the mechanisms. Therefore, we tested the hypothesis that dysregulation of the cell cycle and Keap1/Nrf2 pathway play a role in initiating the kidney injury upon Cul3 disruption. Cul3 deletion increased expression of cyclin E and p21, associated with uncontrolled proliferation, DNA damage, and apoptosis, all of which preceded proximal tubule injury. The cdk2-cyclin E inhibitor roscovitine did not prevent the effects of Cul3 deletion, but instead exacerbated the kidney injury. Injury occurred despite accumulation and activation of CUL3 substrate Keap1/Nrf2, proposed to be protective in kidney injury. Cul3 disruption led to progressive interstitial inflammation, functionally relevant renal fibrosis and death. Finally, we observed reduced CUL3 expression in several AKI and CKD mouse models and in fibrotic human kidney tissue. These data establish CUL3 knockout mice as a novel genetic CKD model in which dysregulation of the cell cycle may play a primary role in initiating tubule injury, and that CUL3 dysregulation could contribute to acute and fibrotic kidney disease

Nonlinear Integer Programming

Research efforts of the past fifty years have led to a development of linear integer programming as a mature discipline of mathematical optimization. Such a level of maturity has not been reached when one considers nonlinear systems subject to integrality requirements for the variables. This chapter is dedicated to this topic. The primary goal is a study of a simple version of general nonlinear integer problems, where all constraints are still linear. Our focus is on the computational complexity of the problem, which varies significantly with the type of nonlinear objective function in combination with the underlying combinatorial structure. Numerous boundary cases of complexity emerge, which sometimes surprisingly lead even to polynomial time algorithms. We also cover recent successful approaches for more general classes of problems. Though no positive theoretical efficiency results are available, nor are they likely to ever be available, these seem to be the currently most successful and interesting approaches for solving practical problems. It is our belief that the study of algorithms motivated by theoretical considerations and those motivated by our desire to solve practical instances should and do inform one another. So it is with this viewpoint that we present the subject, and it is in this direction that we hope to spark further research.Comment: 57 pages. To appear in: M. J\"unger, T. Liebling, D. Naddef, G. Nemhauser, W. Pulleyblank, G. Reinelt, G. Rinaldi, and L. Wolsey (eds.), 50 Years of Integer Programming 1958--2008: The Early Years and State-of-the-Art Surveys, Springer-Verlag, 2009, ISBN 354068274

Unbalanced synaptic inhibition can create intensity-tuned auditory cortex neurons

Intensity-tuned auditory cortex neurons may be formed by intensity-tuned synaptic excitation. Synaptic inhibition has also been shown to enhance, and possibly even create intensity-tuned neurons. Here we show, using in vivo whole cell recordings in pentobarbital-anesthetized rats, that some intensity-tuned neurons are indeed created solely through disproportionally large inhibition at high intensities, without any intensity-tuned excitation. Since inhibition is essentially cortical in origin, these neurons provide examples of auditory feature-selectivity arising de novo at the cortex.Comment: 22 pages, 5 figure

Phylogenomic analysis of a 55.1 kb 19-gene dataset resolves a monophyletic Fusarium that includes the Fusarium solani Species Complex

Scientific communication is facilitated by a data-driven, scientifically sound taxonomy that considers the end-user¿s needs and established successful practice. In 2013, the Fusarium community voiced near unanimous support for a concept of Fusarium that represented a clade comprising all agriculturally and clinically important Fusarium species, including the F. solani species complex (FSSC). Subsequently, this concept was challenged in 2015 by one research group who proposed dividing the genus Fusarium into seven genera, including the FSSC described as members of the genus Neocosmospora, with subsequent justification in 2018 based on claims that the 2013 concept of Fusarium is polyphyletic. Here, we test this claim and provide a phylogeny based on exonic nucleotide sequences of 19 orthologous protein-coding genes that strongly support the monophyly of Fusarium including the FSSC. We reassert the practical and scientific argument in support of a genus Fusarium that includes the FSSC and several other basal lineages, consistent with the longstanding use of this name among plant pathologists, medical mycologists, quarantine officials, regulatory agencies, students, and researchers with a stake in its taxonomy. In recognition of this monophyly, 40 species described as genus Neocosmospora were recombined in genus Fusarium, and nine others were renamed Fusarium. Here the global Fusarium community voices strong support for the inclusion of the FSSC in Fusarium, as it remains the best scientific, nomenclatural, and practical taxonomic option availabl

Tensor Polarization of the phi meson Photoproduced at High t

As part of a measurement of the cross section of $\phi$ meson photoproduction to high momentum transfer, we measured the polar angular decay distribution of the outgoing $K^+$ in the channel $\phi \to K^+K^-$ in the $\phi$ center-of-mass frame (the helicity frame). We find that s-channel helicity conservation (SCHC) holds in the kinematical range where $t$-channel exchange dominates (up to $-t \sim 2.5$ GeV$^2$ for $E_{\gamma}$=3.6 GeV). Above this momentum, $u$-channel production of a $\phi$ meson dominates and induces a violation of SCHC. The deduced value of the $\phi NN$ coupling constant lies in the upper range of previously reported values.Comment: 6 pages; 5 figure