Showing 1–41 of 41 results for author: Köck, B

Winsorized mean estimation with heavy tails and adversarial contamination

Authors: Anders Bredahl Kock, David Preinerstorfer

Abstract: Finite-sample upper bounds on the estimation error of a winsorized mean estimator of the population mean in the presence of heavy tails and adversarial contamination are established. In comparison to existing results, the winsorized mean estimator we study avoids a sample splitting device and winsorizes substantially fewer observations, which improves its applicability and practical performance. Finite-sample upper bounds on the estimation error of a winsorized mean estimator of the population mean in the presence of heavy tails and adversarial contamination are established. In comparison to existing results, the winsorized mean estimator we study avoids a sample splitting device and winsorizes substantially fewer observations, which improves its applicability and practical performance. △ Less

Submitted 11 April, 2025; originally announced April 2025.

High-dimensional Gaussian and bootstrap approximations for robust means

Authors: Anders Bredahl Kock, David Preinerstorfer

Abstract: Recent years have witnessed much progress on Gaussian and bootstrap approximations to the distribution of max-type statistics of sums of independent random vectors with dimension $d$ large relative to the sample size $n$. However, for any number of moments $m>2$ that the summands may possess, there exist distributions such that these approximations break down if $d$ grows faster than… ▽ More Recent years have witnessed much progress on Gaussian and bootstrap approximations to the distribution of max-type statistics of sums of independent random vectors with dimension $d$ large relative to the sample size $n$. However, for any number of moments $m>2$ that the summands may possess, there exist distributions such that these approximations break down if $d$ grows faster than $n^{\frac{m}{2}-1}$. In this paper, we establish Gaussian and bootstrap approximations to the distributions of winsorized and trimmed means that allow $d$ to grow at an exponential rate in $n$ as long as $m>2$ moments exist. The approximations remain valid under some amount of adversarial contamination. Our implementations of the winsorized and trimmed means are fully data-driven and do not depend on any unknown population quantities. As a consequence, the performance of the approximation guarantees ``adapts'' to $m$. △ Less

Submitted 3 June, 2025; v1 submitted 11 April, 2025; originally announced April 2025.

Enhanced power enhancements for testing many moment equalities: Beyond the $2$- and $\infty$-norm

Authors: Anders Bredahl Kock, David Preinerstorfer

Abstract: Contemporary testing problems in statistics are increasingly complex, i.e., high-dimensional. Tests based on the $2$- and $\infty$-norm have received considerable attention in such settings, as they are powerful against dense and sparse alternatives, respectively. The power enhancement principle of Fan et al. (2015) combines these two norms to construct improved tests that are powerful against bot… ▽ More Contemporary testing problems in statistics are increasingly complex, i.e., high-dimensional. Tests based on the $2$- and $\infty$-norm have received considerable attention in such settings, as they are powerful against dense and sparse alternatives, respectively. The power enhancement principle of Fan et al. (2015) combines these two norms to construct improved tests that are powerful against both types of alternatives. In the context of testing whether a candidate parameter satisfies a large number of moment equalities, we construct a test that harnesses the strength of all $p$-norms with $p\in[2, \infty]$. As a result, this test is consistent against strictly more alternatives than any test based on a single $p$-norm. In particular, our test is consistent against more alternatives than tests based on the $2$- and $\infty$-norm, which is what most implementations of the power enhancement principle target. We illustrate the scope of our general results by using them to construct a test that simultaneously dominates the Anderson-Rubin test (based on $p=2$), tests based on the $\infty$-norm and power enhancement based combinations of these in terms of consistency in the linear instrumental variable model with many instruments. △ Less

Submitted 22 October, 2024; v1 submitted 25 July, 2024; originally announced July 2024.

Data-Driven Tuning Parameter Selection for High-Dimensional Vector Autoregressions

Authors: Anders Bredahl Kock, Rasmus Søndergaard Pedersen, Jesper Riis-Vestergaard Sørensen

Abstract: Lasso-type estimators are routinely used to estimate high-dimensional time series models. The theoretical guarantees established for these estimators typically require the penalty level to be chosen in a suitable fashion often depending on unknown population quantities. Furthermore, the resulting estimates and the number of variables retained in the model depend crucially on the chosen penalty lev… ▽ More Lasso-type estimators are routinely used to estimate high-dimensional time series models. The theoretical guarantees established for these estimators typically require the penalty level to be chosen in a suitable fashion often depending on unknown population quantities. Furthermore, the resulting estimates and the number of variables retained in the model depend crucially on the chosen penalty level. However, there is currently no theoretically founded guidance for this choice in the context of high-dimensional time series. Instead, one resorts to selecting the penalty level in an ad hoc manner using, e.g., information criteria or cross-validation. We resolve this problem by considering estimation of the perhaps most commonly employed multivariate time series model, the linear vector autoregressive (VAR) model, and propose versions of the Lasso, post-Lasso, and square-root Lasso estimators with penalization chosen in a fully data-driven way. The theoretical guarantees that we establish for the resulting estimation and prediction errors match those currently available for methods based on infeasible choices of penalization. We thus provide a first solution for choosing the penalization in high-dimensional time series models. △ Less

Submitted 23 December, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

Comments: 90 pages, 5 figures

Regularizing Fairness in Optimal Policy Learning with Distributional Targets

Authors: Anders Bredahl Kock, David Preinerstorfer

Abstract: A decision maker typically (i) incorporates training data to learn about the relative effectiveness of treatments, and (ii) chooses an implementation mechanism that implies an ``optimal'' predicted outcome distribution according to some target functional. Nevertheless, a fairness-aware decision maker may not be satisfied achieving said optimality at the cost of being ``unfair" against a subgroup o… ▽ More A decision maker typically (i) incorporates training data to learn about the relative effectiveness of treatments, and (ii) chooses an implementation mechanism that implies an ``optimal'' predicted outcome distribution according to some target functional. Nevertheless, a fairness-aware decision maker may not be satisfied achieving said optimality at the cost of being ``unfair" against a subgroup of the population, in the sense that the outcome distribution in that subgroup deviates too strongly from the overall optimal outcome distribution. We study a framework that allows the decision maker to regularize such deviations, while allowing for a wide range of target functionals and fairness measures to be employed. We establish regret and consistency guarantees for empirical success policies with (possibly) data-driven preference parameters, and provide numerical results. Furthermore, we briefly illustrate the methods in two empirical settings. △ Less

Submitted 28 May, 2025; v1 submitted 31 January, 2024; originally announced January 2024.

A remark on moment-dependent phase transitions in high-dimensional Gaussian approximations

Authors: Anders Bredahl Kock, David Preinerstorfer

Abstract: In this article, we study the critical growth rates of dimension below which Gaussian critical values can be used for hypothesis testing but beyond which they cannot. We are particularly interested in how these growth rates depend on the number of moments that the observations possess. In this article, we study the critical growth rates of dimension below which Gaussian critical values can be used for hypothesis testing but beyond which they cannot. We are particularly interested in how these growth rates depend on the number of moments that the observations possess. △ Less

Submitted 12 February, 2024; v1 submitted 19 October, 2023; originally announced October 2023.

Comparison of Exterior Power Operations on Higher K-Theory of Schemes

Authors: Bernhard Köck, Ferdinando Zanchetta

Abstract: Exterior power operations provide an additional structure on K-groups of schemes which lies at the heart of Grothendieck's Riemann-Roch theory. Over the past decades, various authors have constructed such operations on higher K-theory. In this paper, we prove that these constructions actually yield the same operations, ultimately matching up the explicit combinatorial description by Harris, the fi… ▽ More Exterior power operations provide an additional structure on K-groups of schemes which lies at the heart of Grothendieck's Riemann-Roch theory. Over the past decades, various authors have constructed such operations on higher K-theory. In this paper, we prove that these constructions actually yield the same operations, ultimately matching up the explicit combinatorial description by Harris, the first author and Taelman on the one hand and the recent, conceptually clear-cut construction by Barwick, Glasman, Mathew and Nikolaus on the other hand. This also leads to the proof of a conjecture by the first author about composition of these operations in the equivariant context, completing the proof that higher equivariant K-groups satisfy all axioms of a lambda-ring. △ Less

Submitted 8 January, 2025; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: 28 pages; v2: referees comments incorporated, 31 pages, to appear in Math. Z

MSC Class: 19E08 (Primary) 14F99; 18N50; 19D99; 55S25 (Secondary)

The canonical representation of the Drinfeld curve

Authors: Lucas Laurent, Bernhard Köck

Abstract: If $C$ is a smooth projective curve over an algebraically closed field $\mathbb{F}$ and $G$ is a subgroup of automorphisms of $C$, then $G$ acts linearly on the $\mathbb{F}$-vector space of holomorphic differentials $H^0\big(C,Ω_C\big)$ by pulling back differentials. In other words, $H^0\big(C,Ω_C\big)$ is a representation of $G$ over the field $\mathbb{F}$, called… ▽ More If $C$ is a smooth projective curve over an algebraically closed field $\mathbb{F}$ and $G$ is a subgroup of automorphisms of $C$, then $G$ acts linearly on the $\mathbb{F}$-vector space of holomorphic differentials $H^0\big(C,Ω_C\big)$ by pulling back differentials. In other words, $H^0\big(C,Ω_C\big)$ is a representation of $G$ over the field $\mathbb{F}$, called $\textit{the canonical representation}$ of $C$. Computing its decomposition as a direct sum of indecomposable representations is still an open problem when the ramification of the cover of curves $C \longrightarrow C/G$ is wild. In this paper, we compute this decomposition for $C$ the Drinfeld curve ${XY^q-X^qY-Z^{q+1}=0}$, $\mathbb{F}=\bar{\mathbb{F}}_q$, and ${G=SL_2\big(\mathbb{F}_q\big)}$ where $q$ is a prime power. △ Less

Submitted 15 August, 2024; v1 submitted 11 August, 2021; originally announced August 2021.

Comments: 9 pages, to appear in Mathematische Nachrichten

MSC Class: 14H37; 14H30; 14F10; 13N05; 20C20

Superconsistency of Tests in High Dimensions

Authors: Anders Bredahl Kock, David Preinerstorfer

Abstract: To assess whether there is some signal in a big database, aggregate tests for the global null hypothesis of no effect are routinely applied in practice before more specialized analysis is carried out. Although a plethora of aggregate tests is available, each test has its strengths but also its blind spots. In a Gaussian sequence model, we study whether it is possible to obtain a test with substant… ▽ More To assess whether there is some signal in a big database, aggregate tests for the global null hypothesis of no effect are routinely applied in practice before more specialized analysis is carried out. Although a plethora of aggregate tests is available, each test has its strengths but also its blind spots. In a Gaussian sequence model, we study whether it is possible to obtain a test with substantially better consistency properties than the likelihood ratio (i.e., Euclidean norm based) test. We establish an impossibility result, showing that in the high-dimensional framework we consider, the set of alternatives for which a test may improve upon the likelihood ratio test -- that is, its superconsistency points -- is always asymptotically negligible in a relative volume sense. △ Less

Submitted 25 January, 2022; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: Typos fixed compared to previous version

Journal ref: Econom. Theory 40 (2024) 688-704

Consistency of $p$-norm based tests in high dimensions: characterization, monotonicity, domination

Authors: Anders Bredahl Kock, David Preinerstorfer

Abstract: Many commonly used test statistics are based on a norm measuring the evidence against the null hypothesis. To understand how the choice of a norm affects power properties of tests in high dimensions, we study the consistency sets of $p$-norm based tests in the prototypical framework of sequence models with unrestricted parameter spaces, the null hypothesis being that all observations have zero mea… ▽ More Many commonly used test statistics are based on a norm measuring the evidence against the null hypothesis. To understand how the choice of a norm affects power properties of tests in high dimensions, we study the consistency sets of $p$-norm based tests in the prototypical framework of sequence models with unrestricted parameter spaces, the null hypothesis being that all observations have zero mean. The consistency set of a test is here defined as the set of all arrays of alternatives the test is consistent against as the dimension of the parameter space diverges. We characterize the consistency sets of $p$-norm based tests and find, in particular, that the consistency against an array of alternatives cannot be determined solely in terms of the $p$-norm of the alternative. Our characterization also reveals an unexpected monotonicity result: namely that the consistency set is strictly increasing in $p \in (0, \infty)$, such that tests based on higher $p$ strictly dominate those based on lower $p$ in terms of consistency. This monotonicity allows us to construct novel tests that dominate, with respect to their consistency behavior, all $p$-norm based tests without sacrificing size. △ Less

Submitted 31 January, 2022; v1 submitted 20 March, 2021; originally announced March 2021.

Treatment recommendation with distributional targets

Authors: Anders Bredahl Kock, David Preinerstorfer, Bezirgen Veliyev

Abstract: We study the problem of a decision maker who must provide the best possible treatment recommendation based on an experiment. The desirability of the outcome distribution resulting from the policy recommendation is measured through a functional capturing the distributional characteristic that the decision maker is interested in optimizing. This could be, e.g., its inherent inequality, welfare, leve… ▽ More We study the problem of a decision maker who must provide the best possible treatment recommendation based on an experiment. The desirability of the outcome distribution resulting from the policy recommendation is measured through a functional capturing the distributional characteristic that the decision maker is interested in optimizing. This could be, e.g., its inherent inequality, welfare, level of poverty or its distance to a desired outcome distribution. If the functional of interest is not quasi-convex or if there are constraints, the optimal recommendation may be a mixture of treatments. This vastly expands the set of recommendations that must be considered. We characterize the difficulty of the problem by obtaining maximal expected regret lower bounds. Furthermore, we propose two (near) regret-optimal policies. The first policy is static and thus applicable irrespectively of subjects arriving sequentially or not in the course of the experimentation phase. The second policy can utilize that subjects arrive sequentially by successively eliminating inferior treatments and thus spends the sampling effort where it is most needed. △ Less

Submitted 5 April, 2022; v1 submitted 19 May, 2020; originally announced May 2020.

Comments: Treatment allocation, best treatment identification, statistical decision theory, pure exploration, nonparametric multi-armed bandits

Functional Sequential Treatment Allocation with Covariates

Authors: Anders Bredahl Kock, David Preinerstorfer, Bezirgen Veliyev

Abstract: We consider a multi-armed bandit problem with covariates. Given a realization of the covariate vector, instead of targeting the treatment with highest conditional expectation, the decision maker targets the treatment which maximizes a general functional of the conditional potential outcome distribution, e.g., a conditional quantile, trimmed mean, or a socio-economic functional such as an inequalit… ▽ More We consider a multi-armed bandit problem with covariates. Given a realization of the covariate vector, instead of targeting the treatment with highest conditional expectation, the decision maker targets the treatment which maximizes a general functional of the conditional potential outcome distribution, e.g., a conditional quantile, trimmed mean, or a socio-economic functional such as an inequality, welfare or poverty measure. We develop expected regret lower bounds for this problem, and construct a near minimax optimal assignment policy. △ Less

Submitted 29 January, 2020; originally announced January 2020.

Comments: The material in this paper replaces the material on covariates in [v5] of "Functional Sequential Treatment Allocation"

Journal ref: Econom. Theory 40 (2024) 1211-1252

Two Formulae for Exterior power operations on higher $K$-groups

Authors: Tom Harris, Bernhard Köck

Abstract: Exterior power operations on the higher $K$-groups of a quasi-compact scheme have recently been constructed by Taelman and the authors by purely algebraic means. In this paper, we prove two formulae that help to compute these operations. The first is a formula for exterior powers of external products. The second is a formula for exterior powers of $n$-cubes, i.e., of acyclic binary multi-complexes… ▽ More Exterior power operations on the higher $K$-groups of a quasi-compact scheme have recently been constructed by Taelman and the authors by purely algebraic means. In this paper, we prove two formulae that help to compute these operations. The first is a formula for exterior powers of external products. The second is a formula for exterior powers of $n$-cubes, i.e., of acyclic binary multi-complexes supported on $[0,1]^n$. These formulae provide evidence for the expectation that our exterior power operations agree with those defined by Hiller. △ Less

Submitted 4 February, 2019; v1 submitted 14 January, 2019; originally announced January 2019.

Comments: 13 pages; v2: paragraph about operations on Milnor K-theory added

MSC Class: 13D15; 15A75; 19D99; 19E08

$K_1$-groups via binary complexes of fixed length

Authors: Daniel Kasprowski, Bernhard Köck, Christoph Winges

Abstract: We modify Grayson's model of $K_1$ of an exact category to give a presentation whose generators are binary acyclic complexes of length at most $k$ for any given $k \ge 2$. As a corollary, we obtain another, very short proof of the identification of Nenashev's and Grayson's presentations. We modify Grayson's model of $K_1$ of an exact category to give a presentation whose generators are binary acyclic complexes of length at most $k$ for any given $k \ge 2$. As a corollary, we obtain another, very short proof of the identification of Nenashev's and Grayson's presentations. △ Less

Submitted 15 July, 2019; v1 submitted 27 November, 2018; originally announced November 2018.

Comments: 10 pages, minor changes following a referee report, to appear in HHA

MSC Class: Primary 19D06; Secondary 18E10; 19B99

Journal ref: Homology Homotopy Appl. 22 (2020), no. 1, 203-213

High Dimensional Linear GMM

Authors: Mehmet Caner, Anders Bredahl Kock

Abstract: This paper proposes a desparsified GMM estimator for estimating high-dimensional regression models allowing for, but not requiring, many more endogenous regressors than observations. We provide finite sample upper bounds on the estimation error of our estimator and show how asymptotically uniformly valid inference can be conducted in the presence of conditionally heteroskedastic error terms. We do… ▽ More This paper proposes a desparsified GMM estimator for estimating high-dimensional regression models allowing for, but not requiring, many more endogenous regressors than observations. We provide finite sample upper bounds on the estimation error of our estimator and show how asymptotically uniformly valid inference can be conducted in the presence of conditionally heteroskedastic error terms. We do not require the projection of the endogenous variables onto the linear span of the instruments to be sparse; that is we do not impose the instruments to be sparse for our inferential procedure to be asymptotically valid. Furthermore, the variables of the model are not required to be sub-gaussian and we also explain how our results carry over to the classic linear dynamic panel data model. Simulations show that our estimator has a low mean square error and does well in terms of size and power of the tests constructed based on the estimator. △ Less

Submitted 10 September, 2019; v1 submitted 21 November, 2018; originally announced November 2018.

Power in High-Dimensional Testing Problems

Authors: Anders Bredahl Kock, David Preinerstorfer

Abstract: Fan et al. (2015) recently introduced a remarkable method for increasing asymptotic power of tests in high-dimensional testing problems. If applicable to a given test, their power enhancement principle leads to an improved test that has the same asymptotic size, uniformly non-inferior asymptotic power, and is consistent against a strictly broader range of alternatives than the initially given test… ▽ More Fan et al. (2015) recently introduced a remarkable method for increasing asymptotic power of tests in high-dimensional testing problems. If applicable to a given test, their power enhancement principle leads to an improved test that has the same asymptotic size, uniformly non-inferior asymptotic power, and is consistent against a strictly broader range of alternatives than the initially given test. We study under which conditions this method can be applied and show the following: In asymptotic regimes where the dimensionality of the parameter space is fixed as sample size increases, there often exist tests that can not be further improved with the power enhancement principle. However, when the dimensionality of the parameter space increases sufficiently slowly with sample size and a marginal local asymptotic normality (LAN) condition is satisfied, every test with asymptotic size smaller than one can be improved with the power enhancement principle. While the marginal LAN condition alone does not allow one to extend the latter statement to all rates at which the dimensionality increases with sample size, we give sufficient conditions under which this is the case. △ Less

Submitted 28 January, 2019; v1 submitted 13 September, 2017; originally announced September 2017.

Comments: 27 pages

MSC Class: 62F03; 62F05

On the de-Rham cohomology of hyperelliptic curves

Authors: Bernhard Köck, Joseph Tait

Abstract: For any hyperelliptic curve X, we give an explicit basis of the first de-Rham cohomology of X in terms of Čech cohomology. We use this to produce a family of curves in characteristic p>2 for which the Hodge-de-Rham short exact sequence does not split equivariantly; this generalises a result of Hortsch. Further, we use our basis to show that the hyperelliptic involution acts on the first de-Rham co… ▽ More For any hyperelliptic curve X, we give an explicit basis of the first de-Rham cohomology of X in terms of Čech cohomology. We use this to produce a family of curves in characteristic p>2 for which the Hodge-de-Rham short exact sequence does not split equivariantly; this generalises a result of Hortsch. Further, we use our basis to show that the hyperelliptic involution acts on the first de-Rham cohomology by multiplication by -1, i.e., acts as the identity when p=2. △ Less

Submitted 16 March, 2018; v1 submitted 11 September, 2017; originally announced September 2017.

Comments: 23 pages; v2: references added; v3: comments of referees addressed, to appear in Res. Number Theory

MSC Class: 14F40; 14G17; 14H37

Exterior power operations on higher $K$-groups via binary complexes

Authors: Tom Harris, Bernhard Köck, Lenny Taelman

Abstract: We use Grayson's binary multicomplex presentation of algebraic $K$-theory to give a new construction of exterior power operations on the higher $K$-groups of a (quasi-compact) scheme. We show that these operations satisfy the axioms of a $λ$-ring, including the product and composition laws. To prove the composition law we show that the Grothendieck group of the exact category of integral polynomia… ▽ More We use Grayson's binary multicomplex presentation of algebraic $K$-theory to give a new construction of exterior power operations on the higher $K$-groups of a (quasi-compact) scheme. We show that these operations satisfy the axioms of a $λ$-ring, including the product and composition laws. To prove the composition law we show that the Grothendieck group of the exact category of integral polynomial functors is the universal $λ$-ring on one generator. △ Less

Submitted 18 October, 2016; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: 35 pages; v2: reference to a correspondence between Deligne and Grothendieck added; v3: referee's comments incorporated, to appear in Annals of K-Theory

MSC Class: 13D15; 14F99; 19D99; 19E08; 20G05

Journal ref: Ann. K-Th. 2 (2017) 409-450

Inference in partially identified models with many moment inequalities using Lasso

Authors: Federico A. Bugni, Mehmet Caner, Anders Bredahl Kock, Soumendra Lahiri

Abstract: This paper considers inference in a partially identified moment (in)equality model with many moment inequalities. We propose a novel two-step inference procedure that combines the methods proposed by Chernozhukov, Chetverikov and Kato (2018a) (CCK18, hereafter) with a first step moment inequality selection based on the Lasso. Our method controls asymptotic size uniformly, both in underlying parame… ▽ More This paper considers inference in a partially identified moment (in)equality model with many moment inequalities. We propose a novel two-step inference procedure that combines the methods proposed by Chernozhukov, Chetverikov and Kato (2018a) (CCK18, hereafter) with a first step moment inequality selection based on the Lasso. Our method controls asymptotic size uniformly, both in underlying parameter and data distribution. Also, the power of our method compares favorably with that of the corresponding two-step method in CCK18 for large parts of the parameter space, both in theory and in simulations. Finally, we show that our Lasso-based first step can be implemented by thresholding standardized sample averages, and so it is straightforward to implement. △ Less

Submitted 29 June, 2019; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: 1 figure

Uniform Inference in High-dimensional Dynamic Panel Data Models

Authors: Anders Bredahl Kock, Haihan Tang

Abstract: We establish oracle inequalities for a version of the Lasso in high-dimensional fixed effects dynamic panel data models. The inequalities are valid for the coefficients of the dynamic and exogenous regressors. Separate oracle inequalities are derived for the fixed effects. Next, we show how one can conduct uniformly valid simultaneous inference on the parameters of the model and construct a unifor… ▽ More We establish oracle inequalities for a version of the Lasso in high-dimensional fixed effects dynamic panel data models. The inequalities are valid for the coefficients of the dynamic and exogenous regressors. Separate oracle inequalities are derived for the fixed effects. Next, we show how one can conduct uniformly valid simultaneous inference on the parameters of the model and construct a uniformly valid estimator of the asymptotic covariance matrix which is robust to conditional heteroskedasticity in the error terms. Allowing for conditional heteroskedasticity is important in dynamic models as the conditional error variance may be non-constant over time and depend on the covariates. Furthermore, our procedure allows for inference on high-dimensional subsets of the parameter vector of an increasing cardinality. We show that the confidence bands resulting from our procedure are asymptotically honest and contract at the optimal rate. This rate is different for the fixed effects than for the remaining parts of the parameter vector. △ Less

Submitted 4 January, 2016; v1 submitted 2 January, 2015; originally announced January 2015.

Comments: 54 pages

Galois-module theory for wildly ramified covers of curves over finite fields

Authors: Helena Fischbacher-Weitz, Bernhard Köck, Adriano Marmora

Abstract: Given a Galois cover of curves over $\mathbb{F}_p$, we relate the $p$-adic valuation of epsilon constants appearing in functional equations of Artin L-functions to an equivariant Euler characteristic. Our main theorem generalises a result of Chinburg from the tamely to the weakly ramified case. We furthermore apply Chinburg's result to obtain a `weak' relation in the general case. In the Appendix,… ▽ More Given a Galois cover of curves over $\mathbb{F}_p$, we relate the $p$-adic valuation of epsilon constants appearing in functional equations of Artin L-functions to an equivariant Euler characteristic. Our main theorem generalises a result of Chinburg from the tamely to the weakly ramified case. We furthermore apply Chinburg's result to obtain a `weak' relation in the general case. In the Appendix, we study, in this arbitrarily wildly ramified case, the integrality of $p$-adic valuations of epsilon constants. △ Less

Submitted 21 February, 2019; v1 submitted 10 December, 2014; originally announced December 2014.

Comments: v2: Appendix by Bernhard Köck and Adriano Marmmora added, mistake in earlier generalised version of Lemma 2.6 removed, further mainly editorial changes; v3: this final, somewhat shortened version is to appear in Documenta Mathematica, 33p

MSC Class: 11R58 (Primary) 14G10; 14G15; 11R33; 14H30 (Secondary)

Asymptotically Honest Confidence Regions for High Dimensional Parameters by the Desparsified Conservative Lasso

Authors: Mehmet Caner, Anders Bredahl Kock

Abstract: In this paper we consider the conservative Lasso which we argue penalizes more correctly than the Lasso and show how it may be desparsified in the sense of van de Geer et al. (2014) in order to construct asymptotically honest (uniform) confidence bands. In particular, we develop an oracle inequality for the conservative Lasso only assuming the existence of a certain number of moments. This is done… ▽ More In this paper we consider the conservative Lasso which we argue penalizes more correctly than the Lasso and show how it may be desparsified in the sense of van de Geer et al. (2014) in order to construct asymptotically honest (uniform) confidence bands. In particular, we develop an oracle inequality for the conservative Lasso only assuming the existence of a certain number of moments. This is done by means of the Marcinkiewicz-Zygmund inequality. We allow for heteroskedastic non-subgaussian error terms and covariates. Next, we desparsify the conservative Lasso estimator and derive the asymptotic distribution of tests involving an increasing number of parameters. Our simulations reveal that the desparsified conservative Lasso estimates the parameters more precisely than the desparsified Lasso, has better size properties and produces confidence bands with superior coverage rates. △ Less

Submitted 12 November, 2017; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: 54 pages

Bayesian variable selection with spherically symmetric priors

Authors: M. B. De Kock, H. C. Eggers

Abstract: We propose that Bayesian variable selection for linear parametrisations with Gaussian iid likelihoods be based on the spherical symmetry of the diagonalised parameter space. Our r-prior results in closed forms for the evidence for four examples, including the hyper-g prior and the Zellner-Siow prior, which are shown to be special cases. Scenarios of a single variable dispersion parameter and of fi… ▽ More We propose that Bayesian variable selection for linear parametrisations with Gaussian iid likelihoods be based on the spherical symmetry of the diagonalised parameter space. Our r-prior results in closed forms for the evidence for four examples, including the hyper-g prior and the Zellner-Siow prior, which are shown to be special cases. Scenarios of a single variable dispersion parameter and of fixed dispersion are studied, and asymptotic forms comparable to the traditional information criteria are derived. A simulation exercise shows that model comparison based on our r-prior gives good results comparable to or better than current model comparison schemes. △ Less

Submitted 10 December, 2015; v1 submitted 3 October, 2014; originally announced October 2014.

Comments: 14 pages, 4 figures

Faithfulness of actions on Riemann-Roch spaces

Authors: Bernhard Köck, Joseph Tait

Abstract: Given a faithful action of a finite group G on an algebraic curve X of genus g_X > 1, we give explicit criteria for the induced action of G on the Riemann-Roch space H^0(X,O_X(D)) to be faithful, where D is a G-invariant divisor on X of degree at least 2g_X-2. This leads to a concise answer to the question when the action of G on the space H^0(X, Ω_X^m) of global holomorphic polydifferentials of o… ▽ More Given a faithful action of a finite group G on an algebraic curve X of genus g_X > 1, we give explicit criteria for the induced action of G on the Riemann-Roch space H^0(X,O_X(D)) to be faithful, where D is a G-invariant divisor on X of degree at least 2g_X-2. This leads to a concise answer to the question when the action of G on the space H^0(X, Ω_X^m) of global holomorphic polydifferentials of order m is faithful. If X is hyperelliptic, we furthermore provide an explicit basis of H^0(X, Ω_X^m). Finally, we give applications in deformation theory and in coding theory and we discuss the analogous problem for the action of G on the first homology H_1(X, Z/mZ) if X is a Riemann surface. △ Less

Submitted 11 April, 2014; originally announced April 2014.

Comments: 27 pages, 1 figure, to appear in Canadian Journal of Mathematics

MSC Class: 14H30 (Primary) 30F30; 14L30; 14D15; 11R32 (Secondary)

Journal ref: Can. J. Math.-J. Can. Math. 67 (2015) 848-869

Oracle Inequalities for Convex Loss Functions with Non-Linear Targets

Authors: Mehmet Caner, Anders Bredahl Kock

Abstract: This paper consider penalized empirical loss minimization of convex loss functions with unknown non-linear target functions. Using the elastic net penalty we establish a finite sample oracle inequality which bounds the loss of our estimator from above with high probability. If the unknown target is linear this inequality also provides an upper bound of the estimation error of the estimated paramet… ▽ More This paper consider penalized empirical loss minimization of convex loss functions with unknown non-linear target functions. Using the elastic net penalty we establish a finite sample oracle inequality which bounds the loss of our estimator from above with high probability. If the unknown target is linear this inequality also provides an upper bound of the estimation error of the estimated parameter vector. These are new results and they generalize the econometrics and statistics literature. Next, we use the non-asymptotic results to show that the excess loss of our estimator is asymptotically of the same order as that of the oracle. If the target is linear we give sufficient conditions for consistency of the estimated parameter vector. Next, we briefly discuss how a thresholded version of our estimator can be used to perform consistent variable selection. We give two examples of loss functions covered by our framework and show how penalized nonparametric series estimation is contained as a special case and provide a finite sample upper bound on the mean square error of the elastic net series estimator. △ Less

Submitted 12 December, 2013; originally announced December 2013.

Comments: 44 pages

Oracle Inequalities for High Dimensional Vector Autoregressions

Authors: Anders Bredahl Kock, Laurent A. F. Callot

Abstract: This paper establishes non-asymptotic oracle inequalities for the prediction error and estimation accuracy of the LASSO in stationary vector autoregressive models. These inequalities are used to establish consistency of the LASSO even when the number of parameters is of a much larger order of magnitude than the sample size. We also give conditions under which no relevant variables are excluded.… ▽ More This paper establishes non-asymptotic oracle inequalities for the prediction error and estimation accuracy of the LASSO in stationary vector autoregressive models. These inequalities are used to establish consistency of the LASSO even when the number of parameters is of a much larger order of magnitude than the sample size. We also give conditions under which no relevant variables are excluded. Next, non-asymptotic probabilities are given for the Adaptive LASSO to select the correct sparsity pattern. We then give conditions under which the Adaptive LASSO reveals the correct sparsity pattern asymptotically. We establish that the estimates of the non-zero coefficients are asymptotically equivalent to the oracle assisted least squares estimator. This is used to show that the rate of convergence of the estimates of the non-zero coefficients is identical to the one of least squares only including the relevant covariates. △ Less

Submitted 15 May, 2014; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: 39 pages. This is a revised version of an article not previously circulated on arXiv

Oracle Inequalities for High-Dimensional Panel Data Models

Authors: Anders Bredahl Kock

Abstract: This paper is concerned with high-dimensional panel data models where the number of regressors can be much larger than the sample size. Under the assumption that the true parameter vector is sparse we propose a panel-Lasso estimator and establish finite sample upper bounds on its estimation error under two different sets of conditions on the covariates as well as the error terms. In particular, we… ▽ More This paper is concerned with high-dimensional panel data models where the number of regressors can be much larger than the sample size. Under the assumption that the true parameter vector is sparse we propose a panel-Lasso estimator and establish finite sample upper bounds on its estimation error under two different sets of conditions on the covariates as well as the error terms. In particular, we allow for heteroscedastic and non-gaussian error terms which are weakly dependent over time. Upper bounds on the estimation error of the unobserved heterogeneity are also provided under the assumption of sparsity. Next, we show that our upper bounds are essentially optimal in the sense that they can only be improved by multiplicative constants. These results are then used to show that the Lasso can be consistent in even very large models where the number of regressors increases at an exponential rate in the sample size. Conditions under which the Lasso does not discard any relevant variables asymptotically are also provided. In the second part of the paper we give lower bounds on the probability with which the adaptive Lasso selects the correct sparsity pattern in finite samples. These results are then used to give conditions under which the adaptive Lasso can detect the correct sparsity pattern asymptotically. We illustrate our finite sample results by simulations and apply the methods to search for covariates explaining growth in the G8 countries. △ Less

Submitted 13 February, 2014; v1 submitted 30 October, 2013; originally announced October 2013.

Comments: 43 pages

MSC Class: 62F10; 62H12

Quadratic differentials and equivariant deformation theory of curves

Authors: Bernhard Köck, Aristides Kontogeorgis

Abstract: Given a finite p-group G acting on a smooth projective curve X over an algebraically closed field k of characteristic p, the dimension of the tangent space of the associated equivariant deformation functor is equal to the dimension of the space of coinvariants of G acting on the space V of global holomorphic quadratic differentials on X. We apply known results about the Galois module structure of… ▽ More Given a finite p-group G acting on a smooth projective curve X over an algebraically closed field k of characteristic p, the dimension of the tangent space of the associated equivariant deformation functor is equal to the dimension of the space of coinvariants of G acting on the space V of global holomorphic quadratic differentials on X. We apply known results about the Galois module structure of Riemann-Roch spaces to compute this dimension when G is cyclic or when the action of G on X is weakly ramified. Moreover we determine certain subrepresentations of V, called p-rank representations. △ Less

Submitted 18 April, 2011; originally announced April 2011.

Comments: 30 pages, to appear in Ann. Inst. Fourier (Grenoble)

MSC Class: 14H30; 14D15; 14F10; 11R32

An algorithmic approach to Dold-Puppe complexes

Authors: Ramesh Satkurunath, Bernhard Köck

Abstract: A Dold-Puppe complex is the image NFΓ(C.) of a chain complex C. under the composition of the functors Γ, F and N where Γand N are given by the Dold-Kan correspondence and F is a not-necessarily linear functor between two abelian categories. The first half of this paper gives an algorithm that streamlines the calculation of Γ(C.). The second half gives an algorithm that allows the explicit calcul… ▽ More A Dold-Puppe complex is the image NFΓ(C.) of a chain complex C. under the composition of the functors Γ, F and N where Γand N are given by the Dold-Kan correspondence and F is a not-necessarily linear functor between two abelian categories. The first half of this paper gives an algorithm that streamlines the calculation of Γ(C.). The second half gives an algorithm that allows the explicit calculation of the Dold-Puppe complex NFΓ(C.) in terms of the cross-effect functors of F. △ Less

Submitted 3 November, 2009; originally announced November 2009.

Comments: 21 pages

MSC Class: 13D25; 18G10; 18G30

On the derived functors of the third symmetric-power functor

Authors: Bernhard Köck, Ramesh Satkurunath

Abstract: We compute the derived functors of the third symmetric-power functor and their cross-effects for certain values. These calculations match predictions by the first named author and largely prove them in general. We compute the derived functors of the third symmetric-power functor and their cross-effects for certain values. These calculations match predictions by the first named author and largely prove them in general. △ Less

Submitted 3 November, 2009; originally announced November 2009.

Comments: 22 pages; to appear in Tbilisi Mathematical Journal

MSC Class: 13D25; 18G10; 18G30

Faithful action on the space of global differentials of an algebraic curve

Authors: Bernhard Köck

Abstract: Given a faithful action of a finite group on an algebraic curve of genus at least 2, we prove that the induced action on the space of global holomorphic differentials is faithful as well, except in the following very special case: the given action is not tame, the genus of the quotient curve is 0 and the characteristic of the base field is 2. Given a faithful action of a finite group on an algebraic curve of genus at least 2, we prove that the induced action on the space of global holomorphic differentials is faithful as well, except in the following very special case: the given action is not tame, the genus of the quotient curve is 0 and the characteristic of the base field is 2. △ Less

Submitted 14 April, 2014; v1 submitted 3 November, 2009; originally announced November 2009.

Comments: 7 pages. The content of this short preprint is now part of the larger preprint arXiv:1404.3135

MSC Class: 14H30; 14F10; 11R32

Equivariant Riemann-Roch theorems for curves over perfect fields

Authors: Helena B. Fischbacher-Weitz, Bernhard Köck

Abstract: We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We then prove and shed some further light on a divisibility result that yields a formula with integral coefficients. Moreover, we give variants of the main theorem… ▽ More We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We then prove and shed some further light on a divisibility result that yields a formula with integral coefficients. Moreover, we give variants of the main theorem for equivariant locally free sheaves of higher rank. △ Less

Submitted 11 April, 2008; v1 submitted 9 January, 2007; originally announced January 2007.

Comments: 20 pages

MSC Class: 14H30; 11R32; 20C20

Real Belyi theory

Authors: Bernhard Köck, David Singerman

Abstract: We develop a Belyi type theory that applies to Klein surfaces, i.e. (possibly non-orientable) surfaces with boundary which carry a dianalytic structure. In particular we extend Belyi's famous theorem from Riemann surfaces to Klein surfaces. We develop a Belyi type theory that applies to Klein surfaces, i.e. (possibly non-orientable) surfaces with boundary which carry a dianalytic structure. In particular we extend Belyi's famous theorem from Riemann surfaces to Klein surfaces. △ Less

Submitted 29 September, 2006; originally announced September 2006.

Comments: 10 pages, 5 figures

MSC Class: 30F50; 11G30; 14H30

Galois structure of Zariski cohomology for weakly ramified covers of curves

Authors: Bernhard Köck

Abstract: We compute equivariant Euler characteristics of locally free sheaves on curves, thereby generalizing several results of Kani and Nakajima. For instance, we extend Kani's computation of the Galois module structure of the space of global meromorphic differentials which are logarithmic along the ramification locus from the tamely ramified to the weakly ramified case. We compute equivariant Euler characteristics of locally free sheaves on curves, thereby generalizing several results of Kani and Nakajima. For instance, we extend Kani's computation of the Galois module structure of the space of global meromorphic differentials which are logarithmic along the ramification locus from the tamely ramified to the weakly ramified case. △ Less

Submitted 27 September, 2002; v1 submitted 15 July, 2002; originally announced July 2002.

Comments: 18 pages; v2: 22 pages, further result added, paper restructured and revised

MSC Class: 14H30; 14F10; 11S20

Refined and l-adic Euler characteristics of nearly perfect complexes

Authors: David Burns, Bernhard Köck, Victor Snaith

Abstract: We lift the Euler characteristic of a nearly perfect complex to a relative algebraic K-group by passing to its l-adic Euler characteristics. We lift the Euler characteristic of a nearly perfect complex to a relative algebraic K-group by passing to its l-adic Euler characteristics. △ Less

Submitted 15 July, 2002; originally announced July 2002.

Comments: 24 pages

MSC Class: 19A31; 13D25; 14G15

Belyi's theorem revisited

Authors: Bernhard Köck

Abstract: We give an elementary, self-contained and quick proof of Belyi's theorem. As a by-product of our proof we obtain an explicit bound for the degree of the defining number field of a Belyi surface. We give an elementary, self-contained and quick proof of Belyi's theorem. As a by-product of our proof we obtain an explicit bound for the degree of the defining number field of a Belyi surface. △ Less

Submitted 27 April, 2014; v1 submitted 31 August, 2001; originally announced August 2001.

Comments: 12 pages; v2: minor changes

MSC Class: 14H30; 14H25; 12F10

Computing the equivariant Euler characteristic of Zariski and etale sheaves on curves

Authors: Bernhard Köck

Abstract: We prove an equivariant Grothendieck-Ogg-Shafarevich formula. This formula may be viewed as an étale analogue of well-known formulas for Zariski sheaves generalizing the classical Chevalley-Weil formula. We give a new approach to those formulas (first proved by Ellingsrud/Lønsted, Nakajima, Kani and Ksir) which can also be applied in the étale case. We prove an equivariant Grothendieck-Ogg-Shafarevich formula. This formula may be viewed as an étale analogue of well-known formulas for Zariski sheaves generalizing the classical Chevalley-Weil formula. We give a new approach to those formulas (first proved by Ellingsrud/Lønsted, Nakajima, Kani and Ksir) which can also be applied in the étale case. △ Less

Submitted 8 November, 2004; v1 submitted 23 April, 2001; originally announced April 2001.

Comments: 16 pages; v2: generalizations of a theorem of Ksir added and substantially revised

MSC Class: 14F20; 14L30; 14H30

Symmetric powers of Galois modules on Dedekind schemes

Authors: Bernhard Koeck

Abstract: We prove a certain Riemann-Roch type formula for symmetric powers of Galois modules on Dedekind schemes which, in the number field or function field case, specializes to a formula of Burns and Chinburg for Cassou-Noguès-Taylor operations. We prove a certain Riemann-Roch type formula for symmetric powers of Galois modules on Dedekind schemes which, in the number field or function field case, specializes to a formula of Burns and Chinburg for Cassou-Noguès-Taylor operations. △ Less

Submitted 14 October, 1999; originally announced October 1999.

Comments: 22 pages; Latex

MSC Class: 19A31; 11R33; 14C40; 19B28

Computing the homology of Koszul complexes

Authors: Bernhard Köck

Abstract: Let R be a commutative ring and I an ideal in R which is locally generated by a regular sequence of length d. Then, each projective R/I-module V has an R-projective resolution P. of length d. In this paper, we compute the homology of the n-th Koszul complex associated with the homomorphism P_1 --> P_0 for all n, if d = 1. This computation yields a new proof of the classical Adams-Riemann-Roch fo… ▽ More Let R be a commutative ring and I an ideal in R which is locally generated by a regular sequence of length d. Then, each projective R/I-module V has an R-projective resolution P. of length d. In this paper, we compute the homology of the n-th Koszul complex associated with the homomorphism P_1 --> P_0 for all n, if d = 1. This computation yields a new proof of the classical Adams-Riemann-Roch formula for regular closed immersions which does not use the deformation to the normal cone any longer. Furthermore, if d = 2, we compute the homology of the complex N Sym^2 K(P.) where K and N denote the functors occurring in the Dold-Kan correspondence. △ Less

Submitted 14 October, 1999; v1 submitted 29 September, 1998; originally announced September 1998.

Comments: 35 pages

Riemann-Roch for tensor powers

Authors: Bernhard Köck

Abstract: Mapping a locally free module to its l-th tensor power gives rise to a natural map from the Grothendieck group of all locally free modules to the Grothendieck group of all locally free representations of the l-th symmetric group. In this paper, we prove some formulas of Riemann-Roch type for the behaviour of this tensor power operation with respect to the push-forward homomorphism associated wit… ▽ More Mapping a locally free module to its l-th tensor power gives rise to a natural map from the Grothendieck group of all locally free modules to the Grothendieck group of all locally free representations of the l-th symmetric group. In this paper, we prove some formulas of Riemann-Roch type for the behaviour of this tensor power operation with respect to the push-forward homomorphism associated with a projective morphism between schemes. We furthermore establish analogous formulas for higher K-groups. △ Less

Submitted 2 February, 1998; originally announced February 1998.

Comments: 42 pages, LaTex2e

Operations on locally free classgroups

Authors: Bernhard Koeck

Abstract: Let G be a finite group and K a number field. We show that the "k-th Adams operation" defined by Cassou-Nogues and Taylor on the locally free class group Cl(Z_K G) is a symmetric power operation, if k is coprime to the order of G. Using the equivariant Adams-Riemann-Roch theorem, we furthermore give a geometric interpretation of a formula established by Burns and Chinburg for these operations. Let G be a finite group and K a number field. We show that the "k-th Adams operation" defined by Cassou-Nogues and Taylor on the locally free class group Cl(Z_K G) is a symmetric power operation, if k is coprime to the order of G. Using the equivariant Adams-Riemann-Roch theorem, we furthermore give a geometric interpretation of a formula established by Burns and Chinburg for these operations. △ Less

Submitted 15 May, 1997; originally announced May 1997.

Report number: ANT-0064