title: Fiduciary Responsibility: Facilitating Public Trust in Automated Decision Making

abstract: Automated decision-making systems are being increasingly deployed and affect the public in a multitude of positive and negative ways. Governmental and private institutions use these systems to process information according to certain human-devised rules in order to address social problems or organizational challenges. Both research and real-world experience indicate that the public lacks trust in automated decision-making systems and the institutions that deploy them. The recreancy theorem argues that the public is more likely to trust and support decisions made or influenced by automated decision-making systems if the institutions that administer them meet their fiduciary responsibility. However, often the public is never informed of how these systems operate and resultant institutional decisions are made. A ``black box'' effect of automated decision-making systems reduces the public's perceptions of integrity and trustworthiness. The result is that the public loses the capacity to identify, challenge, and rectify unfairness or the costs associated with the loss of public goods or benefits. The current position paper defines and explains the role of fiduciary responsibility within an automated decision-making system. We formulate an automated decision-making system as a data science lifecycle (DSL) and examine the implications of fiduciary responsibility within the context of the DSL. Fiduciary responsibility within DSLs provides a methodology for addressing the public's lack of trust in automated decision-making systems and the institutions that employ them to make decisions affecting the public. We posit that fiduciary responsibility manifests in several contexts of a DSL, each of which requires its own mitigation of sources of mistrust. To instantiate fiduciary responsibility, a Los Angeles Police Department (LAPD) predictive policing case study is examined.


title: Beyond $\ell_1$ sparse coding in V1

abstract: Growing evidence indicates that only a sparse subset from a pool of sensory neurons is active for the encoding of visual stimuli at any instant in time. Traditionally, to replicate such biological sparsity, generative models have been using the $\ell_1$ norm as a penalty due to its convexity, which makes it amenable to fast and simple algorithmic solvers. In this work, we use biological vision as a test-bed and show that the soft thresholding operation associated to the use of the $\ell_1$ norm is highly suboptimal compared to other functions suited to approximating $\ell_q$ with $0 \leq q < 1 $ (including recently proposed Continuous Exact relaxations), both in terms of performance and in the production of features that are akin to signatures of the primary visual cortex. We show that $\ell_1$ sparsity produces a denser code or employs a pool with more neurons, i.e. has a higher degree of overcompleteness, in order to maintain the same reconstruction error as the other methods considered. For all the penalty functions tested, a subset of the neurons develop orientation selectivity similarly to V1 neurons. When their code is sparse enough, the methods also develop receptive fields with varying functionalities, another signature of V1. Compared to other methods, soft thresholding achieves this level of sparsity at the expense of much degraded reconstruction performance, that more likely than not is not acceptable in biological vision. Our results indicate that V1 uses a sparsity inducing regularization that is closer to the $\ell_0$ pseudo-norm rather than to the $\ell_1$ norm.


title: Thermal Neutrinos from the Explosion of a Minimum-Mass Neutron Star

abstract: We present our calculations of the thermal neutrino radiation that accompanies the explosion of a minimum-mass neutron star. In this case, the neutrino luminosity is lower than the luminosity during a supernova explosion approximately by five orders of magnitude, while the energy carried away by neutrinos is low compared to the explosion energy. We also show that the energy losses through neutrinos do not hinder the envelope heating and the cumulation of the shock during its breakout and the acceleration of the outer part of the envelope to ultrarelativistic speeds.


title: Pulse shape effects in qubit dynamics demonstrated on an IBM quantum computer

abstract: We present a study of the coherent interaction of a qubit with a pulse-shaped external field of a constant carrier frequency. We explore, theoretically and experimentally, the transition line profile -- the dependence of the transition probability on the detuning -- for five different pulse shapes: rectangular, Gaussian, hyperbolic-secant, squared hyperbolic-secant and exponential. The theoretical description for all cases but sech$^2$ is based on the analytical solutions to the Schr\"odinger equation or accurate approximations available in the literature. For the sech$^2$ pulse we derive an analytical expression for the transition probability using the Rosen-Zener conjecture, which proves very accurate. The same conjecture turns out to provide a very accurate approximation for the Gaussian and exponential pulses too. The experimental results are obtained with one of IBMQ's quantum processors. An excellent agreement between theory and experiment is observed, demonstrating some pulse-shape-dependent fine features of the transition probability profile. The mean absolute error -- a measure of the accuracy of the fit -- features an improvement by a factor of 4 to 8 for the analytic models compared to the commonly used Lorentzian fits. Moreover, the uncertainty of the qubit's resonance frequency is reduced by a factor of 4 for the analytic models compared to the Lorentzian fits. These results demonstrate both the accuracy of the analytic modelling of quantum dynamics and the excellent coherent properties of IBMQ's qubit.


title: An Event-Driven Approach To Genotype Imputation On A Custom RISC-V FPGA Cluster

abstract: This paper proposes an event-driven solution to genotype imputation, a technique used to statistically infer missing genetic markers in DNA. The work implements the widely accepted Li and Stephens model, primary contributor to the computational complexity of modern x86 solutions, in an attempt to determine whether further investigation of the application is warranted in the event-driven domain. The model is implemented using graph-based Hidden Markov Modeling and executed as a customized forward/backward dynamic programming algorithm. The solution uses an event-driven paradigm to map the algorithm to thousands of concurrent cores, where events are small messages that carry both control and data within the algorithm. The design of a single processing element is discussed. This is then extended across multiple FPGAs and executed on a custom RISC-V NoC FPGA cluster called POETS. Results demonstrate how the algorithm scales over increasing hardware resources and a 48 FPGA run demonstrates a 270X reduction in wall-clock processing time when compared to a single-threaded x86 solution. Optimisation of the algorithm via linear interpolation is then introduced and tested, with results demonstrating a wall-clock reduction time of approx. 5 orders of magnitude when compared to a similarly optimised x86 solution.


title: The Competitive Leverage Paradox Effect on Information Systems Life Cycle

abstract: The fierce market competition has put pressure on organizations leveraging their value chains. The continuous development in strategic technologies such as Artificial Intelligence (AI) has pushed organizations to continuously acquire new Intelligent Information Systems (IIS) while underutilizing existing ones leading to the competitive leverage paradox. However, research on underutilizing IIS has focused on the social and organizational aspects of the problem, ignoring the flaws in designing and evaluating IIS. One of the overlooked factors is the effective life span of an IIS. This research conducted a systematic literature review to profoundly investigate the determinants of the competitive leverage paradox and its effect on the IIS life cycle. The research studies the IISs from economic and design perspectives. We also explore the design and strategic factors that led to defects in the effective life cycle of IIS. This research calls to consider the economic, and design factors in addressing the underutilization of IIS. The study also presents future research propositions to enhance IIS life cycle and return on investment.


title: Information Governance as a Socio-Technical Process in the Development of Trustworthy Healthcare AI

abstract: In order to develop trustworthy healthcare artificial intelligence (AI) prospective and ergonomics studies that consider the complexity and reality of real-world applications of AI systems are needed. To achieve this, technology developers and deploying organisations need to form collaborative partnerships. This entails access to healthcare data, which frequently might also include potentially identifiable data such as audio recordings of calls made to an ambulance service call centre. Information Governance (IG) processes have been put in place to govern the use of personal confidential data. However, navigating IG processes in the formative stages of AI development and pre-deployment can be challenging, because the legal basis for data sharing is explicit only for the purpose of delivering patient care, i.e., once a system is put into service. In this paper we describe our experiences of managing IG for the assurance of healthcare AI, using the example of an out-of-hospital-cardiac-arrest recognition software within the context of the Welsh Ambulance Service. We frame IG as a socio-technical process. IG processes for the development of trustworthy healthcare AI rely on information governance work, which entails dialogue, negotiation, and trade-offs around the legal basis for data sharing, data requirements and data control. Information governance work should start early in the design life cycle and will likely continue throughout. This includes a focus on establishing and building relationships, as well as a focus on organisational readiness deeper understanding of both AI technologies as well as their safety assurance requirements.


title: Few-shot Font Generation by Learning Style Difference and Similarity

abstract: Few-shot font generation (FFG) aims to preserve the underlying global structure of the original character while generating target fonts by referring to a few samples. It has been applied to font library creation, a personalized signature, and other scenarios. Existing FFG methods explicitly disentangle content and style of reference glyphs universally or component-wisely. However, they ignore the difference between glyphs in different styles and the similarity of glyphs in the same style, which results in artifacts such as local distortions and style inconsistency. To address this issue, we propose a novel font generation approach by learning the Difference between different styles and the Similarity of the same style (DS-Font). We introduce contrastive learning to consider the positive and negative relationship between styles. Specifically, we propose a multi-layer style projector for style encoding and realize a distinctive style representation via our proposed Cluster-level Contrastive Style (CCS) loss. In addition, we design a multi-task patch discriminator, which comprehensively considers different areas of the image and ensures that each style can be distinguished independently. We conduct qualitative and quantitative evaluations comprehensively to demonstrate that our approach achieves significantly better results than state-of-the-art methods.


title: Remote patient monitoring using artificial intelligence: Current state, applications, and challenges

abstract: The adoption of artificial intelligence (AI) in healthcare is growing rapidly. Remote patient monitoring (RPM) is one of the common healthcare applications that assist doctors to monitor patients with chronic or acute illness at remote locations, elderly people in-home care, and even hospitalized patients. The reliability of manual patient monitoring systems depends on staff time management which is dependent on their workload. Conventional patient monitoring involves invasive approaches which require skin contact to monitor health status. This study aims to do a comprehensive review of RPM systems including adopted advanced technologies, AI impact on RPM, challenges and trends in AI-enabled RPM. This review explores the benefits and challenges of patient-centric RPM architectures enabled with Internet of Things wearable devices and sensors using the cloud, fog, edge, and blockchain technologies. The role of AI in RPM ranges from physical activity classification to chronic disease monitoring and vital signs monitoring in emergency settings. This review results show that AI-enabled RPM architectures have transformed healthcare monitoring applications because of their ability to detect early deterioration in patients' health, personalize individual patient health parameter monitoring using federated learning, and learn human behavior patterns using techniques such as reinforcement learning. This review discusses the challenges and trends to adopt AI to RPM systems and implementation issues. The future directions of AI in RPM applications are analyzed based on the challenges and trends


title: Pythagorean Centrality for Data Selection

abstract: This paper provides an overview of the Pythagorean centrality measures, which are the arithmetic, geometric, and harmonic means. Both the evolution of their meaning through history and their geometrical interpretation are outlined. Relevant examples of use cases for each of them are introduced, spanning a variety of areas of knowledge. Their differences and similarities are explored. Finally, the issue of which mean to use in different situations in order to make advantageous predictions is addressed. Keywords: central tendency, Pythagorean means, arithmetic mean, geometric mean, harmonic mean, data selection


title: Delooping the sign homomorphism in univalent mathematics

abstract: In univalent mathematics there are at least two equivalent ways to present the category of groups. Groups presented in their usual algebraic form are called abstract groups, and groups presented as pointed connected $1$-types are called concrete groups. Since these two descriptions of the category of groups are equivalent, we find that every algebraic group corresponds uniquely to a concrete group -- its delooping -- and that each abstract group homomorphisms corresponds uniquely to a pointed map between concrete groups. The $n$-th abstract symmetric group $S_n$ of all bijections $[n]\simeq [n]$, for instance, corresponds to the concrete group of all $n$-element types. The sign homomorphism from $S_n$ to $S_2$ should therefore correspond to a pointed map from the type $BS_n$ of all $n$-element types to the type $BS_2$ of all $2$-element types. Making use of the univalence axiom, we characterize precisely when a pointed map $BS_n\to_\ast BS_2$ is a delooping of the sign homomorphism. Then we proceed to give several constructions of the delooping of the sign homomorphism. Notably, the construction following a method of Cartier can be given without reference to the sign homomorphism. Our results are formalized in the agda-unimath library.


title: The Role of Digital Agriculture in Transforming Rural Areas into Smart Villages

abstract: From the perspective of any nation, rural areas generally present a comparable set of problems, such as a lack of proper health care, education, living conditions, wages, and market opportunities. Some nations have created and developed the concept of smart villages during the previous few decades, which effectively addresses these issues. The landscape of traditional agriculture has been radically altered by digital agriculture, which has also had a positive economic impact on farmers and those who live in rural regions by ensuring an increase in agricultural production. We explored current issues in rural areas, and the consequences of smart village applications, and then illustrate our concept of smart village from recent examples of how emerging digital agriculture trends contribute to improving agricultural production in this chapter.


title: Ultra-soft Thermal Diodes Enabled by Dual-Alkane-Based Phase Change Composites

abstract: Thermal diode, a type of device that allows heat to flow in one direction preferentially, can be employed in many thermal applications. However, if the mechanical compliance of the thermal diode is poor, which prevents its intimate contact with heat source or sink surfaces, the thermal rectification performance cannot be used to its full extent. In this work, we introduce a heterojunction thermal diode made of a phase change material (PCM) consisting of dual alkanes (hexadecane and paraffine wax) and polyurethane. The fabricated thermal diode exhibits an ultra soft mechanical feature, with a low elastic modulus of 0.4 KPa and larger than 300% elongation until failure: the best values reported to date for thermal diodes. The measured thermal rectification factor is as high as 1.42 that in line with the theoretical model prediction. Molecular dynamic simulations reveal that the thermal rectification mechanism of the PCM based thermal diode originates from the crystal-amorphous phase transition of the hexadecane terminal as the temperature bias flips. Therefore, the heat flow in the forward direction is greater than the flux in the reverse direction. A series of experiments and finite element analyses are employed to verify the feasibility of thermal diodes for applications. Our results demonstrate that the fabricated thermal diode can be potentially used in building envelop to help with temperature regulation and thus reduce energy consumption for space cooling or heating.


title: A generalization of Bernstein-Vazirani algorithm with multiple secret keys and a probabilistic oracle

abstract: A probabilistic version of the Bernstein-Vazirani problem (which is a generalization of the original Bernstein-Vazirani problem) and a quantum algorithm to solve it are proposed. The problem involves finding one or more secret keys from a set of multiple secret keys (encoded in binary form) using a quantum oracle. From a set of multiple unknown keys, the proposed quantum algorithm is capable of (a) obtaining any key (with certainty) using a single query to the probabilistic oracle and (b) finding all keys with a high probability (approaching 1 in the limiting case). In contrast, a classical algorithm will be unable to find even a single bit of a secret key with certainty (in the general case). Owing to the probabilistic nature of the oracle, a classical algorithm can only be useful in obtaining limiting probability distributions of $ 0 $ and $ 1 $ for each bit-position of secret keys (based on multiple oracle calls) and this information can further be used to infer some estimates on the distribution of secret keys based on combinatorial considerations. For comparison, it is worth noting that a classical algorithm can be used to exactly solve the original Bernstein-Vazirani problem (involving a deterministic oracle and a single hidden key containing $n$ bits) with a query complexity of $\mathcal{O}(n)$. An interesting class of problems similar to the probabilistic version of the Bernstein-Vazirani problem can be construed, where quantum algorithms can provide efficient solutions with certainty or with a high degree of confidence and classical algorithms would fail to do so.


title: Deep Attention-Based Alignment Network for Melody Generation from Incomplete Lyrics

abstract: We propose a deep attention-based alignment network, which aims to automatically predict lyrics and melody with given incomplete lyrics as input in a way similar to the music creation of humans. Most importantly, a deep neural lyrics-to-melody net is trained in an encoder-decoder way to predict possible pairs of lyrics-melody when given incomplete lyrics (few keywords). The attention mechanism is exploited to align the predicted lyrics with the melody during the lyrics-to-melody generation. The qualitative and quantitative evaluation metrics reveal that the proposed method is indeed capable of generating proper lyrics and corresponding melody for composing new songs given a piece of incomplete seed lyrics.


title: A Case Study in Engineering a Conversational Programming Assistant's Persona

abstract: The Programmer's Assistant is an experimental prototype software development environment that integrates a chatbot with a code editor. Conversational capability was achieved by using an existing code-fluent Large Language Model and providing it with a prompt that establishes a conversational interaction pattern, a set of conventions, and a style of interaction appropriate for the application. A discussion of the evolution of the prompt provides a case study in how to coax an existing foundation model to behave in a desirable manner for a particular application.


title: Strategies for practical advantage of fault-tolerant circuit design in noisy trapped-ion quantum computers

abstract: Fault-tolerant quantum error correction provides a strategy to protect information processed by a quantum computer against noise which would otherwise corrupt the data. A fault-tolerant universal quantum computer must implement a universal gate set on the logical level in order to perform arbitrary calculations to in principle unlimited precision. We characterize the recent demonstration of a fault-tolerant universal gate set in a trapped-ion quantum computer [Postler et al. Nature 605.7911 (2022)] and identify aspects to improve the design of experimental setups to reach an advantage of logical over physical qubit operation. We show that various criteria to assess the break-even point for fault-tolerant quantum operations are within reach for the ion trap quantum computing architecture under consideration. We analyze the influence of crosstalk in entangling gates for logical state preparation circuits. These circuits can be designed to respect fault tolerance for specific microscopic noise models. We find that an experimentally-informed depolarizing noise model captures the essential noise dynamics of the fault-tolerant experiment, and crosstalk is negligible in the currently accessible regime of physical error rates. For deterministic Pauli state preparation, we provide a fault-tolerant unitary logical qubit initialization circuit, which can be realized without in-sequence measurement and feed-forward of classical information. We show that non-deterministic state preparation schemes for logical Pauli and magic states perform with higher logical fidelity over their deterministic counterparts for the current and anticipated future regime of physical error rates. Our results offer guidance on improvements of physical qubit operations and validate the experimentally-informed noise model as a tool to predict logical failure rates in quantum computing architectures based on trapped ions.


title: GyroFlow+: Gyroscope-Guided Unsupervised Deep Homography and Optical Flow Learning

abstract: Existing homography and optical flow methods are erroneous in challenging scenes, such as fog, rain, night, and snow because the basic assumptions such as brightness and gradient constancy are broken. To address this issue, we present an unsupervised learning approach that fuses gyroscope into homography and optical flow learning. Specifically, we first convert gyroscope readings into motion fields named gyro field. Second, we design a self-guided fusion module (SGF) to fuse the background motion extracted from the gyro field with the optical flow and guide the network to focus on motion details. Meanwhile, we propose a homography decoder module (HD) to combine gyro field and intermediate results of SGF to produce the homography. To the best of our knowledge, this is the first deep learning framework that fuses gyroscope data and image content for both deep homography and optical flow learning. To validate our method, we propose a new dataset that covers regular and challenging scenes. Experiments show that our method outperforms the state-of-the-art methods in both regular and challenging scenes.


title: Inference of proto-neutron star properties in core-collapse supernovae from a gravitational-wave detector network

abstract: The next Galactic core-collapse supernova (CCSN) will be a unique opportunity to study within a fully multi-messenger approach the explosion mechanism responsible for the formation of neutron stars and stellar-mass black holes. State-of-the-art numerical simulations of those events reveal the complexity of the gravitational-wave emission which is highly stochastic. This challenges the possibility to infer the properties of the compact remnant and of its progenitor using the information encoded in the waveforms. In this paper we take further steps in a program we recently initiated to overcome those difficulties. In particular we show how oscillation modes of the proto-neutron star, highly visible in the gravitational-wave signal, can be used to reconstruct the time evolution of their physical properties. Extending our previous work where only the information from a single detector was used we here describe a new data-analysis pipeline that coherently combines gravitational-wave detectors' data and infers the time evolution of a combination of the mass and radius of the compact remnant. The performance of the method is estimated employing waveforms from 2D and 3D CCSN simulations covering a progenitor mass range between 11$\mathrm{M_{\odot}}$\, and 40$\mathrm{M_{\odot}}$\, and different equations of state for both a network of up to five second-generation detectors and the proposed third-generation detectors Einstein Telescope and Cosmic Explorer. Our study shows that it will be possible to infer PNS properties for CCSN events occurring in the vicinity of the Milky Way, up to the Large Magellanic Cloud, with the current generation of gravitational-wave detectors.


title: Commutant lifting, interpolation, and perturbations on the polydisc

abstract: The fundamental theorem on commutant lifting due to Sarason does not carry over to the setting of the polydisc. This paper presents two classifications of commutant lifting in several variables. The first classification links the lifting problem to the contractivity of certain linear functionals. The second one transforms it into nonnegative real numbers. We also solve the Nevanlinna-Pick interpolation problem for bounded analytic functions on the polydisc. Along the way, we solve a perturbation problem for bounded analytic functions. Commutant lifting and interpolation on the polydisc solve two well-known problems in Hilbert function space theory.


title: Photo-assisted current in the fractional quantum Hall effect as a probe of the quasiparticle operator scaling dimension

abstract: We study photo-assisted transport for the edge states of a two dimensional electron gas in the fractional quantum Hall regime, pinched by a single quantum point contact. We provide a general expression of the photo-assisted current using a Keldysh-Floquet approach, when the AC drive is applied either directly to the edge states, or when it modulates the tunneling amplitude at the quantum point contact. Strikingly, for a simple cosine modulation of the tunneling amplitude, the phase shift of the second harmonic of the photoassisted current is directly related to the scaling dimension of the quasiparticle operators describing the fractional excitations. As the scaling dimension is intimately related to the statistics, our proposal of a gate modulation of the backscattered current provides a diagnosis of the statistics of Laughlin quasiparticles using a simple quantum point contact geometry.


title: Koopman neural operator as a mesh-free solver of non-linear partial differential equations

abstract: The lacking of analytic solutions of diverse partial differential equations (PDEs) gives birth to a series of computational techniques for numerical solutions. Although numerous latest advances are accomplished in developing neural operators, a kind of neural-network-based PDE solver, these solvers become less accurate and explainable while learning long-term behaviors of non-linear PDE families. In this paper, we propose the Koopman neural operator (KNO), a new neural operator, to overcome these challenges. With the same objective of learning an infinite-dimensional mapping between Banach spaces that serves as the solution operator of the target PDE family, our approach differs from existing models by formulating a non-linear dynamic system of equation solution. By approximating the Koopman operator, an infinite-dimensional operator governing all possible observations of the dynamic system, to act on the flow mapping of the dynamic system, we can equivalently learn the solution of a non-linear PDE family by solving simple linear prediction problems. We validate the KNO in mesh-independent, long-term, and5zero-shot predictions on five representative PDEs (e.g., the Navier-Stokes equation and the Rayleigh-B{\'e}nard convection) and three real dynamic systems (e.g., global water vapor patterns and western boundary currents). In these experiments, the KNO exhibits notable advantages compared with previous state-of-the-art models, suggesting the potential of the KNO in supporting diverse science and engineering applications (e.g., PDE solving, turbulence modelling, and precipitation forecasting).

categories: cs.LG cs.NA math.NA physics.comp-ph physics.data-an physics.flu-dyn


title: Discovering Transition Pathways Towards Coviability with Machine Learning

abstract: Coviability refers to the multiple socio-ecological arrangements and governance structures under which humans and nature can coexist in functional, fair, and persistent ways. Transitioning to a coviable state in environmentally degraded and socially vulnerable territories is challenging. This paper presents an ongoing French-Brazilian joint research project combining machine learning, agroecology, and social sciences to discover coviability pathways that can be adopted and implemented by local populations in the North-East region of Brazil.


title: Flexible Colloidal Molecules with Directional Bonds and Controlled Flexibility

abstract: Colloidal molecules are ideal model systems for mimicking real molecules and can serve as versatile building blocks for the bottom-up self-assembly of flexible and smart materials. While most colloidal molecules are rigid objects, the development of colloidal joints has made it possible to also include conformational flexibility into colloidal molecules. However, their unrestricted range of motion does not capture the restricted motion range and bond directionality that is typical of real molecules. In this work, we create flexible colloidal molecules with an in situ controllable motion range and bond directionality by assembling spherical particles onto cubes functionalized with complementary surface-mobile DNA. We assemble colloidal molecules with different coordination number of spheres by varying the size ratio and find that they feature a constrained range of motion above a critical size ratio. Using theory and simulations, we show that the particle shape together with the multivalent bonds create an effective free-energy landscape for the motion of the sphere on the surface of the cube. We quantify the confinement of the spheres on the surface of the cube and the probability to change facet. We find that temperature can be used as an extra control parameter to switch in situ between full and constrained flexibility of these colloidal molecules. These flexible colloidal molecules with temperature switching motion range can be used to investigate the effect of directional, yet flexible bonds in determining their self-assembly and phase behavior, and may be employed as constructional units in microrobotics and novel smart materials


title: Teaching Computer Science Students to Communicate Scientific Findings More Effectively

abstract: Science communication forms the bridge between computer science researchers and their target audience. Researchers who can effectively draw attention to their research findings and communicate them comprehensibly not only help their target audience to actually learn something, but also benefit themselves from the increased visibility of their work and person. However, the necessary skills for good science communication must also be taught, and this has so far been neglected in the field of software engineering education. We therefore designed and implemented a science communication seminar for bachelor students of computer science curricula. Students take the position of a researcher who, shortly after publication, is faced with having to draw attention to the paper and effectively communicate the contents of the paper to one or more target audiences. Based on this scenario, each student develops a communication strategy for an already published software engineering research paper and tests the resulting ideas with the other seminar participants. We explain our design decisions for the seminar, and combine our experiences with responses to a participant survey into lessons learned. With this experience report, we intend to motivate and enable other lecturers to offer a similar seminar at their university. Collectively, university lecturers can prepare the next generation of computer science researchers to not only be experts in their field, but also to communicate research findings more effectively.


title: From Robots to Books: An Introduction to Smart Applications of AI in Education (AIEd)

abstract: The world around us has undergone a radical transformation due to rapid technological advancement in recent decades. The industry of the future generation is evolving, and artificial intelligence is the following change in the making popularly known as Industry 4.0. Indeed, experts predict that artificial intelligence(AI) will be the main force behind the following significant virtual shift in the way we stay, converse, study, live, communicate and conduct business. All facets of our social connection are being transformed by this growing technology. One of the newest areas of educational technology is Artificial Intelligence in the field of Education(AIEd).This study emphasizes the different applications of artificial intelligence in education from both an industrial and academic standpoint. It highlights the most recent contextualized learning novel transformative evaluations and advancements in sophisticated tutoring systems. It analyses the AIEd's ethical component and the influence of the transition on people, particularly students and instructors as well. Finally, this article touches on AIEd's potential future research and practices. The goal of this study is to introduce the present-day applications to its intended audience.


title: Reconstruction of small and extended scatterers with a conductive boundary using far-field data

abstract: In this paper, we consider the inverse shape problem of recovering small and extended isotropic scatterers with a conductive boundary condition. Here, we assume that the measured far-field data is known at a fixed wave number. We will provide qualitative reconstruction methods for recovering either small or extended scatterers. For the case of small scatterers, we model this by a region(possibly with multiple components) with small volume. We derive an asymptotic expansion for the far-field pattern which will allow us to study the MUSIC algorithm for solving the problem. In the case of an extended scatterer, we derive a new factorization of the far-field operator. This is then used to provide the resolution analysis for a direct sampling method. The theoretical results are verified with some numerical experiments in 2--dimensions.


title: Super forecasting the technological singularity risks from artificial intelligence

abstract: The article forecasts emerging cyber-risks from the integration of AI in cybersecurity.


title: Further norm and numerical radius inequalities for sum of Hilbert space operators

abstract: Let ${\mathbb B}(\mathscr H)$ denote the set of all bounded linear operators on a complex Hilbert space ${\mathscr H}$. In this paper, we present some norm inequalities for sums of operators which are a generalization of some recent results. Among other inequalities, it is shown that if $S, T\in {\mathbb B}({\mathscr H})$ are normal operators, then \begin{eqnarray*} \left\Vert S+T\right\Vert \leq \frac{1}{2}(\left\Vert S\right\Vert+\left\Vert T\right\Vert)+\frac{1}{2}\min_{t>0}\sqrt{ (\left\Vert S \right\Vert-\left\Vert T\right\Vert)^2+ \left\Vert \frac{1}{t} f_1(\vert S \vert)g_1(\vert T\vert)+tf_2(\vert S \vert)g_2(\vert T\vert) \right\Vert^2}, \end{eqnarray*} where $f_1,f_2,g_1,g_2$ are non-negative continuous functions on $[0,\infty )$, in which $f_1(x)f_2(x)=x$ and $g_1(x)g_2(x)=x\,\,(x\geq 0)$. Moreover, it is shown several inequalities for the numerical radius.


title: Gaussian conversion protocol for heralded generation of qunaught states

abstract: In the field of fault-tolerant quantum computing, continuous-variable systems can be utilized to protect quantum information from noise through the use of bosonic codes. These codes map qubit-type quantum information onto the larger bosonic Hilbert space, and can be divided into two main categories: translational-symmetric codes, such as Gottesman-Kitaev-Preskill (GKP) codes, and rotational-symmetric codes, including cat and binomial codes. The relationship between these families of codes has not yet been fully understood. We present an iterative protocol for converting between two instances of these codes GKP qunaught states and four-foldsymmetric binomial states corresponding to a zero-logical encoded qubit - using only Gaussian operations. This conversion demonstrates the potential for universality of binomial states for all-Gaussian quantum computation and provides a new method for the heraladed preparation of GKP states. Through numerical simulation, we obtain GKP qunaught states with a fidelity of over 98% and a probability of approximately 3.14%, after only two steps of our iterative protocol, though higher fidelities can be achieved with additional iterations at the cost of lower success probabilities.


title: Treewidth is NP-Complete on Cubic Graphs (and related results)

abstract: In this paper, we give a very simple proof that Treewidth is NP-complete; this proof also shows NP-completeness on the class of co-bipartite graphs. We then improve the result by Bodlaender and Thilikos from 1997 that Treewidth is NP-complete on graphs with maximum degree at most 9, by showing that Treewidth is NP-complete on cubic graphs.


title: Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version)

abstract: Automatic synthesis from temporal logic specifications is an attractive alternative to manual system design, due to its ability to generate correct-by-construction implementations from high-level specifications. Due to the high complexity of the synthesis problem, significant research efforts have been directed at developing practically efficient approaches for restricted specification language fragments. In this paper, we focus on the Safety LTL fragment of Linear Temporal Logic (LTL) syntactically extended with bounded temporal operators. We propose a new synthesis approach with the primary motivation to solve efficiently the synthesis problem for specifications with bounded temporal operators, in particular those with large bounds. The experimental evaluation of our method shows that for this type of specifications, it outperforms state-of-art synthesis tools, demonstrating that it is a promising approach to efficiently treating quantitative timing constraints in safety specifications.


title: Renormalization flow of a weak extended backscattering Hamiltonian in a non-chiral Tomonaga-Luttinger liquid

abstract: We consider a non-chiral Luttinger liquid in the presence of a backscattering Hamiltonian which has an extended range. Right/left moving fermions at a given location can thus be converted as left/right moving fermions at a different location, within a specific range. We perform a momentum shell renormalization group treatment which gives the evolution of the relative degrees of freedom of this Hamiltonian contribution under the renormalization flow, and we study a few realistic examples of this extended backscattering Hamiltonian. We find that, for repulsive Coulomb interaction in the Luttinger liquid, any such Hamiltonian contribution evolves into a delta-like scalar potential upon renormalization to a zero temperature cutoff. On the opposite, for attractive couplings, the amplitude of this kinetic Hamiltonian is suppressed, rendering the junction fully transparent. As the renormalization procedure may have to be stopped because of experimental constraints such as finite temperature, we predict the actual spatial shape of the kinetic Hamiltonian at different stages of the renormalization procedure, as a function of the position and the Luttinger interaction parameter, and show that it undergoes structural changes. This renormalized kinetic Hamiltonian has thus to be used as an input for the perturbative calculation of the current, for which we provide analytic expressions in imaginary time. We discuss the experimental relevance of this work by looking at one-dimensional systems consisting of carbon nanotubes or semiconductor nanowires.


title: Open-World Multi-Task Control Through Goal-Aware Representation Learning and Adaptive Horizon Prediction

abstract: We study the problem of learning goal-conditioned policies in Minecraft, a popular, widely accessible yet challenging open-ended environment for developing human-level multi-task agents. We first identify two main challenges of learning such policies: 1) the indistinguishability of tasks from the state distribution, due to the vast scene diversity, and 2) the non-stationary nature of environment dynamics caused by partial observability. To tackle the first challenge, we propose Goal-Sensitive Backbone (GSB) for the policy to encourage the emergence of goal-relevant visual state representations. To tackle the second challenge, the policy is further fueled by an adaptive horizon prediction module that helps alleviate the learning uncertainty brought by the non-stationary dynamics. Experiments on 20 Minecraft tasks show that our method significantly outperforms the best baseline so far; in many of them, we double the performance. Our ablation and exploratory studies then explain how our approach beat the counterparts and also unveil the surprising bonus of zero-shot generalization to new scenes (biomes). We hope our agent could help shed some light on learning goal-conditioned, multi-task agents in challenging, open-ended environments like Minecraft.


title: Putting ChatGPT's Medical Advice to the (Turing) Test

abstract: Objective: Assess the feasibility of using ChatGPT or a similar AI-based chatbot for patient-provider communication. Participants: A US representative sample of 430 study participants aged 18 and above. 53.2% of respondents analyzed were women; their average age was 47.1. Exposure: Ten representative non-administrative patient-provider interactions were extracted from the EHR. Patients' questions were placed in ChatGPT with a request for the chatbot to respond using approximately the same word count as the human provider's response. In the survey, each patient's question was followed by a provider- or ChatGPT-generated response. Participants were informed that five responses were provider-generated and five were chatbot-generated. Participants were asked, and incentivized financially, to correctly identify the response source. Participants were also asked about their trust in chatbots' functions in patient-provider communication, using a Likert scale of 1-5. Results: The correct classification of responses ranged between 49.0% to 85.7% for different questions. On average, chatbot responses were correctly identified 65.5% of the time, and provider responses were correctly distinguished 65.1% of the time. On average, responses toward patients' trust in chatbots' functions were weakly positive (mean Likert score: 3.4), with lower trust as the health-related complexity of the task in questions increased. Conclusions: ChatGPT responses to patient questions were weakly distinguishable from provider responses. Laypeople appear to trust the use of chatbots to answer lower risk health questions.


title: Multiscale structure of the gravitational wave signal from GW150914 based on the nonextensivity $q$-triplet

abstract: We study the first gravitational wave, GW150914, detected by advanced LIGO and constructed from the data of measurement of strain relative deformation of the fabric of spacetime. We show that the time series from the gravitational wave obeys Tsallis's $q$-Gaussian distribution as a probability density and its dynamics evolve of the three associated Tsallis' indices named $q$-triplet. This fact strongly suggests that these black hole merger systems behave in a non-extensive manner. Furthermore, our results point out that the entropic indexes obtained as a function of frequency are useful statistical parameters to determine the dominant frequency when black hole coalescence is achieved.


title: Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)

abstract: Hoare logics are proof systems that allow one to formally establish properties of computer programs. Traditional Hoare logics prove properties of individual program executions (such as functional correctness). Hoare logic has been generalized to prove also properties of multiple executions of a program (so-called hyperproperties, such as determinism or non-interference). These program logics prove the absence of (bad combinations of) executions. On the other hand, program logics similar to Hoare logic have been proposed to disprove program properties (e.g., Incorrectness Logic), by proving the existence of (bad combinations of) executions. All of these logics have in common that they specify program properties using assertions over a fixed number of states, for instance, a single pre- and post-state for functional properties or pairs of pre- and post-states for non-interference. In this paper, we present Hyper Hoare Logic, a generalization of Hoare logic that lifts assertions to properties of arbitrary sets of states. The resulting logic is simple yet expressive: its judgments can express arbitrary program hyperproperties, a particular class of hyperproperties over the set of terminating executions of a program (including properties of individual program executions). By allowing assertions to reason about sets of states, Hyper Hoare Logic can reason about both the absence and the existence of (combinations of) executions, and, thereby, supports both proving and disproving program (hyper-)properties within the same logic, including (hyper-)properties that no existing Hoare logic can express. We prove that Hyper Hoare Logic is sound and complete, and demonstrate that it captures important proof principles naturally. All our technical results have been proved in Isabelle/HOL.


title: Progressive Meta-Pooling Learning for Lightweight Image Classification Model

abstract: Practical networks for edge devices adopt shallow depth and small convolutional kernels to save memory and computational cost, which leads to a restricted receptive field. Conventional efficient learning methods focus on lightweight convolution designs, ignoring the role of the receptive field in neural network design. In this paper, we propose the Meta-Pooling framework to make the receptive field learnable for a lightweight network, which consists of parameterized pooling-based operations. Specifically, we introduce a parameterized spatial enhancer, which is composed of pooling operations to provide versatile receptive fields for each layer of a lightweight model. Then, we present a Progressive Meta-Pooling Learning (PMPL) strategy for the parameterized spatial enhancer to acquire a suitable receptive field size. The results on the ImageNet dataset demonstrate that MobileNetV2 using Meta-Pooling achieves top1 accuracy of 74.6\%, which outperforms MobileNetV2 by 2.3\%.


title: Generalised Duality Theory for Monoidal Categories and Applications

abstract: We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.


title: Interrogating Quantum Nonlocal Effects in Nanoplasmonics through Electron-Beam Spectroscopy

abstract: A rigorous account of quantum nonlocal effects is paramount for understanding the optical response of metal nanostructures and for designing plasmonic devices at the nanoscale. Here, we present a scheme for retrieving the quantum surface response of metals, encapsulated in the Feibelman $d$-parameters, from electron energy-loss spectroscopy (EELS) and cathodoluminescence (CL) measurements. We theoretically demonstrate that quantum nonlocal effects have a dramatic impact on EELS and CL spectra, in the guise of spectral shifts and nonlocal damping, when either the system size or the inverse wave vector in extended structures approach the nanometer scale. Our concept capitalizes on the unparalleled ability of free-electrons to supply deeply subwavelength near-fields and, thus, probe the optical response of metals at length scales in which quantum-mechanical effects are apparent. These results pave the way for a widespread use of the $d$-parameter formalism, thereby facilitating a rigorous yet practical inclusion of nonclassical effects in nanoplasmonics.


title: A parallel solver for FSI problems with fictitious domain approach

abstract: We present and analyze a parallel solver for the solution of fluid structure interaction problems described by a fictitious domain approach. In particular, the fluid is modeled by the non-stationary incompressible Navier-Stokes equations, while the solid evolution is represented by the elasticity equations. The parallel implementation is based on the PETSc library and the solver has been tested in terms of robustness with respect to mesh refinement and weak scalability by running simulations on a Linux cluster.


title: Logarithmically Sparse Symmetric Matrices

abstract: A positive definite matrix is called logarithmically sparse if its matrix logarithm has many zero entries. Such matrices play a significant role in high-dimensional statistics and semidefinite optimization. In this paper, logarithmically sparse matrices are studied from the point of view of computational algebraic geometry: we present a formula for the dimension of the Zariski closure of a set of matrices with a given logarithmic sparsity pattern, give a degree bound for this variety and develop implicitization algorithms that allow to find its defining equations. We illustrate our approach with numerous examples.


title: Revisiting Power Systems Time-domain Simulation Methods and Models

abstract: The changing nature of power systems dynamics is challenging present practices related to modeling and study of system-level dynamic behavior. While developing new techniques and models to handle the new modeling requirements, it is also critical to review some of the terminology used to describe existing simulation approaches and the embedded assumptions. This paper provides a first-principles review of the simplifications and transformation commonly used in the formulation of time-domain simulation models. It introduces a taxonomy and classification of time-domain simulation models depending on their frequency bandwidth, network representation, and software availability. Furthermore, it focuses on the fundamental aspects of averaging techniques, and model reduction approaches that result in modeling choices, and discusses the associated challenges and opportunities of applying these methods in systems with large shares of Inverter Based Resources (IBRs). The paper concludes with an illustrative simulation that compares the trajectories of an IBR-dominated system.


title: Constructing Copulas Using Corrected Hermite Polynomial Expansion for Estimating Cross Foreign Exchange Volatility

abstract: Copulas are used to construct joint distributions in many areas. In some problems, it is necessary to deal with correlation structures that are more complicated than the commonly known copulas. A finite order multivariate Hermite polynomial expansion, as an approximation of a joint density function, can handle complex correlation structures. However, it does not construct copulas because the density function can take negative values. In this study, we propose a method to construct a copula based on the finite sum of multivariate Hermite polynomial expansions by applying corrections to the joint density function. Furthermore, we apply this copula to estimate the volatility smile of cross currency pairs in the foreign exchange option market. This method can easily reproduce the volatility smile of cross currency pairs by appropriately adjusting the parameters and following the daily volatility fluctuations even if the higher-order parameters are fixed. In the numerical experiments, we compare the estimation results of the volatility smile of EUR-JPY with those of USD-JPY and EUR-USD for the proposed and other copulas, and show the validity of the proposed copula.


title: Primordial magnetic field generation via primordial black hole disks

abstract: Large scale primordial magnetic fields (PMFs) threading the intergalactic medium are observed ubiquitously in the Universe playing a key role in the cosmic evolution. Their origin is still debated constituting a very active field of research. In the present article, we propose a novel natural ab initio mechanism for the origin of such PMFs through the portal of supermassive primordial black holes (PBHs) forming between the Big Bang Nucleosynthesis and the recombination era. In particular, by considering PBHs furnished with a locally isothermal disk we study the generation of a Biermann battery induced seed magnetic field (MF) due to the vortexlike motion of the primordial plasma around the black hole. Finally, by considering monochromatic PBH mass distributions and deriving the relevant MF power spectrum we make a conservative estimate for the seed PMF in intergalactic scales and at redshift $z=30$, when typical galaxies are considered to form, which reads as $B\simeq 10^{-30}\mathrm{G}\left(\frac{\ell_\mathrm{R}}{10^6}\right)^2\left(\frac{M_\mathrm{PBH}}{10^{14}M_\odot}\right)^{5/2}$, where $M_\mathrm{PBH}$ is the PBH mass and $\ell_\mathrm{R}\equiv R_\mathrm{d}/R_\mathrm{ISCO}$, is the ratio of the radius of the disk, $R_\mathrm{d}$ over the radius of the innermost stable circular orbit, $R_\mathrm{ISCO}$. Interestingly enough, by requiring to seed a PMF of the order of $10^{-30}\mathrm{G}$ necessary to give rise to a present day $10^{-18}\mathrm{G}$ in intergalactic scales, we find a lower bound on the PBH mass within the range $[10^{10}- 10^{16}]M_\odot$ depending on the radius of the PBH disk.


title: The T1 theorem for the Hilbert transform fails when p is not 2

abstract: Given p between 1 and infinity, but not 2, we show that the T1 theorem for the Hilbert transform fails for L^{p}, despite holding for p equal to 2


title: DiffMotion: Speech-Driven Gesture Synthesis Using Denoising Diffusion Model

abstract: Speech-driven gesture synthesis is a field of growing interest in virtual human creation. However, a critical challenge is the inherent intricate one-to-many mapping between speech and gestures. Previous studies have explored and achieved significant progress with generative models. Notwithstanding, most synthetic gestures are still vastly less natural. This paper presents DiffMotion, a novel speech-driven gesture synthesis architecture based on diffusion models. The model comprises an autoregressive temporal encoder and a denoising diffusion probability Module. The encoder extracts the temporal context of the speech input and historical gestures. The diffusion module learns a parameterized Markov chain to gradually convert a simple distribution into a complex distribution and generates the gestures according to the accompanied speech. Compared with baselines, objective and subjective evaluations confirm that our approach can produce natural and diverse gesticulation and demonstrate the benefits of diffusion-based models on speech-driven gesture synthesis.


title: Exploiting Optical Flow Guidance for Transformer-Based Video Inpainting

abstract: Transformers have been widely used for video processing owing to the multi-head self attention (MHSA) mechanism. However, the MHSA mechanism encounters an intrinsic difficulty for video inpainting, since the features associated with the corrupted regions are degraded and incur inaccurate self attention. This problem, termed query degradation, may be mitigated by first completing optical flows and then using the flows to guide the self attention, which was verified in our previous work - flow-guided transformer (FGT). We further exploit the flow guidance and propose FGT++ to pursue more effective and efficient video inpainting. First, we design a lightweight flow completion network by using local aggregation and edge loss. Second, to address the query degradation, we propose a flow guidance feature integration module, which uses the motion discrepancy to enhance the features, together with a flow-guided feature propagation module that warps the features according to the flows. Third, we decouple the transformer along the temporal and spatial dimensions, where flows are used to select the tokens through a temporally deformable MHSA mechanism, and global tokens are combined with the inner-window local tokens through a dual perspective MHSA mechanism. FGT++ is experimentally evaluated to be outperforming the existing video inpainting networks qualitatively and quantitatively.


title: From valuations on convex bodies to convex functions

abstract: A geometric framework relating valuations on convex bodies to valuations on convex functions is introduced. It is shown that a classical result by McMullen can be used to obtain a characterization of continuous, epi-translation invariant, and n-epi-homogeneous valuations on convex functions, which was previously established by Colesanti, Ludwig, and Mussnig. Following an approach by Goodey and Weil, a new characterization of 1-epi-homogeneous valuations is obtained.


title: Development of a photothermal measurement model to determine layer thickness of multi-layered coating systems with unknown thermal properties

abstract: In this article, a general model for 1D thermal wave interference is derived for multi-layered coating systems on a thermally thick substrate using the same principles as for the well established one-layered and two-layered coating cases. Using the lock-in thermography principle, an illumination source modulates the surface of those systems periodically by a planar, sinusoidal wave form with a fixed frequency. The coating systems absorb the optical energy on its surface and convert it into thermal energy, resulting in the propagation of a spatially and temporally periodic thermal wave with the same frequency. These thermal waves, originating at the surface, are reflected and transmitted at each interface leading to infinitely many wave trains that need to be tracked in order to formulate the final surface temperature as a superposition of all these waves. The heat transfer inside the object depends on the layer thickness of each coating, but also on the thermal properties of each layer material. The goal is to have a mathematical and physical model which describes the phase angle data measured by an infrared camera. Having these data, the main objective of this paper is to determine the thickness of each coating layer. In practice, the thermal properties of the layers usually are unknown, which makes the process even more difficult. For that reason, this article presents a concept to determine the thermal properties in advance.


title: Wise-IoU: Bounding Box Regression Loss with Dynamic Focusing Mechanism

abstract: The loss function for bounding box regression (BBR) is essential to object detection. Its good definition will bring significant performance improvement to the model. Most existing works assume that the examples in the training data are high-quality and focus on strengthening the fitting ability of BBR loss. If we blindly strengthen BBR on low-quality examples, it will jeopardize localization performance. Focal-EIoU v1 was proposed to solve this problem, but due to its static focusing mechanism (FM), the potential of non-monotonic FM was not fully exploited. Based on this idea, we propose an IoU-based loss with a dynamic non-monotonic FM named Wise-IoU (WIoU). The dynamic non-monotonic FM uses the outlier degree instead of IoU to evaluate the quality of anchor boxes and provides a wise gradient gain allocation strategy. This strategy reduces the competitiveness of high-quality anchor boxes while also reducing the harmful gradient generated by low-quality examples. This allows WIoU to focus on ordinary-quality anchor boxes and improve the detector's overall performance. When WIoU is applied to the state-of-the-art real-time detector YOLOv7, the AP-75 on the MS-COCO dataset is improved from 53.03% to 54.50%. Code is available at https://github.com/Instinct323/wiou.


title: Event Detection in Football using Graph Convolutional Networks

abstract: The massive growth of data collection in sports has opened numerous avenues for professional teams and media houses to gain insights from this data. The data collected includes per frame player and ball trajectories, and event annotations such as passes, fouls, cards, goals, etc. Graph Convolutional Networks (GCNs) have recently been employed to process this highly unstructured tracking data which can be otherwise difficult to model because of lack of clarity on how to order players in a sequence and how to handle missing objects of interest. In this thesis, we focus on the goal of automatic event detection from football videos. We show how to model the players and the ball in each frame of the video sequence as a graph, and present the results for graph convolutional layers and pooling methods that can be used to model the temporal context present around each action.


title: A Linear Reconstruction Approach for Attribute Inference Attacks against Synthetic Data

abstract: Recent advances in synthetic data generation (SDG) have been hailed as a solution to the difficult problem of sharing sensitive data while protecting privacy. SDG aims to learn statistical properties of real data in order to generate "artificial" data that are structurally and statistically similar to sensitive data. However, prior research suggests that inference attacks on synthetic data can undermine privacy, but only for specific outlier records. In this work, we introduce a new attribute inference attack against synthetic data. The attack is based on linear reconstruction methods for aggregate statistics, which target all records in the dataset, not only outliers. We evaluate our attack on state-of-the-art SDG algorithms, including Probabilistic Graphical Models, Generative Adversarial Networks, and recent differentially private SDG mechanisms. By defining a formal privacy game, we show that our attack can be highly accurate even on arbitrary records, and that this is the result of individual information leakage (as opposed to population-level inference). We then systematically evaluate the tradeoff between protecting privacy and preserving statistical utility. Our findings suggest that current SDG methods cannot consistently provide sufficient privacy protection against inference attacks while retaining reasonable utility. The best method evaluated, a differentially private SDG mechanism, can provide both protection against inference attacks and reasonable utility, but only in very specific settings. Lastly, we show that releasing a larger number of synthetic records can improve utility but at the cost of making attacks far more effective.


title: Constructing algebraic solutions of Painleve VI equation from $p$-adic Hodge theory and Langlands Correspondence

abstract: We construct infinitely many non-isotrivial families of abelian varieties over given four punctured projective lines. These families lead to algebraic solutions of Painleve VI equation. Finally, based on a recent paper by Lin-Sheng-Wang, we prove a complete characterization for the locus of motivic Higgs bundles in the moduli space as fixed points of an ``additive'' self-map. This is a note based on the lecture given by the second named author on 04 Nov. 2022 at Tsinghua University.


title: Reconstructing charged-particle trajectories in the PANDA Straw Tube Tracker using the LOcal Track Finder (LOTF) algorithm

abstract: We present the LOcal Track Finder (LOTF) algorithm, a method that performs charged-particle trajectory reconstruction using the Straw Tube Tracker, one of the central trackers of the antiProton ANnihilation at DArmstadt (PANDA) detector. The algorithm builds upon the neighboring relations of the tubes to connect individual hits and form track candidates. In addition, it uses a local fitting procedure to handle regions where several tracks overlap and utilizes a system of virtual nodes to reconstruct the z-information of the particle trajectories. We generated 30,000 events to assess the performance of our approach and compared our results to two other track reconstruction methods. LOTF has (1) an average of 85\% of found tracks, (2) the largest number of Fully Pure tracks, (3) the lowest amount of incorrect reconstructions, and (4) is significantly faster than the other two approaches. Further, we compared the z-reconstruction performance with one of the two alternative methods and show that LOTF improves the median z-error by a factor of 8.7. Finally, we tested our method using 3,750 data sets composed of 4 events each, showing that our approach handles cases in which events are mixed. The raw (without parallelization) average reconstruction rate is about 68,000 hits/s, which makes the present algorithm promising for online data selection and processing.


title: Side Eye: Characterizing the Limits of POV Acoustic Eavesdropping from Smartphone Cameras with Rolling Shutters and Movable Lenses

abstract: Our research discovers how the rolling shutter and movable lens structures widely found in smartphone cameras modulate structure-borne sounds onto camera images, creating a point-of-view (POV) optical-acoustic side channel for acoustic eavesdropping. The movement of smartphone camera hardware leaks acoustic information because images unwittingly modulate ambient sound as imperceptible distortions. Our experiments find that the side channel is further amplified by intrinsic behaviors of Complementary metal-oxide-semiconductor (CMOS) rolling shutters and movable lenses such as in Optical Image Stabilization (OIS) and Auto Focus (AF). Our paper characterizes the limits of acoustic information leakage caused by structure-borne sound that perturbs the POV of smartphone cameras. In contrast with traditional optical-acoustic eavesdropping on vibrating objects, this side channel requires no line of sight and no object within the camera's field of view (images of a ceiling suffice). Our experiments test the limits of this side channel with a novel signal processing pipeline that extracts and recognizes the leaked acoustic information. Our evaluation with 10 smartphones on a spoken digit dataset reports 80.66%, 91.28%, and 99.67% accuracies on recognizing 10 spoken digits, 20 speakers, and 2 genders respectively. We further systematically discuss the possible defense strategies and implementations. By modeling, measuring, and demonstrating the limits of acoustic eavesdropping from smartphone camera image streams, our contributions explain the physics-based causality and possible ways to reduce the threat on current and future devices.


title: Planar Object Tracking via Weighted Optical Flow

abstract: We propose WOFT -- a novel method for planar object tracking that estimates a full 8 degrees-of-freedom pose, i.e. the homography w.r.t. a reference view. The method uses a novel module that leverages dense optical flow and assigns a weight to each optical flow correspondence, estimating a homography by weighted least squares in a fully differentiable manner. The trained module assigns zero weights to incorrect correspondences (outliers) in most cases, making the method robust and eliminating the need of the typically used non-differentiable robust estimators like RANSAC. The proposed weighted optical flow tracker (WOFT) achieves state-of-the-art performance on two benchmarks, POT-210 and POIC, tracking consistently well across a wide range of scenarios.


title: Realization of inverse Stieltjes functions $(-m_\alpha(z))$ by Schrodinger L-systems

abstract: We study L-system realizations of the original Weyl-Titchmarsh functions $(-m_\alpha(z))$. In the case when the minimal symmetric Schr\"odinger operator is non-negative, we describe the Schr\"odinger L-systems that realize inverse Stieltjes functions $(-m_\alpha(z))$. This approach allows to derive a necessary and sufficient conditions for the functions $(-m_\alpha(z))$ to be inverse Stieltjes. In particular, the criteria when $(-m_\infty(z))$ is an inverse Stieltjes function is provided. Moreover, the value $m_\infty(-0)$ and parameter $\alpha$ allow us to describe the geometric structure of the realizing $(-m_\alpha(z))$ L-system. Additionally, we present the conditions in terms of the parameter $\alpha$ when the main and associated operators of a realizing $(-m_\alpha(z))$ L-system have the same or different angle of sectoriality which sets connections with the Kato problem on sectorial extensions of sectorial forms.


title: Oncology clinical trial design planning based on a multistate model that jointly models progression-free and overall survival endpoints

abstract: When planning an oncology clinical trial, the usual approach is to assume proportional hazards and even an exponential distribution for time-to-event endpoints. Often, besides the gold-standard endpoint overall survival (OS), progression-free survival (PFS) is considered as a second confirmatory endpoint. We use a survival multistate model to jointly model these two endpoints and find that neither exponential distribution nor proportional hazards will typically hold for both endpoints simultaneously. The multistate model provides a stochastic process approach to model the dependency of such endpoints neither requiring latent failure times nor explicit dependency modelling such as copulae. We use the multistate model framework to simulate clinical trials with endpoints OS and PFS and show how design planning questions can be answered using this approach. In particular, non-proportional hazards for at least one of the endpoints are naturally modelled as well as their dependency to improve planning. We consider an oncology trial on non-small-cell lung cancer as a motivating example from which we derive relevant trial design questions. We then illustrate how clinical trial design can be based on simulations from a multistate model. Key applications are co-primary endpoints and group-sequential designs. Simulations for these applications show that the standard simplifying approach may very well lead to underpowered or overpowered clinical trials. Our approach is quite general and can be extended to more complex trial designs, further endpoints, and other therapeutic areas. An R package is available on CRAN.


title: Inference of Continuous Linear Systems from Data with Guaranteed Stability

abstract: Machine-learning technologies for learning dynamical systems from data play an important role in engineering design. This research focuses on learning continuous linear models from data. Stability, a key feature of dynamic systems, is especially important in design tasks such as prediction and control. Thus, there is a need to develop methodologies that provide stability guarantees. To that end, we leverage the parameterization of stable matrices proposed in [Gillis/Sharma, Automatica, 2017] to realize the desired models. Furthermore, to avoid the estimation of derivative information to learn continuous systems, we formulate the inference problem in an integral form. We also discuss a few extensions, including those related to control systems. Numerical experiments show that the combination of a stable matrix parameterization and an integral form of differential equations allows us to learn stable systems without requiring derivative information, which can be challenging to obtain in situations with noisy or limited data.


title: Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

abstract: Probabilistic couplings are the foundation for many probabilistic relational program logics and arise when relating random sampling statements across two programs. In relational program logics, this manifests as dedicated coupling rules that, e.g., say we may reason as if two sampling statements return the same value. However, this approach fundamentally requires aligning or "synchronizing" the sampling statements of the two programs which is not always possible. In this paper, we develop Clutch, a higher-order probabilistic relational separation logic that addresses this issue by supporting asynchronous probabilistic couplings. We use Clutch to develop a logical step-indexed logical relational to reason about contextual refinement and equivalence of higher-order programs written in a rich language with higher-order local state and impredicative polymorphism. Finally, we demonstrate the usefulness of our approach on a number of case studies. All the results that appear in the paper have been formalized in the Coq proof assistant using the Coquelicot library and the Iris separation logic framework.


title: Proceedings of the 1st International Workshop on Reading Music Systems

abstract: The International Workshop on Reading Music Systems (WoRMS) is a workshop that tries to connect researchers who develop systems for reading music, such as in the field of Optical Music Recognition, with other researchers and practitioners that could benefit from such systems, like librarians or musicologists. The relevant topics of interest for the workshop include, but are not limited to: Music reading systems; Optical music recognition; Datasets and performance evaluation; Image processing on music scores; Writer identification; Authoring, editing, storing and presentation systems for music scores; Multi-modal systems; Novel input-methods for music to produce written music; Web-based Music Information Retrieval services; Applications and projects; Use-cases related to written music. These are the proceedings of the 1st International Workshop on Reading Music Systems, held in Paris on the 20th of September 2018.


title: Margolus-Levitin quantum speed limit for an arbitrary fidelity

abstract: The Mandelstam-Tamm and Margolus-Levitin quantum speed limits are two well-known evolution time estimates for isolated quantum systems. These bounds are usually formulated for fully distinguishable initial and final states, but both have tight extensions to systems that evolve between states with an arbitrary fidelity. However, the foundations of these extensions differ in some essential respects. The extended Mandelstam-Tamm quantum speed limit has been proven analytically and has a clear geometric interpretation. Furthermore, which systems saturate the limit is known. The derivation of the extended Margolus-Levitin quantum speed limit, on the other hand, is based on numerical estimates. Moreover, the limit lacks a geometric interpretation, and no complete characterization of the systems reaching it exists. In this paper, we derive the extended Margolus-Levitin quantum speed limit analytically and describe the systems that saturate the limit in detail. We also provide the limit with a symplectic-geometric interpretation, which indicates that it is of a different character than most existing quantum speed limits. At the end of the paper, we analyze the maximum of the extended Mandelstam-Tamm and Margolus-Levitin quantum speed limits and derive a dual version of the extended Margolus-Levitin quantum speed limit. The maximum limit is tight regardless of the fidelity of the initial and final states. However, the conditions under which the maximum limit is saturated differ depending on whether or not the initial state and the final state are fully distinguishable. The dual limit is also tight and follows from a time reversal argument. We describe the systems that saturate the dual quantum speed limit.


title: A Novel Causal Mediation Analysis Approach for Zero-Inflated Mediators

abstract: Mediation analyses play important roles in making causal inference in biomedical research to examine causal pathways that may be mediated by one or more intermediate variables (i.e., mediators). Although mediation frameworks have been well established such as counterfactual-outcomes (i.e., potential-outcomes) models and traditional linear mediation models, little effort has been devoted to dealing with mediators with zero-inflated structures due to challenges associated with excessive zeros. We develop a novel mediation modeling approach to address zero-inflated mediators containing true zeros and false zeros. The new approach can decompose the total mediation effect into two components induced by zero-inflated structures: the first component is attributable to the change in the mediator on its numerical scale which is a sum of two causal pathways and the second component is attributable only to its binary change from zero to a non-zero status. An extensive simulation study is conducted to assess the performance and it shows that the proposed approach outperforms existing standard causal mediation analysis approaches. We also showcase the application of the proposed approach to a real study in comparison with a standard causal mediation analysis approach.


title: Anisotropy of Cosmic Rays and Chaotic Trajectories in the Heliosphere

abstract: As cosmic rays (CRs) propagate in the Galaxy, they can be affected by magnetic structures that temporarily trap them and cause their trajectories to display chaotic behavior, therefore modifying the simple diffusion scenario. When CRs arrive at the Earth, they do so anisotropically. These chaotic effects can be a fundamental contributor to this anisotropy. Accordingly, this requires a comprehensive description of chaos in trapping conditions since assessing their repercussions on the CR arrival directions is necessary. This study utilizes a new method described in L\'opez-Barquero and Desiati (2021) to characterize chaotic trajectories in bound systems. This method is based on the Finite-Time Lyapunov Exponent (FTLE), a quantity that determines the levels of chaos based on the trajectories' divergence rate. The FTLE is useful since it adapts to trapping conditions in magnetic structures or even propagating media changes. Here, we explore the effects that chaos and trapping can have on the TeV CR anisotropy. Concretely, we apply this method to study the behavior of CRs entering the heliosphere. Specifically, how the distinct heliospheric structures and CR impinging directions from the ISM can affect chaos levels. The heliosphere has an intrinsic directionality that affects CRs differently depending on where they enter it. This feature causes preferential directions from which particles tend to be more chaotic than others. This eventually translates into changes in the arrival maps which are not uniformly distributed. Instead, we expect sectors in the map to change separately from others, creating a time variation that could be detected. Consequently, this result points to the idea that time-variability in the maps is essential to understanding the CR anisotropy's overall processes.


title: Sublinear expectations for countable-state uncertain processes

abstract: Sublinear expectations for uncertain processes have received a lot of attention recently, particularly methods to extend a downward-continuous sublinear expectation on the bounded finitary functions to one on the non-finitary functions. In most of the approaches the domain of the extension is not very rich because it is limited to bounded measurable functions on the set of all paths. This contribution alleviates this problem in the countable-state case by extending, under a mild condition, to the extended real measurable functions on the set of c\`adl\`ag paths, and investigates when a sublinear Markov semigroup induces a sublinear expectation that satisfies this mild condition.


title: Intrinsic Motivation in Model-based Reinforcement Learning: A Brief Review

abstract: The reinforcement learning research area contains a wide range of methods for solving the problems of intelligent agent control. Despite the progress that has been made, the task of creating a highly autonomous agent is still a significant challenge. One potential solution to this problem is intrinsic motivation, a concept derived from developmental psychology. This review considers the existing methods for determining intrinsic motivation based on the world model obtained by the agent. We propose a systematic approach to current research in this field, which consists of three categories of methods, distinguished by the way they utilize a world model in the agent's components: complementary intrinsic reward, exploration policy, and intrinsically motivated goals. The proposed unified framework describes the architecture of agents using a world model and intrinsic motivation to improve learning. The potential for developing new techniques in this area of research is also examined.


title: Intensity interferometry for holography with quantum and classical light

abstract: As first demonstrated by Hanbury Brown and Twiss, it is possible to observe interference between independent light sources by measuring correlations in their intensities rather than their amplitudes. In this work, we apply this concept of intensity interferometry to holography. We combine a signal beam with a reference and measure their intensity cross-correlations using a time-tagging single-photon camera. These correlations reveal an interference pattern from which we reconstruct the signal wavefront in both intensity and phase. We demonstrate the principle with classical and quantum light, including a single photon. Since the signal and reference do not need to be phase-stable, this technique can be used to generate holograms of self-luminous or remote objects using a local reference, thus opening the door to new holography applications.


title: Interaction phenomenon for variable coefficient Kadomtsev-Petviashvili equation by utilizing variable coefficient bilinear neural network method

abstract: In this paper, a variable coefficient Bilinear neural network method is proposed to deal with the analytical solutions of variable coefficient nonlinear partial differential equations. As an example, a Kadomstev-Petviashvili equation with variable coefficients is investigated by using the variable coefficient Bilinear neural network method. By establishing "3-2-2-1" and "3-3-2-1" models respectively, rich analytical solutions of the variable coefficient Kadomstev-Petviashvili equation are obtained. By choosing some special values of the parameters, the dynamics properties are demonstrated in some three-dimensional and density graphics.


title: A Framework To Improve User Story Sets Through Collaboration

abstract: Agile methodologies have become increasingly popular in recent years. Due to its inherent nature, agile methodologies involve stakeholders with a wide range of expertise and require interaction between them, relying on collaboration and customer involvement. Hence, agile methodologies encourage collaboration between all team members so that more efficient and effective processes are maintained. Generating requirements can be challenging, as it requires the participation of multiple stakeholders who describe various aspects of the project and possess a shared understanding of essential concepts. One simple method for capturing requirements using natural language is through user stories, which document the agreed-upon properties of a project. Stakeholders try to strive for completeness while generating user stories, but the final user story set may still be flawed. To address this issue, we propose SCOUT: Supporting Completeness of User Story Sets, which employs a natural language processing pipeline to extract key concepts from user stories and construct a knowledge graph by connecting related terms. The knowledge graph and different heuristics are then utilized to enhance the quality and completeness of the user story sets by generating suggestions for the stakeholders. We perform a user study to evaluate SCOUT and demonstrate its performance in constructing user stories. The quantitative and qualitative results indicate that SCOUT significantly enhance the quality and completeness of the user story sets. Our contribution is threefold. First, we develop heuristics to suggest new concepts to include in user stories by considering both the individuals' and other team members' contributions. Second, we implement an open-source collaborative tool to support writing user stories and ensuring their quality. Third, we share the experimental setup and materials.


title: First-principles thermodynamics of CsSnI3

abstract: CsSnI3 is a promising eco-friendly solution for energy harvesting technologies. It exists at room temperature in either a black perovskite polymorph or a yellow 1D double-chain, which irreversibly deteriorates in the air. In this work, we unveil the relative thermodynamic stability between the two structures with a first-principles sampling of the CsSnI3 finite-temperature phase diagram, discovering how it is driven by anomalously large quantum and anharmonic ionic fluctuations. Thanks to a comprehensive treatment of anharmonicity, the simulations deliver a remarkable agreement with known experimental data for the transition temperatures of the orthorhombic, rhombohedral, and cubic perovskite structures and the thermal expansion coefficient. We disclose how the perovskite polymorphs are the ground state above \SI{270}{\kelvin} and discover an abnormal decrease in heat capacity upon heating in the cubic black perovskite. Our results also significantly downplay the Cs+ rattling modes' contribution to mechanical instability. The remarkable agreement with experiments validates our methodology, which can be systematically applied to all metal halides.


title: SOA-MZI photonic sampler with post-distortion linearization technique

abstract: We present a post-distortion linearization technique for a Semiconductor Optical Amplifier Mach-Zehnder Interferometer (SOA-MZI) photonic sampler. The sampling source is an active mode-locked laser producing 12.6 ps-width pulses with a repetition frequency of 10 GHz. The mathematical model for the linearization technique is presented, and then evaluated for the quasi-static regime, i.e. sampling continuous-wave signals, and for the dynamic regime, i.e. sampling sinusoidal signals. A significant improvement in terms of Total Harmonic Distortion (THD) equal to 23.4 dB is observed for a modulation index equal to 80% in the quasi-static regime, matching the highest observed THD improvement in the dynamic regime.


title: Regular ideals under the ideal intersection property

abstract: The goal of this short note is to prove that when $A$ is a closed *-subalgebra of a C*-algebra $B$ satisfying the ideal intersection property plus a mild axiom (INV), then the map $J\mapsto J\cap A$ establishes an isomorphism from the boolean algebra of all regular ideals of $B$ to the boolean algebra of all regular, invariant ideals of $A$.


title: Explainable Data-Driven Optimization: From Context to Decision and Back Again

abstract: Data-driven optimization uses contextual information and machine learning algorithms to find solutions to decision problems with uncertain parameters. While a vast body of work is dedicated to interpreting machine learning models in the classification setting, explaining decision pipelines involving learning algorithms remains unaddressed. This lack of interpretability can block the adoption of data-driven solutions as practitioners may not understand or trust the recommended decisions. We bridge this gap by introducing a counterfactual explanation methodology tailored to explain solutions to data-driven problems. We introduce two classes of explanations and develop methods to find nearest explanations of random forest and nearest-neighbor predictors. We demonstrate our approach by explaining key problems in operations management such as inventory management and routing.


title: Gender Neutralization for an Inclusive Machine Translation: from Theoretical Foundations to Open Challenges

abstract: Gender inclusivity in language technologies has become a prominent research topic. In this study, we explore gender-neutral translation (GNT) as a form of gender inclusivity and a goal to be achieved by machine translation (MT) models, which have been found to perpetuate gender bias and discrimination. Specifically, we focus on translation from English into Italian, a language pair representative of salient gender-related linguistic transfer problems. To define GNT, we review a selection of relevant institutional guidelines for gender-inclusive language, discuss its scenarios of use, and examine the technical challenges of performing GNT in MT, concluding with a discussion of potential solutions to encourage advancements toward greater inclusivity in MT.


title: Influential Factors of Users' Trust in the Range Estimation Systems of Battery Electric Vehicles -- A Survey Study in China

abstract: Although the rapid development of battery technology has greatly increased the range of battery electric vehicle (BEV), the range anxiety is still a major concern of BEV users or potential users. Previous work has proposed a framework explaining the influential factors of range anxiety and users' trust toward the range estimation system (RES) of BEV has been identified as a leading factor of range anxiety. The trust in RES may further influence BEV users' charging decisions. However, the formation of trust in RES of BEVs has not yet explored. In this work, a questionnaire has been designed to investigate BEV users' trust in RES and further explore the influential factors of BEV users' charging decision. In total, 152 samples collected from the BEV users in mainland China have been analyzed. The BEV users' gender, driving area, knowledge of BEV or RES, system usability and trust in battery system of smartphones have been identified as influential factors of RES in BEVs, supporting the three-layer framework in automation-related trust (i.e., dispositional trust, situational trust and learned trust). A connection between smartphone charging behaviors and BEV charging behaviors has also been observed. The results from this study can provide insights on the design of RES in BEVs in order to alleviate range anxiety among users. The results can also inform the design of strategies (e.g., advertising, training and in-vehicle HMI design) that can facilitate more rational charging decisions among BEV users.


title: Autonomous particles

abstract: Consider a reinforcement learning problem where an agent has access to a very large amount of information about the environment, but it can only take very few actions to accomplish its task and to maximize its reward. Evidently, the main problem for the agent is to learn a map from a very high-dimensional space (which represents its environment) to a very low-dimensional space (which represents its actions). The high-to-low dimensional map implies that most of the information about the environment is irrelevant for the actions to be taken, and only a small fraction of information is relevant. In this paper we argue that the relevant information need not be learned by brute force (which is the standard approach), but can be identified from the intrinsic symmetries of the system. We analyze in details a reinforcement learning problem of autonomous driving, where the corresponding symmetry is the Galilean symmetry, and argue that the learning task can be accomplished with very few relevant parameters, or, more precisely, invariants. For a numerical demonstration, we show that the autonomous vehicles (which we call autonomous particles since they describe very primitive vehicles) need only four relevant invariants to learn how to drive very well without colliding with other particles. The simple model can be easily generalized to include different types of particles (e.g. for cars, for pedestrians, for buildings, for road signs, etc.) with different types of relevant invariants describing interactions between them. We also argue that there must exist a field theory description of the learning system where autonomous particles would be described by fermionic degrees of freedom and interactions mediated by the relevant invariants would be described by bosonic degrees of freedom.


title: The Dynamic Behavior of Frameless ALOHA: Drift Analysis, Throughput, and Age of Information

abstract: We study the dynamic behavior of frameless ALOHA, both in terms of throughput and age of information (AoI). In particular, differently from previous studies, our analysis accounts for the fact that the number of terminals contending the channel may vary over time, as a function of the duration of the previous contention period. The stability of the protocol is analyzed via a drift analysis, which allows us to determine the presence of stable and unstable equilibrium points. We also provide an exact characterization of the AoI performance, through which we determine the impact of some key protocol parameters, such as the maximum length of the contention period, on the average AoI. Specifically, we show that configurations of parameters that maximize the throughput may result in a degradation of the AoI performance.


title: Reformulation Techniques for Automated Planning: A Systematic Review

abstract: Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents. A cornerstone of domain-independent planning is the separation between planning logic, i.e. the automated reasoning side, and the knowledge model, that encodes a formal representation of domain knowledge needed to reason upon a given problem to synthesise a solution plan. Such a separation enables the use of reformulation techniques, which transform how a model is represented in order to improve the efficiency of plan generation. Over the past decades, significant research effort has been devoted to the design of reformulation techniques. In this paper, we present a systematic review of the large body of work on reformulation techniques for classical planning, aiming to provide a holistic view of the field and to foster future research in the area. As a tangible outcome, we provide a qualitative comparison of the existing classes of techniques, that can help researchers gain an overview of their strengths and weaknesses.


title: Practical Synchronization for OTFS

abstract: In the existing literature on joint timing and frequency synchronization of orthogonal time frequency space modulation (OTFS), practically infeasible impulse pilot with large peak-to-average power ratio (PAPR) is deployed. Hence, in this paper, we propose a timing offset (TO) and carrier frequency offset (CFO) estimation for OTFS over a linear time-varying (LTV) channel, using a low PAPR pilot structure. The proposed technique utilizes the recently proposed practically feasible pilot structure with a cyclic prefix (PCP). We exploit the periodic properties of PCP in both delay and time domains to find the starting point of each OTFS block. Furthermore, we propose a two-stage CFO estimation technique with over an order of magnitude higher estimation accuracy than the existing estimator using the impulse pilot. In the first stage, a coarse CFO estimate is obtained which is refined in the second stage, through our proposed maximum likelihood (ML) based approach. The proposed ML-based approach deploys the generalized complex exponential basis expansion model (GCE-BEM) to capture the time variations of the channel, absorb them into the pilot and provide an accurate CFO estimate. Since our proposed synchronization technique utilizes the same pilot deployed for channel estimation, it does not require any additional overhead. Finally, we evaluate the performance of our proposed synchronization technique through simulations. We also compare and show the superior performance of our proposed technique to the only other existing joint TO and CFO estimation method in OTFS literature.


title: The BPHZ Theorem for Regularity Structures via the Spectral Gap Inequality

abstract: We provide a relatively compact proof of the BPHZ theorem for regularity structures of decorated trees in the case where the driving noise satisfies a suitable spectral gap property, as in the Gaussian case. This is inspired by the recent work [LOTT21] in the multi-index setting, but our proof relies crucially on a novel version of the reconstruction theorem for a space of "pointed Besov modelled distributions". As a consequence, the analytical core of the proof is quite short and self-contained, which should make it easier to adapt the proof to different contexts (such as the setting of discrete models).