Showing 1–36 of 36 results for author: Su, F

A decorrelation method for general regression adjustment in randomized experiments

Authors: Fangzhou Su, Wenlong Mou, Peng Ding, Martin J. Wainwright

Abstract: We study regression adjustment with general function class approximations for estimating the average treatment effect in the design-based setting. Standard regression adjustment involves bias due to sample re-use, and this bias leads to behavior that is sub-optimal in the sample size, and/or imposes restrictive assumptions. Our main contribution is to introduce a novel decorrelation-based approach… ▽ More We study regression adjustment with general function class approximations for estimating the average treatment effect in the design-based setting. Standard regression adjustment involves bias due to sample re-use, and this bias leads to behavior that is sub-optimal in the sample size, and/or imposes restrictive assumptions. Our main contribution is to introduce a novel decorrelation-based approach that circumvents these issues. We prove guarantees, both asymptotic and non-asymptotic, relative to the oracle functions that are targeted by a given regression adjustment procedure. We illustrate our method by applying it to various high-dimensional and non-parametric problems, exhibiting improved sample complexity and weakened assumptions relative to known approaches. △ Less

Submitted 16 November, 2023; originally announced November 2023.

Comments: Fangzhou Su and Wenlong Mou contributed equally to this work

The extended quasi-Einstein manifolds with generalised Ricci solitons

Authors: Zhiming Huang, Weijun Lu, Fuhong Su

Abstract: As a generalization of Einstein manifolds, the nearly quasi-Einstein manifolds and pseudo quasi-Einstein manifolds are both interesting and useful in studying the general relativity. In this paper, we study the extended quasi-Einstein manifolds which derive from pseudo quasi-Einstein manifolds. After showing the existence theorem of extended quasi-Einstein manifold, we give some special geometric… ▽ More As a generalization of Einstein manifolds, the nearly quasi-Einstein manifolds and pseudo quasi-Einstein manifolds are both interesting and useful in studying the general relativity. In this paper, we study the extended quasi-Einstein manifolds which derive from pseudo quasi-Einstein manifolds. After showing the existence theorem of extended quasi-Einstein manifold, we give some special geometric properties of such manifolds. At the same time, we also discuss the extended quasi-Einstein manifolds with certain soliton like generalised Ricci soliton or Riemann soliton. Furthermore, we construct some nontrivial example to illustrate these extended quasi-Einstein manifolds. △ Less

Submitted 24 September, 2022; originally announced September 2022.

Comments: 16 pages

MSC Class: 53C25; 53C35

Rankin-Selberg convolutions for $\mathrm{GL}(n)\times \mathrm{GL}(n)$ and $\mathrm{GL}(n)\times \mathrm{GL}(n-1)$ for principal series representations

Authors: Jian-Shu Li, Dongwen Liu, Feng Su, Binyong Sun

Abstract: Let $\mathsf k$ be a local field. Let $I_ν$ and $I_{ν'}$ be smooth principal series representations of $\mathrm{GL}_n(\mathsf k)$ and $\mathrm{GL}_{n-1}(\mathsf k)$ respectively. The Rankin-Selberg integrals yield a continuous bilinear map $I_ν\times I_{ν'}\rightarrow \mathbb C$ with a certain invariance property. We study integrals over a certain open orbit that also yield a continuous bilinear m… ▽ More Let $\mathsf k$ be a local field. Let $I_ν$ and $I_{ν'}$ be smooth principal series representations of $\mathrm{GL}_n(\mathsf k)$ and $\mathrm{GL}_{n-1}(\mathsf k)$ respectively. The Rankin-Selberg integrals yield a continuous bilinear map $I_ν\times I_{ν'}\rightarrow \mathbb C$ with a certain invariance property. We study integrals over a certain open orbit that also yield a continuous bilinear map $I_ν\times I_{ν'}\rightarrow \mathbb C$ with the same invariance property, and show that these integrals equal the Rankin-Selberg integrals up to an explicit constant. Similar results are also obtained for Rankin-Selberg integrals for $\mathrm{GL}_n(\mathsf k)\times \mathrm{GL}_n(\mathsf k)$. △ Less

Submitted 13 December, 2022; v1 submitted 11 September, 2021; originally announced September 2021.

MSC Class: 22E50

Rankin-Selberg integrals for principal series representations of GL(n)

Authors: Dongwen Liu, Feng Su, Binyong Sun

Abstract: We prove that the local Rankin--Selberg integrals for principal series representations of the general linear groups agree with certain simple integrals over the Rankin--Selberg subgroups, up to certain constants given by the local gamma factors. We prove that the local Rankin--Selberg integrals for principal series representations of the general linear groups agree with certain simple integrals over the Rankin--Selberg subgroups, up to certain constants given by the local gamma factors. △ Less

Submitted 11 September, 2021; originally announced September 2021.

MSC Class: 22E46; 43A80

Model-assisted analyses of cluster-randomized experiments

Authors: Fangzhou Su, Peng Ding

Abstract: Cluster-randomized experiments are widely used due to their logistical convenience and policy relevance. To analyze them properly, we must address the fact that the treatment is assigned at the cluster level instead of the individual level. Standard analytic strategies are regressions based on individual data, cluster averages, and cluster totals, which differ when the cluster sizes vary. These me… ▽ More Cluster-randomized experiments are widely used due to their logistical convenience and policy relevance. To analyze them properly, we must address the fact that the treatment is assigned at the cluster level instead of the individual level. Standard analytic strategies are regressions based on individual data, cluster averages, and cluster totals, which differ when the cluster sizes vary. These methods are often motivated by models with strong and unverifiable assumptions, and the choice among them can be subjective. Without any outcome modeling assumption, we evaluate these regression estimators and the associated robust standard errors from a design-based perspective where only the treatment assignment itself is random and controlled by the experimenter. We demonstrate that regression based on cluster averages targets a weighted average treatment effect, regression based on individual data is suboptimal in terms of efficiency, and regression based on cluster totals is consistent and more efficient with a large number of clusters. We highlight the critical role of covariates in improving estimation efficiency, and illustrate the efficiency gain via both simulation studies and data analysis. Moreover, we show that the robust standard errors are convenient approximations to the true asymptotic standard errors under the design-based perspective. Our theory holds even when the outcome models are misspecified, so it is model-assisted rather than model-based. We also extend the theory to a wider class of weighted average treatment effects. △ Less

Submitted 5 August, 2021; v1 submitted 9 April, 2021; originally announced April 2021.

The Game of Cycles

Authors: Ryan Alvarado, Maia Averett, Benjamin Gaines, Christopher Jackson, Mary Leah Karker, Malgorzata Aneta Marciniak, Francis Su, Shanise Walker

Abstract: The Game of Cycles, introduced by Su (2020), is played on a simple connected planar graph together with its bounded cells, and players take turns marking edges with arrows according to a sink-source rule that gives the game a topological flavor. The object of the game is to produce a cycle cell---a cell surrounded by arrows all cycling in one direction---or to make the last possible move. We analy… ▽ More The Game of Cycles, introduced by Su (2020), is played on a simple connected planar graph together with its bounded cells, and players take turns marking edges with arrows according to a sink-source rule that gives the game a topological flavor. The object of the game is to produce a cycle cell---a cell surrounded by arrows all cycling in one direction---or to make the last possible move. We analyze the two-player game for various classes of graphs and determine who has a winning strategy. We also establish a topological property of the game: that a board with every edge marked must have a cycle cell. △ Less

Submitted 1 April, 2020; originally announced April 2020.

Comments: 20 pages, 22 figures

MSC Class: 91A46 (Primary); 05C57 (Secondary)

Multilabeled versions of Sperner's and Fan's lemmas and applications

Authors: Frédéric Meunier, Francis Edward Su

Abstract: We propose a general technique related to the polytopal Sperner lemma for proving old and new multilabeled versions of Sperner's lemma. A notable application of this technique yields a cake-cutting theorem where the number of players and the number of pieces can be independently chosen. We also prove multilabeled versions of Fan's lemma, a combinatorial analogue of the Borsuk-Ulam theorem, and exh… ▽ More We propose a general technique related to the polytopal Sperner lemma for proving old and new multilabeled versions of Sperner's lemma. A notable application of this technique yields a cake-cutting theorem where the number of players and the number of pieces can be independently chosen. We also prove multilabeled versions of Fan's lemma, a combinatorial analogue of the Borsuk-Ulam theorem, and exhibit applications to fair division and graph coloring. △ Less

Submitted 9 May, 2019; v1 submitted 6 January, 2018; originally announced January 2018.

Comments: 21 pages, 2 figures

MSC Class: Primary 55M20; Secondary 54H25; 05E45; 91B32

Piercing Numbers in Approval Voting

Authors: Francis Edward Su, Shira Zerbib

Abstract: We survey a host of results from discrete geometry that have bearing on the analysis of geometric models of approval voting. Such models view the political spectrum as a geometric space, with geometric constraints on voter preferences. Results on piercing numbers then have a natural interpretation in voting theory, and we survey their implications for various classes of geometric constraints on vo… ▽ More We survey a host of results from discrete geometry that have bearing on the analysis of geometric models of approval voting. Such models view the political spectrum as a geometric space, with geometric constraints on voter preferences. Results on piercing numbers then have a natural interpretation in voting theory, and we survey their implications for various classes of geometric constraints on voter approval sets. △ Less

Submitted 27 June, 2019; v1 submitted 25 October, 2017; originally announced October 2017.

MSC Class: 52A35; 91B12

Fair division with multiple pieces

Authors: Kathryn Nyman, Francis Edward Su, Shira Zerbib

Abstract: Given a set of $p$ players we consider problems concerning envy-free allocation of collections of $k$ pieces from a given set of goods or chores. We show that if $p\le n$ and each player can choose $k$ pieces out of $n$ pieces of a cake, then there exist a division of the cake and an allocation of the pieces where at least $\frac{p}{2(k^2-k+1)}$ players get their desired $k$ pieces each. We furthe… ▽ More Given a set of $p$ players we consider problems concerning envy-free allocation of collections of $k$ pieces from a given set of goods or chores. We show that if $p\le n$ and each player can choose $k$ pieces out of $n$ pieces of a cake, then there exist a division of the cake and an allocation of the pieces where at least $\frac{p}{2(k^2-k+1)}$ players get their desired $k$ pieces each. We further show that if $p\le k(n-1)+1$ and each player can choose $k$ pieces, one from each of $k$ cakes that are divided into $n$ pieces each, then there exist a division of the cakes and allocation of the pieces where at least $\frac{p}{2k(k-1)}$ players get their desired $k$ pieces. Finally we prove that if $p\ge k(n-1)+1$ and each player can choose one shift in each of $k$ days that are partitioned into $n$ shifts each, then, given that the salaries of the players are fixed, there exist $n(1+\ln k)$ players covering all the shifts, and moreover, if $k=2$ then $n$ players suffice. Our proofs combine topological methods and theorems of Füredi, Lovász and Gallai from hypergraph theory. △ Less

Submitted 25 October, 2017; originally announced October 2017.

Upper bounds for geodesic periods over rank one locally symmetric spaces

Authors: Jan Möllers, Feng Su

Abstract: We prove upper bounds for geodesic periods of automorphic forms over general rank one locally symmetric spaces. Such periods are integrals of automorphic forms restricted to special totally geodesic cycles of the ambient manifold and twisted with automorphic forms on the cycles. The upper bounds are in terms of the Laplace eigenvalues of the two automorphic forms, and they generalize previous resu… ▽ More We prove upper bounds for geodesic periods of automorphic forms over general rank one locally symmetric spaces. Such periods are integrals of automorphic forms restricted to special totally geodesic cycles of the ambient manifold and twisted with automorphic forms on the cycles. The upper bounds are in terms of the Laplace eigenvalues of the two automorphic forms, and they generalize previous results for real hyperbolic manifolds to the context of all rank one locally symmetric spaces. △ Less

Submitted 4 September, 2017; originally announced September 2017.

Comments: 14 pages

Journal ref: Forum Math. 30 (2018), no. 5, 1065-1077

Rankin-Selberg periods for spherical principal series

Authors: Jan Frahm, Feng Su

Abstract: By the unfolding method, Rankin-Selberg L-functions for ${\rm GL}(n)\times{\rm GL}(m)$ can be expressed in terms of period integrals. These period integrals actually define invariant forms on tensor products of the relevant automorphic representations. By the multiplicity-one theorems due to Sun-Zhu and Chen-Sun such invariant forms are unique up to scalar multiples and can therefore be related to… ▽ More By the unfolding method, Rankin-Selberg L-functions for ${\rm GL}(n)\times{\rm GL}(m)$ can be expressed in terms of period integrals. These period integrals actually define invariant forms on tensor products of the relevant automorphic representations. By the multiplicity-one theorems due to Sun-Zhu and Chen-Sun such invariant forms are unique up to scalar multiples and can therefore be related to invariant forms on equivalent principal series representations. We construct meromorphic families of such invariant forms for spherical principal series representations of ${\rm GL}(n,\mathbb{R})$ and conjecture that their special values at the spherical vectors agree in absolute value with the archimedean local L-factors of the corresponding L-functions. We verify this conjecture in several cases. This work can be viewed as the first of two steps in a technique due to Bernstein-Reznikov for estimating L-functions using their period integral expressions. △ Less

Submitted 5 October, 2022; v1 submitted 16 June, 2017; originally announced June 2017.

Comments: 25 pages. v4 is the final published version

MSC Class: Primary 11F70; Secondary 22E46; 53C35

Journal ref: Manuscripta Math. 168 (2022), no. 1-2, 1-33

Lattice points counting and bounds on periods of Maass forms

Authors: Andre Reznikov, Feng Su

Abstract: We provide a "soft" proof for non-trivial bounds on spherical, hyperbolic and unipotent Fourier coefficients of a fixed Maass form for a general co-finite lattice $Γ$ in $PGL(2,R)$. We use the amplification method based on the Airy type phenomenon for corresponding matrix coefficients and an effective Selberg type pointwise asymptotic for the lattice points counting in various homogeneous spaces f… ▽ More We provide a "soft" proof for non-trivial bounds on spherical, hyperbolic and unipotent Fourier coefficients of a fixed Maass form for a general co-finite lattice $Γ$ in $PGL(2,R)$. We use the amplification method based on the Airy type phenomenon for corresponding matrix coefficients and an effective Selberg type pointwise asymptotic for the lattice points counting in various homogeneous spaces for $PGL(2,R)$. △ Less

Submitted 27 October, 2016; originally announced October 2016.

Nonvanishing of geodesic periods over compact hyperbolic manifolds

Authors: Feng Su

Abstract: Let $X$ be a compact hyperbolic manifold with dimension $d\geqslant3$. In this paper we show that there are infinitely many nonvanishing geodesic periods defined over any compact $n$-dimensional ($n\geqslant2$) geodesic cycle of $X$. Let $X$ be a compact hyperbolic manifold with dimension $d\geqslant3$. In this paper we show that there are infinitely many nonvanishing geodesic periods defined over any compact $n$-dimensional ($n\geqslant2$) geodesic cycle of $X$. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: 24 pages

MSC Class: 11F30 (Primary); 22E30; 22E43 (Secondary)

Upper bounds for geodesic periods over hyperbolic manifolds

Authors: Feng Su

Abstract: We prove an upper bound for geodesic periods of Maass forms over hyperbolic manifolds. By definition, such periods are integrals of Maass forms restricted to a special geodesic cycle of the ambient manifold, against a Maass form on the cycle. Under certain restrictions, the bound will be uniform. We prove an upper bound for geodesic periods of Maass forms over hyperbolic manifolds. By definition, such periods are integrals of Maass forms restricted to a special geodesic cycle of the ambient manifold, against a Maass form on the cycle. Under certain restrictions, the bound will be uniform. △ Less

Submitted 26 January, 2018; v1 submitted 10 May, 2016; originally announced May 2016.

Comments: 17 pages; revised version

MSC Class: 22E43 (Primary); 11F67; 11F70 (Secondary)

Proving Tucker's Lemma with a Volume Argument

Authors: Beauttie Kuture, Oscar Leong, Christopher Loa, Mutiara Sondjaja, Francis Edward Su

Abstract: Sperner's lemma is a statement about labeled triangulations of a simplex. McLennan and Tourky (2007) provided a novel proof of Sperner's Lemma by examining volumes of simplices in a triangulation under time-linear simplex-linear deformation. We adapt a similar argument to prove Tucker's Lemma on a triangulated cross-polytope $P$. The McLennan-Tourky technique does not directly apply because this d… ▽ More Sperner's lemma is a statement about labeled triangulations of a simplex. McLennan and Tourky (2007) provided a novel proof of Sperner's Lemma by examining volumes of simplices in a triangulation under time-linear simplex-linear deformation. We adapt a similar argument to prove Tucker's Lemma on a triangulated cross-polytope $P$. The McLennan-Tourky technique does not directly apply because this deformation may distort the volume of $P$. We remedy this by inscribing $P$ in its dual polytope, triangulating it, and considering how the volumes of deformed simplices behave. △ Less

Submitted 8 April, 2016; originally announced April 2016.

MSC Class: 05A99 (Primary) 55M20 (Secondary)

Discrete Envy-free Division of Necklaces and Maps

Authors: Roberto Barrera, Kathryn Nyman, Amanda Ruiz, Francis Edward Su, Yan X. Zhang

Abstract: We study the discrete variation of the classical cake-cutting problem where n players divide a 1-dimensional cake with exactly (n-1) cuts, replacing the continuous, infinitely divisible "cake" with a necklace of discrete, indivisible "beads." We focus specifically on envy-free divisions, exploring different constraints on player-preferences. We show we usually cannot guarantee an envy-free divisio… ▽ More We study the discrete variation of the classical cake-cutting problem where n players divide a 1-dimensional cake with exactly (n-1) cuts, replacing the continuous, infinitely divisible "cake" with a necklace of discrete, indivisible "beads." We focus specifically on envy-free divisions, exploring different constraints on player-preferences. We show we usually cannot guarantee an envy-free division and consider situations where we can obtain an envy-free division for relatively small. We also prove a 2-dimensional result with a grid of indivisible objects. This may be viewed as a way to divide a state with indivisible districts among a set of constituents, producing somewhat gerrymandered regions that form an envy-free division of the state. △ Less

Submitted 12 October, 2017; v1 submitted 7 October, 2015; originally announced October 2015.

Comments: 10 pages

MSC Class: 05A99; 91B14

Fair Division and Redistricting

Authors: Zeph Landau, Francis Edward Su

Abstract: Recently, Landau, Reid and Yershov provided a novel solution to the problem of redistricting. Instead of trying to ensure fairness by restricting the shape of the possible maps or by assigning the power to draw the map to nonbiased entities, the solution ensures fairness by balancing competing interests against each other. This kind of solution is an example of what are known as "fair division" so… ▽ More Recently, Landau, Reid and Yershov provided a novel solution to the problem of redistricting. Instead of trying to ensure fairness by restricting the shape of the possible maps or by assigning the power to draw the map to nonbiased entities, the solution ensures fairness by balancing competing interests against each other. This kind of solution is an example of what are known as "fair division" solutions--- such solutions involve the preferences of all parties and are accompanied by rigorous guarantees of a specified well-defined notion of fairness. In this expository article, we give an introduction to the ideas of fair division in the context of this redistricting solution. Through examples and discussion we clarify how fair division methods can play an important role in a realistic redistricting solution by introducing an interactive step that incorporates a certain kind of fairness that can be used in concert with, and not a substitute for, other necessary or desired criteria for a good redistricting solution. △ Less

Submitted 4 February, 2014; originally announced February 2014.

Comments: 20 pages; to appear, Contemporary Mathematics

MSC Class: Primary 91F10; Secondary 91B32; 91B12

Journal ref: Contemporary Mathematics 624 (2014), 17-36

Voting for Committees in Agreeable Societies

Authors: Matt Davis, Michael E. Orrison, Francis Edward Su

Abstract: We examine the following voting situation. A committee of $k$ people is to be formed from a pool of n candidates. The voters selecting the committee will submit a list of $j$ candidates that they would prefer to be on the committee. We assume that $j \leq k < n$. For a chosen committee, a given voter is said to be satisfied by that committee if her submitted list of $j$ candidates is a subset of t… ▽ More We examine the following voting situation. A committee of $k$ people is to be formed from a pool of n candidates. The voters selecting the committee will submit a list of $j$ candidates that they would prefer to be on the committee. We assume that $j \leq k < n$. For a chosen committee, a given voter is said to be satisfied by that committee if her submitted list of $j$ candidates is a subset of that committee. We examine how popular is the most popular committee. In particular, we show there is always a committee that satisfies a certain fraction of the voters and examine what characteristics of the voter data will increase that fraction. △ Less

Submitted 4 February, 2014; originally announced February 2014.

Comments: 11 pages; to appear in Contemporary Mathematics

MSC Class: 05C62; 91B12

Double-interval societies

Authors: Maria Klawe, Kathryn L. Nyman, Jacob N. Scott, Francis Edward Su

Abstract: Consider a society of voters, each of whom specify an approval set over a linear political spectrum. We examine double-interval societies, in which each person's approval set is represented by two disjoint closed intervals, and study this situation where the approval sets are pairwise-intersecting: every pair of voters has a point in the intersection of their approval sets. The approval ratio for… ▽ More Consider a society of voters, each of whom specify an approval set over a linear political spectrum. We examine double-interval societies, in which each person's approval set is represented by two disjoint closed intervals, and study this situation where the approval sets are pairwise-intersecting: every pair of voters has a point in the intersection of their approval sets. The approval ratio for a society is, loosely speaking, the popularity of the most popular position on the spectrum. We study the question: what is the minimal guaranteed approval ratio for such a society? We provide a lower bound for the approval ratio, and examine a family of societies that have rather low approval ratios. These societies arise from double-n strings: arrangements of n symbols in which each symbol appears exactly twice. △ Less

Submitted 18 July, 2013; originally announced July 2013.

Comments: 12 pages, 6 figures

MSC Class: 52A35; 91B12

A Tur'an-type problem for circular arc graphs

Authors: Rosalie Carlson, Stephen Flood, Kevin O'Neill, Francis Edward Su

Abstract: A circular arc graph is the intersection graph of a collection of connected arcs on the circle. We solve a Tur'an-type problem for circular arc graphs: for n arcs, if m and M are the minimum and maximum number of arcs that contain a common point, what is the maximum number of edges the circular arc graph can contain? We establish a sharp bound and produce a maximal construction. For a fixed m, thi… ▽ More A circular arc graph is the intersection graph of a collection of connected arcs on the circle. We solve a Tur'an-type problem for circular arc graphs: for n arcs, if m and M are the minimum and maximum number of arcs that contain a common point, what is the maximum number of edges the circular arc graph can contain? We establish a sharp bound and produce a maximal construction. For a fixed m, this can be used to show that if the circular arc graph has enough edges, there must be a point that is covered by at least M arcs. In the case m=0, we recover results for interval graphs established by Abbott and Katchalski (1979). We suggest applications to voting situations with interval or circular political spectra. △ Less

Submitted 19 October, 2011; originally announced October 2011.

Comments: 18 pages, 8 figures, related papers at http://www.math.hmc.edu/~su/papers.html

MSC Class: 05C75; 91B12

A lower bound technique for triangulations of simplotopes

Authors: Tyler Seacrest, Francis Edward Su

Abstract: Products of simplices, called simplotopes, and their triangulations arise naturally in algorithmic applications in game theory and optimization. We develop techniques to derive lower bounds for the size of simplicial covers and triangulations of simplotopes, including those with interior vertices. We establish that a minimal triangulation of a product of two simplices is given by a vertex triangul… ▽ More Products of simplices, called simplotopes, and their triangulations arise naturally in algorithmic applications in game theory and optimization. We develop techniques to derive lower bounds for the size of simplicial covers and triangulations of simplotopes, including those with interior vertices. We establish that a minimal triangulation of a product of two simplices is given by a vertex triangulation, i.e., one without interior vertices. For products of more than two simplices, we produce bounds for products of segments and triangles. Aside from cubes, these are the first known lower bounds for triangulations of simplotopes with three or more factors, and our techniques suggest extensions to products of other kinds of simplices. We also construct a minimal triangulation of size 10 for the product of a triangle and a square using our lower bound. △ Less

Submitted 17 July, 2017; v1 submitted 6 October, 2009; originally announced October 2009.

Comments: 31 pages, related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 52B11; 05E45 (Primary); 52B12; 52B05 (Secondary)

A cubical antipodal theorem

Authors: Kyle E. Kinneberg, Aaron Mazel-Gee, Tia Sondjaja, Francis Edward Su

Abstract: The classical Lusternik-Schnirelman-Borsuk theorem states that if a d-sphere is covered by d+1 closed sets, then at least one of the sets must contain a pair of antipodal points. In this paper, we prove a combinatorial version of this theorem for hypercubes. It is not hard to show that for any cover of the facets of a d-cube by d sets of facets, at least one such set contains a pair of antipodal… ▽ More The classical Lusternik-Schnirelman-Borsuk theorem states that if a d-sphere is covered by d+1 closed sets, then at least one of the sets must contain a pair of antipodal points. In this paper, we prove a combinatorial version of this theorem for hypercubes. It is not hard to show that for any cover of the facets of a d-cube by d sets of facets, at least one such set contains a pair of antipodal ridges. However, we show that for any cover of the ridges of a d-cube by d sets of ridges, at least one set must contain a pair of antipodal k-faces, and we determine the maximum k for which this must occur, for all dimensions except d=5. △ Less

Submitted 2 September, 2009; originally announced September 2009.

Comments: 15 pages, 2 figures. See related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 54H25; 55M20

Splitting fields and periods of Fibonacci sequences modulo primes

Authors: Sanjai Gupta, Parousia Rockstroh, Francis Edward Su

Abstract: What is the period of the Fibonacci sequence modulo a prime? The purpose of our brief expository paper is to illustrate an accessible, motivated treatment of this classical topic using only ideas from linear and abstract algebra (rather than the case-by-case analysis found in many papers on the subject, or techniques from graduate number theory). Our methods extend to general recurrences with pr… ▽ More What is the period of the Fibonacci sequence modulo a prime? The purpose of our brief expository paper is to illustrate an accessible, motivated treatment of this classical topic using only ideas from linear and abstract algebra (rather than the case-by-case analysis found in many papers on the subject, or techniques from graduate number theory). Our methods extend to general recurrences with prime moduli and provide some new insights. And our treatment highlights a nice application of the use of splitting fields that might be suitable to present in undergraduate course in abstract algebra or Galois theory. △ Less

Submitted 2 September, 2009; originally announced September 2009.

Comments: 5 pages. See also http://www.math.hmc.edu/~su/papers.html

MSC Class: 11B39

A Tree Sperner Lemma

Authors: Andrew Niedermaier, Douglas Rizzolo, Francis Edward Su

Abstract: In this paper we prove a combinatorial theorem for finite labellings of trees, and show that it is equivalent to a theorem for finite covers of metric trees and a fixed point theorem on metric trees. We trace how these connections mimic the equivalence of the Brouwer fixed point theorem with the classical KKM lemma and Sperner's lemma. We also draw connections to a KKM-type theorem about infinite… ▽ More In this paper we prove a combinatorial theorem for finite labellings of trees, and show that it is equivalent to a theorem for finite covers of metric trees and a fixed point theorem on metric trees. We trace how these connections mimic the equivalence of the Brouwer fixed point theorem with the classical KKM lemma and Sperner's lemma. We also draw connections to a KKM-type theorem about infinite covers of metric trees and fixed point theorems for non-compact metric trees. Finally, we develop a new KKM-type theorem for cycles, and discuss interesting social consequences, including an application in voting theory. △ Less

Submitted 9 July, 2013; v1 submitted 2 September, 2009; originally announced September 2009.

Comments: 18 pages, 4 figures. See also related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 05C10; 55M20; 05C05

N-person envy-free chore division

Authors: Elisha Peterson, Francis Edward Su

Abstract: In contrast to the classical cake-cutting problem (how to fairly divide a desirable object), "chore division" is the problem of how to divide an undesirable object. We develop the first explicit algorithm for envy-free chore division among N people, a counterpart to the N-person envy-free cake-division solution of Brams-Taylor (1995). This is accomplished by exploiting a notion of "irrevocable a… ▽ More In contrast to the classical cake-cutting problem (how to fairly divide a desirable object), "chore division" is the problem of how to divide an undesirable object. We develop the first explicit algorithm for envy-free chore division among N people, a counterpart to the N-person envy-free cake-division solution of Brams-Taylor (1995). This is accomplished by exploiting a notion of "irrevocable advantage" for chores. We discuss the differences between cake-cutting and chore division and additional problems encountered in chore division. △ Less

Submitted 1 September, 2009; originally announced September 2009.

Comments: 7 pages, 1 figure. See related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 90D06; 90A06; 00A69

Two-player envy-free multi-cake division

Authors: John Cloutier, Kathryn L. Nyman, Francis Edward Su

Abstract: We introduce a generalized cake-cutting problem in which we seek to divide multiple cakes so that two players may get their most-preferred piece selections: a choice of one piece from each cake, allowing for the possibility of linked preferences over the cakes. For two players, we show that disjoint envy-free piece selections may not exist for two cakes cut into two pieces each, and they may not… ▽ More We introduce a generalized cake-cutting problem in which we seek to divide multiple cakes so that two players may get their most-preferred piece selections: a choice of one piece from each cake, allowing for the possibility of linked preferences over the cakes. For two players, we show that disjoint envy-free piece selections may not exist for two cakes cut into two pieces each, and they may not exist for three cakes cut into three pieces each. However, there do exist such divisions for two cakes cut into three pieces each, and for three cakes cut into four pieces each. The resulting allocations of pieces to players are Pareto-optimal with respect to the division. We use a generalization of Sperner's lemma on the polytope of divisions to locate solutions to our generalized cake-cutting problem. △ Less

Submitted 1 September, 2009; originally announced September 2009.

Comments: 15 pages, 7 figures, see related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 52B05; 91B32

Voting in agreeable societies

Authors: Deborah E. Berg, Serguei Norine, Francis Edward Su, Robin Thomas, Paul Wollan

Abstract: When can a majority of voters find common ground, that is, a position they all agree upon? How does the shape of the political spectrum influence the outcome? When mathematical objects have a social interpretation, the associated theorems have social applications. In this article we give examples of situations where sets model preferences and develop extensions of classical theorems about convex… ▽ More When can a majority of voters find common ground, that is, a position they all agree upon? How does the shape of the political spectrum influence the outcome? When mathematical objects have a social interpretation, the associated theorems have social applications. In this article we give examples of situations where sets model preferences and develop extensions of classical theorems about convex sets, such as Helly's theorem, that can be used in the analysis of voting in "agreeable" societies. △ Less

Submitted 19 November, 2008; originally announced November 2008.

Comments: 13 pages, 8 figures; to appear, Amer. Math. Monthly. Related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 52A35; 91B12

Journal ref: Amer. Math. Monthly 117 (2010), pp 27-39

A fixed point theorem for the infinite-dimensional simplex

Authors: Douglas Rizzolo, Francis Edward Su

Abstract: We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^infinity, and prove that this space has the 'fixed point property': any continuous function from the space into itself has a fixed point. Our proof is constructive, in the sense that it can be used to find an approximate fixed point; the proof relies on elementary analysis and Spern… ▽ More We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^infinity, and prove that this space has the 'fixed point property': any continuous function from the space into itself has a fixed point. Our proof is constructive, in the sense that it can be used to find an approximate fixed point; the proof relies on elementary analysis and Sperner's lemma. The fixed point theorem is shown to imply Schauder's fixed point theorem on infinite-dimensional compact convex subsets of normed spaces. △ Less

Submitted 23 October, 2006; originally announced October 2006.

Comments: 8 pages; related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 54H25 (Primary); 47H10; 55M20 (Secondary)

Journal ref: J. Math. Anal. Appl. 332 (2007) 1063-1070

The Shapley Value of Phylogenetic Trees

Authors: Claus-Jochen Haake, Akemi Kashiwada, Francis Edward Su

Abstract: Every weighted tree corresponds naturally to a cooperative game that we call a "tree game"; it assigns to each subset of leaves the sum of the weights of the minimal subtree spanned by those leaves. In the context of phylogenetic trees, the leaves are species and this assignment captures the diversity present in the coalition of species considered. We consider the Shapley value of tree games and… ▽ More Every weighted tree corresponds naturally to a cooperative game that we call a "tree game"; it assigns to each subset of leaves the sum of the weights of the minimal subtree spanned by those leaves. In the context of phylogenetic trees, the leaves are species and this assignment captures the diversity present in the coalition of species considered. We consider the Shapley value of tree games and suggest a biological interpretation. We determine the linear transformation M that shows the dependence of the Shapley value on the edge weights of the tree, and we also compute a null space basis of M. Both depend on the "split counts" of the tree. Finally, we characterize the Shapley value on tree games by four axioms, a counterpart to Shapley's original theorem on the larger class of cooperative games. △ Less

Submitted 27 August, 2007; v1 submitted 22 June, 2005; originally announced June 2005.

Comments: References added, and a section (calculating the Shapley value of a tree game from its subtrees) was removed for length reasons (request of referee) and may appear in another paper. 16 pages; related work at http://www.math.hmc.edu/~su/papers.html. Journal of Mathematical Biology, to appear. The original article is available at http://www.springerlink.com

Journal ref: J. Mathematical Biology 56 (2008), 479--497

The LSB theorem implies the KKM lemma

Authors: Gwen Spencer, Francis Edward Su

Abstract: We prove the lemma of Knaster-Kuratowski-Mazurkiewicz as a consequence of the Lusternik-Schnirelman-Borsuk theorem. We prove the lemma of Knaster-Kuratowski-Mazurkiewicz as a consequence of the Lusternik-Schnirelman-Borsuk theorem. △ Less

Submitted 10 September, 2004; v1 submitted 6 September, 2004; originally announced September 2004.

Comments: 5 pages, 3 figures; related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 54H25

Journal ref: Amer. Math. Monthly 114 (2007) 156--159

A Constructive Proof of Ky Fan's Generalization of Tucker's Lemma

Authors: Timothy Prescott, Francis Edward Su

Abstract: We present a constructive proof of Ky Fan's combinatorial lemma concerning labellings of triangulated spheres. Our construction works for triangulations of $S^n$ that contain a flag of hemispheres. As a consequence, we produce a constructive proof of Tucker's lemma that holds for a larger class of triangulations than previous constructive proofs. We present a constructive proof of Ky Fan's combinatorial lemma concerning labellings of triangulated spheres. Our construction works for triangulations of $S^n$ that contain a flag of hemispheres. As a consequence, we produce a constructive proof of Tucker's lemma that holds for a larger class of triangulations than previous constructive proofs. △ Less

Submitted 28 October, 2003; originally announced October 2003.

Comments: related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: Primary 55M20; Secondary 05A99; 52B70

Journal ref: J. Combin. Theory Ser. A 111 (2005), 257--265

Lower bounds for simplicial covers and triangulations of cubes

Authors: Adam Bliss, Francis Edward Su

Abstract: We show that the size of a minimal simplicial cover of a polytope $P$ is a lower bound for the size of a minimal triangulation of $P$, including ones with extra vertices. We then use this fact to study minimal triangulations of cubes, and we improve lower bounds for covers and triangulations in dimensions 4 through at least 12 (and possibly more dimensions as well). Important ingredients are an… ▽ More We show that the size of a minimal simplicial cover of a polytope $P$ is a lower bound for the size of a minimal triangulation of $P$, including ones with extra vertices. We then use this fact to study minimal triangulations of cubes, and we improve lower bounds for covers and triangulations in dimensions 4 through at least 12 (and possibly more dimensions as well). Important ingredients are an analysis of the number of exterior faces that a simplex in the cube can have of a specified dimension and volume, and a characterization of corner simplices in terms of their exterior faces. △ Less

Submitted 10 October, 2003; originally announced October 2003.

Comments: 17 pages, related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 52B11 (Primary); 52B12; 52B05 (Secondary)

Journal ref: Discrete Comput. Geom. 33 (2005), 669--686

Random walks on the torus with several generators

Authors: Timothy Prescott, Francis Edward Su

Abstract: Our paper gives bounds for the rate of convergence for a class of random walks on the d-dimensional torus generated by a set of n vectors in R^d/Z^d. We give bounds on the discrepancy distance from Haar measure; our lower bound holds for all such walks, and if the generators arise from the rows of a "badly approximable" matrix, then there is a corresponding upper bound. The bounds are sharp for… ▽ More Our paper gives bounds for the rate of convergence for a class of random walks on the d-dimensional torus generated by a set of n vectors in R^d/Z^d. We give bounds on the discrepancy distance from Haar measure; our lower bound holds for all such walks, and if the generators arise from the rows of a "badly approximable" matrix, then there is a corresponding upper bound. The bounds are sharp for walks on the circle. △ Less

Submitted 26 April, 2004; v1 submitted 31 August, 2003; originally announced September 2003.

Comments: 10 pages; related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 60B15; 11J13; 11K38

Journal ref: Random Structures and Algorithms 25 (2004), 336-345.

On choosing and bounding probability metrics

Authors: Alison L. Gibbs, Francis Edward Su

Abstract: When studying convergence of measures, an important issue is the choice of probability metric. In this review, we provide a summary and some new results concerning bounds among ten important probability metrics/distances that are used by statisticians and probabilists. We focus on these metrics because they are either well-known, commonly used, or admit practical bounding techniques. We summariz… ▽ More When studying convergence of measures, an important issue is the choice of probability metric. In this review, we provide a summary and some new results concerning bounds among ten important probability metrics/distances that are used by statisticians and probabilists. We focus on these metrics because they are either well-known, commonly used, or admit practical bounding techniques. We summarize these relationships in a handy reference diagram, and also give examples to show how rates of convergence can depend on the metric chosen. △ Less

Submitted 2 September, 2002; originally announced September 2002.

Comments: To appear, International Statistical Review. Related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 60B10

Journal ref: International Statistical Review (2002), vol. 70, number 3, 419-435.

Random walks with badly approximable numbers

Authors: Doug Hensley, Francis Edward Su

Abstract: Using the discrepancy metric, we analyze the rate of convergence of a random walk on the circle generated by d rotations, and establish sharp rates that show that badly approximable d-tuples in R^d give rise to walks with the fastest convergence. We use the discrepancy metric because the walk does not converge in total variation. For badly approximable d-tuples, the discrepancy is bounded above… ▽ More Using the discrepancy metric, we analyze the rate of convergence of a random walk on the circle generated by d rotations, and establish sharp rates that show that badly approximable d-tuples in R^d give rise to walks with the fastest convergence. We use the discrepancy metric because the walk does not converge in total variation. For badly approximable d-tuples, the discrepancy is bounded above and below by (constant)k^(-d/2), where k is the number of steps in the random walk. We show how the constants depend on the d-tuple. △ Less

Submitted 26 February, 2001; originally announced February 2001.

Comments: 7 pages; to appear in DIMACS volume "Unusual Applications of Number Theory"; related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 60B15 (Primary) 11J13; 11K38; 11K60 (Secondary)

Journal ref: DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 64 (2004), 95-101.

Discrepancy convergence for the drunkard's walk on the sphere

Authors: Francis Edward Su

Abstract: We analyze the drunkard's walk on the unit sphere with step size theta and show that the walk converges in order constant/sin^2(theta) steps in the discrepancy metric. This is an application of techniques we develop for bounding the discrepancy of random walks on Gelfand pairs generated by bi-invariant measures. In such cases, Fourier analysis on the acting group admits tractable computations in… ▽ More We analyze the drunkard's walk on the unit sphere with step size theta and show that the walk converges in order constant/sin^2(theta) steps in the discrepancy metric. This is an application of techniques we develop for bounding the discrepancy of random walks on Gelfand pairs generated by bi-invariant measures. In such cases, Fourier analysis on the acting group admits tractable computations involving spherical functions. We advocate the use of discrepancy as a metric on probabilities for state spaces with isometric group actions. △ Less

Submitted 26 February, 2001; originally announced February 2001.

Comments: 20 pages; to appear in Electron. J. Probab.; related work at http://www.math.hmc.edu/~su/papers.html

MSC Class: 60B15 (Primary) 43A85 (Secondary)

Journal ref: Electronic Journal of Probability 6 (2001) no. 2, 1-20.