Transitive \text{ PSL}(2,7)-invariant 42-arcs in 3-dimensional projective spaces

We construct an infinite family of transitive 42-arcs in \(\text{ PG}(3,q^{2})\) , with \(q=p^{n}\ge 29\) and \(q\equiv 1\pmod {7}\) , under the action of the group \(\text{ PSL}(2,7)\) in its representation as a subgroup of \(\text{ PGL}(4,q)\) . Further, we study the case \(q=29\) in detail with computer assistance. For \(q=29\) these 42-arcs turn out to be complete.     

Covering of subspaces by subspaces

Lower and upper bounds on the size of a covering of subspaces in the Grassmann graph \(\mathcal{G }_q(n,r)\) by subspaces from the Grassmann graph \(\mathcal{G }_q(n,k)\) , \(k \ge r\) , are discussed. The problem is of interest from four points of view: coding theory, combinatorial designs, \(q\) -analogs, and projective geometry. In particular we examine coverings based on lifted maximum rank distance codes, combined with spreads and a recursive construction. New constructions are given for \(q=2\) with \(r=2\) or \(r=3\) . We discuss the density for some of these coverings. Tables for the best known coverings, for \(q=2\) and \(5 \le n \le 10\) , are presented. We present some questions concerning possible constructions of new coverings of smaller size.     

Scattered linear sets generated by collineations between pencils of lines

Let \(A\) and \(B\) be two points of \(\mathrm{{PG}}(2,q^n)\) , and let \(\Phi \) be a collineation between the pencils of lines with vertices \(A\) and \(B\) . In this paper, we prove that the set of points of intersection of corresponding lines under \(\Phi \) is either the union of a scattered \(\mathrm{{GF}}(q)\) -linear set of rank \(n+1\) with the line \(AB\) or the union of \(q-1\) scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n\) with \(A\) and \(B\) . We also determine the intersection configurations of two scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n+1\) of \(\mathrm{{PG}}(2,q^n)\) both meeting the line \(AB\) in a \(\mathrm{{GF}}(q)\) -linear set of pseudoregulus type with transversal points \(A\) and \(B\) .     

Tree metrics and edge-disjoint S-paths

Given an undirected graph \(G=(V,E)\) with a terminal set \(S \subseteq V\) , a weight function on terminal pairs, and an edge-cost \(a: E \rightarrow \mathbf{Z}_+\) , the \(\mu \) -weighted minimum-cost edge-disjoint \(S\) -paths problem ( \(\mu \) -CEDP) is to maximize \(\sum \nolimits _{P \in \mathcal{P}} \mu (s_P,t_P) - a(P)\) over all edge-disjoint sets \(\mathcal{P}\) of \(S\) -paths, where \(s_P,t_P\) denote the ends of \(P\) and \(a(P)\) is the sum of edge-cost \(a(e)\) over edges \(e\) in \(P\) . Our main result is a complete characterization of terminal weights \(\mu \) for which \(\mu \) -CEDP is tractable and admits a combinatorial min–max theorem. We prove that if \(\mu \) is a tree metric, then \(\mu \) -CEDP is solvable in polynomial time and has a combinatorial min–max formula, which extends Mader’s edge-disjoint \(S\) -paths theorem and its minimum-cost generalization by Karzanov. Our min–max theorem includes the dual half-integrality, which was earlier conjectured by Karzanov for a special case. We also prove that \(\mu \) -EDP, which is \(\mu \) -CEDP with \(a = 0\) , is NP-hard if \(\mu \) is not a truncated tree metric, where a truncated tree metric is a weight function represented as pairwise distances between balls in a tree. On the other hand, \(\mu \) -CEDP for a truncated tree metric \(\mu \) reduces to \(\mu '\) -CEDP for a tree metric \(\mu '\) . Thus our result is best possible unless P = NP. As an application, we obtain a good approximation algorithm for \(\mu \) -EDP with “near” tree metric \(\mu \) by utilizing results from the theory of low-distortion embedding.     

On lower bounds for cohomology growth in p-adic analytic towers

Let \(p\) and \(\ell \) be two distinct prime numbers and let \(\Gamma \) be a group. We study the asymptotic behaviour of the mod- \(\ell \) Betti numbers in \(p\) -adic analytic towers of finite index subgroups. If \(\Theta \) is a finite \(\ell \) -group of automorphisms of \(\Gamma \) , our main theorem allows to lift lower bounds for the mod- \(\ell \) cohomology growth in the fixed point group \(\Gamma ^\Theta \) to lower bounds for the growth in \(\Gamma \) . We give applications to \(S\) -arithmetic groups and we also obtain a similar result for cohomology with rational coefficients.     

Some modular relations for Ramanujan’s function k(q)=r(q)r^2(q^2)

In both his second and lost notebooks, Ramanujan introduced and studied a function \(k(q)=r(q)r^2(q^2)\) , where \(r(q)\) is the Rogers–Ramanujan continued fraction. Ramanujan also recorded five beautiful relations between the Rogers–Ramanujan continued fraction \(r(q)\) and the five continued fractions \(r(-q)\) , \(r(q^2)\) , \(r(q^3)\) , \(r(q^4)\) , and \(r(q^5)\) . Motivated by those relations, we present some modular relations between \(k(q)\) and \(k(-q)\) , \(k(-q^2)\) , \(k(q^3)\) , and \(k(q^5)\) in this paper.     

New M-ary sequences with low autocorrelation from interleaved technique

Let \(p\) and \(q\) be two odd primes with \(p=Mf+1\) and \(M\) is even. A new construction of \(M\) -ary sequences of period \(pq\) with low periodic autocorrelation is presented in this paper based on interleaving the \(M\) -ary power residue sequence of period \(p\) according to the quadratic residue with respect to \(q\) . This construction can generate the well-known twin-prime sequence and generalized cyclotomy sequence of order two if \(M=2\) . For \(M=4\) , a new class of quaternary sequences of period \(pq\) with maximal nontrivial autocorrelation value being either \(\sqrt{5}\) or \(3\) is obtained. This achieves the best known results for such kind of quaternary sequences.     

Torsion homology of arithmetic lattices and K_2 of imaginary fields

Let \(X = G/K\) be a symmetric space of noncompact type. A result of Gelander provides exponential upper bounds in terms of the volume for the torsion homology of the noncompact arithmetic locally symmetric spaces \(\Gamma \backslash X\) . We show that under suitable assumptions on \(X\) this result can be extended to the case of nonuniform arithmetic lattices \(\Gamma \subset G\) that may contain torsion. Using recent work of Calegari and Venkatesh we deduce from this upper bounds (in terms of the discriminant) for \(K_2\) of the ring of integers of totally imaginary number fields \(F\) . More generally, we obtain such bounds for rings of \(S\) -integers in  \(F\) .     

Prime graphs of finite groups with a small number of triangles

The prime graph \(\Delta (G)\) of a finite group \(G\) is a graph whose vertices are the primes which divide the degrees of some irreducible complex characters of \(G\) and two distinct primes \(p\) and \(q\) are joined by an edge if the product \(pq\) divides some character degree of \(G\) . In this paper, we determine the upper bounds for the numbers of vertices of the prime graphs of finite groups which possess a small number of triangles. In some cases, we study the structure of such finite groups and their prime graphs in detail.     

Optimal mass transport and symmetric representations of their cost functions

We consider Monge–Kantorovich problems corresponding to general cost functions \(c(x,y)\) but with symmetry constraints on a Polish space \(X\times X\) . Such couplings naturally generate anti-symmetric Hamiltonians on \(X\times X\) that are \(c\) -convex with respect to one of the variables. In particular, if \(c\) is differentiable with respect to the first variable on an open subset \(X\) in \( \mathbb {R}^d\) , we show that for every probability measure \(\mu \) on \(X\) , there exists a symmetric probability measure \(\pi _0\) on \(X\times X\) with marginals \(\mu \) , and an anti-symmetric Hamiltonian \(H\) such that \(\nabla _2H(y, x)=\nabla _1c(x,y)\) for \( \pi _0\) -almost all \((x,y) \in X \times X.\) If \(\pi _0\) is supported on a graph \((x, Sx)\) , then \(S\) is necessarily a \(\mu \) -measure preserving involution (i.e., \(S^2=I\) ) and \(\nabla _2H(x, Sx)=\nabla _1c(Sx,x)\) for \(\mu \) -almost all \(x \in X.\) For monotone cost functions such as those given by \(c(x,y)=\langle x, u(y)\rangle \) or \(c(x,y)=-|x-u(y)|^2\) where \(u\) is a monotone operator, \(S\) is necessarily the identity yielding a classical result by Krause, namely that \(u(x)=\nabla _2H(x, x)\) where \(H\) is anti-symmetric and concave-convex.     

Some totally geodesic submanifolds of the nonlinear Grassmannian of a compact symmetric space

Let \(M\) and \(N\) be two connected smooth manifolds, where \(M\) is compact and oriented and \(N\) is Riemannian. Let \(\mathcal {E}\) be the Fréchet manifold of all embeddings of \(M\) in \(N\) , endowed with the canonical weak Riemannian metric. Let \(\sim \) be the equivalence relation on \(\mathcal {E}\) defined by \(f\sim g\) if and only if \(f=g\circ \phi \) for some orientation preserving diffeomorphism \(\phi \) of \(M\) . The Fréchet manifold \(\mathcal {S}= \mathcal {E}/_{\sim }\) of equivalence classes, which may be thought of as the set of submanifolds of \(N\) diffeomorphic to \(M\) and is called the nonlinear Grassmannian (or Chow manifold) of \(N\) of type \(M\) , inherits from \( \mathcal {E}\) a weak Riemannian structure. We consider the following particular case: \(N\) is a compact irreducible symmetric space and \(M\) is a reflective submanifold of \(N\) (that is, a connected component of the set of fixed points of an involutive isometry of \( N\) ). Let \(\mathcal {C}\) be the set of submanifolds of \(N\) which are congruent to \(M\) . We prove that the natural inclusion of \(\mathcal {C}\) in \(\mathcal {S}\) is totally geodesic.     

Isomorphisms between Jacobson graphs

Let \(R\) be a commutative ring with a non-zero identity and \(\mathfrak {J}_R\) be its Jacobson graph. We show that if \(R\) and \(R'\) are finite commutative rings, then \(\mathfrak {J}_R\cong \mathfrak {J}_{R'}\) if and only if \(|J(R)|=|J(R')|\) and \(R/J(R)\cong R'/J(R')\) . Also, for a Jacobson graph \(\mathfrak {J}_R\) , we obtain the structure of group \(\mathrm {Aut}(\mathfrak {J}_R)\) of all automorphisms of \(\mathfrak {J}_R\) and prove that under some conditions two semi-simple rings \(R\) and \(R'\) are isomorphic if and only if \(\mathrm {Aut}(\mathfrak {J}_R)\cong \mathrm {Aut}(\mathfrak {J}_{R'})\) .     

Neighbour-transitive codes in Johnson graphs

The Johnson graph \(J(v,k)\) has, as vertices, the \(k\) -subsets of a \(v\) -set \(\mathcal {V}\) and as edges the pairs of \(k\) -subsets with intersection of size \(k-1\) . We introduce the notion of a neighbour-transitive code in \(J(v,k)\) . This is a proper vertex subset \(\Gamma \) such that the subgroup \(G\) of graph automorphisms leaving \(\Gamma \) invariant is transitive on both the set \(\Gamma \) of ‘codewords’ and also the set of ‘neighbours’ of \(\Gamma \) , which are the non-codewords joined by an edge to some codeword. We classify all examples where the group \(G\) is a subgroup of the symmetric group \(\mathrm{Sym}\,(\mathcal {V})\) and is intransitive or imprimitive on the underlying \(v\) -set \(\mathcal {V}\) . In the remaining case where \(G\le \mathrm{Sym}\,(\mathcal {V})\) and \(G\) is primitive on \(\mathcal {V}\) , we prove that, provided distinct codewords are at distance at least \(3\) , then \(G\) is \(2\) -transitive on \(\mathcal {V}\) . We examine many of the infinite families of finite \(2\) -transitive permutation groups and construct surprisingly rich families of examples of neighbour-transitive codes. A major unresolved case remains.     

Stationary and invariant densities and disintegration kernels

Let \(G\) be a locally compact topological group, acting measurably on some Borel spaces \(S\) and \(T\) , and consider some jointly stationary random measures \(\xi \) on \(S\times T\) and \(\eta \) on \(S\) such that \(\xi (\cdot \times T)\ll \eta \) a.s. Then there exists a stationary random kernel \(\zeta \) from \(S\) to \(T\) such that \(\xi =\eta \otimes \zeta \) a.s. This follows from the existence of an invariant kernel \(\varphi \) from \(S\times {\mathcal {M}}_{S\times T}\times {\mathcal {M}}_S\) to \(T\) such that \(\mu =\nu \otimes \varphi (\cdot ,\mu ,\nu )\) whenever \(\mu (\cdot \times T)\ll \nu \) . Also included are some related results on stationary integration, absolute continuity, and ergodic decomposition.     

Efficiently Hex-Meshing Things with Topology

A topological quadrilateral mesh \(Q\) of a connected surface in \(\mathbb {R}^3\) can be extended to a topological hexahedral mesh of the interior domain \(\varOmega \) if and only if \(Q\) has an even number of quadrilaterals and no odd cycle in \(Q\) bounds a surface inside \(\varOmega \) . Moreover, if such a mesh exists, the required number of hexahedra is within a constant factor of the minimum number of tetrahedra in a triangulation of \(\varOmega \) that respects \(Q\) . Finally, if \(Q\) is given as a polyhedron in \(\mathbb {R}^3\) with quadrilateral facets, a topological hexahedral mesh of the polyhedron can be constructed in polynomial time if such a mesh exists. All our results extend to domains with disconnected boundaries. Our results naturally generalize results of Thurston, Mitchell, and Eppstein for genus-zero and bipartite meshes, for which the odd-cycle criterion is trivial.     

On Artin Algebras Arising from Morita Contexts

We study Morita rings \(\Lambda _{(\phi ,\psi )}=\left (\begin {array}{cc}A &_{A}N_{B} \\ _{B}M_{A} & B \end {array}\right )\) in the context of Artin algebras from various perspectives. First we study covariantly finite, contravariantly finite, and functorially finite subcategories of the module category of a Morita ring when the bimodule homomorphisms \(\phi \) and \(\psi \) are zero. Further we give bounds for the global dimension of a Morita ring \(\Lambda _{(0,0)}\) , as an Artin algebra, in terms of the global dimensions of A and B in the case when both \(\phi \) and \(\psi \) are zero. We illustrate our bounds with some examples. Finally we investigate when a Morita ring is a Gorenstein Artin algebra and then we determine all the Gorenstein-projective modules over the Morita ring \(\Lambda _{\phi ,\psi }\) in case \(A=N=M=B\) and A an Artin algebra.     

Low Complexity Methods For Discretizing Manifolds Via Riesz Energy Minimization

Let \(A\) be a compact \(d\) -rectifiable set embedded in Euclidean space \({\mathbb R}^p, d\le p\) . For a given continuous distribution \(\sigma (x)\) with respect to a \(d\) -dimensional Hausdorff measure on \(A\) , our earlier results provided a method for generating \(N\) -point configurations on \(A\) that have an asymptotic distribution \(\sigma (x)\) as \(N\rightarrow \infty \) ; moreover, such configurations are “quasi-uniform” in the sense that the ratio of the covering radius to the separation distance is bounded independently of \(N\) . The method is based upon minimizing the energy of \(N\) particles constrained to \(A\) interacting via a weighted power-law potential \(w(x,y)|x-y|^{-s}\) , where \(s>d\) is a fixed parameter and \(w(x,y)=\left( \sigma (x)\sigma (y)\right) ^{-({s}/{2d})}\) . Here we show that one can generate points on \(A\) with the aforementioned properties keeping in the energy sums only those pairs of points that are located at a distance of at most \(r_N=C_N N^{-1/d}\) from each other, with \(C_N\) being a positive sequence tending to infinity arbitrarily slowly. To do this, we minimize the energy with respect to a varying truncated weight \(v_N(x,y)=\Phi (|x-y|/r_N)\cdot w(x,y)\) , where \(\Phi :(0,\infty )\rightarrow [0,\infty )\) is a bounded function with \(\Phi (t)=0, t\ge 1\) , and \(\lim _{t\rightarrow 0^+}\Phi (t)=1\) . Under appropriate assumptions, this reduces the complexity of generating \(N\) -point “low energy” discretizations to order \(N C_N^d\) computations.     

The theme of a vanishing period

Consider a multivalued formal function of the type 1 $$\begin{aligned} \varphi (s) : = \sum _{j=0}^k\,c_j(s).s^{\lambda + m_j}.(\mathrm{Log}\,s)^j, \end{aligned}$$ where \(\lambda \) is a positive rational number, \(c_j\) is in \({{\mathrm{\mathbb {C}}}}[[s]]\) and \(m_j \in \mathbb {N}\) for \(j \in [0,k-1]\) . The theme associated with such a \(\varphi \) is the “minimal filtered integral equation” satisfied by \(\varphi \) , in a sense which is made precise in this article. We study such objects and show that their isomorphism classes may be characterized by a finite set of complex numbers, when we assume the Bernstein polynomial of \(\varphi \) to be fixed. For a given \(\lambda \) , to fix the Bernstein polynomial is equivalent to fix a finite set of integers associated with the logarithm of the monodromy in the geometric situation described below. Our aim is to construct some analytic invariants, for instance in the following situation, let \(f : X \rightarrow D\) be a proper holomorphic function defined on a complex manifold \(X\) with values in a disc \(D\) . We assume that the only critical value is \(0 \in D\) and we consider this situation as a degenerating family of compact complex manifolds to a singular compact complex space \(f^{-1}(0)\) . To a smooth \((p+1)\) -form \(\omega \) on \(X\) such that \(\mathrm{d}\omega = 0 = \mathrm{d}f \wedge \omega \) and to a vanishing \(p\) -cycle \(\gamma \) chosen in the generic fiber \(f^{-1}(s_0), s_0 \in D \setminus \{0\}\) , we associated a “vanishing period” \(F_{\gamma }(s) : = \int _{\gamma _s} \omega \big /\mathrm{d}f \) which has an asymptotic expansion at \(0\) of the form \((1)\) above, when \(\gamma \) is chosen in the spectral subspace of \(H_p(f^{-1}(s_0), {{\mathrm{\mathbb {C}}}})\) for the eigenvalue \(\mathrm{e}^{2i\pi .\lambda }\) of the monodromy of \(f\) . Here \((\gamma _s)_{s \in D^*}\) is the horizontal multivalued family of \(p\) -cycles in the fibers of \(f\) obtained from the choice of \(\gamma \) . The aim of this article was to study the module generated by such a \(\varphi \) over the algebra \(\tilde{\mathcal {A}}\) , which is the \(b\) -completion of the algebra \(\mathcal {A}\) generated by the operators \(\mathrm{a} : = \times s\) and \(\mathrm{b} : = \int _{0}^{s}\) .