432 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Augusta UniversityUS11 papers
- Georgia State UniversityUS3 papers
- Illinois State UniversityUS3 papers
- Sun Yat-sen UniversityCN3 papers
- University of Maine at AugustaUS3 papers
- West Virginia UniversityUS3 papers
- University of California, Santa BarbaraUS2 papers
- Beijing Academy of Quantum Information SciencesCN1 paper
- Center for Micro-BioRoboticsIT1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Dakota State UniversityUS1 paper
- Emory UniversityUS1 paper
35 papers
Barbed Similarity for the -Calculus in Beluga: A Case Study in Coinductive Reasoning
Lea Trogni, Gabriele Cecilia, Alberto Momigliano
We formalize strong barbed similarity for the pi-calculus in the Beluga proof assistant, completing a line of work addressing the Concurrent Calculi Formalization Benchmark. By ext…
Unlinkability and History Preserving Bisimilarity
Clément Aubert, Ross Horne, Christian Johansen +1
An ever-increasing number of critical infrastructures rely heavily on the assumption that security protocols satisfy a wealth of requirements. Hence, the importance of certifying e…
Quantum Filtering of Hydrogen Isotopes through Graphene
Joshua Hale, Theja N. De Silva
Driven by the growing demand in the energy, medical, and industrial sectors, we investigate a hydrogen isotope separation technique that offers both a high separation factor and ec…
Reversible computations are computations
Clément Aubert, Jean Krivine
Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the obser…
A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
Gabriele Cecilia
Reversible concurrent calculi are abstract models for concurrent systems in which any action can potentially be undone. Over the last few decades, different formalisms have been de…
Magnetically modified double slit based x-ray interferometry
S. Atkar, Z. Tumbleson, S. A. Morley +7
We demonstrate an experimental approach to determine magneto-optical effects which combines x-ray magnetic circular dichroism (XMCD) with x-ray interferometry, based on the concept…
Multimagnon and multispinon -edge RIXS spectra of an effective square lattice Heisenberg model
Kai-Yuan Qi, Shangjian Jin, Trinanjan Datta +1
We investigate the multimagnon and the multispinon -edge resonant inelastic x-ray scattering (RIXS) spectra of a spin-1/2 effective squar…
Quantum Adversarial Machine Learning and Defense Strategies: Challenges and Opportunities
Eric Yocam, Anthony Rizi, Mahesh Kamepalli +3
As quantum computing continues to advance, the development of quantum-secure neural networks is crucial to prevent adversarial attacks. This paper proposes three quantum-secure des…
Resonant inelastic x-ray scattering spectra of spinon, doublon, and quarton excitations of a spin- antiferromagnetic Heisenberg trimer chain
Junli Li, Jun-Qing Cheng, Trinanjan Datta +1
We investigate the excitation spectra of a spin-1/2 antiferromagnetic Heisenberg trimer spin chain by employing a combination of numerical and theoretical techniques. Utilizing the…
Dynamical phase transitions in model: a Monte Carlo and mean-field theory study
Mainak Pal, William D. Baez, Pushan Majumdar +2
We investigate the dynamical phases and phase transitions arising in a classical two-dimensional anisotropic model under the influence of a periodically driven temporal extern…
A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
Victoria Vollmer, Danielle Marshall, Harley Eades +1
Graded modal logics generalise standard modal logics via families of modalities indexed by an algebraic structure whose operations mediate between the different modalities. The gra…
Two-band atomic superfluidity in the presence of an orbital Feshbach resonance
Andrew Vincent, Theja N. De Silva
We study static superfluid properties of alkali-earth-like Fermi atomic systems in the presence of orbital Feshbach resonance. Using a two-band description of the ground state and…
Visual Attention Prompted Prediction and Learning
Yifei Zhang, Siyi Gu, Bo Pan +4
Visual explanation (attention)-guided learning uses not only labels but also explanations to guide model reasoning process. While visual attention-guided learning has shown promisi…
A spin-rotation mechanism of Einstein-de Haas effect based on a ferromagnetic disk
Xin Nie, Jun Li, Trinanjan Datta +1
Spin-rotation coupling (SRC) is a fundamental phenomenon that connects electronic spins with the rotational motion of a medium. We elucidate the Einstein-de Haas (EdH) effect and i…
On groups with few subgroups not in the Chermak-Delgado lattice
David Burrell, William Cocke, Ryan McCulloch
We investigate the question of how many subgroups of a finite group are not in its Chermak-Delgado lattice. The Chermak-Delgado lattice for a finite group is a self-dual lattice of…
Scalable Deep Graph Clustering with Random-walk based Self-supervised Learning
Xiang Li, Dong Li, Ruoming Jin +2
Web-based interactions can be frequently represented by an attributed graph, and node clustering in such graphs has received much attention lately. Multiple efforts have successful…
Causal Consistent Replication in Reversible Concurrent Calculi
Clément Aubert
Reversible computation is key in developing new, energy-efficient paradigms, but also in providing forward-only concepts with broader definitions and finer frames of study.Among ot…
The Core Conjecture of Hilton and Zhao II: a Proof
Yan Cao, Guantao Chen, Guangming Jing +1
A simple graph with maximum degree is overfull if . The core of , denoted , is the subgraph of induced by its vertices of degre…
Pseudo-multifan and Lollipop
Yan Cao, Guantao Chen, Guangming Jing +1
A simple graph with maximum degree is \emph{overfull} if . The \emph{core} of , denoted , is the subgraph of induced by its ver…
Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time
Weiming Xiang
This paper deals with the stability analysis problem of discrete-time switched linear systems with ranged dwell time. A novel concept called L-switching-cycle is proposed, which co…
PDE Models and Riemann-Stieltjes Integrals in Sustainability
Arni S. R. Srinivasa Rao, Sireesh Saride
Understanding sustainability through modeling involves one of the complex and interdisciplinary activities where mathematics plays a key role. We provide arguments favoring the nee…
The overfullness of graphs with small minimum degree and large maximum degree
Yan Cao, Guantao Chen, Guangming Jing +1
Given a simple graph , denote by , , and the maximum degree, the minimum degree, and the chromatic index of , respectively. We say is \emph{-critic…
Byzantine-Resilient Population Protocols
Costas Busch, Dariusz R. Kowalski
Population protocols model information spreading and computation in network systems where pairwise node exchanges are determined by an external random scheduler and nodes have smal…
Polynomial Anonymous Dynamic Distributed Computing without a Unique Leader
Dariusz R. Kowalski, Miguel A. Mosteiro
Counting the number of nodes in Anonymous Dynamic Networks is enticing from an algorithmic perspective: an important computation in a restricted platform with promising application…