Search

Let us fix a prime $p$. The Erd\H{o}s-Ginzburg-Ziv problem asks for the minimum integer $s$ such that any collection of $s$ points in the lattice $\mathbb{Z}^n$ contains $p$ points whose centroid is also a lattice point in $\mathbb{Z}^n$. For large $n$, this is essentially equivalent to asking for the maximum size of a subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero. In this paper, we give a new upper bound for this problem for any fixed prime $p\geq 5$ and large $n$. In particular, we prove that any subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero has size at most $C_p\cdot \left(2\sqrt{p}\right)^n$, where $C_p$ is a constant only depending on $p$. For $p$ and $n$ going to infinity, our bound is of the form $p^{(1/2)\cdot (1+o(1))n}$, whereas all previously known upper bounds were of the form $p^{(1-o(1))n}$ (with $p^n$ being a trivial bound). Our proof uses the so-called multi-colored sum-free theorem which is a consequence of the Croot-Lev-Pach polynomial method. This method and its consequences were already applied by Naslund as well as by Fox and the author to prove bounds for the problem studied in this paper. However, using some key new ideas, we significantly improve their bounds., Comment: 11 pages

A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In the present paper we extend Koksma's theorem to the pair correlation setting. More precisely, we show that for Lebesgue almost every $x>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proof is based on a martingale approximation method., Version 2: some minor changes. The paper will appear in the Israel Journal of Mathematics

Let $G$ be a finite $2$-generated non-cyclic group. The spread of $G$ is the largest integer $k$ such that for any nontrivial elements $x_1, \ldots, x_k$, there exists $y \in G$ such that $G = \langle x_i, y\rangle$ for all $i$. The more restrictive notion of uniform spread, denoted $u(G)$, requires $y$ to be chosen from a fixed conjugacy class of $G$, and a theorem of Breuer, Guralnick and Kantor states that $u(G) \geqslant 2$ for every non-abelian finite simple group $G$. For any group with $u(G) \geqslant 1$, we define the uniform domination number $\gamma_u(G)$ of $G$ to be the minimal size of a subset $S$ of conjugate elements such that for each nontrivial $x \in G$ there exists $y \in S$ with $G = \langle x, y \rangle$ (in this situation, we say that $S$ is a uniform dominating set for $G$). We introduced the latter notion in a recent paper, where we used probabilistic methods to determine close to best possible bounds on $\gamma_u(G)$ for all simple groups $G$. In this paper we establish several new results on the spread, uniform spread and uniform domination number of finite groups and finite simple groups. For example, we make substantial progress towards a classification of the simple groups $G$ with $\gamma_u(G)=2$, and we study the associated probability that two randomly chosen conjugate elements form a uniform dominating set for $G$. We also establish new results concerning the $2$-generation of soluble and symmetric groups, and we present several open problems., Comment: 60 pages; to appear in Israel Journal of Mathematics

Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a cohomology theory, called Quillen cohomology, whose category of coefficients is $\mathcal{T}_X\mathcal{C}$. When $\mathcal{C}$ consists of algebras over a nice $\infty$-operad in a stable $\infty$-category, $\mathcal{T}_X\mathcal{C}$ is equivalent to the $\infty$-category of operadic modules, by work of Basterra--Mandell, Schwede and Lurie. In this paper we develop the model-categorical counterpart of this identification and extend it to the case of algebras over an enriched operad, taking values in a model category which is not necessarily stable. This extended comparison can be used, for example, to identify the cotangent complex of enriched categories, an application we take up in a subsequent paper., Comment: The section concerning stabilization of model categories was separated into an independent paper, appearing now as arXiv:1802.08031

The paper studies the connectivity properties of facet graphs of simplicial complexes of combinatorial interest. In particular, it is shown that the facet graphs of d-cycles, d-hypertrees and d-hypercuts are, respectively, (d +1)-, d-and (n − d − 1)-vertex-connected. It is also shown that the facet graph of a d-cycle cannot be split into more than s connected components by removing at most s vertices. In addition, the paper discusses various related issues, as well as an extension to cell-complexes.

Let P be a Borel probability measure on ℝ generated by an infinite system of similarity mappings {Sj : j ∈ ℕ} such that $$P=\Sigma_{j=1}^{\infty}\frac{1}{2^{j}}P\circ{S}_j^{-1}$$ , where for each j ∈ ℕ and x ∈ ℝ, $$S_j(x)=\frac{1}{3^j}x+1-\frac{1}{3^{j-1}}$$ . Then, the support of P is the dyadic Cantor set C generated by the similarity mappings f1, f2 : ℝ → ℝ such that f1(x) = 1/3x and f2(x) = 1/3x+ 2/3 for all x ∈ ℝ. In this paper, using the infinite system of similarity mappings {Sj : j ∈ ℕ} associated with the probability vector $$(\frac{1}{2},\frac{1}{{{2^2}}},...)$$ , for all n ∈ ℕ, we determine the optimal sets of n-means and the nth quantization errors for the infinite self-similar measure P. The technique obtained in this paper can be utilized to determine the optimal sets of n-means and the nth quantization errors for more general infinite self-similar measures.

In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(\gamma(H)+o(1))\log x/\log\log x}$ where $\gamma(H)$ is an explicit constant computable from the (absolute) root system of $H$. In [BLu] we disproved this conjecture. In this paper we prove that for most groups $H$ the conjecture is actually true if we restrict to counting only non-uniform lattices., Comment: 23 pages, revised following referee's comments. Dedicated to Aner Shalev on his 60th birthday. This paper is related to our previous work arXiv:0905.1841 with which it shares some preliminaries

Recently, Boutonnet, Chifan, and Ioana proved that McDuff’s examples of continuum many pairwise non-isomorphic separable II1 factors are in fact pairwise non-elementarily equivalent. Their proof proceeded by showing that any ultrapowers of any two distinct McDuff examples are not isomorphic. In a paper by the first two authors of this paper, Ehrenfeucht–Fra¨isse games were used to find an upper bound on the quantifier complexity of sentences distinguishing the McDuff examples, leaving it as an open question to find concrete sentences distinguishing the McDuff factors. In this paper, we answer this question by providing such concrete sentences.

A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf-Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules are Quillen equivalent. The category of comodules over the trivial coring (A,A) is isomorphic to the category of A-modules, so the question above englobes that of when two algebras are homotopically Morita equivalent. We discuss this special case in the first part of the paper, extending previously known results. To approach the general question, we introduce the notion of a 'braided bimodule' and show that adjunctions between A-Mod and B-Mod that lift to adjunctions between (A,C)-Comod and (B,D)-Comod correspond precisely to braided bimodules between (A,C) and (B,D). We then give criteria, in terms of homotopic descent, for when a braided bimodule induces a Quillen equivalence. In particular, we obtain criteria for when a morphism of corings induces a Quillen equivalence, providing a homotopic generalization of results by Hovey and Strickland on Morita equivalences of Hopf algebroids. To illustrate the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring., Comment: 46 pages

For a sequence of integers $\{a(x)\}_{x \geq 1}$ we show that the distribution of the pair correlations of the fractional parts of $\{ \langle \alpha a(x) \rangle \}_{x \geq 1}$ is asymptotically Poissonian for almost all $\alpha$ if the additive energy of truncations of the sequence has a power savings improvement over the trivial estimate. Furthermore, we give an estimate for the Hausdorff dimension of the exceptional set as a function of the density of the sequence and the power savings in the energy estimate. A consequence of these results is that the Hausdorff dimension of the set of $\alpha$ such that $\{\langle \alpha x^d \rangle\}$ fails to have Poissonian pair correlation is at most $\frac{d+2}{d+3} < 1$. This strengthens a result of Rudnick and Sarnak which states that the exceptional set has zero Lebesgue measure. On the other hand, classical examples imply that the exceptional set has Hausdorff dimension at least $\frac{2}{d+1}$. An appendix by Jean Bourgain was added after the first version of this paper was written. In this appendix two problems raised in the paper are solved., Comment: 22 pages. Version 2 contains an appendix by Jean Bourgain. Version 3 with corrections suggested by the referee. The paper will be published in the Israel Journal of Mathematics

A net (x α ) in a vector lattice X is said to uo-converge to x if $$\left| {{x_\alpha } - x} \right| \wedge u\xrightarrow{o}0$$ for every u ≥ 0. In the first part of this paper, we study some functional-analytic aspects of uo-convergence. We prove that uoconvergence is stable under passing to and from regular sublattices. This fact leads to numerous applications presented throughout the paper. In particular, it allows us to improve several results in [27, 26]. In the second part, we use uo-convergence to study convergence of Cesaro means in Banach lattices. In particular, we establish an intrinsic version of Komlos’ Theorem, which extends the main results of [35, 16, 31] in a uniform way. We also develop a new and unified approach to Banach–Saks properties and Banach–Saks operators based on uo-convergence. This approach yields, in particular, short direct proofs of several results in [20, 24, 25].

This is the first in our series of papers that concerns Hardy–Littlewood–Sobolev (HLS) type inequalities. In this paper, the main objective is to establish the following sharp reversed HLS inequality in the whole space R n, $$\int {_{{R^n}}} \int {_{{R^n}}f\left( x \right)} {\left| {x - y} \right|^\lambda }g\left( y \right)dxdy \geqslant {\ell _{n,p,r}}{\left\| f \right\|_{{L^p}\left( {{R^n}} \right)}}{\left\| g \right\|_{{L^r}\left( {{R^n}} \right)}}$$ , for any non-negative functions f ∈ L p(R n), g ∈ L r(R n), and p, r ∈ (0, 1), λ > 0 such that 1/p+1/r −λ/n = 2. We will also explore some estimates for ln,p,r and the existence of optimal functions for the above inequality, which will shed light on some existing results in literature.

This paper explores the consistency strength of The Proper Forcing Axiom ($\textsf{PFA}$) and the theory (T) which involves a variation of the Viale-Wei$\ss$ guessing hull principle. We show that (T) is consistent relative to a supercompact cardinal. The main result of the paper implies that the theory "$\sf{AD}$$_\mathbb{R} + \Theta$ is regular" is consistent relative to (T) and to $\textsf{PFA}$. This improves significantly the previous known best lower-bound for consistency strength for (T) and $\textsf{PFA}$, which is roughly "$\sf{AD}$$_\mathbb{R} + \textsf{DC}$".

In this paper we obtain quite general and definitive forms for Hardy-Littlewood type inequalities. Moreover, when restricted to the original particular cases, our approach provides much simpler and straightforward proofs and we are able to show that in most cases the exponents involved are optimal. The technique we used is a combination of probabilistic tools and of an interpolative approach; this former technique is also employed in this paper to improve the constants for vector-valued Bohnenblust-Hilletype inequalities.

It is an immediate conclusion from Bavula's papers \cite{Bavula:GWA-def}, \cite{Bavula:GWA-tensor-product} that if a generalized Weyl algebra $A=\kk[z;\lambda,\eta,\varphi(z)]$ is homologically smooth, then the polynomial $\varphi(z)$ has no multiple roots. We prove in this paper that the converse is also true. Moreover, formal deformations of $A$ are studied when $\kk$ is of characteristic zero., Comment: Final version, 36 pages

We investigate the structure of the degrees of provability, which measure the proof-theoretic strength of statements asserting the totality of given computable functions. The degrees of provability can also be seen as an extension of the investigation of relative consistency statements for first-order arithmetic (which can be viewed as Π10 -statements, whereas statements of totality of computable functions are Π20 -statements); and the structure of the degrees of provability can be viewed as the Lindenbaum algebra of true Π20 -statements in first-order arithmetic. Our work continues and greatly expands the second author’s paper on this topic by answering a number of open questions from that paper, comparing three different notions of a jump operator and studying jump inversion as well as the corresponding high/low hierarchies, investigating the structure of true Π10 -statements as a substructure, and connecting the degrees of provability to escape and domination properties of computable functions.

The commuting graph of a finite non-commutative semigroup S, denoted G(S), is a simple graph whose vertices are the non-central elements of S and two distinct vertices x, y are adjacent if xy = yx. Let I(X) be the symmetric inverse semigroup of partial injective transformations on a finite set X. The semigroup I(X) has the symmetric group Sym(X) of permutations on X as its group of units. In 1989, Burns and Goldsmith determined the clique number of the commuting graph of Sym(X). In 2008, Iranmanesh and Jafarzadeh found an upper bound of the diameter of G(Sym(X)), and in 2011, Dolžan and Oblak claimed that this upper bound is in fact the exact value. The goal of this paper is to begin the study of the commuting graph of the symmetric inverse semigroup I(X). We calculate the clique number of G(I(X)), the diameters of the commuting graphs of the proper ideals of I(X), and the diameter of G(I(X)) when |X| is even or a power of an odd prime. We show that when |X| is odd and divisible by at least two primes, then the diameter of G(I(X)) is either 4 or 5. In the process, we obtain several results about semigroups, such as a description of all commutative subsemigroups of I(X) of maximum order, and analogous results for commutative inverse and commutative nilpotent subsemigroups of I(X). The paper closes with a number of problems for experts in combinatorics and in group or semigroup theory.

This paper continues the study of generalized amalgamation properties. Part of the paper provides a finer analysis of the groupoids that arise from failure of 3-uniqueness in a stable theory. We show that such groupoids must be abelian and link the binding group of the groupoids to a certain automorphism group of the monster model, showing that the group must be abelian as well. We also study connections between n-existence and n-uniqueness properties for various "dimensions" n in the wider context of simple theories. We introduce a family of weaker existence and uniqueness properties. Many of these properties did appear in the literature before; we give a category-theoretic formulation and study them systematically. Finally, we give examples of first-order simple unstable theories showing, in particular, that there is no straightforward generalization of the groupoid construction in an unstable context., 33 pages, 1 figure

We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense. As a consequence, we get new generating results for finite simple groups of Lie type and a strengthening of a theorem of Borel related to the Hausdorff-Banach-Tarski paradox. In a sequel to this paper, we use this result to also establish uniform expansion properties for random Cayley graphs over finite simple groups of Lie type., 27 pages, no figures, submitted, Israel J. Math. It turns out that there is one specific family of algebraic group - namely Sp(4) in characteristic 3 - which our methods are unable to resolve, and we have adjusted the paper to exclude this case from the results

In his paper "Finite groups have many conjugacy classes" (J. London Math. Soc (2) 46 (1992), 239-249), L. Pyber proved the to date best general lower bounds for the number of conjugacy classes of a finite group in terms of the order of the group. In this paper we strengthen the main results in Pyber's paper., 13 pages

We present a new generalization of the classical trisecant lemma. Our approach is quite different from previous generalizations. Let $X$ be an equidimensional projective variety of dimension $d$. For a given $k \leq d + 1$, we are interested in the study of the variety of $k$-secants. The classical trisecant lemma just considers the case where $k = 3$ while elsewhere the case $k = d + 2$ is considered. Secants of order from $4$ to $d + 1$ provide service for our main result. In this paper, we prove that if the variety of $k$-secants ($k \leq d + 1$) satisfies the three following conditions: (i) trough every point in $X$, passes at least one $k$-secant, (ii) the variety of $k$-secant satisfies a strong connectivity property that we defined in the sequel, (iii) every $k$-secant is also a ($k+1$)-secant, then the variety $X$ can be embedded into $P^{d+1}$. The new assumption, introduced here, that we called strong connectivity is essential because a naive generalization that does not incorporate this assumption fails as we show in some example. The paper concludes with some conjectures concerning the essence of the strong connectivity assumption., Comment: arXiv admin note: text overlap with arXiv:0712.3878

In this paper we offer a definition of monogenicity for functions defined on $\rr^{n+1}$ with values in the Clifford algebra $\rr_n$ following an idea inspired by the recent papers \cite{gs}, \cite{advances}. This new class of monogenic functions contains the polynomials (and, more in general, power series) with coefficients in the Clifford algebra $\rr_n$. We will prove a Cauchy integral formula as well as some of its consequences. Finally, we deal with the zeroes of some polynomials and power series., Comment: to appear in Israel Journal of Mathematics

A study of the set N_p of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of characteristic p>0 was initiated by Shalev and continued by the present author. The main goal of this paper is to show the abundance of elements of N_p. Our main result shows that any divisor n of q-1, where q is a power of p, such that $n\ge (p-1)^{1/p} (q-1)^{1-1/(2p)}$, belongs to N_p. This extends its special case for p=2 which was proved in a previous paper by a different method., 10 pages. This version has been revised according to a referee's suggestions. The additions include a discussion of the (lower) density of the set N_p, and the results of more extensive machine computations. Note that the title has also changed. To appear in Israel J. Math

Zero-sum problems for abelian groups and covers of the integers by residue classes, are two different active topics initiated by P. Erdos more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement [Electron. Res. Announc. Amer. Math. Soc. 9(2003), 51-60], the author claimed some surprising connections among these seemingly unrelated fascinating areas. In this paper we establish further connections between zero-sum problems for abelian p-groups and covers of the integers. For example, we extend the famous Erdos-Ginzburg-Ziv theorem in the following way: If {a_s(mod n_s)}_{s=1}^k covers each integer either exactly 2q-1 times or exactly 2q times where q is a prime power, then for any c_1,...,c_k in Z/qZ there exists a subset I of {1,...,k} such that sum_{s in I}1/n_s=q and sum_{s in I}c_s=0. Our main theorem in this paper unifies many results in the two realms and also implies an extension of the Alon-Friedland-Kalai result on regular subgraphs.

$Hom(G,H)$ is a polyhedral complex defined for any two undirected graphs $G$ and $H$. This construction was introduced by Lov\'asz to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that $Hom(K_m,K_n)$ is homotopy equivalent to a wedge of $(n-m)$-dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graph $G$, and integers $m\geq 2$ and $k\geq -1$, we have $\varpi_1^k(\thom(K_m,G))\neq 0$, then $\chi(G)\geq k+m$; here $Z_2$-action is induced by the swapping of two vertices in $K_m$, and $\varpi_1$ is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of $Hom(G,H)$ induces a homotopy equivalence. It then follows that $Hom(F,K_n)$ is homotopy equivalent to a direct product of $(n-2)$-dimensional spheres, while $Hom(\bar{F},K_n)$ is homotopy equivalent to a wedge of spheres, where $F$ is an arbitrary forest and $\bar{F}$ is its complement., Comment: This is the first part of the series of papers containing the complete proofs of the results announced in "Topological obstructions to graph colorings". This is the final version which is to appear in Israel J. Math., it has an updated list of references and new remarks on latest developments

The striking results on noncrossed products were their existence (Amitsur) and the determination of Q(t) and Q((t)) as their smallest possible centres (Brussel). This paper gives the first fully explicit noncrossed product example over Q((t)). As a consequence, the use of deep number theoretic theorems (local-global principles such as the Hasse norm theorem and density theorems) in order to prove existence is eliminated. Instead, the example can be verified by direct calculations. The noncrossed product proof is short and elementary., Comment: 4 pages (A4), updated version of published paper, the sign error in the definition of the element \pi has been corrected

We generalize Khintchine’s method of constructing totally irrational singular vectors and linear forms. The main result of the paper shows existence of totally irrational vectors and linear forms with large uniform Diophantine exponents on certain subsets of ℝn, in particular on any analytic submanifold of ℝn of dimension ≥2 which is not contained in a proper rational affine subspace.

We study asymptotic behaviour of graded and non-graded codimensions of simple Jordan superalgebras over a field of characteristic zero. It is known that the PI-exponent of any finite-dimensional associative or Jordan or Lie algebra A is a non-negative integer less than or equal to the dimension of algebra A. Moreover, the PI-exponent is equal to the dimension if and only if A is simple provided that the base field is algebraically closed. In the present paper we prove that for a Jordan superalgebra P(t) = H(Mt∣t, trp) its non-graded and ℤ2-graded exponents are strictly less than dim P(t). In particular, exp P(2) is fractional.

This paper is the first step in the proof of existence of equilibrium payoffs for two-player stochastic games with finite state and action sets. It reduces the existence problem to the class of so-called positive absorbing recursive games. The existence problem for this class is solved in a subsequent paper.

We compute eta invariants of various Dirac type operators on circle bundles over Riemann surfaces via two approaches: an adiabatic approach based on the results of Bismut-Cheeger-Dai and a direct elementary one. These results, coupled with some delicate spectral flow computations are then used to determine the virtual dimensions of Seiberg-Witten finite energy moduli spaces on any 4-manifold bounding unions of circle bundles. This belated paper should be regarded as the analytical backbone of dg-ga/9711006. There, we indicated only what changes are needed to extend the methods of the present paper to Seifert fibrations and we focused only to topological and number theoretic aspects related to Froyshov invariants, Latex 2.09, 57 pages, 6 figures

Let $G$ be a finite group, and let $\Delta(G)$ be the prime graph built on the set of conjugacy class sizes of $G$: this is the simple undirected graph whose vertices are the prime numbers dividing some conjugacy class size of $G$, two vertices $p$ and $q$ being adjacent if and only if $pq$ divides some conjugacy class size of $G$. In the present paper, we classify the finite groups $G$ for which $\Delta(G)$ has a cut vertex.

This paper deals with lattice congruences of the weak order on the symmetric group, and initiates the investigation of the cover graphs of the corresponding lattice quotients. These graphs also arise as the skeleta of the so-called quotientopes, a family of polytopes recently introduced by Pilaud and Santos [Bull. Lond. Math. Soc., 51:406–420, 2019], which generalize permutahedra, associahedra, hypercubes and several other polytopes. We prove that all of these graphs have a Hamilton path, which can be computed by a simple greedy algorithm. This is an application of our framework for exhaustively generating various classes of combinatorial objects by encoding them as permutations. We also characterize which of these graphs are vertex-transitive or regular via their arc diagrams, give corresponding precise and asymptotic counting results, and we determine their minimum and maximum degrees.\ud \ud

Consider the generalized absolute value function defined by \[ a(t) = \vert t \vert t^{n-1}, \qquad t \in \mathbb{R}, n \in \mathbb{N}_{\geq 1}. \] Further, consider the $n$-th order divided difference function $a^{[n]}: \mathbb{R}^{n+1} \rightarrow \mathbb{C}$ and let $1 < p_1, \ldots, p_n < \infty$ be such that $\sum_{l=1}^n p_l^{-1} = 1$. Let $\mathcal{S}_{p_l}$ denote the Schatten-von Neumann ideals and let $\mathcal{S}_{1,\infty}$ denote the weak trace class ideal. We show that for any $(n+1)$-tuple ${\bf A}$ of bounded self-adjoint operators the multiple operator integral $T_{a^{[n]}}^{\bf A}$ maps $\mathcal{S}_{p_1} \times \ldots \times \mathcal{S}_{p_n}$ to $\mathcal{S}_{1, \infty}$ boundedly with uniform bound in ${\bf A}$. The same is true for the class of $C^{n+1}$-functions that outside the interval $[-1, 1]$ equal $a$. In [CLPST16] it was proved that for a function $f$ in this class such boundedness of $T^{ {\bf A} }_{f^{[n]}}$ from $\mathcal{S}_{p_1} \times \ldots \times \mathcal{S}_{p_n}$ to $\mathcal{S}_{1}$ may fail, resolving a problem by V. Peller. This shows that the estimates in the current paper are optimal. The proof is based on a new reduction method for arbitrary multiple operator integrals of divided differences., to appear in Israel Journal of Mathematics

Subset selection for matrices is the task of extracting a column sub-matrix from a given matrix $B\in\mathbb{R}^{n\times m}$ with $m>n$ such that the pseudoinverse of the sampled matrix has as small Frobenius or spectral norm as possible. In this paper, we consider a more general problem of subset selection for matrices that allows a block to be fixed at the beginning. Under this setting, we provide a deterministic method for selecting a column sub-matrix from $B$. We also present a bound for both the Frobenius and spectral norms of the pseudoinverse of the sampled matrix, showing that the bound is asymptotically optimal. The main technology for proving this result is the interlacing families of polynomials developed by Marcus, Spielman, and Srivastava. This idea also results in a deterministic greedy selection algorithm that produces the sub-matrix promised by our result.

Given the Cayley graph of a finitely generated group $G$, with respect to a presentation $G^{\alpha}$ with $n$ generators, the quotient of the rank of the fundamental group of subgraphs of the Cayley graph by the cardinality of the set of vertices of the subgraphs gives rise to the definition of the normalized cyclomatic quotient $\Xi (G^{\alpha})$. The asymptotic behavior of this quotient is similar to the asymptotic behavior of the quotient of the cardinality of the boundary of the subgraph by the cardinality of the subgraph. Using Følner's criterion for amenability one gets that $\Xi (G^{\alpha})$ vanishes for infinite groups if and only if they are amenable. When $G$ is finite then $\Xi (G^{\alpha})=1/|G|$, where $|G|$'> is the cardinality of $G$, and when $G$ is non-amenable then $1-n\leq\Xi (G^{\alpha})\le 0$, with $\Xi (G^{\alpha})=1-n$ if and only if $G$ is free of rank $n$. Thus we see that on special cases $\Xi (G^{\alpha})$ takes the values of the Euler characteristic of $G$. Most of the paper is concerned with formulae for the value of $\Xi (G^{\alpha})$ with respect to that of subgroups and factor groups, and with respect to the decomposition of the group into direct product and free product. Some of the formulae and bounds we get for $\Xi (G^{\alpha})$ are similar to those given for the spectral radius of symmetric random walks on the graph of $G^{\alpha}$, but this is not always the case. In the last section of the paper we define and touch very briefly the balanced cyclomatic quotient, which is defined on concentric balls in the graph and is related to the growth of $G$., Comment: LaTex, 23 pages, no figures

An approximate Spielman-Teng theorem for the least singular value $s_n(M_n)$ of a random $n\times n$ square matrix $M_n$ is a statement of the following form: there exist constants $C,c >0$ such that for all $\eta \geq 0$, $\Pr(s_n(M_n) \leq \eta) \lesssim n^{C}\eta + \exp(-n^{c})$. The goal of this paper is to develop a simple and novel framework for proving such results for discrete random matrices. As an application, we prove an approximate Spielman-Teng theorem for $\{0,1\}$-valued matrices, each of whose rows is an independent vector with exactly $n/2$ zero components. This improves on previous work of Nguyen and Vu, and is the first such result in a `truly combinatorial' setting., Comment: 28 pages; comments welcome!

A well-known conjecture of Frankl and F\"{u}redi from 1989 states that an initial segment of colex of has the largest Lagrangian of any $r$-uniform hypergraph with $m$ hyperedges. We show that this is true when $r=3$. We also give a new proof of a related conjecture of Nikiforov and a counterexample to an old conjecture of Ahlswede and Katona., Comment: We split our original paper (arXiv:1807.00793v2) into two parts. The first part can be found in arXiv:1807.00793. This is the second part, which consists of 18 pages, including a two-page appendix

In the present paper it is proved that a variety of associative PI-superalgebras with graded involution of finite basic rank over a field of characteristic zero is minimal of fixed *-graded exponent if, and only if, it is generated by a subalgebra of an upper block triangular matrix algebra equipped with a suitable elementary ℤ2-grading and graded involution.

We prove that the symmetrized deleted join SymmDelJoin( $$\mathcal{K}$$ ) of a “balanced family” $$\mathcal{K}$$ = 〈Ki〉 =1 of collectively r-unavoidable subcomplexes of 2[m] is (m−r−1)-connected. As a consequence we obtain a Tverberg-Van Kampen-Flores type result which is more conceptual and more general than previously known results. Already the case r = 2 of this result seems to be new as an extension of the classical Van Kampen-Flores theorem. The main tool used in the paper is R. Forman’s discrete Morse theory.

In this paper, we extend the construction of pressure metrics to Teichmuller spaces of surfaces with punctures. This construction recovers Thurston’s Riemannian metric on Teichmuller spaces. Moreover, we prove the real analyticity and convexity of Manhattan curves of finite area type-preserving Fuchsian representations, and thus we obtain several related entropy rigidity results. Lastly, relating the two topics mentioned above, we show that one can derive the pressure metric by varying Manhattan curves.

The graph of a Hecke operator encodes all information about the action of this operator on automorphic forms over a global function field. These graphs were introduced by Lorscheid in his PhD thesis for $\text{PGL}_{2}$ and we generalized to $\text{GL}_{n}$ in the paper "On graphs of Hecke operators". After reviewing some general properties, we explain the connection to the Hall algebra of the function field. In the case of an elliptic function field, we can use structure results of Burban-Schiffmann and Fratila to develop an algorithm which explicitly calculate these graphs. We apply this algorithm to determine some structure constants and provide explicitly the rank two case in the last section., Comment: 38 pages, comments are welcome - minor typos were corrected in the second version

In this paper we prove that if A is any algebra with involution * satisfying a non-trivial polynomial identity, then its sequence of *-codimensions is eventually non-decreasing. Furthermore, by making use of the *-exponent we reconstruct the only two *-algebras, up to T*-equivalence, generating varieties of almost polynomial growth. As a third result we characterize the varieties of algebras with involution whose exponential growth is bounded by 2.

In this paper, we introduce a new function related to the sum of element orders of finite groups. It is used to give some criteria for a finite group to be cyclic, abelian, nilpotent, supersolvable and solvable, respectively.

In this paper, we study the reducibility of degenerate principal series of the simple, simply-connected exceptional group of type E6. Furthermore, we calculate the maximal semi-simple subrepresentation and quotient of these representations.

The Gordon--Rodriguez-Villegas theorem says that, in a finite group, the number of solutions to a system of coefficient-free equations is divisible by the order of the group if the rank of the matrix composed of the exponent sums of $j$-th unknown in $i$-th equation is less than the number unknowns. We obtain analogues of this and similar facts for algebraic groups. In particular, our results imply that the dimension of each irreducible component of the variety of homomorphisms from a finitely generated group with infinite abelianisation into an algebraic group $G$ is at least $\dim G$., Comment: 6 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V.2: An open question added, misprints corrected. V.3: misprints corrected

Following Darji, we say that a Borel subset B of an abelian Polish group G is Haar meager if there is a compact metric space K and a continuous function f: K → G such that the preimage of the translate f−1(B + g) is meager in K for every g ∈ G. The set B is called strongly Haar meager if there is a compact set C ⊆ G such that (B + g) ⋂ C is meager in C for every g ∈ G. The main open problem in this area is Darji’s question asking whether these two notions are the same. Even though there have been several partial results suggesting a positive answer, in this paper we construct a counterexample. More specifically, we construct a Gδ set in ℤω that is Haar meager but not strongly Haar meager. We also show that no Fσ counterexample exists, hence our result is optimal. © 2019, The Hebrew University of Jerusalem.

Let Γ be a countably infinite group. A common theme in ergodic theory is to start with a probability measure-preserving (p.m.p.) action Γ ↷ (X, μ) and a map f ∈ L1 (X, μ), and to compare the global average ∫ f dμ of f to the pointwise averages ∣D∣−1 ∑δ∈Df(δ · x), where x ∈ X and D is a nonempty finite subset of Γ. The basic hope is that, when D runs over a suitably chosen infinite sequence, these pointwise averages should converge to the global value for μ-almost all x. In this paper we prove several results that refine the above basic paradigm by uniformly controlling the averages over specific sets D rather than considering their limit as ∣D∣ → ∞. Our results include ergodic theorems for the Bernoulli shift action Γ ↷ ([0; 1]Γ, λΓ) and strengthenings of the theorem of Abert and Weiss that the shift is weakly contained in every free p.m.p. action of Γ. In particular, we establish a purely Borel version of the Abert–Weiss theorem for finitely generated groups of subexponential growth. The central role in our arguments is played by the recently introduced measurable versions of the Lovasz Local Lemma, due to the current author and to Csoka, Grabowski, Mathe, Pikhurko, and Tyros.

This paper presents an abstract theory on well-posedness for time-fractional evolution equations governed by subdifferential operators in Hilbert spaces. The proof relies on a regularization argument based on maximal monotonicity of time-fractional differential operators as well as energy estimates based on a nonlocal chain-rule formula for subdifferentials. Moreover, it will be extended to a Lipschitz perturbation problem. These abstract results will be also applied to time-fractional nonlinear PDEs such as time-fractional porous medium, fast diffusion, p-Laplace parabolic, Allen-Cahn equations.

In this paper, we determine the topological entropy $h(\phi)$ of a continuous endomorphism $\phi$ of a Lie group $G$. This computation is a classical topic in ergodic theory which seemed to have long been solved. But, when $G$ is noncompact, the well known Bowen's formula for the entropy $h_{d}(\phi)$ associated to a left invariant distance $d$ just provides an upper bound to $h(\phi)$, which is characterized by the so called variational principle. We prove that \[ h\left(\phi\right) = h\left(\phi|_{T(G_\phi)}\right) \] where $G_\phi$ is the maximal connected subgroup of $G$ such that $\phi(G_\phi) = G_\phi$, and $T(G_\phi)$ is the maximal torus in the center of $G_\phi$. This result shows that the computation of the topological entropy of a continuous endomorphism of a Lie group reduces to the classical formula for the topological entropy of a continuous endomorphism of a torus. Our approach explores the relation between null topological entropy and the nonexistence of Li-Yorke pairs and also relies strongly on the structure theory of Lie groups.