Showing 1–13 of 13 results for author: Golubev, K

On Sarnak's Density Conjecture and its Applications

Authors: Konstantin Golubev, Amitay Kamber

Abstract: Sarnak's Density Conjecture is an explicit bound on the multiplicities of non-tempered representations in a sequence of cocompact congruence arithmetic lattices in a semisimple Lie group, which is motivated by the work of Sarnak and Xue. The goal of this work is to discuss similar hypotheses, their interrelation and applications. We mainly focus on two properties - the spectral Spherical Density H… ▽ More Sarnak's Density Conjecture is an explicit bound on the multiplicities of non-tempered representations in a sequence of cocompact congruence arithmetic lattices in a semisimple Lie group, which is motivated by the work of Sarnak and Xue. The goal of this work is to discuss similar hypotheses, their interrelation and applications. We mainly focus on two properties - the spectral Spherical Density Hypothesis and the geometric Weak Injective Radius Property. Our results are strongest in the p-adic case, where we show that the two properties are equivalent, and both imply Sarnak's General Density Hypothesis. One possible application is that either the Spherical Density Hypothesis or the Weak Injective Radius Property imply Sarnak's Optimal Lifting Property. Conjecturally, all those properties should hold in great generality. We hope that this work will motivate their proofs in new cases. △ Less

Submitted 24 January, 2022; v1 submitted 1 April, 2020; originally announced April 2020.

Comments: 60 pages, one figure. v2 - Fixed many inaccuracies and misprints

MSC Class: 11F99; 22E50

High dimensional Hoffman bound and applications in extremal combinatorics

Authors: Yuval Filmus, Konstantin Golubev, Noam Lifshitz

Abstract: One powerful method for upper-bounding the largest independent set in a graph is the Hoffman bound, which gives an upper bound on the largest independent set of a graph in terms of its eigenvalues. It is easily seen that the Hoffman bound is sharp on the tensor power of a graph whenever it is sharp for the original graph. In this paper, we introduce the related problem of upper-bounding independ… ▽ More One powerful method for upper-bounding the largest independent set in a graph is the Hoffman bound, which gives an upper bound on the largest independent set of a graph in terms of its eigenvalues. It is easily seen that the Hoffman bound is sharp on the tensor power of a graph whenever it is sharp for the original graph. In this paper, we introduce the related problem of upper-bounding independent sets in tensor powers of hypergraphs. We show that many of the prominent open problems in extremal combinatorics, such as the Turán problem for (hyper-)graphs, can be encoded as special cases of this problem. We also give a new generalization of the Hoffman bound for hypergraphs which is sharp for the tensor power of a hypergraph whenever it is sharp for the original hypergraph. As an application of our Hoffman bound, we make progress on the problem of Frankl on families of sets without extended triangles from 1990. We show that if $\frac{1}{2}n\le2k\le\frac{2}{3}n,$ then the extremal family is the star, i.e. the family of all sets that contains a given element. This covers the entire range in which the star is extremal. As another application, we provide spectral proofs for Mantel's theorem on triangle-free graphs and for Frankl-Tokushige theorem on $k$-wise intersecting families. △ Less

Submitted 6 November, 2019; originally announced November 2019.

MSC Class: 05C15; 05C65; 05D05

Graphical Designs and Extremal Combinatorics

Authors: Konstantin Golubev

Abstract: A graphical design is a proper subset of vertices of a graph on which many eigenfunctions of the Laplacian operator have mean value zero. In this paper, we show that extremal independent sets make extremal graphical designs, that is, a design on which the maximum possible number of eigenfunctions have mean value zero. We then provide examples of such graphs and sets, which arise naturally in extre… ▽ More A graphical design is a proper subset of vertices of a graph on which many eigenfunctions of the Laplacian operator have mean value zero. In this paper, we show that extremal independent sets make extremal graphical designs, that is, a design on which the maximum possible number of eigenfunctions have mean value zero. We then provide examples of such graphs and sets, which arise naturally in extremal combinatorics. We also show that sets which realize the isoperimetric constant of a graph make extremal graphical designs, and provide examples for them as well. We investigate the behavior of graphical designs under the operation of weak graph product. In addition, we present a family of extremal graphical designs for the hypercube graph. △ Less

Submitted 3 May, 2021; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: Latest Update: error fix in the references

MSC Class: 05B99; 05C50; 05C70; 35P05; 05C35; 05C69

Journal ref: Konstantin Golubev,Graphical designs and extremal combinatorics, Linear Algebra and its Applications, Volume 604, 1 November 2020, Pages 490-506

On the support of a non-autocorrelated function on a hyperbolic surface

Authors: Konstantin Golubev

Abstract: Let $f$ be a non-negative square-integrable function on a finite volume hyperbolic surface $Γ\backslash\mathbb{H}$, and assume that $f$ is non-autocorrelated, that is, perpendicular to its image under the operator of averaging over the circle of a fixed radius $r$. We show that in this case the support of $f$ is small, namely, it satisfies… ▽ More Let $f$ be a non-negative square-integrable function on a finite volume hyperbolic surface $Γ\backslash\mathbb{H}$, and assume that $f$ is non-autocorrelated, that is, perpendicular to its image under the operator of averaging over the circle of a fixed radius $r$. We show that in this case the support of $f$ is small, namely, it satisfies $μ(supp{f}) \leq (r+1)e^{-\frac{r}{2}} μ(Γ\backslash\mathbb{H})$. As a corollary, we prove a lower bound for the measurable chromatic number of the graph, whose vertices are the points of $Γ\backslash\mathbb{H}$, and two points are connected by an edge if there is a geodesic of length $r$ between them. We show that for any finite covolume $Γ$ the measurable chromatic number is at least $e^{\frac{r}{2}}(r+1)^{-1}$. △ Less

Submitted 12 November, 2019; v1 submitted 30 August, 2019; originally announced August 2019.

MSC Class: 05C15; 30F45; 05C63; 30F10; 30F15

Cutoff on Graphs and the Sarnak-Xue Density of Eigenvalues

Authors: Konstantin Golubev, Amitay Kamber

Abstract: It was recently shown by Lubetzky and Peres (2016) and by Sardari (2018) that Ramanujan graphs, i.e., graphs with the optimal spectrum, exhibit cutoff of the simple random walk in an optimal time and have an optimal almost-diameter. We show that this spectral condition can be replaced by a weaker condition, the Sarnak-Xue density property, to deduce similar results. This allows us to prove that so… ▽ More It was recently shown by Lubetzky and Peres (2016) and by Sardari (2018) that Ramanujan graphs, i.e., graphs with the optimal spectrum, exhibit cutoff of the simple random walk in an optimal time and have an optimal almost-diameter. We show that this spectral condition can be replaced by a weaker condition, the Sarnak-Xue density property, to deduce similar results. This allows us to prove that some natural families of Schreier graphs of the $SL_2(\mathbb{F}_t)$-action on the projective line exhibit cutoff, thus proving a special case of a conjecture of Rivin and Sardari. △ Less

Submitted 27 January, 2022; v1 submitted 27 May, 2019; originally announced May 2019.

Comments: 27 pages. v2- many minor corrections

MSC Class: 05C81

Direct Sum Testing: The General Case

Authors: Irit Dinur, Konstantin Golubev

Abstract: A function $f:[n_1]\times\dots\times[n_d]\to\mathbb{F}_2$ is a direct sum if it is of the form $f\left(a_1,\dots,a_d\right) = f_1(a_1)\oplus\dots \oplus f_d (a_d),$ for some $d$ functions $f_i:[n_i]\to\mathbb{F}_2$ for all $i=1,\dots, d$, and where $n_1,\dots,n_d\in\mathbb{N}$. We present a $4$-query test which distinguishes between direct sums and functions that are far from them. The test relies… ▽ More A function $f:[n_1]\times\dots\times[n_d]\to\mathbb{F}_2$ is a direct sum if it is of the form $f\left(a_1,\dots,a_d\right) = f_1(a_1)\oplus\dots \oplus f_d (a_d),$ for some $d$ functions $f_i:[n_i]\to\mathbb{F}_2$ for all $i=1,\dots, d$, and where $n_1,\dots,n_d\in\mathbb{N}$. We present a $4$-query test which distinguishes between direct sums and functions that are far from them. The test relies on the BLR linearity test (Blum, Luby, Rubinfeld, 1993) and on an agreement test which slightly generalizes the direct product test (Dinur, Steurer, 2014). In multiplicative $\pm 1$ notation, our result reads as follows. A $d$-dimensional tensor with $\pm 1$ entries is called a tensor product if it is a tensor product of $d$ vectors with $\pm 1$ entries, or equivalently, if it is of rank $1$. The presented tests can be read as tests for distinguishing between tensor products and tensors that are far from being tensor products. We also present a different test, which queries the function at most $(d+2)$ times, but is easier to analyze. △ Less

Submitted 10 October, 2019; v1 submitted 29 April, 2019; originally announced April 2019.

Journal ref: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2019), 145, 40:1--40:11

Cutoff on Hyperbolic Surfaces

Authors: Konstantin Golubev, Amitay Kamber

Abstract: In this paper we study the common distance between points and the behavior of a constant length step discrete random walk on finite area hyperbolic surfaces. We show that if the second smallest eigenvalue of the Laplacian is at least 1/4, then the distances on the surface are highly concentrated around the minimal possible value, and that the discrete random walk exhibits cutoff. This extends the… ▽ More In this paper we study the common distance between points and the behavior of a constant length step discrete random walk on finite area hyperbolic surfaces. We show that if the second smallest eigenvalue of the Laplacian is at least 1/4, then the distances on the surface are highly concentrated around the minimal possible value, and that the discrete random walk exhibits cutoff. This extends the results of Lubetzky and Peres ([20]) from the setting of Ramanujan graphs to the setting of hyperbolic surfaces. By utilizing density theorems of exceptional eigenvalues from [27], we are able to show that the results apply to congruence subgroups of $SL_{2}\left(\mathbb{Z}\right)$ and other arithmetic lattices, without relying on the well known conjecture of Selberg ([28]). Conceptually, we show the close relation between the cutoff phenomenon and temperedness of representations of algebraic groups over local fields, partly answering a question of Diaconis ([7]), who asked under what general phenomena cutoff exists. △ Less

Submitted 29 December, 2017; originally announced December 2017.

Journal ref: Geom Dedicata (2019)

Lower bounds for the measurable chromatic number of the hyperbolic plane

Authors: Evan DeCorte, Konstantin Golubev

Abstract: Consider the graph $\mathbb{H}(d)$ whose vertex set is the hyperbolic plane, where two points are connected with an edge when their distance is equal to some $d>0$. Asking for the chromatic number of this graph is the hyperbolic analogue to the famous Hadwiger-Nelson problem about colouring the points of the Euclidean plane so that points at distance $1$ receive different colours. As in the Eucl… ▽ More Consider the graph $\mathbb{H}(d)$ whose vertex set is the hyperbolic plane, where two points are connected with an edge when their distance is equal to some $d>0$. Asking for the chromatic number of this graph is the hyperbolic analogue to the famous Hadwiger-Nelson problem about colouring the points of the Euclidean plane so that points at distance $1$ receive different colours. As in the Euclidean case, one can lower bound the chromatic number of $\mathbb{H}(d)$ by $4$ for all $d$. Using spectral methods, we prove that if the colour classes are measurable, then at least $6$ colours are are needed to properly colour $\mathbb{H}(d)$ when $d$ is sufficiently large. △ Less

Submitted 3 August, 2017; originally announced August 2017.

Comments: 13 pages, 2 figures

MSC Class: 05C63; 05C15; 51M10

Journal ref: Discrete Comput Geom (2018)

Mixing properties and the chromatic number of Ramanujan complexes

Authors: Shai Evra, Konstantin Golubev, Alexander Lubotzky

Abstract: Ramanujan complexes are high dimensional simplical complexes generalizing Ramanujan graphs. A result of Oh on quantitative property (T) for Lie groups over local fields is used to deduce a Mixing Lemma for such complexes. As an application we prove that non-partite Ramanujan complexes have 'high girth' and high chromatic number, generalizing a well known result about Ramanujan graphs. Ramanujan complexes are high dimensional simplical complexes generalizing Ramanujan graphs. A result of Oh on quantitative property (T) for Lie groups over local fields is used to deduce a Mixing Lemma for such complexes. As an application we prove that non-partite Ramanujan complexes have 'high girth' and high chromatic number, generalizing a well known result about Ramanujan graphs. △ Less

Submitted 30 July, 2014; v1 submitted 29 July, 2014; originally announced July 2014.

Journal ref: International Mathematics Research Notices, Volume 2015, Issue 22, 2015, Pages 11520 -- 11548

Spectrum and combinatorics of two-dimensional Ramanujan complexes

Authors: Konstantin Golubev, Ori Parzanchevski

Abstract: Ramanujan graphs have extremal spectral properties, which imply a remarkable combinatorial behavior. In this paper we compute the high dimensional Hodge-Laplace spectrum of Ramanujan triangle complexes, and show that it implies a combinatorial expansion property, and a pseudo-randomness result. For this purpose we prove a Cheeger-type inequality and a mixing lemma of independent interest. Ramanujan graphs have extremal spectral properties, which imply a remarkable combinatorial behavior. In this paper we compute the high dimensional Hodge-Laplace spectrum of Ramanujan triangle complexes, and show that it implies a combinatorial expansion property, and a pseudo-randomness result. For this purpose we prove a Cheeger-type inequality and a mixing lemma of independent interest. △ Less

Submitted 4 July, 2017; v1 submitted 25 June, 2014; originally announced June 2014.

MSC Class: 05E45; 05C65; 55U10; 35P05

Journal ref: Isr. J. Math. (2019) 230: 583

On the chromatic number of a simplicial complex

Authors: Konstantin Golubev

Abstract: In [Ho] A.J. Hoffman proved a lower bound on the chromatic number of a graph in the terms of the largest and the smallest eigenvalues of its adjacency matrix. In this paper, we prove a higher dimensional version of this result and give a lower bound on the chromatic number of a pure $d$-dimensional simplicial complex in the terms of the spectra of the higher Laplacian operators. In [Ho] A.J. Hoffman proved a lower bound on the chromatic number of a graph in the terms of the largest and the smallest eigenvalues of its adjacency matrix. In this paper, we prove a higher dimensional version of this result and give a lower bound on the chromatic number of a pure $d$-dimensional simplicial complex in the terms of the spectra of the higher Laplacian operators. △ Less

Submitted 17 November, 2015; v1 submitted 20 June, 2013; originally announced June 2013.

MSC Class: 05C15; 05E45; 05A20

Journal ref: Combinatorica (2017) 37: 953

Asymptotic equivalence of spectral density estimation and gaussian white noise

Authors: Georgi K. Golubev, Michael Nussbaum, Harrison H. Zhou

Abstract: We consider the statistical experiment given by a sample of a stationary Gaussian process with an unknown smooth spectral density f. Asymptotic equivalence, in the sense of Le Cam's deficiency Delta-distance, to two Gaussian experiments with simpler structure is established. The first one is given by independent zero mean Gaussians with variance approximately the value of f in points of a unifor… ▽ More We consider the statistical experiment given by a sample of a stationary Gaussian process with an unknown smooth spectral density f. Asymptotic equivalence, in the sense of Le Cam's deficiency Delta-distance, to two Gaussian experiments with simpler structure is established. The first one is given by independent zero mean Gaussians with variance approximately the value of f in points of a uniform grid (nonparametric Gaussian scale regression). This approximation is closely related to well-known asymptotic independence results for the periodogram and corresponding inference methods. The second asymptotic equivalence is to a Gaussian white noise model where the drift function is the log-spectral density. This represents the step from a Gaussian scale model to a location model, and also has a counterpart in established inference methods, i.e. log-periodogram regression. The problem of simple explicit equivalence maps (Markov kernels), allowing to directly carry over inference, appears in this context but is not solved here. △ Less

Submitted 6 March, 2009; originally announced March 2009.

Comments: 39 pages

Penalized maximum likelihood and semiparametric second-order efficiency

Authors: A. S. Dalalyan, G. K. Golubev, A. B. Tsybakov

Abstract: We consider the problem of estimation of a shift parameter of an unknown symmetric function in Gaussian white noise. We introduce a notion of semiparametric second-order efficiency and propose estimators that are semiparametrically efficient and second-order efficient in our model. These estimators are of a penalized maximum likelihood type with an appropriately chosen penalty. We argue that sec… ▽ More We consider the problem of estimation of a shift parameter of an unknown symmetric function in Gaussian white noise. We introduce a notion of semiparametric second-order efficiency and propose estimators that are semiparametrically efficient and second-order efficient in our model. These estimators are of a penalized maximum likelihood type with an appropriately chosen penalty. We argue that second-order efficiency is crucial in semiparametric problems since only the second-order terms in asymptotic expansion for the risk account for the behavior of the ``nonparametric component'' of a semiparametric procedure, and they are not dramatically smaller than the first-order terms. △ Less

Submitted 16 May, 2006; originally announced May 2006.

Comments: Published at http://dx.doi.org/10.1214/009053605000000895 in the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS0107 MSC Class: 62G05; 62G20 (Primary)

Journal ref: Annals of Statistics 2006, Vol. 34, No. 1, 169-201