Showing 1–17 of 17 results for author: Mann, A

Threshold graphs, Kemeny's constant, and related random walk parameters

Authors: Jane Breen, Sooyeong Kim, Alexander Low Fung, Amy Mann, Andrei A. Parfeni, Giovanni Tedesco

Abstract: Kemeny's constant measures how fast a random walker moves around in a graph. Expressions for Kemeny's constant can be quite involved, and for this reason, many lines of research focus on graphs with structure that makes them amenable to more in-depth study (for example, regular graphs, acyclic graphs, and 1-connected graphs). In this article, we study Kemeny's constant for random walks on threshol… ▽ More Kemeny's constant measures how fast a random walker moves around in a graph. Expressions for Kemeny's constant can be quite involved, and for this reason, many lines of research focus on graphs with structure that makes them amenable to more in-depth study (for example, regular graphs, acyclic graphs, and 1-connected graphs). In this article, we study Kemeny's constant for random walks on threshold graphs, which are an interesting family of graphs with properties that make examining Kemeny's constant difficult; that is, they are usually not regular, not acyclic, and not 1-connected. This article is a showcase of various techniques for calculating Kemeny's constant and related random walk parameters for graphs. We establish explicit formulae for $\mathcal{K}(G)$ in terms of the construction code of a threshold graph, and completely determine the ordering of the accessibility indices of vertices in threshold graphs. △ Less

Submitted 12 October, 2023; originally announced October 2023.

MSC Class: 60J10; 05C81; 05C50; 05A19

Gaudin Models and Multipoint Conformal Blocks II: Comb channel vertices in 3D and 4D

Authors: Ilija Buric, Sylvain Lacroix, Jeremy A. Mann, Lorenzo Quintavalle, Volker Schomerus

Abstract: It was recently shown that multi-point conformal blocks in higher dimensional conformal field theory can be considered as joint eigenfunctions for a system of commuting differential operators. The latter arise as Hamiltonians of a Gaudin integrable system. In this work we address the reduced fourth order differential operators that measure the choice of 3-point tensor structures for all vertices o… ▽ More It was recently shown that multi-point conformal blocks in higher dimensional conformal field theory can be considered as joint eigenfunctions for a system of commuting differential operators. The latter arise as Hamiltonians of a Gaudin integrable system. In this work we address the reduced fourth order differential operators that measure the choice of 3-point tensor structures for all vertices of 3- and 4-dimensional comb channel conformal blocks. These vertices come associated with a single cross ratio. Remarkably, we identify the vertex operators as Hamiltonians of a crystallographic elliptic Calogero-Moser-Sutherland model that was discovered originally by Etingof, Felder, Ma and Veselov. Our construction is based on a further development of the embedding space formalism for mixed-symmetry tensor fields. The results thereby also apply to comb channel vertices of 5- and 6-point functions in arbitrary dimension. △ Less

Submitted 1 December, 2021; v1 submitted 30 July, 2021; originally announced August 2021.

Comments: 67 pages, 4 figures, v2: published version, inaccuracies corrected, figure and tables added, two Mathematica notebooks added

Report number: DESY 21-105, SAGEX-21-14-E, ZMP-HH/21-15

Journal ref: JHEP 11 (2021) 182

On abelian subgroups of finite groups

Authors: Avinoam Mann

Abstract: We consider abelain subgroups of small index in finite groups. More generally, we consider subgroups such that the product of their index by the index of their centralizer is small. We consider abelain subgroups of small index in finite groups. More generally, we consider subgroups such that the product of their index by the index of their centralizer is small. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Explicit universal minimal constants for polynomial growth of groups

Authors: Russell Lyons, Avinoam Mann, Romain Tessera, Matthew Tointon

Abstract: Shalom and Tao showed that a polynomial upper bound on the size of a single, large enough ball in a Cayley graph implies that the underlying group has a nilpotent subgroup with index and degree of polynomial growth both bounded effectively. The third and fourth authors proved the optimal bound on the degree of polynomial growth of this subgroup, at the expense of making some other parts of the res… ▽ More Shalom and Tao showed that a polynomial upper bound on the size of a single, large enough ball in a Cayley graph implies that the underlying group has a nilpotent subgroup with index and degree of polynomial growth both bounded effectively. The third and fourth authors proved the optimal bound on the degree of polynomial growth of this subgroup, at the expense of making some other parts of the result ineffective. In the present paper we prove the optimal bound on the degree of polynomial growth without making any losses elsewhere. As a consequence, we show that there exist explicit positive numbers $\varepsilon_d$ such that in any group with growth at least a polynomial of degree $d$, the growth is at least $\varepsilon_dn^d$. We indicate some applications in probability; in particular, we show that the gap at $1$ for the critical probability for Bernoulli site percolation on a Cayley graph, recently proven to exist by Panagiotis and Severo, is at least $\exp\bigl\{-\exp\bigl\{17 \exp\{100 \cdot 8^{100}\}\bigr\}\bigr\}$. △ Less

Submitted 19 March, 2022; v1 submitted 11 October, 2020; originally announced October 2020.

Comments: 6 pp; v2 changed title and added to introduction; v3 added two authors, totally rewritten, now 12 pp, improved results; v4, 17 pp., now includes explicit gap in percolation

MSC Class: 20F18; 20F65; 20F69; 60B15

The breadth-degree type of a finite $p$-group

Authors: Norberto Gavioli, Avinoam Mann, Valerio Monti

Abstract: We determine an upper bound for the size of a stem $p$-group in terms of its breadth and its maximum character degree. We determine an upper bound for the size of a stem $p$-group in terms of its breadth and its maximum character degree. △ Less

Submitted 9 August, 2021; v1 submitted 12 September, 2018; originally announced September 2018.

Comments: 11 pages

MSC Class: Primary 20D15; Secondary 20C15

A logical analysis of Monty Hall and Sleeping Beauty

Authors: Allen L. Mann, Ville Aarnio

Abstract: Hintikka and Sandu's independence-friendly (IF) logic is a conservative extension of first-order logic that allows one to consider semantic games with imperfect information. In the present article, we first show how several variants of the Monty Hall problem can be modeled as semantic games for IF sentences. In the process, we extend IF logic to include semantic games with chance moves and dub thi… ▽ More Hintikka and Sandu's independence-friendly (IF) logic is a conservative extension of first-order logic that allows one to consider semantic games with imperfect information. In the present article, we first show how several variants of the Monty Hall problem can be modeled as semantic games for IF sentences. In the process, we extend IF logic to include semantic games with chance moves and dub this extension stochastic IF logic. Finally, we use stochastic IF logic to analyze the Sleeping Beauty problem, leading to the conclusion that the thirders are correct while identifying the main error in the halfers' argument. △ Less

Submitted 27 December, 2016; originally announced January 2017.

Comments: 33 pages, 13 figures

MSC Class: 03B60

Counting Solutions to Discrete Non-Algebraic Equations Modulo Prime Powers

Authors: Abigail Mann

Abstract: As society becomes more reliant on computers, cryptographic security becomes increasingly important. Current encryption schemes include the ElGamal signature scheme, which depends on the complexity of the discrete logarithm problem. It is thought that the functions that such schemes use have inverses that are computationally intractable. In relation to this, we are interested in counting the solut… ▽ More As society becomes more reliant on computers, cryptographic security becomes increasingly important. Current encryption schemes include the ElGamal signature scheme, which depends on the complexity of the discrete logarithm problem. It is thought that the functions that such schemes use have inverses that are computationally intractable. In relation to this, we are interested in counting the solutions to a generalization of the discrete logarithm problem modulo a prime power. This is achieved by interpolating to p-adic functions, and using Hensel's lemma, or other methods in the case of singular lifting, and the Chinese Remainder Theorem. △ Less

Submitted 20 August, 2016; originally announced August 2016.

Comments: 17 pages; Senior Thesis, Rose-Hulman Institute of Technology

Report number: MSTR 16-01

Deconstructing the Welch Equation Using $p$-adic Methods

Authors: Abigail Mann, Adelyn Yeoh

Abstract: The Welch map $x \rightarrow g^{x-1+c}$ is similar to the discrete exponential map $x \rightarrow g^x$, which is used in many cryptographic applications including the ElGamal signature scheme. This paper analyzes the number of solutions to the Welch equation: $g^{x-1+c} \equiv x \pmod{p^e}$ where $p$ is a prime and $g$ is a unit modulo $p$, and looks at other patterns of the equation that could po… ▽ More The Welch map $x \rightarrow g^{x-1+c}$ is similar to the discrete exponential map $x \rightarrow g^x$, which is used in many cryptographic applications including the ElGamal signature scheme. This paper analyzes the number of solutions to the Welch equation: $g^{x-1+c} \equiv x \pmod{p^e}$ where $p$ is a prime and $g$ is a unit modulo $p$, and looks at other patterns of the equation that could possibly be exploited in a similar cryptographic system. Since the equation is modulo $p^e$, where $p$ is a prime number, $p$-adic methods of analysis are used in counting the number of solutions modulo $p^e$. These methods include: $p$-adic interpolation, Hensel's lemma and Chinese Remainder Theorem. △ Less

Submitted 20 August, 2016; originally announced August 2016.

Comments: 19 pages

Journal ref: Rose-Hulman Undergraduate Mathematics Journal, Vol. 16, Issue 1, 2015

Character degrees of some $p$-groups

Authors: Avinoam Mann

Abstract: We restrict the possibilities for the character degrees of $p$-groups $G$ satisfying $|G:G'| = p^2$. E.g. if $G$ is of maximal class and has an irreducible character of degree $> p$, then it has such a character of degree at most $p^{\frac{p+1}{2}}$. We restrict the possibilities for the character degrees of $p$-groups $G$ satisfying $|G:G'| = p^2$. E.g. if $G$ is of maximal class and has an irreducible character of degree $> p$, then it has such a character of degree at most $p^{\frac{p+1}{2}}$. △ Less

Submitted 15 February, 2016; originally announced February 2016.

MSC Class: 20D15

Some group theoretical mass formulae

Authors: Avinoam Mann

Abstract: A 'mass formula' is a formula involving a sum of reciprocals of automorphism groups orders. We provide several such formulae, e.g. ones involving covering groups of finite groups. Others generalize a formula of P.Hall, repalcing the class of abelian $p$-groups by subclasses, or by isoclinism classes of non-abelian groups, also by replacing automorphism groups by holomorphs, etc. We also note relat… ▽ More A 'mass formula' is a formula involving a sum of reciprocals of automorphism groups orders. We provide several such formulae, e.g. ones involving covering groups of finite groups. Others generalize a formula of P.Hall, repalcing the class of abelian $p$-groups by subclasses, or by isoclinism classes of non-abelian groups, also by replacing automorphism groups by holomorphs, etc. We also note relations with the Rogers-Ramanujan and related identities. △ Less

Submitted 31 December, 2020; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: There are some gaps in the proofs of Th.1 and Th.4, and the statement of these results need to be changed and correct proofs given

Philip Hall's 'rather curious' formula and the Rogers-Ramanujan identities

Authors: Avinoam Mann

Abstract: We show that a strange group theoretical formula of Hall follows from the Rogers-Ramanujan identities. We show that a strange group theoretical formula of Hall follows from the Rogers-Ramanujan identities. △ Less

Submitted 13 May, 2015; v1 submitted 10 May, 2015; originally announced May 2015.

Automorphism groups of covering groups

Authors: Avinoam Mann

Abstract: We derive a formula connecting the orders of the automorphism groups of a finite group and of its covering groups. We derive a formula connecting the orders of the automorphism groups of a finite group and of its covering groups. △ Less

Submitted 20 July, 2017; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: There is a gap in the proof of the main theorem (Theorem 1)

Gabor analysis as contraction of wavelets analysis

Authors: Eyal M. Subag, Ehud Moshe Baruch, Joseph L. Birman, Ady Mann

Abstract: We use the method of group contractions to relate wavelets analysis and Gabor analysis. Wavelets analysis is associated with unitary irreducible representations of the affine group while Gabor analysis is associated with unitary irreducible representations of the Heisenberg group. We obtain unitary irreducible representations of the Heisenberg group as contractions of representations of the extend… ▽ More We use the method of group contractions to relate wavelets analysis and Gabor analysis. Wavelets analysis is associated with unitary irreducible representations of the affine group while Gabor analysis is associated with unitary irreducible representations of the Heisenberg group. We obtain unitary irreducible representations of the Heisenberg group as contractions of representations of the extended affine group. Furthermore, we use these contractions to relate the two analyses, namely we contract coherent states, resolutions of the identity, and tight frames. In order to obtain the standard Gabor frame we construct a family of time localized wavelets frames that contract to that Gabor frame. Starting from a standard wavelets frame we construct a family of frequency localized wavelets frames that contract to a nonstandard Gabor frame. In particular we deform Gabor frames to wavelets frames. △ Less

Submitted 4 June, 2017; v1 submitted 5 March, 2014; originally announced March 2014.

MSC Class: 22E27; 22E70

Journal ref: Journal of Mathematical Physics (Vol.58, Issue 8), 2017

Strong contraction of the representations of the three dimensional Lie algebras

Authors: E. M. Subag, E. M. Baruch, J. L. Birman, A. Mann

Abstract: For any Inonu-Wigner contraction of a three dimensional Lie algebra we construct the corresponding contractions of representations. Our method is quite canonical in the sense that in all cases we deal with realizations of the representations on some spaces of functions; we contract the differential operators on those spaces along with the representation spaces themselves by taking certain pointwis… ▽ More For any Inonu-Wigner contraction of a three dimensional Lie algebra we construct the corresponding contractions of representations. Our method is quite canonical in the sense that in all cases we deal with realizations of the representations on some spaces of functions; we contract the differential operators on those spaces along with the representation spaces themselves by taking certain pointwise limit of functions. We call such contractions strong contractions. We show that this pointwise limit gives rise to a direct limit space. Many of these contractions are new and in other examples we give a different proof. △ Less

Submitted 12 April, 2012; v1 submitted 24 December, 2011; originally announced December 2011.

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 265206

"Iff" is not expressible in independence-friendly logic

Authors: Allen L. Mann

Abstract: Ordinary first-order logic has the property that two formulas φand ψhave the same meaning in a structure if and only if the formula ``φiff ψ'' is true in the structure. We prove that independence-friendly logic does not have this property. Ordinary first-order logic has the property that two formulas φand ψhave the same meaning in a structure if and only if the formula ``φiff ψ'' is true in the structure. We prove that independence-friendly logic does not have this property. △ Less

Submitted 29 June, 2008; originally announced June 2008.

Comments: 18 pages. Submitted to the Journal of Symbolic Logic

Perfect IFG-formulas

Authors: Allen L. Mann

Abstract: IFG logic is a variant of the independence-friendly logic of Hintikka and Sandu. We answer the question: ``Which IFG-formulas are equivalent to ordinary first-order formulas?'' We use the answer to show that the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure. IFG logic is a variant of the independence-friendly logic of Hintikka and Sandu. We answer the question: ``Which IFG-formulas are equivalent to ordinary first-order formulas?'' We use the answer to show that the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure. △ Less

Submitted 14 February, 2008; originally announced February 2008.

Comments: 7 pages. Submitted to Logica Universalis. See also http://math.colgate.edu/~amann/

MSC Class: 03G25; 03B60; 03G15

Journal ref: Logica Universalis, 2(2):265-275, Oct 2008.

Independence-friendly cylindric set algebras

Authors: Allen L. Mann

Abstract: Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of f… ▽ More Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of first-order logic. We define independence-friendly cylindric set algebras and prove two main results. First, every independence-friendly cylindric set algebra over a structure has an underlying Kleene algebra. Moreover, the class of such underlying Kleene algebras generates the variety of all Kleene algebras. Hence the equational theory of the class of Kleene algebras that underly an independence-friendly cylindric set algebra is finitely axiomatizable. Second, every one-dimensional independence-friendly cylindric set algebra over a structure has an underlying monadic Kleene algebra. However, the class of such underlying monadic Kleene algebras does not generate the variety of all monadic Kleene algebras. Finally, we offer a conjecture about which subvariety of monadic Kleene algebras the class of such monadic Kleene algebras does generate. △ Less

Submitted 27 November, 2007; originally announced November 2007.

Comments: 42 pages. Submitted to the Logic Journal of the IGPL. See also http://math.colgate.edu/~amann/

MSC Class: 03G25; 06D30

Journal ref: Logic Journal of IGPL 2009