title: Practical Issues and Challenges in CSI-based Integrated Sensing and Communication

abstract: Next-generation mobile communication network (i.e., 6G) has been envisioned to go beyond classical communication functionality and provide integrated sensing and communication (ISAC) capability to enable more emerging applications, such as smart cities, connected vehicles, AIoT and health care/elder care. Among all the ISAC proposals, the most practical and promising approach is to empower existing wireless network (e.g., WiFi, 4G/5G) with the augmented ability to sense the surrounding human and environment, and evolve wireless communication networks into intelligent communication and sensing network (e.g., 6G). In this paper, based on our experience on CSI-based wireless sensing with WiFi/4G/5G signals, we intend to identify ten major practical and theoretical problems that hinder real deployment of ISAC applications, and provide possible solutions to those critical challenges. Hopefully, this work will inspire further research to evolve existing WiFi/4G/5G networks into next-generation intelligent wireless network (i.e., 6G).


title: Abstracting Noisy Robot Programs

abstract: Abstraction is a commonly used process to represent some low-level system by a more coarse specification with the goal to omit unnecessary details while preserving important aspects. While recent work on abstraction in the situation calculus has focused on non-probabilistic domains, we describe an approach to abstraction of probabilistic and dynamic systems. Based on a variant of the situation calculus with probabilistic belief, we define a notion of bisimulation that allows to abstract a detailed probabilistic basic action theory with noisy actuators and sensors by a possibly non-stochastic basic action theory. By doing so, we obtain abstract Golog programs that omit unnecessary details and which can be translated back to a detailed program for actual execution. This simplifies the implementation of noisy robot programs, opens up the possibility of using non-stochastic reasoning methods (e.g., planning) on probabilistic problems, and provides domain descriptions that are more easily understandable and explainable.


title: Introduction to Hamiltonian Formulation of General Relativity and Homogeneous Cosmologies

abstract: We give a pedagogical introduction to the Hamiltonian formalism of general relativity at an advanced undergraduate and graduate levels. After covering the mathematical pre-requisites as well as the $3+1$-decomposition of spacetime, we proceed to discuss the Arnowitt-Deser-Misner (ADM) formalism (a Hamiltonian approach) of general relativity. Then we proceed to give a brief but self-contained introduction to homogeneous (but not necessarily isotropic) universes and discuss the associated Bianchi classification. We first study their dynamics in the Lagrangian formulation, followed by the Hamiltonian formulation to show the equivalence of both approaches. We present a variety of examples to illustrate the ADM formalism: (i) free & massless scalar field coupled to homogeneous (in particular, Bianchi IX) universe, (ii) scalar field with a potential term coupled to Bianchi IX universe, (iii) electromagnetic field coupled to gravity in general, and (iv) electromagnetic field coupled to Bianchi IX universe.


title: Updating Industrial Robots for Emerging Technologies

abstract: Industrial arms need to evolve beyond their standard shape to embrace new and emerging technologies. In this paper, we shall first perform an analysis of four popular but different modern industrial robot arms. By seeing the common trends we will try to extrapolate and expand these trends for the future. Here, particular focus will be on interaction based on augmented reality (AR) through head-mounted displays (HMD), but also through smartphones. Long-term human-robot interaction and personalization of said interaction will also be considered. The use of AR in human-robot interaction has proven to enhance communication and information exchange. A basic addition to industrial arm design would be the integration of QR markers on the robot, both for accessing information and adding tracking capabilities to more easily display AR overlays. In a recent example of information access, Mercedes Benz added QR markers on their cars to help rescue workers estimate the best places to cut and evacuate people after car crashes. One has also to deal with safety in an environment that will be more and more about collaboration. The QR markers can therefore be combined with RF-based ranging modules, developed in the EU-project SafeLog, that can be used both for safety as well as for tracking of human positions while in close proximity interactions with the industrial arms. The industrial arms of the future should also be intuitive to program and interact with. This would be achieved through AR and head mounted displays as well as the already mentioned RF-based person tracking. Finally, a more personalized interaction between the robots and humans can be achieved through life-long learning AI and disembodied, personalized agents. We propose a design that not only exists in the physical world, but also partly in the digital world of mixed reality.


title: Geometrically robust linear optics from non-Abelian geometric phases

abstract: We construct a unified operator framework for quantum holonomies generated from bosonic systems. For a system whose Hamiltonian is bilinear in the creation and annihilation operators, we find a holonomy group determined only by a set of selected orthonormal modes obeying a stronger version of the adiabatic theorem. This photon-number independent description offers deeper insight as well as a computational advantage when compared to the standard formalism on geometric phases. In particular, a strong analogy between quantum holonomies and linear optical networks can be drawn. This relation provides an explicit recipe how any linear optical quantum computation can be made geometrically robust in terms of adiabatic or nonadiabatic geometric phases.


title: Identification of radiopure tungsten for low background applications

abstract: In this article we explore the availability of radiopure tungsten and its potential as high density shield material for low background applications. For compact shield designs, conventionally, lead is used. Metallic tungsten and tungsten pseudo-alloys reach higher densities up to 19.3 gcm$^{-3}$ and do not exhibit a significant $^{210}$Pb activity, which is a typical intrinsic contamination in lead. Within several $\gamma$-ray screening campaigns we were able to identify tungsten samples with activities similar or better than 1 mBqkg$^{-1}$ in $^{232}$Th, $^{40}$K, $^{60}$Co and the second part of the $^{238}$U decay chain. In cooperation with a manufacturer we further reduced a persisting contamination in the first part of the $^{238}$U decay chain by a factor of $\sim$2.5 down to (305$\pm$30) mBqkg$^{-1}$. With Monte Carlo simulations, the construction of prototype tungsten-based setups and dedicated measurements, the shield capability of tungsten in comparison to lead was extensively studied. Specifically, the impact of cosmogenic radiation on the background at shallow depth was investigated. We showed that a 6-40% reduction (depending on the exact shield configuration) in the muon-induced neutron fluence is achievable by replacing lead with an equivalent amount of tungsten regarding the suppression of external $\gamma$-radiation. Overall, many benefits using tungsten especially for low energy applications below a few 100 keV are found. The pseudo-tungsten alloy presented in this work paves the way for several applications especially regarding background suppression in particle and astroparticle physics search programs.


title: End-to-End Zero-Shot HOI Detection via Vision and Language Knowledge Distillation

abstract: Most existing Human-Object Interaction~(HOI) Detection methods rely heavily on full annotations with predefined HOI categories, which is limited in diversity and costly to scale further. We aim at advancing zero-shot HOI detection to detect both seen and unseen HOIs simultaneously. The fundamental challenges are to discover potential human-object pairs and identify novel HOI categories. To overcome the above challenges, we propose a novel end-to-end zero-shot HOI Detection (EoID) framework via vision-language knowledge distillation. We first design an Interactive Score module combined with a Two-stage Bipartite Matching algorithm to achieve interaction distinguishment for human-object pairs in an action-agnostic manner. Then we transfer the distribution of action probability from the pretrained vision-language teacher as well as the seen ground truth to the HOI model to attain zero-shot HOI classification. Extensive experiments on HICO-Det dataset demonstrate that our model discovers potential interactive pairs and enables the recognition of unseen HOIs. Finally, our method outperforms the previous SOTA by 8.92% on unseen mAP and 10.18% on overall mAP under UA setting, by 6.02% on unseen mAP and 9.1% on overall mAP under UC setting. Moreover, our method is generalizable to large-scale object detection data to further scale up the action sets. The source code will be available at: https://github.com/mrwu-mac/EoID.


title: Leveraging pre-trained language models for conversational information seeking from text

abstract: Recent advances in Natural Language Processing, and in particular on the construction of very large pre-trained language representation models, is opening up new perspectives on the construction of conversational information seeking (CIS) systems. In this paper we investigate the usage of in-context learning and pre-trained language representation models to address the problem of information extraction from process description documents, in an incremental question and answering oriented fashion. In particular we investigate the usage of the native GPT-3 (Generative Pre-trained Transformer 3) model, together with two in-context learning customizations that inject conceptual definitions and a limited number of samples in a few shot-learning fashion. The results highlight the potential of the approach and the usefulness of the in-context learning customizations, which can substantially contribute to address the "training data challenge" of deep learning based NLP techniques the BPM field. It also highlight the challenge posed by control flow relations for which further training needs to be devised.


title: The Almost Sure Essential Spectrum of the Doubling Map Model is Connected

abstract: We consider discrete Schr\"odinger operators on the half line with potentials generated by the doubling map and continuous sampling functions. We show that the essential spectrum of these operators is always connected. This result is obtained by computing the subgroup of the range of the Schwartzman homomorphism associated with homotopy classes of continuous maps on the suspension of the standard solenoid that factor through the suspension of the doubling map and then showing that this subgroup characterizes the topological structure of the spectrum.


title: A $C^{m,\omega}$ Whitney Extension Theorem for Horizontal Curves in the Heisenberg Group

abstract: We characterize which mappings from a compact subset of $\mathbb{R}$ into the Heisenberg group can be extended to a $C^{m,\omega}$ horizontal curve for a given modulus of continuity $\omega$. We motivate our characterization by showing that the $C^{m,\omega}$ extension property fails if we instead use a more direct analogue of the conditions from the $C^{m}$ case.


title: Cloudy and Cloud-free Thermal Phase Curves with PICASO: Applications to WASP-43b

abstract: We present new functionality within PICASO, a state-of-the-art radiative transfer model for exoplanet and brown dwarf atmospheres, by developing a new pipeline that computes phase-resolved thermal emission (thermal phase curves) from three-dimensional (3D) models. Because PICASO is coupled to Virga, an open-source cloud code, we are able to produce cloudy phase curves with different sedimentation efficiencies ($f_{sed}$) and cloud condensate species. We present the first application of this new algorithm to hot Jupiter WASP-43b. Previous studies of the thermal emission of WASP-43b from Kataria et al. found good agreement between cloud-free models and dayside thermal emission, but an overestimation of the nightside flux, for which clouds have been suggested as a possible explanation. We use the temperature and vertical wind structure from the cloud-free 3D general circulation models of Kataria et al. and post-process it using PICASO, assuming that clouds form and affect the spectra. We compare our models to results from Kataria et al., including Hubble Space Telescope Wide-Field Camera 3 (WFC3) observations of WASP-43b from Stevenson et al. In addition, we compute phase curves for Spitzer at 3.6 and 4.5 $\mu m$ and compare them to observations from Stevenson et al. We are able to closely recover the cloud-free results, even though PICASO utilizes a coarse spatial grid. We find that cloudy phase curves provide much better agreement with the WFC3 and Spitzer nightside data, while still closely matching the dayside emission. This work provides the community with a convenient, user-friendly tool to interpret phase-resolved observations of exoplanet atmospheres using 3D models.


title: Conversational agents for fostering curiosity-driven learning in children

abstract: Curiosity is an important factor that favors independent and individualized learning in children. Research suggests that it is also a competence that can be fostered by training specific metacognitive skills and information-searching behaviors. In this light, we develop a conversational agent that helps children generate curiosity-driven questions, and encourages their use to lead autonomous explorations and gain new knowledge. The study was conducted with 51 primary school students who interacted with either a neutral agent or an incentive agent that helped curiosity-driven questioning by offering specific semantic cues. Results showed a significant increase in the number and the quality of the questions generated with the incentive agent. This interaction also resulted in longer explorations and stronger learning progress. Together, our results suggest that the more our agent is able to train children's curiosity-related metacognitive skills, the better they can maintain their information-searching behaviors and the more new knowledge they are likely to acquire.


title: Evaluating Procedures for Establishing Generative Adversarial Network-based Stochastic Image Models in Medical Imaging

abstract: Modern generative models, such as generative adversarial networks (GANs), hold tremendous promise for several areas of medical imaging, such as unconditional medical image synthesis, image restoration, reconstruction and translation, and optimization of imaging systems. However, procedures for establishing stochastic image models (SIMs) using GANs remain generic and do not address specific issues relevant to medical imaging. In this work, canonical SIMs that simulate realistic vessels in angiography images are employed to evaluate procedures for establishing SIMs using GANs. The GAN-based SIM is compared to the canonical SIM based on its ability to reproduce those statistics that are meaningful to the particular medically realistic SIM considered. It is shown that evaluating GANs using classical metrics and medically relevant metrics may lead to different conclusions about the fidelity of the trained GANs. This work highlights the need for the development of objective metrics for evaluating GANs.


title: Towards Landau-Ginzburg models for cominuscule spaces via the exceptional cominuscule family

abstract: We present projective Landau-Ginzburg models for the exceptional cominuscule homogeneous spaces $\mathbb{OP}^2 = E_6^\mathrm{sc}/P_6$ and $E_7^\mathrm{sc}/P_7$, known respectively as the Cayley plane and the Freudenthal variety. These models are defined on the complement $X^\vee_\mathrm{can}$ of an anti-canonical divisor of the "Langlands dual homogeneous spaces" $\mathbb{X}^\vee = P^\vee\backslash G^\vee$ in terms of generalized Pl\"ucker coordinates, analogous to the canonical models defined for Grassmannians, quadrics and Lagrangian Grassmannians in arXiv:1307.1085, arXiv:1404.4844, arXiv:1304.4958. We prove that these models for the exceptional family are isomorphic to the Lie-theoretic mirror models defined in arXiv:math/0511124 using a restriction to an algebraic torus, also known as the Lusztig torus, as proven in arXiv:1912.09122. We also give a cluster structure on $\mathbb{C}[\mathbb{X}^\vee]$, prove that the Pl\"ucker coordinates form a Khovanskii basis for a valuation defined using the Lusztig torus, and compute the Newton-Okounkov body associated to this valuation. Although we present our methods for the exceptional types, they generalize immediately to the members of other cominuscule families.


title: Study of alternative locations for the SPS Beam Dump Facility

abstract: As part of the main focus of the BDF Working Group in 2021, this document reports on the study of alternative locations and possible optimisation that may accompany the reuse of existing facilities with the aim of significantly reducing the costs of the facility. Building on the BDF/SHiP Comprehensive Design Study (CDS), the assessment rests on the generic requirements and constraints that allow preserving the physics reach of the facility by making use of the $4\times 10^{19}$ protons per year at 400\,GeV that are currently not exploited at the SPS and for which no existing facility is compatible. The options considered involve the underground areas TCC4, TNC, and ECN3. Recent improvements of the BDF design at the current location (referred to as `TT90-TCC9-ECN4') are also mentioned together with ideas for yet further improvements. The assessments of the alternative locations compiled the large amount of information that is already available together with a set of conceptual studies that were performed during 2021. The document concludes with a qualitative comparison of the options, summarising the associated benefits and challenges of each option, such that a recommendation can be made about which location is to be pursued. The most critical location-specific studies required to specify the implementation and cost for each option are identified so that the detailed investigation of the retained option can be completed before the end of 2022.


title: Capacity Analysis of Intersections When CAVs Crossing in a Collaborative and Lane-Free Order

abstract: Connected and autonomous vehicles (CAVs) improve the throughput of intersections by crossing in a lane-free order as compared to the signalised crossing of human drivers. However, it is challenging to quantify such an improvement because the available frameworks to analyse the capacity (i.e., the maximum throughput) of the conventional intersections does not apply to the lane-free ones. This paper proposes a novel theoretical framework to numerically simulate and compare the capacity of lane-free and conventional intersections. The results show that the maximum number of vehicles passing through a lane-free intersection is up to seven times more than a signalised intersection managed by the state-of-the-art max-pressure and Webster algorithms. A sensitivity analysis shows that, in contrast to the signalised intersections, the capacity of the lane-free intersections improves by an increase in initial speed, the maximum permissible speed and acceleration of vehicles.


title: Strong Admissibility, a Tractable Algorithmic Approach (proofs)

abstract: Much like admissibility is the key concept underlying preferred semantics, strong admissibility is the key concept underlying grounded semantics, as membership of a strongly admissible set is sufficient to show membership of the grounded extension. As such, strongly admissible sets and labellings can be used as an explanation of membership of the grounded extension, as is for instance done in some of the proof procedures for grounded semantics. In the current paper, we present two polynomial algorithms for constructing relatively small strongly admissible labellings, with associated min-max numberings, for a particular argument. These labellings can be used as relatively small explanations for the argument's membership of the grounded extension. Although our algorithms are not guaranteed to yield an absolute minimal strongly admissible labelling for the argument (as doing do would have implied an exponential complexity), our best performing algorithm yields results that are only marginally bigger. Moreover, the runtime of this algorithm is an order of magnitude smaller than that of the existing approach for computing an absolute minimal strongly admissible labelling for a particular argument. As such, we believe that our algorithms can be of practical value in situations where the aim is to construct a minimal or near-minimal strongly admissible labelling in a time-efficient way.


title: On the Correctness of Speculative Consensus

abstract: The introduction of Bitcoin fueled the development of blockchain-based resilient data management systems that are resilient against failures, enable federated data management, and can support data provenance. The key factor determining the performance of such resilient data management systems is the consensus protocol used by the system to replicate client transactions among all participants. Unfortunately, existing high-throughput consensus protocols are costly and impose significant latencies on transaction processing, which rules out their usage in responsive high-performance data management systems. In this work, we improve on this situation by introducing the Proof-of-Execution consensus protocol (PoE), a consensus protocol designed for high-performance low-latency resilient data management. PoE introduces speculative execution, which minimizes latencies by starting execution before consensus is reached, and PoE introduces proof-of-executions to guarantee successful execution to clients. Furthermore, PoE introduces a single-round check-commit protocol to reduce the overall communication costs of consensus. Hence, we believe that PoE is a promising step towards flexible general-purpose low-latency resilient data management systems.


title: Embeddings between partial combinatory algebras

abstract: Partial combinatory algebras are algebraic structures that serve as generalized models of computation. In this paper, we study embeddings of pcas. In particular, we systematize the embeddings between relativizations of Kleene's models, of van Oosten's sequential computation model, and of Scott's graph model, showing that an embedding between two relativized models exists if and only if there exists a particular reduction between the oracles. We obtain a similar result for the lambda calculus, showing in particular that it cannot be embedded in Kleene's first model.


title: Phase Retrieval: From Computational Imaging to Machine Learning

abstract: Phase retrieval consists in the recovery of a complex-valued signal from intensity-only measurements. As it pervades a broad variety of applications, many researchers have striven to develop phase-retrieval algorithms. Classical approaches involve techniques as varied as generic gradient-descent routines or specialized spectral methods, to name a few. Yet, the phase-recovery problem remains a challenge to this day. Recently, however, advances in machine learning have revitalized the study of phase retrieval in two ways: significant theoretical advances have emerged from the analogy between phase retrieval and single-layer neural networks; practical breakthroughs have been obtained thanks to deep-learning regularization. In this tutorial, we review phase retrieval under a unifying framework that encompasses classical and machine-learning methods. We focus on three key elements: applications, overview of recent reconstruction algorithms, and the latest theoretical results.


title: Quasi-Static Approximation Error of Electric Field Analysis for Transcranial Current Stimulation

abstract: Objective: Numerical modeling of electric fields induced by transcranial alternating current stimulation (tACS) is currently a part of the standard procedure to predict and understand neural response. Quasi-static approximation for electric field calculations is generally applied to reduce the computational cost. Here, we aimed to analyze and quantify the validity of the approximation over a broad frequency range. Approach: We performed electromagnetic modeling studies using an anatomical head models and considered approximations assuming either a purely ohmic medium (i.e., static formulation) or a lossy dielectric medium (quasi-static formulation). The results were compared with the solution of Maxwell's equations in the cases of harmonic and pulsed signals. Finally, we analyzed the effect of electrode positioning on these errors. Main Results: Our findings demonstrate that the quasi-static approximation is valid and produces a relative error below 1% up to 1.43 MHz. The largest error is introduced in the static case, where the error is over 1% across the entire considered spectrum and as high as 20% in the brain at 10 Hz. We also highlight the special importance of considering the capacitive effect of tissues for pulsed waveforms, which prevents signal distortion induced by the purely ohmic approximation. At the neuron level, the results point a difference of sense electric field as high as 22% at focusing point, impacting pyramidal cells firing times. Significance: Quasi-static approximation remains valid in the frequency range currently used for tACS. However, neglecting permittivity (static formulation) introduces significant error for both harmonic and non-harmonic signals. It points out that reliable low frequency dielectric data are needed for accurate tCS numerical modeling.


title: Goodbye Tracking? Impact of iOS App Tracking Transparency and Privacy Labels

abstract: Tracking is a highly privacy-invasive data collection practice that has been ubiquitous in mobile apps for many years due to its role in supporting advertising-based revenue models. In response, Apple introduced two significant changes with iOS 14: App Tracking Transparency (ATT), a mandatory opt-in system for enabling tracking on iOS, and Privacy Nutrition Labels, which disclose what kinds of data each app processes. So far, the impact of these changes on individual privacy and control has not been well understood. This paper addresses this gap by analysing two versions of 1,759 iOS apps from the UK App Store: one version from before iOS 14 and one that has been updated to comply with the new rules. We find that Apple's new policies, as promised, prevent the collection of the Identifier for Advertisers (IDFA), an identifier for cross-app tracking. Smaller data brokers that engage in invasive data practices will now face higher challenges in tracking users - a positive development for privacy. However, the number of tracking libraries has roughly stayed the same in the studied apps. Many apps still collect device information that can be used to track users at a group level (cohort tracking) or identify individuals probabilistically (fingerprinting). We find real-world evidence of apps computing and agreeing on a fingerprinting-derived identifier through the use of server-side code, thereby violating Apple's policies. We find that Apple itself engages in some forms of tracking and exempts invasive data practices like first-party tracking and credit scoring. We also find that the new Privacy Nutrition Labels are sometimes inaccurate and misleading. Overall, our findings suggest that, while tracking individual users is more difficult now, the changes reinforce existing market power of gatekeeper companies with access to large troves of first-party data and motivate a countermovement.


title: Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures

abstract: If an automorphism f of a structure M is such that fix(f^k) = fix(f) for all positive k, then M|fix(f) is a substructure of M. The possible isomorphism types of such M|fix(f) are characterized when M is countable and arithmetically saturated.


title: Mapping the Multilingual Margins: Intersectional Biases of Sentiment Analysis Systems in English, Spanish, and Arabic

abstract: As natural language processing systems become more widespread, it is necessary to address fairness issues in their implementation and deployment to ensure that their negative impacts on society are understood and minimized. However, there is limited work that studies fairness using a multilingual and intersectional framework or on downstream tasks. In this paper, we introduce four multilingual Equity Evaluation Corpora, supplementary test sets designed to measure social biases, and a novel statistical framework for studying unisectional and intersectional social biases in natural language processing. We use these tools to measure gender, racial, ethnic, and intersectional social biases across five models trained on emotion regression tasks in English, Spanish, and Arabic. We find that many systems demonstrate statistically significant unisectional and intersectional social biases.


title: Practical Digital Disguises: Leveraging Face Swaps to Protect Patient Privacy

abstract: With rapid advancements in image generation technology, face swapping for privacy protection has emerged as an active area of research. The ultimate benefit is improved access to video datasets, e.g. in healthcare settings. Recent literature has proposed deep network-based architectures to perform facial swaps and reported the associated reduction in facial recognition accuracy. However, there is not much reporting on how well these methods preserve the types of semantic information needed for the privatized videos to remain useful for their intended application. Our main contribution is a novel end-to-end face swapping pipeline for recorded videos of standardized assessments of autism symptoms in children. Through this design, we are the first to provide a methodology for assessing the privacy-utility trade-offs for the face swapping approach to patient privacy protection. Our methodology can show, for example, that current deep network based face swapping is bottle-necked by face detection in real world videos, and the extent to which gaze and expression information is preserved by face swaps relative to baseline privatization methods such as blurring.


title: Quantum variational learning for quantum error-correcting codes

abstract: Quantum error correction is believed to be a necessity for large-scale fault-tolerant quantum computation. In the past two decades, various constructions of quantum error-correcting codes (QECCs) have been developed, leading to many good code families. However, the majority of these codes are not suitable for near-term quantum devices. Here we present VarQEC, a noise-resilient variational quantum algorithm to search for quantum codes with a hardware-efficient encoding circuit. The cost functions are inspired by the most general and fundamental requirements of a QECC, the Knill-Laflamme conditions. Given the target noise channel (or the target code parameters) and the hardware connectivity graph, we optimize a shallow variational quantum circuit to prepare the basis states of an eligible code. In principle, VarQEC can find quantum codes for any error model, whether additive or non-additive, degenerate or non-degenerate, pure or impure. We have verified its effectiveness by (re)discovering some symmetric and asymmetric codes, e.g., $((n,2^{n-6},3))_2$ for $n$ from 7 to 14. We also found new $((6,2,3))_2$ and $((7,2,3))_2$ codes that are not equivalent to any stabilizer code, and extensive numerical evidence with VarQEC suggests that a $((7,3,3))_2$ code does not exist. Furthermore, we found many new channel-adaptive codes for error models involving nearest-neighbor correlated errors. Our work sheds new light on the understanding of QECC in general, which may also help to enhance near-term device performance with channel-adaptive error-correcting codes.


title: Emotional Speech Recognition with Pre-trained Deep Visual Models

abstract: In this paper, we propose a new methodology for emotional speech recognition using visual deep neural network models. We employ the transfer learning capabilities of the pre-trained computer vision deep models to have a mandate for the emotion recognition in speech task. In order to achieve that, we propose to use a composite set of acoustic features and a procedure to convert them into images. Besides, we present a training paradigm for these models taking into consideration the different characteristics between acoustic-based images and regular ones. In our experiments, we use the pre-trained VGG-16 model and test the overall methodology on the Berlin EMO-DB dataset for speaker-independent emotion recognition. We evaluate the proposed model on the full list of the seven emotions and the results set a new state-of-the-art.


title: Sliced gradient-enhanced Kriging for high-dimensional function approximation

abstract: Gradient-enhanced Kriging (GE-Kriging) is a well-established surrogate modelling technique for approximating expensive computational models. However, it tends to get impractical for high-dimensional problems due to the size of the inherent correlation matrix and the associated high-dimensional hyper-parameter tuning problem. To address these issues, a new method, called sliced GE-Kriging (SGE-Kriging), is developed in this paper for reducing both the size of the correlation matrix and the number of hyper-parameters. We first split the training sample set into multiple slices, and invoke Bayes' theorem to approximate the full likelihood function via a sliced likelihood function, in which multiple small correlation matrices are utilized to describe the correlation of the sample set rather than one large one. Then, we replace the original high-dimensional hyper-parameter tuning problem with a low-dimensional counterpart by learning the relationship between the hyper-parameters and the derivative-based global sensitivity indices. The performance of SGE-Kriging is finally validated by means of numerical experiments with several benchmarks and a high-dimensional aerodynamic modeling problem. The results show that the SGE-Kriging model features an accuracy and robustness that is comparable to the standard one but comes at much less training costs. The benefits are most evident for high-dimensional problems with tens of variables.


title: Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning

abstract: Bayesian reasoning plays a significant role both in human rationality and in machine learning. In this paper, we introduce transfinite modal logic, which combines modal logic with ordinal arithmetic, in order to formalize Bayesian reasoning semi-quantitatively. Technically, we first investigate some nontrivial properties of ordinal arithmetic, which then enable us to expand normal modal logic's semantics naturally and elegantly onto the novel transfinite modal logic, while still keeping the ordinary definition of Kripke models totally intact. Despite all the transfinite mathematical definition, we argue that in practice, this logic can actually fit into a completely finite interpretation as well. We suggest that transfinite modal logic captures the essence of Bayesian reasoning in a rather clear and simple form, in particular, it provides a perfect explanation for Sherlock Holmes' famous saying, "When you have eliminated the impossible, whatever remains, however improbable, must be the truth." We also prove a counterpart of finite model property theorem for our logic.


title: RF Signal Transformation and Classification using Deep Neural Networks

abstract: Deep neural networks (DNNs) designed for computer vision and natural language processing tasks cannot be directly applied to the radio frequency (RF) datasets. To address this challenge, we propose to convert the raw RF data to data types that are suitable for off-the-shelf DNNs by introducing a convolutional transform technique. In addition, we propose a simple 5-layer convolutional neural network architecture (CONV-5) that can operate with raw RF I/Q data without any transformation. Further, we put forward an RF dataset, referred to as RF1024, to facilitate future RF research. RF1024 consists of 8 different RF modulation classes with each class having 1000/200 training/test samples. Each sample of the RF1024 dataset contains 1024 complex I/Q values. Lastly, the experiments are performed on the RadioML2016 and RF1024 datasets to demonstrate the improved classification performance.


title: Adaptive Spike-Like Representation of EEG Signals for Sleep Stages Scoring

abstract: Recently there has seen promising results on automatic stage scoring by extracting spatio-temporal features from electroencephalogram (EEG). Such methods entail laborious manual feature engineering and domain knowledge. In this study, we propose an adaptive scheme to probabilistically encode, filter and accumulate the input signals and weight the resultant features by the half-Gaussian probabilities of signal intensities. The adaptive representations are subsequently fed into a transformer model to automatically mine the relevance between features and corresponding stages. Extensive experiments on the largest public dataset against state-of-the-art methods validate the effectiveness of our proposed method and reveal promising future directions.


title: LIGO-Virgo detector characterization and data quality (DetChar): from the O3 performance to the O4 preparation

abstract: Detector characterization and data quality -- in short "DetChar" -- activities are key to optimize the performance of data-taking periods ("runs") and to turn gravitational-wave (GW) candidates into confirmed events. The LIGO and Virgo DetChar groups are active from the detector to the final analysis and cover various latencies: online first, to tag the data that search pipelines can analyze in real-time; then, the quick vetting (few tens of minutes at most) of the open public alerts targeting the broad astronomer community for follow-up observations; finally, offline work to define the final datasets and the final lists of GW events to be published and released publicly. These proceedings summarize the LIGO-Virgo DetChar performance during the O3 run (April 2019 - March 2020) and describe the main improvements and upgrades that are foreseen for the O4 run that should start during Summer 2022 and include a fourth detector: KAGRA.


title: A local phase space stochastic quantization?

abstract: I examine whether Nelson's stochastic formulation of Schr\"{o}dinger equation could be derived from a phase space process through a colored noise smoothing. If this conjecture is true, it would yield a local stochastic hidden variable theory. I discuss how this does not necessarily contradict Bell type theorems as general local stochastic theories can violate local causality assumptions. I also discuss the generalization to quantization of fields and speculate about the gravitational origins of noise.


title: Precession of perihelia in the Fisher metric

abstract: We study the precession of perihelia in the Fisher metric. Fisher metric is the solution of the Einstein's Equations with a massless scalar field as a coupling. We find an expression for the precession of perihelia in this metric. This expression contains general relativistic term for the precession of the perihelia and also an additional term which depends on the scalar field. Also, we obtain an upper bound on scalar charge $\sigma$ by using the observational value of the precession of perihelia for the Mercury planet and the discrepancy between this value and the general relativistic value.


title: Output-sensitive ERM-based techniques for data-driven algorithm design

abstract: Data-driven algorithm design is a promising, learning-based approach for beyond worst-case analysis of algorithms with tunable parameters. An important open problem is the design of computationally efficient data-driven algorithms for combinatorial algorithm families with multiple parameters. As one fixes the problem instance and varies the parameters, the "dual" loss function typically has a piecewise-decomposable structure, i.e. is well-behaved except at certain sharp transition boundaries. In this work we initiate the study of techniques to develop efficient ERM learning algorithms for data-driven algorithm design by enumerating the pieces of the sum dual loss functions for a collection of problem instances. The running time of our approach scales with the actual number of pieces that appear as opposed to worst case upper bounds on the number of pieces. Our approach involves two novel ingredients -- an output-sensitive algorithm for enumerating polytopes induced by a set of hyperplanes using tools from computational geometry, and an execution graph which compactly represents all the states the algorithm could attain for all possible parameter values. We illustrate our techniques by giving algorithms for pricing problems, linkage-based clustering and dynamic-programming based sequence alignment.


title: Improving Urban Mobility: using artificial intelligence and new technologies to connect supply and demand

abstract: As the demand for mobility in our society seems to increase, the various issues centered on urban mobility are among those that worry most city inhabitants in this planet. For instance, how to go from A to B in an efficient (but also less stressful) way? These questions and concerns have not changed even during the covid-19 pandemic; on the contrary, as the current stand, people who are avoiding public transportation are only contributing to an increase in the vehicular traffic. The are of intelligent transportation systems (ITS) aims at investigating how to employ information and communication technologies to problems related to transportation. This may mean monitoring and managing the infrastructure (e.g., traffic roads, traffic signals, etc.). However, currently, ITS is also targeting the management of demand. In this panorama, artificial intelligence plays an important role, especially with the advances in machine learning that translates in the use of computational vision, connected and autonomous vehicles, agent-based simulation, among others. In the present work, a survey of several works developed by our group are discussed in a holistic perspective, i.e., they cover not only the supply side (as commonly found in ITS works), but also the demand side, and, in an novel perspective, the integration of both.


title: Explicit and Implicit Pattern Relation Analysis for Discovering Actionable Negative Sequences

abstract: Real-life events, behaviors and interactions produce sequential data. An important but rarely explored problem is to analyze those nonoccurring (also called negative) yet important sequences, forming negative sequence analysis (NSA). A typical NSA area is to discover negative sequential patterns (NSPs) consisting of important non-occurring and occurring elements and patterns. The limited existing work on NSP mining relies on frequentist and downward closure property-based pattern selection, producing large and highly redundant NSPs, nonactionable for business decision-making. This work makes the first attempt for actionable NSP discovery. It builds an NSP graph representation, quantify both explicit occurrence and implicit non-occurrence-based element and pattern relations, and then discover significant, diverse and informative NSPs in the NSP graph to represent the entire NSP set for discovering actionable NSPs. A DPP-based NSP representation and actionable NSP discovery method EINSP introduces novel and significant contributions for NSA and sequence analysis: (1) it represents NSPs by a determinantal point process (DPP) based graph; (2) it quantifies actionable NSPs in terms of their statistical significance, diversity, and strength of explicit/implicit element/pattern relations; and (3) it models and measures both explicit and implicit element/pattern relations in the DPP-based NSP graph to represent direct and indirect couplings between NSP items, elements and patterns. We substantially analyze the effectiveness of EINSP in terms of various theoretical and empirical aspects including complexity, item/pattern coverage, pattern size and diversity, implicit pattern relation strength, and data factors.


title: A Pathology-Based Machine Learning Method to Assist in Epithelial Dysplasia Diagnosis

abstract: The Epithelial Dysplasia (ED) is a tissue alteration commonly present in lesions preceding oral cancer, being its presence one of the most important factors in the progression toward carcinoma. This study proposes a method to design a low computational cost classification system to support the detection of dysplastic epithelia, contributing to reduce the variability of pathologist assessments. We employ a multilayer artificial neural network (MLP-ANN) and defining the regions of the epithelium to be assessed based on the knowledge of the pathologist. The performance of the proposed solution was statistically evaluated. The implemented MLP-ANN presented an average accuracy of 87%, with a variability much inferior to that obtained from three trained evaluators. Moreover, the proposed solution led to results which are very close to those obtained using a convolutional neural network (CNN) implemented by transfer learning, with 100 times less computational complexity. In conclusion, our results show that a simple neural network structure can lead to a performance equivalent to that of much more complex structures, which are routinely used in the literature.


title: An optimized hybrid solution for IoT based lifestyle disease classification using stress data

abstract: Stress, anxiety, and nervousness are all high-risk health states in everyday life. Previously, stress levels were determined by speaking with people and gaining insight into what they had experienced recently or in the past. Typically, stress is caused by an incidence that occurred a long time ago, but sometimes it is triggered by unknown factors. This is a challenging and complex task, but recent research advances have provided numerous opportunities to automate it. The fundamental features of most of these techniques are electro dermal activity (EDA) and heart rate values (HRV). We utilized an accelerometer to measure body motions to solve this challenge. The proposed novel method employs a test that measures a subject's electrocardiogram (ECG), galvanic skin values (GSV), HRV values, and body movements in order to provide a low-cost and time-saving solution for detecting stress lifestyle disease in modern times using cyber physical systems. This study provides a new hybrid model for lifestyle disease classification that decreases execution time while picking the best collection of characteristics and increases classification accuracy. The developed approach is capable of dealing with the class imbalance problem by using WESAD (wearable stress and affect dataset) dataset. The new model uses the Grid search (GS) method to select an optimized set of hyper parameters, and it uses a combination of the Correlation coefficient based Recursive feature elimination (CoC-RFE) method for optimal feature selection and gradient boosting as an estimator to classify the dataset, which achieves high accuracy and helps to provide smart, accurate, and high-quality healthcare systems. To demonstrate the validity and utility of the proposed methodology, its performance is compared to those of other well-established machine learning models.


title: Learning to Compose Soft Prompts for Compositional Zero-Shot Learning

abstract: We introduce compositional soft prompting (CSP), a parameter-efficient learning technique to improve the zero-shot compositionality of large-scale pretrained vision-language models (VLMs) like CLIP. We develop CSP for compositional zero-shot learning, the task of predicting unseen attribute-object compositions (e.g., old cat and young tiger). VLMs have a flexible text encoder that can represent arbitrary classes as natural language prompts but they often underperform task-specific architectures on the compositional zero-shot benchmark datasets. CSP treats the attributes and objects that define classes as learnable tokens of vocabulary. During training, the vocabulary is tuned to recognize classes that compose tokens in multiple ways (e.g., old cat and white cat). At test time, we recompose the learned attribute-object vocabulary in new combinations to recognize novel classes. We show that CSP outperforms the CLIP on benchmark datasets by an average of 10.9 percentage points on AUC. CSP also outperforms CoOp, a soft prompting method that fine-tunes the prefix context tokens, by an average of 5.8 percentage points on AUC. We perform additional experiments to show that CSP improves generalization to higher-order attribute-attribute-object compositions (e.g., old white cat) and combinations of pretrained attributes and fine-tuned objects. The code is available at https://github.com/BatsResearch/csp.


title: Preconditioning for a Phase-Field Model with Application to Morphology Evolution in Organic Semiconductors

abstract: The Cahn--Hilliard equations are a versatile model for describing the evolution of complex morphologies. In this paper we present a computational pipeline for the numerical solution of a ternary phase-field model for describing the nanomorphology of donor--acceptor semiconductor blends used in organic photovoltaic devices. The model consists of two coupled fourth-order partial differential equations that are discretized using a finite element approach. In order to solve the resulting large-scale linear systems efficiently, we propose a preconditioning strategy that is based on efficient approximations of the Schur-complement of a saddle point system. We show that this approach performs robustly with respect to variations in the discretization parameters. Finally, we outline that the computed morphologies can be used for the computation of charge generation, recombination, and transport in organic solar cells.


title: Synthesizing longitudinal cortical thickness estimates with a flexible and hierarchical multivariate measurement-error model

abstract: MRI-based entorhinal cortical thickness (eCT) measurements predict cognitive decline in Alzheimer's disease (AD) with low cost and minimal invasiveness. Two prominent imaging paradigms, FreeSurfer (FS) and Advanced Normalization Tools (ANTs), feature multiple pipelines for extracting region-specific eCT measurements from raw MRI, but the sheer complexity of these pipelines makes it difficult to choose between pipelines, compare results between pipelines, and characterize uncertainty in pipeline estimates. Worse yet, the EC is particularly difficult to image, leading to variations in thickness estimates between pipelines that overwhelm physiologicl variations predictive of AD. We examine the eCT outputs of seven different pipelines on MRIs from the Alzheimer's Disease Neuroimaging Initiative. Because of both theoretical and practical limitations, we have no gold standard by which to evaluate them. Instead, we use a Bayesian hierarchical model to combine the estimates. The resulting posterior distribution yields high-probability idealized eCT values that account for inherent uncertainty through a flexible multivariate error model that supports different constant offsets, standard deviations, tailedness, and correlation structures between pipelines. Our hierarchical model directly relates idealized eCTs to clinical outcomes in a way that propagates eCT estimation uncertainty to clinical estimates while accounting for longitudinal structure in the data. Surprisingly, even though it incorporates greater uncertainty in the predictor and regularization provided by the prior, the combined model reveals a stronger association between eCT and cognitive capacity than do nonhierarchical models based on data from single pipelines alone.


title: Satisfiability transition in asymmetric neural networks

abstract: Asymmetry in the synaptic interactions between neurons plays a crucial role in determining the memory storage and retrieval properties of recurrent neural networks. In this work, we analyze the problem of storing random memories in a network of neurons connected by a synaptic matrix with a definite degree of asymmetry. We study the corresponding satisfiability and clustering transitions in the space of solutions of the constraint satisfaction problem associated with finding synaptic matrices given the memories. We find, besides the usual SAT/UNSAT transition at a critical number of memories to store in the network, an additional transition for very asymmetric matrices, where the competing constraints (definite asymmetry vs. memories storage) induce enough frustration in the problem to make it impossible to solve. This finding is particularly striking in the case of a single memory to store, where no quenched disorder is present in the system.


title: On the Interaction Between Electromagnetic, Gravitational, and Plasma Related Perturbations on LRS Class II Spacetimes

abstract: We investigate electromagnetic, gravitational, and plasma related perturbations to first order on homogeneous and hypersurface orthogonal locally rotationally symmetric (LRS) class II spacetimes. Due to the anisotropic nature of the studied backgrounds, we are able to include a non-zero magnetic field to zeroth order. As a result of this inclusion, we find interesting interactions between the electromagnetic and gravitational variables already to first order in the perturbations. The equations governing these perturbations are found by using the Ricci identities, the Bianchi identities, Einstein's field equations, Maxwell's equations, particle conservation, and a form of energy-momentum conservation for the plasma components. Using a $1+1+2$ covariant split of spacetime, the studied quantities and equations are decomposed with respect to the preferred directions on the background spacetimes. After linearizing the decomposed equations around a LRS background, performing a harmonic decomposition, and imposing the cold magnetohydrodynamic (MHD) limit with a finite electrical resistivity, the system is then reduced to a set of ordinary differential equations in time and some constraints. On solving for some of the harmonic coefficients in terms of the others, the system is found to decouple into two closed and independent subsectors. Through numerical calculations, we then observe some mechanisms for generating magnetic field perturbations, showing some traits similar to previous works using FLRW backgrounds. Furthermore, beat-like patterns are observed in the short wave length limit due to interference between gravitational waves and plasmonic modes.


title: Partitions of topological spaces and a new club-like principle

abstract: We give a new proof of the following theorem due to W. Weiss and P. Komjath: if $X$ is a regular topological space, with character $ < \mathfrak{b}$ and $X \rightarrow (top \omega + 1)^{1}_{\omega}$, then, for all $\alpha < \omega_1$, $X \rightarrow (top \alpha)^{1}_{\omega}$, fixing a gap in the original one. For that we consider a new decomposition of topological spaces. We also define a new combinatorial principle $\clubsuit_{F}$, and use it to prove that it is consistent with $\neg CH$ that $\mathfrak{b}$ is the optimal bound for the character of $X$. In \cite{WeissKomjath}, this was obtained using $\diamondsuit$.


title: Controlling the electrostatic Faraday instability using superposed electric fields

abstract: When the interface between a dielectric and a conducting liquid is excited by an oscillatory electric field, electrostatic Faraday waves can be induced. Here, we study the response of the interface to an AC electric field, which is superposed by either a second AC field of different frequency, or by a DC field. An algorithm based on light refraction at the fluidic interface is used to obtain the spatio-temporal response of the Faraday waves, and the critical voltage corresponding to onset of instability, the interfacial oscillation frequency and the dominant wavelengths are determined. The influence of the mixing ratio, which denotes the relative amplitudes of the different components of the driving signal, is analyzed, and the experimental results are compared with theoretical predictions. For AC/AC driving, gradual variations of the mixing ratio can induce a jump of the pattern wavelength, which is a result of the transition from harmonic to a subharmonic oscillation. For AC/DC driving, the interface oscillates either harmonically or subharmonically, and the response wavelength can be tuned continuously by adjusting the admixture of the DC component. For both driving modes, the experiments show good agreement with theory.


title: Idempotent linear relations

abstract: A linear relation $E$ acting on a Hilbert space is idempotent if $E^2=E.$ A triplet of subspaces is needed to characterize a given idempotent: $(\mathrm{ran} \, E, \mathrm{ran}(I-E), \mathrm{dom}\, E),$ or equivalently, $(\mathrm{ker}(I-E), \mathrm{ker}\, E, \mathrm{mul} \, E).$ The relations satisfying the inclusions $E^2 \subseteq E$ (sub-idempotent) or $E \subseteq E^2$ (super-idempotent) play an important role. Lastly, the adjoint and the closure of an idempotent linear relation are studied.


title: Existence and obstructions for the curvature on manifolds with boundary

abstract: We consider the problem of studying the set of curvature functions which a given compact and non-compact manifold with nonempty boundary can possess. First we prove that the sign demanded by the Gauss-Bonnet Theorem is a necessary and sufficient condition for a given function to be the geodesic curvature or the Gaussian curvature of some conformally equivalent metric. Our proof conceptually differs from Cruz-Vit\'orio's proof since our approach allow us to solve problems where the conformal method cannot solve. Also, we prove new existence and nonexistence of metrics with prescribed curvature in the conformal setting which depends on the Euler characteristic. After this, we present a higher order analogue concerning scalar and mean curvatures on compact manifolds with boundary. We also give conditions for Riemannian manifolds not necessarily complete or compact to admit positive scalar curvature and minimal boundary, without any auxiliary assumptions about its infinity, which is an extension of those proved by Carlotto-Li


title: Risk-based regulation for all: The need and a method for a wide adoption solution for data-driven inspection targeting

abstract: Access to data and data processing, including the use of machine learning techniques, has become significantly easier and cheaper in recent years. Nevertheless, solutions that can be widely adopted by regulators for market monitoring and inspection targeting in a data-driven way have not been frequently discussed by the scientific community. This article discusses the need and the difficulties for the development of such solutions, presents an effective method to address regulation planning, and illustrates its use to account for the most important and common subject for the majority of regulators: the consumer. This article hopes to contribute to increase the awareness of the regulatory community to the need for data processing methods that are objective, impartial, transparent, explainable, simple to implement and with low computational cost, aiming to the implementation of risk-based regulation in the world.


title: Pseudo Numerical Ranges and Spectral Enclosures

abstract: We introduce the new concepts of pseu\-do numerical range for operator functions and families of sesquilinear forms as well as the pseu\-do block numerical range for $n \times n$ operator matrix functions. While these notions are new even in the bounded case, we cover operator polynomials with unbounded coefficients, unbounded holomorphic form families of type (a) and associated operator families of type (B). Our main results include spectral inclusion properties of pseudo numerical ranges and pseudo block numerical ranges. For diagonally dominant and off-diagonally dominant operator matrices they allow us to prove spectral enclosures in terms of the pseudo numerical ranges of Schur complements that no longer require dominance order $0$ and not even $<1$. As an application, we establish a new type of spectral bounds for linearly damped wave equations with possibly unbounded and/or singular damping.


title: MP2-F12 basis set convergence near the complete basis set limit: are $h$ functions sufficient?

abstract: We have investigated the title question for the W4-08 thermochemical benchmark using partial-wave truncations of a large reference (REF) basis set, as well as for standard F12-optimized basis sets. With the REF basis set, the root mean square (RMS) contribution of i functions to the total atomization energies (TAEs) is about 0.01 kcal/mol, the largest individual contributions being 0.04 kcal/mol for \ce{P2} and \ce{P4}. However, even for these cases, basis set extrapolation from \{g,h\} basis sets adequately addresses the problem. Using basis sets insufficiently saturated in the $spdfgh$ angular momenta may lead to exaggerated $i$ function contributions. For extrapolation from $spdfg$ and $spdfgh$ basis sets, basis set convergence appears to be quite close to the theoretical asymptotic $\propto L^{-7}$ behavior. We hence conclude that $h$ functions are sufficient even for highly demanding F12 applications. With one-parameter extrapolation, $spdf$ and $spdfg$ basis sets are adequate, with aug-cc-pV\{T,Q\}Z-F12 yielding RMSD=0.03 kcal/mol. A limited exploration of CCSD(F12*) and CCSD-F12b suggests our conclusions are applicable to higher-level F12 methods as well.


title: The combinator ${\bf M}$ and the Mockingbird lattice

abstract: We study combinatorial and order theoretic structures arising from the fragment of combinatory logic spanned by the basic combinator ${\bf M}$. This basic combinator, named as the Mockingbird by Smullyan, is defined by the rewrite rule ${\bf M} x_1 \to x_1 x_1$. We prove that the reflexive and transitive closure of this rewrite relation is a partial order on terms on ${\bf M}$ and that all connected components of its rewrite graph are Hasse diagram of lattices. This last result is based on the introduction of new lattices on duplicative forests, which are sorts of treelike structures. These lattices are not graded, not self-dual, and not semidistributive. We present some enumerative properties of these lattices like the enumeration of their elements, of the edges of their Hasse diagrams, and of their intervals. These results are derived from formal power series on terms and on duplicative forests endowed with particular operations.


title: On maximally mixed equilibria of two-dimensional perfect fluids

abstract: The vorticity of a two-dimensional perfect (incompressible and inviscid) fluid is transported by its area preserving flow. Given an initial vorticity distribution $\omega_0$, predicting the long time behavior which can persist is an issue of fundamental importance. In the infinite time limit, some irreversible mixing of $\omega_0$ can occur. Since kinetic energy $\mathsf{E}$ is conserved, not all the mixed states are relevant and it is natural to consider only the ones with energy $\mathsf{E}_0$ corresponding to $\omega_0$. The set of said vorticity fields, denoted by $\overline{\mathcal{O}_{\omega_0}}^*\cap \{ {\mathsf E}= {\mathsf E}_0\}$, contains all the possible end states of the fluid motion. A. Shnirelman introduced the concept of maximally mixed states (any further mixing would necessarily change their energy), and proved they are perfect fluid equilibria. We offer a new perspective on this theory by showing that any minimizer of any strictly convex Casimir in $\overline{\mathcal{O}_{\omega_0}}^*\cap \{ {\mathsf E}= {\mathsf E}_0\}$ is maximally mixed, as well as discuss its relation to classical statistical hydrodynamics theories. Thus, (weak) convergence to equilibrium cannot be excluded solely on the grounds of vorticity transport and conservation of kinetic energy. On the other hand, on domains with symmetry (e.g. straight channel or annulus), we exploit all the conserved quantities and the characterizations of $\overline{\mathcal{O}_{\omega_0}}^*\cap \{ {\mathsf E}= {\mathsf E}_0\}$ to give examples of open sets of initial data which can be arbitrarily close to any shear or radial flow in $L^1$ of vorticity but do not weakly converge to them in the long time limit.


title: Music Influence Modeling Based on Directed Network Model

abstract: Studying the history of music may provide a glimpse into the development of human creativity as we examine the evolutionary and revolutionary trends in music and genres. First, a musical influence metric was created to construct a directed network of musical influence. Second, we examined the revolutions and development of musical genres, modeled the similarity, and explored similarities and influences within and between genres. Hierarchical cluster analysis and time series analysis of genres were used to explore the correlation between genres. Finally, Network Analysis, Semantic Analysis, and Random Forest Model are employed to find the revolutionaries. The above work was applied to Country music to sort out and analyze its evolution. In studying the connection between music and the social environment, time series analysis is used to determine the impact of social, political, or technological changes on music.


title: Collecting, Classifying, Analyzing, and Using Real-World Elections

abstract: We present a collection of $7582$ real-world elections divided into $25$ datasets from various sources ranging from sports competitions over music charts to survey- and indicator-based rankings. We provide evidence that the collected elections complement already publicly available data from the PrefLib database, which is currently the biggest and most prominent source containing $701$ real-world elections from $36$ datasets. Using the map of elections framework, we divide the datasets into three categories and conduct an analysis of the nature of our elections. To evaluate the practical applicability of previous theoretical research on (parameterized) algorithms and to gain further insights into the collected elections, we analyze different structural properties of our elections including the level of agreement between voters and election's distances from restricted domains such as single-peakedness. Lastly, we use our diverse set of collected elections to shed some further light on several traditional questions from social choice, for instance, on the number of occurrences of the Condorcet paradox and on the consensus among different voting rules.


title: Reliability of the Ginzburg-Landau Theory in the BCS-BEC Crossover by Including Gaussian Fluctuations for 3D Attractive Fermions

abstract: We calculate the parameters of the Ginzburg-Landau (GL) equation of a three-dimensional attractive Fermi gas around the superfluid critical temperature. We compare different levels of approximation throughout the Bardeen-Cooper-Schrieffer (BCS) to the Bose-Einstein Condensate (BEC) regime. We show that the inclusion of Gaussian fluctuations strongly modifies the values of the Ginzburg-Landau parameters approaching the BEC regime of the crossover. We investigate the reliability of the Ginzburg-Landau theory, with fluctuations, studying the behavior of the coherence length and of the critical rotational frequencies throughout the BCS-BEC crossover. The effect of the Gaussian fluctuations gives qualitative correct trends of the considered physical quantities from the BCS regime up to the unitary limit of the BCS-BEC crossover. Approaching the BEC regime, the Ginzburg-Landau equation with the inclusion of Gaussian fluctuations turns out to be unreliable.


title: Using electrical resistance asymmetries to infer the geometric shapes of foundry patterned nanophotonic structures

abstract: While silicon photonics has leveraged the nanofabrication tools and techniques from the microelectronics industry, it has also inherited the metrological methods from the same. Photonics fabrication is inherently different from microelectronics in its intrinsic sensitivity to 3D shape and geometry, especially in a high-index contrast platform like silicon-on-insulator. In this work, we show that electrical resistance measurements can in principle be used to infer the geometry of such nanophotonic structures and reconstruct the micro-loading curves of foundry etch processes. We implement our ideas to infer 3D geometries from a standard silicon photonics foundry and discuss some of the potential sources of error that need to be calibrated out to improve the reconstruction accuracy.


title: Testing the limits of natural language models for predicting human language judgments

abstract: Neural network language models can serve as computational hypotheses about how humans process language. We compared the model-human consistency of diverse language models using a novel experimental approach: controversial sentence pairs. For each controversial sentence pair, two language models disagree about which sentence is more likely to occur in natural text. Considering nine language models (including n-gram, recurrent neural networks, and transformer models), we created hundreds of such controversial sentence pairs by either selecting sentences from a corpus or synthetically optimizing sentence pairs to be highly controversial. Human subjects then provided judgments indicating for each pair which of the two sentences is more likely. Controversial sentence pairs proved highly effective at revealing model failures and identifying models that aligned most closely with human judgments. The most human-consistent model tested was GPT-2, although experiments also revealed significant shortcomings of its alignment with human perception.


title: AutoRF: Learning 3D Object Radiance Fields from Single View Observations

abstract: We introduce AutoRF - a new approach for learning neural 3D object representations where each object in the training set is observed by only a single view. This setting is in stark contrast to the majority of existing works that leverage multiple views of the same object, employ explicit priors during training, or require pixel-perfect annotations. To address this challenging setting, we propose to learn a normalized, object-centric representation whose embedding describes and disentangles shape, appearance, and pose. Each encoding provides well-generalizable, compact information about the object of interest, which is decoded in a single-shot into a new target view, thus enabling novel view synthesis. We further improve the reconstruction quality by optimizing shape and appearance codes at test time by fitting the representation tightly to the input image. In a series of experiments, we show that our method generalizes well to unseen objects, even across different datasets of challenging real-world street scenes such as nuScenes, KITTI, and Mapillary Metropolis.


title: Heterogeneous Target Speech Separation

abstract: We introduce a new paradigm for single-channel target source separation where the sources of interest can be distinguished using non-mutually exclusive concepts (e.g., loudness, gender, language, spatial location, etc). Our proposed heterogeneous separation framework can seamlessly leverage datasets with large distribution shifts and learn cross-domain representations under a variety of concepts used as conditioning. Our experiments show that training separation models with heterogeneous conditions facilitates the generalization to new concepts with unseen out-of-domain data while also performing substantially higher than single-domain specialist models. Notably, such training leads to more robust learning of new harder source separation discriminative concepts and can yield improvements over permutation invariant training with oracle source selection. We analyze the intrinsic behavior of source separation training with heterogeneous metadata and propose ways to alleviate emerging problems with challenging separation conditions. We release the collection of preparation recipes for all datasets used to further promote research towards this challenging task.


title: Markovianity and the Thompson Group $F$

abstract: We show that representations of the Thompson group $F$ in the automorphisms of a noncommutative probability space yield a large class of bilateral stationary noncommutative Markov processes. As a partial converse, bilateral stationary Markov processes in tensor dilation form yield representations of $F$. As an application, and building on a result of K\"ummerer, we canonically associate a representation of $F$ to a bilateral stationary Markov process in classical probability.


title: Controlling Golog Programs against MTL Constraints

abstract: While Golog is an expressive programming language to control the high-level behavior of a robot, it is often tedious to use on a real robotic system. On an actual robot, the user needs to consider low-level details, such as enabling and disabling hardware components, e.g., a camera to detect objects for grasping. In other words, high-level actions usually pose implicit temporal constraints on the low-level platform, which are typically independent of the concrete program to be executed. In this paper, we propose to make these constraints explicit by modeling them as MTL formulas, which enforce the execution of certain low-level platform operations in addition to the main program. Based on results from timed automata controller synthesis, we describe a method to synthesize a controller that executes both the high-level program and the low-level platform operations concurrently in order to satisfy the MTL specification. This allows the user to focus on the high-level behavior without the need to consider low-level operations. We present an extension to Golog by clocks together with the required theoretical foundations as well as decidability results.


title: Imitating, Fast and Slow: Robust learning from demonstrations via decision-time planning

abstract: The goal of imitation learning is to mimic expert behavior from demonstrations, without access to an explicit reward signal. A popular class of approach infers the (unknown) reward function via inverse reinforcement learning (IRL) followed by maximizing this reward function via reinforcement learning (RL). The policies learned via these approaches are however very brittle in practice and deteriorate quickly even with small test-time perturbations due to compounding errors. We propose Imitation with Planning at Test-time (IMPLANT), a new meta-algorithm for imitation learning that utilizes decision-time planning to correct for compounding errors of any base imitation policy. In contrast to existing approaches, we retain both the imitation policy and the rewards model at decision-time, thereby benefiting from the learning signal of the two components. Empirically, we demonstrate that IMPLANT significantly outperforms benchmark imitation learning approaches on standard control environments and excels at zero-shot generalization when subject to challenging perturbations in test-time dynamics.


title: Global polarization and spin alignment measurements

abstract: Recent experimental results on global polarization of hyperons and spin alignment of vector mesons in heavy-ion collisions are reviewed, especially in context of the energy dependence and particle species dependence. New results on local polarization along the beam direction at the LHC are discussed with previous measurements at RHIC. Future outlook of these measurements and possible future directions for better understanding of local vorticity field are briefly discussed.


title: ALP Searches at the LHC: FASER as a Light Shining through Walls Experiment

abstract: We propose the use of FASER as a light-shining-through-walls experiment to search for axions and axion-like particles (ALPs). LHC collisions generate a high intensity and high energy photon flux in the forward direction which can oscillate into ALPs in the magnetic fields that are used to confine the beam. These ALPs then pass through about 100~m of rock before reaching the magnetic fields of FASER, where they can convert back into photons and be detected by an electromagnetic calorimeter. In the next years, FASER and its successor FASER2 at the Forward Physics Facility will be able to explore regions of the ALPs parameter space inaccessible by other laboratory-based experiments.


title: The twining character formula for reductive groups

abstract: Let $\widehat{G}$ be a connected reductive group over an algebraically closed field with a pinning-preserving outer automorphism $\sigma$. Jantzen's twining character formula relates the trace of the action of $\sigma$ on a highest-weight representation $V_{\mu}$ of $\widehat{G}$ to the character of a corresponding highest-weight representation $(V_{\sigma})_{\mu}$ of a related group $\widehat{G^{\sigma, \circ}}$. This paper extends the methods of Hong's geometric proof for the case $\widehat{G}$ is adjoint, to prove that the formula holds for all connected reductive groups, and examines the role of additional hypotheses. In the final section, it is explained how these results can be used to draw conclusions about quasi-split groups over a non-Archimedean local field. This paper thus provides a more general geometric proof of the Jantzen twining character formula and provides some apparently new results of independent interest along the way.


title: Entanglement entropy and negativity in the Ising model with defects

abstract: Defects in two-dimensional conformal field theories (CFTs) contain signatures of their characteristics. In this work, we compute the entanglement entropy (EE) and the entanglement negativity (EN) of subsystems in the presence of energy and duality defects in the Ising CFT using the density matrix renormalization group (DMRG) technique. We show that the EE for the duality defect exhibits fundamentally different characteristics compared to the energy defect due to the existence of localized and delocalized zero energy modes. Of special interest is the nontrivial `finite-size correction' in the EE obtained recently using free fermion computations. These corrections arise when the subsystem size is appreciable compared to the total system size and lead to a deviation from the usual logarithmic scaling characteristic of one-dimensional quantum-critical systems. Using matrix product states with open and infinite boundary conditions, we numerically demonstrate the disappearance of the zero mode contribution for finite subsystem sizes in the thermodynamic limit. Our results provide further support to the recent free fermion computations, but clearly contradict earlier analytical field theory calculations based on twisted torus partition functions. Subsequently, we compute the logarithm of the EN (log-EN) between two disjoint subsystems separated by a defect. We show that the log-EN scales logarithmically with the separation of the subsystems. However, the coefficient of this logarithmic scaling yields a continuously-varying effective central charge that is different from that obtained from analogous computations of the EE. The defects leave their fingerprints in the subleading term of the scaling of the log-EN. Furthermore, the log-EN receives similar `finite size corrections' like the EE which leads to deviations from its characteristic logarithmic scaling.

categories: hep-th cond-mat.stat-mech math-ph math.MP quant-ph


title: A General Class of Trimodal Distributions: Properties and Inference

abstract: The modality is important topic for modelling. Using parametric models is an efficient way when real data set shows trimodality. In this paper we propose a new class of trimodal probability distributions, that is, probability distributions that have up to three modes. Trimodality itself is achieved by applying a proper transformation to density function of certain continuous probability distributions. At first, we obtain preliminary results for an arbitratry density function $g(x)$ and, next, we focus on the Gaussian case, studying trimodal Gaussian model more deeply. The Gaussian distribution is applied to produce the trimodal form of Gaussian known as normal distribution. The tractability of analytical expression of normal distribution, and properties of the trimodal normal distribution are important reasons why we choose normal distribution. Furthermore, the existing distributions should be improved to be capable of modelling efficiently when there exists a trimodal form in a data set. After new density function is proposed, estimating its parameters is important. Since Mathematica 12.0 software has optimization tools and important modelling techniques, computational steps are performed by using this software. The bootstrapped form of real data sets are applied to show the modelling ability of the proposed distribution when real data sets show trimodality.


title: Algebraic Structure of the Weak Stage Order Conditions for Runge-Kutta Methods

abstract: Runge-Kutta (RK) methods may exhibit order reduction when applied to stiff problems. For linear problems with time-independent operators, order reduction can be avoided if the method satisfies certain weak stage order (WSO) conditions, which are less restrictive than traditional stage order conditions. This paper outlines the first algebraic theory of WSO, and establishes general order barriers that relate the WSO of a RK scheme to its order and number of stages for both fully-implicit and DIRK schemes. It is shown in several scenarios that the constructed bounds are sharp. The theory characterizes WSO in terms of orthogonal invariant subspaces and associated minimal polynomials. The resulting necessary conditions on the structure of RK methods with WSO are then shown to be of practical use for the construction of such schemes.


title: Unidirectional ultracompact DNA-templated optical antennas

abstract: Optical nanoantennas are structures designed to manipulate light-matter interactions at the nanoscale by interfacing propagating light with localized optical fields. In recent years, a plethora of devices have been realized that are able to efficiently tailor the absorption and/or emission rates of fluorophores. By contrast, modifying the spatial characteristics of their radiation fields remains a challenge. Up to date, the designs providing directionality to fluorescence emission have required compound, complex geometries with overall dimensions comparable to the operating wavelength. Here, we present the fabrication and characterization of DNA-templated ultracompact optical antennas, with sub-wavelength sizes and capable of directing single-molecule fluorescence into predefined directions. Using the DNA origami methodology, two gold nanorods are assembled side-to-side with a separation gap of 5 nm. We show that a single fluorescent molecule placed at the tip of one of the nanorods drives the dimer antenna in anti-phase, leading to unidirectional emission.


title: Possible signature of broken symmetry state near the quantum critical point in P doped BaFe$_2$As$_2$: A Raman spectroscopy study

abstract: We study the iron-pnictide compound BaFe$_2$(As$_{1-x}$P$_x$)$_2$ for x $\sim$0.23, with a doping concentration near quantum criticality and enhanced nematic fluctuating state in the doping-temperature phase diagram. Transport measurements confirm the presence of a magneto-structural transition at 60K from the tetragonal to the orthorhombic phase, followed by a superconducting transition below 16K. The temperature and polarisation dependent Raman spectra reveal that there is a phonon mode at 211 cm$^{-1}$, followed by two broad modes (BM) between 400 and 700 cm$^{-1}$, having an energy difference of 15 meV, in the temperature range between 300K and 80K. In the non-superconducting state, the phonon mode exhibits expected polarization dependence as well as temperature evolution due to anharmonicity, strong anisotropic and thermally inert behaviour are observed for the BM. Electronic structure calculations for doped and undoped BaFe$_2$As$_2$ show that while Fe $d_{xz}$ and $d_{yz}$ orbitals do not split in the tetragonal phase, the splitting energy is 13.5 meV in the orthorhombic phase of the doped system, which is reasonably close to the experimentally observed value of the energy separation of the BM. We believe that reported BM possibly are the signature of electronic Raman scattering involving the crystal field levels of $d$-orbitals of Fe$^{2+}$ due to local breaking of the C$_4$ symmetry of the parent compound in the doped system.


title: Thermal Equilibrium Solutions of Black Hole Accretion Flows: Outflows VS Advection

abstract: Observations and numerical simulations have shown that outflows generally exist in the accretion process. We revisit the thermal equilibrium solutions of black hole accretion flows by including the role of outflows. Our study focuses on the comparison of the cooling rate of outflows with that of advection. Our results show that, except for the inner region, outflows can dominate over advection in a wide range of the flow, which is in good agreement with previous numerical simulations. We argue that an advection-dominated inner region together with an outflow-dominated outer region should be a general radial distribution for both super-Eddington accretion flows and optically thin flows with low accretion rates.


title: Rigidity Theorems for Asymptotically Euclidean $Q$-singular Spaces

abstract: In this paper we prove some rigidity theorems associated to $Q$-curvature analysis on asymptotically Euclidean (AE) manifolds, which are inspired by the analysis of conservation principles within fourth order gravitational theories. A central object in this analysis is a notion of fourth order energy, previously analysed by the authors, which is subject to a positive energy theorem. We show that this energy can be more geometrically rewritten in terms of a fourth order analogue to the Ricci tensor, which we denote by $J_g$. This allows us to prove that Yamabe positive $J$-flat AE manifolds must be isometric to Euclidean space. As a by product, we prove that this $J$-tensor provides a geometric control for the optimal decay rates at infinity. This last result reinforces the analogy of $J$ as a fourth order analogue to the Ricci tensor.


title: Influence of light quark loops on the Wigner phase with Dyson-Schwinger equations approach

abstract: We study the influence of light quark loops on the Wigner phase by solving coupled Dyson-Schwinger equations for quark propagator and gluon propagator. We take the gluon propagator in the Nambu phase from $N_f$ = 2 unquenched lattice QCD and choose various phenomenological models for the quark-gluon vertex. The gluon propagator in Winger phase is assumed to be different from that in the Nambu phase only due to the vacuum polarization of the quark loop. We obtain the Wigner solution of the coupled equations, compared with that from solving only the equation of the quark propagator. We discussed the corrections by the light quark loops and the dependence on various models of the quark-gluon vertex.


title: Pin the Memory: Learning to Generalize Semantic Segmentation

abstract: The rise of deep neural networks has led to several breakthroughs for semantic segmentation. In spite of this, a model trained on source domain often fails to work properly in new challenging domains, that is directly concerned with the generalization capability of the model. In this paper, we present a novel memory-guided domain generalization method for semantic segmentation based on meta-learning framework. Especially, our method abstracts the conceptual knowledge of semantic classes into categorical memory which is constant beyond the domains. Upon the meta-learning concept, we repeatedly train memory-guided networks and simulate virtual test to 1) learn how to memorize a domain-agnostic and distinct information of classes and 2) offer an externally settled memory as a class-guidance to reduce the ambiguity of representation in the test data of arbitrary unseen domain. To this end, we also propose memory divergence and feature cohesion losses, which encourage to learn memory reading and update processes for category-aware domain generalization. Extensive experiments for semantic segmentation demonstrate the superior generalization capability of our method over state-of-the-art works on various benchmarks.


title: Unified Contrastive Learning in Image-Text-Label Space

abstract: Visual recognition is recently learned via either supervised learning on human-annotated image-label data or language-image contrastive learning with webly-crawled image-text pairs. While supervised learning may result in a more discriminative representation, language-image pretraining shows unprecedented zero-shot recognition capability, largely due to the different properties of data sources and learning objectives. In this work, we introduce a new formulation by combining the two data sources into a common image-text-label space. In this space, we propose a new learning paradigm, called Unified Contrastive Learning (UniCL) with a single learning objective to seamlessly prompt the synergy of two data types. Extensive experiments show that our UniCL is an effective way of learning semantically rich yet discriminative representations, universally for image recognition in zero-shot, linear-probe, fully finetuning and transfer learning scenarios. Particularly, it attains gains up to 9.2% and 14.5% in average on zero-shot recognition benchmarks over the language-image contrastive learning and supervised learning methods, respectively. In linear probe setting, it also boosts the performance over the two methods by 7.3% and 3.4%, respectively. Our study also indicates that UniCL stand-alone is a good learner on pure image-label data, rivaling the supervised learning methods across three image classification datasets and two types of vision backbones, ResNet and Swin Transformer. Code is available at https://github.com/microsoft/UniCL.


title: Density functional approach to quark matter with confinement and color superconductivity

abstract: We present a novel relativistic density-functional approach to modeling quark matter with a mechanism to mimic confinement. The quasiparticle treatment of quarks provides their suppression due to a large quark selfenergy already at the mean-field level. We demonstrate that our approach is equivalent to a chiral quark model with medium-dependent couplings. The dynamical restoration of the chiral symmetry is ensured by construction of the density functional. Supplemented with the vector repulsion and diquark pairing the model is applied to construct a hybrid quark-hadron EoS of cold compact-star matter. We study the connection of such a hybrid EoS with the stellar mass-radius relation and tidal deformability. The model results are compared to various observational constraints including the NICER radius measurement of PSR J0740+6620 and the tidal deformability constraint from GW170817. The model is shown to be consistent with the constraints, still allowing for further improvement by adjusting the vector repulsion and diquark pairing couplings.


title: Topologically protected vortex knots and links

abstract: We propose a class of tangled vortex structures, tied from non-Abelian topological vortices, which are immune against decaying through local reconnections and strand crossings that are allowed by the system. We refer to such structures as being topologically protected. We then turn our attention to topological vortices classified by the quaternion group $Q_8$ ($Q_8$-colored links), which are realizable in systems consisting either of the biaxial nematic or the cyclic phase of a spin-2 Bose--Einstein condensate, or of biaxial nematic liquid crystal, and prove the existence of topologically protected $Q_8$-colored links. Remarkably, the strongest invariant we construct, the $Q$-invariant of $Q_8$-colored links, can be used to classify $Q_8$-colored links up to allowed local surgeries on the vortex cores.


title: Topological D-Class Physics with Passive Acoustic Elements

abstract: In this work, we supply an engineering solution that paves the way to the implementation of the full classification table of topological insulators with passive acoustic crystals. As an example, we design an acoustic crystal displaying the full range of characteristics of a topological insulator from class D, such as non-trivial Chern numbers and an exact particle-hole symmetry for both bulk and edge dynamics. The key is a particular geometry of the acoustic resonators that facilitates a large number of independent and equal-strength couplings, eight to be precise, such that the mode-coupling theory remains accurate. The latter enables us to implement with high fidelity the de-complexified tight-binding model generating the topological phases from class D in 2-dimensions, previously announced in [Barlas et al, PRB (2018)]. The successful realization of a topological acoustic crystal from class D paves the way to the observation of the Majorana-like modes stabilized by pi-fluxes.


title: Impact of calibration uncertainties on Hubble constant measurements from gravitational-wave sources

abstract: Gravitational-wave (GW) detections of electromagnetically bright compact binary coalescences can provide an independent measurement of the Hubble constant $H_0$. In order to obtain a measurement that could help arbitrating the existing tension on $H_0$, one needs to fully understand any source of systematic biases for this approach. In this study, we aim at understanding the impact of instrumental calibration errors (CEs) and uncertainties on luminosity distance measurements, $D_L$, and the inferred $H_0$ results. We simulate binary neutron star mergers (BNSs), as detected by a network of Advanced LIGO and Advanced Virgo interferometers at their design sensitivity. We artificially add CEs equal to exceptionally large values experienced in LIGO-Virgo's third observing run (O3). We find that for individual BNSs at a network signal-to-noise ratio of 50, the systematic errors on $D_L$ - and hence $H_0$ - are still smaller than the statistical uncertainties. The biases become more significant when we combine multiple events to obtain a joint posterior on $H_0$. In the rather unrealistic case that the data around each detection is affected by the same CEs corresponding to the worst offender of O3, the true $H_0$ value would be excluded from the 90% credible interval after $\sim40$ sources. If instead 10% of the sources suffer from severe CEs, the true value of $H_0$ is included in the 90% credible interval even after we combine 100 sources.


title: Group actions on simple tracially $\mathcal{Z}$-absorbing C*-algebras

abstract: We show that if $A$ is a simple (not necessarily unital) tracially $\mathcal{Z}$-absorbing C*-algebra and $\alpha \colon G \to \mathrm{Aut} (A)$ is an action of a finite group $G$ on $A$ with the weak tracial Rokhlin property, then the crossed product $C^*(G, A,\alpha)$ and the fixed point algebra $A^\alpha$ are simple and tracially $\mathcal{Z}$-absorbing, and they are $\mathcal{Z}$-stable if, in addition, $A$ is separable and nuclear. The same conclusion holds for all intermediate C*-algebras of the inclusions $A^\alpha \subseteq A$ and $A \subseteq C^*(G, A,\alpha)$. We prove that if $A$ is a simple tracially $\mathcal{Z}$-absorbing C*-algebra, then, under a finiteness condition, the permutation action of the symmetric group $S_m$ on the minimal $m$-fold tensor product of $A$ has the weak tracial Rokhlin property. We define the weak tracial Rokhlin property for automorphisms of simple C*-algebras and we show that -- under a mild assumption -- (tracial) $\mathcal{Z}$-absorption is preserved under crossed products by such automorphisms.


title: Dissolving the Segmentation of a Shared Mobility Market: A Framework and Four Market Structure Designs

abstract: In the governance of the shared mobility market of a city or of a metropolitan area, there are two conflicting principles: 1) the healthy competition between multiple platforms, such as between Uber and Lyft in the United States, and 2) economies of network scale, which leads to higher chances for trips to be matched, and thus higher operation efficiency, but which also implies monopoly. The current shared mobility markets, as observed in different cities in the world, are either monopolistic, or largely segmented by multiple platforms, the latter with significant efficiency loss. How to keep the competition between platforms, but to reduce the efficiency loss due to segmentation with new market designs is the focus of this paper. We first propose a theoretical framework of shared mobility market segmentation and then propose four market structure designs thereupon. The framework and four designs are first discussed as an abstract model, without losing generality, thus not constrained to any specific city. High-level perspectives and detailed mechanisms for each proposed market structure are both examined. Then, to assess the real-world performance of these market structure designs, we used a ride-sharing simulator with real-world ride-hailing trip data from New York City to simulate. The proposed market designs can reduce the total vehicle-miles traveled (VMT) by 6\% while serving more customers with 8.4\% fewer total number of trips. In the meantime, customers receive better services with on-average 5.4\% shorter waiting time. At the end of the paper, the feasibility of implementation for each proposed market structure is discussed.