-
Localized Distributional Robustness in Submodular Multi-Task Subset Selection
Authors:
Ege C. Kaya,
Abolfazl Hashemi
Abstract:
In this work, we approach the problem of multi-task submodular optimization with the perspective of local distributional robustness, within the neighborhood of a reference distribution which assigns an importance score to each task. We initially propose to introduce a regularization term which makes use of the relative entropy to the standard multi-task objective. We then demonstrate through duali…
▽ More
In this work, we approach the problem of multi-task submodular optimization with the perspective of local distributional robustness, within the neighborhood of a reference distribution which assigns an importance score to each task. We initially propose to introduce a regularization term which makes use of the relative entropy to the standard multi-task objective. We then demonstrate through duality that this novel formulation itself is equivalent to the maximization of a monotone increasing function composed with a submodular function, which may be efficiently carried out through standard greedy selection methods. This approach bridges the existing gap in the optimization of performance-robustness trade-offs in multi-task subset selection. To numerically validate our theoretical results, we test the proposed method in two different settings, one on the selection of satellites in low Earth orbit constellations in the context of a sensor selection problem involving weak-submodular functions, and the other on an image summarization task using neural networks involving submodular functions. Our method is compared with two other algorithms focused on optimizing the performance of the worst-case task, and on directly optimizing the performance on the reference distribution itself. We conclude that our novel formulation produces a solution that is locally distributional robust, and computationally inexpensive.
△ Less
Submitted 3 November, 2024; v1 submitted 4 April, 2024;
originally announced April 2024.
-
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations
Authors:
Ege C. Kaya,
Michael Hibbard,
Takashi Tanaka,
Ufuk Topcu,
Abolfazl Hashemi
Abstract:
We study a pair of budget- and performance-constrained weak submodular maximization problems. For computational efficiency, we explore the use of stochastic greedy algorithms which limit the search space via random sampling instead of the standard greedy procedure which explores the entire feasible search space. We propose a pair of stochastic greedy algorithms, namely, Modified Randomized Greedy…
▽ More
We study a pair of budget- and performance-constrained weak submodular maximization problems. For computational efficiency, we explore the use of stochastic greedy algorithms which limit the search space via random sampling instead of the standard greedy procedure which explores the entire feasible search space. We propose a pair of stochastic greedy algorithms, namely, Modified Randomized Greedy (MRG) and Dual Randomized Greedy (DRG) to approximately solve the budget- and performance-constrained problems, respectively. For both algorithms, we derive approximation guarantees that hold with high probability. We then examine the use of DRG in robust optimization problems wherein the objective is to maximize the worst-case of a number of weak submodular objectives and propose the Randomized Weak Submodular Saturation Algorithm (Random-WSSA). We further derive a high-probability guarantee for when Random-WSSA successfully constructs a robust solution. Finally, we showcase the effectiveness of these algorithms in a variety of relevant uses within the context of Earth-observing LEO constellations which estimate atmospheric weather conditions and provide Earth coverage.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction
Authors:
Francesca Bianchi,
Enis Kaya,
J. Steffen Müller
Abstract:
In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekovář) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We als…
▽ More
In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekovář) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We also discuss an alternative method to compute these for odd degree genus 2 curves via $p$-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus $2$ that has semistable ordinary reduction at $p$. We provide an algorithm to compute Blakestad's splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction.
△ Less
Submitted 28 February, 2025; v1 submitted 31 January, 2024;
originally announced February 2024.
-
Coleman-Gross Heights and $p$-adic Néron Functions on Jacobians of Genus $2$ Curves
Authors:
Francesca Bianchi,
Enis Kaya,
J. Steffen Müller
Abstract:
We develop a theory of $p$-adic Néron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$-adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$-adic Néron functions if the same auxiliary choices are made. We also decompose the $p$-adic height constructed by Coleman and Gross, and extended to arbitrary reduction by C…
▽ More
We develop a theory of $p$-adic Néron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$-adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$-adic Néron functions if the same auxiliary choices are made. We also decompose the $p$-adic height constructed by Coleman and Gross, and extended to arbitrary reduction by Colmez and Besser, into a sum of local height functions for Jacobians of odd degree genus $2$ curves. We show that this local height function is equal to the $p$-adic Néron function with the same auxiliary choices, regardless of the reduction type of the curve. This extends work of Balakrishnan and Besser for elliptic curves. When the curve has semistable reduction and the reduction of the Jacobian is ordinary, we also describe the $p$-adic Néron function that arises from the canonical Mazur-Tate splitting explicitly in terms of a generalisation of the $p$-adic sigma function constructed by Blakestad.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Jumps of Jacobians via orthogonal canonical forms
Authors:
Enis Kaya,
Michaël Maex,
Art Waeterschoot
Abstract:
Given a smooth, proper curve $C$ over a discretely valued field $k$, we equip the $k$-vector space $H^{0}(C,ω_{C/k})$ with a canonical discrete valuation $v_{\mathrm{can}}$ which measures how canonical forms degenerate on regular integral models of $C$. More precisely, $v_{\mathrm{can}}$ maps a canonical form to the minimal value of its associated weight function, as introduced by Mustaţă--Nicaise…
▽ More
Given a smooth, proper curve $C$ over a discretely valued field $k$, we equip the $k$-vector space $H^{0}(C,ω_{C/k})$ with a canonical discrete valuation $v_{\mathrm{can}}$ which measures how canonical forms degenerate on regular integral models of $C$. More precisely, $v_{\mathrm{can}}$ maps a canonical form to the minimal value of its associated weight function, as introduced by Mustaţă--Nicaise. Our main result states that $v_{\mathrm{can}}$ computes Edixhoven's jumps of the Jacobian of $C$ when evaluated in an orthogonal basis. As a byproduct, we deduce a short proof for the rationality of the jumps of Jacobians. We also show how $v_{\mathrm{can}}$ and the jumps can be computed efficiently for the class of $Δ_v$-regular curves introduced by Dokchitser.
△ Less
Submitted 28 February, 2025; v1 submitted 20 August, 2023;
originally announced August 2023.
-
Communication-Efficient Zeroth-Order Distributed Online Optimization: Algorithm, Theory, and Applications
Authors:
Ege C. Kaya,
M. Berk Sahin,
Abolfazl Hashemi
Abstract:
This paper focuses on a multi-agent zeroth-order online optimization problem in a federated learning setting for target tracking. The agents only sense their current distances to their targets and aim to maintain a minimum safe distance from each other to prevent collisions. The coordination among the agents and dissemination of collision-prevention information is managed by a central server using…
▽ More
This paper focuses on a multi-agent zeroth-order online optimization problem in a federated learning setting for target tracking. The agents only sense their current distances to their targets and aim to maintain a minimum safe distance from each other to prevent collisions. The coordination among the agents and dissemination of collision-prevention information is managed by a central server using the federated learning paradigm. The proposed formulation leads to an instance of distributed online nonconvex optimization problem that is solved via a group of communication-constrained agents. To deal with the communication limitations of the agents, an error feedback-based compression scheme is utilized for agent-to-server communication. The proposed algorithm is analyzed theoretically for the general class of distributed online nonconvex optimization problems. We provide non-asymptotic convergence rates that show the dominant term is independent of the characteristics of the compression scheme. Our theoretical results feature a new approach that employs significantly more relaxed assumptions in comparison to standard literature. The performance of the proposed solution is further analyzed numerically in terms of tracking errors and collisions between agents in two relevant applications.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Computation of Admissible Arakelov-Green Functions on Metrized Graphs
Authors:
Ruben Merlijn van Dijk,
Enis Kaya
Abstract:
Metrized graphs are nonarchimedean analogues of Riemann surfaces, and Arakelov-Green functions on these graphs are of fundamental importance for some aspects of arithmetic geometry. In the present paper, we give an explicit formula for an admissible Arakelov-Green function on a metrized graph, extending Cinkir's formula for the canonical Arakelov-Green function. Based on our formula, we present an…
▽ More
Metrized graphs are nonarchimedean analogues of Riemann surfaces, and Arakelov-Green functions on these graphs are of fundamental importance for some aspects of arithmetic geometry. In the present paper, we give an explicit formula for an admissible Arakelov-Green function on a metrized graph, extending Cinkir's formula for the canonical Arakelov-Green function. Based on our formula, we present and implement an algorithm in the computer algebra system SageMath for explicitly computing such functions. We illustrate our algorithm with computational examples.
△ Less
Submitted 11 August, 2022;
originally announced August 2022.
-
Sampling from $p$-adic algebraic manifolds
Authors:
Yassine El Maazouz,
Enis Kaya
Abstract:
We present a method for sampling points from an algebraic manifold, either affine or projective, defined over a local field, with a prescribed probability distribution. Inspired by the work of Breiding and Marigliano on sampling real algebraic manifolds, our approach leverages slicing the given variety with random linear spaces of complementary dimension. We also provide an implementation of this…
▽ More
We present a method for sampling points from an algebraic manifold, either affine or projective, defined over a local field, with a prescribed probability distribution. Inspired by the work of Breiding and Marigliano on sampling real algebraic manifolds, our approach leverages slicing the given variety with random linear spaces of complementary dimension. We also provide an implementation of this sampling technique and demonstrate its applicability to various contexts, including sampling from linear $p$-adic algebraic groups, abelian varieties, and modular curves.
△ Less
Submitted 21 March, 2025; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Tropical invariants for binary quintics and reduction types of Picard curves
Authors:
Paul Alexander Helminck,
Yassine El Maazouz,
Enis Kaya
Abstract:
We express the reduction types of Picard curves in terms of tropical invariants associated to binary quintics. We also give a general framework for tropical invariants associated to group actions on arbitrary varieties. The problem of finding tropical invariants for binary forms fits in this general framework by mapping the space of binary forms to symmetrized versions of the Deligne-Mumford compa…
▽ More
We express the reduction types of Picard curves in terms of tropical invariants associated to binary quintics. We also give a general framework for tropical invariants associated to group actions on arbitrary varieties. The problem of finding tropical invariants for binary forms fits in this general framework by mapping the space of binary forms to symmetrized versions of the Deligne-Mumford compactification $\overline{M}_{0,n}$.
△ Less
Submitted 3 October, 2024; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Lines on $p$-adic and real cubic surfaces
Authors:
Rida Ait El Manssour,
Yassine El Maazouz,
Enis Kaya,
Kemal Rose
Abstract:
We study lines on smooth cubic surfaces over the field of $p$-adic numbers, from a theoretical and computational point of view. Segre showed that the possible counts of such lines are $0,1,2,3,5,7,9,15$ or $27$. We show that each of these counts is achieved. Probabilistic aspects are also investigated by sampling both $p$-adic and real cubic surfaces from different distributions and estimating the…
▽ More
We study lines on smooth cubic surfaces over the field of $p$-adic numbers, from a theoretical and computational point of view. Segre showed that the possible counts of such lines are $0,1,2,3,5,7,9,15$ or $27$. We show that each of these counts is achieved. Probabilistic aspects are also investigated by sampling both $p$-adic and real cubic surfaces from different distributions and estimating the probability of each count. We link this to recent results on probabilistic enumerative geometry. Some experimental results on the Galois groups attached to $p$-adic cubic surfaces are also discussed.
△ Less
Submitted 22 August, 2023; v1 submitted 7 February, 2022;
originally announced February 2022.
-
$δ$-$r$-Hyperideals and $φ$-$δ$-$r$-Hyperideals of Commutative Krasner Hyperrings
Authors:
Peng Xu,
Melis Bolat,
Elif Kaya,
Serkan Onar,
Bayram Ali Ersoy,
Kostaq Hila
Abstract:
In this paper, our purpose is to define the expansion of $r$-hyperideals and extend this concept to $φ$-$δ$-$r$-hyperideal. Let $\Re$ be a commutative Krasner hyperring with nonzero identity. Given an expansion $δ$ of hyperideals, a proper hyperideal $N$ of $\Re$ is called $δ$-$r$-hyperideal if $a\cdot b\in N$ with $ann(a)=0$ implies that $b\in δ(N)$, for all $a,b\in\Re$. Therefore, given an expan…
▽ More
In this paper, our purpose is to define the expansion of $r$-hyperideals and extend this concept to $φ$-$δ$-$r$-hyperideal. Let $\Re$ be a commutative Krasner hyperring with nonzero identity. Given an expansion $δ$ of hyperideals, a proper hyperideal $N$ of $\Re$ is called $δ$-$r$-hyperideal if $a\cdot b\in N$ with $ann(a)=0$ implies that $b\in δ(N)$, for all $a,b\in\Re$. Therefore, given an expansion $δ$ of hyperideals and a hyperideal reduction $φ$, a proper hyperideal $N$ of $\Re$ is called $φ$-$δ$-$r$-hyperideal if $a\cdot b\in N-φ(N)$ with $ann(a)=0$ implies that $b\inδ(N)$, for all $a,b\in\Re$. We investigate some of their properties and give some examples.
△ Less
Submitted 5 April, 2022; v1 submitted 8 December, 2021;
originally announced December 2021.
-
$φ$-$δ$-Primary Hyperideals in Krasner Hyperrings
Authors:
Elif Kaya,
Melis Bolat,
Serkan Onar,
Bayram Ali Ersoy,
Kostaq Hila
Abstract:
In this paper, we study commutative Krasner hyperring with nonzero identity. $φ$-prime, $φ$-primary and $φ$-$δ$-primary hyperideals are introduced. We intend to extend the concept of $δ$-primary hyperideals to $φ$-$δ$-primary hyperideals. We give some characterizations of hyperideals to classify them. We denote the set of all hyperideals of $\Re$ by $L(\Re)$ (all proper hyperideals of $\Re$ by…
▽ More
In this paper, we study commutative Krasner hyperring with nonzero identity. $φ$-prime, $φ$-primary and $φ$-$δ$-primary hyperideals are introduced. We intend to extend the concept of $δ$-primary hyperideals to $φ$-$δ$-primary hyperideals. We give some characterizations of hyperideals to classify them. We denote the set of all hyperideals of $\Re$ by $L(\Re)$ (all proper hyperideals of $\Re$ by $L^{\ast }(\Re)).$ Let $φ$ be a reduction function such that $φ:L(\Re)\rightarrow L(\Re)\cup\{\emptyset\}$ and $δ$ be an expansion function such that $δ:L(\Re)\rightarrow L(\Re).$ $N$ be a proper hyperideal of $\Re.$ $N$ is called $φ$-$δ$-primary hyperideal of $\Re$ if $a\circ b\in N-$ $φ(N),$ then $a\in N$ or $b\inδ(N),$ for some $a,b\in\Re.$ We\ discuss the relation between $φ$-$δ$-primary hyperideal and other hyperideals.
△ Less
Submitted 8 December, 2021; v1 submitted 3 November, 2021;
originally announced November 2021.
-
$r$-Hyperideals and Generalizations of $r$-Hyperideals in Krasner Hyperrings
Authors:
Peng Xu,
Melis Bolat,
Elif Kaya,
Serkan Onar,
Bayram Ali Ersoy,
Kostaq Hila
Abstract:
In this study, we examine some properties of $r$-hyperideals in the commutative Krasner hyperrings. Some properties of $pr$-hyperideals are also studied. The relation between prime hyperideals and $r$-hyperideals is investigated. We show that the image and the inverse image of an $r$-hyperideal is also an $r$-hyperideal. We also introduce a generalization of r-hyperideals and we prove some propert…
▽ More
In this study, we examine some properties of $r$-hyperideals in the commutative Krasner hyperrings. Some properties of $pr$-hyperideals are also studied. The relation between prime hyperideals and $r$-hyperideals is investigated. We show that the image and the inverse image of an $r$-hyperideal is also an $r$-hyperideal. We also introduce a generalization of r-hyperideals and we prove some properties of them.
△ Less
Submitted 2 February, 2022; v1 submitted 19 October, 2021;
originally announced October 2021.
-
Explicit Vologodsky Integration for Hyperelliptic Curves
Authors:
Enis Kaya
Abstract:
Vologodsky's theory of $p$-adic integration plays a central role in computing several interesting invariants in arithmetic geometry. In contrast with the theory developed by Coleman, it has the advantage of being insensitive to the reduction type at $p$. Building on recent work of Besser and Zerbes, we describe an algorithm for computing Vologodsky integrals on bad reduction hyperelliptic curves.…
▽ More
Vologodsky's theory of $p$-adic integration plays a central role in computing several interesting invariants in arithmetic geometry. In contrast with the theory developed by Coleman, it has the advantage of being insensitive to the reduction type at $p$. Building on recent work of Besser and Zerbes, we describe an algorithm for computing Vologodsky integrals on bad reduction hyperelliptic curves. This extends previous joint work with Katz to all meromorphic differential forms. We illustrate our algorithm with numerical examples computed in Sage.
△ Less
Submitted 14 December, 2021; v1 submitted 9 August, 2020;
originally announced August 2020.
-
p-adic integration on bad reduction hyperelliptic curves
Authors:
Eric Katz,
Enis Kaya
Abstract:
In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduc…
▽ More
In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser for regular and meromorphic 1-forms on good reduction curves, respectively. We then employ tropical geometric techniques due to the first-named author with Rabinoff and Zureick-Brown to convert the Berkovich-Coleman integrals into abelian integrals. We provide examples of our algorithm, verifying that certain abelian integrals between torsion points vanish.
△ Less
Submitted 3 August, 2020; v1 submitted 6 March, 2020;
originally announced March 2020.
