-
On the Equivalence between Logic Programming and SETAF
Authors:
João Alcântara,
Renan Cordeiro,
Samy Sá
Abstract:
A framework with sets of attacking arguments (SETAF) is an extension of the well-known Dung's Abstract Argumentation Frameworks (AAFs) that allows joint attacks on arguments. In this paper, we provide a translation from Normal Logic Programs (NLPs) to SETAFs and vice versa, from SETAFs to NLPs. We show that there is pairwise equivalence between their semantics, including the equivalence between L-…
▽ More
A framework with sets of attacking arguments (SETAF) is an extension of the well-known Dung's Abstract Argumentation Frameworks (AAFs) that allows joint attacks on arguments. In this paper, we provide a translation from Normal Logic Programs (NLPs) to SETAFs and vice versa, from SETAFs to NLPs. We show that there is pairwise equivalence between their semantics, including the equivalence between L-stable and semi-stable semantics. Furthermore, for a class of NLPs called Redundancy-Free Atomic Logic Programs (RFALPs), there is also a structural equivalence as these back-and-forth translations are each other's inverse. Then, we show that RFALPs are as expressive as NLPs by transforming any NLP into an equivalent RFALP through a series of program transformations already known in the literature. We also show that these program transformations are confluent, meaning that every NLP will be transformed into a unique RFALP. The results presented in this paper enhance our understanding that NLPs and SETAFs are essentially the same formalism. Under consideration in Theory and Practice of Logic Programming (TPLP).
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
A four-operator splitting algorithm for nonconvex and nonsmooth optimization
Authors:
Jan Harold Alcantara,
Ching-pei Lee,
Akiko Takeda
Abstract:
In this work, we address a class of nonconvex nonsmooth optimization problems where the objective function is the sum of two smooth functions (one of which is proximable) and two nonsmooth functions (one proper, closed and proximable, and the other continuous and weakly concave). We introduce a new splitting algorithm that extends the Davis-Yin splitting (DYS) algorithm to handle such four-term no…
▽ More
In this work, we address a class of nonconvex nonsmooth optimization problems where the objective function is the sum of two smooth functions (one of which is proximable) and two nonsmooth functions (one proper, closed and proximable, and the other continuous and weakly concave). We introduce a new splitting algorithm that extends the Davis-Yin splitting (DYS) algorithm to handle such four-term nonconvex nonsmooth problems. We prove that with appropriately chosen step sizes, our algorithm exhibits global subsequential convergence to stationary points with a stationarity measure converging at a rate of $1/k$. When specialized to the setting of the DYS algorithm, our results allow for larger stepsizes compared to existing bounds in the literature. Experimental results demonstrate the practical applicability and effectiveness of our proposed algorithm.
△ Less
Submitted 1 July, 2024; v1 submitted 23 June, 2024;
originally announced June 2024.
-
Theoretical smoothing frameworks for general nonsmooth bilevel problems
Authors:
Jan Harold Alcantara,
Akiko Takeda
Abstract:
Bilevel programming has recently received a great deal of attention due to its abundant applications in many areas. The optimal value function approach provides a useful reformulation of the bilevel problem, but its utility is often limited due to the nonsmoothness of the value function even in cases when the associated lower-level function is smooth. In this paper, we present two smoothing strate…
▽ More
Bilevel programming has recently received a great deal of attention due to its abundant applications in many areas. The optimal value function approach provides a useful reformulation of the bilevel problem, but its utility is often limited due to the nonsmoothness of the value function even in cases when the associated lower-level function is smooth. In this paper, we present two smoothing strategies for the value function associated with lower-level functions that are not necessarily smooth but are Lipschitz continuous. The first method employs quadratic regularization for partially convex lower-level functions, while the second utilizes entropic regularization for general lower-level objective functions. Meanwhile, the property known as gradient consistency is crucial in ensuring that a designed smoothing algorithm is globally subsequentially convergent to stationary points of the value function reformulation. With this motivation, we prove that the proposed smooth approximations satisfy the gradient consistent property under certain conditions on the lower-level function.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
Accelerated projected gradient algorithms for sparsity constrained optimization problems
Authors:
Jan Harold Alcantara,
Ching-pei Lee
Abstract:
We consider the projected gradient algorithm for the nonconvex best subset selection problem that minimizes a given empirical loss function under an $\ell_0$-norm constraint. Through decomposing the feasible set of the given sparsity constraint as a finite union of linear subspaces, we present two acceleration schemes with global convergence guarantees, one by same-space extrapolation and the othe…
▽ More
We consider the projected gradient algorithm for the nonconvex best subset selection problem that minimizes a given empirical loss function under an $\ell_0$-norm constraint. Through decomposing the feasible set of the given sparsity constraint as a finite union of linear subspaces, we present two acceleration schemes with global convergence guarantees, one by same-space extrapolation and the other by subspace identification. The former fully utilizes the problem structure to greatly accelerate the optimization speed with only negligible additional cost. The latter leads to a two-stage meta-algorithm that first uses classical projected gradient iterations to identify the correct subspace containing an optimal solution, and then switches to a highly-efficient smooth optimization method in the identified subspace to attain superlinear convergence. Experiments demonstrate that the proposed accelerated algorithms are magnitudes faster than their non-accelerated counterparts as well as the state of the art.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Global convergence and acceleration of projection methods for feasibility problems involving union convex sets
Authors:
Jan Harold Alcantara,
Ching-pei Lee
Abstract:
We prove global convergence of classical projection algorithms for feasibility problems involving union convex sets, which refer to sets expressible as the union of a finite number of closed convex sets. We present a unified strategy for analyzing global convergence by means of studying fixed-point iterations of a set-valued operator that is the union of a finite number of compact-valued upper sem…
▽ More
We prove global convergence of classical projection algorithms for feasibility problems involving union convex sets, which refer to sets expressible as the union of a finite number of closed convex sets. We present a unified strategy for analyzing global convergence by means of studying fixed-point iterations of a set-valued operator that is the union of a finite number of compact-valued upper semicontinuous maps. Such a generalized framework permits the analysis of a class of proximal algorithms for minimizing the sum of a piecewise smooth function and the difference between pointwise minimum of finitely many weakly convex functions and a piecewise smooth convex function. When realized on two-set feasibility problems, this algorithm class recovers alternating projections and averaged projections as special cases, and thus we obtain global convergence criterion for these projection algorithms. Using these general results, we derive sufficient conditions to guarantee global convergence for several projection algorithms for solving the sparse affine feasibility problem and a feasibility reformulation of the linear complementarity problem. Notably, we obtain global convergence of both the alternating and the averaged projection methods to the solution set for linear complementarity problems involving $P$-matrices. By leveraging the structures of the classes of problems we consider, we also propose acceleration algorithms with guaranteed global convergence. Numerical results further exemplify that the proposed acceleration schemes significantly improve upon their non-accelerated counterparts in efficiency.
△ Less
Submitted 14 July, 2023; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Unified Smoothing Approach for Best Hyperparameter Selection Problem Using a Bilevel Optimization Strategy
Authors:
Jan Harold Alcantara,
Chieu Thanh Nguyen,
Takayuki Okuno,
Akiko Takeda,
Jein-Shan Chen
Abstract:
Strongly motivated from use in various fields including machine learning, the methodology of sparse optimization has been developed intensively so far. Especially, the recent advance of algorithms for solving problems with nonsmooth regularizers is remarkable. However, those algorithms suppose that weight parameters of regularizers, called hyperparameters hereafter, are pre-fixed, and it is a cruc…
▽ More
Strongly motivated from use in various fields including machine learning, the methodology of sparse optimization has been developed intensively so far. Especially, the recent advance of algorithms for solving problems with nonsmooth regularizers is remarkable. However, those algorithms suppose that weight parameters of regularizers, called hyperparameters hereafter, are pre-fixed, and it is a crucial matter how the best hyperparameter should be selected. In this paper, we focus on the hyperparameter selection of regularizers related to the $\ell_p$ function with $0<p\le 1$ and apply a bilevel programming strategy, wherein we need to solve a bilevel problem, whose lower-level problem is nonsmooth, possibly nonconvex and non-Lipschitz. Recently, for solving a bilevel problem for hyperparameter selection of the pure $\ell_p\ (0<p \le 1)$ regularizer Okuno et al. discovered new necessary optimality conditions, called SB(scaled bilevel)-KKT conditions, and further proposed a smoothing-type algorithm using a certain smoothing function. However, this optimality measure is loose in the sense that there could be many points that satisfy the SB-KKT conditions. In this work, we propose new bilevel KKT conditions, which are new necessary optimality conditions tighter than the ones proposed by Okuno et al. Moreover, we propose a unified smoothing approach using smoothing functions that belong to the Chen-Mangasarian class, and then prove that generated iteration points accumulate at \alert{bilevel KKT points under milder constraint qualifications. Another contribution is that our approach and analysis are applicable to a wider class of regularizers. Numerical comparisons demonstrate which smoothing functions work well for hyperparameter optimization via bilevel optimization approach.
△ Less
Submitted 19 April, 2023; v1 submitted 25 October, 2021;
originally announced October 2021.
-
Method of Alternating Projection for the Absolute Value Equation
Authors:
Jan Harold Alcantara,
Jein-Shan Chen,
Matthew K. Tam
Abstract:
A novel approach for solving the general absolute value equation $Ax+B|x| = c$ where $A,B\in \mathbb{R}^{m\times n}$ and $c\in \mathbb{R}^m$ is presented. We reformulate the equation as a feasibility problem which we solve via the method of alternating projections (MAP). The fixed points set of the alternating projections map is characterized under nondegeneracy conditions on $A$ and $B$. Furtherm…
▽ More
A novel approach for solving the general absolute value equation $Ax+B|x| = c$ where $A,B\in \mathbb{R}^{m\times n}$ and $c\in \mathbb{R}^m$ is presented. We reformulate the equation as a feasibility problem which we solve via the method of alternating projections (MAP). The fixed points set of the alternating projections map is characterized under nondegeneracy conditions on $A$ and $B$. Furthermore, we prove linear convergence of the algorithm. Unlike most of the existing approaches in the literature, the algorithm presented here is capable of handling problems with $m\neq n$, both theoretically and numerically.
△ Less
Submitted 6 June, 2021;
originally announced June 2021.
-
On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs
Authors:
João Alcântara,
Samy Sá,
Juan Acosta-Guadarrama
Abstract:
Abstract Dialectical Frameworks (ADFs) are argumentation frameworks where each node is associated with an acceptance condition. This allows us to model different types of dependencies as supports and attacks. Previous studies provided a translation from Normal Logic Programs (NLPs) to ADFs and proved the stable models semantics for a normal logic program has an equivalent semantics to that of the…
▽ More
Abstract Dialectical Frameworks (ADFs) are argumentation frameworks where each node is associated with an acceptance condition. This allows us to model different types of dependencies as supports and attacks. Previous studies provided a translation from Normal Logic Programs (NLPs) to ADFs and proved the stable models semantics for a normal logic program has an equivalent semantics to that of the corresponding ADF. However, these studies failed in identifying a semantics for ADFs equivalent to a three-valued semantics (as partial stable models and well-founded models) for NLPs. In this work, we focus on a fragment of ADFs, called Attacking Dialectical Frameworks (ADF$^+$s), and provide a translation from NLPs to ADF$^+$s robust enough to guarantee the equivalence between partial stable models, well-founded models, regular models, stable models semantics for NLPs and respectively complete models, grounded models, preferred models, stable models for ADFs. In addition, we define a new semantics for ADF$^+$s, called L-stable, and show it is equivalent to the L-stable semantics for NLPs. This paper is under consideration for acceptance in TPLP.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
Coulomb dissociation of $^{20,21}$N
Authors:
Marko Röder,
Tatsuya Adachi,
Yulia Aksyutina,
Juan Alcantara,
Sebastian Altstadt,
Hector Alvarez-Pol,
Nicholas Ashwood,
Leyla Atar,
Thomas Aumann,
Vladimir Avdeichikov,
M. Barr,
Saul Beceiro,
Daniel Bemmerer,
Jose Benlliure,
Carlos Bertulani,
Konstanze Boretzky,
Maria J. G. Borge,
G. Burgunder,
Manuel Caamano,
Christoph Caesar,
Enrique Casarejos,
Wilton Catford,
Joakim Cederkall,
S. Chakraborty,
Marielle Chartier
, et al. (98 additional authors not shown)
Abstract:
Neutron-rich light nuclei and their reactions play an important role for the creation of chemical elements. Here, data from a Coulomb dissociation experiment on $^{20,21}$N are reported. Relativistic $^{20,21}$N ions im**ed on a lead target and the Coulomb dissociation cross section was determined in a kinematically complete experiment. Using the detailed balance theorem, the…
▽ More
Neutron-rich light nuclei and their reactions play an important role for the creation of chemical elements. Here, data from a Coulomb dissociation experiment on $^{20,21}$N are reported. Relativistic $^{20,21}$N ions im**ed on a lead target and the Coulomb dissociation cross section was determined in a kinematically complete experiment. Using the detailed balance theorem, the $^{19}\mathrm{N}(\mathrm{n},γ)^{20}\mathrm{N}$ and $^{20}\mathrm{N}(\mathrm{n},γ)^{21}\mathrm{N}$ excitation functions and thermonuclear reaction rates have been determined. The $^{19}\mathrm{N}(\mathrm{n},γ)^{20}\mathrm{N}$ rate is up to a factor of 5 higher at $T<1$\,GK with respect to previous theoretical calculations, leading to a 10\,\% decrease in the predicted fluorine abundance.
△ Less
Submitted 1 June, 2016;
originally announced June 2016.
-
Determination of the Neutron-Capture Rate of 17C for the R-process Nucleosynthesis
Authors:
M. Heine,
S. Typel,
M. -R. Wu,
T. Adachi,
Y. Aksyutina,
J. Alcantara,
S. Altstadt,
H. Alvarez-Pol,
N. Ashwood,
T. Aumann,
V. Avdeichikov,
M. Barr,
S. Beceiro-Novo,
D. Bemmerer,
J. Benlliure,
C. A. Bertulani,
K. Boretzky,
M. J. G. Borge,
G. Burgunder,
M. Caamano,
C. Caesar,
E. Casarejos,
W. Catford,
J. Cederkäll,
S. Chakraborty
, et al. (102 additional authors not shown)
Abstract:
With the R$^{3}$B-LAND setup at GSI we have measured exclusive relative-energy spectra of the Coulomb dissociation of $^{18}$C at a projectile energy around 425~AMeV on a lead target, which are needed to determine the radiative neutron-capture cross sections of $^{17}$C into the ground state of $^{18}$C. Those data have been used to constrain theoretical calculations for transitions populating exc…
▽ More
With the R$^{3}$B-LAND setup at GSI we have measured exclusive relative-energy spectra of the Coulomb dissociation of $^{18}$C at a projectile energy around 425~AMeV on a lead target, which are needed to determine the radiative neutron-capture cross sections of $^{17}$C into the ground state of $^{18}$C. Those data have been used to constrain theoretical calculations for transitions populating excited states in $^{18}$C. This allowed to derive the astrophysical cross section $σ^{*}_{\mathrm{n}γ}$ accounting for the thermal population of $^{17}$C target states in astrophysical scenarios. The experimentally verified capture rate is significantly lower than those of previously obtained Hauser-Feshbach estimations at temperatures $T_{9}\leq{}1$~GK. Network simulations with updated neutron-capture rates and hydrodynamics according to the neutrino-driven wind model as well as the neutron-star merger scenario reveal no pronounced influence of neutron capture of $^{17}$C on the production of second- and third-peak elements in contrast to earlier sensitivity studies.
△ Less
Submitted 20 April, 2016;
originally announced April 2016.
-
Beyond the Neutron Drip-Line: The Unbound Oxygen Isotopes 25O and 26O
Authors:
C. Caesar,
J. Simonis,
T. Adachi,
Y. Aksyutina,
J. Alcantara,
S. Altstadt,
H. Alvarez-Pol,
N. Ashwood,
T. Aumann,
V. Avdeichikov,
M. Barr,
S. Beceiro,
D. Bemmerer,
J. Benlliure,
C. A. Bertulani,
K. Boretzky,
M. J. G. Borge,
G. Burgunder,
M. Caamano,
E. Casarejos,
W. Catford,
J. Cederkäll,
S. Chakraborty,
M. Chartier,
L. Chulkov
, et al. (99 additional authors not shown)
Abstract:
The very neutron-rich oxygen isotopes 25O and 26O are investigated experimentally and theoret- ically. In this first R3B-LAND experiment, the unbound states are populated at GSI via proton- knockout reactions from 26F and 27F at relativistic energies around 450 MeV/nucleon. From the kinematically complete measurement of the decay into 24O plus one or two neutrons, the 25O ground- state energy and…
▽ More
The very neutron-rich oxygen isotopes 25O and 26O are investigated experimentally and theoret- ically. In this first R3B-LAND experiment, the unbound states are populated at GSI via proton- knockout reactions from 26F and 27F at relativistic energies around 450 MeV/nucleon. From the kinematically complete measurement of the decay into 24O plus one or two neutrons, the 25O ground- state energy and lifetime are determined, and upper limits for the 26O ground state are extracted. In addition, the results provide evidence for an excited state in 26O at around 4 MeV. The ex- perimental findings are compared to theoretical shell-model calculations based on chiral two- and three-nucleon (3N) forces, including for the first time residual 3N forces, which are shown to be amplified as valence neutrons are added.
△ Less
Submitted 25 September, 2013; v1 submitted 2 September, 2012;
originally announced September 2012.
-
Study of $^{124}$Sn+$^{136}$Xe fusion-evaporation: analysis of a rare-event experiment
Authors:
Benoît Avez,
Antoine Drouart,
Ch. Stodel,
Cédric Simenel,
J. Alcantara,
M. Adamczyk,
P. Banka,
E. Bonnet,
E. Clément,
R. Dayras,
C. Force,
C. Golabek,
A. Gonciarz,
S. Grevy,
K. Hauschild,
D. Jacquet,
A. Korichi,
T. Kozik,
P. Lazko,
M. Morjean,
A. Popeko,
T. Roger,
M. -G. Saint-Laurent,
Z. Sosin,
B. Sulignano
, et al. (5 additional authors not shown)
Abstract:
Fusion-evaporation in the $^{124}$Sn+$^{136}$Xe system is studied using a high intensity xenon beam provided by the Ganil accelerator and the LISE3 wien filter for the selection of the products. Due to the mass symmetry of the entrance system, the rejection of the beam by the spectrometer was of the order of $5times10^8$. We have thus performed a detailed statistical analysis to estimate random ev…
▽ More
Fusion-evaporation in the $^{124}$Sn+$^{136}$Xe system is studied using a high intensity xenon beam provided by the Ganil accelerator and the LISE3 wien filter for the selection of the products. Due to the mass symmetry of the entrance system, the rejection of the beam by the spectrometer was of the order of $5times10^8$. We have thus performed a detailed statistical analysis to estimate random events and to infer the fusion-evaporation cross sections. No signicant decay events were detected and upper limit cross sections of 172 pb, 87 pb and 235 pb were deduced for the synthesis of $^{257}$Rf, $^{258}$Rf and $^{259}$Rf, respectively.
△ Less
Submitted 22 November, 2011; v1 submitted 12 November, 2011;
originally announced November 2011.