title: A Framework for Distributed Estimation with Reduced Communication via Event-Based Strategies

abstract: This paper considers the problem of distributed estimation in a sensor network, where multiple sensors are deployed to infer the state of a linear time-invariant (LTI) Gaussian system. By proposing a lossless decomposition of Kalman filter, a framework of event-based distributed estimation is developed, where each sensor node runs a local filter using solely its own measurement, alongside with an event-based synchronization algorithm to fuse the neighboring information. One novelty of the proposed framework is that it decouples the local filter from synchronization process. By doing so, we prove that a general class of triggering strategies can be applied in our framework, which yields stable distributed estimators under the minimal requirements of network connectivity and collective system observability. As compared with existing works, the proposed algorithm enjoys lower data size for each transmission. Moreover, the developed results can be generalized to achieve a distributed implementation of any Luenberger observer. By solving a semi-definite programming (SDP), we further present a low-rank estimator design to obtain the optimal gain of Luenberger observer such that the distributed estimation is realized under the constraint of message complexity. Numerical examples are finally provided to demonstrate the proposed methods.


title: Valuations with infinite limit-depth

abstract: For a certain field $K$, we construct a valuation-algebraic valuation on the polynomial ring $K[x]$, whose Maclane--Vaqui\'e chain consists of an infinite (countable) number of limit augmentations


title: Impact of Software Engineering Research in Practice: A Patent and Author Survey Analysis

abstract: Existing work on the practical impact of software engineering (SE) research examines industrial relevance rather than adoption of study results, hence the question of how results have been practically applied remains open. To answer this and investigate the outcomes of impactful research, we performed a quantitative and qualitative analysis of 4,354 SE patents citing 1,690 SE papers published in four leading SE venues between 1975-2017. Moreover, we conducted a survey on 475 authors of 593 top-cited and awarded publications, achieving 26% response rate. Overall, researchers have equipped practitioners with various tools, processes, and methods, and improved many existing products. SE practice values knowledge-seeking research and is impacted by diverse cross-disciplinary SE areas. Practitioner-oriented publication venues appear more impactful than researcher-oriented ones, while industry-related tracks in conferences could enhance their impact. Some research works did not reach a wide footprint due to limited funding resources or unfavorable cost-benefit trade-off of the proposed solutions. The need for higher SE research funding could be corroborated through a dedicated empirical study. In general, the assessment of impact is subject to its definition. Therefore, academia and industry could jointly agree on a formal description to set a common ground for subsequent research on the topic.


title: A matrix for counting paths in acyclic colored digraphs

abstract: In this paper, we introduce a matrix $A_{\Gamma_{k, R}}$ associate with a $k$-colored acyclic digraph $\Gamma_{k, R}$ such that $\text{det}(A_{\Gamma_{k, R}})$ enumerates the paths in the digraph $\Gamma_{k, R}.$


title: On recognition of $A_6\times A_6$ by the set of conjugacy class sizes

abstract: For a finite group $G$ denote by $N(G)$ the set of conjugacy class sizes of $G$. Recently the following question has been asked: Is it true that for each nonabelian finite simple group $S$ and each $n\in\mathbb{N}$, if the set of class sizes of a finite group $G$ with trivial center is the same as the set of class sizes of the direct power $S^n$, then $G\simeq S^n$? In this paper we approach an answer to this question by proving that $A_6\times A_6$ is uniquely determined by $N(A_6\times A_6)$ among finite groups with trivial center.


title: Fault-Tolerant Directional Couplers for State Manipulation in Silicon Photonic-Integrated Circuits

abstract: Photonic integrated circuits play a central role in current and future applications such as communications, sensing, ranging, and information processing. Photonic quantum computing will also likely require an integrated optics architecture for improved stability, scalability, and performance. Fault-tolerant quantum computing mandates very accurate and robust quantum gates. In this work, we demonstrate high-fidelity directional couplers for single-qubit gates in photonic integrated waveguides, utilizing a novel scheme of detuning-modulated composite segments. Specific designs for reduced sensitivity to wavelength variations and real-world geometrical fabrication errors in waveguides width and depth are presented. Enhanced wavelength tolerance is demonstrated experimentally. The concept shows great promise for scaling high fidelity gates as part of integrated quantum optics architectures.


title: Active-Sterile neutrino masses and mixings in $A_4$ minimal extended seesaw mechanism

abstract: Assuming the existence of an eV or KeV scale sterile neutrino, we develop a 3+1 neutrino mass model using $A_4\times Z_4 \times Z_2$ symmetry group. Three Higgs $H, H^{\prime}$ and $H^{\prime\prime}$ are considered to give a desired neutrino mass matrix which generates non-zero $\theta_{13}$. The model can give neutrino mixing parameters that are well within the experimental 3$\sigma$ bounds. We also calculate the $4\times 4$ active-sterile neutrino mixing matrix, and it is found to be consistent with experimental bounds.


title: Detection of Distracted Driver using Convolution Neural Network

abstract: With over 50 million car sales annually and over 1.3 million deaths every year due to motor accidents we have chosen this space. India accounts for 11 per cent of global death in road accidents. Drivers are held responsible for 78% of accidents. Road safety problems in developing countries is a major concern and human behavior is ascribed as one of the main causes and accelerators of road safety problems. Driver distraction has been identified as the main reason for accidents. Distractions can be caused due to reasons such as mobile usage, drinking, operating instruments, facial makeup, social interaction. For the scope of this project, we will focus on building a highly efficient ML model to classify different driver distractions at runtime using computer vision. We would also analyze the overall speed and scalability of the model in order to be able to set it up on an edge device. We use CNN, VGG-16, RestNet50 and ensemble of CNN to predict the classes.


title: Human-AI ecosystem with abrupt changes as a function of the composition

abstract: The progressive advent of artificial intelligence machines may represent both an opportunity or a threat. In order to have an idea of what is coming we propose a model that simulate a Human-AI ecosystem. In particular we consider systems where agents present biases, peer-to-peer interactions and also three body interactions that are crucial and describe two humans interacting with an artificial agent and two artificial intelligence agents interacting with a human. We focus our analysis by exploring how the relative fraction of artificial intelligence agents affect that ecosystem. We find evidence that for suitable values of the interaction parameters, arbitrarily small changes in such percentage may trigger dramatic changes for the system that can be either in one of the two polarised states or in an undecided state.


title: Deterministic Gaussian conversion protocols for non-Gaussian single-mode resources

abstract: In the context of quantum technologies over continuous variables, Gaussian states and operations are typically regarded as freely available, as they are relatively easily accessible experimentally. In contrast, the generation of non-Gaussian states, as well as the implementation of non-Gaussian operations, pose significant challenges. This divide has motivated the introduction of resource theories of non-Gaussianity. As for any resource theory, it is of practical relevance to identify free conversion protocols between resources, namely Gaussian conversion protocols between non-Gaussian states. Via systematic numerical investigations, we address the approximate conversion between experimentally relevant single-mode non-Gaussian states via arbitrary deterministic one-to-one mode Gaussian maps. First, we show that cat and binomial states are approximately equivalent for finite energy, while this equivalence was previously known only in the infinite-energy limit. Then we consider the generation of cat states from photon-added and photon-subtracted squeezed states, improving over known schemes by introducing additional squeezing operations. The numerical tools that we develop also allow to devise conversions of trisqueezed into cubic-phase states beyond previously reported performances. Finally, we identify various other conversions which instead are not viable.


title: Is the dynamical quantum Cheshire cat detectable?

abstract: We explore how one might detect the dynamical quantum Cheshire cat proposed by Aharonov et al. We show that, in practice, we need to bias the initial state by adding/subtracting a small probability amplitude (`field') of the orthogonal state, which travels with the disembodied property, to make the effect detectable (i.e. if our initial state is $|\uparrow_z\rangle$, we need to bias this with some small amount $\delta$ of state $|\downarrow_z\rangle$). This biasing, which can be done either directly or via weakly entangling the state with a pointer, effectively provides a phase reference with which we can measure the evolution of the state. The outcome can then be measured as a small probability difference in detections in a mutually unbiased basis, proportional to this biasing $\delta$. We show this is different from counterfactual communication, which provably does not require any probe field to travel between sender Bob and receiver Alice for communication. We further suggest an optical polarisation experiment where these phenomena might be demonstrated in a laboratory.


title: Towards Fair Evaluation of Dialogue State Tracking by Flexible Incorporation of Turn-level Performances

abstract: Dialogue State Tracking (DST) is primarily evaluated using Joint Goal Accuracy (JGA) defined as the fraction of turns where the ground-truth dialogue state exactly matches the prediction. Generally in DST, the dialogue state or belief state for a given turn contains all the intents shown by the user till that turn. Due to this cumulative nature of the belief state, it is difficult to get a correct prediction once a misprediction has occurred. Thus, although being a useful metric, it can be harsh at times and underestimate the true potential of a DST model. Moreover, an improvement in JGA can sometimes decrease the performance of turn-level or non-cumulative belief state prediction due to inconsistency in annotations. So, using JGA as the only metric for model selection may not be ideal for all scenarios. In this work, we discuss various evaluation metrics used for DST along with their shortcomings. To address the existing issues, we propose a new evaluation metric named Flexible Goal Accuracy (FGA). FGA is a generalized version of JGA. But unlike JGA, it tries to give penalized rewards to mispredictions that are locally correct i.e. the root cause of the error is an earlier turn. By doing so, FGA considers the performance of both cumulative and turn-level prediction flexibly and provides a better insight than the existing metrics. We also show that FGA is a better discriminator of DST model performance.


title: Offline Reinforcement Learning for Safer Blood Glucose Control in People with Type 1 Diabetes

abstract: The widespread adoption of effective hybrid closed loop systems would represent an important milestone of care for people living with type 1 diabetes (T1D). These devices typically utilise simple control algorithms to select the optimal insulin dose for maintaining blood glucose levels within a healthy range. Online reinforcement learning (RL) has been utilised as a method for further enhancing glucose control in these devices. Previous approaches have been shown to reduce patient risk and improve time spent in the target range when compared to classical control algorithms, but are prone to instability in the learning process, often resulting in the selection of unsafe actions. This work presents an evaluation of offline RL for developing effective dosing policies without the need for potentially dangerous patient interaction during training. This paper examines the utility of BCQ, CQL and TD3-BC in managing the blood glucose of the 30 virtual patients available within the FDA-approved UVA/Padova glucose dynamics simulator. When trained on less than a tenth of the total training samples required by online RL to achieve stable performance, this work shows that offline RL can significantly increase time in the healthy blood glucose range from 61.6 +\- 0.3% to 65.3 +/- 0.5% when compared to the strongest state-of-art baseline (p < 0.001). This is achieved without any associated increase in low blood glucose events. Offline RL is also shown to be able to correct for common and challenging control scenarios such as incorrect bolus dosing, irregular meal timings and compression errors.


title: The $\mathcal{R}$-height of semigroups and their bi-ideals

abstract: The $\mathcal{R}$-height of a semigroup $S$ is the height of the poset of $\mathcal{R}$-classes of $S,$ i.e. the supremum of the lengths of chains of $\mathcal{R}$-classes. Given a semigroup $S$ with finite $\mathcal{R}$-height, we establish bounds on the $\mathcal{R}$-height of bi-ideals, one-sided ideals and two-sided ideals; in particular, these substructures inherit the property of having finite $\mathcal{R}$-height. We then investigate whether these bounds can be attained.


title: Towards Bright Gamma-Ray Flash Generation From Tailored Target Irradiated by Multi-Petawatt Laser

abstract: One of the remarkable phenomena in the laser-matter interaction is the extremely efficient energy transfer to $\gamma$-photons, that appears as a collimated $\gamma$-ray beam. For interactions of realistic laser pulses with matter, existence of a background field plays a crucial role, since it hits the target prior to the main pulse arrival, leading to a cloud of preplasma and drilling a narrow channel inside the target. These effects significantly alter the process of $\gamma$-photon generation. Here, we study this process by importing the outcome of magnetohydrodynamic simulations of the target interaction into particle-in-cell simulations for describing the $\gamma$-photon generation. It is seen that the background field effect plays an important positive role, enhancing the efficiency of laser pulse coupling with the target, and generating high energy electron-positron pairs. It is expected that such a $\gamma$-photon source will be actively used in various applications in nuclear photonics, material science and astrophysical processes modeling.


title: Correcting Mispronunciations in Speech using Spectrogram Inpainting

abstract: Learning a new language involves constantly comparing speech productions with reference productions from the environment. Early in speech acquisition, children make articulatory adjustments to match their caregivers' speech. Grownup learners of a language tweak their speech to match the tutor reference. This paper proposes a method to synthetically generate correct pronunciation feedback given incorrect production. Furthermore, our aim is to generate the corrected production while maintaining the speaker's original voice. The system prompts the user to pronounce a phrase. The speech is recorded, and the samples associated with the inaccurate phoneme are masked with zeros. This waveform serves as an input to a speech generator, implemented as a deep learning inpainting system with a U-net architecture, and trained to output a reconstructed speech. The training set is composed of unimpaired proper speech examples, and the generator is trained to reconstruct the original proper speech. We evaluated the performance of our system on phoneme replacement of minimal pair words of English as well as on children with pronunciation disorders. Results suggest that human listeners slightly prefer our generated speech over a smoothed replacement of the inaccurate phoneme with a production of a different speaker.


title: Seismic Modeling and Migration with Random Boundaries on the NEC SX-Aurora TSUBASA

abstract: Seismic imaging is a computationally demanding and data-intensive activity in the oil and gas industry. Reverse Time Migration (RTM) used in seismic applications needs to store the forward-propagated wavefield (or source wavefield) on disk. Aiming to mitigate the storage demand, we develop an RTM that implements the source wavefield reconstruction by introducing a new wave equation to the problem. We adjust the initial and boundary conditions to take advantage of the properties of random boundary conditions (RBC). The RBC does not suppress unwanted waves coming from the artificial boundary enabling the full wavefield recovery. Besides, it explores low correlations with non-coherent signals due to the random velocities in the boundary. We also develop compiler-guided implementations on a vector processor for seismic modeling and RTM, essential for Least-square Migration, Full Waveform Inversion, and Uncertainty Quantification applications. We test the seismic modeling and RTM on the 2-D Marmousi benchmark and 3-D HPC4E Seismic Test Suite. The numerical experiments show that the RTM which implements the wavefield reconstruction presents the best results in terms of execution time and hard disk demand. Lastly, the vector processor implementation is the one that requires fewer code modifications compared to the optimized baseline versions of the seismic modeling and RTM and GPU implementations, particularly for large 3D grids.


abstract: It is for the first time that Quantum Simulation for High Energy Physics (HEP) is studied in the U.S. decadal particle-physics community planning, and in fact until recently, this was not considered a mainstream topic in the community. This fact speaks of a remarkable rate of growth of this subfield over the past few years, stimulated by the impressive advancements in Quantum Information Sciences (QIS) and associated technologies over the past decade, and the significant investment in this area by the government and private sectors in the U.S. and other countries. High-energy physicists have quickly identified problems of importance to our understanding of nature at the most fundamental level, from tiniest distances to cosmological extents, that are intractable with classical computers but may benefit from quantum advantage. They have initiated, and continue to carry out, a vigorous program in theory, algorithm, and hardware co-design for simulations of relevance to the HEP mission. This community whitepaper is an attempt to bring this exciting and yet challenging area of research to the spotlight, and to elaborate on what the promises, requirements, challenges, and potential solutions are over the next decade and beyond.


title: Tencent Text-Video Retrieval: Hierarchical Cross-Modal Interactions with Multi-Level Representations

abstract: Text-Video Retrieval plays an important role in multi-modal understanding and has attracted increasing attention in recent years. Most existing methods focus on constructing contrastive pairs between whole videos and complete caption sentences, while overlooking fine-grained cross-modal relationships, e.g., clip-phrase or frame-word. In this paper, we propose a novel method, named Hierarchical Cross-Modal Interaction (HCMI), to explore multi-level cross-modal relationships among video-sentence, clip-phrase, and frame-word for text-video retrieval. Considering intrinsic semantic frame relations, HCMI performs self-attention to explore frame-level correlations and adaptively cluster correlated frames into clip-level and video-level representations. In this way, HCMI constructs multi-level video representations for frame-clip-video granularities to capture fine-grained video content, and multi-level text representations at word-phrase-sentence granularities for the text modality. With multi-level representations for video and text, hierarchical contrastive learning is designed to explore fine-grained cross-modal relationships, i.e., frame-word, clip-phrase, and video-sentence, which enables HCMI to achieve a comprehensive semantic comparison between video and text modalities. Further boosted by adaptive label denoising and marginal sample enhancement, HCMI achieves new state-of-the-art results on various benchmarks, e.g., Rank@1 of 55.0%, 58.2%, 29.7%, 52.1%, and 57.3% on MSR-VTT, MSVD, LSMDC, DiDemo, and ActivityNet, respectively.


title: Overlay journals: a study of the current landscape

abstract: Overlay journals are characterised by their articles being published on open access repositories, often already starting in their initial preprint form as a prerequisite for submission to the journal prior to initiating the peer-review process. In this study we aimed to identify currently active overlay journals and examine their characteristics. We utilised an explorative web search and contacted key service providers for additional information. The final sample consisted of 34 overlay journals. While the results show that new overlay journals have been actively established within recent years, the current presence of overlay journals remains diminutive compared to the overall number of open access journals. Most overlay journals publish articles in natural sciences, mathematics or computer sciences, and are commonly published by groups of academics rather than formal organisations. They may also rank highly within the traditional journal citation metrics. None of the investigated journals required fees from authors, which is likely related to the cost-effective aspects of the overlay publishing model. Both the growth in adoption of open access preprint repositories and researchers' willingness to publish in overlay journals will determine the model's wider impact on scholarly publishing.


title: 110 MW Thin-Disk Oscillator

abstract: A compact Kerr-lens mode-locked thin-disk oscillator delivering 110 MW output peak power, the highest among all oscillators, is reported. A pulse train with a repetition rate of 14 MHz carries 115 fs long, 14.4 uJ pulses resulting in 202 W of average power. This compact, simple, and stable oscillator is a suitable driver and an important milestone for further high harmonics generation and the development of extreme ultraviolet transportable frequency comb sources.


title: Renormalisation in $\text{T}\bar{\text{T}}$-Deformed (Non-)Integrable Theories

abstract: That the exact quantum S-matrix of $\text{T}\bar{\text{T}}$-deformed field theories is known has interesting consequences for their perturbative renormalisation. Recent investigations into the interplay between renormalisation and integrable deformations have focused on those cases where the (undeformed) seed theories are integrable. In this paper, we study the perturbative renormalisation of non-integrable $\text{T}\bar{\text{T}}$-deformed field theories, focusing on a theory of scalars with a quartic interaction. We show that in this theory, the 4-point 1-loop S-matrix exhibits features similar to its integrable cousins. We also carry out a similar analysis for the case of an integrable quantum field theory comprising a pair of chiral bosons. Our discussion of this latter theory supplies the first explicit example of a perturbative field theory computation in the formalism due to Sen.


title: Generalizations of the flag variety tied to the Macdonald-theoretic delta operators

abstract: This is a chapter for the upcoming book "Handbook of Combinatorial Algebraic Geometry". Comments are welcome! We cover symmetric function identities tied to delta operators, as well as representation-theoretic and geometric avatars of these identities.


title: Blockchain Application Development Using Model-Driven Engineering and Low-Code Platforms: A Survey

abstract: The creation of blockchain-based software applications requires today considerable technical knowledge, particularly in software design and programming. This is regarded as a major barrier in adopting this technology in business and making it accessible to a wider audience. As a solution, no-code and low-code approaches have been proposed that require only little or no programming knowledge for creating full-fledged software applications. In this paper we review academic approaches from the discipline of model-driven engineering as well as industrial no-code and low-code development platforms for blockchains. We further present a case study for an integrated no-code blockchain environment for demonstrating the state-of-the-art in this area. Based on the gained insights we derive requirements for the future development of no-code and low-code approaches that are dedicated to the field of blockchains.


title: Strichartz estimates and Blowup stability for energy critical nonlinear wave equations

abstract: We prove Strichartz estimates in similarity coordinates for the radial wave equation with a self similar potential in dimensions $d\geq 3$. As an application of these, we establish the asymptotic stability of the ODE blowup profile of the energy critical radial nonlinear wave equation for $3\leq d\leq 6$.


title: Koszul duality for categories with a fixed object set

abstract: We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra $Ext_A(k,k)$. We apply this general construction to define the Koszul dual of a category enriched over spectra or chain complexes. This example relies on the classical observation that enriched categories are monoid objects in a category of enriched graphs. We observe that the category of enriched graphs is biclosed, meaning that it comes with both left and right internal hom objects. Given a category $R$ (which plays the role of the ground field $k$ in classical algebra), and an augmented $R$-algebra $C$, we define the Koszul dual of $C$, denoted $K(C)$, as the $R$-algebra of derived endomorphisms of $R$ in the category of right $C$-modules. We establish the expected adjunctions between the categories of modules over $C$ and modules over $K(C)$. We investigate the question of when the map from $C$ to its double dual $K(K(C))$ is an equivalence. We also show that Koszul duality of operads can be understood as a special case of Koszul duality of categories. In this way we incorporate Koszul duality of operads in a wider context, and possibly clarify some aspects of it.


title: Electricity generation from renewable energy based on abandoned wind fan

abstract: In the 21st century, our world is facing difficult conditions for serious environmental pollution and the problem of energy shortage. An innovative idea has emerged to recycle wind energy from air conditioning condenser fans in outdoor buildings. Therefore, the main goal of this research is to develop renewable wind energy from the condenser fan of an air conditioner using Arduino as a microcontroller. This research moves towards a portable, low cost, environmentally friendly mini device that harnesses renewable energies with endless resources for future alternative power generation and reduces the burden of consumers' electricity bills


title: Subordinate quadratic forms and isometric maps over semirings

abstract: The paper expands the theory of quadratic forms on modules over a semiring R, introduced in [12]-[14], especially in the setup of tropical and supertropical algebra. Isometric linear maps induce subordination on quadratic forms, and provide a main tool in our current study. These maps allow lifts and pushdowns of quadratic forms on different modules, preserving basic characteristic properties.


title: Tailoring 2D Fast Iterative Filtering algorithm for low-contrast optical fringe pattern preprocessing

abstract: Retrieving object phase from the optical fringe pattern is a critical task in quantitative phase imaging and often requires appropriate image preprocessing (background and noise minimization), especially when retrieving phase from the single-shot fringe pattern image. In this article, for the first time, we propose to adapt the 2D Fast Iterative Filtering (FIF) method for fringe pattern decomposition and develop a novel version of FIF called the 2D fringe pattern Fast Iterative Filtering (fpFIF2), that is tailored for fringe pattern preprocessing. We show the positive influence of fpFIF2 onto fringe pattern filtering comparing to the previous 2D FIF implementation regarding processing speed, quality, and usage comfortability. We also compare the fpFIF2 with other state-of-the-art fringe pattern filtering methods in terms of aiding the Hilbert spiral transform method in phase retrieval. Employing numerical simulations and experimental fringe analysis, we prove that fpFIF2 outperforms reference methods, especially in terms of low-fringe-contrast phase reconstruction quality and decomposition time.


title: TOSE: A Fast Capacity Determination Algorithm Based on Random Matrix Theory

abstract: Wireless network capacity is one of the most important performance metrics for wireless communication networks. Future wireless networks will be composed of extremely large number of base stations (BSs) and users, and organized in the form of multiple clusters. Unfortunately, the determination of average cluster capacity for such future wireless networks is difficult, and lacks of both analytical expressions and fast algorithms. In this paper, we propose a fast algorithm TOSE to estimate the average cluster capacity based on the random matrix theory (RMT). It can avoid the exact eigenvalue derivations of large dimensional matrices, which are complicated and inevitable in conventional capacity determination methods. Instead, fast eigenvalue estimations can be realized based on RMT in our TOSE algorithm. In addition, we derive the analytical upper and lower bounds of the average cluster capacity. Our numerical experiments show that TOSE is faster than the conventional Cholesky decomposition method, by at least three orders of magnitude. Besides, TOSE has superior generality, since it is independent of the distributions of BSs and users, and the shape of network areas.


title: Towards Comparing Performance of Algorithms in Hardware and Software

abstract: In this paper, we report on a preliminary investigation of the potential performance gain of programs implemented in field-programmable gate arrays (FPGAs) using a high-level language Chisel compared to ordinary high-level software implementations executed on general-purpose computers and small and cheap computers. FPGAs inherently support parallel evaluations, while sequential computers do not. For this preliminary investigation, we have chosen a highly parallelizable program as a case study to show an upper bound of performance gain. The purpose is to demonstrate whether or not programming FPGAs has the potential for performance optimizations of ordinary programs. We have developed and evaluated Conway's Game of Life for an FPGA, a small and cheap computer Raspberry Pi 4, and a MacBook Pro Laptop. We have compared the performance of programs over different input sizes to decide the relative increase in runtime.


title: A Two Species Thomas-Fermi Model for Stellar Ground States

abstract: We present an energy functional for a Thomas-Fermi type two-fluid model of a self-gravitating non-rotating charged body, with a non-relativistic kinetic energy. We prove that, under certain conditions on the total number of positively charged and negatively charged particles, a minimizer exists and both fluids have compact support. We prove the same result for special relativistic kinetic energy, assuming further conditions on the total number of particles. In the non-relativistic kinetic energy case, we further prove the uniqueness of the minimizer, as well as present results relating the general shape of the minimizer to the total number of particles.


title: Droplet collapse during strongly supercooled transitions

abstract: We simulate the decay of isolated, spherically symmetric droplets in a cosmological phase transition. It has long been posited that such heated droplets of the metastable state could form, and they have recently been observed in 3D multi-bubble simulations. In those simulations, the droplets were associated with a reduction in the wall velocity and a decrease in the kinetic energy of the fluid, with a consequent suppression in the gravitational wave power spectrum. In the present work, we track the wall speed and kinetic energy production in isolated droplets and compare them to those found in multi-bubble collisions. The late-time wall velocities that we observe match those of the 3D simulations, though we find that the spherical simulations are a poor predictor of the kinetic energy production. This implies that spherically symmetric simulations could be used to refine baryogenesis predictions due to the formation of droplets, but not to estimate any accompanying suppression of the gravitational wave signal.


title: Defending Active Directory by Combining Neural Network based Dynamic Program and Evolutionary Diversity Optimisation

abstract: Active Directory (AD) is the default security management system for Windows domain networks. We study a Stackelberg game model between one attacker and one defender on an AD attack graph. The attacker initially has access to a set of entry nodes. The attacker can expand this set by strategically exploring edges. Every edge has a detection rate and a failure rate. The attacker aims to maximize their chance of successfully reaching the destination before getting detected. The defender's task is to block a constant number of edges to decrease the attacker's chance of success. We show that the problem is #P-hard and, therefore, intractable to solve exactly. We convert the attacker's problem to an exponential sized Dynamic Program that is approximated by a Neural Network (NN). Once trained, the NN provides an efficient fitness function for the defender's Evolutionary Diversity Optimisation (EDO). The diversity emphasis on the defender's solution provides a diverse set of training samples, which improves the training accuracy of our NN for modelling the attacker. We go back and forth between NN training and EDO. Experimental results show that for R500 graph, our proposed EDO based defense is less than 1% away from the optimal defense.


title: Linguistic-Acoustic Similarity Based Accent Shift for Accent Recognition

abstract: General accent recognition (AR) models tend to directly extract low-level information from spectrums, which always significantly overfit on speakers or channels. Considering accent can be regarded as a series of shifts relative to native pronunciation, distinguishing accents will be an easier task with accent shift as input. But due to the lack of native utterance as an anchor, estimating the accent shift is difficult. In this paper, we propose linguistic-acoustic similarity based accent shift (LASAS) for AR tasks. For an accent speech utterance, after mapping the corresponding text vector to multiple accent-associated spaces as anchors, its accent shift could be estimated by the similarities between the acoustic embedding and those anchors. Then, we concatenate the accent shift with a dimension-reduced text vector to obtain a linguistic-acoustic bimodal representation. Compared with pure acoustic embedding, the bimodal representation is richer and more clear by taking full advantage of both linguistic and acoustic information, which can effectively improve AR performance. Experiments on Accented English Speech Recognition Challenge (AESRC) dataset show that our method achieves 77.42% accuracy on Test set, obtaining a 6.94% relative improvement over a competitive system in the challenge.


title: The saturation problem for refined Littlewood-Richardson coefficients

abstract: Given partitions $\lambda,\mu,\nu$ with at most $n$ nonzero parts and a permutation $w \in S_n$, the refined Littlewood-Richardson coefficient $c_{\lambda \mu}^\nu(w)$ is the multiplicity of the irreducible $GL_n \mathbb(C)$ module $V(\nu)$ in the so-called Kostant-Kumar submodule $K(\lambda, w, \mu)$ of the tensor product $V(\lambda) \otimes V(\mu)$. We derive a hive model for these coefficients and prove that the saturation property holds if $w$ is $312$-avoiding, $231$-avoiding or a commuting product of such elements. This generalizes the classical Knutson-Tao saturation theorem.


title: Surrogate-Assisted Evolutionary Generative Design Of Breakwaters Using Deep Convolutional Networks

abstract: In the paper, a multi-objective evolutionary surrogate-assisted approach for the fast and effective generative design of coastal breakwaters is proposed. To approximate the computationally expensive objective functions, the deep convolutional neural network is used as a surrogate model. This model allows optimizing a configuration of breakwaters with a different number of structures and segments. In addition to the surrogate, an assistant model was developed to estimate the confidence of predictions. The proposed approach was tested on the synthetic water area, the SWAN model was used to calculate the wave heights. The experimental results confirm that the proposed approach allows obtaining more effective (less expensive with better protective properties) solutions than non-surrogate approaches for the same time.


title: Energy Consumption and Performance of Heapsort in Hardware and Software

abstract: In this poster abstract we will report on a case study on implementing the Heapsort algorithm in hardware and software and comparing their time and energy consumption. Our experiment shows that the Hardware implementation is more energy efficient, but slower than the Software implementation due to a low clock frequency. It also indicate that the optimal degree of parallelization differs when optimizing for time compared to optimizing for time.


title: Curvature-driven growth and interfacial noise in the voter model with self-induced zealots

abstract: We introduce a variant of the voter model in which agents may have different degrees of confidence on their opinions. Those with low confidence are normal voters whose state can change upon a single contact with a different neighboring opinion. However, confidence increases with opinion reinforcement and, above a certain threshold, these agents become zealots that do not change opinion. We show that both strategies, normal voters and zealots, may coexist, leading to a competition between two different kinetic mechanisms: curvature-driven growth and interfacial noise. The kinetically constrained zealots are formed well inside the clusters, away from the different opinions at the surfaces that help keep the confidence not so high. Normal voters concentrate in a region around the interfaces and their number, that is related with the distance between the surface and the zealotry bulk, depends on the rate the confidence changes. Despite this interface being rough and fragmented, typical of the voter model, the presence of zealots in the bulk of these domains, induces a curvature-driven dynamics, similar to the low temperature coarsening behavior of the non-conserved Ising model after a temperature quench.


title: Quantifying resilience and the risk of regime shifts under strong correlated noise

abstract: Early warning indicators often suffer from the shortness and coarse-graining of real-world time series. Furthermore, the typically strong and correlated noise contributions in real applications are severe drawbacks for statistical measures. Even under favourable simulation conditions the measures are of limited capacity due to their qualitative nature and sometimes ambiguous trend-to-noise ratio. In order to solve these shortcomings, we analyse the stability of the system via the slope of the deterministic term of a Langevin equation, which is hypothesized to underlie the system dynamics close to the fixed point. The open-source available method is applied to a previously studied seasonal ecological model under noise levels and correlation scenarios commonly observed in real world data. We compare the results to autocorrelation, standard deviation, skewness and kurtosis as leading indicator candidates by a Bayesian model comparison with a linear and a constant model. We show that the slope of the deterministic term is a promising alternative due to its quantitative nature and high robustness against noise levels and types. The commonly computed indicators apart from the autocorrelation with deseasonalization fail to provide reliable insights into the stability of the system in contrast to a previously performed study in which the standard deviation was found to perform best. In addition, we discuss the significant influence of the seasonal nature of the data to the robust computation of the various indicators, before we determine approximately the minimal amount of data per time window that leads to significant trends for the drift slope estimations.


title: Direct Sequential Simulation for spherical linear inverse problems

abstract: We present a method for obtaining efficient probabilistic solutions to geostatistical and linear inverse problems in spherical geometry. Our Spherical Direct Sequential Simulation (SDSSIM) framework combines information from possibly noisy observations, that provide either point information on the model or are related to the model by a linear averaging kernel, and statistics derived from a-priori training models. It generates realizations from marginal posterior probability distributions of model parameters that are not limited to be Gaussian. We avoid the restriction to Cartesian geometry built into many existing geostatistical simulation codes, and work instead with grids in spherical geometry relevant to problems in Earth and Space sciences. We demonstrate our scheme using a synthetic example, showing that it produces realistic posterior realizations consistent with the known solution while fitting observations within their uncertainty and reproducing the model parameter distribution and covariance statistics of a-priori training models. Secondly, we present an application to real satellite observations, estimating the posterior probability distribution for the geomagnetic field at the core-mantle boundary. Our results reproduce well-known features of the core-mantle boundary magnetic field, and also allow probabilistic investigations of the magnetic field morphology. Small-length scale features in the posterior realizations are not determined by the observations but match the covariance statistics extracted from geodynamo simulation training models. The framework presented here represents a step towards more general approaches to probabilistic inversion in spherical geometry.


title: Recommended Guidelines for Effective MOOCs based on a Multiple-Case Study

abstract: Massive Open Online Courseware (MOOCs) appeared in 2008 and grew considerably in the past decade, now reaching millions of students and professionals all over the world. MOOCs do not replace other educational forms. Instead, they complement them by offering a powerful educational tool that can reach students that, otherwise, would not have access to that information. Nevertheless, designing and implementing a successful MOOC is not straightforward. Simply recording traditional classes is an approach that does not work, since the conditions in which a MOOC student learns are very different from the conventional classroom. In particular, dropout rates in MOOCs are, normally, at least an order of magnitude higher than in conventional courses. In this paper, we analyze data from 7 successful MOOCs that have attracted over 150,000 students in the past years. The analysis led to the proposal of a set of guidelines to help instructors in designing more effective MOOCs. These results contribute to the existing body of knowledge in the field, bring new insights, and pose new questions for future research.


title: Categorical Distributions of Maximum Entropy under Marginal Constraints

abstract: The estimation of categorical distributions under marginal constraints summarizing some sample from a population in the most-generalizable way is key for many machine-learning and data-driven approaches. We provide a parameter-agnostic theoretical framework that enables this task ensuring (i) that a categorical distribution of Maximum Entropy under marginal constraints always exists and (ii) that it is unique. The procedure of iterative proportional fitting (IPF) naturally estimates that distribution from any consistent set of marginal constraints directly in the space of probabilities, thus deductively identifying a least-biased characterization of the population. The theoretical framework together with IPF leads to a holistic workflow that enables modeling any class of categorical distributions solely using the phenomenological information provided.


title: Detecting Tropical Cyclone from the basic overview of life cycle of Extremely Severe Cyclonic Storm, Tauktae

abstract: The Extremely Severe Cyclonic Storm (ESCS) Tauktae, which made landfall on the Gujarat coast on May 17, 2021, is discussed in the current study. The analysis is based on INSAT-3D and passive microwave (PMW) images, focusing on the cyclone's eye characteristics and intensity. The satellite images and products are utilized to determine the cyclone's intensity and the specific characteristics of its eye. The study showcases the variations in intensity and eye features of the cyclone throughout its life span, providing insights into the process of tropical cyclone intensification. The paper is structured to cover the methods for analysis, an overview of ESCS Tauktae's life cycle, the regulation of intensity based on Dvorak's technique, intensity estimation using ADT9.0 and comparison with SATCON method and Indian Meteorological Department (IMD) provided best track data. Furthermore, the formation of Tauktae's eye, timeframes for eye scenes, comparison with sea surface temperature data, and concluding thoughts are also discussed.


title: Surface Vision Transformers: Flexible Attention-Based Modelling of Biomedical Surfaces

abstract: Recent state-of-the-art performances of Vision Transformers (ViT) in computer vision tasks demonstrate that a general-purpose architecture, which implements long-range self-attention, could replace the local feature learning operations of convolutional neural networks. In this paper, we extend ViTs to surfaces by reformulating the task of surface learning as a sequence-to-sequence learning problem, by proposing patching mechanisms for general surface meshes. Sequences of patches are then processed by a transformer encoder and used for classification or regression. We validate our method on a range of different biomedical surface domains and tasks: brain age prediction in the developing Human Connectome Project (dHCP), fluid intelligence prediction in the Human Connectome Project (HCP), and coronary artery calcium score classification using surfaces from the Scottish Computed Tomography of the Heart (SCOT-HEART) dataset, and investigate the impact of pretraining and data augmentation on model performance. Results suggest that Surface Vision Transformers (SiT) demonstrate consistent improvement over geometric deep learning methods for brain age and fluid intelligence prediction and achieve comparable performance on calcium score classification to standard metrics used in clinical practice. Furthermore, analysis of transformer attention maps offers clear and individualised predictions of the features driving each task. Code is available on Github: https://github.com/metrics-lab/surface-vision-transformers


title: MAESTRO: Matched Speech Text Representations through Modality Matching

abstract: We present Maestro, a self-supervised training method to unify representations learnt from speech and text modalities. Self-supervised learning from speech signals aims to learn the latent structure inherent in the signal, while self-supervised learning from text attempts to capture lexical information. Learning aligned representations from unpaired speech and text sequences is a challenging task. Previous work either implicitly enforced the representations learnt from these two modalities to be aligned in the latent space through multitasking and parameter sharing or explicitly through conversion of modalities via speech synthesis. While the former suffers from interference between the two modalities, the latter introduces additional complexity. In this paper, we propose Maestro, a novel algorithm to learn unified representations from both these modalities simultaneously that can transfer to diverse downstream tasks such as Automated Speech Recognition (ASR) and Speech Translation (ST). Maestro learns unified representations through sequence alignment, duration prediction and matching embeddings in the learned space through an aligned masked-language model loss. We establish a new state-of-the-art (SOTA) on VoxPopuli multilingual ASR with a 8% relative reduction in Word Error Rate (WER), multidomain SpeechStew ASR (3.7% relative) and 21 languages to English multilingual ST on CoVoST 2 with an improvement of 2.8 BLEU averaged over 21 languages.


title: Incremental Prototype Tuning for Class Incremental Learning

abstract: Class incremental learning(CIL) has attracted much attention, but most existing related works focus on fine-tuning the entire representation model, which inevitably results in much catastrophic forgetting. In the contrast, with a semantic-rich pre-trained representation model, parameter-additional-tuning (PAT) only changes very few parameters to learn new visual concepts. Recent studies have proved that PAT-based CIL can naturally avoid fighting against forgetting by replaying or distilling like most of the existing methods. However, we find that PAT-based CIL still faces serious semantic drift, the high-level forgetting problem caused by classifier learning bias at different learning phases, which significantly reduces the performance of PAT-based CIL. To address this problem, we propose Incremental Prototype Tuning (IPT), a simple but effective method that tunes category prototypes for classification and learning example prototypes to compensate for semantic drift. Extensive experiments demonstrate that our method can effectively compensate for semantic drift. Combined with well-pre-trained Vit backbones and other PAT methods, IPT surpasses the state-of-the-art baselines on mainstream incremental learning benchmarks.


title: On the u^{\infty}-torsion submodule of prismatic cohomology

abstract: We investigate the maximal finite length submodule of the Breuil-Kisin prismatic cohomology of a smooth proper formal scheme over a p-adic ring of integers. This submodule governs pathology phenomena in integral p-adic cohomology theories. Geometric applications include a control, in low degrees and mild ramifications, of (1) the discrepancy between two naturally associated Albanese varieties in characteristic p, and (2) kernel of the specialization map in p-adic \'etale cohomology. As an arithmetic application, we study the boundary case of the theory due to Fontaine-Laffaille, Fontaine-Messing, and Kato. Also included is an interesting example, generalized from a construction in Bhatt-Morrow-Scholze's work, which (1) illustrates some of our theoretical results being sharp, and (2) negates a question of Breuil.


title: Maximizing Sums of Non-monotone Submodular and Linear Functions: Understanding the Unconstrained Case

abstract: Motivated by practical applications, recent works have considered maximization of sums of a submodular function $g$ and a linear function $\ell$. Almost all such works, to date, studied only the special case of this problem in which $g$ is also guaranteed to be monotone. Therefore, in this paper we systematically study the simplest version of this problem in which $g$ is allowed to be non-monotone, namely the unconstrained variant, which we term Regularized Unconstrained Submodular Maximization (RegularizedUSM). Our main algorithmic result is the first non-trivial guarantee for general RegularizedUSM. For the special case of RegularizedUSM in which the linear function $\ell$ is non-positive, we prove two inapproximability results, showing that the algorithmic result implied for this case by previous works is not far from optimal. Finally, we reanalyze the known Double Greedy algorithm to obtain improved guarantees for the special case of RegularizedUSM in which the linear function $\ell$ is non-negative; and we complement these guarantees by showing that it is not possible to obtain (1/2, 1)-approximation for this case (despite intuitive arguments suggesting that this approximation guarantee is natural).


title: On the Price of Locality in Static Fast Rerouting

abstract: Modern communication networks feature fully decentralized flow rerouting mechanisms which allow them to quickly react to link failures. This paper revisits the fundamental algorithmic problem underlying such local fast rerouting mechanisms. Is it possible to achieve perfect resilience, i.e., to define local routing tables which preserve connectivity as long as the underlying network is still connected? Feigenbaum et al. (ACM PODC'12) and Foerster et al. (SIAM APOCS'21) showed that, unfortunately, it is impossible in general. This paper charts a more complete landscape of the feasibility of perfect resilience. We first show a perhaps surprisingly large price of locality in static fast rerouting mechanisms: even when source and destination remain connected by a linear number of link-disjoint paths after link failures, local rerouting algorithms cannot find any of them which leads to a disconnection on the routing level. This motivates us to study resilience in graphs which exclude certain dense minors, such as cliques or a complete bipartite graphs, and in particular, provide characterizations of the possibility of perfect resilience in different routing models. We provide further insights into the price of locality by showing impossibility results for few failures and investigate perfect resilience on Topology Zoo networks.


title: The role of diamagnetism in the separation of particles and sharp edges of the Saturn's ring

abstract: The diamagnetism of ice particles of the rings can explain their separation and the sharp edges of the rings. The existing gravitational theories of the origin of rings can't explain these observed facts. Taking into account the magnetic field of Saturn, all the particles of the rings acquire stability in the horizontal and vertical directions. The force of diamagnetic expulsion of inhomogeneous magnetic field inside the rings structure forms sharp edges and separates the particles.


title: Proceedings 16th Logical and Semantic Frameworks with Applications

abstract: This volume contains the post-proceedings of the Sixteenth Logical and Semantic Frameworks with Applications (LSFA 2021). The meeting was held online on July 23-24, 2021, organised by the Universidad de Buenos Aires, Argentina. LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.


title: A CCBM-based generalized GKB iterative regularization algorithm for inverse Cauchy problems

abstract: This paper examines inverse Cauchy problems that are governed by a kind of elliptic partial differential equation. The inverse problems involve recovering the missing data on an inaccessible boundary from the measured data on an accessible boundary, which is severely ill-posed. By using the coupled complex boundary method (CCBM), which integrates both Dirichlet and Neumann data into a single Robin boundary condition, we reformulate the underlying problem into an operator equation. Based on this new formulation, we study the solution existence issue of the reduced problem with noisy data. A Golub-Kahan bidiagonalization (GKB) process together with Givens rotation is employed for iteratively solving the proposed operator equation. The regularizing property of the developed method, called CCBM-GKB, and its convergence rate results are proved under a posteriori stopping rule. Finally, a linear finite element method is used for the numerical realization of CCBM-GKB. Various numerical experiments demonstrate that CCBM-GKB is a kind of accelerated iterative regularization method, as it is much faster than the classic Landweber method.


title: Detecting Dysfluencies in Stuttering Therapy Using wav2vec 2.0

abstract: Stuttering is a varied speech disorder that harms an individual's communication ability. Persons who stutter (PWS) often use speech therapy to cope with their condition. Improving speech recognition systems for people with such non-typical speech or tracking the effectiveness of speech therapy would require systems that can detect dysfluencies while at the same time being able to detect speech techniques acquired in therapy. This paper shows that fine-tuning wav2vec 2.0 [1] for the classification of stuttering on a sizeable English corpus containing stuttered speech, in conjunction with multi-task learning, boosts the effectiveness of the general-purpose wav2vec 2.0 features for detecting stuttering in speech; both within and across languages. We evaluate our method on FluencyBank , [2] and the German therapy-centric Kassel State of Fluency (KSoF) [3] dataset by training Support Vector Machine classifiers using features extracted from the finetuned models for six different stuttering-related event types: blocks, prolongations, sound repetitions, word repetitions, interjections, and - specific to therapy - speech modifications. Using embeddings from the fine-tuned models leads to relative classification performance gains up to 27% w.r.t. F1-score.


title: Continual Inference: A Library for Efficient Online Inference with Deep Neural Networks in PyTorch

abstract: We present Continual Inference, a Python library for implementing Continual Inference Networks (CINs) in PyTorch, a class of Neural Networks designed specifically for efficient inference in both online and batch processing scenarios. We offer a comprehensive introduction and guide to CINs and their implementation in practice, and provide best-practices and code examples for composing complex modules for modern Deep Learning. Continual Inference is readily downloadable via the Python Package Index and at \url{www.github.com/lukashedegaard/continual-inference}.


title: Almost-optimal bulk regularity conditions in the CLT for Wigner matrices

abstract: We consider linear spectral statistics of the form $\mathrm{tr} ( \varphi (H))$ for test functions $\varphi$ of low regularity and Wigner matrices $H$ with smooth entry distribution. We show that for functions $\varphi$ in the Sobolev space $H^{1/2+\varepsilon}$ or the space $C^{1/2+\varepsilon}$, that are supported within the spectral bulk of the semicircle distribution, these linear spectral statistics have asymptotic Gaussian fluctuations with the same variance as in the CLT for functions of higher regularity, for any $\varepsilon >0$.


title: On the K-theory of $\mathbb{Z}/p^n$ -- announcement

abstract: We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit formulas for their orders in large degrees.


title: Self-supervised learning for robust voice cloning

abstract: Voice cloning is a difficult task which requires robust and informative features incorporated in a high quality TTS system in order to effectively copy an unseen speaker's voice. In our work, we utilize features learned in a self-supervised framework via the Bootstrap Your Own Latent (BYOL) method, which is shown to produce high quality speech representations when specific audio augmentations are applied to the vanilla algorithm. We further extend the augmentations in the training procedure to aid the resulting features to capture the speaker identity and to make them robust to noise and acoustic conditions. The learned features are used as pre-trained utterance-level embeddings and as inputs to a Non-Attentive Tacotron based architecture, aiming to achieve multispeaker speech synthesis without utilizing additional speaker features. This method enables us to train our model in an unlabeled multispeaker dataset as well as use unseen speaker embeddings to copy a speaker's voice. Subjective and objective evaluations are used to validate the proposed model, as well as the robustness to the acoustic conditions of the target utterance.


title: Asymptotic behavior of positive solutions to the Lane-Emden system in dimension two

abstract: Consider the Lane-Emden system \begin{equation*}\begin{aligned} &-\Delta u=v^p,\quad u>0,\quad\text{in}~\Omega, &-\Delta v=u^q,\quad v>0,\quad\text{in}~\Omega, &u=v=0,\quad\text{on}~\partial\Omega, \end{aligned}\end{equation*} where $\Omega$ is a smooth bounded domain in $\mathbb{R}^N$ with $N\geq 2$ and $q\ge p>0$. The asymptotic behavior of {\it least energy solutions} of this system was studied for $N\geq 3$. However, the case $N=2$ is different and remains completely open. In this paper, we study the case $N=2$ with $q=p+\theta_p$ and $\sup_p\theta_p<+\infty$. Under the following natural condition that holds for least energy solutions $$\limsup_{p\to+\infty} p\int_\Omega\nabla u_p\cdot\nabla v_p \mathrm{d} x<+\infty,$$ we give a complete description of the asymptotic behavior of {\it positive solutions} $(u_p,v_p)$ (i.e., not only for least energy solutions) as $p\to+\iy$. This seems the first result for asymptotic behaviors of the Lane-Emden system in the two dimension case.


title: The last three years: multiband gravitational-wave observations of stellar-mass binary black holes

abstract: Understanding the formation and evolution of the stellar-mass binary black holes discovered by LIGO and Virgo is a challenge that spans many areas of astrophysics, from stellar evolution, dynamics and accretion disks, to possible exotic early universe processes. Over the final years of their lives, stellar-mass binaries radiate gravitational waves that are first observable by space-based detectors (such as LISA) and then ground-based instruments (such as LIGO, Virgo and the next generation observatories Cosmic Explorer and the Einstein Telescope). Using state-of-the-art waveform models and parameter-estimation pipelines for both ground- and space-based observations, we show that (the expected handful of) these multiband observations will allow at least percent-level measurements of all 17 parameters that describe the binary, the possible identification of a likely host galaxy, and the forewarning of the merger days in advance allowing telescopes at multiple wavelengths to search for any electromagnetic signature associated to it. Multiband sources will therefore be a gold mine for astrophysics, but we also show that they could be less useful as laboratories for fundamental tests of general relativity than has been previously suggested.


title: Low complexity joint position and channel estimation at millimeter wave based on multidimensional orthogonal matching pursuit

abstract: Compressive approaches provide a means of effective channel high resolution channel estimates in millimeter wave MIMO systems, despite the use of analog and hybrid architectures. Such estimates can also be used as part of a joint channel estimation and localization solution. Achieving good localization performance, though, requires high resolution channel estimates and better methods to exploit those channels. In this paper, we propose a low complexity multidimensional orthogonal matching pursuit strategy for compressive channel estimation based by operating with a product of independent dictionaries for the angular and delay domains, instead of a global large dictionary. This leads to higher quality channel estimates but with lower complexity than generalizations of conventional solutions. We couple this new algorithm with a novel localization formulation that does not rely on the absolute time of arrival of the LoS path and exploits the structure of reflections in indoor channels. We show how the new approach is able to operate in realistic 3D scenarios to estimate the communication channel and locate devices in an indoor simulation setting.


title: Complete flux scheme for variable velocity fields: coupling between the advection-diffusion equation and the Poisson equation for the velocity field

abstract: In this work, we consider an advection-diffusion equation, coupled to a Poisson equation for the velocity field. This type of coupling is typically encountered in models arising from plasma physics or porous media flow. The aim of this work is to build upon the complete flux scheme (an improvement over the Scharfetter-Gummel scheme by considering the contribution of the source term), so that its second-order convergence, which is uniform in P\'eclet numbers, carries over to these models. This is done by considering a piecewise linear approximation of the velocity field, which is then used for defining upwind-adjusted P\'eclet numbers.


title: The Influence of a Parameter that Controls the Asymmetry of a Potential Energy Surface with an Entrance Channel and Two Potential Wells

abstract: In this paper we study an asymmetric valley-ridge inflection point (VRI) potential, whose energy surface (PES) features two sequential index-1 saddles (the upper and the lower), with one saddle having higher energy than the other and two potential wells separated by the lower index-1 saddle. We show how the depth and the flatness of our potential changes as we modify the parameter that controls the asymmetry as well as how the branching ratio (ratio of the trajectories that enter each well) is changing as we modify the same parameter and its correlation with the area of the lobes as they have formulated by the stable and unstable manifolds that have been extracted from the gradient of the LD scalar fields.


title: Stabilisation of a viscous conservation law by a one-dimensional external force

abstract: We study a damped scalar conservation law driven by the sum of a fixed external force and a localised one-dimensional control. The problem is considered in a bounded domain and is supplemented with the Dirichlet boundary condition. It is proved that any solution of the uncontrolled equation can be exponentially stabilised. As a consequence, we obtain the global approximate controllability to trajectories by a one-dimensional localised control.


title: Detecting Vocal Fatigue with Neural Embeddings

abstract: Vocal fatigue refers to the feeling of tiredness and weakness of voice due to extended utilization. This paper investigates the effectiveness of neural embeddings for the detection of vocal fatigue. We compare x-vectors, ECAPA-TDNN, and wav2vec 2.0 embeddings on a corpus of academic spoken English. Low-dimensional mappings of the data reveal that neural embeddings capture information about the change in vocal characteristics of a speaker during prolonged voice usage. We show that vocal fatigue can be reliably predicted using all three kinds of neural embeddings after only 50 minutes of continuous speaking when temporal smoothing and normalization are applied to the extracted embeddings. We employ support vector machines for classification and achieve accuracy scores of 81% using x-vectors, 85% using ECAPA-TDNN embeddings, and 82% using wav2vec 2.0 embeddings as input features. We obtain an accuracy score of 76%, when the trained system is applied to a different speaker and recording environment without any adaptation.


title: Finding Counterfactual Explanations through Constraint Relaxations

abstract: Interactive constraint systems often suffer from infeasibility (no solution) due to conflicting user constraints. A common approach to recover infeasibility is to eliminate the constraints that cause the conflicts in the system. This approach allows the system to provide an explanation as: "if the user is willing to drop out some of their constraints, there exists a solution". However, one can criticise this form of explanation as not being very informative. A counterfactual explanation is a type of explanation that can provide a basis for the user to recover feasibility by helping them understand which changes can be applied to their existing constraints rather than removing them. This approach has been extensively studied in the machine learning field, but requires a more thorough investigation in the context of constraint satisfaction. We propose an iterative method based on conflict detection and maximal relaxations in over-constrained constraint satisfaction problems to help compute a counterfactual explanation.


title: Thermodynamic and cosmological parameters of early stages of the Universe

abstract: The early Universe was characterized by the presence of heavy particles that decoupled at different temperatures leading to different phases of the Universe. This had a consequences on the time evolution of the thermodynamic and the cosmological parameters characterizing each phase of the early Universe. In this study, we derive the analytic expressions of the equations governing the time evolution of these parameters in the early eras of the Universe namely, the radiation era, the quark-gluon plasma era, the hadron era and the mixed era. The parameters under concern include the energy density, the entropy density, the temperature, the pressure in addition to Hubble parameter and the scale factor. Having these expressions allows us to give estimations of the times corresponding to the beginning and ending of each era of the Universe as will be presented in this work.


title: Energy-Efficient Adaptive Machine Learning on IoT End-Nodes With Class-Dependent Confidence

abstract: Energy-efficient machine learning models that can run directly on edge devices are of great interest in IoT applications, as they can reduce network pressure and response latency, and improve privacy. An effective way to obtain energy-efficiency with small accuracy drops is to sequentially execute a set of increasingly complex models, early-stopping the procedure for "easy" inputs that can be confidently classified by the smallest models. As a stopping criterion, current methods employ a single threshold on the output probabilities produced by each model. In this work, we show that such a criterion is sub-optimal for datasets that include classes of different complexity, and we demonstrate a more general approach based on per-classes thresholds. With experiments on a low-power end-node, we show that our method can significantly reduce the energy consumption compared to the single-threshold approach.


title: Collective patterns and stable misunderstandings in networks striving for consensus without a common value system

abstract: Collective phenomena in systems of interacting agents have helped us understand diverse social, ecological and biological observations. The corresponding explanations are challenged by incorrect information processing. In particular, the models typically assume a shared understanding of signals or a common truth or value system, i.e., an agreement of whether the measurement or perception of information is `right' or `wrong'. It is an open question whether a collective consensus can emerge without these conditions. Here we introduce a model of interacting agents that strive for consensus, however, each with only a subjective perception of the world. Our communication model does not presuppose a definition of right or wrong and the actors can hence not distinguish between correct and incorrect observations. Depending on a single parameter that governs how responsive the agents are to changing their world-view we observe a transition between an unordered phase of individuals that are not able to communicate with each other and a phase of an emerging shared signalling framework. We find that there are two types of convention-aligned clusters: one, where all social actors in the cluster have the same set of conventions, and one, where neighbouring actors have different but compatible conventions (`stable misunderstandings').


title: Machine Learning-Enabled IoT Security: Open Issues and Challenges Under Advanced Persistent Threats

abstract: Despite its technological benefits, Internet of Things (IoT) has cyber weaknesses due to the vulnerabilities in the wireless medium. Machine learning (ML)-based methods are widely used against cyber threats in IoT networks with promising performance. Advanced persistent threat (APT) is prominent for cybercriminals to compromise networks, and it is crucial to long-term and harmful characteristics. However, it is difficult to apply ML-based approaches to identify APT attacks to obtain a promising detection performance due to an extremely small percentage among normal traffic. There are limited surveys to fully investigate APT attacks in IoT networks due to the lack of public datasets with all types of APT attacks. It is worth to bridge the state-of-the-art in network attack detection with APT attack detection in a comprehensive review article. This survey article reviews the security challenges in IoT networks and presents the well-known attacks, APT attacks, and threat models in IoT systems. Meanwhile, signature-based, anomaly-based, and hybrid intrusion detection systems are summarized for IoT networks. The article highlights statistical insights regarding frequently applied ML-based methods against network intrusion alongside the number of attacks types detected. Finally, open issues and challenges for common network intrusion and APT attacks are presented for future research.


title: Motivic spectra and universality of $K$-theory

abstract: We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped with an action of the Picard stack and satisfies projective bundle formula.


title: The depleted Higgs boson: searches for universal coupling suppression, invisible decays, and mixed-in scalars

abstract: Two simple ways by which the standard signals of the Standard Model Higgs boson can be depleted are: its couplings to fermions and gauge bosons can be suppressed by a universal factor, and part of its branching fraction can be drained into invisible final states. A large class of theories can impose one or both of these depletion factors, even if mild, by way of additional scalar bosons that are singlets under the Standard Model but mix with the Higgs boson. We perform a comprehensive survey of the present status of the depleted Higgs boson, and discuss future prospects for detecting the presence of either depletion factor. We also survey the constraints status and future detection prospects for the generic case of extra mixed-in scalars which generically lead to these depletion factors for the Higgs boson. We find, for example, that precision study of the Higgs boson in many cases is more powerful than searches for the extra scalar states, given the slate of next-generation experiments that are on the horizon.


title: A unified theory of non-overlapping Robin-Schwarz methods -- continuous and discrete, including cross points

abstract: Non-overlapping Schwarz methods with generalized Robin transmission conditions were originally introduced by B. Despr\'es for time-harmonic wave propagation problems and have largely developed over the past thirty years. The aim of the paper is to provide both a review of the available formulations and methods as well as a consistent theory applicable to more general cases than studied until to date. An abstract variational framework is provided reformulating the original problem by the well-known form involving a scattering operator and an interface exchange operator, and the equivalence between the formulations is discussed thoroughly. The framework applies to a series of wave propagation problems throughout the de Rham complex, such as the scalar Helmholtz equation, Maxwell's equations, a dual formulation of the Helmholtz equation in H(div), as well as any conforming finite element discretization thereof, and it applies also to coercive problems. Three convergence results are shown. The first one (using compactness) and the second one (based on absorbtion) generalize Despr\'es' early findings and apply as well to the FETI-2LM formulation. The third result, oriented on the work by Collino, Ghanemi, and Joly, establishes a convergence rate and covers cases with cross points, while not requiring any regularity of the solution. The key ingredient is a global interface exchange operator, proposed originally by X. Claeys and further developed by Claeys and Parolin, here worked out in full generality. The third type of convergence theory is applicable at the discrete level as well, where the exchange operator is allowed to be even local. The resulting scheme can be viewed as a generalization of the 2-Lagrange-multiplier method introduced by S. Loisel, and connections are drawn to another technique proposed by Gander and Santugini.


title: Sakurai's Object revisited: new laboratory data for carbonates and melilites suggest the carrier of 6.9 $\mu$m excess absorption is a carbonate

abstract: We present new room-temperature 1100 - 1800 cm^{-1} spectra of melilite silicates and 600 - 2000 cm^{-1} spectra of three randomly orientated fine-grained carbonates to determine the possible carrier(s) of a 6.9~micron absorption feature observed in a variety of dense astronomical environments including young stellar objects and molecular clouds. We focus on the low-mass post-AGB star Sakurai's Object which has been forming substantial quantities of carbonaceous dust since an eruptive event in the 1990s. Large melilite grains cannot be responsible for the 6.9-micron absorption feature because the similarly-shaped feature in the laboratory spectrum was produced by very low (0.1 per cent by mass) carbonate contamination which was not detected at other wavelengths. Due to the high band-strength of the 6.9-micron feature in carbonates, we conclude that carbonates carry the astronomical 6.9~micron feature. Replacement of melilite with carbonates in models of Sakurai's object improves fits to the 6 - 7-micron Spitzer spectra without significantly altering other conclusions of Bowey's previous models except that there is no link between the feature and the abundance of melilite in meteorites. With magnesite (MgCO3), the abundance of 25-micron-sized SiC grains is increased by 10 - 50 per cent and better constrained. The mass of carbonate dust is similar to the mass of PAH dust. Existing experiments suggest carbonates are stable below 700~K, however it is difficult to ascertain the applicability of these experiments to astronomical environments and more studies are required.


title: Influence of the magnetic field on the formation of protostellar disks

abstract: We numerically model the collapse of magnetic rotating protostellar clouds with mass of 10 $M_{sun}$. The simulations are carried out with the help of 2D MHD code Enlil. The structure of the cloud at the isothermal stage of the collapse is investigated for the cases of weak, moderate, and strong initial magnetic field. Simulations reveal the universal hierarchical structure of collapsing protostellar clouds, consisting of flattened envelope with the qausi-magnetostatc disk inside and the first core in its center. The size of the primary disk increases with the initial magnetic energy of the cloud. The magnetic braking efficiently transports the angular momentum from the primary disk into the envelope in the case, when initial magnetic energy of the cloud is more than 20 % of its gravitational energy. Intensity of the outflows launched from the region near the boundary of the first core increases with initial magnetic energy. The `dead' zone with small ionization fraction, $x<10^{-11}$, forms inside the first hydrostatic core and at the base of the outflow. Ohmic dissipation and ambipolar diffusion determine conditions for further formation of the protostellar disk in this region.


title: Half-sibling regression meets exoplanet imaging: PSF modeling and subtraction using a flexible, domain knowledge-driven, causal framework

abstract: High-contrast imaging of exoplanets hinges on powerful post-processing methods to denoise the data and separate the signal of a companion from its host star, which is typically orders of magnitude brighter. Existing post-processing algorithms do not use all prior domain knowledge that is available about the problem. We propose a new method that builds on our understanding of the systematic noise and the causal structure of the data-generating process. Our algorithm is based on a modified version of half-sibling regression (HSR), a flexible denoising framework that combines ideas from the fields of machine learning and causality. We adapt the method to address the specific requirements of high-contrast exoplanet imaging data obtained in pupil tracking mode. The key idea is to estimate the systematic noise in a pixel by regressing the time series of this pixel onto a set of causally independent, signal-free predictor pixels. We use regularized linear models in this work; however, other (non-linear) models are also possible. In a second step, we demonstrate how the HSR framework allows us to incorporate observing conditions such as wind speed or air temperature as additional predictors. When we apply our method to four data sets from the VLT/NACO instrument, our algorithm provides a better false-positive fraction than PCA-based PSF subtraction, a popular baseline method in the field. Additionally, we find that the HSR-based method provides direct and accurate estimates for the contrast of the exoplanets without the need to insert artificial companions for calibration in the data sets. Finally, we present first evidence that using the observing conditions as additional predictors can improve the results. Our HSR-based method provides an alternative, flexible and promising approach to the challenge of modeling and subtracting the stellar PSF and systematic noise in exoplanet imaging data.


title: Task-Aware Active Learning for Endoscopic Image Analysis

abstract: Semantic segmentation of polyps and depth estimation are two important research problems in endoscopic image analysis. One of the main obstacles to conduct research on these research problems is lack of annotated data. Endoscopic annotations necessitate the specialist knowledge of expert endoscopists and due to this, it can be difficult to organise, expensive and time consuming. To address this problem, we investigate an active learning paradigm to reduce the number of training examples by selecting the most discriminative and diverse unlabelled examples for the task taken into consideration. Most of the existing active learning pipelines are task-agnostic in nature and are often sub-optimal to the end task. In this paper, we propose a novel task-aware active learning pipeline and applied for two important tasks in endoscopic image analysis: semantic segmentation and depth estimation. We compared our method with the competitive baselines. From the experimental results, we observe a substantial improvement over the compared baselines. Codes are available at https://github.com/thetna/endo-active-learn.


title: Assessing the accuracy of compound formation energies with quantum Monte Carlo

abstract: Accurately predicting the formation energy of a compound, which describes its thermodynamic stability, is a key challenge in materials physics. Here, we employ many-body quantum Monte Carlo (QMC) with single-reference trial functions to compute the formation energy of two electronically disparate compounds, the intermetallic VPt$_2$ and the semiconductor CuI, for which standard density functional theory (DFT) predictions using both the Perdew-Burke Ernzerhof (PBE) and the strongly constrained and appropriately normed (SCAN) density functional approximations deviate markedly from available experimental values. For VPt$_2$, we find an agreement between QMC, SCAN, and PBE0 estimates, which therefore remain in disagreement with the much less exothermic experimental value. For CuI, the QMC result agrees with neither SCAN nor PBE pointing towards DFT exchange-correlation biases, likely related to the localized Cu $3d$ electrons. Compared to the behavior of some density functional approximations within DFT, spin-averaged QMC exhibits a smaller but still appreciable deviation when compared to experiment. The QMC result is slightly improved by incorporating spin-orbit corrections for CuI and solid I$_2$, so that experiment and theory are brought into imperfect but reasonable agreement within about 120~meV/atom.


title: Spontaneous time-reversal symmetry breaking in twisted double bilayer graphene

abstract: Twisted double bilayer graphene (tDBG) comprises two Bernal-stacked bilayer graphene sheets with a twist between them. Gate voltages applied to top and back gates of a tDBG device tune both the flatness and topology of the electronic bands, enabling an unusual level of experimental control. Broken spin/valley symmetry metallic states have been observed in tDBG devices with twist angles $\sim $ 1.2-1.3$^\circ$, but the topologies and order parameters of these states have remained unclear. We report the observation of an anomalous Hall effect in the correlated metal state of tDBG, with hysteresis loops spanning 100s of mT in out-of-plane magnetic field ($B_{\perp}$) that demonstrate spontaneously broken time-reversal symmetry. The $B_{\perp}$ hysteresis persists for in-plane fields up to several Tesla, suggesting valley (orbital) ferromagnetism. At the same time, the resistivity is strongly affected by even mT-scale values of in-plane magnetic field, pointing to spin-valley coupling or to a direct orbital coupling between in-plane field and the valley degree of freedom.


title: On Dunkl Schr\"odinger semigroups with Green bounded potentials

abstract: On $\mathbb R^N$ equipped with a normalized root system $R$, a multiplicity function $k(\alpha) > 0$, and the associated measure $$ dw(\mathbf x)=\prod_{\alpha\in R}|\langle \mathbf x,\alpha\rangle|^{k(\alpha)}\, d\mathbf x, $$ we consider a Dunkl Schr\"odinger operator $L=-\Delta_k+V$, where $\Delta_k$ is the Dunkl Laplace operator and $V\in L^1_{\rm loc} (dw)$ is a non-negative potential. Let $h_t(\mathbf x,\mathbf y)$ and $k^{\{V\}}_t(\mathbf x,\mathbf y)$ denote the Dunkl heat kernel and the integral kernel of the semigroup generated by $-L$ respectively. We prove that $k^{\{V\}}_t(\mathbf x,\mathbf y)$ satisfies the following heat kernel lower bounds: there are constants $C, c>0$ such that $$ h_{ct}(\mathbf x,\mathbf y)\leq C k^{\{V\}}_t(\mathbf x,\mathbf y)$$ if and only if $$ \sup_{\mathbf x\in\mathbb R^N} \int_0^\infty \int_{\mathbb R^N} V(\mathbf y)w(B(\mathbf x,\sqrt{t}))^{-1}e^{-\|\mathbf x-\mathbf y\|^2/t}\, dw(\mathbf y)\, dt<\infty, $$ where $B(\mathbf x,\sqrt{t})$ stands for the Euclidean ball centered at $\mathbf x \in \mathbb{R}^N$ and radius $\sqrt{t}$.


title: Deep Visual Geo-localization Benchmark

abstract: In this paper, we propose a new open-source benchmarking framework for Visual Geo-localization (VG) that allows to build, train, and test a wide range of commonly used architectures, with the flexibility to change individual components of a geo-localization pipeline. The purpose of this framework is twofold: i) gaining insights into how different components and design choices in a VG pipeline impact the final results, both in terms of performance (recall@N metric) and system requirements (such as execution time and memory consumption); ii) establish a systematic evaluation protocol for comparing different methods. Using the proposed framework, we perform a large suite of experiments which provide criteria for choosing backbone, aggregation and negative mining depending on the use-case and requirements. We also assess the impact of engineering techniques like pre/post-processing, data augmentation and image resizing, showing that better performance can be obtained through somewhat simple procedures: for example, downscaling the images' resolution to 80% can lead to similar results with a 36% savings in extraction time and dataset storage requirement. Code and trained models are available at https://deep-vg-bench.herokuapp.com/.


title: A new DG method for a pure--stress formulation of the Brinkman problem with strong symmetry

abstract: A strongly symmetric stress approximation is proposed for the Brinkman equations with mixed boundary conditions. The resulting formulation solves for the Cauchy stress using a symmetric interior penalty discontinuous Galerkin method. Pressure and velocity are readily post-processed from stress, and a second post-process is shown to produce exactly divergence-free discrete velocities. We demonstrate the stability of the method with respect to a DG-energy norm and obtain error estimates that are explicit with respect to the coefficients of the problem. We derive optimal rates of convergence for the stress and for the post-processed variables. Moreover, under appropriate assumptions on the mesh, we prove optimal $L^2$-error estimates for the stress. Finally, we provide numerical examples in 2D and 3D.


title: Harmonic forms and the Rumin complex on Sasakian manifolds

abstract: We show that the kernel of the Rumin Laplacian agrees with that of the Hodge-de Rham Laplacian on compact Sasakian manifolds. As a corollary, we obtain another proof of primitiveness of harmonic forms. Moreover, the space of harmonic forms coincides with the sub-Riemann limit of Hodge-de Rham Laplacian when its limit converges. Finally, we express the analytic torsion function associated with the Rumin complex in terms of the Reeb vector field.


title: Debiasing the estimate of treatment effect on the treated with time-varying counfounders

abstract: With the increased availability of large health databases comes the opportunity of evaluating treatment effect on new data sources.Through these databases time-dependent outcomes can be analysed as events that can be measured using counting processes. Estimating average treatment effect on the treated (ATT) requires modelling of time-varying covariate and time-dependent treatment and outcome. Gran et al. proposed an easy-to-implement method based on additive intensity regression to estimate ATT. We introduce a debiased estimate of the ATT based on a generalization of the Gran's model for a potentially repeated outcome and in the presence of multiple time-dependent covariates and baseline covariates. Simulation analyses show that our corrected estimator outperforms Gran's uncorrected estimator. Our method is applied to intensive care real-life data from MIMIC-III databases to estimate vasoppressors effect on patients with sepsis.


title: Light Cone Sum Rules and Form Factors for $p\rightarrow e^+ \gamma$

abstract: Proton decay is a baryon number violating process, and hence is forbidden in the Standard Model (SM) of particle physics. Baryon number violation is expected to be an important criteria to explain the matter-anti-matter asymmetry of the universe. Any detection of the proton decay will be a direct evidence of physics beyond the SM. In SMEFT, proton decay is possible via baryon number violating dimension-6 operators. In this work, we pay attention to the decay channel $p\rightarrow e^+ \gamma$ which is expected to be an experimentally cleaner channel due to less nuclear absorption. The gauge invariant amplitude of this process involves two form factors. We calculate these form factors in the framework of light cone sum rules (LCSR) using photon DAs upto two particle twist-3 accuracy as well as proton DAs of twist-3 accuracy. We find that the form factors calculated using photon DAs are more reliable.


title: Column competent tensors and tensor complementarity problem

abstract: In multilinear algebra, some special classes of matrices are extended to higher order structured tensors. The local $w$-uniqueness solution to the linear complementarity problem can be identified by the column competent matrix. Motivated by this $w$-uniqueness property, we introduce column competent tensor in the context of tensor complementarity problem. We consider some important properties. In the theory of linear complementarity problem, column competent matrices are introduced to study local $w$-uniqueness property of LCP solution. We present the inheritance property and invariance property of column competent tensors. We study the tensor complementarity problem using column competent tensors and several results are established. Some examples are illustrated to support the results. Keywords: Tensor complementarity problem, column competent tensor, nondegenerate tensor, $\omega$-solution. AMS subject classifications: 90C33, 90C30, 15A69, 46G25.


title: Reputation as insurance: how reputation moderates public backlash following a company's decision to profiteer

abstract: We examine whether a company's corporate reputation gained from their CSR activities and a company leader's reputation, one that is unrelated to his or her business acumen, can impact economic action fairness appraisals. We provide experimental evidence that good corporate reputation causally buffers individuals' negative fairness judgment following the firm's decision to profiteer from an increase in the demand. Bad corporate reputation does not make the decision to profiteer as any less acceptable. However, there is evidence that individuals judge as more unfair an ill-reputed firm's decision to raise their product's price to protect against losses. Thus, our results highlight the importance of a good reputation in protecting a firm against severe negative judgments from making an economic decision that the public deems unfair.


title: A sub-Riemannian Gauss-Bonnet theorem for surfaces in contact manifolds

abstract: We obtain a sub-Riemannian version of the classical Gauss-Bonnet theorem. We consider subsurfaces of a three dimensional contact sub-Riemannian manifolds, and using a family of taming Riemannian metric, we obtain a pure sub-Riemannian result in the limit. In particular, we are able to recover topological information of the surface from the geometry around the characteristic set, i.e., the points where the tangent space to the surface and contact structure coincide. We both give a version for surfaces without boundary and surfaces with boundary.


title: Physics is organized around transformations connecting contextures in a polycontextural world

abstract: The rich body of physical theories defines the foundation of our understanding of the world. Its mathematical formulation is based on classical Aristotelian (binary) logic. In the philosophy of science the ambiguities, paradoxes, and the possibility of subjective interpretations of facts have challenged binary logic, leading, among other developments, to Gotthard G\"unther's theory of polycontexturality (often also termed 'transclassical logic'). G\"unther's theory explains how observers with subjective perception can become aware of their own subjectivity and provides means to describe contradicting or even paradox observations in a logically sound formalism. Here we summarize the formalism behind G\"unther's theory and apply it to two well-known examples from physics where different observers operate in distinct and only locally valid logical systems. Using polycontextural logic we show how the emerging awareness of these limitations of logical systems entails the design of mathematical transformations, which then become an integral part of the theory. In our view, this approach offers a novel perspective on the structure of physical theories and, at the same time, emphasizes the relevance of the theory of polycontexturality in modern sciences.


title: Open Wilson chain numerical renormalization group approach to Green's functions

abstract: By combining Wilson's numerical renormalization group with a modified Bloch-Redfield approach we are able to eliminate the artificial broadening of the Lehmann representation of quantum impurity spectral functions required by the standard numerical renormalization group algorithm. Our approach is based on the exact reproduction of the continuous coupling function in the original quantum impurity model. It augments each chain site of the Wilson chain by a coupling to an additional reservoir. This open Wilson chain is constructed by a continuous fraction expansion and the coupling function is treated in second order in the context of the Bloch-Redfield approach. The eigenvalues of the resulting Bloch-Redfield tensor generate a finite life time of the numerical renormalization group excitations that leads to a natural broadening of the spectral functions. We combine this approach with z-averaging and an analytical exact expression for the correlation part of the self-energy to obtain an accurate representation of the spectral function of the original continuum model in the absence and presence of an external magnetic field.


title: Variational dynamics as a ground-state problem on a quantum computer

abstract: We propose a variational quantum algorithm to study the real time dynamics of quantum systems as a ground-state problem. The method is based on the original proposal of Feynman and Kitaev to encode time into a register of auxiliary qubits. We prepare the Feynman-Kitaev Hamiltonian acting on the composed system as a qubit operator and find an approximate ground state using the Variational Quantum Eigensolver. We apply the algorithm to the study of the dynamics of a transverse field Ising chain with an increasing number of spins and time steps, proving a favorable scaling in terms of the number of two qubit gates. Through numerical experiments, we investigate its robustness against noise, showing that the method can be use to evaluate dynamical properties of quantum systems and detect the presence of dynamical quantum phase transitions by measuring Loschmidt echoes.