Showing 1–50 of 50 results for author: Freund, M

On the archetypal `flavours', indices and teleconnections of ENSO revealed by global sea surface temperatures

Authors: Didier P. Monselesan, James S. Risbey, Benoit Legresy, Sophie Cravatte, Bastien Pagli, Takeshi Izumo, Christopher C. Chapman, Mandy Freund, Abdelwaheb Hannachi, Damien Irving, P. Jyoteeshkumar Reddy, Doug Richardson, Dougal T. Squire, Carly R. Tozer

Abstract: El Niño-Southern Oscillation global (ENSO) imprint on sea surface temperature comes in many guises. To identify its tropical fingerprints and impacts on the rest of the climate system, we propose a global approach based on archetypal analysis (AA), a pattern recognition method based on the identification of extreme configurations in the dataset under investigation. Relying on detrended sea surface… ▽ More El Niño-Southern Oscillation global (ENSO) imprint on sea surface temperature comes in many guises. To identify its tropical fingerprints and impacts on the rest of the climate system, we propose a global approach based on archetypal analysis (AA), a pattern recognition method based on the identification of extreme configurations in the dataset under investigation. Relying on detrended sea surface temperature monthly anomalies over the 1982 to 2022 period, the technique recovers central and eastern Pacific ENSO types identified by more traditional methods and allows one to hierarchically add extra flavours and nuances to both persistent and transient phases of the phenomenon. Archetypal patterns found compare favorably to phase identification from K-means, fuzzy C-means and recently published network-based machine-learning algorithms. The AA implementation is modified for the identification of ENSO phases in sub-seasonal-to-seasonal prediction systems and complements current alert systems in characterising the diversity of ENSO and its teleconnections. Tropical and extra-tropical teleconnection composites from various oceanic and atmospheric fields derived from the analysis are shown to be robust and physically relevant. Extending AA to sub-surface ocean fields improves the discrimination between phases when the characterisation of ENSO based on sea surface temperature is uncertain. We show that AA on detrended sea-level monthly anomalies provides a clearer expression of ENSO types. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 59 pages, 16 figures and supplementary materials with 41 pages and 23 figurs

MSC Class: 86-08

The Role of Level-Set Geometry on the Performance of PDHG for Conic Linear Optimization

Authors: Zikai Xiong, Robert M. Freund

Abstract: We consider solving huge-scale instances of (convex) conic linear optimization problems, at the scale where matrix-factorization-free methods are attractive or necessary. The restarted primal-dual hybrid gradient method (rPDHG) -- with heuristic enhancements and GPU implementation -- has been very successful in solving huge-scale linear programming (LP) problems; however its application to more ge… ▽ More We consider solving huge-scale instances of (convex) conic linear optimization problems, at the scale where matrix-factorization-free methods are attractive or necessary. The restarted primal-dual hybrid gradient method (rPDHG) -- with heuristic enhancements and GPU implementation -- has been very successful in solving huge-scale linear programming (LP) problems; however its application to more general conic convex optimization problems is not so well-studied. We analyze the theoretical and practical performance of rPDHG for general (convex) conic linear optimization, and LP as a special case thereof. We show a relationship between the geometry of the primal-dual (sub-)level sets $W_\varepsilon$ and the convergence rate of rPDHG. Specifically, we prove a bound on the convergence rate of rPDHG that improves when there is a primal-dual (sub-)level set $W_\varepsilon$ for which (i) $W_\varepsilon$ is close to the optimal solution set (in Hausdorff distance), and (ii) the ratio of the diameter to the "conic radius" of $W_\varepsilon$ is small. And in the special case of LP problems, the performance of rPDHG is bounded only by this ratio applied to the (sub-)level set corresponding to the best non-optimal extreme point. Depending on the problem instance, this ratio can take on extreme values and can result in poor performance of rPDHG both in theory and in practice. To address this issue, we show how central-path-based linear transformations -- including conic rescaling -- can markedly enhance the convergence rate of rPDHG. Furthermore, we present computational results that demonstrate how such rescalings can accelerate convergence to high-accuracy solutions, and lead to more efficient methods for huge-scale linear optimization problems. △ Less

Submitted 15 July, 2024; v1 submitted 3 June, 2024; originally announced June 2024.

Comments: 68 pages, 10 figures, 3 tables

Influence of chemical composition on the room temperature plas-ticity of C15 Ca-Al-Mg Laves phases

Authors: Martina Freund, Zhuocheng Xie, Pei-Ling Sun, Lukas Berners, Joshua Spille, Hexin Wan, Carsten Thomas, Michael Feuerbacher, Marta Lipinska-Chwalek, Joachim Mayer, Sandra Korte-Kerzel

Abstract: The influence of chemical composition changes on the room temperature mechanical proper-ties in the C15 CaAl2 Laves phase were investigated in two off-stoichiometric compositions with 5.7 at.-% Mg addition (Ca33Al61Mg6) and 10.8 at.-% Mg and 3.0 at.-% Ca addition (Ca36Al53Mg11) and compared to the stoichiometric (Ca33Al67) composition. Cubic Ca-Al-Mg Laves phases with multiple crystallographic ori… ▽ More The influence of chemical composition changes on the room temperature mechanical proper-ties in the C15 CaAl2 Laves phase were investigated in two off-stoichiometric compositions with 5.7 at.-% Mg addition (Ca33Al61Mg6) and 10.8 at.-% Mg and 3.0 at.-% Ca addition (Ca36Al53Mg11) and compared to the stoichiometric (Ca33Al67) composition. Cubic Ca-Al-Mg Laves phases with multiple crystallographic orientations were characterised and deformed using nanoindentation. The hardness and indentation modulus were measured to be 4.1 +- 0.3 GPa and 71.3 +- 1.5 GPa for Ca36Al53Mg11, 4.6 +- 0.2 GPa and 80.4 +- 3.8 GPa for Ca33Al61Mg6 and 4.9 +- 0.3 GPa and 85.5 +- 4.0 GPa for Ca33Al67, respectively. The resulting surface traces as well as slip and crack planes, were distinguished on the indentation surfac-es, revealing the activation of several different {11n} slip systems, as further confirmed by conventional transmission electron microscopic observations. Additionally, the deformation mechanisms and corresponding energy barriers of activated slip systems were evaluated by atomistic simulations. △ Less

Submitted 20 March, 2024; originally announced March 2024.

Nanoscale brittle-to-ductile transition of the C15 CaAl$_2$ Laves phase

Authors: Anwesha Kanjilal, Ali Ahmadian, Martina Freund, Pei-Ling Sun, Sandra Korte-Kerzel, Gerhard Dehm, James P. Best

Abstract: The influence of temperature on the deformation behaviour of the C15 CaAl$_2$ Laves phase, a key constituent for enhancing the mechanical properties of Mg alloys up to service temperatures of 200 °C, remains largely unexplored. This study presents, for the first time, the nanoscale brittle-to-ductile transition (BDT) of this intermetallic phase through in situ testing including nanoindentation, sc… ▽ More The influence of temperature on the deformation behaviour of the C15 CaAl$_2$ Laves phase, a key constituent for enhancing the mechanical properties of Mg alloys up to service temperatures of 200 °C, remains largely unexplored. This study presents, for the first time, the nanoscale brittle-to-ductile transition (BDT) of this intermetallic phase through in situ testing including nanoindentation, scratch testing, and micropillar splitting conducted at elevated temperatures. By correlating observations from these techniques, changes in deformation of CaAl$_2$ were identified in relation to temperature. High-temperature nanoindentation quantitatively determined the temperature range for the BDT, and revealed that CaAl$_2$ undergoes a BDT at ~0.55T$_m$, exhibiting an intermediate region of microplasticity. A noticeable decrease in nanoindentation hardness was observed at ~450-500 °C, accompanied by an increase in residual indent size, while indentation cracking was not observed above 300 °C. Results from high-temperature micropillar splitting revealed cracking and brittle pillar splitting up to 300 °C, with an increase in apparent fracture toughness from 0.9 $\pm$ 0.1 MPa$\cdot\sqrt m$ to 2.8 $\pm$ 0.3 MPa$\cdot\sqrt m$, and subsequent crack-free plastic deformation from 400 °C. Transmission electron microscopy analysis of the deformed material from nanoindentation revealed that the BDT of CaAl$_2$ may be attributed to enhanced dislocation plasticity with increasing temperature. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Computational Guarantees for Restarted PDHG for LP based on "Limiting Error Ratios" and LP Sharpness

Authors: Zikai Xiong, Robert Michael Freund

Abstract: In recent years, there has been growing interest in solving linear optimization problems - or more simply "LP" - using first-order methods in order to avoid the costly matrix factorizations of traditional methods for huge-scale LP instances. The restarted primal-dual hybrid gradient method (PDHG) - together with some heuristic techniques - has emerged as a powerful tool for solving huge-scale LPs.… ▽ More In recent years, there has been growing interest in solving linear optimization problems - or more simply "LP" - using first-order methods in order to avoid the costly matrix factorizations of traditional methods for huge-scale LP instances. The restarted primal-dual hybrid gradient method (PDHG) - together with some heuristic techniques - has emerged as a powerful tool for solving huge-scale LPs. However, the theoretical understanding of the restarted PDHG and the validation of various heuristic implementation techniques are still very limited. Existing complexity analyses have relied on the Hoffman constant of the LP KKT system, which is known to be overly conservative, difficult to compute, and fails to offer insight into instance-specific characteristics of the LP problems. These limitations have limited the capability to discern which characteristics of LP instances lead to easy versus difficult instances. With the goal of overcoming these limitations, we introduce and develop two purely geometry-based condition measures for LP instances: "limiting error ratio" and LP sharpness. We provide new computational guarantees for the restarted PDHG based on these two condition measures. For limiting error ratio, we provide a computable upper bound and show its relationship with the data instance's proximity to infeasibility under perturbation. For LP sharpness, we prove its equivalence to the stability of the LP optimal solution set under perturbation of the objective function. Our computational guarantees are validated by constructed instances. Conversely, our computational guarantees validate the practical efficacy of certain heuristic techniques (row preconditioners and step-size tuning) that improve computational performance. Finally, we present computational experiments on LP relaxations from the MIPLIB dataset that demonstrate the promise of various implementation strategies. △ Less

Submitted 13 June, 2025; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: 53 pages, 5 figures

On the Relation Between LP Sharpness and Limiting Error Ratio and Complexity Implications for Restarted PDHG

Authors: Zikai Xiong, Robert M. Freund

Abstract: There has been a recent surge in development of first-order methods (FOMs) for solving huge-scale linear programming (LP) problems. The attractiveness of FOMs for LP stems in part from the fact that they avoid costly matrix factorization computation. However, the efficiency of FOMs is significantly influenced - both in theory and in practice - by certain instance-specific LP condition measures. Xi… ▽ More There has been a recent surge in development of first-order methods (FOMs) for solving huge-scale linear programming (LP) problems. The attractiveness of FOMs for LP stems in part from the fact that they avoid costly matrix factorization computation. However, the efficiency of FOMs is significantly influenced - both in theory and in practice - by certain instance-specific LP condition measures. Xiong and Freund recently showed that the performance of the restarted primal-dual hybrid gradient method (PDHG) is predominantly determined by two specific condition measures: LP sharpness and Limiting Error Ratio. In this paper we examine the relationship between these two measures, particularly in the case when the optimal solution is unique (which is generic - at least in theory), and we present an upper bound on the Limiting Error Ratio involving the reciprocal of the LP sharpness. This shows that in LP instances where there is a dual nondegenerate optimal solution, the computational complexity of restarted PDHG can be characterized solely in terms of LP sharpness and the distance to optimal solutions, and simplifies the theoretical complexity upper bound of restarted PDHG for these instances. △ Less

Submitted 13 June, 2025; v1 submitted 21 December, 2023; originally announced December 2023.

Comments: 10 pages, 1 figure

Metallurgical synthesis methods for Mg-Al-Ca scientific model materials

Authors: W. Luo, L. Tanure, M. Felten, J. Nowak, W. Delis, M. Freund, N. Ayeb, D. Zander, C. Thomas, M. Feuerbacher, S. Sandlöbes-Haut, S. Korte-Kerzel, H. Springer

Abstract: Mg-based alloys are industrially used for structural applications, both as solid solutions alloys and as composites containing intermetallic compounds. However, a further development in terms of mechanical properties requires the investigation of underlying causalities between synthesis, processing and microstructure to adjust the mechanical and the corrosion properties, ideally down to the near a… ▽ More Mg-based alloys are industrially used for structural applications, both as solid solutions alloys and as composites containing intermetallic compounds. However, a further development in terms of mechanical properties requires the investigation of underlying causalities between synthesis, processing and microstructure to adjust the mechanical and the corrosion properties, ideally down to the near atomic scale. Such fundamental scientific investigations with high resolution characterisation techniques require model materials of exceptionally high purity and strictly controlled microstructure e.g. with respect to grain size, morphology, chemical homogeneity as well as content and size of oxide inclusions. In this context, the Mg-Al-Ca system appears exceptionally challenging from a metallurgical perspective due to the high reactivity and high vapor pressures, so that conventional industrial techniques cannot be successfully deployed. Here, we demonstrate the applicability of various scientific synthesis methods from arc melting over solution growth to diffusion couples, extending to effects and parameters for thermo-mechanical processing. Suitable pathways to overcome the specific challenges of the Mg-Al-Ca system are demonstrated, as well as the persistent limitations of the current state of the art laboratory metallurgy technology. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Comments: 17 pages, 7 figures

An Ontology-Based Capability Description of MTP Modules

Authors: Christian Barth, Tobias Klausmann, Andreas Bayha, Matthias Freund, Kathrin Gerber

Abstract: The MTP is an emerging standard for the software integration of process modules into a control system. The core concept of MTP is to separate process plants into autonomous modules called PEA which offer easy to use high level services. Applying the MTP concept leads to a modular production which can easily be adapted by adding, subtracting, or exchanging individual units. In order to leverage thi… ▽ More The MTP is an emerging standard for the software integration of process modules into a control system. The core concept of MTP is to separate process plants into autonomous modules called PEA which offer easy to use high level services. Applying the MTP concept leads to a modular production which can easily be adapted by adding, subtracting, or exchanging individual units. In order to leverage this flexibility, it is important to know the capabilities each PEA offers and expose them in a machine-readable way via its digital twin. As one realization of this requirement, this paper describes how a semantic annotation of MTP services using an ontology can be realised in conjunction with the AAS technology. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: 8 pages, 7 figures

Nonlinear conjugate gradient methods: worst-case convergence rates via computer-assisted analyses

Authors: Shuvomoy Das Gupta, Robert M. Freund, Xu Andy Sun, Adrien Taylor

Abstract: We propose a computer-assisted approach to the analysis of the worst-case convergence of nonlinear conjugate gradient methods (NCGMs). Those methods are known for their generally good empirical performances for large-scale optimization, while having relatively incomplete analyses. Using our computer-assisted approach, we establish novel complexity bounds for the Polak-Ribière-Polyak (PRP) and the… ▽ More We propose a computer-assisted approach to the analysis of the worst-case convergence of nonlinear conjugate gradient methods (NCGMs). Those methods are known for their generally good empirical performances for large-scale optimization, while having relatively incomplete analyses. Using our computer-assisted approach, we establish novel complexity bounds for the Polak-Ribière-Polyak (PRP) and the Fletcher-Reeves (FR) NCGMs for smooth strongly convex minimization. In particular, we construct mathematical proofs that establish the first non-asymptotic convergence bound for FR (which is historically the first developed NCGM), and a much improved non-asymptotic convergence bound for PRP. Additionally, we provide simple adversarial examples on which these methods do not perform better than gradient descent with exact line search, leaving very little room for improvements on the same class of problems. △ Less

Submitted 18 September, 2024; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: Published in Mathematical Programming Series A. DOI: https://doi.org/10.1007/s10107-024-02127-7

Applying the Web of Things Abstraction to Bluetooth Low Energy Communication

Authors: Michael Freund, Rene Dorsch, Andreas Harth

Abstract: We apply the Web of Things (WoT) communication pattern, i.e., the semantic description of metadata and interaction affordances, to Internet of Things (IoT) devices that rely on non-IP-based protocols, using Bluetooth Low Energy (LE) as an example. The reference implementation of the WoT Scripting API, node-wot, currently supports only IP-based application layer protocols such as HTTP and MQTT. How… ▽ More We apply the Web of Things (WoT) communication pattern, i.e., the semantic description of metadata and interaction affordances, to Internet of Things (IoT) devices that rely on non-IP-based protocols, using Bluetooth Low Energy (LE) as an example. The reference implementation of the WoT Scripting API, node-wot, currently supports only IP-based application layer protocols such as HTTP and MQTT. However, a significant number of IoT devices do not communicate over IP, but via other network layer protocols, e.g. L2CAP used by Bluetooth LE. To leverage the WoT abstraction in Bluetooth Low Energy communication, we specified two ontologies to describe the capabilities of Bluetooth LE devices and transmitted binary data, considered the different interaction possibilities with the Linux Bluetooth stack BlueZ, and due to better documentation, used the D-Bus API to implement Bluetooth LE bindings in JavaScript. Finally, we evaluated the latencies of the bindings in comparison to the BlueZ tool bluetoothctl, showing that the Bluetooth LE bindings are on average about 16 percent slower than the comparison program during connection establishment and about 6 percent slower when disconnecting, but have almost the same performance during reading (about 3 percent slower). △ Less

Submitted 24 November, 2022; v1 submitted 23 November, 2022; originally announced November 2022.

Comments: Accepted at Connected World Semantic Interoperability Workshop 2022, 8 pages

Using Taylor-Approximated Gradients to Improve the Frank-Wolfe Method for Empirical Risk Minimization

Authors: Zikai Xiong, Robert M. Freund

Abstract: The Frank-Wolfe method has become increasingly useful in statistical and machine learning applications, due to the structure-inducing properties of the iterates, and especially in settings where linear minimization over the feasible set is more computationally efficient than projection. In the setting of Empirical Risk Minimization -- one of the fundamental optimization problems in statistical and… ▽ More The Frank-Wolfe method has become increasingly useful in statistical and machine learning applications, due to the structure-inducing properties of the iterates, and especially in settings where linear minimization over the feasible set is more computationally efficient than projection. In the setting of Empirical Risk Minimization -- one of the fundamental optimization problems in statistical and machine learning -- the computational effectiveness of Frank-Wolfe methods typically grows linearly in the number of data observations $n$. This is in stark contrast to the case for typical stochastic projection methods. In order to reduce this dependence on $n$, we look to second-order smoothness of typical smooth loss functions (least squares loss and logistic loss, for example) and we propose amending the Frank-Wolfe method with Taylor series-approximated gradients, including variants for both deterministic and stochastic settings. Compared with current state-of-the-art methods in the regime where the optimality tolerance $\varepsilon$ is sufficiently small, our methods are able to simultaneously reduce the dependence on large $n$ while obtaining optimal convergence rates of Frank-Wolfe methods, in both the convex and non-convex settings. We also propose a novel adaptive step-size approach for which we have computational guarantees. Last of all, we present computational experiments which show that our methods exhibit very significant speed-ups over existing methods on real-world datasets for both convex and non-convex binary classification problems. △ Less

Submitted 21 November, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: 30 pages, 2 figures

Journal ref: SIAM Journal on Optimization, 2024, 34(3): 2503-2534

Plastic deformation of the CaMg$_{2}$ C14-Laves phase from 50-250$^\circ$C

Authors: Martina Freund, Doreen Andre, Christoffer Zehnder, Hanno Rempel, Dennis Gerber, Muhammad Zubair, Stefanie Sandlöbes-Haut, James S. K. -L. Gibson, Sandra Korte-Kerzel

Abstract: Intermetallic phases can significantly improve the creep resistance of magnesium alloys, extending their use to higher temperatures. However, little is known about the deformation behaviour of these phases at application temperatures, which are commonly below their macroscopic brittle-to-ductile-transition temperature. In this study, we therefore investigate the activation of different slip system… ▽ More Intermetallic phases can significantly improve the creep resistance of magnesium alloys, extending their use to higher temperatures. However, little is known about the deformation behaviour of these phases at application temperatures, which are commonly below their macroscopic brittle-to-ductile-transition temperature. In this study, we therefore investigate the activation of different slip systems of the CaMg$_2$ phase and the occurrence of serrated yielding in the temperature range from 50$^\circ$C to 250$^\circ$C. A decreasing amount of serrated flow with increasing temperature suggests that solute atoms govern the flow behaviour when the CaMg$_{2}$ phase is off-stoichiometric. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Comments: 24 pages, 10 figures

Analysis of the Frank-Wolfe Method for Convex Composite Optimization involving a Logarithmically-Homogeneous Barrier

Authors: Renbo Zhao, Robert M. Freund

Abstract: We present and analyze a new generalized Frank-Wolfe method for the composite optimization problem $(P):{\min}_{x\in\mathbb{R}^n}\; f(\mathsf{A} x) + h(x)$, where $f$ is a $θ$-logarithmically-homogeneous self-concordant barrier, $\mathsf{A}$ is a linear operator and the function $h$ has bounded domain but is possibly non-smooth. We show that our generalized Frank-Wolfe method requires… ▽ More We present and analyze a new generalized Frank-Wolfe method for the composite optimization problem $(P):{\min}_{x\in\mathbb{R}^n}\; f(\mathsf{A} x) + h(x)$, where $f$ is a $θ$-logarithmically-homogeneous self-concordant barrier, $\mathsf{A}$ is a linear operator and the function $h$ has bounded domain but is possibly non-smooth. We show that our generalized Frank-Wolfe method requires $O((δ_0 + θ+ R_h)\ln(δ_0) + (θ+ R_h)^2/\varepsilon)$ iterations to produce an $\varepsilon$-approximate solution, where $δ_0$ denotes the initial optimality gap and $R_h$ is the variation of $h$ on its domain. This result establishes certain intrinsic connections between $θ$-logarithmically homogeneous barriers and the Frank-Wolfe method. When specialized to the $D$-optimal design problem, we essentially recover the complexity obtained by Khachiyan using the Frank-Wolfe method with exact line-search. We also study the (Fenchel) dual problem of $(P)$, and we show that our new method is equivalent to an adaptive-step-size mirror descent method applied to the dual problem. This enables us to provide iteration complexity bounds for the mirror descent method despite even though the dual objective function is non-Lipschitz and has unbounded domain. In addition, we present computational experiments that point to the potential usefulness of our generalized Frank-Wolfe method on Poisson image de-blurring problems with TV regularization, and on simulated PET problem instances. △ Less

Submitted 5 December, 2021; v1 submitted 18 October, 2020; originally announced October 2020.

Comments: See Version 1 (v1) for the analysis of the Frank-Wolfe method with adaptive step-size applied to the Hölder smooth functions

Stochastic Frank-Wolfe for Constrained Finite-Sum Minimization

Authors: Geoffrey Négiar, Gideon Dresdner, Alicia Tsai, Laurent El Ghaoui, Francesco Locatello, Robert M. Freund, Fabian Pedregosa

Abstract: We propose a novel Stochastic Frank-Wolfe (a.k.a. conditional gradient) algorithm for constrained smooth finite-sum minimization with a generalized linear prediction/structure. This class of problems includes empirical risk minimization with sparse, low-rank, or other structured constraints. The proposed method is simple to implement, does not require step-size tuning, and has a constant per-itera… ▽ More We propose a novel Stochastic Frank-Wolfe (a.k.a. conditional gradient) algorithm for constrained smooth finite-sum minimization with a generalized linear prediction/structure. This class of problems includes empirical risk minimization with sparse, low-rank, or other structured constraints. The proposed method is simple to implement, does not require step-size tuning, and has a constant per-iteration cost that is independent of the dataset size. Furthermore, as a byproduct of the method we obtain a stochastic estimator of the Frank-Wolfe gap that can be used as a stopping criterion. Depending on the setting, the proposed method matches or improves on the best computational guarantees for Stochastic Frank-Wolfe algorithms. Benchmarks on several datasets highlight different regimes in which the proposed method exhibits a faster empirical convergence than related methods. Finally, we provide an implementation of all considered methods in an open-source package. △ Less

Submitted 8 September, 2022; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: Proceedings of the 37th International Conference on Machine Learning, 2020

Towards Truck Parking Lot Occupancy Estimation

Authors: Florian Ziegler, Maurice Freund, Andreas Rydzek, Thomas Liebig

Abstract: Occupied truck parking lots regularly cause hazardous situations. Estimation of current parking lot state could be utilized to provide drivers parking recommendations. In this work, we highlight based on a simulation scenario, how sparse observations, as obtained by a mobile application could be utilized to estimate parking lot occupancy. Our simulated results reveal that a detection of a filled p… ▽ More Occupied truck parking lots regularly cause hazardous situations. Estimation of current parking lot state could be utilized to provide drivers parking recommendations. In this work, we highlight based on a simulation scenario, how sparse observations, as obtained by a mobile application could be utilized to estimate parking lot occupancy. Our simulated results reveal that a detection of a filled parking lot could be possible with an error of less than half an hour, if the required data would be available. △ Less

Submitted 1 February, 2020; originally announced February 2020.

An Oblivious Ellipsoid Algorithm for Solving a System of (In)Feasible Linear Inequalities

Authors: Jourdain Lamperski, Robert M. Freund, Michael J. Todd

Abstract: The ellipsoid algorithm is a fundamental algorithm for computing a solution to the system of $m$ linear inequalities in $n$ variables $(P): A^{\top}x \le u$ when its set of solutions has positive volume. However, when $(P)$ is infeasible, the ellipsoid algorithm has no mechanism for proving that $(P)$ is infeasible. This is in contrast to the other two fundamental algorithms for tackling $(P)$, na… ▽ More The ellipsoid algorithm is a fundamental algorithm for computing a solution to the system of $m$ linear inequalities in $n$ variables $(P): A^{\top}x \le u$ when its set of solutions has positive volume. However, when $(P)$ is infeasible, the ellipsoid algorithm has no mechanism for proving that $(P)$ is infeasible. This is in contrast to the other two fundamental algorithms for tackling $(P)$, namely the simplex method and interior-point methods, each of which can be easily implemented in a way that either produces a solution of $(P)$ or proves that $(P)$ is infeasible by producing a solution to the alternative system $\mathrm{({\it Alt})}: Aλ= 0$, $u^{\top}λ< 0$, $λ\ge 0$. This paper develops an Oblivious Ellipsoid Algorithm (OEA) that either produces a solution of $(P)$ or produces a solution of $\mathrm{({\it Alt})}$. Depending on the dimensions and on other natural condition measures, the computational complexity of the basic OEA may be worse than, the same as, or better than that of the standard ellipsoid algorithm. We also present two modified versions of OEA, whose computational complexity is superior to that of OEA when $n \ll m$. This is achieved in the first modified version by proving infeasibility without actually producing a solution of $\mathrm{({\it Alt})}$, and in the second modified version by using more memory. △ Less

Submitted 28 December, 2020; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: 49 pages, 2 figures

MSC Class: 90C05; 90C60; 68Q25

Condition Number Analysis of Logistic Regression, and its Implications for Standard First-Order Solution Methods

Authors: Robert M. Freund, Paul Grigas, Rahul Mazumder

Abstract: Logistic regression is one of the most popular methods in binary classification, wherein estimation of model parameters is carried out by solving the maximum likelihood (ML) optimization problem, and the ML estimator is defined to be the optimal solution of this problem. It is well known that the ML estimator exists when the data is non-separable, but fails to exist when the data is separable. Fir… ▽ More Logistic regression is one of the most popular methods in binary classification, wherein estimation of model parameters is carried out by solving the maximum likelihood (ML) optimization problem, and the ML estimator is defined to be the optimal solution of this problem. It is well known that the ML estimator exists when the data is non-separable, but fails to exist when the data is separable. First-order methods are the algorithms of choice for solving large-scale instances of the logistic regression problem. In this paper, we introduce a pair of condition numbers that measure the degree of non-separability or separability of a given dataset in the setting of binary classification, and we study how these condition numbers relate to and inform the properties and the convergence guarantees of first-order methods. When the training data is non-separable, we show that the degree of non-separability naturally enters the analysis and informs the properties and convergence guarantees of two standard first-order methods: steepest descent (for any given norm) and stochastic gradient descent. Expanding on the work of Bach, we also show how the degree of non-separability enters into the analysis of linear convergence of steepest descent (without needing strong convexity), as well as the adaptive convergence of stochastic gradient descent. When the training data is separable, first-order methods rather curiously have good empirical success, which is not well understood in theory. In the case of separable data, we demonstrate how the degree of separability enters into the analysis of $\ell_2$ steepest descent and stochastic gradient descent for delivering approximate-maximum-margin solutions with associated computational guarantees as well. This suggests that first-order methods can lead to statistically meaningful solutions in the separable case, even though the ML solution does not exist. △ Less

Submitted 19 October, 2018; originally announced October 2018.

Comments: 38 pages

High-resolution, yet statistically relevant, analysis of damage in DP steel using artificial intelligence

Authors: Carl Kusche, Tom Reclik, Martina Freund, Talal Al-Samman, Ulrich Kerzel, Sandra Korte-Kerzel

Abstract: High performance materials, from natural bone over ancient damascene steel to modern superalloys, typically possess a complex structure at the microscale. Their properties exceed those of the individual components and their knowledge-based improvement therefore requires understanding beyond that of the components' individual behaviour. Electron microscopy has been instrumental in unravelling the m… ▽ More High performance materials, from natural bone over ancient damascene steel to modern superalloys, typically possess a complex structure at the microscale. Their properties exceed those of the individual components and their knowledge-based improvement therefore requires understanding beyond that of the components' individual behaviour. Electron microscopy has been instrumental in unravelling the most important mechanisms of co-deformation and in-situ deformation experiments have emerged as a popular and accessible technique. However, a challenge remains: to achieve high spatial resolution and statistical relevance in combination. Here, we overcome this limitation by using panoramic imaging and machine learning to study damage in a dual-phase steel. This high-throughput approach not only gives us strain and microstructure dependent insights across a large area of this heterogeneous material, but also encourages us to expand current research past interpretation of exemplary cases of distinct damage sites towards the less clear-cut reality. △ Less

Submitted 22 March, 2019; v1 submitted 25 September, 2018; originally announced September 2018.

Generalized Stochastic Frank-Wolfe Algorithm with Stochastic "Substitute" Gradient for Structured Convex Optimization

Authors: Haihao Lu, Robert M. Freund

Abstract: The stochastic Frank-Wolfe method has recently attracted much general interest in the context of optimization for statistical and machine learning due to its ability to work with a more general feasible region. However, there has been a complexity gap in the guaranteed convergence rate for stochastic Frank-Wolfe compared to its deterministic counterpart. In this work, we present a new generalized… ▽ More The stochastic Frank-Wolfe method has recently attracted much general interest in the context of optimization for statistical and machine learning due to its ability to work with a more general feasible region. However, there has been a complexity gap in the guaranteed convergence rate for stochastic Frank-Wolfe compared to its deterministic counterpart. In this work, we present a new generalized stochastic Frank-Wolfe method which closes this gap for the class of structured optimization problems encountered in statistical and machine learning characterized by empirical loss minimization with a certain type of ``linear prediction'' property (formally defined in the paper), which is typically present loss minimization problems in practice. Our method also introduces the notion of a ``substitute gradient'' that is a not-necessarily-unbiased sample of the gradient. We show that our new method is equivalent to a particular randomized coordinate mirror descent algorithm applied to the dual problem, which in turn provides a new interpretation of randomized dual coordinate descent in the primal space. Also, in the special case of a strongly convex regularizer our generalized stochastic Frank-Wolfe method (as well as the randomized dual coordinate descent method) exhibits linear convergence. Furthermore, we present computational experiments that indicate that our method outperforms other stochastic Frank-Wolfe methods consistent with the theory developed herein. △ Less

Submitted 4 November, 2019; v1 submitted 19 July, 2018; originally announced July 2018.

Accelerating Greedy Coordinate Descent Methods

Authors: Haihao Lu, Robert M. Freund, Vahab Mirrokni

Abstract: We study ways to accelerate greedy coordinate descent in theory and in practice, where "accelerate" refers either to $O(1/k^2)$ convergence in theory, in practice, or both. We introduce and study two algorithms: Accelerated Semi-Greedy Coordinate Descent (ASCD) and Accelerated Greedy Coordinate Descent (AGCD). While ASCD takes greedy steps in the $x$-updates and randomized steps in the $z$-updates… ▽ More We study ways to accelerate greedy coordinate descent in theory and in practice, where "accelerate" refers either to $O(1/k^2)$ convergence in theory, in practice, or both. We introduce and study two algorithms: Accelerated Semi-Greedy Coordinate Descent (ASCD) and Accelerated Greedy Coordinate Descent (AGCD). While ASCD takes greedy steps in the $x$-updates and randomized steps in the $z$-updates, AGCD is a straightforward extension of standard greedy coordinate descent that only takes greedy steps. On the theory side, our main results are for ASCD: we show that ASCD achieves $O(1/k^2)$ convergence, and it also achieves accelerated linear convergence for strongly convex functions. On the empirical side, we observe that both AGCD and ASCD outperform Accelerated Randomized Coordinate Descent on a variety of instances. In particular, we note that AGCD significantly outperforms the other accelerated coordinate descent methods in numerical tests, in spite of a lack of theoretical guarantees for this method. To complement the empirical study of AGCD, we present a Lyapunov energy function argument that points to an explanation for why a direct extension of the acceleration proof for AGCD does not work; and we also introduce a technical condition under which AGCD is guaranteed to have accelerated convergence. Last of all, we confirm that this technical condition holds in our empirical study. △ Less

Submitted 6 June, 2018; originally announced June 2018.

Band gap modulation in polythiophene and polypyrrole-based systems

Authors: T. P. Kaloni, G. Schreckenbach, M. S. Freund

Abstract: In this paper, the structural and electronic properties of polythiophene and polyprrrole-based systems have been investigated using first-principles calculations both in periodic and oligomer forms. Of particular interest is the band gap modulation through substitutions and bilayer formation. Specifically, S has been substituted by Se and Te in polythiophene, leading to polyseleophene and polytell… ▽ More In this paper, the structural and electronic properties of polythiophene and polyprrrole-based systems have been investigated using first-principles calculations both in periodic and oligomer forms. Of particular interest is the band gap modulation through substitutions and bilayer formation. Specifically, S has been substituted by Se and Te in polythiophene, leading to polyseleophene and polytellurophene, respectively, and N has been substituted by P and As in polypyrrole. The values obtained of the binding energy suggest that all the systems studied can be realized experimentally. Stacking (bilayer formation) of pure polythiophene, polypyrrole and their derivatives leads to linear suppression of the band gap or HOMO-LUMO gap as a function of the stacking. Mixed bilayers, including one formed from polythiophene on top of polypyrrole, have also been considered. Overall, a wide range of band gaps can be achieved through substitutions and stacking. Hybrid (B3LYP) calculations also suggest the same trend in the band gap as PBE calculations. Trends in the binding energy are similar for both periodic and molecular calculations. In addition, the $Γ$-point phonon calculation are performed in order to check the stability of selected systems. △ Less

Submitted 26 October, 2016; originally announced October 2016.

Comments: 22 pages, 13 figures, and 4 Tables

Relatively-Smooth Convex Optimization by First-Order Methods, and Applications

Authors: Haihao Lu, Robert M. Freund, Yurii Nesterov

Abstract: The usual approach to developing and analyzing first-order methods for smooth convex optimization assumes that the gradient of the objective function is uniformly smooth with some Lipschitz constant $L$. However, in many settings the differentiable convex function $f(\cdot)$ is not uniformly smooth -- for example in $D$-optimal design where $f(x):=-\ln \det(HXH^T)$, or even the univariate setting… ▽ More The usual approach to developing and analyzing first-order methods for smooth convex optimization assumes that the gradient of the objective function is uniformly smooth with some Lipschitz constant $L$. However, in many settings the differentiable convex function $f(\cdot)$ is not uniformly smooth -- for example in $D$-optimal design where $f(x):=-\ln \det(HXH^T)$, or even the univariate setting with $f(x) := -\ln(x) + x^2$. Herein we develop a notion of "relative smoothness" and relative strong convexity that is determined relative to a user-specified "reference function" $h(\cdot)$ (that should be computationally tractable for algorithms), and we show that many differentiable convex functions are relatively smooth with respect to a correspondingly fairly-simple reference function $h(\cdot)$. We extend two standard algorithms -- the primal gradient scheme and the dual averaging scheme -- to our new setting, with associated computational guarantees. We apply our new approach to develop a new first-order method for the $D$-optimal design problem, with associated computational complexity analysis. Some of our results have a certain overlap with the recent work \cite{bbt}. △ Less

Submitted 10 October, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Materials properties of out-of-plane heterostructures of MoS$_2$-WSe$_2$ and WS$_2$-MoSe$_2$

Authors: Bin Amin, Thaneshwor P. Kaloni, Georg Schreckenbach, Michael S. Freund

Abstract: Based on first-principles calculations, the materials properties (structural, electronic, vibrational, and optical properties) of out-of-plane heterostructures formed from the transiti on metal dichalcogenides, specifically MoS$_2$-WSe$_2$ and WS$_2$-MoSe$_2$ were investigated. The heterostructures of MoS$_2$-WSe$_2$ and WS$_2$-MoSe$_2$ are found to be direct and ind irect band gap semiconductors,… ▽ More Based on first-principles calculations, the materials properties (structural, electronic, vibrational, and optical properties) of out-of-plane heterostructures formed from the transiti on metal dichalcogenides, specifically MoS$_2$-WSe$_2$ and WS$_2$-MoSe$_2$ were investigated. The heterostructures of MoS$_2$-WSe$_2$ and WS$_2$-MoSe$_2$ are found to be direct and ind irect band gap semiconductors, respectively. However, a direct band gap in the WS$_2$-MoSe$_2$ heterostructure can be achieved by applying compressive strain. Furthermore, the excitoni c peaks in both monolayer and bilayer heterostructures are calculated to understand the optical behavior of these systems. The suppression of the optical spectrum with respect to the c orresponding monolayers is due to interlayer charge transfer. The stability of the systems under study is confirmed by performing phonon spectrum calculations. △ Less

Submitted 29 January, 2016; originally announced February 2016.

Current developments in silicene and germanene

Authors: T. P. Kaloni, G. Schreckenbach, M. S. Freund, U. Schwingenschlögl

Abstract: Exploration of the unusual properties of the two-dimensional materials silicene and germanene is a very active research field in recent years. This article therefore reviews the latest developments, focusing both on the fundamental materials properties and on possible applications. Exploration of the unusual properties of the two-dimensional materials silicene and germanene is a very active research field in recent years. This article therefore reviews the latest developments, focusing both on the fundamental materials properties and on possible applications. △ Less

Submitted 19 December, 2015; originally announced December 2015.

Comments: 9 pages, 9 figures, and 2 tables

New Computational Guarantees for Solving Convex Optimization Problems with First Order Methods, via a Function Growth Condition Measure

Authors: Robert M. Freund, Haihao Lu

Abstract: Motivated by recent work of Renegar, we present new computational methods and associated computational guarantees for solving convex optimization problems using first-order methods. Our problem of interest is the general convex optimization problem $f^* = \min_{x \in Q} f(x)$, where we presume knowledge of a strict lower bound $f_{\mathrm{slb}} < f^*$. [Indeed, $f_{\mathrm{slb}}$ is naturally know… ▽ More Motivated by recent work of Renegar, we present new computational methods and associated computational guarantees for solving convex optimization problems using first-order methods. Our problem of interest is the general convex optimization problem $f^* = \min_{x \in Q} f(x)$, where we presume knowledge of a strict lower bound $f_{\mathrm{slb}} < f^*$. [Indeed, $f_{\mathrm{slb}}$ is naturally known when optimizing many loss functions in statistics and machine learning (least-squares, logistic loss, exponential loss, total variation loss, etc.) as well as in Renegar's transformed version of the standard conic optimization problem; in all these cases one has $f_{\mathrm{slb}} = 0 < f^*$.] We introduce a new functional measure called the growth constant $G$ for $f(\cdot)$, that measures how quickly the level sets of $f(\cdot)$ grow relative to the function value, and that plays a fundamental role in the complexity analysis. When $f(\cdot)$ is non-smooth, we present new computational guarantees for the Subgradient Descent Method and for smoothing methods, that can improve existing computational guarantees in several ways, most notably when the initial iterate $x^0$ is far from the optimal solution set. When $f(\cdot)$ is smooth, we present a scheme for periodically restarting the Accelerated Gradient Method that can also improve existing computational guarantees when $x^0$ is far from the optimal solution set, and in the presence of added structure we present a scheme using parametrically increased smoothing that further improves the associated computational guarantees. △ Less

Submitted 8 November, 2016; v1 submitted 9 November, 2015; originally announced November 2015.

Comments: 1 figure

MSC Class: 90C25

An Extended Frank-Wolfe Method with "In-Face" Directions, and its Application to Low-Rank Matrix Completion

Authors: Robert M. Freund, Paul Grigas, Rahul Mazumder

Abstract: Motivated principally by the low-rank matrix completion problem, we present an extension of the Frank-Wolfe method that is designed to induce near-optimal solutions on low-dimensional faces of the feasible region. This is accomplished by a new approach to generating ``in-face" directions at each iteration, as well as through new choice rules for selecting between in-face and ``regular" Frank-Wolfe… ▽ More Motivated principally by the low-rank matrix completion problem, we present an extension of the Frank-Wolfe method that is designed to induce near-optimal solutions on low-dimensional faces of the feasible region. This is accomplished by a new approach to generating ``in-face" directions at each iteration, as well as through new choice rules for selecting between in-face and ``regular" Frank-Wolfe steps. Our framework for generating in-face directions generalizes the notion of away-steps introduced by Wolfe. In particular, the in-face directions always keep the next iterate within the minimal face containing the current iterate. We present computational guarantees for the new method that trade off efficiency in computing near-optimal solutions with upper bounds on the dimension of minimal faces of iterates. We apply the new method to the matrix completion problem, where low-dimensional faces correspond to low-rank matrices. We present computational results that demonstrate the effectiveness of our methodological approach at producing nearly-optimal solutions of very low rank. On both artificial and real datasets, we demonstrate significant speed-ups in computing very low-rank nearly-optimal solutions as compared to either the Frank-Wolfe method or its traditional away-step variant. △ Less

Submitted 6 November, 2015; originally announced November 2015.

Comments: 25 pages, 3 tables and 2 figues

MSC Class: 90C25 ACM Class: G.1.6

A New Perspective on Boosting in Linear Regression via Subgradient Optimization and Relatives

Authors: Robert M. Freund, Paul Grigas, Rahul Mazumder

Abstract: In this paper we analyze boosting algorithms in linear regression from a new perspective: that of modern first-order methods in convex optimization. We show that classic boosting algorithms in linear regression, namely the incremental forward stagewise algorithm (FS$_\varepsilon$) and least squares boosting (LS-Boost($\varepsilon$)), can be viewed as subgradient descent to minimize the loss functi… ▽ More In this paper we analyze boosting algorithms in linear regression from a new perspective: that of modern first-order methods in convex optimization. We show that classic boosting algorithms in linear regression, namely the incremental forward stagewise algorithm (FS$_\varepsilon$) and least squares boosting (LS-Boost($\varepsilon$)), can be viewed as subgradient descent to minimize the loss function defined as the maximum absolute correlation between the features and residuals. We also propose a modification of FS$_\varepsilon$ that yields an algorithm for the Lasso, and that may be easily extended to an algorithm that computes the Lasso path for different values of the regularization parameter. Furthermore, we show that these new algorithms for the Lasso may also be interpreted as the same master algorithm (subgradient descent), applied to a regularized version of the maximum absolute correlation loss function. We derive novel, comprehensive computational guarantees for several boosting algorithms in linear regression (including LS-Boost($\varepsilon$) and FS$_\varepsilon$) by using techniques of modern first-order methods in convex optimization. Our computational guarantees inform us about the statistical properties of boosting algorithms. In particular they provide, for the first time, a precise theoretical description of the amount of data-fidelity and regularization imparted by running a boosting algorithm with a prespecified learning rate for a fixed but arbitrary number of iterations, for any dataset. △ Less

Submitted 16 May, 2015; originally announced May 2015.

MSC Class: 62J05; 62J07; 90C25

Electrically Engineered Band Gap in Two-Dimensional Ge, Sn, and Pb: A First-Principles and Tight-Binding Approach

Authors: Thaneshwor P. Kaloni, Mohsen Modarresi, Muhammad Tahir, Mahmood Rezaee Roknabadi, Georg Schreckenbach, Michael S. Freund

Abstract: First-principles calculations were performed to investigate the electronic structure of two-dimensional (2-D) Ge, Sn, and Pb without and with the presence of an external electric field in combination with spin-orbit coupling. Tight-binding calculations based on four orbitals per atom and an effective single orbital are presented to match with the results obtained from first-principles calculations… ▽ More First-principles calculations were performed to investigate the electronic structure of two-dimensional (2-D) Ge, Sn, and Pb without and with the presence of an external electric field in combination with spin-orbit coupling. Tight-binding calculations based on four orbitals per atom and an effective single orbital are presented to match with the results obtained from first-principles calculations. In particular, the electronic band structure and the band splitting are investigated with both models. Moreover, the simple $k\cdot p$ model is also considered in order to understand the band splitting in the presence of an external electric field and spin-orbit coupling. A large splitting is obtained, which is expected to be useful for spintronic devices. The fair agreement between the first-principle, $k\cdot p$ model, and tight-binding approaches leads to a table of parameters for future tight-binding studies on hexagonal 2-D nanostructures. By using the tight binding parameters, the transport properties of typical 0-D triangular quantum dots between two semi-infinite electrodes in the presence of spin-orbit coupling are addressed. △ Less

Submitted 17 April, 2015; originally announced April 2015.

Comments: 23 pages, 6 figures, and 3 tables

Paradox of Peroxy Defects and Positive Holes in Rocks - Part I: Effect of Temperature

Authors: Friedemann T. Freund, Minoru M. Freund

Abstract: Though ubiquitous in minerals of igneous and high-grade metamorphic rocks, peroxy defects have been widely overlooked in the past. The charge carriers of interest are positive holes, chemically equivalent to O$^-$ in a matrix of O$^{2-}$, physically defect electrons in the O$^{2-}$ sublattice, highly mobile, able to propagate fast and far. O$^-$ are oxidized relative to O$^{2-}$. As such O$^-$ are… ▽ More Though ubiquitous in minerals of igneous and high-grade metamorphic rocks, peroxy defects have been widely overlooked in the past. The charge carriers of interest are positive holes, chemically equivalent to O$^-$ in a matrix of O$^{2-}$, physically defect electrons in the O$^{2-}$ sublattice, highly mobile, able to propagate fast and far. O$^-$ are oxidized relative to O$^{2-}$. As such O$^-$ are not supposed to exist in minerals and rocks that come from deep within the Earth crust or upper mantle, where the environments are overwhelmingly reduced. In order to understand how peroxy defects are introduced, we look at peroxy defects in a crystallographically and compositionally well characterized model system: single crystals of nominally high-purity MgO, grown from the melt under highly reducing conditions. During crystallization the MgO crystals incorporate OH$^-$ through dissolution of traces of H$_2$O into the MgO matrix, leading to a solid solution (ss) Mg$_{1-δ}$(OH)$_{2δ}$O$_{1-2δ}$, where $δ$ <1. During cooling, ss turns into a metastable supersaturated solid solution (sss). During further cooling, OH$^-$ pairs at Mg$^{2+}$ vacancy sites rearrange their electrons, undergoing a redox conversion, which leads to peroxy anions, O$_2^{2-}$, plus molecular H$_2$. Being diffusively mobile, the H$_2$ can leave their Mg$^{2+}$ vacancy sites, leaving behind cation-deficient Mg$_{1-δ}$O. During reheating O$_2^{2-}$ break up, releasing positive hole charge carriers, which affect the electrical conductivity behavior. In rocks, similar changes in the electrical conductivity are observed in the temperature window, where peroxy defects of the type O$_3$Si-OO-SiO$_3$ break up. They release positive holes, which control the electrical conductivity response along the geotherm. △ Less

Submitted 17 February, 2015; originally announced February 2015.

Comments: 30 pages, 8 figures

The Structural and Electronic Properties of Pristine and Doped Polythiophene: Periodic Versus Molecular Calculations

Authors: T. P. Kaloni, G. Schreckenbach, M. S. Freund

Abstract: Based on density functional theory calculations, the structural and electronic properties of polythiophene in periodic and oligomer forms have been investigated. In particular, the effects of Li or Cl adsorption onto a monolayer and Li or Cl-intercalation into bulk or bilayer polythiophene are addressed using periodic calculations. The binding energy of Li or Cl adsorbed bulk or bilayer polythioph… ▽ More Based on density functional theory calculations, the structural and electronic properties of polythiophene in periodic and oligomer forms have been investigated. In particular, the effects of Li or Cl adsorption onto a monolayer and Li or Cl-intercalation into bulk or bilayer polythiophene are addressed using periodic calculations. The binding energy of Li or Cl adsorbed bulk or bilayer polythiophene is significantly larger than for the monolayer. The trends in the binding energy as a function of adsorbent remain the same for both the periodic and molecular cases. The band gap or HOMO-LUMO gap and charge transfer are analysed. In addition, for the bulk or bilayer, different kinds of stacking have been considered. It is found that the parallel bulk or bilayer structure is energetically favorable compared to flipping the second layer by 180$^\circ$. This has been considered for both the periodic and oligomer forms. Moreover, for Li adsorption, polarons are found to be more stable than bipolarons, while the situation is opposite for Cl adsorption. The detailed analysis of the present study will be useful for understanding the structural properties and the tuneability of the electronic states, which is an important step to construct polythiophene based electronic devices. △ Less

Submitted 16 January, 2015; originally announced January 2015.

Comments: 29 pages, 9 figures, and 3 tables

Large Enhancement and Tunable Band Gap in Silicene by Small Organic Molecule Adsorption

Authors: Thaneshwor P. Kaloni, Georg Schreckenbach, Michael S. Freund

Abstract: Adsorption of eight organic molecules (acetone, acetonitrile, ammonia, benzene, methane, methanol, ethanol, and toluene) onto silicene has been investigated using van der Waals density functional theory calculations (DFT-D). The calculated values of the adsorption energies vary from $-0.11$ eV to $-0.95$ eV. Quantitatively, these values are higher than the corresponding adsorption energies of the… ▽ More Adsorption of eight organic molecules (acetone, acetonitrile, ammonia, benzene, methane, methanol, ethanol, and toluene) onto silicene has been investigated using van der Waals density functional theory calculations (DFT-D). The calculated values of the adsorption energies vary from $-0.11$ eV to $-0.95$ eV. Quantitatively, these values are higher than the corresponding adsorption energies of the molecules adsorbed on graphene. In addition, electronic structure calculations have been performed. The obtained values of the band gap range from 0.006 eV to 0.35 eV for acetonitrile to acetone, respectively. Furthermore, the effective mass of the electron is estimated and found to be comparatively small, which is expected to result in high electron mobility. In addition, we study the effect of Li atoms doped in pristine and acetone adsorbed silicene. In particular, we focus on the variation of the adsorption energy with respect to the number of Li atoms in the systems. Our results suggest new approaches for the use of silicene molecular-based energy storage and conversion as well as electronic devices. △ Less

Submitted 19 September, 2014; v1 submitted 18 September, 2014; originally announced September 2014.

Comments: 17 pages, 5 Figures, and 2 Tables

Robust topology optimization of three-dimensional photonic-crystal band-gap structures

Authors: Han Men, Karen Y. K. Lee, Robert M. Freund, Jaime Peraire, Steven G. Johnson

Abstract: We perform full 3D topology optimization (in which "every voxel" of the unit cell is a degree of freedom) of photonic-crystal structures in order to find optimal omnidirectional band gaps for various symmetry groups, including fcc (including diamond), bcc, and simple-cubic lattices. Even without imposing the constraints of any fabrication process, the resulting optimal gaps are only slightly large… ▽ More We perform full 3D topology optimization (in which "every voxel" of the unit cell is a degree of freedom) of photonic-crystal structures in order to find optimal omnidirectional band gaps for various symmetry groups, including fcc (including diamond), bcc, and simple-cubic lattices. Even without imposing the constraints of any fabrication process, the resulting optimal gaps are only slightly larger than previous hand designs, suggesting that current photonic crystals are nearly optimal in this respect. However, optimization can discover new structures, e.g. a new fcc structure with the same symmetry but slightly larger gap than the well known inverse opal, which may offer new degrees of freedom to future fabrication technologies. Furthermore, our band-gap optimization is an illustration of a computational approach to 3D dispersion engineering which is applicable to many other problems in optics, based on a novel semidefinite-program formulation for nonconvex eigenvalue optimization combined with other techniques such as a simple approach to impose symmetry constraints. We also demonstrate a technique for \emph{robust} topology optimization, in which some uncertainty is included in each voxel and we optimize the worst-case gap, and we show that the resulting band gaps have increased robustness to systematic fabrication errors. △ Less

Submitted 19 May, 2014; v1 submitted 16 May, 2014; originally announced May 2014.

Comments: 17 pages, 9 figures, submitted to Optics Express

Journal ref: Optics Express, Vol. 22, Issue 19, pp. 22632-22648 (2014)

Fabrication-Adaptive Optimization, with an Application to Photonic Crystal Design

Authors: Han Men, Robert M. Freund, Ngoc C. Nguyen, Joel Saa-Seoane, Jaime Peraire

Abstract: It is often the case that the computed optimal solution of an optimization problem cannot be implemented directly, irrespective of data accuracy, due to either (i) technological limitations (such as physical tolerances of machines or processes), (ii) the deliberate simplification of a model to keep it tractable (by ignoring certain types of constraints that pose computational difficulties), and/or… ▽ More It is often the case that the computed optimal solution of an optimization problem cannot be implemented directly, irrespective of data accuracy, due to either (i) technological limitations (such as physical tolerances of machines or processes), (ii) the deliberate simplification of a model to keep it tractable (by ignoring certain types of constraints that pose computational difficulties), and/or (iii) human factors (getting people to "do" the optimal solution). Motivated by this observation, we present a modeling paradigm called "fabrication-adaptive optimization" for treating issues of implementation/fabrication. We develop computationally-focused theory and algorithms, and we present computational results for incorporating considerations of implementation/fabrication into constrained optimization problems that arise in photonic crystal design. The fabrication-adaptive optimization framework stems from the robust regularization of a function. When the feasible region is not a normed space (as typically encountered in application settings), the fabrication-adaptive optimization framework typically yields a non-convex optimization problem. (In the special case where the feasible region is a finite-dimensional normed space, we show that fabrication-adaptive optimization can be re-cast as an instance of modern robust optimization.) We study a variety of problems with special structures on functions, feasible regions, and norms, for which computation is tractable, and develop an algorithmic scheme for solving these problems in spite of the challenges of non-convexity. We apply our methodology to compute fabrication-adaptive designs of two-dimensional photonic crystals with a variety of prescribed features. △ Less

Submitted 19 May, 2014; v1 submitted 21 July, 2013; originally announced July 2013.

Journal ref: Operations research 62, 418-434 (2014)

AdaBoost and Forward Stagewise Regression are First-Order Convex Optimization Methods

Authors: Robert M. Freund, Paul Grigas, Rahul Mazumder

Abstract: Boosting methods are highly popular and effective supervised learning methods which combine weak learners into a single accurate model with good statistical performance. In this paper, we analyze two well-known boosting methods, AdaBoost and Incremental Forward Stagewise Regression (FS$_\varepsilon$), by establishing their precise connections to the Mirror Descent algorithm, which is a first-order… ▽ More Boosting methods are highly popular and effective supervised learning methods which combine weak learners into a single accurate model with good statistical performance. In this paper, we analyze two well-known boosting methods, AdaBoost and Incremental Forward Stagewise Regression (FS$_\varepsilon$), by establishing their precise connections to the Mirror Descent algorithm, which is a first-order method in convex optimization. As a consequence of these connections we obtain novel computational guarantees for these boosting methods. In particular, we characterize convergence bounds of AdaBoost, related to both the margin and log-exponential loss function, for any step-size sequence. Furthermore, this paper presents, for the first time, precise computational complexity results for FS$_\varepsilon$. △ Less

Submitted 3 July, 2013; originally announced July 2013.

MSC Class: 68Q32; 68T05; 62J05; 90C25 ACM Class: I.2.6; I.5.1; G.3; G.1.6

New Analysis and Results for the Frank-Wolfe Method

Authors: Robert M. Freund, Paul Grigas

Abstract: We present new results for the Frank-Wolfe method (also known as the conditional gradient method). We derive computational guarantees for arbitrary step-size sequences, which are then applied to various step-size rules, including simple averaging and constant step-sizes. We also develop step-size rules and computational guarantees that depend naturally on the warm-start quality of the initial (and… ▽ More We present new results for the Frank-Wolfe method (also known as the conditional gradient method). We derive computational guarantees for arbitrary step-size sequences, which are then applied to various step-size rules, including simple averaging and constant step-sizes. We also develop step-size rules and computational guarantees that depend naturally on the warm-start quality of the initial (and subsequent) iterates. Our results include computational guarantees for both duality/bound gaps and the so-called FW gaps. Lastly, we present complexity bounds in the presence of approximate computation of gradients and/or linear optimization subproblem solutions. △ Less

Submitted 2 June, 2014; v1 submitted 2 July, 2013; originally announced July 2013.

Comments: Changed the name of the method from "conditional gradient" to "Frank-Wolfe"

Report number: MIT Operations Research Center Working Paper OR395-13 MSC Class: 90C25 ACM Class: G.1.6

Band Gap Optimization of Two-Dimensional Photonic Crystals Using Semidefinite Programming and Subspace Methods

Authors: Han Men, Ngoc-Cuong Nguyen, Robert M. Freund, Pablo A. Parrilo, Jaume Peraire

Abstract: In this paper, we consider the optimal design of photonic crystal band structures for two-dimensional square lattices. The mathematical formulation of the band gap optimization problem leads to an infinite-dimensional Hermitian eigenvalue optimization problem parametrized by the dielectric material and the wave vector. To make the problem tractable, the original eigenvalue problem is discretized… ▽ More In this paper, we consider the optimal design of photonic crystal band structures for two-dimensional square lattices. The mathematical formulation of the band gap optimization problem leads to an infinite-dimensional Hermitian eigenvalue optimization problem parametrized by the dielectric material and the wave vector. To make the problem tractable, the original eigenvalue problem is discretized using the finite element method into a series of finite-dimensional eigenvalue problems for multiple values of the wave vector parameter. The resulting optimization problem is large-scale and non-convex, with low regularity and non-differentiable objective. By restricting to appropriate eigenspaces, we reduce the large-scale non-convex optimization problem via reparametrization to a sequence of small-scale convex semidefinite programs (SDPs) for which modern SDP solvers can be efficiently applied. Numerical results are presented for both transverse magnetic (TM) and transverse electric (TE) polarizations at several frequency bands. The optimized structures exhibit patterns which go far beyond typical physical intuition on periodic media design. △ Less

Submitted 13 July, 2009; originally announced July 2009.

Comments: 23 pages, submitted

Journal ref: Journal of Computational Physics 229 (2010) pp. 3706-3725

IRTS observation of the near-infrared extragalactic background light

Authors: T. Matsumoto, S. Matsuura, H. Murakami, M. Tanaka, M. Freund, M. Lim, M. Cohen, M. Kawada, M. Noda

Abstract: We searched for near-infrared extragalactic background light (EBL) in the data from the Near-InfraRed Spectrometer (NIRS) on the Infrared Telescope in Space (IRTS). After subtracting the contribution of faint stars and the zodiacal component based on modeling, a significant isotropic emission is obtained in the wavelength bands from 1.4 micron to 4.0 micron. The in-band flux amounts to ~ 35 nW m… ▽ More We searched for near-infrared extragalactic background light (EBL) in the data from the Near-InfraRed Spectrometer (NIRS) on the Infrared Telescope in Space (IRTS). After subtracting the contribution of faint stars and the zodiacal component based on modeling, a significant isotropic emission is obtained in the wavelength bands from 1.4 micron to 4.0 micron. The in-band flux amounts to ~ 35 nW m-2 sr-1 which is too bright to be explained by the integrated light from faint galaxies. Significant fluctuations in sky brightness were also detected which can not be explained by fluctuations due to faint stars, zodiacal components and normal galaxies. The excess fluctuation amounts to ~ 1/4 of the excess emission over the integrated light of galaxies. A two-point correlation analysis shows that IRTS/NIRS data has an angular scale of fluctuations of a few degrees. Recent WMAP results of CMB polarization indicate that the reionization of the Universe occurred at z ~ 17 or earlier. The observed near infrared background light could be redshifted UV light from the first generation of massive stars (Pop.III stars) which caused the reionization of the Universe. The spectral jump around 1 micron over the optical EBL suggests that massive star formation terminated at z~9. The observed fluctuations, however, are considerably larger than the theoretical predictions and require a new scenario for the Pop.III era. △ Less

Submitted 4 March, 2005; v1 submitted 21 November, 2004; originally announced November 2004.

Comments: 40 pages, 19 figures, accepted by ApJ

Journal ref: Astrophys.J. 626 (2005) 31-43

Belief Revision and Rational Inference

Authors: Michael Freund, Daniel Lehmann

Abstract: The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and compared with other similar postulates that have been proposed in the literature. The AGM revisions that satisfy this new postulate stand in one-to-one corres… ▽ More The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and compared with other similar postulates that have been proposed in the literature. The AGM revisions that satisfy this new postulate stand in one-to-one correspondence with the rational, consistency-preserving relations. This correspondence is described explicitly. Two viewpoints on iterative revisions are distinguished and discussed. △ Less

Submitted 14 April, 2002; originally announced April 2002.

Comments: 25 pages

Report number: Leibniz Center for Research in Computer Science, Hebrew University: TR-94-16, July 1994 ACM Class: I.2.3

Nonmonotonic inference operations

Authors: Michael Freund, Daniel Lehmann

Abstract: A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering… ▽ More A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations is inspired by the results of Kraus, Lehmann and Magidor on finitary nonmonotonic operations, but this paper is self-contained. △ Less

Submitted 20 February, 2002; originally announced February 2002.

Comments: 54 pages. A short version appeared in Studia Logica, Vol. 53 no. 2 (1994) pp. 161-201

Report number: Leibniz Center for Research in Computer Science: TR-92-2 ACM Class: I.2.3

Journal ref: Bulletin of the IGPL, Vol. 1 no. 1 (July 1993), pp. 23-68

Tests of CPT Invariance at Neutrino Factories

Authors: Samoil M. Bilenky, Martin Freund, Manfred Lindner, Tommy Ohlsson, Walter Winter

Abstract: We investigate possible tests of CPT invariance on the level of event rates at neutrino factories. We do not assume any specific model but phenomenological differences in the neutrino-antineutrino masses and mixing angles in a Lorentz invariance preserving context, such as it could be induced by physics beyond the Standard Model. We especially focus on the muon neutrino and antineutrino disappea… ▽ More We investigate possible tests of CPT invariance on the level of event rates at neutrino factories. We do not assume any specific model but phenomenological differences in the neutrino-antineutrino masses and mixing angles in a Lorentz invariance preserving context, such as it could be induced by physics beyond the Standard Model. We especially focus on the muon neutrino and antineutrino disappearance channels in order to obtain constraints on the neutrino-antineutrino mass and mixing angle differences; we found, for example, that the sensitivity $|m_3 - \bar{m}_3| \lesssim 1.9 \cdot 10^{-4} \mathrm{eV}$ could be achieved. △ Less

Submitted 14 February, 2002; v1 submitted 17 December, 2001; originally announced December 2001.

Comments: 6 pages, 1 figure, RevTeX4. Final version to be published in Phys. Rev. D

Report number: TUM-HEP-450/01

Journal ref: Phys.Rev.D65:073024,2002

Systematic Exploration of the Neutrino Factory Parameter Space including Errors and Correlations

Authors: M. Freund, P. Huber, M. Lindner

Abstract: We discuss in a systematic way the extraction of neutrino masses, mixing angles and leptonic CP violation at neutrino factories. Compared to previous studies we put a special emphasis on improved statistical methods and on the multidimensional nature of the combined fits of the nu_e -> nu_mu, \bar nu_e -> \bar nu_mu appearance and nu_mu -> nu_mu, \bar nu_mu -> \bar nu_mu disappearance channels.… ▽ More We discuss in a systematic way the extraction of neutrino masses, mixing angles and leptonic CP violation at neutrino factories. Compared to previous studies we put a special emphasis on improved statistical methods and on the multidimensional nature of the combined fits of the nu_e -> nu_mu, \bar nu_e -> \bar nu_mu appearance and nu_mu -> nu_mu, \bar nu_mu -> \bar nu_mu disappearance channels. Uncertainties of all involved parameters and statistical errors are included. We find previously ignored correlations in the multidimensional parameter space, leading to modifications in the physics reach, which amount in some cases to one order of magnitude. Including proper statistical errors we determine for all parameters the improved sensitivity limits for various baselines, beam energies, neutrino fluxes and detector masses. Our results allow a comparison of the physics potential for different choices of baseline and beam energy with regard to all involved parameters. In addition we discuss in more detail the problem of parameter degeneracies in measurements of delta_CP. △ Less

Submitted 8 May, 2001; originally announced May 2001.

Comments: 29 pages, 14 fugures

Report number: TUM-HEP-414/01

Journal ref: Nucl.Phys.B615:331-357,2001

Analytic Approximations for Three Neutrino Oscillation Parameters and Probabilities in Matter

Authors: Martin Freund

Abstract: The corrections to neutrino mixing parameters in the presence of matter of constant density are calculated systematically as series expansions in terms of the mass hierarchy $\dm{21}/\dm{31}$. The parameter mapping obtained is then used to find simple, but nevertheless accurate formulas for oscillation probabibilities in matter including CP-effects. Expressions with one to one correspondence to… ▽ More The corrections to neutrino mixing parameters in the presence of matter of constant density are calculated systematically as series expansions in terms of the mass hierarchy $\dm{21}/\dm{31}$. The parameter mapping obtained is then used to find simple, but nevertheless accurate formulas for oscillation probabibilities in matter including CP-effects. Expressions with one to one correspondence to the vacuum case are derived, which are valid for neutrino energies above the solar resonance energy. Two applications are given to show that these results are a useful and powerful tool for analytical studies of neutrino beams passing through the Earth mantle or core: First, the ``disentanglement problem'' of matter and CP-effects in the CP-asymmetry is discussed and second, estimations of the statistical sensitivity to the CP-terms of the oscillation probabilities in neutrino factory experiments are presented. △ Less

Submitted 28 March, 2001; originally announced March 2001.

Comments: 17 pages, 3 figures

Report number: TUM-HEP-404/01

Journal ref: Phys.Rev.D64:053003,2001

A Comparison of the Physics Potential of Future Long Baseline Neutrino Oscillation Experiments

Authors: K. Dick, M. Freund, P. Huber, M. Lindner

Abstract: We compare the generic physics potential of various combinations of conventional Wide Band or Neutrino Factory Beams with different detectors to determine several oscillation parameters in long baseline experiments. For each combination of beam and detector we show the precision which can be obtained for the leading oscillation parameters $\dm{31}$ and $\sin^2 2θ_{23}$. Furthermore we show the s… ▽ More We compare the generic physics potential of various combinations of conventional Wide Band or Neutrino Factory Beams with different detectors to determine several oscillation parameters in long baseline experiments. For each combination of beam and detector we show the precision which can be obtained for the leading oscillation parameters $\dm{31}$ and $\sin^2 2θ_{23}$. Furthermore we show the sensitivity to $\sin^2 2θ_{13}$ and the range in $\sin^2 2θ_{13}$ for which the sign of $\dm{31}$ can be extracted via matter effects. The results suggest that existing conventional Wide Band Beam and detector technology can be used to considerably improve the precision of neutrino properties until a neutrino factory will be built. △ Less

Submitted 2 August, 2000; originally announced August 2000.

Comments: 11 pages, 4 figures

Journal ref: Nucl.Phys. B598 (2001) 543-553

Masses and Mixings from Neutrino Beams pointing to Neutrino Telescopes

Authors: K. Dick, M. Freund, P. Huber, M. Lindner

Abstract: We discuss the potential to determine leading oscillation parameters, the value and the sign of Δm^2_{31}, as well as the magnitude of \sin^2 2θ_{13} using a conventional wide band neutrino beam pointing to water or ice Cherenkov neutrino detectors known as ``Neutrino Telescopes''. We find that precision measurements of Δm^2_{31} and θ_{23} are possible and that, even though it is not possible t… ▽ More We discuss the potential to determine leading oscillation parameters, the value and the sign of Δm^2_{31}, as well as the magnitude of \sin^2 2θ_{13} using a conventional wide band neutrino beam pointing to water or ice Cherenkov neutrino detectors known as ``Neutrino Telescopes''. We find that precision measurements of Δm^2_{31} and θ_{23} are possible and that, even though it is not possible to discriminate between charges in the detector, there is a remarkably good sensitivity to the mixing angle θ_{13} and the sign of Δm^2_{31}. △ Less

Submitted 9 June, 2000; originally announced June 2000.

Comments: 9 pages, 4 figures

Report number: TUM-HEP-375/00

Journal ref: Nucl.Phys. B588 (2000) 101-109

Infrared Properties of SiO Maser Sources in Late-Type Stars

Authors: M. Matsuura, I. Yamamura, H. Murakami, T. Onaka, T. Ootsubo, T. Tohya, Y. Okamura, M. M. Freund, Masahiro Tanaka

Abstract: Results of an SiO maser survey for the late-type stars selected by the IRTS (Infrared Telescope in Space) are presented. We have detected SiO J=1-0, v=1 and/or v=2 lines in 27 stars out of 59 stars. The maser intensity increases with the depth of the H2O absorption in the infrared spectra and redness of the 2.2 and 12 micron color. The column densities of the water vapor in the target stars are… ▽ More Results of an SiO maser survey for the late-type stars selected by the IRTS (Infrared Telescope in Space) are presented. We have detected SiO J=1-0, v=1 and/or v=2 lines in 27 stars out of 59 stars. The maser intensity increases with the depth of the H2O absorption in the infrared spectra and redness of the 2.2 and 12 micron color. The column densities of the water vapor in the target stars are estimated from the depth of the water absorption in the IRTS spectra. We found that the SiO maser was detected mostly in the stars with the column density of water vapor higher than 3x10^19-3x10^20 cm^-2. We further estimate the density of hydrogen molecules in the outer atmosphere corresponding to these column densities, obtaining 10^9 - 10^10 cm^-3 as a lower limit. These values are roughly in agreement with the critical hydrogen density predicted by models for the excitation of the SiO masers. It is possible that the SiO masers are excited in clumps with even higher than this density. The present results provide useful information on the understanding of the physical conditions of the outer atmospheres in late-type stars. △ Less

Submitted 1 June, 2000; originally announced June 2000.

Comments: 26 pages with 6 figures, accepted for PASJ

Extracting Matter Effects, Masses and Mixings at a Neutrino Factory

Authors: M. Freund, P. Huber, M. Lindner

Abstract: We discuss and quantify different possibilities to determine matter effects, the value and the sign of $Delta m^2_{31}$, as well as the magnitude of $\sin^2 2θ_{13}$ in very long baseline neutrino oscillation experiments. We study neutrino oscillation at a neutrino factory in the $ν_μ\toν_μ$ disappearance and $ν_e\toν_μ$ appearance channels with and without muon charge identification. One possib… ▽ More We discuss and quantify different possibilities to determine matter effects, the value and the sign of $Delta m^2_{31}$, as well as the magnitude of $\sin^2 2θ_{13}$ in very long baseline neutrino oscillation experiments. We study neutrino oscillation at a neutrino factory in the $ν_μ\toν_μ$ disappearance and $ν_e\toν_μ$ appearance channels with and without muon charge identification. One possibility is to analyze the $ν_e\toν_μ$ appearance channels leading to wrong sign muon events, which requires however very good muon charge identification. Without charge identification it is still possible to operate the neutrino factory both with $μ^-$ and $μ^+$ beams and to analyze the differences in the total neutrino event rate spectra. We show that this leads already to a quite good sensitivity, which may be important if right sign charge rejection capabilities are insufficient. With muon charge identification one can study the $ν_μ\toν_μ$ disappearance and the $ν_e\toν_μ$ appearance channels independently. The best method is finally achieved by combining all available information of the $ν_μ\toν_μ$ disappearance and $ν_e\toν_μ$ appearance channels with charge identification and we show the sensitivity which can be achieved. △ Less

Submitted 9 April, 2000; originally announced April 2000.

Comments: 19 pages, 8 figures

Report number: TUM-HEP-373/00

Journal ref: Nucl.Phys. B585 (2000) 105-123

Testing Matter Effects in Very Long Baseline Neutrino Oscillation Experiments

Authors: M. Freund, M. Lindner, S. T. Petcov, A. Romanino

Abstract: Assuming three-neutrino mixing, we study the capabilities of very long baseline neutrino oscillation experiments to verify and test the MSW effect and to measure the lepton mixing angle theta_13. We suppose that intense neutrino and antineutrino beams will become available in so-called neutrino factories. We find that the most promising and statistically significant results can be obtained by st… ▽ More Assuming three-neutrino mixing, we study the capabilities of very long baseline neutrino oscillation experiments to verify and test the MSW effect and to measure the lepton mixing angle theta_13. We suppose that intense neutrino and antineutrino beams will become available in so-called neutrino factories. We find that the most promising and statistically significant results can be obtained by studying nu_e ->nu_mu and \bar{nu}_e-> \bar{nu}_mu oscillations which lead to matter enhancements and suppressions of wrong sign muon rates. We show the theta_13 ranges where matter effects could be observed as a function of the baseline. We discuss the scaling laws of rates, significances and sensitivities with the relevant mixing angles and experimental parameters. Our analysis includes fluxes, event rates and statistical aspects so that the conclusions should be useful for the planning of experimental setups. We discuss the subleading Delta m^2_{21} effects in the case of the LMA MSW solution of the solar problem, showing that they are small for L >= 7000 km. For shorter baselines, Delta m^2_{21} effects can be relevant and their dependence on L offers a further handle for the determination of the CP-violation phase δ. Finally we comment on the possibility to measure the specific distortion of the energy spectrum due to the MSW effect. △ Less

Submitted 4 February, 2000; v1 submitted 22 December, 1999; originally announced December 1999.

Comments: 30 pages, 13 figures, figures and more discussion added, results and conclusions unchanged

Report number: TUM--HEP--365/99, OUTP--99--69P, SISSA 151/99/EP

Journal ref: Nucl.Phys.B578:27-57,2000

Matter Enhanced Neutrino Oscillations with a Realistic Earth Density Profile

Authors: Martin Freund, Tommy Ohlsson

Abstract: We have investigated matter enhanced neutrino oscillations with a mantle-core-mantle step function and a realistic Earth matter density profile in both a two and a three neutrino scenario. We found that the realistic Earth matter density profile can be well approximated with the mantle-core-mantle step function and that there could be an influence on the oscillation channel $ν_μ\to ν_τ$ due to r… ▽ More We have investigated matter enhanced neutrino oscillations with a mantle-core-mantle step function and a realistic Earth matter density profile in both a two and a three neutrino scenario. We found that the realistic Earth matter density profile can be well approximated with the mantle-core-mantle step function and that there could be an influence on the oscillation channel $ν_μ\to ν_τ$ due to resonant enhancement of one of the mixing angles. △ Less

Submitted 30 June, 2000; v1 submitted 24 September, 1999; originally announced September 1999.

Comments: 8 pages, 5 figures (PostScript), MPLA LaTeX

Report number: TUM-HEP-360/99

Journal ref: Mod.Phys.Lett. A15 (2000) 867-874

Water Vapor Absorption in Early M-type Stars

Authors: M. Matsuura, I. Yamamura, H. Murakami, M. M. Freund, M. Tanaka

Abstract: The spectrometers onboard the Infrared Telescope in Space (IRTS) reveal water vapor absorption in early M-type stars, as early as M2. Previous observations detected H_2O vapor absorption only in stars later than M6, with the exception of the recent detection of H_2O in beta Peg (M2.5 II-III). In our sample of 108 stars, 67 stars have spectral types earlier than M6. The spectral types are establi… ▽ More The spectrometers onboard the Infrared Telescope in Space (IRTS) reveal water vapor absorption in early M-type stars, as early as M2. Previous observations detected H_2O vapor absorption only in stars later than M6, with the exception of the recent detection of H_2O in beta Peg (M2.5 II-III). In our sample of 108 stars, 67 stars have spectral types earlier than M6. The spectral types are established by means of their near-infrared colors on a statistical basis. Among the 67 stars of spectral types earlier than M6, we find water vapor absorption in six stars. The observed absorption features are interpreted using a local thermodynamic equilibrium model. The features are reasonably fitted by model spectra with excitation temperatures of 1000-1500 K and water column densities of 5x10^19 to 1x10^20 cm^-2. These numbers imply that the H_2O molecules are present in a region of the atmosphere, located above the photosphere. Furthermore, our analysis shows a good correlation between the H_2O absorption band strength, and the mid-infrared excess due to the circumstellar dust. We discuss the relation between the outer atmosphere and the mass loss. △ Less

Submitted 16 June, 1999; originally announced June 1999.

Comments: 5 pages with 6 figures, Accepted for A&A

CP-violation in neutrino oscillations

Authors: K. Dick, M. Freund, M. Lindner, A. Romanino

Abstract: We study in a quantitative way CP-violating effects in neutrino oscillation experiments in the light of current and future data. Different scenarios with three and four neutrinos are worked out in detail including matter effects in long baseline experiments and it is shown that in some cases CP-violating effects could affect the analysis of a possible measurement. In particular in the three neut… ▽ More We study in a quantitative way CP-violating effects in neutrino oscillation experiments in the light of current and future data. Different scenarios with three and four neutrinos are worked out in detail including matter effects in long baseline experiments and it is shown that in some cases CP-violating effects could affect the analysis of a possible measurement. In particular in the three neutrino case we find that the effects can be larger than expected, at least in long-baseline $ν_μ\toν_e$. Moreover, measuring these effects could give useful information on the solar oscillation frequency. In four neutrino scenarios large effects are possible both in the $ν_μ\toν_τ$ and $ν_μ\toν_e$ channels of long-baseline experiments, whereas short-baseline experiments are affected only marginally. △ Less

Submitted 17 September, 1999; v1 submitted 10 March, 1999; originally announced March 1999.

Comments: 30 pages, 6 figures. Final version to appear in Nuclear Physics B

Report number: TUM-HEP-345/99, MPI-PhT/9907, OUTP-99-15P

Journal ref: Nucl.Phys. B562 (1999) 29-56