title: Quantification of Crystal Packing Similarity from Spherical Harmonic Transform

abstract: In this work, we present a new computational approach to characterize and classify molecular packing in the solid states. The key idea is to project each neighboring molecule (or short contact) from the centered molecule into a unit sphere according to the interaction energy. Consequently, the similarity between two spherical images can be evaluated from the spherical harmonics expansion based on the maximum cross-correlation. We apply this approach to successfully reproduce the previous packing assignment on a small amount of data with an improved categorization. Furthermore, we conduct a packing similarity analysis over 2000 hydrocarbon crystal data sets and uncover a set of abundant packing motifs. Unlike the previous approaches based on the subjective visual comparison at the real space, our approach provides a more robust way to measure the packing similarity, thus paving the way for a rapid classification of large scale crystal data.


title: Neutrino-induced single pion production and the reanalyzed bubble chamber data

abstract: In this work we report the calculation of the charged current total and differential cross sections for weak pion-production with neutrinos and antineutrinos, with the final pion-nucleon pair invariant mass $W_{\pi N}\lesssim2$GeV. Our results are compared with the recent reanalyzed data from the old bubble chamber experiments, that solved the discrepancy between the ANL and BNL data. We implement a model previously tested for the cuts $W_{\pi N}<1.4,1.6$ Gev which includes explicitly resonances in the first and second resonance regions, within different approaches for the resonances self energy and $\frac{3}{2}$-vertexes and propagators, a fact not usually analyzed. Our model leans on consistent effective Lagrangians that generate resonant amplitudes together non resonant plus resonant backgrounds. Effects of hadrons finite extension and more energetic resonances corresponding to the emitted pion-nucleon invariant mass in the $1.6<W_{\pi N}<2$ GeV region, are taking into account using appropiate form factors in consistency with previous results on neutral current pion production calculations. Our results reproduce well the reanalysed data without cuts and are compared with another models.


title: A hybrid-qudit representation of digital RGB images

abstract: Quantum image processing is an emerging topic in the field of quantum information and technology. In this paper, we propose a new quantum image representation of RGB images, which is an improvement to all the existing representations in terms of using minimum resource. We use two entangled quantum registers constituting of total 7 qutrits to encode the color channels and their intensities. Additionally, we generalize the existing encoding methods by using both qubits and qutrits to encode the pixel positions of a rectangular image. This hybrid-qudit approach aligns well with the current progress of NISQ devices in incorporating higher dimensional quantum systems than qubits. We then describe the image encoding method using higher-order qubit-qutrit gates, and demonstrate the decomposition of these gates in terms of simpler elementary gates. We use the Google Cirq's quantum simulator to verify the image retrieval. We show that the complexity of the image encoding process is linear in the number of pixels. Lastly, we discuss the image compression and some basic RGB image processing protocols using our representation.


title: DialCrowd 2.0: A Quality-Focused Dialog System Crowdsourcing Toolkit

abstract: Dialog system developers need high-quality data to train, fine-tune and assess their systems. They often use crowdsourcing for this since it provides large quantities of data from many workers. However, the data may not be of sufficiently good quality. This can be due to the way that the requester presents a task and how they interact with the workers. This paper introduces DialCrowd 2.0 to help requesters obtain higher quality data by, for example, presenting tasks more clearly and facilitating effective communication with workers. DialCrowd 2.0 guides developers in creating improved Human Intelligence Tasks (HITs) and is directly applicable to the workflows used currently by developers and researchers.


title: Peduncle Gripping and Cutting Force for Strawberry Harvesting Robotic End-effector Design

abstract: Robotic harvesting of strawberries has gained much interest in the recent past. Although there are many innovations, they haven't yet reached a level that is comparable to an expert human picker. The end effector unit plays a major role in defining the efficiency of such a robotic harvesting system. Even though there are reports on various end effectors for strawberry harvesting, but there they lack a picture of certain parameters that the researchers can rely upon to develop new end effectors. These parameters include the limit of gripping force that can be applied on the peduncle for effective gripping, the force required to cut the strawberry peduncle, etc. These estimations would be helpful in the design cycle of the end effectors that target to grip and cut the strawberry peduncle during the harvesting action. This paper studies the estimation and analysis of these parameters experimentally. It has been estimated that the peduncle gripping force can be limited to 10 N. This enables an end effector to grip a strawberry of mass up to 50 grams with a manipulation acceleration of 50 m/s$^2$ without squeezing the peduncle. The study on peduncle cutting force reveals that a force of 15 N is sufficient to cut a strawberry peduncle using a blade with a wedge angle of 16.6 degrees at a 30-degree orientation.


title: An elementary alternative to PFH spectral invariants

abstract: Inspired by Hutchings' elementary alternative to ECH capacities, we introduce an elementary alternative to spectral invariants defined via periodic Floer homology (PFH). We use these spectral invariants to provide more elementary proofs of a number of results which have recently been obtained using PFH spectral invariants. Among these results are quantitative closing lemmas for area-preserving surface diffeomorphisms and the simplicity conjecture.


title: Inter-Frame Compression for Dynamic Point Cloud Geometry Coding

abstract: Efficient point cloud compression is essential for applications like virtual and mixed reality, autonomous driving, and cultural heritage. In this paper, we propose a deep learning-based inter-frame encoding scheme for dynamic point cloud geometry compression. We propose a lossy geometry compression scheme that predicts the latent representation of the current frame using the previous frame by employing a novel prediction network. Our proposed network utilizes sparse convolutions with hierarchical multiscale 3D feature learning to encode the current frame using the previous frame. We employ convolution on target coordinates to map the latent representation of the previous frame to the downsampled coordinates of the current frame to predict the current frame's feature embedding. Our framework transmits the residual of the predicted features and the actual features by compressing them using a learned probabilistic factorized entropy model. At the receiver, the decoder hierarchically reconstructs the current frame by progressively rescaling the feature embedding. We compared our model to the state-of-the-art Video-based Point Cloud Compression (V-PCC) and Geometry-based Point Cloud Compression (G-PCC) schemes standardized by the Moving Picture Experts Group (MPEG). Our method achieves more than 91% BD-Rate Bjontegaard Delta Rate) reduction against G-PCC, more than 62% BD-Rate reduction against V-PCC intra-frame encoding mode, and more than 52% BD-Rate savings against V-PCC P-frame-based inter-frame encoding mode using HEVC.


title: Ethics for social robotics: A critical analysis

abstract: Social robotics development for the practice of care and European prospects to incorporate these AI-based systems in institutional healthcare contexts call for an urgent ethical reflection to (re)configurate our practical life according to human values and rights. Despite the growing attention to the ethical implications of social robotics, the current debate on one of its central branches, social assistive robotics (SAR), rests upon an impoverished ethical approach. This paper presents and examines some tendencies of this prevailing approach, which have been identified as a result of a critical literature review. Based on this analysis of a representative case of how ethical reflection is being led towards social robotics, some future research lines are outlined, which may help reframe and deepen in its ethical implications.


title: Modification of Landau levels in a two-dimensional ring due to rotation effects and edge states

abstract: We investigate the properties of a two-dimensional quantum ring under rotating and external magnetic field effects. We initially analyse the Landau levels and inertial effects on them. Among the results obtained, we emphasize that the rotation lifted the degeneracy of Landau levels. When electrons are confined in a two-dimensional ring, which is modeled by a hard wall potential, the eigenstates are described by Landau states as long as the eigenstates are not too close to the edges of the ring. On the other hand, near the edges of the ring, the energies increase monotonically. These states are known as edge states. Edge states have an important effect on the physical properties of the ring. Thus, we analyze the Fermi energy and magnetization. In the specific case of magnetization, we consider two approaches. In the first, we obtain an analytical result for magnetization but without considering rotation. Numerical results showed the de Haas-Van Alphen (dHvA) oscillations. In the second, we consider rotating effects. In addition to the dHvA oscillations, we also verify the Aharonov-Bohm-type (AB) oscillations, which are associated with the presence of edge states. We discuss the effects of rotation on the results and find that rotation is responsible for inducing Aharonov-Bohm-type oscillations.


title: Analysis of an embedded-hybridizable discontinuous Galerkin method for Biot's consolidation model

abstract: We present an embedded-hybridizable discontinuous Galerkin finite element method for the total pressure formulation of the quasi-static poroelasticity model. Although the displacement and the Darcy velocity are approximated by discontinuous piece-wise polynomials, $H(\text{div})$-conformity of these unknowns is enforced by Lagrange multipliers. The semi-discrete problem is shown to be stable and the fully discrete problem is shown to be well-posed. Additionally, space-time a priori error estimates are derived, and confirmed by numerical examples, that show that the proposed discretization is free of volumetric locking.


title: A Pilot Study on The Impact of Stereoscopic Display Type on User Interactions Within A Immersive Analytics Environment

abstract: Immersive Analytics (IA) and consumer adoption of augmented reality (AR) and virtual reality (VR) head-mounted displays (HMDs) are both rapidly growing. When used in conjunction, stereoscopic IA environments can offer improved user understanding and engagement; however, it is unclear how the choice of stereoscopic display impacts user interactions within an IA environment. This paper presents a pilot study that examines the impact of stereoscopic display type on object manipulation and environmental navigation using consumer-available AR and VR displays. This work finds that the display type can impact how users manipulate virtual content, how they navigate the environment, and how able they are to answer questions about the represented data.


title: Static Hand Gesture Recognition for American Sign Language using Neuromorphic Hardware

abstract: In this paper, we develop four spiking neural network (SNN) models for two static American Sign Language (ASL) hand gesture classification tasks, i.e., the ASL Alphabet and ASL Digits. The SNN models are deployed on Intel's neuromorphic platform, Loihi, and then compared against equivalent deep neural network (DNN) models deployed on an edge computing device, the Intel Neural Compute Stick 2 (NCS2). We perform a comprehensive comparison between the two systems in terms of accuracy, latency, power consumption, and energy. The best DNN model achieves an accuracy of 99.93% on the ASL Alphabet dataset, whereas the best performing SNN model has an accuracy of 99.30%. For the ASL-Digits dataset, the best DNN model achieves an accuracy of 99.76% accuracy while the SNN achieves 99.03%. Moreover, our obtained experimental results show that the Loihi neuromorphic hardware implementations achieve up to 20.64x and 4.10x reduction in power consumption and energy, respectively, when compared to NCS2.


title: AMLB: an AutoML Benchmark

abstract: Comparing different AutoML frameworks is notoriously challenging and often done incorrectly. We introduce an open and extensible benchmark that follows best practices and avoids common mistakes when comparing AutoML frameworks. We conduct a thorough comparison of 9 well-known AutoML frameworks across 71 classification and 33 regression tasks. The differences between the AutoML frameworks are explored with a multi-faceted analysis, evaluating model accuracy, its trade-offs with inference time, and framework failures. We also use Bradley-Terry trees to discover subsets of tasks where the relative AutoML framework rankings differ. The benchmark comes with an open-source tool that integrates with many AutoML frameworks and automates the empirical evaluation process end-to-end: from framework installation and resource allocation to in-depth evaluation. The benchmark uses public data sets, can be easily extended with other AutoML frameworks and tasks, and has a website with up-to-date results.


title: Complex curves in hypercomplex nilmanifolds with H-solvable Lie algebras

abstract: An operator $I$ on a real Lie algebra $A$ is called a complex structure operator if $I^2=-Id$ and the $\sqrt{-1}$-eigenspace $A^{1,0}$ is a Lie subalgebra in the complexification of $A$. A hypercomplex structure on a Lie algebra $A$ is a triple of complex structures $I,J$ and $K$ on $A$ satisfying the quaternionic relations. We call a hypercomplex nilpotent Lie algebra quaternionic-solvable if there exists a finite filtration by quaternionic-invariant subalgebras with commutative subquotients which converges to zero. We give examples of quaternionic-solvable hypercomplex structures on a nilpotent Lie algebra and conjecture that all hypercomplex structures on nilpotent Lie algebras are quaternionic-solvable. Let $(N,I,J,K)$ be a compact hypercomplex nilmanifold associated to an quaternionic-solvable hypercomplex Lie algebra. We prove that, for a general complex structure $L$ induced by quaternions, there are no complex curves in a complex manifold $(N,L)$.


title: Fluctuation of Chern Numbers in a Parametric Random Matrix Model

abstract: Band-touching Weyl points in Weyl semimetals give rise to many novel characteristics, one of which the presence of surface Fermi-arc states that is topologically protected. The number of such states can be computed by the Chern numbers at different momentum slices, which fluctuates with changing momentum and depends on the distribution of Weyl points in the Brillouin zone. For realistic systems, it may be difficult to locate the momenta at which these Weyl points and Fermi-arc states appear. Therefore, we extend the analysis of a parametric random matrix model proposed by Walker and Wilkinson to find the statistics of their distributions. Our numerical data shows that Weyl points with opposite polarities are short range correlated, and the Chern number fluctuation only grows linearly for a limited momentum difference before it saturates. We also find that the saturation value scales with the total number of bands. We then compute the short-range correlation length from perturbation theory, and derive the dependence of the Chern number fluctuation on the momentum difference, showing that the saturation results from the short-range correlation.


title: Detection of Na and K in the atmosphere of the hot Jupiter HAT-P-1b with P200/DBSP

abstract: We present a new optical transmission spectrum of the hot Jupiter HAT-P-1b based on two transits observed with the Double Spectrograph (DBSP) on the Palomar 200-inch (P200) telescope. The DBSP transmission spectrum, covering a wavelength range from 3250 to 10007 \r{A}, is consistent with that observed with the Hubble Space Telescope (HST), but the former has a finer spectral resolution. The DBSP spectrum alone reveals the presence of a pressure broadened line wing for Na, the line cores for both Na and K, and tentative evidence for H$_2$O. We obtain consistent results from the spectral retrieval analyses performed on the DBSP-only dataset and the DBSP, HST, and Spitzer combined dataset. Our retrievals suggest a mostly clear atmosphere for HAT-P-1b, with a cloud coverage of $22^{+5}_{-3}$% that is dominated by enhanced haze. We derive subsolar abundances for Na, K, and C, and subsolar-to-solar for O. Future observations with James Webb Space Telescope and ground-based high-resolution spectrographs should be able to not only confirm the presence of these species but also stringently constrain the formation and migration pathways for HAT-P-1b.


title: QCD Equilibrium and Dynamical Properties from Holographic Black Holes

abstract: By using gravity/gauge correspondence, we employ an Einstein-Maxwell-Dilaton model to compute the equilibrium and out-of-equilibrium properties of a hot and baryon rich strongly coupled quark-gluon plasma. The family of 5-dimensional holographic black holes, which are constrained to mimic the lattice QCD equation of state at zero density, is used to investigate the temperature and baryon chemical potential dependence of the equation of state. We also obtained the baryon charge conductivity, and the bulk and shear viscosities with a particular focus on the behavior of these observables on top of the critical end point and the line of first order phase transition predicted by the model.


title: Relaxing strong compatibility at atomistic-continuum interface: Introduction to consistent linear coupling method

abstract: The most essential concept in concurrent multiscale methods involving atomistic-continuum coupling is how to define the relation between atomistic and continuum regions. A well-known coupling method that has been frequently employed in different concurrent multiscale methods such as Quasicontinuum is the strong compatibility coupling (SCC). Although the SCC is a highly accurate coupling method, it constrains the mesh generation and restricts the reduction of computational cost. In this paper, first, we explain the notion of coupling models through the interface in the context of continuum mechanics for quasi-static problems. Then, the SCC is relaxed to overcome the downsides in the following approaches: a surface approximation approach and a force approximation approach. Based on the latter, we develop a brand new coupling method called consistent linear coupling (CLC). Overall, six different coupling schemes are introduced in line with the surface and force approximation approaches. The schemes are compared in terms of solving quasi-static 3D elastic nanoscale contact between an aluminum substrate and a diamond semi-sphere. Numerical results reveal that the CLC-based schemes are more accurate when compared with the surface approximation schemes. Furthermore, we demonstrate that by decreasing the size of interface elements, the accuracy of the CLC converges to and even exceeds the accuracy of SCC, but nevertheless with significantly less computational cost. In other words, in contrast to the SCC, the accuracy of the CLC is tunable, and it can be optimized proportional to the computational cost and accuracy. Finally, we sketch the idea of how the CLC can make the consistency near the atomistic-continuum interface by eliminating ghost forces. The energy of a one-dimensional atomic chain with a finite range of interaction is relaxed to validate the CLC method.


title: Eliciting Multimodal Gesture+Speech Interactions in a Multi-Object Augmented Reality Environment

abstract: As augmented reality technology and hardware become more mature and affordable, researchers have been exploring more intuitive and discoverable interaction techniques for immersive environments. In this paper, we investigate multimodal interaction for 3D object manipulation in a multi-object virtual environment. To identify the user-defined gestures, we conducted an elicitation study involving 24 participants for 22 referents with an augmented reality headset. It yielded 528 proposals and generated a winning gesture set with 25 gestures after binning and ranking all gesture proposals. We found that for the same task, the same gesture was preferred for both one and two object manipulation, although both hands were used in the two object scenario. We presented the gestures and speech results, and the differences compared to similar studies in a single object virtual environment. The study also explored the association between speech expressions and gesture stroke during object manipulation, which could improve the recognizer efficiency in augmented reality headsets.


title: Distributed HVDC Emergency Power Control; case study Nordic Power System

abstract: Frequency Containment Reserves might be insufficient to provide an appropriate response in the presence of large disturbances and low inertia scenarios. As a solution, this work assesses the supplementary droop frequency-based Emergency Power Control (EPC) from HVDC interconnections, applied in the detailed Nordic Power System model. EPC distribution and factors that determine the EPC performance of an HVDC link are the focus of interest. The main criteria are the maximum Instantaneous Frequency Deviation and used EPC power. The presented methodology is motivated based on the theoretical observation concerning linearized system representation. However, the assessed and proposed properties of interest, such as provided EPC active and reactive power, their ratio, and energy of total loads and losses in the system due to the EPC, concern highly nonlinear system behavior. Finally, based on the obtained study, remarks on the pragmatical importance of the EPC distribution to the frequency nadir limitation are provided.


title: Hybridizable discontinuous Galerkin methods for the coupled Stokes--Biot problem

abstract: We present and analyze a hybridizable discontinuous Galerkin (HDG) finite element method for the coupled Stokes--Biot problem. Of particular interest is that the discrete velocities and displacement are $H(\text{div})$-conforming and satisfy the compressibility equations pointwise on the elements. Furthermore, in the incompressible limit, the discretization is strongly conservative. We prove well-posedness of the discretization and, after combining the HDG method with backward Euler time stepping, present a priori error estimates that demonstrate that the method is free of volumetric locking. Numerical examples further demonstrate optimal rates of convergence in the $L^2$-norm for all unknowns and that the discretization is locking-free.


title: Characterizing $S$-Artinianness by uniformity

abstract: Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. An $R$-module $M$ is said to be a uniformly $S$-Artinian ($u$-$S$-Artinian for abbreviation) module if there is $s\in S$ such that any descending chain of submodules of $M$ is $S$-stationary with respect to $s$. $u$-$S$-Artinian modules are characterized in terms of ($S$-MIN)-conditions and $u$-$S$-cofinite properties. We call a ring $R$ is a $u$-$S$-Artinian ring if $R$ itself is a $u$-$S$-Artinian module, and then show that any $u$-$S$-semisimple ring is $u$-$S$-Artinian. It is proved that a ring $R$ is $u$-$S$-Artinian if and only if $R$ is $u$-$S$-Noetherian, the $u$-$S$-Jacobson radical ${\rm Jac}_S(R)$ of $R$ is $S$-nilpotent and $R/{\rm Jac}_S(R)$ is a $u$-$S/{\rm Jac}_S(R)$-semisimple ring. Besides, some examples are given to distinguish Artinian rings, $u$-$S$-Artinian rings and $S$-Artinian rings.


title: Seeing Far in the Dark with Patterned Flash

abstract: Flash illumination is widely used in imaging under low-light environments. However, illumination intensity falls off with propagation distance quadratically, which poses significant challenges for flash imaging at a long distance. We propose a new flash technique, named ``patterned flash'', for flash imaging at a long distance. Patterned flash concentrates optical power into a dot array. Compared with the conventional uniform flash where the signal is overwhelmed by the noise everywhere, patterned flash provides stronger signals at sparsely distributed points across the field of view to ensure the signals at those points stand out from the sensor noise. This enables post-processing to resolve important objects and details. Additionally, the patterned flash projects texture onto the scene, which can be treated as a structured light system for depth perception. Given the novel system, we develop a joint image reconstruction and depth estimation algorithm with a convolutional neural network. We build a hardware prototype and test the proposed flash technique on various scenes. The experimental results demonstrate that our patterned flash has significantly better performance at long distances in low-light environments.


title: Innovations in Neural Data-to-text Generation: A Survey

abstract: The neural boom that has sparked natural language processing (NLP) research through the last decade has similarly led to significant innovations in data-to-text generation (DTG). This survey offers a consolidated view into the neural DTG paradigm with a structured examination of the approaches, benchmark datasets, and evaluation protocols. This survey draws boundaries separating DTG from the rest of the natural language generation (NLG) landscape, encompassing an up-to-date synthesis of the literature, and highlighting the stages of technological adoption from within and outside the greater NLG umbrella. With this holistic view, we highlight promising avenues for DTG research that not only focus on the design of linguistically capable systems but also systems that exhibit fairness and accountability.


title: Translating a Visual LEGO Manual to a Machine-Executable Plan

abstract: We study the problem of translating an image-based, step-by-step assembly manual created by human designers into machine-interpretable instructions. We formulate this problem as a sequential prediction task: at each step, our model reads the manual, locates the components to be added to the current shape, and infers their 3D poses. This task poses the challenge of establishing a 2D-3D correspondence between the manual image and the real 3D object, and 3D pose estimation for unseen 3D objects, since a new component to be added in a step can be an object built from previous steps. To address these two challenges, we present a novel learning-based framework, the Manual-to-Executable-Plan Network (MEPNet), which reconstructs the assembly steps from a sequence of manual images. The key idea is to integrate neural 2D keypoint detection modules and 2D-3D projection algorithms for high-precision prediction and strong generalization to unseen components. The MEPNet outperforms existing methods on three newly collected LEGO manual datasets and a Minecraft house dataset.


title: Degenerations of non-simple abelian surfaces

abstract: We study degenerations of non-simple principally polarized abelian surfaces to the boundary in the toroidal compactification of $\mathcal{A}_2$, and describe the degenerate abelian surfaces as well as the degenerate elliptic curves that live inside them.


title: Enabling a Cooperative Driver Messenger System for Lane Change Assistance Application

abstract: Sensor data and Vehicle-to-Everything (V2X) communication can greatly assist Connected and Autonomous Vehicles (CAVs) in situational awareness and provide a safer driving experience. While sensor data recorded from devices such as radar and camera can assist in local awareness in the close vicinity of the Host Vehicle (HV), the information obtained is useful solely for the HV itself. On the other hand, V2X communication can allow CAVs to communicate with each other and transceive basic and/or advanced safety information, allowing each CAV to create a sophisticated local object map for situational awareness. This paper introduces a point-to-point Driver Messenger System (DMS) that regularly maintains a local object map of the HV and uses it to convey HV's Over-the-Air (OTA) Driver Intent Messages (DIMs) to nearby identified Target Vehicle(s) (TV(s)) based on a list of pre-defined common traffic applications. The focus of this paper is on the lane change application where DMS can use the local object map to automatically identify closest TV in adjacent lane in the direction of HV's intended lane change and inform the TV via a DIM. Within DMS, the paper proposes a TV recognition algorithm for lane change application that utilizes the HV's Path History (PH) to accurately determine the closest TV that could potentially benefit from receiving a DIM from HV. Finally, DMS is also shown to act as an advanced warning system by providing extra time and space headway measurements between the HV and TVs upon a number of simulated lane change scenarios.


title: Simulation-based Probabilistic Risk Assessment

abstract: Simulation-based probabilistic risk assessment (SPRA) is a systematic and comprehensive methodology that has been used and refined over the past few decades to evaluate the risks associated with complex systems. SPRA models are well established for cases with considerable data and system behavior information available. In this regard, multiple statistical and probabilistic tools can be used to provide a valuable assessment of dynamic probabilistic risk levels in different applications. This tutorial presents a comprehensive review of SPRA methodologies. Based on the reviewed literature, SPRA methods can be classified into three categories of dynamic probabilistic logic methods, dynamic stochastic analytical models, and hybrid discrete dynamic event and system simulation models. In this tutorial, the key strengths and weaknesses, and suggestions on ways to address real and perceived shortcomings of available SPRA methods are presented and discussed.


title: WinoGAViL: Gamified Association Benchmark to Challenge Vision-and-Language Models

abstract: While vision-and-language models perform well on tasks such as visual question answering, they struggle when it comes to basic human commonsense reasoning skills. In this work, we introduce WinoGAViL: an online game of vision-and-language associations (e.g., between werewolves and a full moon), used as a dynamic evaluation benchmark. Inspired by the popular card game Codenames, a spymaster gives a textual cue related to several visual candidates, and another player tries to identify them. Human players are rewarded for creating associations that are challenging for a rival AI model but still solvable by other human players. We use the game to collect 3.5K instances, finding that they are intuitive for humans (>90% Jaccard index) but challenging for state-of-the-art AI models, where the best model (ViLT) achieves a score of 52%, succeeding mostly where the cue is visually salient. Our analysis as well as the feedback we collect from players indicate that the collected associations require diverse reasoning skills, including general knowledge, common sense, abstraction, and more. We release the dataset, the code and the interactive game, allowing future data collection that can be used to develop models with better association abilities.


title: Compiler-Aware Neural Architecture Search for On-Mobile Real-time Super-Resolution

abstract: Deep learning-based super-resolution (SR) has gained tremendous popularity in recent years because of its high image quality performance and wide application scenarios. However, prior methods typically suffer from large amounts of computations and huge power consumption, causing difficulties for real-time inference, especially on resource-limited platforms such as mobile devices. To mitigate this, we propose a compiler-aware SR neural architecture search (NAS) framework that conducts depth search and per-layer width search with adaptive SR blocks. The inference speed is directly taken into the optimization along with the SR loss to derive SR models with high image quality while satisfying the real-time inference requirement. Instead of measuring the speed on mobile devices at each iteration during the search process, a speed model incorporated with compiler optimizations is leveraged to predict the inference latency of the SR block with various width configurations for faster convergence. With the proposed framework, we achieve real-time SR inference for implementing 720p resolution with competitive SR performance (in terms of PSNR and SSIM) on GPU/DSP of mobile platforms (Samsung Galaxy S21).


title: A Retrospective on ICSE 2022

abstract: The 44th International Conference on Software Engineering (ICSE 2022) was held in person from May 22 to May 27, 2022 in Pittsburgh, PA, USA. Here, we summarize themes of research and the direction of research in the field of software engineering and testing that we observed at the conference.


title: RenderNet: Visual Relocalization Using Virtual Viewpoints in Large-Scale Indoor Environments

abstract: Visual relocalization has been a widely discussed problem in 3D vision: given a pre-constructed 3D visual map, the 6 DoF (Degrees-of-Freedom) pose of a query image is estimated. Relocalization in large-scale indoor environments enables attractive applications such as augmented reality and robot navigation. However, appearance changes fast in such environments when the camera moves, which is challenging for the relocalization system. To address this problem, we propose a virtual view synthesis-based approach, RenderNet, to enrich the database and refine poses regarding this particular scenario. Instead of rendering real images which requires high-quality 3D models, we opt to directly render the needed global and local features of virtual viewpoints and apply them in the subsequent image retrieval and feature matching operations respectively. The proposed method can largely improve the performance in large-scale indoor environments, e.g., achieving an improvement of 7.1\% and 12.2\% on the Inloc dataset.


title: Simulating the Impact of Dynamic Rerouting on Metropolitan-Scale Traffic Systems

abstract: The rapid introduction of mobile navigation aides that use real-time road network information to suggest alternate routes to drivers is making it more difficult for researchers and government transportation agencies to understand and predict the dynamics of congested transportation systems. Computer simulation is a key capability for these organizations to analyze hypothetical scenarios; however, the complexity of transportation systems makes it challenging for them to simulate very large geographical regions, such as multi-city metropolitan areas. In this paper, we describe the Mobiliti traffic simulator, which includes mechanisms to capture congestion delays, timing constraints, and link storage capacity constraints. The simulator is designed to support distributed memory parallel execution and be scalable on high-performance computing platforms. We introduce a method to model dynamic rerouting behavior with the addition of vehicle controller actors and reroute request events. We demonstrate the potential of the simulator by analyzing the impact of varying the population penetration rate of dynamic rerouting on the San Francisco Bay Area road network. Using high-performance parallel computing, we can simulate a day of the San Francisco Bay Area with 19 million vehicle trips with 50 percent dynamic rerouting penetration over a road network with 0.5 million nodes and 1 million links in less than three minutes. We present an analysis of system-level impacts when changing the dynamic rerouting penetration rate and examine the varying effects on different functional classes and geographical regions. Finally, we present a validation of the simulation results compared to real world data.


title: Trading under the Proof-of-Stake Protocol -- a Continuous-Time Control Approach

abstract: We develop a continuous-time control approach to optimal trading in a Proof-of-Stake (PoS) blockchain, formulated as a consumption-investment problem that aims to strike the optimal balance between a participant's (or agent's) utility from holding/trading stakes and utility from consumption. We present solutions via dynamic programming and the Hamilton-Jacobi-Bellman (HJB) equations. When the utility functions are linear or convex, we derive close-form solutions and show that the bang-bang strategy is optimal (i.e., always buy or sell at full capacity). Furthermore, we bring out the explicit connection between the rate of return in trading/holding stakes and the participant's risk-adjusted valuation of the stakes. In particular, we show when a participant is risk-neutral or risk-seeking, corresponding to the risk-adjusted valuation being a martingale or a sub-martingale, the optimal strategy must be to either buy all the time, sell all the time, or first buy then sell, and with both buying and selling executed at full capacity. We also propose a risk-control version of the consumption-investment problem; and for a special case, the ''stake-parity'' problem, we show a mean-reverting strategy is optimal.


title: MOCVD growth and band offsets of \k{appa}-phase Ga2O3 on sapphire, GaN, AlN and YSZ substrates

abstract: Epitaxial growth of \k{appa}-phase Ga2O3 thin films are investigated on c-plane sapphire, GaN- and AlNon-sapphire, and (100) oriented yttria stabilized zirconia (YSZ) substrates via metalorganic chemical vapor deposition (MOCVD). The structural and surface morphological properties are investigated by comprehensive material characterization. Phase pure \k{appa}-Ga2O3 films are successfully grown on GaN-, AlN-on sapphire, and YSZ substrates through a systematical tuning of the growth parameters including the precursor molar flow rates, chamber pressure and growth temperature, whereas the growth on c-sapphire substrates leads to a mixture of \b{eta}- and \k{appa}polymorphs of Ga2O3 under the investigated growth conditions. The influence of the crystalline structure, surface morphology and roughness of \k{appa}-Ga2O3 films grown on different substrates are investigated as a function of precursor flow rate. High resolution scanning transmission electron microscopy (HR-STEM) imaging of \k{appa}-Ga2O3 films reveals abrupt interfaces between the epitaxial film and the sapphire, GaN and YSZ substrates. The growth of single crystal orthorhombic \k{appa}Ga2O3 films is confirmed by analyzing the STEM nano-diffraction pattern. The chemical composition, surface stoichiometry, and the bandgap energies of \k{appa}-Ga2O3 thin films grown on different substrates are studied by high resolution x-ray photoelectron spectroscopy (XPS) measurements. The type-II (staggered) band alignments at three interfaces between \k{appa}-Ga2O3 and c-sapphire, AlN, and YSZ substrates are determined by XPS, with the exception of \k{appa}-Ga2O3/GaN interface, which shows type I (straddling) band alignment.


title: How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms

abstract: This work proposes a taxonomy for diagnosis computation methods which allows their standardized assessment, classification and comparison. The aim is to (i) give researchers and practitioners an impression of the diverse landscape of available diagnostic techniques, (ii) allow them to easily retrieve the main features as well as pros and cons of the approaches, (iii) enable an easy and clear comparison of the techniques based on their characteristics wrt. a list of important and well-defined properties, and (iv) facilitate the selection of the "right" algorithm to adopt for a particular problem case, e.g., in practical diagnostic settings, for comparison in experimental evaluations, or for reuse, modification, extension, or improvement in the course of research.


title: On Deep Holes of Elliptic Curve Codes

abstract: We give a method to construct deep holes for elliptic curve codes. For long elliptic curve codes, we conjecture that our construction is complete in the sense that it gives all deep holes. Some evidence and heuristics on the completeness are provided via the connection with problems and results in finite geometry.


title: PTGCF: Printing Texture Guided Color Fusion for Impressionism Oil Painting Style Rendering

abstract: As a major branch of Non-Photorealistic Rendering (NPR), image stylization mainly uses the computer algorithms to render a photo into an artistic painting. Recent work has shown that the extraction of style information such as stroke texture and color of the target style image is the key to image stylization. Given its stroke texture and color characteristics, a new stroke rendering method is proposed, which fully considers the tonal characteristics and the representative color of the original oil painting, in order to fit the tone of the original oil painting image into the stylized image and make it close to the artist's creative effect. The experiments have validated the efficacy of the proposed model. This method would be more suitable for the works of pointillism painters with a relatively uniform sense of direction, especially for natural scenes. When the original painting brush strokes have a clearer sense of direction, using this method to simulate brushwork texture features can be less satisfactory.


title: High-power laser experiment on developing supercritical shock propagating in homogeneously magnetized plasma of ambient gas origin

abstract: A developing supercritical collisionless shock propagating in a homogeneously magnetized plasma of ambient gas origin having higher uniformity than the previous experiments is formed by using high-power laser experiment. The ambient plasma is not contaminated by the plasma produced in the early time after the laser shot. While the observed developing shock does not have stationary downstream structure, it possesses some characteristics of a magnetized supercritical shock, which are supported by a one-dimensional full particle-in-cell simulation taking the effect of finite time of laser-target interaction into account.


title: A truncated Davidson method for the efficient "chemically accurate" calculation of full configuration interaction wavefunctions without any large matrix diagonalization

abstract: This work develops and illustrates a new method of calculating "chemically accurate" electronic wavefunctions (and energies) via a truncated full configuration interaction (CI) procedure which arguably circumvents the large matrix diagonalization that is the core problem of full CI and is also central to modern selective CI approaches. This is accomplished simply by following the standard/ubiquitous Davidson method in its "direct" form -- wherein, in each iteration, the electronic Hamiltonian operator is applied directly in second quantization to the Ritz vector/wavefunction from the prior iteration -- except that (in this work) only a small portion of the resultant expansion vector is actually even computed (through application of only a similarly small portion of the Hamiltonian). Specifically, at each iteration of this truncated Davidson approach, the new expansion vector is taken to be twice as large as that from the prior iteration. In this manner, a small set of highly truncated expansion vectors (say 10--30) of increasing precision is incrementally constructed, forming a small subspace within which diagonalization of the Hamiltonian yields clear, consistent, and monotonically variational convergence to the approximate full CI limit. The good efficiency in which convergence to the level of chemical accuracy (1.6 mHartree) is achieved suggests, at least for the demonstrated problem sizes -- Hilbert spaces of $10^{18}$ and wavefunctions of $10^8$ determinants -- that this truncated Davidson methodology can serve as a replacement of standard CI and complete-active space (CAS) approaches, in circumstances where only a few chemically-significant digits of accuracy are required and/or meaningful in view of ever-present basis set limitations.

categories: physics.chem-ph physics.atom-ph physics.comp-ph quant-ph


title: Proper evaluation of spatially correlated noise in interferometric images

abstract: Recent interferometers (e.g. ALMA and NOEMA) allow us to obtain the detailed brightness distribution of the astronomical sources in 3 dimension (R.A., Dec., frequency). However, the interpixel correlation of the noise due to the limited uv coverage makes it difficult to evaluate the statistical uncertainty of the measured quantities and the statistical significance of the obtained results. The noise correlation properties are characterized by the noise autocorrelation function (ACF). We will present the method for (1) estimating the statistical uncertainty due to the correlated noise in the spatially integrated flux and spectra directly from the noise ACF and (2) simulating the correlated noise to perform a Monte Carlo simulation in image analyses. Our method has potential applications to a range of astronomical images of not only interferometers but also single dish mapping observation and interpolated and resampled optical images.


title: Folk Models of Misinformation on Social Media

abstract: In this paper we investigate what folk models of misinformation exist through semi-structured interviews with a sample of 235 social media users. Work on social media misinformation does not investigate how ordinary users - the target of misinformation - deal with it; rather, the focus is mostly on the anxiety, tensions, or divisions misinformation creates. Studying the aspects of creation, diffusion and amplification also overlooks how misinformation is internalized by users on social media and thus is quick to prescribe "inoculation" strategies for the presumed lack of immunity to misinformation. How users grapple with social media content to develop "natural immunity" as a precursor to misinformation resilience remains an open question. We have identified at least five folk models that conceptualize misinformation as either: political (counter)argumentation, out-of-context narratives, inherently fallacious information, external propaganda, or simply entertainment. We use the rich conceptualizations embodied in these folk models to uncover how social media users minimize adverse reactions to misinformation encounters in their everyday lives.


title: q-Whittaker functions, finite fields, and Jordan forms

abstract: The $q$-Whittaker function $W_\lambda(\mathbf{x};q)$ associated to a partition $\lambda$ is a $q$-analogue of the Schur function $s_\lambda(\mathbf{x})$, and is defined as the $t=0$ specialization of the Macdonald polynomial $P_\lambda(\mathbf{x};q,t)$. We show combinatorially how to expand $W_\lambda(\mathbf{x};q)$ in terms of partial flags compatible with a nilpotent endomorphism over the finite field of size $1/q$. This yields an expression analogous to a well-known formula for the Hall-Littlewood functions. We show that considering pairs of partial flags and taking Jordan forms leads to a probabilistic bijection between nonnegative-integer matrices and pairs of semistandard tableaux of the same shape, proving the Cauchy identity for $q$-Whittaker functions. We call our probabilistic bijection the $q$-Burge correspondence, and prove that in the limit as $q\to 0$, we recover a description of the classical Burge correspondence (also known as column RSK) due to Rosso (2012). A key step in the proof is the enumeration of an arbitrary double coset of $\text{GL}_n$ modulo two parabolic subgroups, which we find to be of independent interest. As an application, we use the $q$-Burge correspondence to count isomorphism classes of certain modules over the preprojective algebra of a type $A$ quiver (i.e. a path), refined according to their socle filtrations. This develops a connection between the combinatorics of symmetric functions and the representation theory of preprojective algebras.


title: QCD Equation of State and Phase Diagram from Holographic Black Holes

abstract: By using the AdS/CFT correspondence, we construct an Einstein-Maxwell-Dilaton model to map the thermodynamics of strongly interacting matter. The holographic model, constrained to reproduce the lattice QCD equation of state at zero baryon chemical potential, predicts a critical end point and a first order phase transition line. We also obtain the equation of state of the model for a large region of the phase diagram. We characterize the crossover transition region by two lines, one associated to the inflection of the second order baryon susceptibility, and another one associated to the minimum of the square of the speed of sound along trajectories of constant entropy per baryon number. We observe that both lines merge at the critical point.


title: If you want to cross singularity, wrap it!

abstract: In two-dimensional string theory, a probe D0-brane does not see the black hole singularity due to a cancellation between its metric coupling and the dilaton coupling. A similar mechanism may work in the Schwarzschild black hole in large $D$ dimensions by considering a suitable wrapped membrane. From the asymptotic observer, the wrapped membrane looks disappearing into nothing while the continuation of the time-like trajectory beyond the singularity suggests that it would reappear as an instantaneous space-like string stretching from the singularity. A null trajectory can be extended to a null trajectory beyond the singularity. Not only the effective particle but an effective string from the wrapped membrane can exhibit the same feature.


title: Equivariant topological slice disks and negative amphichiral knots

abstract: We show that any strongly negative amphichiral knot with a trivial Alexander polynomial is equivariantly topologically slice.


title: Confirmation Bias in Social Networks

abstract: In this study, I present a theoretical social learning model to investigate how confirmation bias affects opinions when agents exchange information over a social network. Hence, besides exchanging opinions with friends, agents observe a public sequence of potentially ambiguous signals and interpret it according to a rule that includes confirmation bias. First, this study shows that regardless of level of ambiguity both for people or networked society, only two types of opinions can be formed, and both are biased. However, one opinion type is less biased than the other depending on the state of the world. The size of both biases depends on the ambiguity level and relative magnitude of the state and confirmation biases. Hence, long-run learning is not attained even when people impartially interpret ambiguity. Finally, analytically confirming the probability of emergence of the less-biased consensus when people are connected and have different priors is difficult. Hence, I used simulations to analyze its determinants and found three main results: i) some network topologies are more conducive to consensus efficiency, ii) some degree of partisanship enhances consensus efficiency even under confirmation bias and iii) open-mindedness (i.e. when partisans agree to exchange opinions with opposing partisans) might inhibit efficiency in some cases.


title: $Ab$ $initio$ material design of Ag-based oxides for high-$T_c$ superconductor

abstract: We propose silver-based oxides with layered perovskite structure as candidates of exhibiting intriguing feature of strongly correlated electrons. The compounds show unique covalence between Ag d and O p orbitals with the strong electron correlation of their antibonding orbital similar to the copper oxide high-temperature superconductors, but stronger covalency and slightly smaller correlation strength. We examine $A_2$AgO$_2X_2$ with $A$ =Sr and Ba and $X$ =F, I and Cl in detail. Among them, Sr$_2$AgO$_2$F$_2$ has the largest effective onsite Coulomb repulsion and shows an antiferromagnetic insulating ground state, which competes with correlated metals. It offers features both similar and distinct from the copper oxides, and paves a new route. The possibility of superconductivity in doped systems is discussed.


title: Canonicity in power and modal logics of finite achronal width

abstract: We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones. This is applied to many systems, including the logics of finite width, and a broader class of multimodal logics of `finite achronal width' that are introduced here.


title: Conformal Metric-Affine Gravities

abstract: We revisit the gauge symmetry related to integrable projective transformations in metric-affine formalism, identifying the gauge field of the Weyl (conformal) symmetry as a dynamical component of the affine connection. In particular, we show how to include the local scaling symmetry as a gauge symmetry of a large class of geometric gravity theories, introducing a compensator dilaton field that naturally gives rise to a St\"uckelberg sector where a spontaneous breaking mechanism of the conformal symmetry is at work to generate a mass scale for the gauge field. For Ricci-based gravities that include, among others, General Relativity, $f(R)$ and $f(R,R_{\mu\nu}R^{\mu\nu})$ theories and the EiBI model, we prove that the on-shell gauge vector associated to the scaling symmetry can be identified with the torsion vector, thus recovering and generalizing conformal invariant theories in the Riemann-Cartan formalism, already present in the literature.


title: Classifier-Free Diffusion Guidance

abstract: Classifier guidance is a recently introduced method to trade off mode coverage and sample fidelity in conditional diffusion models post training, in the same spirit as low temperature sampling or truncation in other types of generative models. Classifier guidance combines the score estimate of a diffusion model with the gradient of an image classifier and thereby requires training an image classifier separate from the diffusion model. It also raises the question of whether guidance can be performed without a classifier. We show that guidance can be indeed performed by a pure generative model without such a classifier: in what we call classifier-free guidance, we jointly train a conditional and an unconditional diffusion model, and we combine the resulting conditional and unconditional score estimates to attain a trade-off between sample quality and diversity similar to that obtained using classifier guidance.


title: A Survey of Explainable Graph Neural Networks: Taxonomy and Evaluation Metrics

abstract: Graph neural networks (GNNs) have demonstrated a significant boost in prediction performance on graph data. At the same time, the predictions made by these models are often hard to interpret. In that regard, many efforts have been made to explain the prediction mechanisms of these models from perspectives such as GNNExplainer, XGNN and PGExplainer. Although such works present systematic frameworks to interpret GNNs, a holistic review for explainable GNNs is unavailable. In this survey, we present a comprehensive review of explainability techniques developed for GNNs. We focus on explainable graph neural networks and categorize them based on the use of explainable methods. We further provide the common performance metrics for GNNs explanations and point out several future research directions.


title: Learning Hierarchical Protein Representations via Complete 3D Graph Networks

abstract: We consider representation learning for proteins with 3D structures. We build 3D graphs based on protein structures and develop graph networks to learn their representations. Depending on the levels of details that we wish to capture, protein representations can be computed at different levels, \emph{e.g.}, the amino acid, backbone, or all-atom levels. Importantly, there exist hierarchical relations among different levels. In this work, we propose to develop a novel hierarchical graph network, known as ProNet, to capture the relations. Our ProNet is very flexible and can be used to compute protein representations at different levels of granularity. By treating each amino acid as a node in graph modeling as well as harnessing the inherent hierarchies, our ProNet is more effective and efficient than existing methods. We also show that, given a base 3D graph network that is complete, our ProNet representations are also complete at all levels. Experimental results show that ProNet outperforms recent methods on most datasets. In addition, results indicate that different downstream tasks may require representations at different levels. Our code is publicly available as part of the DIG library (\url{https://github.com/divelab/DIG}).


title: Flux Variations of Cosmic Ray Air Showers Detected by LHAASO-KM2A During a Thunderstorm on 10 June 2021

abstract: The Large High Altitude Air Shower Observatory (LHAASO) has three sub-arrays, KM2A, WCDA and WFCTA. The flux variations of cosmic ray air showers were studied by analyzing the KM2A data during the thunderstorm on 10 June 2021. The number of shower events that meet the trigger conditions increases significantly in atmospheric electric fields, with maximum fractional increase of 20%. The variations of trigger rates (increases or decreases) are found to be strongly dependent on the primary zenith angle. The flux of secondary particles increases significantly, following a similar trend with that of the shower events. To better understand the observed behavior, Monte Carlo simulations are performed with CORSIKA and G4KM2A (a code based on GEANT4). We find that the experimental data (in saturated negative fields) are in good agreement with simulations, assuming the presence of a uniform upward electric field of 700 V/cm with a thickness of 1500 m in the atmosphere above the observation level. Due to the acceleration/deceleration and deflection by the atmospheric electric field, the number of secondary particles with energy above the detector threshold is modified, resulting in the changes in shower detection rate.


title: Differentially Private Estimation via Statistical Depth

abstract: Constructing a differentially private (DP) estimator requires deriving the maximum influence of an observation, which can be difficult in the absence of exogenous bounds on the input data or the estimator, especially in high dimensional settings. This paper shows that standard notions of statistical depth, i.e., halfspace depth and regression depth, are particularly advantageous in this regard, both in the sense that the maximum influence of a single observation is easy to analyze and that this value is typically low. This is used to motivate new approximate DP location and regression estimators using the maximizers of these two notions of statistical depth. A more computationally efficient variant of the approximate DP regression estimator is also provided. Also, to avoid requiring that users specify a priori bounds on the estimates and/or the observations, variants of these DP mechanisms are described that satisfy random differential privacy (RDP), which is a relaxation of differential privacy provided by Hall, Wasserman, and Rinaldo (2013). We also provide simulations of the two DP regression methods proposed here. The proposed estimators appear to perform favorably relative to the existing DP regression methods we consider in these simulations when either the sample size is at least 100-200 or the privacy-loss budget is sufficiently high.


title: Birational geometry of Beauville-Mukai systems I: the rank three and genus two case

abstract: We study wall-crossing for the Beauville-Mukai system of rank three on a general genus two K3 surface. We show that such a system is related to the Hilbert scheme of ten points on the surface by a sequence of flops, whose exceptional loci can be described as Brill-Noether loci. We also obtain Brill-Noether type results for sheaves in the Beauville-Mukai system.


title: Magnetic field measurement in TMC-1C using 22.3 GHz CCS Zeeman splitting

abstract: Measurement of magnetic fields in dense molecular clouds is essential for understanding the fragmentation process prior to star formation. Radio interferometric observations of CCS 22.3 GHz emission, from the starless core TMC-1C, have been carried out with the Karl G. Jansky Very Large Array to search for Zeeman splitting of the line in order to constrain the magnetic field strength. Toward a region offset from the dust peak, we report a detection of the Zeeman splitting of the CCS 2_1 - 1_0 transition, with an inferred magnetic field of ~2 mG. If we interpret the dust peak to be the core of TMC-1C, and the region where we have made a detection of the magnetic field to be the envelope, then our observed value for the magnetic field is consistent with a subcritical mass-to-flux ratio envelope around a core with supercritical mass-to-flux ratio. The ambipolar diffusion timescale for the formation of the core is consistent with the relevant timescale based on chemical modeling of the TMC-1C core. This work demonstrates the potential of deep CCS observation to carry out future measurements of magnetic field strengths in dense molecular clouds and, in turn, understand the role of the magnetic field in star formation.


title: Structured input-output analysis of stably stratified plane Couette flow

abstract: We employ a recently introduced structured input-output analysis (SIOA) approach to analyze streamwise and spanwise wavelengths of flow structures in stably stratified plane Couette flow. In the low-Reynolds number ($Re$) low-bulk Richardson number ($Ri_b$) spatially intermittent regime, we demonstrate that SIOA predicts high amplification associated with wavelengths corresponding to the characteristic oblique turbulent bands in this regime. SIOA also identifies quasi-horizontal flow structures resembling the turbulent-laminar layers commonly observed in the high-$Re$ high-$Ri_b$ intermittent regime. An SIOA across a range of $Ri_b$ and $Re$ values suggests that the classical Miles-Howard stability criterion ($Ri_b\leq 1/4$) is associated with a change in the most amplified flow structures when Prandtl number is close to one ($Pr\approx 1$). However, for $Pr\ll 1$, the most amplified flow structures are determined by the product $PrRi_b$. For $Pr\gg 1$, SIOA identifies another quasi-horizontal flow structure that we show is principally associated with density perturbations. We further demonstrate the dominance of this density-associated flow structure in the high $Pr$ limit by constructing analytical scaling arguments for the amplification in terms of $Re$ and $Pr$ under the assumptions of unstratified flow (with $Ri_b=0$) and streamwise invariance.


title: Inverse cascades of kinetic energy and thermal variance in three-dimensional horizontally extended turbulent convection

abstract: Inverse cascades of kinetic energy and thermal variance in the subset of vertically homogeneous modes in spectral space are found to cause a slow aggregation to a pair of convective supergranules that eventually fill the whole horizontally extended, three-dimensional, turbulent Rayleigh-B\'{e}nard convection layer when a heat flux is prescribed at the top and bottom. An additional weak rotation of the layer around the vertical axis stops this aggregation at a scale that is smaller than the lateral domain extension and ceases the inverse cascade for the thermal variance. The inverse cascade for the kinetic energy remains intact, even for times at which the root mean square values of temperature and velocity have reached the statistically steady state. This kinetic energy inverse cascade sustains the horizontally extended convection patterns which are best visible in the temperature field. The resulting characteristic length of the aggregated convection patterns depends on the thermal driving and linearly on the strength of rotation. Our study demonstrates the importance of inverse energy cascades beyond the two-dimensional turbulence case in a three-dimensional convection flow that is subject to a multi-scale energy injection by thermal plumes and driven by boundary heat fluxes as typically present in natural geo- and astrophysical systems, such as solar convection.


title: Physics Embedded Machine Learning for Electromagnetic Data Imaging

abstract: Electromagnetic (EM) imaging is widely applied in sensing for security, biomedicine, geophysics, and various industries. It is an ill-posed inverse problem whose solution is usually computationally expensive. Machine learning (ML) techniques and especially deep learning (DL) show potential in fast and accurate imaging. However, the high performance of purely data-driven approaches relies on constructing a training set that is statistically consistent with practical scenarios, which is often not possible in EM imaging tasks. Consequently, generalizability becomes a major concern. On the other hand, physical principles underlie EM phenomena and provide baselines for current imaging techniques. To benefit from prior knowledge in big data and the theoretical constraint of physical laws, physics embedded ML methods for EM imaging have become the focus of a large body of recent work. This article surveys various schemes to incorporate physics in learning-based EM imaging. We first introduce background on EM imaging and basic formulations of the inverse problem. We then focus on three types of strategies combining physics and ML for linear and nonlinear imaging and discuss their advantages and limitations. Finally, we conclude with open challenges and possible ways forward in this fast-developing field. Our aim is to facilitate the study of intelligent EM imaging methods that will be efficient, interpretable and controllable.


title: Birational geometry of Beauville-Mukai systems II: general theory in low ranks

abstract: Via wall-crossing, we study the birational geometry of Beauville-Mukai systems on K3 surfaces with Picard rank one. We show that there is a class of walls which are always present in the movable cones of Beauville-Mukai systems. We give a complete description of the birational geometry of rank two Beauville-Mukai systems when the genus of the surface is small.


title: Probing phonon-driven symmetry alterations in graphene via high-harmonic spectroscopy

abstract: High-harmonic spectroscopy has become an essential ingredient in probing various ultrafast electronic processes in solids with sub-cycle temporal resolution. Despite its immense importance, sensitivity of high-harmonic spectroscopy to phonon dynamics in solids is not well known. This work addresses this critical question and demonstrates the potential of high-harmonic spectroscopy in probing intertwined phonon-electron dynamics in solids. A pump pulse excites in-plane optical phonon modes in monolayer graphene and a circularly polarised pulse is employed to probe the excited phonon dynamics that generates higher-order harmonics. We show that the coherent phonon dynamics alters the dynamical symmetry of graphene with the probe pulse and leads the generations of the symmetry-forbidden harmonics. Moreover, sidebands associated with the prominent harmonic peaks are generated as a result of the coherent dynamics. It is found that the symmetries and the characteristic timescale of the excited phonon mode determine the polarisation and positions of these sidebands. Present work opens an avenue in time-resolved probing of phonon-driven processes and dynamical symmetries in solids with sub-cycle temporal resolution.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.chem-ph


title: Scalable Cyber-Physical Testbed for Cybersecurity Evaluation of Synchrophasors in Power Systems

abstract: This paper presents a real-time cyber-physical (CPS) testbed for power systems with different real attack scenarios on the synchrophasors-phasor measurement units (PMU). The testbed focuses on real-time cyber-security emulation with components including a digital real-time simulator, virtual machines (VM), a communication network emulator, and a package manipulation tool. The script-based VM deployment and the software-defined network emulation facilitate a highly-scalable cyber-physical testbed, which enables emulations of a real power system under different attack scenarios such as Address Resolution Protocol (ARP) poisoning attack, Man In The Middle (MITM) attack, False Data Injection Attack (FDIA), and Eavesdropping Attack. The common synchrophasor, IEEE C37.118.2 named pySynphasor has been implemented and analyzed for its security vulnerabilities. The paper also presented an interactive framework for injecting false data into a realistic system utilizing the pySynphasor module. The framework can dissect and reconstruct the C37.118.2 packets, which expands the potential of testing and developing PMU-based systems and their security in detail and benefits the power industry and academia. A case for the demonstration of the FDIA attack on the linear state estimation together with the bad-data detection procedure are presented as an example of the testbed capability.


title: Disforming to Conformal Symmetry

abstract: We analyse the dynamical properties of disformally transformed theories of gravity. We show that disformal transformation typically introduces novel degrees of freedom, equivalent to the mimetic dark matter, which possesses a Weyl-invariant formulation. We demonstrate that this phenomenon occurs in a wider variety of disformal transformations than previously thought.


title: Thermal and Non-Thermal Properties of Active Region Recurrent Coronal Jets

abstract: We present observations of recurrent active region coronal jets and derive their thermal and non-thermal properties, by studying the physical properties of the plasma simultaneously at the base footpoint, and along the outflow of jets. The sample of analyzed solar jets were observed by SDO-AIA in Extreme Ultraviolet and by RHESSI in the X-Ray domain. The main thermal plasma physical parameters: temperature, density, energy flux contributions, etc. are calculated using multiple inversion techniques to obtain the differential emission measure from extreme-ultraviolet filtergrams. The underlying models are assessed, and their limitations and applicability are scrutinized. Complementarily, we perform source reconstruction and spectral analysis of higher energy X-Ray observations to further assess the thermal structure and identify non-thermal plasma emission properties. We discuss a peculiar penumbral magnetic reconnection site, which we previously identified as a ``Coronal Geyser''. Evidence supporting cool and hot thermal emission, and non-thermal emission, is presented for a subset of geyser jets. These active region jets are found to be energetically stronger than their polar counterparts, but we find their potential influence on heliospheric energetics and dynamics to be limited. We scrutinize whether the geyser does fit the non-thermal erupting microflare picture, finding that our observations at peak flaring times can only be explained by a combination of thermal and non-thermal emission models. This analysis of geysers provides new information and observational constraints applicable to theoretical modeling of solar jets.


title: Rank and pairs of Rank and Dimension of Kernel of $\mathbb{Z}_p\mathbb{Z}_{p^2}$-linear codes

abstract: A code $C$ is called $\mathbb{Z}_p\mathbb{Z}_{p^2}$-linear if it is the Gray image of a $\mathbb{Z}_p\mathbb{Z}_{p^2}$-additive code. For any prime number $p$ larger than $3$, the bounds of the rank of $\mathbb{Z}_p\mathbb{Z}_{p^2}$-linear codes are given. For each value of the rank and the pairs of rank and the dimension of the kernel of $\mathbb{Z}_p\mathbb{Z}_{p^2}$-linear codes, we give detailed construction of the corresponding codes. Finally, as an example, the rank and the dimension of the kernel of $\mathbb{Z}_5\mathbb{Z}_{25}$-linear codes are studied.


title: Time-invariant prefix-free source coding for MIMO LQG control

abstract: In this work we consider discrete-time multiple-input multiple-output (MIMO) linear-quadratic-Gaussian (LQG) control where the feedback consists of variable length binary codewords. To simplify the decoder architecture, we enforce a strict prefix constraint on the codewords. We develop a data compression architecture that provably achieves a near minimum time-average expected bitrate for a fixed constraint on the LQG performance. The architecture conforms to the strict prefix constraint and does not require time-varying lossless source coding, in contrast to the prior art.


title: Exploring the Design of Adaptation Protocols for Improved Generalization and Machine Learning Safety

abstract: While directly fine-tuning (FT) large-scale, pretrained models on task-specific data is well-known to induce strong in-distribution task performance, recent works have demonstrated that different adaptation protocols, such as linear probing (LP) prior to FT, can improve out-of-distribution generalization. However, the design space of such adaptation protocols remains under-explored and the evaluation of such protocols has primarily focused on distribution shifts. Therefore, in this work, we evaluate common adaptation protocols across distributions shifts and machine learning safety metrics (e.g., anomaly detection, calibration, robustness to corruptions). We find that protocols induce disparate trade-offs that were not apparent from prior evaluation. Further, we demonstrate that appropriate pairing of data augmentation and protocol can substantially mitigate this trade-off. Finally, we hypothesize and empirically see that using hardness-promoting augmentations during LP and then FT with augmentations may be particularly effective for trade-off mitigation.


title: Multiplication operators on the weighted Lipschitz space of a tree

abstract: We study the multiplication operators on the weighted Lipschitz space $\mathcal{L}_{\textbf{w}}$ consisting of the complex-valued functions $f$ on the set of vertices of an infinite tree $T$ rooted at $o$ such that $\sup_{v\neq o}|v||f(v)-f(v^-)|<\infty$, where $|v|$ denotes the distance between $o$ and $v$ and $v^-$ is the neighbor of $v$ closest to $o$. For the multiplication operator, we characterize boundedness, compactness, provide estimates on the operator norm and the essential norm, and determine the spectrum. We prove that there are no isometric multiplication operators or isometric zero divisors on $\mathcal{L}_{\textbf{w}}$.


title: Pattern-avoiding even and odd Grassmannian permutations

abstract: In this paper, we investigate pattern avoidance of parity restricted (even or odd) Grassmannian permutations for patterns of sizes 3 and 4. We use a combination of direct counting and bijective techniques to provide recurrence relations, closed formulas, and generating functions for their corresponding enumerating sequences. In addition, we establish some connections to Dyck paths, directed multigraphs, weak compositions, and certain integer partitions.


title: Leptonic Anomalous Magnetic and Electric Dipole Moments in the CP-violating NMSSM with and without Inverse Seesaw Mechanism

abstract: The new results on the muon anomalous magnetic moment (AMM) published by Fermilab in 2021, did not lead to a reduction of its long-pending deviation from the Standard Model (SM) value by more than 4$\sigma$. The explanation of this discrepancy by adding new particles to the theory puts many new physics models under tension when combined with the null results of the LHC direct searches for new particles. In this paper, we investigate the CP-violating Next-to-Minimal Supersymmetric extension of the SM (NMSSM) with and without an inverse seesaw mechanism. We compute the one-loop supersymmetric contributions to the AMM and the two-loop Barr-Zee-type diagrams with effective Higgs couplings to photons for the leptonic electric dipole moments (EDMs). The effects of the extended (s)neutrino sector on the muon AMM and on the mass of the SM-like Higgs boson can be significant. Complex phases can have an important impact on the AMM. On the other hand, the stringent limits from the EDMs on the complex phases have to be taken into account. Our calculations have been implemented in the Fortran codes NMSSMCALC and NMSSMCALC-nuSS which are publicly available. Besides the leptonic AMMs and EDMs, these programs can compute the Higgs boson masses and mixings, together with Higgs boson decay widths and branching ratios taking into account the mostup-to-date higher-order corrections in the NMSSM with and without inverse seesaw mechanism.


title: Sizing Co-located Storage for Uncertain Renewable Energy Sold Through Forward Contracts

abstract: In this paper, we propose a high-level Stochastic steady-state model to analyze the value of co-located energy storage systems for wind power producers that participate in an electricity market through Forward or Day Ahead contracts. In particular, we try to find optimal sizing and contracting and stationary operating policies for profit maximization in the long-run. We obtain a stylized model calibrated to actual wind power production and electricity wholesale price data that allows us to asses the value of storage size and perform sensitivity analysis on key parameters such as contract prices, storage cost and storage efficiency.


title: Large-displacement 3D Object Tracking with Hybrid Non-local Optimization

abstract: Optimization-based 3D object tracking is known to be precise and fast, but sensitive to large inter-frame displacements. In this paper we propose a fast and effective non-local 3D tracking method. Based on the observation that erroneous local minimum are mostly due to the out-of-plane rotation, we propose a hybrid approach combining non-local and local optimizations for different parameters, resulting in efficient non-local search in the 6D pose space. In addition, a precomputed robust contour-based tracking method is proposed for the pose optimization. By using long search lines with multiple candidate correspondences, it can adapt to different frame displacements without the need of coarse-to-fine search. After the pre-computation, pose updates can be conducted very fast, enabling the non-local optimization to run in real time. Our method outperforms all previous methods for both small and large displacements. For large displacements, the accuracy is greatly improved ($81.7\% \;\text{v.s.}\; 19.4\%$). At the same time, real-time speed ($>$50fps) can be achieved with only CPU. The source code is available at \url{https://github.com/cvbubbles/nonlocal-3dtracking}.


title: A posteriori virtual element method for the acoustic vibration problem

abstract: In two dimensions, we propose and analyze an a posteriori error estimator for the acoustic spectral problem based on the virtual element method in $\H(\div;\Omega)$. Introducing an auxiliary unknown, we use the fact that the primal formulation of the acoustic problem is equivalent to a mixed formulation, in order to prove a superconvergence result, necessary to despise high order terms. Under the virtual element approach, we prove that our local indicator is reliable and globally efficient in the $\L^2$-norm. We provide numerical results to assess the performance of the proposed error estimator.


title: Multi-Attention Network for Compressed Video Referring Object Segmentation

abstract: Referring video object segmentation aims to segment the object referred by a given language expression. Existing works typically require compressed video bitstream to be decoded to RGB frames before being segmented, which increases computation and storage requirements and ultimately slows the inference down. This may hamper its application in real-world computing resource limited scenarios, such as autonomous cars and drones. To alleviate this problem, in this paper, we explore the referring object segmentation task on compressed videos, namely on the original video data flow. Besides the inherent difficulty of the video referring object segmentation task itself, obtaining discriminative representation from compressed video is also rather challenging. To address this problem, we propose a multi-attention network which consists of dual-path dual-attention module and a query-based cross-modal Transformer module. Specifically, the dual-path dual-attention module is designed to extract effective representation from compressed data in three modalities, i.e., I-frame, Motion Vector and Residual. The query-based cross-modal Transformer firstly models the correlation between linguistic and visual modalities, and then the fused multi-modality features are used to guide object queries to generate a content-aware dynamic kernel and to predict final segmentation masks. Different from previous works, we propose to learn just one kernel, which thus removes the complicated post mask-matching procedure of existing methods. Extensive promising experimental results on three challenging datasets show the effectiveness of our method compared against several state-of-the-art methods which are proposed for processing RGB data. Source code is available at: https://github.com/DexiangHong/MANet.


title: Staggered grids for multidimensional multiscale modelling

abstract: Numerical schemes for wave-like systems with small dissipation are often inaccurate and unstable due to truncation errors and numerical roundoff errors. Hence, numerical simulations of wave-like systems lacking proper handling of these numerical issues often fail to represent the physical characteristics of wave phenomena. This challenge gets even more intricate for multiscale modelling, especially in multiple dimensions. When using the usual collocated grid, about two-thirds of the resolved wave modes are incorrect with significant dispersion. But, numerical schemes on staggered grids (with alternating variable arrangement) are significantly less dispersive and preserve much of the wave characteristics. Also, the group velocity of the energy propagation in the numerical waves on a staggered grid is in the correct direction, in contrast to the collocated grid. For high accuracy and to preserve much of the wave characteristics, this article extends the concept of staggered grids in full-domain modelling to multidimensional multiscale modelling. Specifically, this article develops 120 multiscale staggered grids and demonstrates their stability, accuracy, and wave-preserving characteristic for equation-free multiscale modelling of weakly damped linear waves. But most characteristics of the developed multiscale staggered grids must also hold in general for multiscale modelling of many complex spatio-temporal physical phenomena such as the general computational fluid dynamics.

categories: math.NA cs.NA math.DS physics.comp-ph physics.flu-dyn


title: Distinguishability Transitions in Non-Unitary Boson Sampling Dynamics

abstract: We discover novel transitions characterized by distinguishability of bosons in non-unitary dynamics with parity-time ($\mathcal{PT}$) symmetry. We show that $\mathcal{PT}$ symmetry breaking, a unique transition in non-Hermitian open systems, enhances regions in which bosons can be regarded as distinguishable. This means that classical computers can sample the boson distributions efficiently in these regions by sampling the distribution of distinguishable particles. In a $\mathcal{PT}$-symmetric phase, we find one dynamical transition upon which the distribution of bosons deviates from that of distinguishable particles, when bosons are initially put at distant sites. If the system enters a $\mathcal{PT}$-broken phase, the threshold time for the transition is suddenly prolonged, since dynamics of each boson is diffusive (ballistic) in the $\mathcal{PT}$-broken ($\mathcal{PT}$-symmetric) phase. Furthermore, the $\mathcal{PT}$-broken phase also exhibits a notable dynamical transition on a longer time scale, at which the bosons again become distinguishable. This transition, and hence the classical easiness of sampling bosons in long times, are true for generic postselected non-unitary quantum dynamics, while it is absent in unitary dynamics of isolated quantum systems. $\mathcal{PT}$ symmetry breaking can also be characterized by the efficiency of a classical algorithm based on the rank of matrices, which can (cannot) efficiently compute the photon distribution in the long-time regime of the $\mathcal{PT}$-broken ($\mathcal{PT}$-symmetric) phase.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP physics.optics


title: Adaptive Asymmetric Label-guided Hashing for Multimedia Search

abstract: With the rapid growth of multimodal media data on the Web in recent years, hash learning methods as a way to achieve efficient and flexible cross-modal retrieval of massive multimedia data have received a lot of attention from the current Web resource retrieval research community. Existing supervised hashing methods simply transform label information into pairwise similarity information to guide hash learning, leading to a potential risk of semantic error in the face of multi-label data. In addition, most existing hash optimization methods solve NP-hard optimization problems by employing approximate approximation strategies based on relaxation strategies, leading to a large quantization error. In order to address above obstacles, we present a simple yet efficient Adaptive Asymmetric Label-guided Hashing, named A2LH, for Multimedia Search. Specifically, A2LH is a two-step hashing method. In the first step, we design an association representation model between the different modality representations and semantic label representation separately, and use the semantic label representation as an intermediate bridge to solve the semantic gap existing between different modalities. In addition, we present an efficient discrete optimization algorithm for solving the quantization error problem caused by relaxation-based optimization algorithms. In the second step, we leverage the generated hash codes to learn the hash mapping functions. The experimental results show that our proposed method achieves optimal performance on all compared baseline methods.


title: Global Modeling of Nebulae With Particle Growth, Drift, and Evaporation Fronts. II. The Influence of Porosity on Solids Evolution

abstract: Incremental particle growth in turbulent protoplanetary nebulae is limited by a combination of barriers that can slow or stall growth. Moreover, particles that grow massive enough to decouple from the gas are subject to inward radial drift which could lead to the depletion of most disk solids before planetesimals can form. Compact particle growth is probably not realistic. Rather, it is more likely that grains grow as fractal aggregates which may overcome this so-called radial drift barrier because they remain more coupled to the gas than compact particles of equal mass. We model fractal aggregate growth and compaction in a viscously evolving solar-like nebula for a range of turbulent intensities $\alpha_{\rm{t}} = 10^{-5}-10^{-2}$. We do find that radial drift is less influential for porous aggregates over much of their growth phase; however, outside the water snowline fractal aggregates can grow to much larger masses with larger Stokes numbers more quickly than compact particles, leading to rapid inward radial drift. As a result, disk solids outside the snowline out to $\sim 10-20$ AU are depleted earlier than in compact growth models, but outside $\sim 20$ AU material is retained much longer because aggregate Stokes numbers there remain lower initially. Nevertheless, we conclude even fractal models will lose most disk solids without the intervention of some leap-frog planetesimal forming mechanism such as the Streaming Instability (SI), though conditions for the SI are generally never satisfied, except for a brief period %for a brief stage around $\sim 0.2$ Myr at the snowline for $\alpha_{\rm{t}}=10^{-5}$.


title: Key frames assisted hybrid encoding for photorealistic compressive video sensing

abstract: Snapshot compressive imaging (SCI) encodes high-speed scene video into a snapshot measurement and then computationally makes reconstructions, allowing for efficient high-dimensional data acquisition. Numerous algorithms, ranging from regularization-based optimization and deep learning, are being investigated to improve reconstruction quality, but they are still limited by the ill-posed and information-deficient nature of the standard SCI paradigm. To overcome these drawbacks, we propose a new key frames assisted hybrid encoding paradigm for compressive video sensing, termed KH-CVS, that alternatively captures short-exposure key frames without coding and long-exposure encoded compressive frames to jointly reconstruct photorealistic video. With the use of optical flow and spatial warping, a deep convolutional neural network framework is constructed to integrate the benefits of these two types of frames. Extensive experiments on both simulations and real data from the prototype we developed verify the superiority of the proposed method.


title: Bundle MCR: Towards Conversational Bundle Recommendation

abstract: Bundle recommender systems recommend sets of items (e.g., pants, shirt, and shoes) to users, but they often suffer from two issues: significant interaction sparsity and a large output space. In this work, we extend multi-round conversational recommendation (MCR) to alleviate these issues. MCR, which uses a conversational paradigm to elicit user interests by asking user preferences on tags (e.g., categories or attributes) and handling user feedback across multiple rounds, is an emerging recommendation setting to acquire user feedback and narrow down the output space, but has not been explored in the context of bundle recommendation. In this work, we propose a novel recommendation task named Bundle MCR. We first propose a new framework to formulate Bundle MCR as Markov Decision Processes (MDPs) with multiple agents, for user modeling, consultation and feedback handling in bundle contexts. Under this framework, we propose a model architecture, called Bundle Bert (Bunt) to (1) recommend items, (2) post questions and (3) manage conversations based on bundle-aware conversation states. Moreover, to train Bunt effectively, we propose a two-stage training strategy. In an offline pre-training stage, Bunt is trained using multiple cloze tasks to mimic bundle interactions in conversations. Then in an online fine-tuning stage, Bunt agents are enhanced by user interactions. Our experiments on multiple offline datasets as well as the human evaluation show the value of extending MCR frameworks to bundle settings and the effectiveness of our Bunt design.


title: Global Modeling of Nebulae With Particle Growth, Drift, and Evaporation Fronts. III. Redistribution of Refractories and Volatiles

abstract: Formation of the first planetesimals remains an unsolved problem. Growth by sticking must initiate the process, but multiple studies have revealed a series of barriers that can slow or stall growth, most of them due to nebula turbulence. In a companion paper, we study the influence of these barriers on models of fractal aggregate and solid, compact particle growth in a viscously evolving solar-like nebula for a range of turbulent intensities $\alpha_{\rm{t}} = 10^{-5}-10^{-2}$. Here, we examine how disk composition in these same models changes with time. We find that advection and diffusion of small grains and vapor, and radial inward drift for larger compact particles and fractal aggregates, naturally lead to diverse outcomes for planetesimal composition. Larger particles can undergo substantial inward radial migration due to gas drag before being collisionally fragmented or partially evaporating at various temperatures. This leads to enhancement of the associated volatile in both vapor inside, and solids outside, their respective evaporation fronts, or ``snowlines''. In cases of lower $\alpha_{\rm{t}}$, we see narrow belts of volatile or supervolatile material develop in the outer nebula, which could be connected to the bands of ``pebbles" seen by ALMA. Volatile bands, which migrate inwards as the disk cools, can persist over long timescales as their gas phase continues to advect or diffuse outward across its evaporation front. These belts could be sites where supervolatile-rich planetesimals form, such as the rare CO-rich and water-poor comets; giant planets formed just outside the H$_2$O snowline may be enhanced in water.


title: Bayesian Causal Inference in Sequentially Randomized Experiments with Noncompliance

abstract: Scientific researchers utilize randomized experiments to draw casual statements. Most early studies as well as current work on experiments with sequential intervention decisions has been focusing on estimating the causal effects among sequential treatments, ignoring the non-compliance issues that experimental units might not be compliant with the treatment assignments that they were originally allocated. A series of methodologies have been developed to address the non-compliance issues in randomized experiments with time-fixed treatment. However, to our best knowledge, there is little literature studies on the non-compliance issues in sequential experiments settings. In this paper, we go beyond the traditional methods using per-protocol, as-treated, or intention-to-treat analysis and propose a latent mixture Bayesian framework to estimate the sample-average treatment effect in sequential experiment having non-compliance concerns.


title: A Learning and Control Perspective for Microfinance

abstract: Microfinance, despite its significant potential for poverty reduction, is facing sustainability hardships due to high default rates. Although many methods in regular finance can estimate credit scores and default probabilities, these methods are not directly applicable to microfinance due to the following unique characteristics: a) under-explored (developing) areas such as rural Africa do not have sufficient prior loan data for microfinance institutions (MFIs) to establish a credit scoring system; b) microfinance applicants may have difficulty providing sufficient information for MFIs to accurately predict default probabilities; and c) many MFIs use group liability (instead of collateral) to secure repayment. Here, we present a novel control-theoretic model of microfinance that accounts for these characteristics. We construct an algorithm to learn microfinance decision policies that achieve financial inclusion, fairness, social welfare, and sustainability. We characterize the convergence conditions to Pareto-optimum and the convergence speeds. We demonstrate, in numerous real and synthetic datasets, that the proposed method accounts for the complexities induced by group liability to produce robust decisions before sufficient loans are given to establish credit scoring systems and for applicants whose default probability cannot be accurately estimated due to missing information. To the best of our knowledge, this paper is the first to connect microfinance and control theory. We envision that the connection will enable safe learning and control techniques to help modernize microfinance and alleviate poverty.


title: Design and Operation of the PandaX-4T High Speed Ultra-high Purity Xenon Recuperation System

abstract: In order to recuperate the ultra-high purity xenon from PandaX-4T dark matter detector to high-pressure gas cylinders in emergency or at the end-of-run situation, a high speed ultra-high purity xenon recuperation system is designed and developed. This system includes a diaphragm pump, the heat management system, the main recuperation pipeline, the reflux pipeline, the auxiliary recuperation pipeline and the automatic control system. The liquid xenon in the detector is vaporized by the heat management system, and the gaseous xenon is compressed to 6 MPa at the flow rate of 200 standard litres per minute (SLPM) using the diaphragm compressor. The high-pressure xenon is filled into 128 gas cylinders via the main recuperation pipeline. During the recuperation, the low pressure and temperature conditions of 2 ~ 3 atmospheres and 178 ~ 186.5 K in PandaX-4T dark matter detector are kept by the cooperation of the main recuperation pipeline, reflux pipeline and the auxiliary recuperation pipeline to guarantee the safety, and the purity of the recuperated xenon gas is measured to ensure no contamination happened. The development of the high speed ultra-high purity xenon recuperation system is important for the operation of large-scale dark matter detectors with the requirements of strict temperature and pressure environment and low background.


title: Revisiting Dwork cohomology: Visibility and divisibility of Frobenius eigenvalues in rigid cohomology

abstract: We study Frobenius eigenvalues of the compactly supported rigid cohomology of a variety defined over a finite field of $q$ elements via Dwork's method. A couple of arithmetic consequences will be drawn from this study. As the first application, we show that the zeta functions for finitely many related affine varieties are capable of witnessing all Frobenius eigenvalues of the rigid cohomology of the variety up to Tate twist. This result does not seem to be known for $\ell$-adic cohomology. As the second application, we prove several $q$-divisibility lower bounds for Frobenius eigenvalues of the rigid cohomology of the variety in terms of the multi-degrees of the defining equations. These divisibility bounds for rigid cohomology are generally better than what is suggested from the best known divisibility bounds in $\ell$-adic cohomology, both before and after the middle cohomological dimension.


title: Isometric composition operators on the analytic Besov spaces

abstract: We investigate the isometric composition operators on the analytic Besov spaces. For $1<p<2$ we show that an isometric composition operator is induced only by a rotation of the disk. For $p>2$, we extend previous work on the subject. Finally, we analyze this same problem for the Besov spaces with an equivalent norm.