total 241took 0.19s

Stochastic subgradient method converges at the rate $O(k^{-1/4})$ on weakly convex functionsFeb 08 2018We prove that the projected stochastic subgradient method, applied to a weakly convex problem, drives the gradient of the Moreau envelope to zero at the rate $O(k^{-1/4})$.

Error bounds, quadratic growth, and linear convergence of proximal methodsFeb 22 2016Jun 27 2016The proximal gradient algorithm for minimizing the sum of a smooth and a nonsmooth convex function often converges linearly even without strong convexity. One common reason is that a multiple of the step length at each iteration may linearly bound the ... More

Clarke subgradients for directionally Lipschitzian stratifiable functionsNov 15 2012Using a geometric argument, we show that under a reasonable continuity condition, the Clarke subdifferential of a semi-algebraic (or more generally stratifiable) directionally Lipschitzian function admits a simple form: the normal cone to the domain and ... More

Counting real critical points of the distance to orthogonally invariant matrix setsFeb 06 2015Jun 16 2015Minimizing the Euclidean distance to a set arises frequently in applications. When the set is algebraic, a measure of complexity of this optimization problem is its number of critical points. In this paper we provide a general framework to compute and ... More

Sweeping by a tame processDec 30 2014Aug 24 2015We show that any semi-algebraic sweeping process admits piecewise absolutely continuous solutions, and any such bounded trajectory must have finite length. Analogous results hold more generally for sweeping processes definable in o-minimal structures. ... More

Complexity of a Single Face in an Arrangement of s-Intersecting CurvesAug 22 2011Consider a face F in an arrangement of n Jordan curves in the plane, no two of which intersect more than s times. We prove that the combinatorial complexity of F is O(\lambda_s(n)), O(\lambda_{s+1}(n)), and O(\lambda_{s+2}(n)), when the curves are bi-infinite, ... More

An accelerated algorithm for minimizing convex compositionsApr 30 2016We describe a new proximal algorithm for minimizing compositions of finite-valued convex functions with smooth mappings. When applied to convex optimization problems having an additive composite form, the algorithm reduces to FISTA. The method both realizes ... More

Optimality, identifiability, and sensitivityJul 27 2012Around a solution of an optimization problem, an "identifiable" subset of the feasible region is one containing all nearby solutions after small perturbations to the problem. A quest for only the most essential ingredients of sensitivity analysis leads ... More

Semi-algebraic functions have small subdifferentialsApr 02 2010Oct 29 2011We prove that the subdifferential of any semi-algebraic extended-real-valued function on $\R^n$ has $n$-dimensional graph. We discuss consequences for generic semi-algebraic optimization problems.

Generic nondegeneracy in convex optimizationMay 06 2010We show that minimizers of convex functions subject to almost all linear perturbations are nondegenerate. An analogous result holds more generally, for lower-C^2 functions.

Tilt stability, uniform quadratic growth, and strong metric regularity of the subdifferentialApr 25 2012We prove that uniform second order growth, tilt stability, and strong metric regularity of the limiting subdifferential --- three notions that have appeared in entirely different settings --- are all essentially equivalent for any lower-semicontinuous, ... More

Variable projection without smoothnessJan 19 2016Variable projection is a powerful technique in optimization. Over the last 30 years, it has been applied broadly, with empirical and theoretical results demonstrating both greater efficacy and greater stability than competing approaches. In this paper, ... More

Orthogonal Invariance and IdentifiabilityApr 03 2013Apr 11 2013Orthogonally invariant functions of symmetric matrices often inherit properties from their diagonal restrictions: von Neumann's theorem on matrix norms is an early example. We discuss the example of "identifiability", a common property of nonsmooth functions ... More

Orbits of geometric descentDec 03 2013Dec 05 2013We prove that quasiconvex functions always admit descent trajectories bypassing all non-minimizing critical points.

An optimal first order method based on optimal quadratic averagingApr 22 2016Apr 25 2016In a recent paper, Bubeck, Lee, and Singh introduced a new first order method for minimizing smooth strongly convex functions. Their geometric descent algorithm, largely inspired by the ellipsoid method, enjoys the optimal linear rate of convergence. ... More

The Euclidean Distance Degree of Orthogonally Invariant Matrix VarietiesJan 26 2016We show that the Euclidean distance degree of a real orthogonally invariant matrix variety equals the Euclidean distance degree of its restriction to diagonal matrices. We illustrate how this result can greatly simplify calculations in concrete circumstances. ... More

Nonsmooth optimization using Taylor-like models: error bounds, convergence, and termination criteriaOct 11 2016We consider optimization algorithms that successively minimize simple Taylor-like models of the objective function. Methods of Gauss-Newton type for minimizing the composition of a convex function and a smooth map are common examples. Our main result ... More

The dimension of semialgebraic subdifferential graphsFeb 20 2011Examples exist of extended-real-valued closed functions on ${\bf R}^n$ whose subdifferentials (in the standard, limiting sense) have large graphs. By contrast, if such a function is semi-algebraic, then its subdifferential graph must have everywhere constant ... More

Quadratic Penalization Through the Variable Projection TechniqueJun 08 2016Numerous problems in control require data fitting over auxiliary parameters subject to affine physical constraints over an underlying state. Naive quadratically penalized formulations have some conceptual advantages, but suffer from ill-conditioning, ... More

Noisy Euclidean distance realization: robust facial reduction and the Pareto frontierOct 24 2014Aug 26 2015We present two algorithms for large-scale low-rank Euclidean distance matrix completion problems, based on semidefinite optimization. Our first method works by relating cliques in the graph of the known distances to faces of the positive semidefinite ... More

Variational analysis of spectral functions simplifiedJun 16 2015Jul 22 2015Spectral functions of symmetric matrices -- those depending on matrices only through their eigenvalues -- appear often in optimization. A cornerstone variational analytic tool for studying such functions is a formula relating their subdifferentials to ... More

A necessary flexibility condition of a nondegenerate suspension in Lobachevsky 3-spaceAug 14 2012We show that some combination of the lengths of all edges of the equator of a flexible suspension in Lobachevsky 3-space is equal to zero (each length is taken either positive or negative in this combination).

Hopf-Galois extensions with central invariantsJul 16 1997Sep 22 1997We study Hopf-Galois extensions with central invariants for a finite dimensional Hopf algebra. We collect general facts about them and discuss some examples arising in the study of restricted Lie algebras and quantum groups at roots of unity. Our focus ... More

Cyclic shifts of the van der Corput setNov 12 2008In [13], K. Roth showed that the expected value of the $L^2$ discrepancy of the cyclic shifts of the $N$ point van der Corput set is bounded by a constant multiple of $\sqrt{\log N}$, thus guaranteeing the existence of a shift with asymptotically minimal ... More

The Proof of CSP Dichotomy ConjectureApr 06 2017Dec 18 2017Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. The standard way to ... More

The existence of a near-unanimity function is decidableAug 08 2011We prove that the following problem is decidable: given a finite set of relations, decide whether this set admits a near-unanimity function.

Quadratic growth and critical point stability of semi-algebraic functionsSep 05 2013Dec 20 2014We show that quadratic growth of a semi-algebraic function is equivalent to strong metric subregularity of the subdifferential --- a kind of stability of generalized critical points. In contrast, this equivalence can easily fail outside of the semi-algebraic ... More

The coloring problem for classes with two small obstructionsJul 01 2013The coloring problem is studied in the paper for graph classes defined by two small forbidden induced subgraphs. We prove some sufficient conditions for effective solvability of the problem in such classes. As their corollary we determine the computational ... More

Formal Languages, Formally and CoinductivelyNov 29 2016Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and elegant proofs ... More

Numerically explicit version of the Pólya--Vinogradov inequalityJul 02 2011In this paper we proved a new numerically explicit version of the P\'{o}lya--Vinogradov inequality. Our proof is based on the new ideas of V.A. Bykovskii and improves a recent inequality obtained by C. Pomerance.

On a problem of Dobrowolski--WilliamsJul 02 2011In this paper we prove new upper bounds for the sum $\sum_{n=a+1}^{a+N}f(n)$, for a certain class of arithmetic functions $f$. Our results improve the previous results of G. Bachman and L. Rachakonda.

Lie algebras in symmetric monoidal categoriesMay 16 2012Jun 18 2013We study algebras defined by identities in symmetric monoidal categories. Our focus is on Lie algebras. Besides usual Lie algebras, there are examples appearing in the study of knot invariants and Rozansky-Witten invariants. Our main result is a proof ... More

Algebraic geometry of Hopf-Galois extensionsJul 16 1997Sep 25 1997We continue the study of Hopf-Galois extensions with central invariants for a finite dimensional Hopf algebra. We concentrate on the geometrical side on the subject. We understand how to localize Hopf-Galois extensions and to paste them from local datum. ... More

An infinitesimally nonrigid polyhedron with nonstationary volume in the Lobachevsky 3-spaceFeb 20 2010Jan 02 2011We give an example of an infinitesimally nonrigid polyhedron in the Lobachevsky 3-space and construct an infinitesimal flex of that polyhedron such that the volume of the polyhedron isn't stationary under the flex.

Miscroscopic origin of de Sitter entropyJan 09 2018It has been argued recently that the entropy of black holes might be associated with soft scalar, graviton and photon states at the event horizon, as number of such possible soft states is proportional to the horizon area. However, the coefficient of ... More

On factorization of elements in Pimenov algebrasMar 20 2013We consider the operation of division in Pimenov algebras. We obtain necessary and sufficient conditions for prime elements in Pimenov algebras with a number of generators less than five. We adduce examples of the factorization of elements in these algebras. ... More

The Size of Generating Sets of PowersApr 08 2015In the paper we prove for every finite algebra A that either it has the polynomially generated powers (PGP) property, or it has the exponentially generated powers (EGP) property. For idempotent algebras we give a simple criteria for the algebra to satisfy ... More

Key (critical) relations preserved by a weak near-unanimity functionJan 19 2015Nov 26 2016In the paper we introduce a notion of a key relation, which is similar to the notion of a critical relation introduced by Keith A.Kearnes and \'Agnes Szendrei. All clones on finite sets can be defined by only key relations. In addition there is a nice ... More

Compact domains with prescribed convex boundary metrics in quasi-Fuchsian manifoldsMay 07 2014We show the existence of a convex compact domain in a quasi-Fuchsian manifold such that the induced metric on its boundary coincides with a prescribed surface metric of curvature $K\geq-1$ in the sense of A. D. Alexandrov.

The mean value of Frobenius numbers with three argumentsMar 28 2011We prove an asymptotic formula for the mean value of Frobenius numbers with three arguments. To prove this we use a new method invented by A. Ustinov, Rodseth's algorithm an bounds for exponential sums.

Dorronsoro's theorem and a small generalizationJun 21 2015We give a simple proof of Dorronsoro's theorem and use similar ideas to establish an equivalence for embeddings of vector fields.

Level-set methods for convex optimizationFeb 03 2016Convex optimization problems arising in applications often have favorable objective functions and complicated constraints, thereby precluding first-order methods from being immediately applicable. We describe an approach that exchanges the roles of the ... More

Projection methods in quantum information scienceJul 24 2014We consider the problem of constructing quantum operations or channels, if they exist, that transform a given set of quantum states $\{\rho_1, \dots, \rho_k\}$ to another such set $\{\hat\rho_1, \dots, \hat\rho_k\}$. In other words, we must find a {\em ... More

Correlation decay and deterministic FPTAS for counting list-colorings of a graphJun 06 2006Feb 25 2007We propose a deterministic algorithm for approximately counting the number of list colorings of a graph. Under the assumption that the graph is triangle free, the size of every list is at least $\alpha \Delta$, where $\alpha$ is an arbitrary constant ... More

On Boolean Control Networks with Maximal Topological EntropyJul 05 2014Boolean control networks (BCNs) are discrete-time dynamical systems with Boolean state-variables and inputs that are interconnected via Boolean functions. BCNs are recently attracting considerable interest as computational models for genetic and cellular ... More

Galois invariants of K_1-groups of Iwasawa algebrasJun 28 2010We study Galois descent of K_1 of group algebras with coefficients in certain subrings of the ring of integers of C_p, the completion of an algebraic closure of Q_p.

Coordinate shadows of semi-definite and Euclidean distance matricesMay 08 2014Jan 08 2015We consider the projected semi-definite and Euclidean distance cones onto a subset of the matrix entries. These two sets are precisely the input data defining feasible semi-definite and Euclidean distance completion problems. We classify when these sets ... More

The two-dimensional small ball inequality and binary netsNov 23 2015In the current paper we present a new proof of the small ball inequality in two dimensions. More importantly, this new argument, based on an approach inspired by lacunary Fourier series, reveals the first formal connection between this inequality and ... More

Stability of Skorokhod problem is undecidableJul 10 2010Skorokhod problem arises in studying Reflected Brownian Motion (RBM) on an non-negative orthant, specifically in the context of queueing networks in the heavy traffic regime. One of the key problems is identifying conditions for stability of a Skorokhod ... More

Correlation Functions in N=3 Superconformal TheoryJun 17 2010Jan 31 2011Using a superspace representation of the N=3 Neveau-Schwarz super Virasoro algebra, we find solutions of N=3 super Ward identities. Global transformations generated by the non-abelian supercurrent require not only superfields, but also functions of Grassmann ... More

Ergodic Volterra Quadratic Transformations of SymplexMay 17 2012In the paper a Volterra quadratic stochastic operators of three dimensional simplex into itself is considered.The full description of ergodic properties such operators is given.

Relative velocity of dark matter and baryonic fluids and the formation of the first structuresMay 13 2010Oct 18 2010At the time of recombination, baryons and photons decoupled and the sound speed in the baryonic fluid dropped from relativistic to the thermal velocities of the hydrogen atoms. This is less than the relative velocities of baryons and dark matter computed ... More

Multiparametric Passive Linear Stationary Dynamical Scattering Systems: Discrete Case, II: Existence of Conservative DilationsOct 19 1998Mar 28 1999In the present paper we introduce the notion of dilation of a multiparametric linear stationary dynamical system (systems of this type, in particular passive, and conservative scattering ones were first introduced in func-an/9804130). We establish the ... More

On decoherence in quantum gravityAug 21 2015Feb 26 2017It was previously argued that the phenomenon of quantum gravitational decoherence described by the Wheeler-DeWitt equation is responsible for the emergence of the arrow of time. Here we show that the characteristic spatio-temporal scales of quantum gravitational ... More

Switchability and collapsibility of Gap AlgebrasOct 21 2015Let A be an idempotent algebra on a 3-element domain D that omits a G-set for a factor. Suppose A is not \alpha\beta-projective (for some alpha, beta subsets of D) and is not collapsible. It follows that A is switchable. We prove that, for every finite ... More

Cascade Connection of Multiparametric Linear Systems and a Conservative Realization of Decomposable Inner Operator Functions in BidiskFeb 25 2000We introduce the notion of cascade connection of multiparametric discrete time-invariant linear dynamical systems with unit delay. This allows us to construct the explicit example of conservative realization of a decomposable operator-valued function ... More

Dark matter in a Simplest Little Higgs with T-parity modelMar 27 2009Little Higgs models may provide a viable alternative to supersymmetry as an extension of the Standard Model. After the introduction of a discrete $Z_2$ symmetry, dubbed T-parity into Little Higgs models they also contain a promising dark matter candidate. ... More

Global and interior pointwise best approximation results for the gradient of Galerkin solutions for parabolic problemsJun 20 2016In this paper we establish best approximation property of fully discrete Galerkin solutions of the second parabolic problems on convex polygonal and polyhedral domains in the $L^\infty(I;W^{1,\infty}(\Om))$ norm. The discretization method consists of ... More

Discrete maximal parabolic regularity for Galerkin finite element methodsMay 18 2015Feb 05 2016The main goal of the paper is to establish time semidiscrete and space-time fully discrete maximal parabolic regularity for the time discontinuous Galerkin solution of linear parabolic equations. Such estimates have many applications. They are essential, ... More

Sequential cavity method for computing free energy and surface pressureJul 09 2008We propose a new method for the problems of computing free energy and surface pressure for various statistical mechanics models on a lattice $\Z^d$. Our method is based on representing the free energy and surface pressure in terms of certain marginal ... More

Regular bipartite graphs and intersecting familiesNov 09 2016In this paper we present a simple unifying approach to prove several statements about intersecting and cross-intersecting families, including the Erd\H{o}s-Ko-Rado theorem, the Hilton-Milner theorem, a theorem due to Frankl concerning the size of intersecting ... More

Parametric interaction and intensification of nonlinear Kelvin wavesJul 03 2008Observational evidence is presented for nonlinear interaction between mesoscale internal Kelvin waves at the tidal -- $\omega_t$ or the inertial -- $\omega_i$ frequency and oscillations of synoptic -- $\Omega $ frequency of the background coastal current ... More

Equivariant epsilon conjecture for 1-dimensional Lubin-Tate groupsSep 18 2013In this paper we formulate a conjecture on the relationship between the equivariant \epsilon-constants (associated to a local p-adic representation V and a finite extension of local fields L/K) and local Galois cohomology groups of a Galois stable \mathbb{Z}_{p}-lattice ... More

Subregular representations of $\sl_n$ and simple singularities of type $A_{n-1}$Jan 15 2001Alexander Premet has stated the following problem: what is a relation between subregular nilpotent representations of a classical semisimple restricted Lie algebra and non-commutative deformations of the corresponding singularities? We solve this problem ... More

Functions whose Fourier transform vanishes on a surfaceJan 18 2016Jan 24 2016We study the subspaces of $L_p(\mathbb{R}^d)$ that consist of functions whose Fourier transforms vanish on a smooth surface of codimension $1$. We show that a subspace defined in such a manner coincides with the whole $L_p$ space for $p > \frac{2d}{d+1}$. ... More

Bilinear embedding theorems for differential operators in $\mathbb{R}^2$Jun 08 2014We prove bilinear inequalities for differential operators in $\mathbb{R}^2$. Such type inequalities turned out to be useful for anisotropic embedding theorems for overdetermined systems and the limiting order summation exponent. However, here we study ... More

Cascade Connections of Linear Systems and Factorizations of Holomorphic Operator Functions Around a Multiple Zero in Several VariablesFeb 04 2000We show that the factorization problem $\theta (z)=\theta_2(z)\theta_1(z)$ is solvable in the class of Hilbert space operator-valued functions holomorphic on some neighbourhood of $z=0$ in $\nspace{C}{N}$ and having a zero at $z=0$ (here $\theta (z)$ ... More

On the von Neumann Inequality for Linear Matrix Functions of Several VariablesNov 13 1997The theorem on the existence of three commuting contractions on a Hilbert space and of a linear homogeneous matrix function of three independent variables for which the generalized von Neumann inequality fails is proved.

Distribution of the first particle in discrete orthogonal polynomial ensemblesApr 01 2002We show that the distribution function of the first particle in a discrete orthogonal polynomial ensemble can be obtained through a certain recurrence procedure, if the (difference or q-) log-derivative of the weight function is rational. In a number ... More

Pointwise best approximation results for Galerkin finite element solutions of parabolic problemsAug 05 2015Feb 17 2016In this paper we establish a best approximation property of fully discrete Galerkin finite element solutions of second order parabolic problems on convex polygonal and polyhedral domains in the $L^\infty$ norm. The discretization method uses of continuous ... More

BMO and exponential Orlicz space estimates of the discrepancy function in arbitrary dimensionNov 21 2014Jul 09 2015In the current paper we obtain discrepancy estimates in exponential Orlicz and BMO spaces in arbitrary dimension $d \ge 3$. In particular, we use dyadic harmonic analysis to prove that for the so-called digital nets of order $2$ the BMO${}^d$ and $\exp ... More

Multiparametric Dissipative Linear Stationary Dynamical Scattering Systems: Discrete CaseApr 28 1998Mar 24 1999We propose the new generalization of linear stationary dynamical systems with discrete time $t\in\mathbb{Z}$ to the case $t\in\nspace{Z}{N}$. The dynamics of such a system can be reproduced by means of its associated multiparametric Lax-Phillips semigroup. ... More

Quantum OptimizationJun 20 2000We present a quantum algorithm for combinatorial optimization using the cost structure of the search states. Its behavior is illustrated for overconstrained satisfiability and asymmetric traveling salesman problems. Simulations with randomly generated ... More

On deciding stability of multiclass queueing networks under buffer priority scheduling policiesAug 08 2007Nov 19 2009One of the basic properties of a queueing network is stability. Roughly speaking, it is the property that the total number of jobs in the network remains bounded as a function of time. One of the key questions related to the stability issue is how to ... More

On decoherence in non-renormalizable field theories and quantum gravityAug 21 2015It was previously argued that the phenomenon of quantum gravitational decoherence described by the Wheeler-DeWitt equation is responsible for the emergence of the arrow of time. Here we show that the characteristic spatio-temporal scales of quantum gravitational ... More

Viscous compressible homogeneous multi-fluids with multiple velocities: barotropic existence theoryOct 18 2016We consider the model of viscous compressible homogeneous multi-fluids with multiple velocities. We review different formulations of the model and the existence results for boundary value problems. We analyze crucial mathematical difficulties which arise ... More

Twisted Crystalline Differential OperatorsDec 15 1999May 14 2002This paper has been withdrawn by the authors.

Geometric Representation Theory of Restricted Lie Algebras of Classical TypeSep 10 1999We modify the Hochschild $\phi$-map to construct central extensions of a restricted Lie algebra. Such central extension gives rise to a group scheme which leads to a geometric construction of unrestricted representations. For a classical semisimple Lie ... More

2-Groups, 2-Characters, and Burnside RingsApr 11 2016We study 2-representations, i.e. actions of 2-groups on 2-vector spaces. Our main focus is character theory for 2-representations. To this end we employ the technique of extended Burnside rings. Our main theorem is that the Ganter-Kapranov 2-character ... More

On the volume of spherical Lambert cubeDec 21 2002The calculation of volumes of polyhedra in the three-dimensional Euclidean, spherical and hyperbolic spaces is very old and difficult problem. In particular, an elementary formula for volume of non-euclidean simplex is still unknown. One of the simplest ... More

Generic minimizing behavior in semi-algebraic optimizationApr 29 2015We present a theorem of Sard type for semi-algebraic set-valued mappings whose graphs have dimension no larger than that of their range space: the inverse of such a mapping admits a single-valued analytic localization around any pair in the graph, for ... More

Hawking Radiation and Classical TunnelingSep 26 2015Acoustic waves in fluids undergoing the transition from sub- to supersonic flow satisfy governing equations similar to those for light waves in the immediate vicinity of a black hole event horizon. This acoustic analogy has been used by Unruh and others ... More

A note on the reinforcement of the Bourgain-Kontorovich's theoremOct 15 2012Zaremba's conjecture (1971) states that every positive integer number $d$ can be represented as a denominator (continuant) of a finite continued fraction $\frac{b}{d}=[d_1,d_2,...,d_{k}],$ whose partial quotients $d_1,d_2,...,d_{k}$ belong to a finite ... More

Holographic Action for the Self-Dual FieldMay 03 2006We revisit the construction of self-dual field theory in 4l+2 dimensions using Chern-Simons theory in 4l+3 dimensions, building on the work of Witten. Careful quantization of the Chern-Simons theory reveals all the topological subtleties associated with ... More

Conformal blocks for AdS5 singletonsDec 15 2004We give a simple derivation of the conformal blocks of the singleton sector of compactifications of IIB string theory on spacetimes of the form X5 x Y5 with Y5 compact, while X5 has as conformal boundary an arbitrary 4-manifold M4. We retain the second-derivative ... More

A reinforcement of the Bourgain-Kontorovich's theoremJul 21 2012Zaremba's conjecture (1971) states that every positive integer number $d$ can be represented as a denominator (continuant) of a finite continued fraction $\frac{b}{d}=[d_1,d_2,...,d_{k}],$ with all partial quotients $d_1,d_2,...,d_{k}$ being bounded by ... More

Second-order growth, tilt stability, and metric regularity of the subdifferentialApr 27 2013This paper sheds new light on several interrelated topics of second-order variational analysis, both in finite and infinite-dimensional settings. We establish new relationships between second-order growth conditions on functions, the basic properties ... More

One Bit Sensing, Discrepancy, and Stolarsky PrincipleNov 26 2015Jan 12 2016A sign-linear one bit map from the $ d$-dimensional sphere $ \mathbb S ^{d}$ to the $ n$-dimensional Hamming cube $ H^n= \{ -1, +1\} ^{n}$ is given by $$ x \to \{ \mbox{sign} (x \cdot z_j) \;:\; 1\leq j \leq n\} $$ where $ \{z_j\} \subset \mathbb S ^{d}$. ... More

Classification of abelian spin Chern-Simons theoriesMay 25 2005We derive a simple classification of quantum spin Chern-Simons theories with gauge group T=U(1)^N. While the classical Chern-Simons theories are classified by an integral lattice the quantum theories are classified differently. Two quantum theories are ... More

Random Tessellations, Restricted Isometric Embeddings, and One Bit SensingDec 21 2015We obtain mproved bounds for one bit sensing. For instance, let $ K_s$ denote the set of $ s$-sparse unit vectors in the sphere $ \mathbb S ^{n}$ in dimension $ n+1$ with sparsity parameter $ 0 < s < n+1$ and assume that $ 0 < \delta < 1$. We show that ... More

The Supremum Norm of the Discrepancy Function: Recent Results and ConnectionsJul 27 2012Sep 21 2012A great challenge in the analysis of the discrepancy function D_N is to obtain universal lower bounds on the L-infty norm of D_N in dimensions d \geq 3. It follows from the average case bound of Klaus Roth that the L-infty norm of D_N is at least (log ... More

Some Remarks on the Braided Thompson Group BVJul 01 2008Matthew Brin and Patrick Dehornoy independently discovered a braided version BV of Thompson's group V. In this paper, we discuss some properties of BV that might make the group interesting for group based cryptography. In particular, we show that BV does ... More

A Simple Method for Generating Electromagnetic OscillationsAug 23 2013We propose a novel approach to the generation of electromagnetic oscillations by means of a low-frequency pumping of two coupled linear oscillators. A theory of such generation mechanism is proposed, and its feasibility is demonstrated by using coupled ... More

A reinforcement of the Bourgain-Kontorovich's theorem by elementary methods IIMar 16 2013Jun 03 2013Zaremba's conjecture (1971) states that every positive integer number $d$ can be represented as a denominator (continuant) of a finite continued fraction $\frac{b}{d}=[d_1,d_2,...,d_{k}],$ with all partial quotients $d_1,d_2,...,d_{k}$ being bounded by ... More

A reinforcement of the Bourgain-Kontorovich's theorem by elementary methodsJul 19 2012Recently (in 2011) several new theorems concerning this conjecture were proved by Bourgain and Kontorovich. The easiest of them states that the set of numbers satisfying Zaremba's conjecture with A=50 has positive proportion in $\N.$ The proof of this ... More

D-modules and projective stacksJul 17 2015We study twisted D-modules on the weighted projective stacks. We determine for which values of the twist and the weight the global section functor is an equivalence, thus, proving a version of Beilinson-Bernstein Localisation Theorem.

Dimension of gradient measuresFeb 18 2014We prove that if pure derivatives with respect to all coordinates of a function on $\mathbb{R}^n$ are signed measures, then their lower Hausdorff dimension is at least $n-1$. The derivatives with respect to different coordinates may be of different order. ... More

Subgroup Growth in Some Profinite Chevalley GroupsNov 13 2015Oct 25 2016In this article we improve the known uniform bound for subgroup growth of Chevalley groups over $\mathbf{G}(\mathbb{F}_p[[t]])$. We introduce a new parameter, the ridgeline number $v(\mathbf{G})$, and give new bounds for the subgroup growth of $\mathbf{G}(\mathbb{F}_p[[t]])$ ... More

Technical manual: a survey of scintillating medium for high-energy particle detectionJan 01 2016Oct 17 2016There are various particle detection methods used nowadays and the most common is using scintillators. Among scintillating materials, solid plastic and water-based liquid scintillators (WbLS) are the latest development. In particular, WbLS allows researchers ... More

Geometry Helps to Compare Persistence DiagramsJun 10 2016Exploiting geometric structure to improve the asymptotic complexity of discrete assignment problems is a well-studied subject. In contrast, the practical advantages of using geometry for such problems have not been explored. We implement geometric variants ... More