Showing 1–50 of 50 results for author: Su, E

The Freight Multimodal Transport Problem with Buses and Drones: An Integrated Approach for Last-Mile Delivery

Authors: E Su, Hu Qin, Jiliu Li, Rui Zhang

Abstract: This paper proposes a novel freight multimodal transport problem with buses and drones, where buses are responsible for transporting parcels to lockers at bus stops for storage, while drones are used to deliver each parcel from the locker to the corresponding customer. The integrated bus-drone system synergistically expands drone service coverage using the bus network to ensure efficient final del… ▽ More This paper proposes a novel freight multimodal transport problem with buses and drones, where buses are responsible for transporting parcels to lockers at bus stops for storage, while drones are used to deliver each parcel from the locker to the corresponding customer. The integrated bus-drone system synergistically expands drone service coverage using the bus network to ensure efficient final delivery. Minimizing the total operational costs while satisfying customer demands necessitates the joint optimization of parcel assignments and drone flights. We model the problem into a compact mixed-integer linear programming formulation and propose an integer programming formulation with exponentially many variables. To address real-world scale instances, we propose a Branch-Price-and-Benders-Cut algorithm for this non-deterministic polynomial-time (NP)-hard problem. This algorithm, integrating column generation and Benders decomposition within a Branch-and-Bound framework, is developed to obtain optimal or near-optimal solutions. Additionally, we introduce algorithmic enhancements aimed at accelerating the convergence of the algorithm. Computational experiments on instances generated from real-world bus data demonstrate that the proposed algorithms outperform CPLEX regarding both efficiency and solution quality. Moreover, our approaches can lead to over 6% cost savings compared to situations where we determine parcel assignments and drone flights sequentially. We evaluate the environmental advantages of integrating buses and drones, study the impact of different cost parameters in the system, and investigate the impact of the parcel locker configuration on performance. These findings provide valuable managerial insights for urban logistics managers, highlighting the potential of the integrated bus-drone system to improve traditional last-mile delivery. △ Less

Submitted 11 June, 2025; originally announced June 2025.

Human-Imperceptible Physical Adversarial Attack for NIR Face Recognition Models

Authors: Songyan Xie, Jinghang Wen, Encheng Su, Qiucheng Yu

Abstract: Near-infrared (NIR) face recognition systems, which can operate effectively in low-light conditions or in the presence of makeup, exhibit vulnerabilities when subjected to physical adversarial attacks. To further demonstrate the potential risks in real-world applications, we design a novel, stealthy, and practical adversarial patch to attack NIR face recognition systems in a black-box setting. We… ▽ More Near-infrared (NIR) face recognition systems, which can operate effectively in low-light conditions or in the presence of makeup, exhibit vulnerabilities when subjected to physical adversarial attacks. To further demonstrate the potential risks in real-world applications, we design a novel, stealthy, and practical adversarial patch to attack NIR face recognition systems in a black-box setting. We achieved this by utilizing human-imperceptible infrared-absorbing ink to generate multiple patches with digitally optimized shapes and positions for infrared images. To address the optimization mismatch between digital and real-world NIR imaging, we develop a light reflection model for human skin to minimize pixel-level discrepancies by simulating NIR light reflection. Compared to state-of-the-art (SOTA) physical attacks on NIR face recognition systems, the experimental results show that our method improves the attack success rate in both digital and physical domains, particularly maintaining effectiveness across various face postures. Notably, the proposed approach outperforms SOTA methods, achieving an average attack success rate of 82.46% in the physical domain across different models, compared to 64.18% for existing methods. The artifact is available at https://anonymous.4open.science/r/Human-imperceptible-adversarial-patch-0703/. △ Less

Submitted 22 April, 2025; originally announced April 2025.

DRAWER: Digital Reconstruction and Articulation With Environment Realism

Authors: Hongchi Xia, Entong Su, Marius Memmel, Arhan Jain, Raymond Yu, Numfor Mbiziwo-Tiapo, Ali Farhadi, Abhishek Gupta, Shenlong Wang, Wei-Chiu Ma

Abstract: Creating virtual digital replicas from real-world data unlocks significant potential across domains like gaming and robotics. In this paper, we present DRAWER, a novel framework that converts a video of a static indoor scene into a photorealistic and interactive digital environment. Our approach centers on two main contributions: (i) a reconstruction module based on a dual scene representation tha… ▽ More Creating virtual digital replicas from real-world data unlocks significant potential across domains like gaming and robotics. In this paper, we present DRAWER, a novel framework that converts a video of a static indoor scene into a photorealistic and interactive digital environment. Our approach centers on two main contributions: (i) a reconstruction module based on a dual scene representation that reconstructs the scene with fine-grained geometric details, and (ii) an articulation module that identifies articulation types and hinge positions, reconstructs simulatable shapes and appearances and integrates them into the scene. The resulting virtual environment is photorealistic, interactive, and runs in real time, with compatibility for game engines and robotic simulation platforms. We demonstrate the potential of DRAWER by using it to automatically create an interactive game in Unreal Engine and to enable real-to-sim-to-real transfer for robotics applications. △ Less

Submitted 22 April, 2025; v1 submitted 21 April, 2025; originally announced April 2025.

Comments: Project page: https://drawer-art.github.io/

BiSeg-SAM: Weakly-Supervised Post-Processing Framework for Boosting Binary Segmentation in Segment Anything Models

Authors: Encheng Su, Hu Cao, Alois Knoll

Abstract: Accurate segmentation of polyps and skin lesions is essential for diagnosing colorectal and skin cancers. While various segmentation methods for polyps and skin lesions using fully supervised deep learning techniques have been developed, the pixel-level annotation of medical images by doctors is both time-consuming and costly. Foundational vision models like the Segment Anything Model (SAM) have d… ▽ More Accurate segmentation of polyps and skin lesions is essential for diagnosing colorectal and skin cancers. While various segmentation methods for polyps and skin lesions using fully supervised deep learning techniques have been developed, the pixel-level annotation of medical images by doctors is both time-consuming and costly. Foundational vision models like the Segment Anything Model (SAM) have demonstrated superior performance; however, directly applying SAM to medical segmentation may not yield satisfactory results due to the lack of domain-specific medical knowledge. In this paper, we propose BiSeg-SAM, a SAM-guided weakly supervised prompting and boundary refinement network for the segmentation of polyps and skin lesions. Specifically, we fine-tune SAM combined with a CNN module to learn local features. We introduce a WeakBox with two functions: automatically generating box prompts for the SAM model and using our proposed Multi-choice Mask-to-Box (MM2B) transformation for rough mask-to-box conversion, addressing the mismatch between coarse labels and precise predictions. Additionally, we apply scale consistency (SC) loss for prediction scale alignment. Our DetailRefine module enhances boundary precision and segmentation accuracy by refining coarse predictions using a limited amount of ground truth labels. This comprehensive approach enables BiSeg-SAM to achieve excellent multi-task segmentation performance. Our method demonstrates significant superiority over state-of-the-art (SOTA) methods when tested on five polyp datasets and one skin cancer dataset. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Comments: 2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

UniSTD: Towards Unified Spatio-Temporal Learning across Diverse Disciplines

Authors: Chen Tang, Xinzhu Ma, Encheng Su, Xiufeng Song, Xiaohong Liu, Wei-Hong Li, Lei Bai, Wanli Ouyang, Xiangyu Yue

Abstract: Traditional spatiotemporal models generally rely on task-specific architectures, which limit their generalizability and scalability across diverse tasks due to domain-specific design requirements. In this paper, we introduce \textbf{UniSTD}, a unified Transformer-based framework for spatiotemporal modeling, which is inspired by advances in recent foundation models with the two-stage pretraining-th… ▽ More Traditional spatiotemporal models generally rely on task-specific architectures, which limit their generalizability and scalability across diverse tasks due to domain-specific design requirements. In this paper, we introduce \textbf{UniSTD}, a unified Transformer-based framework for spatiotemporal modeling, which is inspired by advances in recent foundation models with the two-stage pretraining-then-adaption paradigm. Specifically, our work demonstrates that task-agnostic pretraining on 2D vision and vision-text datasets can build a generalizable model foundation for spatiotemporal learning, followed by specialized joint training on spatiotemporal datasets to enhance task-specific adaptability. To improve the learning capabilities across domains, our framework employs a rank-adaptive mixture-of-expert adaptation by using fractional interpolation to relax the discrete variables so that can be optimized in the continuous space. Additionally, we introduce a temporal module to incorporate temporal dynamics explicitly. We evaluate our approach on a large-scale dataset covering 10 tasks across 4 disciplines, demonstrating that a unified spatiotemporal model can achieve scalable, cross-task learning and support up to 10 tasks simultaneously within one model while reducing training costs in multi-domain applications. Code will be available at https://github.com/1hunters/UniSTD. △ Less

Submitted 26 March, 2025; originally announced March 2025.

Comments: Accepted to CVPR 2025

A Survey of Challenges and Sensing Technologies in Autonomous Retail Systems

Authors: Shimmy Rukundo, David Wang, Front Wongnonthawitthaya, Youssouf Sidibé, Minsik Kim, Emily Su, Jiale Zhang

Abstract: Autonomous stores leverage advanced sensing technologies to enable cashier-less shopping, real-time inventory tracking, and seamless customer interactions. However, these systems face significant challenges, including occlusion in vision-based tracking, scalability of sensor deployment, theft prevention, and real-time data processing. To address these issues, researchers have explored multi-modal… ▽ More Autonomous stores leverage advanced sensing technologies to enable cashier-less shopping, real-time inventory tracking, and seamless customer interactions. However, these systems face significant challenges, including occlusion in vision-based tracking, scalability of sensor deployment, theft prevention, and real-time data processing. To address these issues, researchers have explored multi-modal sensing approaches, integrating computer vision, RFID, weight sensing, vibration-based detection, and LiDAR to enhance accuracy and efficiency. This survey provides a comprehensive review of sensing technologies used in autonomous retail environments, highlighting their strengths, limitations, and integration strategies. We categorize existing solutions across inventory tracking, environmental monitoring, people-tracking, and theft detection, discussing key challenges and emerging trends. Finally, we outline future directions for scalable, cost-efficient, and privacy-conscious autonomous store systems. △ Less

Submitted 10 March, 2025; originally announced March 2025.

ACM Class: J.0; J.7; A.1

Pearce's Characterisation in an Epistemic Domain

Authors: Ezgi Iraz Su

Abstract: Answer-set programming (ASP) is a successful problem-solving approach in logic-based AI. In ASP, problems are represented as declarative logic programs, and solutions are identified through their answer sets. Equilibrium logic (EL) is a general-purpose nonmonotonic reasoning formalism, based on a monotonic logic called here-and-there logic. EL was basically proposed by Pearce as a foundational fra… ▽ More Answer-set programming (ASP) is a successful problem-solving approach in logic-based AI. In ASP, problems are represented as declarative logic programs, and solutions are identified through their answer sets. Equilibrium logic (EL) is a general-purpose nonmonotonic reasoning formalism, based on a monotonic logic called here-and-there logic. EL was basically proposed by Pearce as a foundational framework of ASP. Epistemic specifications (ES) are extensions of ASP-programs with subjective literals. These new modal constructs in the ASP-language make it possible to check whether a regular literal of ASP is true in every (or some) answer-set of a program. ES-programs are interpreted by world-views, which are essentially collections of answer-sets. (Reflexive) autoepistemic logic is a nonmonotonic formalism, modeling self-belief (knowledge) of ideally rational agents. A relatively new semantics for ES is based on a combination of EL and (reflexive) autoepistemic logic. In this paper, we first propose an overarching framework in the epistemic ASP domain. We then establish a correspondence between existing (reflexive) (auto)epistemic equilibrium logics and our easily-adaptable comprehensive framework, building on Pearce's characterisation of answer-sets as equilibrium models. We achieve this by extending Ferraris' work on answer sets for propositional theories to the epistemic case and reveal the relationship between some ES-semantic proposals. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref: EPTCS 416, 2025, pp. 201-214

rmlnomogram: An R package to construct an explainable nomogram for any machine learning algorithms

Authors: Herdiantri Sufriyana, Emily Chia-Yu Su

Abstract: Background: Current nomogram can only be created for regression algorithm. Providing nomogram for any machine learning (ML) algorithms may accelerate model deployment in clinical settings or improve model availability. We developed an R package and web application to construct nomogram with model explainability of any ML algorithms. Methods: We formulated a function to transform an ML prediction m… ▽ More Background: Current nomogram can only be created for regression algorithm. Providing nomogram for any machine learning (ML) algorithms may accelerate model deployment in clinical settings or improve model availability. We developed an R package and web application to construct nomogram with model explainability of any ML algorithms. Methods: We formulated a function to transform an ML prediction model into a nomogram, requiring datasets with: (1) all possible combinations of predictor values; (2) the corresponding outputs of the model; and (3) the corresponding explainability values for each predictor (optional). Web application was also created. Results: Our R package could create 5 types of nomograms for categorical predictors and binary outcome without probability (1), categorical predictors and binary outcome with probability (2) or continuous outcome (3), and categorical with single numerical predictors and binary outcome with probability (4) or continuous outcome (5). Respectively, the first and remaining types optimally allowed maximum 15 and 5 predictors with maximum 3,200 combinations. Web application is provided with such limits. The explainability values were possible for types 2 to 5. Conclusions: Our R package and web application could construct nomogram with model explainability of any ML algorithms using a fair number of predictors. △ Less

Submitted 10 January, 2025; originally announced January 2025.

Comments: 16 pages, 2 figures, 1 table, 3 equations, 1 algorithm, 4 code snippets

ACM Class: I.2.6; I.5.m; I.2.4

Extracting Memorized Training Data via Decomposition

Authors: Ellen Su, Anu Vellore, Amy Chang, Raffaele Mura, Blaine Nelson, Paul Kassianik, Amin Karbasi

Abstract: The widespread use of Large Language Models (LLMs) in society creates new information security challenges for developers, organizations, and end-users alike. LLMs are trained on large volumes of data, and their susceptibility to reveal the exact contents of the source training datasets poses security and safety risks. Although current alignment procedures restrict common risky behaviors, they do n… ▽ More The widespread use of Large Language Models (LLMs) in society creates new information security challenges for developers, organizations, and end-users alike. LLMs are trained on large volumes of data, and their susceptibility to reveal the exact contents of the source training datasets poses security and safety risks. Although current alignment procedures restrict common risky behaviors, they do not completely prevent LLMs from leaking data. Prior work demonstrated that LLMs may be tricked into divulging training data by using out-of-distribution queries or adversarial techniques. In this paper, we demonstrate a simple, query-based decompositional method to extract news articles from two frontier LLMs. We use instruction decomposition techniques to incrementally extract fragments of training data. Out of 3723 New York Times articles, we extract at least one verbatim sentence from 73 articles, and over 20% of verbatim sentences from 6 articles. Our analysis demonstrates that this method successfully induces the LLM to generate texts that are reliable reproductions of news articles, meaning that they likely originate from the source training dataset. This method is simple, generalizable, and does not fine-tune or change the production model. If replicable at scale, this training data extraction methodology could expose new LLM security and safety vulnerabilities, including privacy risks and unauthorized data leaks. These implications require careful consideration from model development to its end-use. △ Less

Submitted 1 October, 2024; v1 submitted 18 September, 2024; originally announced September 2024.

MOTIVE: A Drug-Target Interaction Graph For Inductive Link Prediction

Authors: John Arevalo, Ellen Su, Anne E Carpenter, Shantanu Singh

Abstract: Drug-target interaction (DTI) prediction is crucial for identifying new therapeutics and detecting mechanisms of action. While structure-based methods accurately model physical interactions between a drug and its protein target, cell-based assays such as Cell Painting can better capture complex DTI interactions. This paper introduces MOTIVE, a Morphological cOmpound Target Interaction Graph datase… ▽ More Drug-target interaction (DTI) prediction is crucial for identifying new therapeutics and detecting mechanisms of action. While structure-based methods accurately model physical interactions between a drug and its protein target, cell-based assays such as Cell Painting can better capture complex DTI interactions. This paper introduces MOTIVE, a Morphological cOmpound Target Interaction Graph dataset comprising Cell Painting features for 11,000 genes and 3,600 compounds, along with their relationships extracted from seven publicly available databases. We provide random, cold-source (new drugs), and cold-target (new genes) data splits to enable rigorous evaluation under realistic use cases. Our benchmark results show that graph neural networks that use Cell Painting features consistently outperform those that learn from graph structure alone, feature-based models, and topological heuristics. MOTIVE accelerates both graph ML research and drug discovery by promoting the development of more reliable DTI prediction models. MOTIVE resources are available at https://github.com/carpenter-singh-lab/motive. △ Less

Submitted 23 October, 2024; v1 submitted 12 June, 2024; originally announced June 2024.

The Canadian VirusSeq Data Portal & Duotang: open resources for SARS-CoV-2 viral sequences and genomic epidemiology

Authors: Erin E. Gill, Baofeng Jia, Carmen Lia Murall, Raphaël Poujol, Muhammad Zohaib Anwar, Nithu Sara John, Justin Richardsson, Ashley Hobb, Abayomi S. Olabode, Alexandru Lepsa, Ana T. Duggan, Andrea D. Tyler, Arnaud N'Guessan, Atul Kachru, Brandon Chan, Catherine Yoshida, Christina K. Yung, David Bujold, Dusan Andric, Edmund Su, Emma J. Griffiths, Gary Van Domselaar, Gordon W. Jolly, Heather K. E. Ward, Henrich Feher , et al. (45 additional authors not shown)

Abstract: The COVID-19 pandemic led to a large global effort to sequence SARS-CoV-2 genomes from patient samples to track viral evolution and inform public health response. Millions of SARS-CoV-2 genome sequences have been deposited in global public repositories. The Canadian COVID-19 Genomics Network (CanCOGeN - VirusSeq), a consortium tasked with coordinating expanded sequencing of SARS-CoV-2 genomes acro… ▽ More The COVID-19 pandemic led to a large global effort to sequence SARS-CoV-2 genomes from patient samples to track viral evolution and inform public health response. Millions of SARS-CoV-2 genome sequences have been deposited in global public repositories. The Canadian COVID-19 Genomics Network (CanCOGeN - VirusSeq), a consortium tasked with coordinating expanded sequencing of SARS-CoV-2 genomes across Canada early in the pandemic, created the Canadian VirusSeq Data Portal, with associated data pipelines and procedures, to support these efforts. The goal of VirusSeq was to allow open access to Canadian SARS-CoV-2 genomic sequences and enhanced, standardized contextual data that were unavailable in other repositories and that meet FAIR standards (Findable, Accessible, Interoperable and Reusable). The Portal data submission pipeline contains data quality checking procedures and appropriate acknowledgement of data generators that encourages collaboration. Here we also highlight Duotang, a web platform that presents genomic epidemiology and modeling analyses on circulating and emerging SARS-CoV-2 variants in Canada. Duotang presents dynamic changes in variant composition of SARS-CoV-2 in Canada and by province, estimates variant growth, and displays complementary interactive visualizations, with a text overview of the current situation. The VirusSeq Data Portal and Duotang resources, alongside additional analyses and resources computed from the Portal (COVID-MVP, CoVizu), are all open-source and freely available. Together, they provide an updated picture of SARS-CoV-2 evolution to spur scientific discussions, inform public discourse, and support communication with and within public health authorities. They also serve as a framework for other jurisdictions interested in open, collaborative sequence data sharing and analyses. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Sim2Real Manipulation on Unknown Objects with Tactile-based Reinforcement Learning

Authors: Entong Su, Chengzhe Jia, Yuzhe Qin, Wenxuan Zhou, Annabella Macaluso, Binghao Huang, Xiaolong Wang

Abstract: Using tactile sensors for manipulation remains one of the most challenging problems in robotics. At the heart of these challenges is generalization: How can we train a tactile-based policy that can manipulate unseen and diverse objects? In this paper, we propose to perform Reinforcement Learning with only visual tactile sensing inputs on diverse objects in a physical simulator. By training with di… ▽ More Using tactile sensors for manipulation remains one of the most challenging problems in robotics. At the heart of these challenges is generalization: How can we train a tactile-based policy that can manipulate unseen and diverse objects? In this paper, we propose to perform Reinforcement Learning with only visual tactile sensing inputs on diverse objects in a physical simulator. By training with diverse objects in simulation, it enables the policy to generalize to unseen objects. However, leveraging simulation introduces the Sim2Real transfer problem. To mitigate this problem, we study different tactile representations and evaluate how each affects real-robot manipulation results after transfer. We conduct our experiments on diverse real-world objects and show significant improvements over baselines for the pivoting task. Our project page is available at https://tactilerl.github.io/. △ Less

Submitted 18 March, 2024; originally announced March 2024.

A Spatially Varying Hierarchical Random Effects Model for Longitudinal Macular Structural Data in Glaucoma Patients

Authors: Erica Su, Robert E. Weiss, Kouros Nouri-Mahdavi, Andrew J. Holbrook

Abstract: We model longitudinal macular thickness measurements to monitor the course of glaucoma and prevent vision loss due to disease progression. The macular thickness varies over a 6$\times$6 grid of locations on the retina with additional variability arising from the imaging process at each visit. Currently, ophthalmologists estimate slopes using repeated simple linear regression for each subject and l… ▽ More We model longitudinal macular thickness measurements to monitor the course of glaucoma and prevent vision loss due to disease progression. The macular thickness varies over a 6$\times$6 grid of locations on the retina with additional variability arising from the imaging process at each visit. Currently, ophthalmologists estimate slopes using repeated simple linear regression for each subject and location. To estimate slopes more precisely, we develop a novel Bayesian hierarchical model for multiple subjects with spatially varying population-level and subject-level coefficients, borrowing information over subjects and measurement locations. We augment the model with visit effects to account for observed spatially correlated visit-specific errors. We model spatially varying (a) intercepts, (b) slopes, and (c) log residual standard deviations (SD) with multivariate Gaussian process priors with Matérn cross-covariance functions. Each marginal process assumes an exponential kernel with its own SD and spatial correlation matrix. We develop our models for and apply them to data from the Advanced Glaucoma Progression Study. We show that including visit effects in the model reduces error in predicting future thickness measurements and greatly improves model fit. △ Less

Submitted 20 March, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Differentiable Robotic Manipulation of Deformable Rope-like Objects Using Compliant Position-based Dynamics

Authors: Fei Liu, Entong Su, Jingpei Lu, Mingen Li, Michael C. Yip

Abstract: Robot manipulation of rope-like objects is an interesting problem that has some critical applications, such as autonomous robotic suturing. Solving for and controlling rope is difficult due to the complexity of rope physics and the challenge of building fast and accurate models of deformable materials. While more data-driven approaches have become more popular for finding controllers that learn to… ▽ More Robot manipulation of rope-like objects is an interesting problem that has some critical applications, such as autonomous robotic suturing. Solving for and controlling rope is difficult due to the complexity of rope physics and the challenge of building fast and accurate models of deformable materials. While more data-driven approaches have become more popular for finding controllers that learn to do a single task, there is still a strong motivation for a model-based method that could be used to solve a large variety of optimization problems. Towards this end, we introduced compliant, position-based dynamics (XPBD) to model rope-like objects. Using geometric constraints, the model can represent the coupling of shear/stretch and bend/twist effects. Of crucial importance is that our formulation is differentiable, which can solve parameter estimation problems and improve the matching of rope physics to real-life scenarios (i.e., the real-to-sim problem). For the generality of rope-like objects, two different solvers are proposed to handle the inextensible and extensible effects of varied material stiffness for the rope. We demonstrate our framework's robustness and accuracy on real-to-sim experimental setups using the Baxter robot and the da Vinci research kit (DVRK). Our work leads to a new path for robotic manipulation of the deformable rope-like object taking advantage of the ready-to-use gradients. △ Less

Submitted 19 February, 2022; originally announced February 2022.

A Human-Centered Machine-Learning Approach for Muscle-Tendon Junction Tracking in Ultrasound Images

Authors: Christoph Leitner, Robert Jarolim, Bernhard Englmair, Annika Kruse, Karen Andrea Lara Hernandez, Andreas Konrad, Eric Su, Jörg Schröttner, Luke A. Kelly, Glen A. Lichtwark, Markus Tilp, Christian Baumgartner

Abstract: Biomechanical and clinical gait research observes muscles and tendons in limbs to study their functions and behaviour. Therefore, movements of distinct anatomical landmarks, such as muscle-tendon junctions, are frequently measured. We propose a reliable and time efficient machine-learning approach to track these junctions in ultrasound videos and support clinical biomechanists in gait analysis. In… ▽ More Biomechanical and clinical gait research observes muscles and tendons in limbs to study their functions and behaviour. Therefore, movements of distinct anatomical landmarks, such as muscle-tendon junctions, are frequently measured. We propose a reliable and time efficient machine-learning approach to track these junctions in ultrasound videos and support clinical biomechanists in gait analysis. In order to facilitate this process, a method based on deep-learning was introduced. We gathered an extensive dataset, covering 3 functional movements, 2 muscles, collected on 123 healthy and 38 impaired subjects with 3 different ultrasound systems, and providing a total of 66864 annotated ultrasound images in our network training. Furthermore, we used data collected across independent laboratories and curated by researchers with varying levels of experience. For the evaluation of our method a diverse test-set was selected that is independently verified by four specialists. We show that our model achieves similar performance scores to the four human specialists in identifying the muscle-tendon junction position. Our method provides time-efficient tracking of muscle-tendon junctions, with prediction times of up to 0.078 seconds per frame (approx. 100 times faster than manual labeling). All our codes, trained models and test-set were made publicly available and our model is provided as a free-to-use online service on https://deepmtj.org/. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Comments: in IEEE Transactions on Biomedical Engineering

ACM Class: I.2.1

Parameter Identification and Motion Control for Articulated Rigid Body Robots Using Differentiable Position-based Dynamics

Authors: Fei Liu, Mingen Li, Jingpei Lu, Entong Su, Michael C. Yip

Abstract: Simulation modeling of robots, objects, and environments is the backbone for all model-based control and learning. It is leveraged broadly across dynamic programming and model-predictive control, as well as data generation for imitation, transfer, and reinforcement learning. In addition to fidelity, key features of models in these control and learning contexts are speed, stability, and native diff… ▽ More Simulation modeling of robots, objects, and environments is the backbone for all model-based control and learning. It is leveraged broadly across dynamic programming and model-predictive control, as well as data generation for imitation, transfer, and reinforcement learning. In addition to fidelity, key features of models in these control and learning contexts are speed, stability, and native differentiability. However, many popular simulation platforms for robotics today lack at least one of the features above. More recently, position-based dynamics (PBD) has become a very popular simulation tool for modeling complex scenes of rigid and non-rigid object interactions, due to its speed and stability, and is starting to gain significant interest in robotics for its potential use in model-based control and learning. Thus, in this paper, we present a mathematical formulation for coupling position-based dynamics (PBD) simulation and optimal robot design, model-based motion control and system identification. Our framework breaks down PBD definitions and derivations for various types of joint-based articulated rigid bodies. We present a back-propagation method with automatic differentiation, which can integrate both positional and angular geometric constraints. Our framework can critically provide the native gradient information and perform gradient-based optimization tasks. We also propose articulated joint model representations and simulation workflow for our differentiable framework. We demonstrate the capability of the framework in efficient optimal robot design, accurate trajectory torque estimation and supporting spring stiffness estimation, where we achieve minor errors. We also implement impedance control in real robots to demonstrate the potential of our differentiable framework in human-in-the-loop applications. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Comments: 15pages, 14 figures

Refining the Semantics of Epistemic Specifications

Authors: Ezgi Iraz Su

Abstract: Answer set programming (ASP) is an efficient problem-solving approach, which has been strongly supported both scientifically and technologically by several solvers, ongoing active research, and implementations in many different fields. However, although researchers acknowledged long ago the necessity of epistemic operators in the language of ASP for better introspective reasoning, this research ve… ▽ More Answer set programming (ASP) is an efficient problem-solving approach, which has been strongly supported both scientifically and technologically by several solvers, ongoing active research, and implementations in many different fields. However, although researchers acknowledged long ago the necessity of epistemic operators in the language of ASP for better introspective reasoning, this research venue did not attract much attention until recently. Moreover, the existing epistemic extensions of ASP in the literature are not widely approved either, due to the fact that some propose unintended results even for some simple acyclic epistemic programs, new unexpected results may possibly be found, and more importantly, researchers have different reasonings for some critical programs. To that end, Cabalar et al. have recently identified some structural properties of epistemic programs to formally support a possible semantics proposal of such programs and standardise their results. Nonetheless, the soundness of these properties is still under debate, and they are not widely accepted either by the ASP community. Thus, it seems that there is still time to really understand the paradigm, have a mature formalism, and determine the principles providing formal justification of their understandable models. In this paper, we mainly focus on the existing semantics approaches, the criteria that a satisfactory semantics is supposed to satisfy, and the ways to improve them. We also extend some well-known propositions of here-and-there logic (HT) into epistemic HT so as to reveal the real behaviour of programs. Finally, we propose a slightly novel semantics for epistemic ASP, which can be considered as a reflexive extension of Cabalar et al.'s recent formalism called autoepistemic ASP. △ Less

Submitted 16 September, 2021; originally announced September 2021.

Comments: In Proceedings ICLP 2021, arXiv:2109.07914

Journal ref: EPTCS 345, 2021, pp. 113-126

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.

Spin-Orbit Coupling and Spin Textures in Optical Superlattices

Authors: Junru Li, Wujie Huang, Boris Shteynas, Sean Burchesky, Furkan Cagri Top, Edward Su, Jeongwon Lee, Alan O. Jamison, Wolfgang Ketterle

Abstract: We proposed and demonstrated a new approach for realizing spin orbit coupling with ultracold atoms. We use orbital levels in a double well potential as pseudospin states. Two-photon Raman transitions between left and right wells induce spin-orbit coupling. This scheme does not require near resonant light, features adjustable interactions by shaping the double well potential, and does not depend on… ▽ More We proposed and demonstrated a new approach for realizing spin orbit coupling with ultracold atoms. We use orbital levels in a double well potential as pseudospin states. Two-photon Raman transitions between left and right wells induce spin-orbit coupling. This scheme does not require near resonant light, features adjustable interactions by shaping the double well potential, and does not depend on special properties of the atoms. A pseudospinor Bose-Einstein condensate spontaneously acquires an antiferromagnetic pseudospin texture which breaks the lattice symmetry similar to a supersolid. △ Less

Submitted 27 October, 2016; v1 submitted 10 June, 2016; originally announced June 2016.

Journal ref: Phys. Rev. Lett. 117, 185301 (2016)

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

Correlations and Pair Formation in a Repulsively Interacting Fermi Gas

Authors: Christian Sanner, Edward J. Su, Wujie Huang, Aviv Keshet, Jonathon Gillen, Wolfgang Ketterle

Abstract: A degenerate Fermi gas is rapidly quenched into the regime of strong effective repulsion near a Feshbach resonance. The spin fluctuations are monitored using speckle imaging and, contrary to several theoretical predictions, the samples remain in the paramagnetic phase for arbitrarily large scattering length. Over a wide range of interaction strengths a rapid decay into bound pairs is observed over… ▽ More A degenerate Fermi gas is rapidly quenched into the regime of strong effective repulsion near a Feshbach resonance. The spin fluctuations are monitored using speckle imaging and, contrary to several theoretical predictions, the samples remain in the paramagnetic phase for arbitrarily large scattering length. Over a wide range of interaction strengths a rapid decay into bound pairs is observed over times on the order of 10\hbar/E_F, preventing the study of equilibrium phases of strongly repulsive fermions. Our work suggests that a Fermi gas with strong short-range repulsive interactions does not undergo a ferromagnetic phase transition. △ Less

Submitted 13 March, 2012; v1 submitted 9 August, 2011; originally announced August 2011.

Journal ref: Phys. Rev. Lett. 108, 240404 (2012)

Speckle Imaging of Spin Fluctuations in a Strongly Interacting Fermi Gas

Authors: Christian Sanner, Edward J. Su, Aviv Keshet, Wujie Huang, Jonathon Gillen, Ralf Gommers, Wolfgang Ketterle

Abstract: Spin fluctuations and density fluctuations are studied for a two-component gas of strongly interacting fermions along the BEC-BCS crossover. This is done by in-situ imaging of dispersive speckle patterns. Compressibility and magnetic susceptibility are determined from the measured fluctuations. This new sensitive method easily resolves a tenfold suppression of spin fluctuations below shot noise du… ▽ More Spin fluctuations and density fluctuations are studied for a two-component gas of strongly interacting fermions along the BEC-BCS crossover. This is done by in-situ imaging of dispersive speckle patterns. Compressibility and magnetic susceptibility are determined from the measured fluctuations. This new sensitive method easily resolves a tenfold suppression of spin fluctuations below shot noise due to pairing, and can be applied to novel magnetic phases in optical lattices. △ Less

Submitted 9 October, 2010; originally announced October 2010.

Journal ref: Phys. Rev. Lett. 106, 010402 (2011)

Suppression of Density Fluctuations in a Quantum Degenerate Fermi Gas

Authors: Christian Sanner, Edward J. Su, Aviv Keshet, Ralf Gommers, Yong-il Shin, Wujie Huang, Wolfgang Ketterle

Abstract: We study density profiles of an ideal Fermi gas and observe Pauli suppression of density fluctuations (atom shot noise) for cold clouds deep in the quantum degenerate regime. Strong suppression is observed for probe volumes containing more than 10,000 atoms. Measuring the level of suppression provides sensitive thermometry at low temperatures. After this method of sensitive noise measurements has… ▽ More We study density profiles of an ideal Fermi gas and observe Pauli suppression of density fluctuations (atom shot noise) for cold clouds deep in the quantum degenerate regime. Strong suppression is observed for probe volumes containing more than 10,000 atoms. Measuring the level of suppression provides sensitive thermometry at low temperatures. After this method of sensitive noise measurements has been validated with an ideal Fermi gas, it can now be applied to characterize phase transitions in strongly correlated many-body systems. △ Less

Submitted 24 May, 2010; v1 submitted 7 May, 2010; originally announced May 2010.

Comments: minor edit: fixed technical problem with arxiv's processing of .eps figure

Journal ref: Phys. Rev. Lett. 105, 040402 (2010)

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

Teaching spreadsheet development using peer audit and self-audit methods for reducing error

Authors: David Chadwick, Rodney E. Sue

Abstract: Recent research has highlighted the high incidence of errors in spreadsheet models used in industry. In an attempt to reduce the incidence of such errors, a teaching approach has been devised which aids students to reduce their likelihood of making common errors during development. The approach comprises of spreadsheet checking methods based on the commonly accepted educational paradigms of peer… ▽ More Recent research has highlighted the high incidence of errors in spreadsheet models used in industry. In an attempt to reduce the incidence of such errors, a teaching approach has been devised which aids students to reduce their likelihood of making common errors during development. The approach comprises of spreadsheet checking methods based on the commonly accepted educational paradigms of peer assessment and self-assessment. However, these paradigms are here based upon practical techniques commonly used by the internal audit function such as peer audit and control and risk self-assessment. The result of this symbiosis between educational assessment and professional audit is a method that educates students in a set of structured, transferable skills for spreadsheet error-checking which are useful for increasing error-awareness in the classroom and for reducing business risk in the workplace. △ Less

Submitted 9 January, 2008; originally announced January 2008.

Comments: 9 Pages, includes references

ACM Class: J.1; H.4.1; K.6.4; D.2.5; D.2.9; K.8.1; K.3

Journal ref: European Spreadsheet Risks Int. Grp. (EuSpRIG) 2001 95-105 ISBN:1 86166 179 7

Atom interferometry using wavepackets with constant spatial displacements

Authors: Edward J. Su, Saijun Wu, Mara Prentiss

Abstract: We demonstrate a standing wave light pulse sequence that places atoms into a superposition of displaced wavepackets with precisely controlled displacements that remain constant for times as long as 1 s. The separated wavepackets are subsequently recombined resulting in atom interference patterns that probe energy differences of approximately 10^-34 J, and can provide acceleration measurements th… ▽ More We demonstrate a standing wave light pulse sequence that places atoms into a superposition of displaced wavepackets with precisely controlled displacements that remain constant for times as long as 1 s. The separated wavepackets are subsequently recombined resulting in atom interference patterns that probe energy differences of approximately 10^-34 J, and can provide acceleration measurements that are insensitive to platform vibrations. △ Less

Submitted 20 February, 2010; v1 submitted 31 December, 2006; originally announced January 2007.

Comments: minor changes to conform to APS style

Journal ref: Phys. Rev. A 81, 043631 (2010)

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

Demonstration of a moving guide based atom interferometer for rotation sensing

Authors: Saijun Wu, Edward J. Su, Mara Prentiss

Abstract: We demonstrate area-enclosing atom interferometry based on a moving guide. Light pulses along the free propagation direction of a magnetic guide are applied to split and recombine the confined atomic matter-wave, while the atoms are translated back and forth along a second direction in 50 ms. The interferometer is estimated to resolve ten times the earth rotation rate per interferometry cycle. W… ▽ More We demonstrate area-enclosing atom interferometry based on a moving guide. Light pulses along the free propagation direction of a magnetic guide are applied to split and recombine the confined atomic matter-wave, while the atoms are translated back and forth along a second direction in 50 ms. The interferometer is estimated to resolve ten times the earth rotation rate per interferometry cycle. We demonstrate a ``folded figure 8'' interfering configuration for creating a compact, large-area atom gyroscope with multiple-turn interfering paths. △ Less

Submitted 2 September, 2007; v1 submitted 7 August, 2006; originally announced August 2006.

Comments: Minor revision

Journal ref: Phys. Rev. Lett. 99, 173201 (2007)

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

Time domain deBroglie wave interferometry along a magnetic guide

Authors: Saijun Wu, Edward J. Su, Mara Prentiss

Abstract: Time domain deBroglie wave interferometry [Cahn et al, Phys. Rev. Lett. 79, 784] is applied to Rb87 atoms in a magnetic guide. A standing wave light field is carefully aligned along the guiding direction of the magnetic trapping potential from a soft-ferromagnetic 4-foil structure. A sequence of two standing wave pulses is applied to the magnetically trapped atoms. The backscattered light at the… ▽ More Time domain deBroglie wave interferometry [Cahn et al, Phys. Rev. Lett. 79, 784] is applied to Rb87 atoms in a magnetic guide. A standing wave light field is carefully aligned along the guiding direction of the magnetic trapping potential from a soft-ferromagnetic 4-foil structure. A sequence of two standing wave pulses is applied to the magnetically trapped atoms. The backscattered light at the atomic density grating revival time is collected and detected via a heterodyning technique. In addition to the observed recoil oscillations that fit the interferometer theory for atoms in free space, we observe a decay of the interferometer contrast on a millisecond time scale with unexpected millisecond-scale oscillations. We find that the oscillating decay is explained by a residual variation of the linear trapping potential along the standing wave direction. △ Less

Submitted 25 June, 2005; v1 submitted 15 March, 2005; originally announced March 2005.

Comments: 22 pages, 7 figures

Journal ref: Eur. Phys. J. D35: 111-118 (2005)

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.