-
Heart2Mind: Human-Centered Contestable Psychiatric Disorder Diagnosis System using Wearable ECG Monitors
Authors:
Hung Nguyen,
Alireza Rahimi,
Veronica Whitford,
Hélène Fournier,
Irina Kondratova,
René Richard,
Hung Cao
Abstract:
Psychiatric disorders affect millions globally, yet their diagnosis faces significant challenges in clinical practice due to subjective assessments and accessibility concerns, leading to potential delays in treatment. To help address this issue, we present Heart2Mind, a human-centered contestable psychiatric disorder diagnosis system using wearable electrocardiogram (ECG) monitors. Our approach le…
▽ More
Psychiatric disorders affect millions globally, yet their diagnosis faces significant challenges in clinical practice due to subjective assessments and accessibility concerns, leading to potential delays in treatment. To help address this issue, we present Heart2Mind, a human-centered contestable psychiatric disorder diagnosis system using wearable electrocardiogram (ECG) monitors. Our approach leverages cardiac biomarkers, particularly heart rate variability (HRV) and R-R intervals (RRI) time series, as objective indicators of autonomic dysfunction in psychiatric conditions. The system comprises three key components: (1) a Cardiac Monitoring Interface (CMI) for real-time data acquisition from Polar H9/H10 devices; (2) a Multi-Scale Temporal-Frequency Transformer (MSTFT) that processes RRI time series through integrated time-frequency domain analysis; (3) a Contestable Diagnosis Interface (CDI) combining Self-Adversarial Explanations (SAEs) with contestable Large Language Models (LLMs). Our MSTFT achieves 91.7% accuracy on the HRV-ACC dataset using leave-one-out cross-validation, outperforming state-of-the-art methods. SAEs successfully detect inconsistencies in model predictions by comparing attention-based and gradient-based explanations, while LLMs enable clinicians to validate correct predictions and contest erroneous ones. This work demonstrates the feasibility of combining wearable technology with Explainable Artificial Intelligence (XAI) and contestable LLMs to create a transparent, contestable system for psychiatric diagnosis that maintains clinical oversight while leveraging advanced AI capabilities. Our implementation is publicly available at: https://github.com/Analytics-Everywhere-Lab/heart2mind.
△ Less
Submitted 16 May, 2025;
originally announced May 2025.
-
Heights on 'Hybrid orbits' in Shimura varieties
Authors:
Rodolphe Richard,
Andrei Yafaev
Abstract:
We prove the 'hybrid conjecture' which is a common generalisation of the Andreé-Oort conjecture and the André-Pink-Zannier conjecture, in the case of Shimura varieties of abelian type.
We prove the 'hybrid conjecture' which is a common generalisation of the Andreé-Oort conjecture and the André-Pink-Zannier conjecture, in the case of Shimura varieties of abelian type.
△ Less
Submitted 4 July, 2024; v1 submitted 28 June, 2024;
originally announced June 2024.
-
A Common Generalisation of the André-Oort and André-Pink-Zannier Conjectures
Authors:
Rodolphe Richard,
Andrei Yafaev
Abstract:
We introduce a ``hybrid'' conjecture which is a common generalisation of the André-Oort conjecture and the André-Pink-Zannier conjecture and we prove that it is a consequence of the Zilber-Pink conjecture. We also show that our hybrid conjecture implies the Zilber-Pink conjecture for hypersurfaces contained in weakly special subvarieties.
We introduce a ``hybrid'' conjecture which is a common generalisation of the André-Oort conjecture and the André-Pink-Zannier conjecture and we prove that it is a consequence of the Zilber-Pink conjecture. We also show that our hybrid conjecture implies the Zilber-Pink conjecture for hypersurfaces contained in weakly special subvarieties.
△ Less
Submitted 7 January, 2024;
originally announced January 2024.
-
A Conditioned Unsupervised Regression Framework Attuned to the Dynamic Nature of Data Streams
Authors:
Rene Richard,
Nabil Belacel
Abstract:
In scenarios where obtaining real-time labels proves challenging, conventional approaches may result in sub-optimal performance. This paper presents an optimal strategy for streaming contexts with limited labeled data, introducing an adaptive technique for unsupervised regression. The proposed method leverages a sparse set of initial labels and introduces an innovative drift detection mechanism to…
▽ More
In scenarios where obtaining real-time labels proves challenging, conventional approaches may result in sub-optimal performance. This paper presents an optimal strategy for streaming contexts with limited labeled data, introducing an adaptive technique for unsupervised regression. The proposed method leverages a sparse set of initial labels and introduces an innovative drift detection mechanism to enable dynamic model adaptations in response to evolving patterns in the data. To enhance adaptability, we integrate the ADWIN (ADaptive WINdowing) algorithm with error generalization based on Root Mean Square Error (RMSE). ADWIN facilitates real-time drift detection, while RMSE provides a robust measure of model prediction accuracy. This combination enables our multivariate method to effectively navigate the challenges of streaming data, continuously adapting to changing patterns while maintaining a high level of predictive precision. We evaluate the performance of our multivariate method across various public datasets, comparing it to non-adapting baselines. Through comprehensive assessments, we demonstrate the superior efficacy of our adaptive regression technique for tasks where obtaining labels in real-time is a significant challenge. The results underscore the method's capacity to outperform traditional approaches and highlight its potential in scenarios characterized by label scarcity and evolving data patterns.
△ Less
Submitted 24 April, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Fostering new Vertical and Horizontal IoT Applications with Intelligence Everywhere
Authors:
Hung Cao,
Monica Wachowicz,
Rene Richard,
Ching-Hsien Hsu
Abstract:
Intelligence Everywhere is predicated on the seamless integration of IoT networks transporting a vast amount of data streams through many computing resources across an edge-to-cloud continuum, relying on the orchestration of distributed machine learning models. The result is an interconnected and collective intelligent ecosystem where devices, systems, services, and users work together to support…
▽ More
Intelligence Everywhere is predicated on the seamless integration of IoT networks transporting a vast amount of data streams through many computing resources across an edge-to-cloud continuum, relying on the orchestration of distributed machine learning models. The result is an interconnected and collective intelligent ecosystem where devices, systems, services, and users work together to support IoT applications. This paper discusses the state-of-the-art research and the principles of the Intelligence Everywhere framework for enhancing IoT applications in vertical sectors such as Digital Health, Infrastructure, and Transportation/Mobility in the context of intelligent society (Society 5.0). It also introduces a novel perspective for the development of horizontal IoT applications, capable of running across various IoT networks while fostering collective intelligence across diverse sectors. Finally, this paper provides comprehensive insights into the challenges and opportunities for harnessing collective knowledge from real-time insights, leading to optimised processes and better overall collaboration across different IoT sectors.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
Roadmap on Electronic Structure Codes in the Exascale Era
Authors:
Vikram Gavini,
Stefano Baroni,
Volker Blum,
David R. Bowler,
Alexander Buccheri,
James R. Chelikowsky,
Sambit Das,
William Dawson,
Pietro Delugas,
Mehmet Dogan,
Claudia Draxl,
Giulia Galli,
Luigi Genovese,
Paolo Giannozzi,
Matteo Giantomassi,
Xavier Gonze,
Marco Govoni,
Andris Gulans,
François Gygi,
John M. Herbert,
Sebastian Kokott,
Thomas D. Kühne,
Kai-Hsin Liou,
Tsuyoshi Miyazaki,
Phani Motamarri
, et al. (16 additional authors not shown)
Abstract:
Electronic structure calculations have been instrumental in providing many important insights into a range of physical and chemical properties of various molecular and solid-state systems. Their importance to various fields, including materials science, chemical sciences, computational chemistry and device physics, is underscored by the large fraction of available public supercomputing resources d…
▽ More
Electronic structure calculations have been instrumental in providing many important insights into a range of physical and chemical properties of various molecular and solid-state systems. Their importance to various fields, including materials science, chemical sciences, computational chemistry and device physics, is underscored by the large fraction of available public supercomputing resources devoted to these calculations. As we enter the exascale era, exciting new opportunities to increase simulation numbers, sizes, and accuracies present themselves. In order to realize these promises, the community of electronic structure software developers will however first have to tackle a number of challenges pertaining to the efficient use of new architectures that will rely heavily on massive parallelism and hardware accelerators. This roadmap provides a broad overview of the state-of-the-art in electronic structure calculations and of the various new directions being pursued by the community. It covers 14 electronic structure codes, presenting their current status, their development priorities over the next five years, and their plans towards tackling the challenges and leveraging the opportunities presented by the advent of exascale computing.
△ Less
Submitted 26 September, 2022;
originally announced September 2022.
-
Generalised André-Pink-Zannier Conjecture for Shimura varieties of abelian type
Authors:
Rodolphe Richard,
Andrei Yafaev
Abstract:
In this paper, we prove the generalised André-Pink-Zannier conjecture (an important case of the Zilber-Pink conjecture) for all Shimura varieties of abelian type. Questions of this type were first asked by Y. André in 1989. We actually prove a general statement for all Shimura varieties, subject to certain assumptions that are satisfied for Shimura varieties of abelian type and are expected to hol…
▽ More
In this paper, we prove the generalised André-Pink-Zannier conjecture (an important case of the Zilber-Pink conjecture) for all Shimura varieties of abelian type. Questions of this type were first asked by Y. André in 1989. We actually prove a general statement for all Shimura varieties, subject to certain assumptions that are satisfied for Shimura varieties of abelian type and are expected to hold in general. We also prove another result, a p-adic Kempf-Ness theorem, on the relation between good reduction of homogeneous spaces over p-adic integers with Mumford stability property in p-adic geometric invariant theory.
△ Less
Submitted 20 October, 2023; v1 submitted 22 November, 2021;
originally announced November 2021.
-
Height functions on Hecke orbits and the generalised André-Pink-Zannier conjecture
Authors:
Rodolphe Richard,
Andrei Yafaev
Abstract:
We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain a lower bounds for the size of Galois orbits of points in a generalised Hecke orbit in terms of these height, assuming a version of the Mumford-Tate conjecture. We then use it to prove the generalised André-Pink-Zannier conjecture und…
▽ More
We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain a lower bounds for the size of Galois orbits of points in a generalised Hecke orbit in terms of these height, assuming a version of the Mumford-Tate conjecture. We then use it to prove the generalised André-Pink-Zannier conjecture under this assumption by implementing the Pila-Zannier strategy.
△ Less
Submitted 16 July, 2023; v1 submitted 28 September, 2021;
originally announced September 2021.
-
Manin-Mumford in arithmetic pencils
Authors:
Gregorio Baldi,
Rodolphe Richard,
Emmanuel Ullmo
Abstract:
We obtain a refinement of Manin-Mumford (Raynaud's Theorem) for abelian schemes over some ring of integers. Torsion points are replaced by special 0-cycles, that is reductions modulo some, possibly varying, prime of Galois orbits of torsion points. There is a flat/horizontal part and a vertical one. The irreducible components of the flat part are given by the Zariski closure, over the integers, of…
▽ More
We obtain a refinement of Manin-Mumford (Raynaud's Theorem) for abelian schemes over some ring of integers. Torsion points are replaced by special 0-cycles, that is reductions modulo some, possibly varying, prime of Galois orbits of torsion points. There is a flat/horizontal part and a vertical one. The irreducible components of the flat part are given by the Zariski closure, over the integers, of torsion cosets of the generic fibre of the abelian scheme. The vertical components are given by translates of abelian subvarieties, which 'come from characteristic zero'.
△ Less
Submitted 27 February, 2024; v1 submitted 25 May, 2021;
originally announced May 2021.
-
Equidistribution de sous-variétés spéciales et o-minimalité: André-Oort géométrique
Authors:
Rodolphe Richard,
Emmanuel Ullmo with an appendix with Jiaming Chen
Abstract:
A characterization of subvarieties of Shimura varieties which contain a Zariski dense subset of weakly special subvarieties has been proved by the second author, by combining o-minimality results and functional transcendence results. In this paper, we obtain a new proof of this statement by dynamics techniques on homogeneous spaces in the spirit of the earlier work of Clozel and the second author.…
▽ More
A characterization of subvarieties of Shimura varieties which contain a Zariski dense subset of weakly special subvarieties has been proved by the second author, by combining o-minimality results and functional transcendence results. In this paper, we obtain a new proof of this statement by dynamics techniques on homogeneous spaces in the spirit of the earlier work of Clozel and the second author. The proof combines ergodic theory à la Ratner, with a statement on the dimension of a Hausdorff limit of a sequence of definable subsets (in an o-minimal theory) extracted from a definable family. One obtains in passing general homogeneous dynamics statements valid on arbitrary arithmetic quotients which are of independent interest, that can be applied in the study of variations of Hodge structures and their associated period domains.
△ Less
Submitted 9 April, 2021;
originally announced April 2021.
-
Constructing abelian extensions with prescribed norms
Authors:
Christopher Frei,
Rodolphe Richard
Abstract:
Given a number field $K$, a finite abelian group $G$ and finitely many elements $α_1,\ldots,α_t\in K$, we construct abelian extensions $L/K$ with Galois group $G$ that realise all of the elements $α_1,\ldots,α_t$ as norms of elements in $L$. In particular, this shows existence of such extensions for any given parameters.
Our approach relies on class field theory and a recent formulation of Tate'…
▽ More
Given a number field $K$, a finite abelian group $G$ and finitely many elements $α_1,\ldots,α_t\in K$, we construct abelian extensions $L/K$ with Galois group $G$ that realise all of the elements $α_1,\ldots,α_t$ as norms of elements in $L$. In particular, this shows existence of such extensions for any given parameters.
Our approach relies on class field theory and a recent formulation of Tate's characterisation of the Hasse norm principle, a local-global principle for norms. The constructions are sufficiently explicit to be implemented on a computer, and we illustrate them with concrete examples.
△ Less
Submitted 12 April, 2021; v1 submitted 16 June, 2020;
originally announced June 2020.
-
NWChem: Past, Present, and Future
Authors:
E. Aprà,
E. J. Bylaska,
W. A. de Jong,
N. Govind,
K. Kowalski,
T. P. Straatsma,
M. Valiev,
H. J. J. van Dam,
Y. Alexeev,
J. Anchell,
V. Anisimov,
F. W. Aquino,
R. Atta-Fynn,
J. Autschbach,
N. P. Bauman,
J. C. Becca,
D. E. Bernholdt,
K. Bhaskaran-Nair,
S. Bogatko,
P. Borowski,
J. Boschen,
J. Brabec,
A. Bruner,
E. Cauët,
Y. Chen
, et al. (89 additional authors not shown)
Abstract:
Specialized computational chemistry packages have permanently reshaped the landscape of chemical and materials science by providing tools to support and guide experimental efforts and for the prediction of atomistic and electronic properties. In this regard, electronic structure packages have played a special role by using first-principledriven methodologies to model complex chemical and materials…
▽ More
Specialized computational chemistry packages have permanently reshaped the landscape of chemical and materials science by providing tools to support and guide experimental efforts and for the prediction of atomistic and electronic properties. In this regard, electronic structure packages have played a special role by using first-principledriven methodologies to model complex chemical and materials processes. Over the last few decades, the rapid development of computing technologies and the tremendous increase in computational power have offered a unique chance to study complex transformations using sophisticated and predictive many-body techniques that describe correlated behavior of electrons in molecular and condensed phase systems at different levels of theory. In enabling these simulations, novel parallel algorithms have been able to take advantage of computational resources to address the polynomial scaling of electronic structure methods. In this paper, we briefly review the NWChem computational chemistry suite, including its history, design principles, parallel tools, current capabilities, outreach and outlook.
△ Less
Submitted 26 May, 2020; v1 submitted 24 April, 2020;
originally announced April 2020.
-
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Authors:
Ludovic Font,
Sébastien Cyr,
Philippe R. Richard,
Michel Gagnon
Abstract:
When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipating their next steps. This can only be done by knowing, beforehand, the possible ways to solve a problem. Hence the need for an automated theorem prover that provide proofs as they would be written by a student. To achi…
▽ More
When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipating their next steps. This can only be done by knowing, beforehand, the possible ways to solve a problem. Hence the need for an automated theorem prover that provide proofs as they would be written by a student. To achieve this objective, logic programming is a natural tool due to the similarity of its reasoning with a mathematical proof by inference. In this paper, we present the core ideas we used to implement such a prover, from its encoding in Prolog to the generation of the complete set of proofs. However, when dealing with educational aspects, there are many challenges to overcome. We also present the main issues we encountered, as well as the chosen solutions.
△ Less
Submitted 28 February, 2020;
originally announced February 2020.
-
Bimeron Clusters in Chiral Antiferromagnets
Authors:
X. Li,
L. Shen,
Y. Bai,
J. Wang,
X. Zhang,
J. Xia,
M. Ezawa,
O. A. Tretiakov,
X. Xu,
M. Mruczkiewicz,
M. Krawczyk,
Y. Xu,
R. F. L. Richard,
R. W. Chantrell,
Y. Zhou
Abstract:
A mgnetic bimeron is an in-plane topological counterpart of a magnetic skyrmion. Despite the topological equivalence, their statics and dynamics could be distinct, making them attractive from the perspectives of both physics and spintronic applications. In this work, we investigate an antiferromagnetic (AFM) thin film with interfacial Dzyaloshinskii-Moriya interaction (DMI), and introduce the AFM…
▽ More
A mgnetic bimeron is an in-plane topological counterpart of a magnetic skyrmion. Despite the topological equivalence, their statics and dynamics could be distinct, making them attractive from the perspectives of both physics and spintronic applications. In this work, we investigate an antiferromagnetic (AFM) thin film with interfacial Dzyaloshinskii-Moriya interaction (DMI), and introduce the AFM bimeron cluster as a new form of topological quasi-particle. Bimerons demonstrate high current-driven mobility as generic AFM solitons, while featuring anisotropic and relativistic dynamics excited by currents with in-plane and out-of-plane polarizations, respectively. Moreover, these spin textures can absorb other bimeron solitons or clusters along the translational direction to acquire a wide range of Néel topological numbers. The clustering involves the rearrangement of topological structures, and gives rise to remarkable changes in static and dynamical properties. The merits of AFM bimeron clusters reveal a potential path to unify multi-bit data creation, transmission, storage and even topology-based computation within the same material system, and may stimulate innovative spintronic devices enabling new paradigms of data manipulations.
△ Less
Submitted 31 August, 2020; v1 submitted 11 February, 2020;
originally announced February 2020.
-
Homogeneous Dynamics and Unlikely Intersections
Authors:
R. Richard,
A. Yafaev,
T. Zamojski
Abstract:
This is a preliminary version of a monograph on homogeneous dynamics and application to some problems of unlikely intersections in Shimura varieties. It consists of four articles, which can be read independently. The first one, by the two first named authors, discuss the main application, to some refinement of the André-Pink-Zannier conjecture about closures of subsets of restricted Hecke orbits i…
▽ More
This is a preliminary version of a monograph on homogeneous dynamics and application to some problems of unlikely intersections in Shimura varieties. It consists of four articles, which can be read independently. The first one, by the two first named authors, discuss the main application, to some refinement of the André-Pink-Zannier conjecture about closures of subsets of restricted Hecke orbits in Shimura varieties. The second article, by the first and last named author, establishes results about the dynamics of sequences translates of some measures in spaces of $S$-arithmetic lattices. These results are the cornerstone of the methods in the first article. The last two articles, by the first named author, establish results which are crucial for the second article. The third article gives an ultrametric analogue of archimedean results of Richard and Shah, and contains methods of independent interest about stability, Berkovich spaces and Bruhat-Tits buildings. The last article is set in the same context as the second article, and discusses non-divergence of the studied sequences of translates.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
A two dimensional arithmetic André-Oort problem
Authors:
Rodolphe Richard
Abstract:
We state and investigate an integral analogue of the André-Oort conjecture (in integral models of Shimura varieties). We establish an instance of this conjecture: the case of a modular curve, as a scheme over Z. It is a scheme of dimension two and, already in this case, our conjecture is highly non-trivial. Our approach relies on equidistribution estimates related to subconvexity in analytic numbe…
▽ More
We state and investigate an integral analogue of the André-Oort conjecture (in integral models of Shimura varieties). We establish an instance of this conjecture: the case of a modular curve, as a scheme over Z. It is a scheme of dimension two and, already in this case, our conjecture is highly non-trivial. Our approach relies on equidistribution estimates related to subconvexity in analytic number theory and our result is unconditional.
△ Less
Submitted 20 December, 2021; v1 submitted 23 August, 2018;
originally announced August 2018.
-
A mod p variant of the André-Oort conjecture
Authors:
Bas Edixhoven,
Rodolphe Richard
Abstract:
We state and prove a variant of the André-Oort conjecture for the product of 2 modular curves in positive characteristic, assuming GRH for quadratic fields.
We state and prove a variant of the André-Oort conjecture for the product of 2 modular curves in positive characteristic, assuming GRH for quadratic fields.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Improving QED-Tutrix by Automating the Generation of Proofs
Authors:
Ludovic Font,
Philippe R. Richard,
Michel Gagnon
Abstract:
The idea of assisting teachers with technological tools is not new. Mathematics in general, and geometry in particular, provide interesting challenges when developing educative softwares, both in the education and computer science aspects. QED-Tutrix is an intelligent tutor for geometry offering an interface to help high school students in the resolution of demonstration problems. It focuses on s…
▽ More
The idea of assisting teachers with technological tools is not new. Mathematics in general, and geometry in particular, provide interesting challenges when developing educative softwares, both in the education and computer science aspects. QED-Tutrix is an intelligent tutor for geometry offering an interface to help high school students in the resolution of demonstration problems. It focuses on specific goals: 1) to allow the student to freely explore the problem and its figure, 2) to accept proofs elements in any order, 3) to handle a variety of proofs, which can be customized by the teacher, and 4) to be able to help the student at any step of the resolution of the problem, if the need arises. The software is also independent from the intervention of the teacher. QED-Tutrix offers an interesting approach to geometry education, but is currently crippled by the lengthiness of the process of implementing new problems, a task that must still be done manually. Therefore, one of the main focuses of the QED-Tutrix' research team is to ease the implementation of new problems, by automating the tedious step of finding all possible proofs for a given problem. This automation must follow fundamental constraints in order to create problems compatible with QED-Tutrix: 1) readability of the proofs, 2) accessibility at a high school level, and 3) possibility for the teacher to modify the parameters defining the "acceptability" of a proof. We present in this paper the result of our preliminary exploration of possible avenues for this task. Automated theorem proving in geometry is a widely studied subject, and various provers exist. However, our constraints are quite specific and some adaptation would be required to use an existing prover. We have therefore implemented a prototype of automated prover to suit our needs. The future goal is to compare performances and usability in our specific use-case between the existing provers and our implementation.
△ Less
Submitted 4 March, 2018;
originally announced March 2018.
-
Inner Galois Equidistribution in S-Hecke orbits
Authors:
Rodolphe Richard,
Andrei Yafaev
Abstract:
We obtain results on the so-called Andre-Pink-Zannier conjecture which is a special case of a the Zilber-Pink conjecture on unlikely intersections in Shimura varieties. Our methods rely on an ergodic theorem of Richard-Zamojski and we are able to obtain stronger conclusions that those of the Andre-Pink-Zannier conjecture in the special case we consider. We work under the assumption of the S-Shafar…
▽ More
We obtain results on the so-called Andre-Pink-Zannier conjecture which is a special case of a the Zilber-Pink conjecture on unlikely intersections in Shimura varieties. Our methods rely on an ergodic theorem of Richard-Zamojski and we are able to obtain stronger conclusions that those of the Andre-Pink-Zannier conjecture in the special case we consider. We work under the assumption of the S-Shafarevich conjecture and S-semisimplicity conjecture which hold for Shimura varieties of abelian type.
△ Less
Submitted 8 November, 2017;
originally announced November 2017.
-
CP-violating top quark couplings at future linear $e^+e^-$ colliders
Authors:
W. Bernreuther,
L. Chen,
I. García,
M. Perelló,
R. Poeschl F. Richard,
E. Ros,
M. Vos
Abstract:
We study the potential of future lepton colliders to probe violation of the CP symmetry in the top quark sector. In certain extensions of the Standard Model, such as the two-Higgs-doublet model (2HDM), sizeable anomalous top quark dipole moments can arise, that may be revealed by a precise measurement of top quark pair production. We present results from detailed Monte Carlo studies for the ILC at…
▽ More
We study the potential of future lepton colliders to probe violation of the CP symmetry in the top quark sector. In certain extensions of the Standard Model, such as the two-Higgs-doublet model (2HDM), sizeable anomalous top quark dipole moments can arise, that may be revealed by a precise measurement of top quark pair production. We present results from detailed Monte Carlo studies for the ILC at 500~\GeV{} and CLIC at 380~\gev{} and use parton-level simulations to explore the potential of high-energy operation. We find that precise measurements in $e^+e^- \rightarrow t\bar{t}$ production with subsequent decay to lepton plus jets final states can provide sufficient sensitivity to detect Higgs-boson-induced CP violation in a viable two-Higgs-doublet model. The potential of a linear $e^+e^-$ collider to detect CP-violating electric and weak dipole form factors of the top quark exceeds the prospects of the HL-LHC by over an order of magnitude.
△ Less
Submitted 18 October, 2017;
originally announced October 2017.
-
Résultat géométrique sur les représentations de groupes réductifs sur un corps ultramétrique
Authors:
Rodolphe Richard
Abstract:
This article adapts the results of arXiv:1305.6557 to the ultrametric setting. This is a re-edition of the Chapter V of author thesis.
This article adapts the results of arXiv:1305.6557 to the ultrametric setting. This is a re-edition of the Chapter V of author thesis.
△ Less
Submitted 1 June, 2017;
originally announced June 2017.
-
Limit distribution of Translated pieces of possibly irrational leaves in S-arithmetic homogeneous spaces
Authors:
Rodolphe Richard,
Thomas Zamojski
Abstract:
The purpose of this article is to describe and characterize the limit distributions of translates of a bounded open "piece of orbit" of a reductive subgroup on a space of S-arithmetic lattices. This is accomplished under a mild assumption of "analytic stability" on the sequence of translates. It is important to note however that it is not necessary to assume that the reductive subgroup or its cent…
▽ More
The purpose of this article is to describe and characterize the limit distributions of translates of a bounded open "piece of orbit" of a reductive subgroup on a space of S-arithmetic lattices. This is accomplished under a mild assumption of "analytic stability" on the sequence of translates. It is important to note however that it is not necessary to assume that the reductive subgroup or its centralizer are algebraic. Moreover, it is also not necessary to assume that the initial orbit is of finite measure or even closed. This article thus provides important generalizations on previously known results and opens ways to new applications in number theory, two of which are briefly mentioned.
△ Less
Submitted 28 April, 2016;
originally announced April 2016.
-
On π-exponentials II : Closed formula for the index
Authors:
Rodolphe Richard
Abstract:
(Quoted from the article) This article pursue the series, initiated by [Ric14], dedicated to Pulita's π-exponentials and p-adic differential equation of rank one with coefficients a polynomial in a ultrametric extension of the field of $p$-adic numbers. We complement [Ric14] with a closed formula for the index. The "$p$-typical" particular case answers one problem studied in [Mor10]. We also answe…
▽ More
(Quoted from the article) This article pursue the series, initiated by [Ric14], dedicated to Pulita's π-exponentials and p-adic differential equation of rank one with coefficients a polynomial in a ultrametric extension of the field of $p$-adic numbers. We complement [Ric14] with a closed formula for the index. The "$p$-typical" particular case answers one problem studied in [Mor10]. We also answer a question [Rob86, §2.4] of Robba on the comparison from rational cohomology toward Dwork cohomology. We even indicate a procedure to palliate the lack of isomorphy of this comparison. We establish by the way a characterisation of soluble equations up to equivalence on the dagger algebra. An appendix determine the polynomial complexity of the derived algorithm.
△ Less
Submitted 3 March, 2014;
originally announced March 2014.
-
Sur les π-exponentielles I : Vecteurs de Witt annulés par Frobenius et Algorithme de (leur rayon de convergence)
Authors:
Rodolphe Richard
Abstract:
(Quoted from the article) Our object is the theory of "π-exponentials" Pulita developed in his thesis [...] We start with an abstract algebra statement about the structure of the kernel of iterations of the Frobenius endomorphism on the ring of Witt vectors with coordinates in the ring of integers of an ultrametric extension of $\mathbf{Q}_p$. Provided sufficiently (ramified) roots of unity are av…
▽ More
(Quoted from the article) Our object is the theory of "π-exponentials" Pulita developed in his thesis [...] We start with an abstract algebra statement about the structure of the kernel of iterations of the Frobenius endomorphism on the ring of Witt vectors with coordinates in the ring of integers of an ultrametric extension of $\mathbf{Q}_p$. Provided sufficiently (ramified) roots of unity are available, it is, unexpectedly simply, a principal ideal with respect to an explicit generator essentially given by Pulita's π-exponential. This result is a consequence and a reformulation of core facts of Pulita's theory. It happened to be simpler to prove directly than reformulating Pulita's results. Its translation in terms of series is very elementary, and gives a criterion for solv- abilty and integrality for p-adic exponential series of polynomials. We explain how to deduce an explicit formula of their radius of convergence, and even the function radius of convergence. We recover this way, in elementary terms, with a new proof, and important simplifications, an algorithm of Christol based similarly on Pulita's work. One concrete advantage is: one can easily prove rigorous complexity bounds about the implied algorithm from our explicit formula. We also add there and there refinements and observation, notably hinting some of the finer informations that can also given by the algorithm. One of the appendix produce a computation which gives finer estimates on the coefficients of these series. It should provide useful in proving complexity bounds for various computational use involving these series.[...]
△ Less
Submitted 3 March, 2014;
originally announced March 2014.
-
Geometric results on linear actions of reductive Lie groups for applications to homogeneous dynamics
Authors:
Rodolphe Richard,
Nimish A. Shah
Abstract:
Several problems in number theory when reformulated in terms of homogenous dynamics involve study of limiting distributions of translates of algebraically defined measures on orbits of reductive groups. The general non-divergence and linearization techniques, in view of Ratner's measure classification for unipotent flows, reduce such problems to dynamical questions about linear actions of reductiv…
▽ More
Several problems in number theory when reformulated in terms of homogenous dynamics involve study of limiting distributions of translates of algebraically defined measures on orbits of reductive groups. The general non-divergence and linearization techniques, in view of Ratner's measure classification for unipotent flows, reduce such problems to dynamical questions about linear actions of reductive groups on finite dimensional vectors spaces. This article provides general results which resolve these linear dynamical questions in terms of natural group theoretic or geometric conditions.
△ Less
Submitted 1 October, 2016; v1 submitted 28 May, 2013;
originally announced May 2013.
