Showing 1–18 of 18 results for author: Franc, A

Enhancement of hole mobility in high-rate reactively sputtered Cu2O thin films induced by laser thermal annealing

Authors: Jiri Rezek, Martin Kucera, Tomas Kozak, Radomir Cerstvy, Ales Franc, Pavel Baroch

Abstract: In presented work, a reactive high-power impulse magnetron sputtering (r-HiPIMS) was used for high-rate deposition ( 170 nm/min) of Cu2O films. Films were deposited on a standard soda-lime glass (SLG) substrate at a temperature of 190C. As-deposited films exhibit poor hole mobility in the orders of 1 cm2/Vs. We have systematically studied the effect of laser thermal annealing (LTA) procedure perfo… ▽ More In presented work, a reactive high-power impulse magnetron sputtering (r-HiPIMS) was used for high-rate deposition ( 170 nm/min) of Cu2O films. Films were deposited on a standard soda-lime glass (SLG) substrate at a temperature of 190C. As-deposited films exhibit poor hole mobility in the orders of 1 cm2/Vs. We have systematically studied the effect of laser thermal annealing (LTA) procedure performed using high-power infrared laser under different laser parameters (number of pulses, length of the pulse). We have found, LTA procedure could significantly enhance the hole mobility (up to 24 cm2/Vs in our case). We have also fitted the results of a temperature-dependent Hall measurement to clarify the mechanism of the reported increase in hole mobility. Moreover, we have discussed the effect of the LTA procedure on microstructure (crystallinity, surface morphology) and on the value of optical band gap. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem

Authors: Didier Henrion, Adrien Le Franc, Victor Magron

Abstract: We describe a parametric univariate quadratic optimization problem for which the moment-SOS hierarchy has finite but increasingly slow convergence when the parameter tends to its limit value. We estimate the order of finite convergence as a function of the parameter. We describe a parametric univariate quadratic optimization problem for which the moment-SOS hierarchy has finite but increasingly slow convergence when the parameter tends to its limit value. We estimate the order of finite convergence as a function of the parameter. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem

Authors: Adrien Le Franc, Victor Magron, Jean-Bernard Lasserre, Manuel Ruiz, Patrick Panciatici

Abstract: AC-OPF (Alternative Current Optimal Power Flow)aims at minimizing the operating costs of a power gridunder physical constraints on voltages and power injections.Its mathematical formulation results in a nonconvex polynomial optimizationproblem which is hard to solve in general,but that can be tackled by a sequence of SDP(Semidefinite Programming) relaxationscorresponding to the steps of the moment… ▽ More AC-OPF (Alternative Current Optimal Power Flow)aims at minimizing the operating costs of a power gridunder physical constraints on voltages and power injections.Its mathematical formulation results in a nonconvex polynomial optimizationproblem which is hard to solve in general,but that can be tackled by a sequence of SDP(Semidefinite Programming) relaxationscorresponding to the steps of the moment-SOS (Sums-Of-Squares) hierarchy.Unfortunately, the size of these SDPs grows drastically in the hierarchy,so that even second-order relaxationsexploiting the correlative sparsity pattern of AC-OPFare hardly numerically tractable for largeinstances -- with thousands of power buses.Our contribution lies in a new sparsityframework, termed minimal sparsity, inspiredfrom the specific structure of power flowequations.Despite its heuristic nature, numerical examples show that minimal sparsity allows the computation ofhighly accurate second-order moment-SOS relaxationsof AC-OPF, while requiring far less computing time and memory resources than the standard correlative sparsity pattern. Thus, we manage to compute second-order relaxations on test caseswith about 6000 power buses, which we believe to be unprecedented. △ Less

Submitted 30 May, 2023; originally announced May 2023.

Controlling Microgrids Without External Data: A Benchmark of Stochastic Programming Methods

Authors: Alban Puech, Tristan Rigaut, Adrien Le Franc, William Templier, Jean-Christophe Alais, Maud Tournoud, Victor Bossard, Alejandro Yousef, Elena Stolyarova

Abstract: Microgrids are local energy systems that integrate energy production, demand, and storage units. They are generally connected to the regional grid to import electricity when local production and storage do not meet the demand. In this context, Energy Management Systems (EMS) are used to ensure the balance between supply and demand, while minimizing the electricity bill, or an environmental criteri… ▽ More Microgrids are local energy systems that integrate energy production, demand, and storage units. They are generally connected to the regional grid to import electricity when local production and storage do not meet the demand. In this context, Energy Management Systems (EMS) are used to ensure the balance between supply and demand, while minimizing the electricity bill, or an environmental criterion. The main implementation challenges for an EMS come from the uncertainties in the consumption, the local renewable energy production, and in the price and the carbon intensity of electricity. Model Predictive Control (MPC) is widely used to implement EMS but is particularly sensitive to the forecast quality, and often requires a subscription to expensive third-party forecast services. We introduce four Multistage Stochastic Control Algorithms relying only on historical data obtained from on-site measurements. We formulate them under the shared framework of Multistage Stochastic Programming and benchmark them against two baselines in 61 different microgrid setups using the EMSx dataset. Our most effective algorithm produces notable cost reductions compared to an MPC that utilizes the same uncertainty model to generate predictions, and it demonstrates similar performance levels to an ideal MPC that relies on perfect forecasts. △ Less

Submitted 5 May, 2023; v1 submitted 28 April, 2023; originally announced April 2023.

Report number: Rapport LAAS n{\textdegree} 23095

Differentiability and Regularization of Parametric Convex Value Functions in Stochastic Multistage Optimization

Authors: Adrien Le Franc, Jean-Philippe Chancelier, Pierre Carpentier, Michel de Lara

Abstract: In multistage decision problems, it is often the case that an initial strategic decision (such as investment) is followed by many operational ones (operating the investment). Such initial strategic decision can be seen as a parameter affecting a multistage decision problem. More generally, we study in this paper a standard multistage stochastic optimization problem depending on a parameter. When t… ▽ More In multistage decision problems, it is often the case that an initial strategic decision (such as investment) is followed by many operational ones (operating the investment). Such initial strategic decision can be seen as a parameter affecting a multistage decision problem. More generally, we study in this paper a standard multistage stochastic optimization problem depending on a parameter. When the parameter is fixed, Stochastic Dynamic Programming provides a way to compute the optimal value of the problem. Thus, the value function depends both on the state (as usual) and on the parameter. Our aim is to investigate on the possibility to efficiently compute gradients of the value function with respect to the parameter, when these objects exist. When nondifferentiable, we propose a regularization method based on the Moreau-Yosida envelope. We present a numerical test case from day-ahead power scheduling. △ Less

Submitted 6 February, 2023; v1 submitted 20 December, 2022; originally announced December 2022.

Linear Dimensionality Reduction

Authors: Alain Franc

Abstract: These notes are an overview of some classical linear methods in Multivariate Data Analysis. This is a good old domain, well established since the 60's, and refreshed timely as a key step in statistical learning. It can be presented as part of statistical learning, or as dimensionality reduction with a geometric flavor. Both approaches are tightly linked: it is easier to learn patterns from data i… ▽ More These notes are an overview of some classical linear methods in Multivariate Data Analysis. This is a good old domain, well established since the 60's, and refreshed timely as a key step in statistical learning. It can be presented as part of statistical learning, or as dimensionality reduction with a geometric flavor. Both approaches are tightly linked: it is easier to learn patterns from data in low dimensional spaces than in high-dimensional spaces. It is shown how a diversity of methods and tools boil down to a single core methods, PCA with SVD, such that the efforts to optimize codes for analyzing massive data sets like distributed memory and task-based programming or to improve the efficiency of the algorithms like Randomised SVD can focus on this shared core method, and benefit to all methods. △ Less

Submitted 24 May, 2023; v1 submitted 27 September, 2022; originally announced September 2022.

Rigidity of terminal simplices in persistent homology

Authors: Aleksandra Franc, Žiga Virk

Abstract: Given a filtration function on a finite simplicial complex, stability theorem of persistent homology states that the corresponding barcode is continuous with respect to changes in the filtration function. However, due to the discrete setting of simplicial complexes, the critical simplices terminating matched bars cannot change continuously for arbitrary perturbations of filtration functions. In th… ▽ More Given a filtration function on a finite simplicial complex, stability theorem of persistent homology states that the corresponding barcode is continuous with respect to changes in the filtration function. However, due to the discrete setting of simplicial complexes, the critical simplices terminating matched bars cannot change continuously for arbitrary perturbations of filtration functions. In this paper we provide a sufficient condition for rigidity of a terminal simplex, i.e., a condition on $ε> 0$ implying that the terminal simplex of a homology class or a bar in persistent homology remains constant through $ε$-perturbations of filtration function. The condition for a homology class or a bar in dimension n depends on the barcodes in dimensions n and n+1. △ Less

Submitted 20 June, 2023; v1 submitted 6 May, 2022; originally announced May 2022.

Comments: 21 pages, 6 figures

MSC Class: 55N31

Journal ref: Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 117, 141 (2023)

Tensor Ranks for the Pedestrian for Dimension Reduction and Disentangling Interactions

Authors: Alain Franc

Abstract: A tensor is a multi-way array that can represent, in addition to a data set, the expression of a joint law or a multivariate function. As such it contains the description of the interactions between the variables corresponding to each of the entries. The rank of a tensor extends to arrays with more than two entries the notion of rank of a matrix, bearing in mind that there are several approaches t… ▽ More A tensor is a multi-way array that can represent, in addition to a data set, the expression of a joint law or a multivariate function. As such it contains the description of the interactions between the variables corresponding to each of the entries. The rank of a tensor extends to arrays with more than two entries the notion of rank of a matrix, bearing in mind that there are several approaches to build such an extension. When the rank is one, the variables are separated, and when it is low, the variables are weakly coupled. Many calculations are simpler on tensors of low rank. Furthermore, approximating a given tensor by a low-rank tensor makes it possible to compute some characteristics of a table, such as the partition function when it is a joint law. In this note, we present in detail an integrated and progressive approach to approximate a given tensor by a tensor of lower rank, through a systematic use of tensor algebra. The notion of tensor is rigorously defined, then elementary but useful operations on tensors are presented. After recalling several different notions for extending the rank to tensors, we show how these elementary operations can be combined to build best low rank approximation algorithms. The last chapter is devoted to applying this approach to tensors constructed as the discretisation of a multivariate function, to show that on a Cartesian grid, the rank of such tensors is expected to be low. △ Less

Submitted 19 January, 2022; originally announced January 2022.

The Capra-subdifferential of the l0 pseudonorm

Authors: Adrien Le Franc, Jean-Philippe Chancelier, Michel de Lara

Abstract: The l0 pseudonorm counts the nonzero coordinates of a vector. It is often used in optimization problems to enforce the sparsity of the solution. However, this function is nonconvex and noncontinuous, and optimization problems formulated with l0 in the objective function or in the constraints are hard to solve in general. Recently, a new family of coupling functions - called Capra (constant along p… ▽ More The l0 pseudonorm counts the nonzero coordinates of a vector. It is often used in optimization problems to enforce the sparsity of the solution. However, this function is nonconvex and noncontinuous, and optimization problems formulated with l0 in the objective function or in the constraints are hard to solve in general. Recently, a new family of coupling functions - called Capra (constant along primal rays) - has proved to induce relevant generalized Fenchel-Moreau conjugacies to handle the l0 pseudonorm. In particular, under a suitable choice of source norm on the Euclidean space used in the definition of the Capra coupling - the function l0 is Capra-subdifferentiable, hence is Capra-convex. In this article, we give explicit formulations for the Capra subdifferential of l0, when the source norm is a lp norm with p larger that 1. We illustrate our results with graphical visualizations of the Capra subdifferential of l0 for the Euclidean source norm. △ Less

Submitted 18 August, 2022; v1 submitted 31 December, 2021; originally announced December 2021.

Extension of Correspondence Analysis to multiway data-sets through High Order SVD: a geometric framework

Authors: Olivier Coulaud, Alain Franc, Martina Iannacito

Abstract: This paper presents an extension of Correspondence Analysis (CA) to tensors through High Order Singular Value Decomposition (HOSVD) from a geometric viewpoint. Correspondence analysis is a well-known tool, developed from principal component analysis, for studying contingency tables. Different algebraic extensions of CA to multi-way tables have been proposed over the years, nevertheless neglecting… ▽ More This paper presents an extension of Correspondence Analysis (CA) to tensors through High Order Singular Value Decomposition (HOSVD) from a geometric viewpoint. Correspondence analysis is a well-known tool, developed from principal component analysis, for studying contingency tables. Different algebraic extensions of CA to multi-way tables have been proposed over the years, nevertheless neglecting its geometric meaning. Relying on the Tucker model and the HOSVD, we propose a direct way to associate with each tensor mode a point cloud. We prove that the point clouds are related to each other. Specifically using the CA metrics we show that the barycentric relation is still true in the tensor framework. Finally two data sets are used to underline the advantages and the drawbacks of our strategy with respect to the classical matrix approaches. △ Less

Submitted 8 November, 2021; originally announced November 2021.

EMSx: a numerical benchmark for energy management systems

Authors: Adrien Le Franc, Pierre Carpentier, Jean-Philippe Chancelier, Michel de Lara

Abstract: Inserting renewable energy in the electric grid in a decentralized manneris a key challenge of the energy transition. However, at local scale, both production and demand display erratic behavior, which makes it delicate to match them. It is the goal of Energy Management Systems (EMS) to achieve such balance at least cost. We present EMSx, a numerical benchmark for testing control algorithms for th… ▽ More Inserting renewable energy in the electric grid in a decentralized manneris a key challenge of the energy transition. However, at local scale, both production and demand display erratic behavior, which makes it delicate to match them. It is the goal of Energy Management Systems (EMS) to achieve such balance at least cost. We present EMSx, a numerical benchmark for testing control algorithms for the management of electric microgrids equipped with a photovoltaic unit and an energy storage system. EMSx is made of three key components: the EMSx dataset, provided by Schneider Electric, contains a diverse pool of realistic microgrids with a rich collection of historical observations and forecasts; the EMSx mathematical framework is an explicit description of the assessment of electric microgrid control techniques and algorithms; the EMSx software EMSx.jl is a package, implemented in the Julia language, which enables to easily implement a microgrid controller and to test it. All components of the benchmark are publicly available, so that other researchers willing to test controllers on EMSx may reproduce experiments easily. Eventually, we showcase the results of standard microgrid control methods, including Model Predictive Control, Open Loop Feedback Control and Stochastic Dynamic Programming. △ Less

Submitted 14 October, 2021; v1 submitted 2 January, 2020; originally announced January 2020.

Journal ref: Energy Systems, Springer, 2021

Nonlinear Map** and Distance Geometry

Authors: Alain Franc, Pierre Blanchard, Olivier Coulaud

Abstract: Distance Geometry Problem (DGP) and Nonlinear Map** (NLM) are two well established questions: Distance Geometry Problem is about finding a Euclidean realization of an incomplete set of distances in a Euclidean space, whereas Nonlinear Map** is a weighted Least Square Scaling (LSS) method. We show how all these methods (LSS, NLM, DGP) can be assembled in a common framework, being each identifie… ▽ More Distance Geometry Problem (DGP) and Nonlinear Map** (NLM) are two well established questions: Distance Geometry Problem is about finding a Euclidean realization of an incomplete set of distances in a Euclidean space, whereas Nonlinear Map** is a weighted Least Square Scaling (LSS) method. We show how all these methods (LSS, NLM, DGP) can be assembled in a common framework, being each identified as an instance of an optimization problem with a choice of a weight matrix. We study the continuity between the solutions (which are point clouds) when the weight matrix varies, and the compactness of the set of solutions (after centering). We finally study a numerical example, showing that solving the optimization problem is far from being simple and that the numerical solution for a given procedure may be trapped in a local minimum. △ Less

Submitted 9 May, 2019; v1 submitted 18 October, 2018; originally announced October 2018.

A geometric view of Biodiversity: scaling to metagenomics

Authors: Pierre Blanchard, Philippe Chaumeil, Jean-Marc Frigerio, Frédéric Rimet, Franck Salin, Sylvie Thérond, Olivier Coulaud, Alain Franc

Abstract: We have designed a new efficient dimensionality reduction algorithm in order to investigate new ways of accurately characterizing the biodiversity, namely from a geometric point of view, scaling with large environmental sets produced by NGS ($\sim 10^5$ sequences). The approach is based on Multidimensional Scaling (MDS) that allows for map** items on a set of $n$ points into a low dimensional eu… ▽ More We have designed a new efficient dimensionality reduction algorithm in order to investigate new ways of accurately characterizing the biodiversity, namely from a geometric point of view, scaling with large environmental sets produced by NGS ($\sim 10^5$ sequences). The approach is based on Multidimensional Scaling (MDS) that allows for map** items on a set of $n$ points into a low dimensional euclidean space given the set of pairwise distances. We compute all pairwise distances between reads in a given sample, run MDS on the distance matrix, and analyze the projection on first axis, by visualization tools. We have circumvented the quadratic complexity of computing pairwise distances by implementing it on a hyperparallel computer (Turing, a Blue Gene Q), and the cubic complexity of the spectral decomposition by implementing a dense random projection based algorithm. We have applied this data analysis scheme on a set of $10^5$ reads, which are amplicons of a diatom environmental sample from Lake Geneva. Analyzing the shape of the point cloud paves the way for a geometric analysis of biodiversity, and for accurately building OTUs (Operational Taxonomic Units), when the data set is too large for implementing unsupervised, hierarchical, high-dimensional clustering. △ Less

Submitted 6 March, 2018; originally announced March 2018.

diagno-syst: a tool for accurate inventories in metabarcoding

Authors: J. -M. Frigerio, F. Rimet, A. Bouchez, E. Chancerel, P. Chaumeil, F. Salin, S. Thérond, M. Kahlert, A. Franc

Abstract: Metabarcoding on amplicons is rapidly expanding as a method to produce molecular based inventories of microbial communities. Here, we work on freshwater diatoms, which are microalgae possibly inventoried both on a morphological and a molecular basis. We have developed an algorithm, in a program called diagno-syst, based a the notion of informative read, which carries out supervised clustering of r… ▽ More Metabarcoding on amplicons is rapidly expanding as a method to produce molecular based inventories of microbial communities. Here, we work on freshwater diatoms, which are microalgae possibly inventoried both on a morphological and a molecular basis. We have developed an algorithm, in a program called diagno-syst, based a the notion of informative read, which carries out supervised clustering of reads by map** them exactly one by one on all reads of a well curated and taxonomically annotated reference database. This program has been run on a HPC (and HTC) infrastructure to address computation load. We compare optical and molecular based inventories on 10 samples from Léman lake, and 30 from Swedish rivers. We track all possibilities of mismatches between both approaches, and compare the results with standard pipelines (with heuristics) like Mothur. We find that the comparison with optics is more accurate when using exact calculations, at the price of a heavier computation load. It is crucial when studying the long tail of biodiversity, which may be overestimated by pipelines or algorithms using heuristics instead (more false positive). This work supports the analysis that these methods will benefit from progress in, first, building an agreement between molecular based and morphological based systematics and, second, having as complete as possible publicly available reference databases. △ Less

Submitted 28 November, 2016; originally announced November 2016.

Comments: 16 pages, 3 tables, 2 figures, and 5 ancillary files

Exact and approximate inference in graphical models: variable elimination and beyond

Authors: Nathalie Peyrard, Marie-Josée Cros, Simon de Givry, Alain Franc, Stéphane Robin, Régis Sabbadin, Thomas Schiex, Matthieu Vignes

Abstract: Probabilistic graphical models offer a powerful framework to account for the dependence structure between variables, which is represented as a graph. However, the dependence between variables may render inference tasks intractable. In this paper we review techniques exploiting the graph structure for exact inference, borrowed from optimisation and computer science. They are built on the principle… ▽ More Probabilistic graphical models offer a powerful framework to account for the dependence structure between variables, which is represented as a graph. However, the dependence between variables may render inference tasks intractable. In this paper we review techniques exploiting the graph structure for exact inference, borrowed from optimisation and computer science. They are built on the principle of variable elimination whose complexity is dictated in an intricate way by the order in which variables are eliminated. The so-called treewidth of the graph characterises this algorithmic complexity: low-treewidth graphs can be processed efficiently. The first message that we illustrate is therefore the idea that for inference in graphical model, the number of variables is not the limiting factor, and it is worth checking for the treewidth before turning to approximate methods. We show how algorithms providing an upper bound of the treewidth can be exploited to derive a 'good' elimination order enabling to perform exact inference. The second message is that when the treewidth is too large, algorithms for approximate inference linked to the principle of variable elimination, such as loopy belief propagation and variational approaches, can lead to accurate results while being much less time consuming than Monte-Carlo approaches. We illustrate the techniques reviewed in this article on benchmarks of inference problems in genetic linkage analysis and computer vision, as well as on hidden variables restoration in coupled Hidden Markov Models. △ Less

Submitted 12 March, 2018; v1 submitted 29 June, 2015; originally announced June 2015.

Comments: 47 pages, 3 tables, 12 figures

Spaces with high topological complexity

Authors: Aleksandra Franc, Petar Pavešić

Abstract: By a formula of Farber the topological complexity TC(X) of a (p-1)-connected, m-dimensional CW-complex X is bounded above by (2m+1)/p+1. There are also various lower estimates for TC(X) such as the nilpotency of the ring $H^*(X\times X,Δ(X))$, and the weak and stable topological compexity wTC(X) and $σ\TC(X)$. In general the difference between these upper and lower bounds can be arbitrarily large.… ▽ More By a formula of Farber the topological complexity TC(X) of a (p-1)-connected, m-dimensional CW-complex X is bounded above by (2m+1)/p+1. There are also various lower estimates for TC(X) such as the nilpotency of the ring $H^*(X\times X,Δ(X))$, and the weak and stable topological compexity wTC(X) and $σ\TC(X)$. In general the difference between these upper and lower bounds can be arbitrarily large. In this paper we investigate spaces whose topological complexity is close to the maximal value given by Farber's formula and show that in these cases the gap between the lower and upper bounds is narrow and that TC(X) often coincides with the lower bounds. △ Less

Submitted 23 October, 2012; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: 12 pages

MSC Class: 55R70; 55M30

Lower bounds for topological complexity

Authors: Aleksandra Franc, Petar Pavešić

Abstract: We introduce fibrewise Whitehead- and fibrewise Ganea definitions of monoidal topological complexity. We then define several lower bounds for the topological complexity, which improve on the standard lower bound in terms of nilpotency of the cohomology ring. The relationships between these lower bounds are studied. We introduce fibrewise Whitehead- and fibrewise Ganea definitions of monoidal topological complexity. We then define several lower bounds for the topological complexity, which improve on the standard lower bound in terms of nilpotency of the cohomology ring. The relationships between these lower bounds are studied. △ Less

Submitted 20 April, 2013; v1 submitted 31 October, 2011; originally announced October 2011.

Comments: 19 pages, 1 figure

MSC Class: 55R70; 55M30

Journal ref: A. Franc, P. Pavešić, Lower bounds for topological complexity, Topology and its Applications 160 (2013), pp. 991-1004

Topological complexity of the telescope

Authors: Aleksandra Franc

Abstract: We use an alternative definition of topological complexity to show that the topological complexity of the map** telescope of a sequence $X_1\rightarrow X_2\rightarrow X_3\rightarrow...$ is bounded above by $2max{TC(X_i); i=1,2,...}$. We use an alternative definition of topological complexity to show that the topological complexity of the map** telescope of a sequence $X_1\rightarrow X_2\rightarrow X_3\rightarrow...$ is bounded above by $2max{TC(X_i); i=1,2,...}$. △ Less

Submitted 16 December, 2011; v1 submitted 23 May, 2011; originally announced May 2011.

Comments: 4 pages, 1 figure

MSC Class: 55R70; 55M30