title: CC-Riddle: A Question Answering Dataset of Chinese Character Riddles

abstract: The Chinese character riddle is a unique form of cultural entertainment specific to the Chinese language. It typically comprises two parts: the riddle description and the solution. The solution to the riddle is a single character, while the riddle description primarily describes the glyph of the solution, occasionally supplemented with its explanation and pronunciation. Solving Chinese character riddles is a challenging task that demands understanding of character glyph, general knowledge, and a grasp of figurative language. In this paper, we construct a \textbf{C}hinese \textbf{C}haracter riddle dataset named CC-Riddle, which covers the majority of common simplified Chinese characters. The construction process is a combination of web crawling, language model generation and manual filtering. In generation stage, we input the Chinese phonetic alphabet, glyph and meaning of the solution character into the generation model, which then produces multiple riddle descriptions. The generated riddles are then manually filtered and the final CC-Riddle dataset is composed of both human-written riddles and these filtered, generated riddles. In order to assess the performance of language models on the task of solving character riddles, we use retrieval-based, generative and multiple-choice QA strategies to test three language models: BERT, ChatGPT and ChatGLM. The test results reveal that current language models still struggle to solve Chinese character riddles. CC-Riddle is publicly available at \url{https://github.com/pku0xff/CC-Riddle}.


title: Identifying Nonlinear Dynamics with High Confidence from Sparse Data

abstract: We introduce a novel procedure that, given sparse data generated from a stationary deterministic nonlinear dynamical system, can characterize specific local and/or global dynamic behavior with rigorous probability guarantees. More precisely, the sparse data is used to construct a statistical surrogate model based on a Gaussian process (GP). The dynamics of the surrogate model is interrogated using combinatorial methods and characterized using algebraic topological invariants (Conley index). The GP predictive distribution provides a lower bound on the confidence that these topological invariants, and hence the characterized dynamics, apply to the unknown dynamical system (a sample path of the GP). The focus of this paper is on explaining the ideas, thus we restrict our examples to one-dimensional systems and show how to capture the existence of fixed points, periodic orbits, connecting orbits, bistability, and chaotic dynamics.


title: Fewest-Switches Surface Hopping with Long Short-Term Memory Networks

abstract: The mixed quantum-classical dynamical simulation is essential to study nonadiabatic phenomena in photophysics and photochemistry. In recent years, many machine learning models have been developed to accelerate the time evolution of the nuclear subsystem. Herein, we implement long short-term memory (LSTM) networks as a propagator to accelerate the time evolution of the electronic subsystem during the fewest-switches surface hopping (FSSH) simulations. A small number of reference trajectories are generated using the original FSSH method, and then the LSTM networks can be built, accompanied by careful examination of typical LSTM-FSSH trajectories that employ the same initial condition and random numbers as the corresponding reference. The constructed network is applied to FSSH to further produce a trajectory ensemble to reveal the mechanism of nonadiabatic processes. Taking Tully's three models as test systems, the collective results can be reproduced qualitatively. This work demonstrates that LSTM is applicable to the most popular surface hopping simulations.


title: Feasibility of a Fulde-Ferrell-Larkin-Ovchinnikov superfluid Fermi atomic gas

abstract: We theoretically explore a promising route to achieve the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state in a spin-imbalanced ultracold Fermi gas. In the current stage of cold atom physics, search for this exotic Fermi superfluid is facing two serious difficulties: One is the desperate destruction of the FFLO long-range order by FFLO pairing fluctuations, which precludes entering the phase through a second-order transition, even in three dimension. The other is the fierce competition with the phase separation into the BCS (Bardeen-Cooper-Schrieffer) state and the spin-polarized normal state. Including strong FFLO pairing fluctuations within the framework of the strong-coupling theory developed by Nozi\`eres and Schmitt-Rink, we show that the anisotropy of Fermi surface introduced by an optical lattice makes the FFLO state stable against the paring fluctuations. This stabilized FFLO state is also found to be able to overcome the competition with the phase separation under a certain condition. Since the realization of unconventional Fermi superfluids is one of the most exciting challenges in cold atom physics, our results would contribute to the further development of this field.


title: Versatile tuning of Kerr soliton microcombs in crystalline microresonators

abstract: Microresonator-based optical frequency combs emitted from high-quality-factor microresonators, also known as microcombs, have opened up new horizons to areas of optical frequency comb technology including frequency metrology, precision sensing, and optical communication. To extend the capability of microcombs for such applications, large and reliable tunability is of critical importance. Here, we show broad spectral tuning of Kerr soliton microcombs in a thermally controlled crystalline microresonator with pump-detuning stabilization. The fundamental elements composing frequency combs, namely the center frequency, repetition frequency, and carrier-envelope offset frequency, are spectrally tuned by up to -48.8 GHz, -5.85 MHz, and -386 MHz, respectively, leveraging thermal effects in ultrahigh-Q crystalline magnesium fluoride resonators. We further demonstrate a 3.4-fold enhancement of soliton comb power resulting from thermal expansion with a temperature change of only 28 K by employing quantitative analyses of the fiber-to-resonator coupling efficiency.


title: Empirical rule of fruit rind fragmentation in muskmelon netting

abstract: The suberized netting tissue on the surface of muskmelons is a remnant of the rind fragmentation caused by the mechanical imbalance between the expanding flesh meat and the solidified epidermis during growth. The appearance of this netting pattern is an important indicator for assessing the quality of muskmelons; however, very few quantitative studies have been conducted on the geometry of the netting. This study statistically analyzed the areas of fine epidermis fragments surrounded by the net using image analysis and explored a common rule governing the probability distribution of the fragment area. We found that the fragment area distribution follows a universal law by the modified Bessel function, which is consistent with the theoretical argument for the fracture behavior of brittle materials.


title: Optimisation models for the day-ahead energy and reserve scheduling of a hybrid wind-battery virtual power plant

abstract: This work presents a suite of two optimisation models for the short-term scheduling and redispatch of a virtual power plant (VPP) composed of a wind farm and a Li-ion battery, that participates in the day-ahead energy and secondary regulation reserve markets of the Iberian electricity market. First, a two-stage stochastic mixed-integer linear programming model is used to obtain the VPP's generation and reserve schedule and the opportunity cost of the energy stored in the battery. The model has an hourly resolution and a look-ahead period beyond the markets' scheduling horizon and considers the hourly battery degradation costs as a function of both the depth of discharge and the discharge rate. Different strategies are evaluated to forecast the real-time use of the committed secondary regulation reserves. Second, a deterministic MILP model is used to determine the redispatch of the VPP using as input the generation and reserve schedule and the VPP's storage opportunity cost provided by the former model and is executed on an hourly rolling basis. The results obtained show that the proposed models are effective for the short-term scheduling and redispatch of the VPP used with a low computational time, making them tractable and practical for their daily use.


title: 3D Multi-Object Tracking with Differentiable Pose Estimation

abstract: We propose a novel approach for joint 3D multi-object tracking and reconstruction from RGB-D sequences in indoor environments. To this end, we detect and reconstruct objects in each frame while predicting dense correspondences mappings into a normalized object space. We leverage those correspondences to inform a graph neural network to solve for the optimal, temporally-consistent 7-DoF pose trajectories of all objects. The novelty of our method is two-fold: first, we propose a new graph-based approach for differentiable pose estimation over time to learn optimal pose trajectories; second, we present a joint formulation of reconstruction and pose estimation along the time axis for robust and geometrically consistent multi-object tracking. In order to validate our approach, we introduce a new synthetic dataset comprising 2381 unique indoor sequences with a total of 60k rendered RGB-D images for multi-object tracking with moving objects and camera positions derived from the synthetic 3D-FRONT dataset. We demonstrate that our method improves the accumulated MOTA score for all test sequences by 24.8% over existing state-of-the-art methods. In several ablations on synthetic and real-world sequences, we show that our graph-based, fully end-to-end-learnable approach yields a significant boost in tracking performance.


title: Understanding the QCD medium by the diffusion of charm quarks using a Color String Percolation Model

abstract: We study the drag and diffusion coefficients of the charm quark in the deconfined matter produced in the ultra-relativistic collisions by taking the Color String Percolation Model (CSPM) approach. CSPM, being a QCD-inspired model, can give us essential information about the hot and dense system produced in ultra-relativistic collisions. With the information on initial percolation temperature and percolation density, we estimate the relaxation time ($\tau_{c}$), drag coefficient ($\gamma$), transverse momentum diffusion coefficient ($B_{0}$), and spatial diffusion coefficient ($D_{s}$) of charm quark inside a deconfined medium. Finally, we compare the obtained results with lattice QCD and with various other theoretical models. A good agreement can be observed between the results obtained from CSPM and lattice QCD.


title: Improving Correlation Capture in Generating Imbalanced Data using Differentially Private Conditional GANs

abstract: Despite the remarkable success of Generative Adversarial Networks (GANs) on text, images, and videos, generating high-quality tabular data is still under development owing to some unique challenges such as capturing dependencies in imbalanced data, optimizing the quality of synthetic patient data while preserving privacy. In this paper, we propose DP-CGANS, a differentially private conditional GAN framework consisting of data transformation, sampling, conditioning, and networks training to generate realistic and privacy-preserving tabular data. DP-CGANS distinguishes categorical and continuous variables and transforms them to latent space separately. Then, we structure a conditional vector as an additional input to not only presents the minority class in the imbalanced data, but also capture the dependency between variables. We inject statistical noise to the gradients in the networking training process of DP-CGANS to provide a differential privacy guarantee. We extensively evaluate our model with state-of-the-art generative models on three public datasets and two real-world personal health datasets in terms of statistical similarity, machine learning performance, and privacy measurement. We demonstrate that our model outperforms other comparable models, especially in capturing dependency between variables. Finally, we present the balance between data utility and privacy in synthetic data generation considering the different data structure and characteristics of real-world datasets such as imbalance variables, abnormal distributions, and sparsity of data.


title: A global QCD analysis of diffractive parton distribution function considering higher twist corrections within the xFitter framework

abstract: We present {\tt SKMHS22}, a new set of diffractive parton distribution functions (PDFs) and their uncertainties at next-to-leading-order accuracy in perturbative QCD within the {\tt xFitter} framework. We describe all available diffractive DIS data sets from HERA and the most recent high-precision H1/ZEUS combined measurements considering three different scenarios. First, we extract the diffractive PDFs considering the standard twist-2 contribution. Then, we include the twist-4 correction from the longitudinal virtual photons. Finally, the contribution of subleading Reggeon exchange to the structure-function $F_2^D$ is also examined. For the contribution of heavy flavors, we utilize the Thorne-Roberts general mass variable number scheme. We show that for those corrections, in particular, the twist-4 contribution allows to include the high-$\beta$ region and leads to a better description of the diffractive DIS data sets. We find that the inclusion of the subleading Reggeon exchange significantly improves the description of the diffractive DIS cross-section measurements. The resulting sets are in good agreement with all diffractive DIS data analyzed, which cover a wider kinematical range than in previous fits. The {\tt SKMHS22} diffractive PDFs sets presented in this work are available via the {\tt LHAPDF} interface. We also make suggestions for future research in this area.


title: Roadmap for Optical Tweezers

abstract: Optical tweezers are tools made of light that enable contactless pushing, trapping, and manipulation of objects ranging from atoms to space light sails. Since the pioneering work by Arthur Ashkin in the 1970s, optical tweezers have evolved into sophisticated instruments and have been employed in a broad range of applications in life sciences, physics, and engineering. These include accurate force and torque measurement at the femtonewton level, microrheology of complex fluids, single micro- and nanoparticle spectroscopy, single-cell analysis, and statistical-physics experiments. This roadmap provides insights into current investigations involving optical forces and optical tweezers from their theoretical foundations to designs and setups. It also offers perspectives for applications to a wide range of research fields, from biophysics to space exploration.


title: A poor agent and subsidy: an investigation through CCM model

abstract: In this work, the dynamics of agents below a \textit{threshold line} in some modified CCM type kinetic wealth exchange models are studied. These agents are eligible for subsidy as can be seen in any real economy. An interaction is prohibited if both of the interacting agents' wealth fall below the threshold line. A walk for such agents can be conceived in the abstract Gain-Loss Space(GLS) and is macroscopically compared to a lazy walk. The effect of giving subsidy once to such agents is checked over giving repeated subsidy from the point of view of the walk in GLS. It is seen that the walk has more positive drift if the subsidy is given once. The correlations and other interesting quantities are studied.


title: An estimate for the genus of embedded surfaces in the 3-sphere

abstract: By refining the volume estimate of Heintze and Karcher \cite{HK}, we obtain a sharp pinching estimate for the genus of a surface in $\mathbb S^{3}$, which involves an integral of the norm of its traceless second fundamental form. More specifically, we show that if $g$ is the genus of a closed orientable surface $\Sigma$ in a $3$-dimensional orientable Riemannian manifold $M$ whose sectional curvature is bounded below by $1$, then $4 \pi^{2} g(\Sigma) \le 2\left(2 \pi^{2}-|M|\right)+\int_{\Sigma} f(|\stackrel \circ A|)$, where $ \stackrel \circ A $ is the traceless second fundamental form and $f$ is an explicit function. As a result, the space of closed orientable embedded minimal surfaces $\Sigma$ with uniformly bounded $\|A\|_{L^3(\Sigma)}$ is compact in the $C^k$ topology for any $k\ge2$.


title: Neutrinos and their interactions with matter

abstract: We have presented a review of the properties of neutrinos and their interactions with matter. The different (anti)neutrino processes like the quasielastic scattering, inelastic production of mesons and hyperons, and the deep inelastic scattering from the free nucleons are discussed and the results for the scattering cross sections are presented. The polarization observables for the leptons and hadrons produced in the final state, in the case of quasielastic scattering, are also studied. The importance of nuclear medium effects in the low, intermediate and high energy regions, in the above processes along with the processes of the coherent neutrino-nucleus scattering, coherent meson production, and trident production, have been highlighted. In some cases the results of the cross sections are also given and compared with the available experimental data as well as with the predictions in the different theoretical models. This study would be helpful in understanding the (anti)neutrino interaction cross section with matter in the few GeV energy region relevant to the next generation experiments like DUNE, Hyper-Kamiokande, and other experiments with accelerator and atmospheric neutrinos. We have emphasized the need of better theoretical models for some of these processes for studying the nuclear medium effects in nuclei.


title: Real-time nanoparticle characterization through opto-fluidic force induction

abstract: We propose and demonstrate a novel scheme for optical nanoparticle characterization, optofluidic force induction (OF2i), which achieves real-time optical counting with single-particle sensitivity, high throughput, and for particle sizes ranging from tens of nanometers to several $\mu$m. The particles to be analyzed flow through a microfluidic channel alongside a weakly focused laser vortex beam, which accomplishes 2D trapping of the particles in the transverse directions and size-dependent velocity changes due to the optical forces in the longitudinal direction. Upon monitoring the trajectories and velocity changes of each individually tracked particle, we obtain detailed information about the number based particle size distribution. A parameter-free model based on Maxwell's equations and Mie theory is shown to provide very good agreement with the experimental results for standardized particles of spherical shape. Our results prove that OF2i can provide a flexible work bench for numerous pharmaceutical and technological applications, as well as for medical diagnostics.


title: Thomae's function and the space of ergodic measures

abstract: We study the space of ergodic measures of the map $$f:\mathbb{T}^2\to \mathbb{T}^2, \ f(x, y)=(x, \ x+y)(\text{mod}\, 1),$$ and show that its structure is similar to the graph of Thomae's function.


title: Towards the classification of exceptional scattered polynomials

abstract: Scattered polynomials over finite fields attracted an increasing attention in the last years. One of the reasons is their deep connection with Maximum Rank Distance (MRD) codes. Known classification results for exceptional scattered polynomials, i.e. polynomials which are scattered over infinite field extensions, are limited to the cases where their index $\ell$ is small, or a prime number larger than the $q$-degree $k$ of the polynomial, or an integer smaller than the $k$ in the case where $k$ is a prime. In this paper we completely classify exceptional scattered polynomials when the maximum between $\ell$ and $k$ is odd, and give partial results when it is even, extending a result of Ferraguti and Micheli in 2021.


title: Adapted variable density subsampling for compressed sensing

abstract: Recent results in compressed sensing showed that the optimal subsampling strategy should take into account the sparsity pattern of the signal at hand. This oracle-like knowledge, even though desirable, nevertheless remains elusive in most practical application. We try to close this gap by showing how the sparsity patterns can instead be characterised via a probability distribution on the supports of the sparse signals allowing us to again derive optimal subsampling strategies. This probability distribution can be easily estimated from signals of the same signal class, achieving state of the art performance in numerical experiments. Our approach also extends to structured acquisition, where instead of isolated measurements, blocks of measurements are taken.


title: Existence-Uniqueness for nonlinear integro-differential equations with drift in $\mathbb{R}^d$

abstract: In this article we consider a class of nonlinear integro-differential equations of the form $$\inf_{\tau \in\mathcal{T}} \bigg\{\int_{\mathbb{R}^d} (u(x+y)+u(x-y)-2u(x))\frac{k_{\tau}(x,y)}{|y|^{d+2s}} \,dy+ b_{\tau}(x) \cdot \nabla u(x)+g_{\tau}(x) \bigg\}-\lambda^*=0\quad \text{in} \hspace{2mm} \mathbb{R}^d,$$ where $0<\lambda(2-2s)\leq k_{\tau}\leq \Lambda (2-2s)$ , $s\in (\frac{1}{2},1)$. The above equation appears in the study of ergodic control problems in $\mathbb{R}^d$ when the controlled dynamics is governed by pure-jump L\'evy processes characterized by the kernels $k_{\tau}\,|y|^{-d-2s}$ and the drift $b_\tau$. Under a Foster-Lyapunov condition, we establish the existence of a unique solution pair $(u, \lambda^*)$ satisfying the above equation, provided we set $u(0)=0$. Results are then extended to cover the HJB equations of mixed local-nonlocal type and this significantly improves the results in [Arapostathis-Caffarelli-Pang-Zheng (2019)].


title: Rotation measure structure functions with higher-order stencils as a probe of small-scale magnetic fluctuations and its application to the Small and Large Magellanic Clouds

abstract: Magnetic fields and turbulence are important components of the interstellar medium (ISM) of star-forming galaxies. It is challenging to measure the properties of the small-scale ISM magnetic fields (magnetic fields at scales smaller than the turbulence driving scale). Using numerical simulations, we demonstrate how the second-order rotation measure (RM, which depends on thermal electron density, $n_{\rm e}$, and magnetic field, $b$) structure function can probe the properties of small-scale $b$. We then apply our results to observations of the Small and Large Magellanic Clouds (SMC and LMC). First, using Gaussian random $b$, we show that the characteristic scale where the RM structure function flattens is approximately equal to the correlation length of $b$. We also show that computing the RM structure function with a higher-order stencil (more than the commonly-used two-point stencil) is necessary to accurately estimate the slope of the structure function. Then, using Gaussian random $b$ and lognormal $n_{\rm e}$ with known power spectra, we derive an empirical relationship between the slope of the power spectrum of $b$, $n_{\rm e}$, and RM. We apply these results to the SMC and LMC and estimate the following properties of small-scale $b$: correlation length ($160~\pm 21~{\rm pc}$ for the SMC and $87~\pm~17~{\rm pc}$ for the LMC), strength ($14~\pm 2~\mu{\rm G}$ for the SMC and $15~\pm 3~\mu{\rm G}$ for the LMC), and slope of the magnetic power spectrum ($-1.3~\pm~0.4$ for the SMC and $-1.6~\pm~0.1$ for the LMC). We also find that $n_{\rm e}$ is practically constant over the estimated $b$ correlation scales.


title: Energy distribution controlled ballistic Josephson junction

abstract: We report an experimental study on the tuning of supercurrent in a ballistic graphene-based Josephson junction by applying a control voltage to a transverse normal channel. In this four-terminal geometry, the control voltage changes the occupation of Andreev states in the Josephson junction, thereby tuning the magnitude of the supercurrent. As a function of gate voltage, we find two different regimes characterized by a double-step distribution and a hot-electron distribution, respectively. Our work opens new opportunities to design highly controllable Josephson junctions for tunable superconducting quantum circuits.


title: Terahertz photodetection in scalable single-layer-graphene and hexagonal boron nitride heterostructures

abstract: The unique optoelectronic properties of single layer graphene (SLG) are ideal for the development of photonic devices across a broad range of frequencies, from X-rays to microwaves. In the terahertz (THz) range (0.1-10 THz frequency) this has led to the development of optical modulators, non-linear sources, and photodetectors, with state-of-the-art performances. A key challenge is the integration of SLG-based active elements with pre-existing technological platforms in a scalable way, while maintaining performance level unperturbed. Here, we report on the development of room temperature THz detection in large-area SLG, grown by chemical vapor deposition (CVD), integrated in antenna-coupled field effect transistors. We selectively activate the photo-thermoelectric detection dynamics, and we employ different dielectric configurations on SLG on Al2O3 with and without large-area CVD hBN capping to investigate their effect on SLG thermoelectric properties underpinning photodetection. With these scalable architectures, response times ~5ns and noise equivalent powers ~1nWHz-1/2 are achieved under zero-bias operation. This shows the feasibility of scalable, large-area, layered materials heterostructures for THz detection.


title: Joint Precoding for Active Intelligent Transmitting Surface Empowered Outdoor-to-Indoor Communication in mmWave Cellular Networks

abstract: Outdoor-to-indoor communications in millimeter-wave (mmWave) cellular networks have been one challenging research problem due to the severe attenuation and the high penetration loss caused by the propagation characteristics of mmWave signals. We propose a viable solution to implement the outdoor-to-indoor mmWave communication system with the aid of an active intelligent transmitting surface (active-ITS), where the active-ITS allows the incoming signal from an outdoor base station (BS) to pass through the surface and be received by the indoor user-equipments (UEs) after shifting its phase and magnifying its amplitude. Then, the problem of joint precoding of the BS and active-ITS is investigated to maximize the weighted sum-rate (WSR) of the communication system. An efficient block coordinate descent (BCD) based algorithm is developed to solve it with the suboptimal solutions in nearly closed-forms. In addition, to reduce the size and hardware cost of an active-ITS, we provide a block-amplifying architecture to partially remove the circuit components for power-amplifying, where multiple transmissive-type elements (TEs) in each block share a same power amplifier. Simulations indicate that active-ITS has the potential of achieving a given performance with much fewer TEs compared to the passive-ITS under the same total system power consumption, which makes it suitable for application to the size-limited and aesthetic-needed scenario, and the inevitable performance degradation caused by the block-amplifying architecture is acceptable.


title: A Review on Constraint Handling Techniques for Population-based Algorithms: from single-objective to multi-objective optimization

abstract: This presented study provides a novel analysis of scholarly literature on constraint handling techniques for single-objective and multi-objective population-based algorithms according to the most relevant journals, keywords, authors, and articles. The paper reviews the main ideas of the most state-of-the-art constraint handling techniques in multi-objective population-based optimization, and then the study addresses the bibliometric analysis in the field. The extracted papers include research articles, reviews, book/book chapters, and conference papers published between 2000 and 2020 for the analysis. The results indicate that the constraint handling techniques for multi-objective optimization have received much less attention compared with single-objective optimization. The most promising algorithms for such optimization were determined to be genetic algorithms, differential evolutionary algorithms, and particle swarm intelligence.


title: FedIIC: Towards Robust Federated Learning for Class-Imbalanced Medical Image Classification

abstract: Federated learning (FL), training deep models from decentralized data without privacy leakage, has shown great potential in medical image computing recently. However, considering the ubiquitous class imbalance in medical data, FL can exhibit performance degradation, especially for minority classes (e.g. rare diseases). Existing methods towards this problem mainly focus on training a balanced classifier to eliminate class prior bias among classes, but neglect to explore better representation to facilitate classification performance. In this paper, we present a privacy-preserving FL method named FedIIC to combat class imbalance from two perspectives: feature learning and classifier learning. In feature learning, two levels of contrastive learning are designed to extract better class-specific features with imbalanced data in FL. In classifier learning, per-class margins are dynamically set according to real-time difficulty and class priors, which helps the model learn classes equally. Experimental results on publicly-available datasets demonstrate the superior performance of FedIIC in dealing with both real-world and simulated multi-source medical imaging data under class imbalance. Code is available at https://github.com/wnn2000/FedIIC.


title: Multivariable Grid-Forming Converters with Direct States Control

abstract: A multi-input multi-output based grid-forming (MIMO-GFM) converter has been proposed using multivariable feedback control, which has been proven as a superior and robust system using low-order controllers. However, the original MIMO-GFM control is easily affected by the high-frequency components especially for the converter without inner cascaded voltage and current loops and when it is connected into a strong grid. This paper proposes an improved MIMO-GFM control method, where the frequency and internal voltage are chosen as state variables to be controlled directly. In this way, the impact of high-frequency components is eliminated without increasing the complexity of the control system. The H-infinity synthesis is used to tune the parameters to obtain an optimized performance. Experimental results verify the effectiveness of the proposed method.


title: Spatiotemporal attosecond control of electron pulses via subluminal terahertz waveforms

abstract: Shaping electron beams with the cycles of light provides femtosecond and attosecond time resolution in electron microscopy and enables fundamental quantum-coherent measurements. However, efficient light-electron control requires a prolonged interaction between the two beams for cascaded transfer of photon energy and momentum to the freely propagating electrons. Here we report the use of traveling evanescent terahertz waves to achieve velocity matching and thereby high acceleration gradients both in space and in time. With experiment and simulations, we demonstrate attosecond streaking, temporal pulse compression, acceleration and spatial focusing of sub-relativistic electron pulses with a single evanescent-wave element under the control of selected terahertz delays and phases. Based on these results, we propose to use a symmetric arrangement with two evanescent terahertz waves to generate isolated attosecond electron pulses in a beam with realistic parameters. These results establish subluminal terahertz waves as a promising tool for ultrafast electron pulse control.


title: X-ray computed $\mu$-tomography for the characterization of optical fibers

abstract: In spite of their ubiquitous applications, the characterization of glass fibers by means of all-optical techniques is still facing some limitations. Recently, X-ray absorption has been proposed as a method for visualizing the inner structure of both standard and microstructure optical fibers. Here, we exploit X-ray absorption as nondestructive technique for the characterization of optical glass fibers. Starting from absorption contrast X-ray computed micro-tomography measurements, we obtain information about the spatial profile of the fiber refractive index at optical frequencies. We confirm the validity of our approach by comparing its results with complementary characterization techniques, based on electron spectroscopy or multiphoton microscopy.


title: Two Methods for Spoofing-Aware Speaker Verification: Multi-Layer Perceptron Score Fusion Model and Integrated Embedding Projector

abstract: The use of deep neural networks (DNN) has dramatically elevated the performance of automatic speaker verification (ASV) over the last decade. However, ASV systems can be easily neutralized by spoofing attacks. Therefore, the Spoofing-Aware Speaker Verification (SASV) challenge is designed and held to promote development of systems that can perform ASV considering spoofing attacks by integrating ASV and spoofing countermeasure (CM) systems. In this paper, we propose two back-end systems: multi-layer perceptron score fusion model (MSFM) and integrated embedding projector (IEP). The MSFM, score fusion back-end system, derived SASV score utilizing ASV and CM scores and embeddings. On the other hand,IEP combines ASV and CM embeddings into SASV embedding and calculates final SASV score based on the cosine similarity. We effectively integrated ASV and CM systems through proposed MSFM and IEP and achieved the SASV equal error rates 0.56%, 1.32% on the official evaluation trials of the SASV 2022 challenge.


title: Speaker Verification in Multi-Speaker Environments Using Temporal Feature Fusion

abstract: Verifying the identity of a speaker is crucial in modern human-machine interfaces, e.g., to ensure privacy protection or to enable biometric authentication. Classical speaker verification (SV) approaches estimate a fixed-dimensional embedding from a speech utterance that encodes the speaker's voice characteristics. A speaker is verified if his/her voice embedding is sufficiently similar to the embedding of the claimed speaker. However, such approaches assume that only a single speaker exists in the input. The presence of concurrent speakers is likely to have detrimental effects on the performance. To address SV in a multi-speaker environment, we propose an end-to-end deep learning-based SV system that detects whether the target speaker exists within an input or not. First, an embedding is estimated from a reference utterance to represent the target's characteristics. Second, frame-level features are estimated from the input mixture. The reference embedding is then fused frame-wise with the mixture's features to allow distinguishing the target from other speakers on a frame basis. Finally, the fused features are used to predict whether the target speaker is active in the speech segment or not. Experimental evaluation shows that the proposed method outperforms the x-vector in multi-speaker conditions.


title: The Cross Products of M Vectors in N-dimensional Spaces and Their Geometric Significance

abstract: In textbooks and historical literature, the cross product has been defined only in 2-dimensional and 3-dimensional Euclidean spaces and the cross product of only two vectors has been defined only in the high dimensional Euclidean space whose metric matrix is the unit matrix. Nobody has given a universal definition for any number of vectors in high dimensional spaces whose metric matrices are the unit matrices. In fact, we can also define the cross product of m vectors in an n-dimensional space, where n and m can take any positive integers larger than 1 and m must not be larger than n. In this paper, we give the definition of the cross product of m vectors in n-dimensional spaces whose metric matrices are any real symmetric or Hermitian matrices, and put forward two theorems related to matrices, so as to perfectly explain the geometric meaning of the cross product of vectors in high dimensional spaces. Furthermore, the length of the cross product represents the m-dimensional volume of the parallel polyhedron spanned by the m vectors, and the absolute value of each component of the cross product represents each component of the volume in different directions. Specially, in the high dimensional Euclidean and unitary space where the metric matrix is the unit matrix, this decomposition of the volume still satisfies the Pythagorean theorem, and the cross product of n vectors in an n-dimensional space is the determinant of the square matrix which is formed with these n vectors as row or column vectors. We also explain the geometric meaning of the determinants of the metric matrices and their sub-matrices, which is also useful for understanding the invariant volume elements in high dimensional spaces and their subspaces in the differential geometry.


title: Gray Images of Cyclic Codes over $\mathbb{Z}_{p^2}$ and $\mathbb{Z}_p\mathbb{Z}_{p^2}

abstract: In the paper, we firstly study the algebraic structures of $\mathbb{Z}_p \mathbb{Z}_{p^k}$-additive cyclic codes and give the generator polynomials and the minimal spanning set of these codes. Secondly, a necessary and sufficient condition for a class of $\mathbb{Z}_p\mathbb{Z}_{p^2}$-additive codes whose Gray images are linear (not necessarily cyclic) over $\mathbb{Z}_p$ is given. Moreover, as for some special families of cyclic codes over $\mathbb{Z}_{9}$ and $\mathbb{Z}_3 \mathbb{Z}_{9}$, the linearity of the Gray images is determined.


title: Influence of a Medium on Capacitive Power Transfer Capability

abstract: Despite the advantages of capacitive power transfer (CPT), inductive power transfer (IPT) is still preferred. The reason: IPT systems have a gap power density in air that is 400 times greater. Conclusively, IPT can transmit more power than CPT over greater distances in air, but what about other media? This paper gives an answer on how media, different from air, influence the power transfer over different distances. First, we analyze theoretically the capacitive coupling with different media in the gap. Next, we simulate the CPT system using finite element software and compared it with the theoretical analysis. Finally, we employ the results of the finite element simulation in a power electronic simulation to examine the influence of the medium on the electrical power transfer.


title: First-principles analysis of the Al-rich corner of Al-Li-Cu phase diagram

abstract: The phase diagram of Al-Li-Cu system in the Al-rich region was determined by means of first-principles calculations and statistical mechanics. The mixing enthalpies of many configurations for different lattices in the whole Al-Li-Cu system were determined by density functional theory simulations to find the stable phases in the convex hull. They were fitted with a cluster expansion to calculate the free energy of the configurations with different compositions as a function of temperature in the Al-rich region (Al content > 40 at. %) by means of Monte Carlo simulations. It was found that the ground state phases in the Al-rich part of the Al-Li-Cu phase diagram were {\alpha}-Al, {\theta}' (Al2Cu), {\delta}' (Al3Li), {\delta} (AlLi) and T1 (Al6Cu4Li3), while {\theta}'' (Al3Cu), T1' (Al2CuLi) and Al3Cu2Li were found on the lowest mixing enthalpy surfaces of their lattices and were metastable. {\alpha}-Al, {\delta} and T1 are stable phases in the whole temperature range while {\delta}' becomes metastable at very low temperature and {\theta} (Al2Cu) replaces {\theta}' as the stable phase at approximately 550 K due to the vibrational entropic contribution. In addition, the phase diagram in the Al-rich region was built and it was shown in isothermal sections from 100 K to 900 K. They were in good agreement with the limited experimental data in the literature and provided new information regarding the stability, solubility and stoichiometry of the different phases. This information is important to understand the precipitation mechanisms during high temperature aging.


title: Sublinear-Time Clustering Oracle for Signed Graphs

abstract: Social networks are often modeled using signed graphs, where vertices correspond to users and edges have a sign that indicates whether an interaction between users was positive or negative. The arising signed graphs typically contain a clear community structure in the sense that the graph can be partitioned into a small number of polarized communities, each defining a sparse cut and indivisible into smaller polarized sub-communities. We provide a local clustering oracle for signed graphs with such a clear community structure, that can answer membership queries, i.e., "Given a vertex $v$, which community does $v$ belong to?", in sublinear time by reading only a small portion of the graph. Formally, when the graph has bounded maximum degree and the number of communities is at most $O(\log n)$, then with $\tilde{O}(\sqrt{n}\operatorname{poly}(1/\varepsilon))$ preprocessing time, our oracle can answer each membership query in $\tilde{O}(\sqrt{n}\operatorname{poly}(1/\varepsilon))$ time, and it correctly classifies a $(1-\varepsilon)$-fraction of vertices w.r.t. a set of hidden planted ground-truth communities. Our oracle is desirable in applications where the clustering information is needed for only a small number of vertices. Previously, such local clustering oracles were only known for unsigned graphs; our generalization to signed graphs requires a number of new ideas and gives a novel spectral analysis of the behavior of random walks with signs. We evaluate our algorithm for constructing such an oracle and answering membership queries on both synthetic and real-world datasets, validating its performance in practice.


title: Classification of Symplectic Birational Involutions of Manifolds of $OG10$ type

abstract: In this paper we give a classification of symplectic birational involutions of manifolds of $OG10$-type. We approach this classification with three techniques - via involutions of the Leech lattice, via involutions of cubic fourfolds and finally lattice enumeration via a modified Kneser's neighbour algorithm. In particular, the classification consists of three involutions with an explicit geometric realisation via cubic fourfolds, and three exceptional involutions which cannot be obtained by any known construction.


title: Q&A: Accessibility in Astronomy for the Visually Impaired

abstract: We spoke with four researchers to understand the accessibility challenges in astronomy research, education and outreach for blind and visually impaired (BVI) persons, as well as solutions to these challenges and how it innovates data analysis methods for all astronomers. Those interviewed: Nicolas Bonne (University of Portsmouth); Cheryl Fogle-Hatch (Museum Senses); Garry Foran (Swinburne University of Technology) and Enrique Perez Montero (Instituto de Astrof\'isica de Andaluc\'ia).


title: Learning the Evolutionary and Multi-scale Graph Structure for Multivariate Time Series Forecasting

abstract: Recent studies have shown great promise in applying graph neural networks for multivariate time series forecasting, where the interactions of time series are described as a graph structure and the variables are represented as the graph nodes. Along this line, existing methods usually assume that the graph structure (or the adjacency matrix), which determines the aggregation manner of graph neural network, is fixed either by definition or self-learning. However, the interactions of variables can be dynamic and evolutionary in real-world scenarios. Furthermore, the interactions of time series are quite different if they are observed at different time scales. To equip the graph neural network with a flexible and practical graph structure, in this paper, we investigate how to model the evolutionary and multi-scale interactions of time series. In particular, we first provide a hierarchical graph structure cooperated with the dilated convolution to capture the scale-specific correlations among time series. Then, a series of adjacency matrices are constructed under a recurrent manner to represent the evolving correlations at each layer. Moreover, a unified neural network is provided to integrate the components above to get the final prediction. In this way, we can capture the pair-wise correlations and temporal dependency simultaneously. Finally, experiments on both single-step and multi-step forecasting tasks demonstrate the superiority of our method over the state-of-the-art approaches.


title: Comparison of Speech Representations for the MOS Prediction System

abstract: Automatic methods to predict Mean Opinion Score (MOS) of listeners have been researched to assure the quality of Text-to-Speech systems. Many previous studies focus on architectural advances (e.g. MBNet, LDNet, etc.) to capture relations between spectral features and MOS in a more effective way and achieved high accuracy. However, the optimal representation in terms of generalization capability still largely remains unknown. To this end, we compare the performance of Self-Supervised Learning (SSL) features obtained by the wav2vec framework to that of spectral features such as magnitude of spectrogram and melspectrogram. Moreover, we propose to combine the SSL features and features which we believe to retain essential information to the automatic MOS to compensate each other for their drawbacks. We conduct comprehensive experiments on a large-scale listening test corpus collected from past Blizzard and Voice Conversion Challenges. We found that the wav2vec feature set showed the best generalization even though the given ground-truth was not always reliable. Furthermore, we found that the combinations performed the best and analyzed how they bridged the gap between spectral and the wav2vec feature sets.


title: Minimal Morphoelastic Models of Solid Tumour Spheroids: A Tutorial

abstract: Tumour spheroids have been the focus of a variety of mathematical models, ranging from Greenspan's classical study of the 1970s through to contemporary agent-based models. Of the many factors that regulate spheroid growth, mechanical effects are perhaps some of the least studied, both theoretically and experimentally, though experimental enquiry has established their significance to tumour growth dynamics. In this tutorial, we formulate a hierarchy of mathematical models of increasing complexity to explore the role of mechanics in spheroid growth, all the while seeking to retain desirable simplicity and analytical tractability. Beginning with the theory of morphoelasticity, which combines solid mechanics and growth, we successively refine our assumptions to develop a somewhat minimal model of mechanically regulated spheroid growth that is free from many unphysical and undesirable behaviours. In doing so, we will see how iterating upon simple models can provide rigorous guarantees of emergent behaviour, which are often precluded by existing, more complex modelling approaches. Perhaps surprisingly, we also demonstrate that the final model considered in this tutorial agrees favourably with classical experimental results, highlighting the potential for simple models to provide mechanistic insight whilst also serving as mathematical examples.


title: Spin-down by dynamo action in simulated radiative stellar layers

abstract: The evolution of a star is influenced by its internal rotation dynamics through transport and mixing mechanisms, which are poorly understood. Magnetic fields can play a role in transporting angular momentum and chemical elements, but the origin of magnetism in radiative stellar layers is unclear. Using global numerical simulations, we identify a subcritical transition to turbulence due to the generation of a magnetic dynamo. Our results have many of the properties of the theoretically-proposed Tayler-Spruit dynamo mechanism, which strongly enhances transport of angular momentum in radiative zones. It generates deep toroidal fields that are screened by the stellar outer layers. This mechanism could produce strong magnetic fields inside radiative stars, without an observable field on their surface.


title: Joint reconstructions of growth and expansion histories from stage-IV surveys with minimal assumptions I: Dark Energy beyond $\Lambda$

abstract: Combining Supernovae, Baryon Acoustic Oscillations and Redshift-Space Distortions data from the next generation of (Stage-IV) cosmological surveys, we aim to reconstruct the expansion history up to large redshifts using forward-modeling of $f_{\mathrm DE}(z) = \rho_\mathrm{DE}(z)/\rho_\mathrm{DE,0}$ with Gaussian processes (GP). In order to reconstruct cosmological quantities at high redshifts where few or no data are available, we adopt a new approach to GP which enforces the following minimal assumptions: a) Our cosmology corresponds to a flat Friedman-Lema\^itre-Robertson-Walker (FLRW) universe; b) An Einstein de Sitter (EdS) universe is obtained on large redshifts. This allows us to reconstruct the perturbations growth history from the reconstructed background expansion history. Assuming various DE models, we show the ability of our reconstruction method to differentiate them from $\Lambda$CDM at $\gtrsim2\sigma$.


title: Excitonic ordering in strongly correlated spin crossover systems: induced magnetism and excitonic excitation spectrum

abstract: The effects associated with interatomic hoppings of excitons and the excitonic Bose condensate formation in the strongly correlated spin crossover systems are considered in the framework of the effective Hamiltonian for the two-band Kanamori model. The appearance of antiferromagnetic ordering due to the exciton order is found even in the absence of interatomic exchange interaction. The spectrum of excitonic excitations is calculated at various points of the "temperature vs. crystal field" phase diagram. Outside the region of exciton ordering, the spectrum has a gap, which vanishes at the boundary of the exciton condensate phase. The non-uniform spectral weight distribution over the Brillouin zone is found. The role of electron-phonon interaction is discussed as well.


title: Fixed points of an infinite dimensional operator related to Gibbs measures

abstract: We describe fixed points of an infinite dimensional non-linear operator related to a hard core (HC) model with a countable set $\mathbb{N}$ of spin values on the Cayley tree. This operator is defined by a countable set of parameters $\lambda_{i}>0$, $a_{ij}\in \{0,1\}$, $ i,j \in \mathbb{N}$. We find a sufficient condition on these parameters under which the operator has unique fixed point. When this condition is not satisfied then we show that the operator may have up to five fixed points. Also, we prove that every fixed point generates a normalisable boundary law and therefore defines a Gibbs measure for the given HC-model.


title: Generalization of two-dimensional Hardy type inequality for fuzzy integrals

abstract: In this paper, a new two-dimensional Hardy type inequality is given in terms of pseudo-analysis dealing with set-valued functions. The first one is given for a pseudo-integral of set-valued function where pseudo-addition and pseudo-multiplication are constructed by a monotone continuous function $g:[0, \infty ]\to[0, \infty]$. Another is given by the semiring $([0, 1], \max, \odot)$ where pseudo-multiplication is generated by an increasing continuous function.


title: UGKWP for three-dimensional simulation of gas-particle fluidized bed

abstract: The gas-solid particle two-phase flow in a fluidized bed shows complex physics. Following our previous work, the multi-scale framework based on gas-kinetic scheme (GKS) and unified gas-kinetic wave-particle method (UGKWP) for the gas-particle system is firstly extended to the three-dimensional simulation of the fluidized bed. For the solid particle evolution, different from the widely-used Eulerian and Lagrangian approaches, the UGKWP unifies the wave (dense particle region) and discrete particle (dilute particle region) formulation seamlessly according to a continuous variation of particle cell's Kundsen number ($Kn$). The GKS-UGKWP for the coupled gas-particle evolution system can automatically become an Eulerian-Eulerian (EE) method in the high particle collision regime and Eulerian-Lagrangian (EL) formulation in the collisionless particle regime. In the transition regime, the UGKWP can achieve a smooth transition between the Eulerian and Lagrangian limiting formulation. More importantly, the weights of mass distributions from analytical wave and discrete particle are related to the local $Kn$ by $\exp(-1/Kn)$ for wave and $(1-\exp(-1/Kn))$ for discrete particle. As a result, the UGKWP provides an optimal modeling for capturing the particle phase in terms of physical accuracy and numerical efficiency. In the numerical simulation, the UGKWP does not need any prior division of dilute/dense regions, which makes it suitable for the fluidized bed problem, where the dilute/transition/dense regions instantaneously coexist and are dynamically interconvertible. In this paper, based on the GKS-UGKWP formulation two lab-scale fluidization cases are simulated in 3D and the simulation results are compared with the experimental measurements. The typical heterogeneous flow features of the fluidized bed are well captured and the statistics are in good agreement with experiment data.


title: Pseudo-K\"ahler and pseudo-Sasaki structures on Einstein solvmanifolds

abstract: The aim of this paper is to construct left-invariant Einstein pseudo-Riemannian Sasaki metrics on solvable Lie groups. We consider the class of $\mathfrak z$-standard Sasaki solvable Lie algebras of dimension $2n+3$, which are in one-to-one correspondence with pseudo-K\"ahler nilpotent Lie algebras of dimension $2n$ endowed with a compatible derivation, in a suitable sense. We characterize the pseudo-K\"ahler structures and derivations giving rise to Sasaki-Einstein metrics. We classify $\mathfrak z$-standard Sasaki solvable Lie algebras of dimension $\leq 7$ and those whose pseudo-K\"ahler reduction is an abelian Lie algebra. The Einstein metrics we obtain are standard, but not of pseudo-Iwasawa type.


title: Suppressed fluctuations as the origin of the static magnetic order in strained Sr$_2$RuO$_4$

abstract: Combining first principle density functional calculations and Moriya's self-consistent renormalization theory, we explain the recently reported counterintuitive appearance of an ordered magnetic state in uniaxially strained Sr$_2$RuO$_4$ beyond the Lifshits transition. We show that strain weakens the quantum spin fluctuations, which destroy the static order, more strongly than the tendency to magnetism. A different rate of decrease of the spin fluctuations vs. magnetic stabilization energy promotes the onset of a static magnetic order beyond a critical strain.


title: Stereoscopic diagnosing of a filament-cavity flux rope system by tracing the path of a two-sided-loop jet

abstract: The fine magnetic structure is vitally important to understanding the formation, stabilization and eruption of solar filaments, but so far, it is still an open question yet to be resolved. Using stereoscopic observations taken by the Solar Dynamics Observatory and Solar TErrestrial RElations Obsevatory, we studied the generation mechanism of a two-sided-loop jet (TJ) and the ejection process of the jet plasma into the overlying filament-cavity system. We find that the generation of the two-sided-loop jet was due to the magnetic reconnection between an emerging flux loop and the overlying filament. The jet's two arms ejected along the filament axis during the initial stage. Then, the north arm bifurcated into two parts at about 50 Mm from the reconnection site. After the bifurcation, the two bifurcated parts were along the filament axis and the cavity which hosted the filament, respectively. By tracing the ejecting plasma flows of the TJ inside the filament, we not only measured that the magnetic twist stored in the filament was at least 5$\pi$ but also found that the fine magnetic structure of the filament-cavity flux rope system is in well agreement with the theoretical results of Magnetic flux rope models.


title: Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures

abstract: Modern Python projects execute computational functions using native libraries and give Python interfaces to boost execution speed; hence, testing these libraries becomes critical to the project's robustness. One challenge is that existing approaches use coverage to guide generation, but native libraries run as black boxes to Python code with no execution information. Another is that dynamic binary instrumentation reduces testing performance as it needs to monitor both native libraries and the Python virtual machine. To address these challenges, in this paper, we propose an automated test case generation approach that works at the Python code layer. Our insight is that many path conditions in native libraries are for processing input data structures through interacting with the VM. In our approach, we instrument the Python Interpreter to monitor the interactions between native libraries and VM, derive constraints on the structures, and then use the constraints to guide test case generation. We implement our approach in a tool named PyCing and apply it to six widely-used Python projects. The experimental results reveal that with the structure constraint guidance, PyCing can cover more execution paths than existing test cases and state-of-the-art tools. Also, with the checkers in the testing framework Pytest, PyCing can identify segmentation faults in 10 Python interfaces and memory leaks in 9. Our instrumentation strategy also has an acceptable influence on testing efficiency.


title: Cross-Forgery Analysis of Vision Transformers and CNNs for Deepfake Image Detection

abstract: Deepfake Generation Techniques are evolving at a rapid pace, making it possible to create realistic manipulated images and videos and endangering the serenity of modern society. The continual emergence of new and varied techniques brings with it a further problem to be faced, namely the ability of deepfake detection models to update themselves promptly in order to be able to identify manipulations carried out using even the most recent methods. This is an extremely complex problem to solve, as training a model requires large amounts of data, which are difficult to obtain if the deepfake generation method is too recent. Moreover, continuously retraining a network would be unfeasible. In this paper, we ask ourselves if, among the various deep learning techniques, there is one that is able to generalise the concept of deepfake to such an extent that it does not remain tied to one or more specific deepfake generation methods used in the training set. We compared a Vision Transformer with an EfficientNetV2 on a cross-forgery context based on the ForgeryNet dataset. From our experiments, It emerges that EfficientNetV2 has a greater tendency to specialize often obtaining better results on training methods while Vision Transformers exhibit a superior generalization ability that makes them more competent even on images generated with new methodologies.


title: Decision Programming for optimizing the Finnish Colorectal Cancer Screening Program

abstract: In Finland colorectal cancer (CRC) incidence rates have steadily increased over the last decades and as of 2017, CRC is the sixth most common cause of death. CRC is a crucial concern for the public health of Finland. We optimize the faecal immunochemical test (FIT) cut-off level for specified target populations with regard to minimization of cancer prevalence with Decision Programming, which is a novel approach to solving discrete multi-stage decision problems under uncertainty. The results present optimal cut-off levels for Finnish target groups with different colonoscopy capacity constraints. Finally, the estimated resulting cancer prevalence, the amount of required colonoscopies and third-party payer costs resulting from found strategies to the newly implemented Finnish CRC Screening Programme, which have not previously been published, are presented.


title: Gradual Soundness: Lessons from Static Python

abstract: Context: Gradually-typed languages allow typed and untyped code to interoperate, but typically come with significant drawbacks. In some languages, the types are unreliable; in others, communication across type boundaries can be extremely expensive; and still others allow only limited forms of interoperability. The research community is actively seeking a sound, fast, and expressive approach to gradual typing. Inquiry: This paper describes Static Python, a language developed by engineers at Instagram that has proven itself sound, fast, and reasonably expressive in production. Static Python's approach to gradual types is essentially a programmer-tunable combination of the concrete and transient approaches from the literature. Concrete types provide full soundness and low performance overhead, but impose nonlocal constraints. Transient types are sound in a shallow sense and easier to use; they help to bridge the gap between untyped code and typed concrete code. Approach: We evaluate the language in its current state and develop a model that captures the essence of its approach to gradual types. We draw upon personal communication, bug reports, and the Static Python regression test suite to develop this model. Knowledge: Our main finding is that the gradual soundness that arises from a mix of concrete and transient types is an effective way to lower the maintenance cost of the concrete approach. We also find that method-based JIT technology can eliminate the costs of the transient approach. On a more technical level, this paper describes two contributions: a model of Static Python and a performance evaluation of Static Python. The process of formalization found several errors in the implementation, including fatal errors. Grounding: Our model of Static Python is implemented in PLT Redex and tested using property-based soundness tests and 265 tests from the Static Python regression suite. This paper includes a small core of the model to convey the main ideas of the Static Python approach and its soundness. Our performance claims are based on production experience in the Instagram web server. Migrations to Static Python in the server have caused a 3.7\% increase in requests handled per second at maximum CPU load. Importance: Static Python is the first sound gradual language whose piece-meal application to a realistic codebase has consistently improved performance. Other language designers may wish to replicate its approach, especially those who currently maintain unsound gradual languages and are seeking a path to soundness.


title: Supersolvable descent for rational points

abstract: We construct an analogue of the classical descent theory of Colliot-Th\'el\`ene and Sansuc in which algebraic tori are replaced with finite supersolvable groups. As an application, we show that rational points are dense in the Brauer-Manin set for smooth compactifications of certain quotients of homogeneous spaces by finite supersolvable groups. For suitably chosen homogeneous spaces, this implies the existence of supersolvable Galois extensions of number fields with prescribed norms, generalising work of Frei-Loughran-Newton.


title: Regularity for solutions of H-systems and n-harmonic maps with n/2 square integrable derivatives

abstract: We study the regularity of weak solutions for two elliptic systems involving the $n$-Laplacian and a critical nonlinearity in the right hand side: $H$-systems and $n$-harmonic maps into compact Riemannian manifolds. Under the assumptions that the solutions belong to $W^{n/2,2}$ in an even dimension $n$, we prove their continuty. The tools used in the proof involve Hardy spaces and BMO, and the Rivi\`{e}re--Uhlenbeck decomposition (with estimates in Morrey spaces). A prominent role is played by the Coifman--Rochberg--Weiss commutator theorem.


title: Complexity of Gaussian random fields with isotropic increments: critical points with given indices

abstract: We study the landscape complexity of the Hamiltonian $X_N(x) +\frac\mu2 \|x\|^2,$ where $X_{N}$ is a smooth Gaussian process with isotropic increments on $\mathbb R^{N}$. This model describes a single particle on a random potential in statistical physics. We derive asymptotic formulas for the mean number of critical points of index $k$ with critical values in an open set as the dimension $N$ goes to infinity. In a companion paper, we provide the same analysis without the index constraint.


title: Systematic Investigation of Millimeter-Wave Optic Modulation Performance in Thin-Film Lithium Niobate

abstract: Millimeter-wave (mmWave) band (30 - 300 GHz) is an emerging spectrum range for wireless communication, short-range radar and sensor applications. mmWave-optic modulators that could efficiently convert mmWave signals into optical domain are crucial components for long-haul transmission of mmWave signals through optical networks. At these ultrahigh frequencies, however, the modulation performances are highly sensitive to the transmission line loss as well as the velocity- and impedance-matching conditions, while precise measurements and modeling of these parameters are often non-trivial. Here we present a systematic investigation of the mmWave-optic modulation performances of thin-film lithium niobate modulators through theoretical modeling, electrical verifications and electro-optic measurements at frequencies up to 325 GHz. Based on our experimentally verified model, we demonstrate thin-film lithium niobate mmWave-optic modulators with a measured 3-dB electro-optic bandwidth of 170 GHz and a 6-dB bandwidth of 295 GHz. The device also shows a low RF half-wave voltage of 7.3 V measured at an ultrahigh modulation frequency of 250 GHz. This work provides a comprehensive guideline for the design and characterization of mmWave-optic modulators and paves the way toward future integrated mmWave photonic systems for beyond-5G communication and radar applications.


title: Chemical Evolution of R-process Elements in Stars (CERES). I. Stellar parameters and chemical abundances from Na to Zr

abstract: Aims. The Chemical Evolution of R-process Elements in Stars (CERES) project aims to provide a homogeneous analysis of a sample of metal-poor stars ([Fe/H]<-1.5). We present the stellar parameters and the chemical abundances of elements up to Zr for a sample of 52 giant stars.Methods. We relied on a sample of high signal-to-noise UVES spectra. We determined stellar parameters from Gaia photometry and parallaxes. Chemical abundances were derived using spectrum synthesis and model atmospheres.Results. We determined chemical abundances of 26 species of 18 elements: Na, Mg, Al, Si, Ca, Sc, Ti, V, Cr, Mn, Fe, Co, Ni, Cu, Zn, Sr, Y, and Zr. For several stars, we were able to measure both neutral and ionised species, including Si, Sc, Mn, and Zr. We have roughly doubled the number of measurements of Cu for stars at [Fe/H] <= -2.5. The homogeneity of the sample made it possible to highlight the presence of two Zn-rich stars ([Zn/Fe]~+0.7), one r-rich and the other r-poor. We report the existence of two branches in the [Zn/Fe] versus [Ni/Fe] plane and suggest that the high [Zn/Fe] branch is the result of hypernova nucleosynthesis. We discovered two stars with peculiar light neutron-capture abundance patterns: CES1237+1922 (also known as BS 16085-0050), which is ~1 dex underabundant in Sr, Y, and Zr with respect to the other stars in the sample, and CES2250-4057 (also known as HE 2247-4113), which shows a ~1 dex overabundance of Sr with respect to Y and Zr.Conclusions. The high quality of our dataset allowed us to measure hardly detectable ions. This can provide guidance in the development of line formation computations that take deviations from local thermodynamic equilibrium and hydrodynamical effects into account.


title: The Galactic population of canonical pulsars

abstract: Current wisdom accounts to the diversity of neutron star observational manifestations to their birth scenarios, influencing their thermal and magnetic field evolution. Among the kind of observed neutron stars, radio pulsars represent by far the largest population of neutron stars. In this paper, we aim at constraining the observed population of the canonical neutron star period, magnetic field and spatial distribution at birth in order to understand the radio and high-energy emission processes in a pulsar magnetosphere. For this purpose we design a population synthesis method self-consistently taking into account the secular evolution of a force-free magnetosphere and the magnetic field decay. We generate a population of pulsars and evolve them from their birth to the present time, working in the force-free approximation. We assume a given initial distribution for the spin period, surface magnetic field and spatial galactic location. Radio emission properties are accounted by the polar cap geometry, whereas the gamma-ray emission is assumed to be produced within the striped wind model. We found that a decaying magnetic field gave better agreement with observations compared to a constant magnetic field model. Starting from an initial mean magnetic field strength of $B=2.5\times 10^8$~T with a characteristic decay timescale of $4.6 \times 10^5~$yr, a neutron star birth rate of $1/70~$yr and a mean initial spin period of 60~ms, we found that the force-free model satisfactorily reproduces the distribution of pulsars in the $P-\dot{P}$ diagram with simulated populations of radio-loud, radio-only and radio quiet gamma-ray pulsars similar to the observed populations.


title: Inertia Estimation Through Covariance Matrix

abstract: This work presents a technique to estimate on-line the inertia of a power system based on ambient measurements. The proposed technique utilizes the covariance matrix of these measurements and solves an optimization problem that fits such measurements to the synchronous machine classical model. We show that the proposed technique is adequate to accurately estimate the actual inertia of synchronous machines and also the virtual inertia provided by the controllers of converter-interfaced generators that emulate the behavior of synchronous machines. We also show that the proposed approach is able to estimate the equivalent damping of the classical synchronous machine model. This feature is exploited to estimate the droop of grid-following converters, which has a similar effect of the swing equation equivalent damping. The technique is comprehensively tested on a modified version of the IEEE 39-bus system as well as on a dynamic 1479-bus model of the all-island Irish transmission system.


title: On the Calculation of the Variance of Algebraic Variables in Power System Dynamic Models with Stochastic Processes

abstract: This letter presents a technique to calculate the variance of algebraic variables of power system models represented as a set of stochastic differential-algebraic equations. The technique utilizes the solution of a Lyapunov equation and requires the calculation of the state matrix of the system. The IEEE 14-bus system serves to demonstrate the accuracy of the proposed technique over a wide range of variances of stochastic processes. The accuracy is evaluated by comparing the results with those obtained with Monte Carlo time domain simulations. Finally, a case study based on a 1479-bus dynamic model of the all-island Irish transmission system shows the computational efficiency of the proposed approach compared to the Monte Carlo method.


title: Breakdown of heteroclinic connections in the analytic Hopf-Zero singularity: Rigorous computation of the Stokes constant

abstract: Consider analytic generic unfoldings of the three dimensional conservative Hopf-Zero singularity. Under open conditions on the parameters determining the singularity, the unfolding possesses two saddle-foci when the unfolding parameter is small enough. One of them has one dimensional stable manifold and two dimensional unstable manifold whereas the other one has one dimensional unstable manifold and two dimensional stable manifold. Baldom\'a, Castej\'on and Seara [BCS13] gave an asymptotic formula for the distance between the one dimensional invariant manifolds in a suitable transverse section. This distance is exponentially small with respect to the perturbative parameter, and it depends on what is usually called a Stokes constant. The non-vanishing of this constant implies that the distance between the invariant manifolds at the section is not zero. However, up to now there do not exist analytic techniques to check that condition. In this paper we provide a method for obtaining accurate rigorous computer assisted bounds for the Stokes constant. We apply it to two concrete unfoldings of the Hopf-Zero singularity, obtaining a computer assisted proof that the constant is non-zero.


title: Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems

abstract: We give a relational and a weakest precondition semantics for "knowledge-based programs", i.e., programs that restrict observability of variables so as to richly express changes in the knowledge of agents who can or cannot observe said variables. Based on these knowledge-based programs, we define a program-epistemic logic to model complex epistemic properties of the execution of multi-agent systems. We translate the validity of program-epistemic logic formulae into first-order validity, using our weakest precondition semantics and an ingenious book-keeping of variable assignment. We implement our translation in Haskell in a general way (i.e., independently of the programs in the logical statements), and test this novel verification method for our new program-epistemic logic on a series of well-established examples.


title: Understanding the high-mass binary black hole population from stable mass transfer and super-Eddington accretion in BPASS

abstract: With the remarkable success of the LVK consortium in detecting binary black hole mergers, it has become possible to use the population properties to constrain our understanding of the progenitor stars' evolution. The most striking features of the observed primary black hole mass distributions are the extended tail up to 100M$_\odot$ and an excess of masses at 35M$_\odot$. Currently, isolated binary population synthesis have difficulty explaining these features. Using the well-tested BPASS detailed stellar binary evolution models to determine mass transfer stability, accretion rates, and remnant masses, we postulate that stable mass transfer with super-Eddington accretion is responsible for the extended tail. Furthermore, that the excess is not due to pulsation-pair instability, as previously thought, but due to stable mass transfer. These systems are able to merge within the Hubble time due to more stable mass transfer with extreme mass ratios that allows the orbits to shrink sufficiently to allow for a merger. These finding are at odds with those from other population synthesis codes but in agreement with other recent studies using detailed binary evolution models.


title: Manu: A Cloud Native Vector Database Management System

abstract: With the development of learning-based embedding models, embedding vectors are widely used for analyzing and searching unstructured data. As vector collections exceed billion-scale, fully managed and horizontally scalable vector databases are necessary. In the past three years, through interaction with our 1200+ industry users, we have sketched a vision for the features that next-generation vector databases should have, which include long-term evolvability, tunable consistency, good elasticity, and high performance. We present Manu, a cloud native vector database that implements these features. It is difficult to integrate all these features if we follow traditional DBMS design rules. As most vector data applications do not require complex data models and strong data consistency, our design philosophy is to relax the data model and consistency constraints in exchange for the aforementioned features. Specifically, Manu firstly exposes the write-ahead log (WAL) and binlog as backbone services. Secondly, write components are designed as log publishers while all read-only analytic and search components are designed as independent subscribers to the log services. Finally, we utilize multi-version concurrency control (MVCC) and a delta consistency model to simplify the communication and cooperation among the system components. These designs achieve a low coupling among the system components, which is essential for elasticity and evolution. We also extensively optimize Manu for performance and usability with hardware-aware implementations and support for complex search semantics.


title: Cooperative Multi-Agent Search on Endogenously-Changing Fitness Landscapes

abstract: We use a multi-agent system to model how agents (representing firms) may collaborate and adapt in a business 'landscape' where some, more influential, firms are given the power to shape the landscape of other firms. The landscapes we study are based on the well-known NK model of Kauffman, with the addition of 'shapers', firms that can change the landscape's features for themselves and all other players. Our work investigates how firms that are additionally endowed with cognitive and experiential search, and the ability to form collaborations with other firms, can use these capabilities to adapt more quickly and adeptly. We find that, in a collaborative group, firms must still have a mind of their own and resist direct mimicry of stronger partners to attain better heights collectively. Larger groups and groups with more influential members generally do better, so targeted intelligent cooperation is beneficial. These conclusions are tentative, and our results show a sensitivity to landscape ruggedness and "malleability" (i.e. the capacity of the landscape to be changed by the shaper firms). Overall, our work demonstrates the potential of computer science, evolution, and machine learning to contribute to business strategy in these complex environments.


title: Welfare-Optimized Recommender Systems

abstract: We present a recommender system based on the Random Utility Model. Online shoppers are modeled as rational decision makers with limited information, and the recommendation task is formulated as the problem of optimally enriching the shopper's awareness set. Notably, the price information and the shopper's Willingness-To-Pay play crucial roles. Furthermore, to better account for the commercial nature of the recommendation, we unify the retailer and shoppers' contradictory objectives into a single welfare metric, which we propose as a new recommendation goal. We test our framework on synthetic data and show its performance in a wide range of scenarios. This new framework, that was absent from the Recommender System literature, opens the door to Welfare-Optimized Recommender Systems, couponing, and price optimization.


title: Testing the conservative character of particle simulations: II. Spurious heating of guiding centers and full orbits subject to fluctuations expressed in terms of ${\bf E}$ and ${\bf B}$

abstract: For an axisymmetric tokamak plasma, Hamiltonian theory predicts that the orbits of charged particles must stay on invariant tori of conserved energy in the moving frame of reference of a wave that propagates along the torus with a fixed angular phase velocity. In principle, this is true for arbitrary mode structures in the poloidal plane, but only if the fluctuations are expressed in terms of potentials $\Phi$ and ${\bf A}$, which satisfy Faraday's law by definition. Here, we use the physical fields ${\bf E}$ and ${\bf B}$, where Faraday's law may be violated by errors introduced during the process of computing or designing the wave field through numerical inaccuracies, approximations, or gross negligence. Numerical heating caused by noise-like artifacts on the grid scale can to some extent be reduced via shorter time steps. In contrast, coherent inconsistencies between ${\bf E}$ and ${\bf B}$ cause spurious acceleration that is independent of time steps or numerical methods, but can be sensitive to geometry. In particular, we show that secular acceleration is enhanced when one imposes nonnormal modes that possess strong up-down asymmetry instead of the usual in-out asymmetry of normal toroidal (eigen)modes. Our tests are performed for full gyroorbit and guiding center (GC) models, which give similar results. In addition, we show that $N$-point gyroaveraging is not a recommendable method to enhance the realism of GC simulations. Besides breaking conservation laws, $N$-point gyroaveraging in our example makes the GC results deviate further from the full orbit results, showing that this method can even give the wrong trend.


title: Exciton fine structure splitting and linearly polarized emission in strained transition-metal dichalcogenide monolayers

abstract: We study theoretically effects of an anisotropic elastic strain on the exciton energy spectrum fine structure and optical selection rules in atom-thin crystals based on transition-metal dichalcogenides. The presence of strain breaks the chiral selection rules at the $\bm K$-points of the Brillouin zone and makes optical transitions linearly polarized. The orientation of the induced linear polarization is related to the main axes of the strain tensor. Elastic strain provides an additive contribution to the exciton fine structure splitting in agreement with experimental evidence obtained from uniaxially strained WSe$_2$ monolayer. The applied strain also induces momentum-dependent Zeeman splitting. Depending on the strain orientation and magnitude, Dirac points with a linear dispersion can be formed in the exciton energy spectrum. We provide a symmetry analysis of the strain effects and develop a microscopic theory for all relevant strain-induced contributions to the exciton fine structure Hamiltonian.


title: Sampling spatial structures in geostatistical framework

abstract: Extreme values geostatistics make it possible to model the asymptotic behaviors of random phenomena which depends on space or time parameters. In this paper, we propose new models of the extremal coefficient within a spatial stationary fields underlied by multivariate copulas. Some models of extensions of the extremogram and the cross-extremogram are constructed in a spatial framework. Moreover, both these two geostatistcal tools are modeled using the extremal variogram which characterizes the asymptotic stochastic behavior of the phenomena.


title: Coalescence of non-Markovian dissipation, quantum Zeno effect and non-Hermitian physics, in a simple realistic quantum system

abstract: Diagonalization of the effective Hamiltonian describing an open quantum system is the usual method of tracking its exceptional points. Although, such a method is successful for tracking EPs in Markovian systems, it may be problematic in non-Markovian systems where a closed expression of the effective Hamiltonian describing the open system may not exist. In this work we provide an alternative method of tracking EPs in open quantum systems, using an experimentally measurable quantity, namely the effective decay rate of a qubit. The quantum system under consideration consists of two non-identical interacting qubits, one of which is coupled to an external environment. We develop a theoretical framework in terms of the time-dependent Schrodinger equation of motion, which provides analytical closed form solutions of the Laplace transforms of the qubit amplitudes for an arbitrary spectral density of the boundary reservoir. The link between the peaked structure of the effective decay rate of the qubit that interacts indirectly with the environment, and the onset of the quantum Zeno effect, is discussed in great detail revealing the connections between the latter and the presence of exceptional points. Our treatment and results have in addition revealed an intricate interplay between non-Markovian dynamics, quantum Zeno effect and non-Hermitian physics


title: When the Sun Goes Down: Repairing Photometric Losses for All-Day Depth Estimation

abstract: Self-supervised deep learning methods for joint depth and ego-motion estimation can yield accurate trajectories without needing ground-truth training data. However, as they typically use photometric losses, their performance can degrade significantly when the assumptions these losses make (e.g. temporal illumination consistency, a static scene, and the absence of noise and occlusions) are violated. This limits their use for e.g. nighttime sequences, which tend to contain many point light sources (including on dynamic objects) and low signal-to-noise ratio (SNR) in darker image regions. In this paper, we show how to use a combination of three techniques to allow the existing photometric losses to work for both day and nighttime images. First, we introduce a per-pixel neural intensity transformation to compensate for the light changes that occur between successive frames. Second, we predict a per-pixel residual flow map that we use to correct the reprojection correspondences induced by the estimated ego-motion and depth from the networks. And third, we denoise the training images to improve the robustness and accuracy of our approach. These changes allow us to train a single model for both day and nighttime images without needing separate encoders or extra feature networks like existing methods. We perform extensive experiments and ablation studies on the challenging Oxford RobotCar dataset to demonstrate the efficacy of our approach for both day and nighttime sequences.


title: Which arithmetic operations can be performed in constant time in the RAM model with addition?

abstract: In the literature of algorithms, the specific computation model is often not explicit as it is assumed that the model of computation is the RAM (Random Access Machine) model. However, the RAM model itself is ill-founded in the literature, with disparate definitions and no unified results. The ambition of this paper is to found the RAM model from scratch by exhibiting a RAM model that enjoys interesting algorithmic properties and the robustness of its complexity classes, notably LIN, the class of linear-time computable problems, or the now well-known CONST-DELAY-lin class of enumeration problems computable with constant delay after linear-time preprocessing, The computation model that we define is a RAM whose contents and addresses of registers are $O(N)$, where $N$ is the size (number of registers) of the input, and where the time cost of each instruction is 1 (unit cost criterion). The key to the foundation of our RAM model will be to prove that even if addition is the only primitive operation, such a RAM can still compute all the basic arithmetic operations in constant time after a linear-time preprocessing. Moreover, while the RAM handles only $O(N)$ integers in each register, we will show that our RAM can handle $O(N^d)$ integers, for any fixed d, by storing them on $O(d)$ registers and we will have surprising algorithms that computes many operations acting on these "polynomial" integers -- addition, subtraction, multiplication, division, exponential, integer logarithm, integer square root (or $c$-th root, for any integer $c$), bitwise logical operations, and, more generally, any operation computable in linear time on a cellular automaton -- in constant time after a linear-time preprocessing.


title: Get Your Memory Right: The Crispy Resource Allocation Assistant for Large-Scale Data Processing

abstract: Distributed dataflow systems like Apache Spark and Apache Hadoop enable data-parallel processing of large datasets on clusters. Yet, selecting appropriate computational resources for dataflow jobs -- that neither lead to bottlenecks nor to low resource utilization -- is often challenging, even for expert users such as data engineers. Further, existing automated approaches to resource selection rely on the assumption that a job is recurring to learn from previous runs or to warrant the cost of full test runs to learn from. However, this assumption often does not hold since many jobs are too unique. Therefore, we present Crispy, a method for optimizing data processing cluster configurations based on job profiling runs with small samples of the dataset on just a single machine. Crispy attempts to extrapolate the memory usage for the full dataset to then choose a cluster configuration with enough total memory. In our evaluation on a dataset with 1031 Spark and Hadoop jobs, we see a reduction of job execution costs by 56% compared to the baseline, while on average spending less than ten minutes on profiling runs per job on a consumer-grade laptop.


title: The Reidemeister spectrum of direct products of nilpotent groups

abstract: We investigate the Reidemeister spectrum of direct products of nilpotent groups. More specifically, we prove that the Reidemeister spectra of the individual factors yield complete information for the Reidemeister spectrum of the direct product if all groups are finitely generated torsion-free nilpotent and have a directly indecomposable rational Malcev completion. We show this by determining the complete automorphism group of the direct product.


title: The problem of calculating the $\beta$-Bogoliubov coefficient in Non-Oscillating models

abstract: The calculation of the Bogoliubov coefficients is a key piece to obtain the reheating temperature of the Universe. In all cases this calculation is performed either in toy models where some derivative of the potential is discontinuous at some points or by making some approximations to the model. The result of these calculations is applied to more realistic models without checking if they really apply to this realistic model because the exact calculation of the Bogoliubov coefficients for a viable model, which is usually depicted by a smooth potential, requires a very complicated numerical calculation. Here we want to point out the difficulties that one encounters when trying to compute numerically these coefficients for a smooth potential without making approximations, which could lead to completely different results.


title: Arithmetically equivalent number fields have approximately the same successive minima

abstract: Let $K$ and $K'$ be arithmetically equivalent number fields, both of degree $d$. We prove that $K$ and $K'$ have the same successive minima, up to a constant depending only on $d$. We give examples showing that one cannot expect equality.


title: SMT-based Weighted Model Integration with Structure Awareness

abstract: Weighted Model Integration (WMI) is a popular formalism aimed at unifying approaches for probabilistic inference in hybrid domains, involving logical and algebraic constraints. Despite a considerable amount of recent work, allowing WMI algorithms to scale with the complexity of the hybrid problem is still a challenge. In this paper we highlight some substantial limitations of existing state-of-the-art solutions, and develop an algorithm that combines SMT-based enumeration, an efficient technique in formal verification, with an effective encoding of the problem structure. This allows our algorithm to avoid generating redundant models, resulting in substantial computational savings. An extensive experimental evaluation on both synthetic and real-world datasets confirms the advantage of the proposed solution over existing alternatives.


title: Inferring the stability of concentrated emulsions from droplet configuration information

abstract: When droplets are tightly packed in a 2D microchannel, coalescence of a pair of droplets can trigger an avalanche of coalescence events that propagate through the entire emulsion. This propagation is found to be stochastic, i.e. every coalescence event does not necessarily trigger another. To study how the local probabilistic propagation affects the dynamics of the avalanche, as a whole, a stochastic agent based model is used. Taking as input, i) how the droplets are packed (configuration) and ii) a measure of local probabilistic propagation (experimentally derived; function of fluid and other system parameters), the model predicts the expected size distribution of avalanches. In this article, we investigate how droplet configuration affects the avalanche dynamics. We find the mean size of these avalanches to depend non-trivially on how droplets are packed together. Large variations in the avalanche dynamics are observed when droplet packing are different, even when the other system properties (number of droplets, fluid properties, channel geometry, etc.) are kept constant. Bidisperse emulsions show less variation in the dynamics and they are surprisingly more stable than monodisperse emulsions. To get a systems-level understanding of how a given droplet-configuration either facilitates or impedes the propagation of an avalanche, we employ a graph-theoretic analysis, where emulsions are expressed as graphs. We find that the properties of the underlying graph, namely the mean degree and the algebraic connectivity, are well correlated with the observed avalanche dynamics. We exploit this dependence to derive a data-based model that predicts the expected avalanche sizes from the properties of the graph.


title: Accurate and Real-time Pseudo Lidar Detection: Is Stereo Neural Network Really Necessary?

abstract: The proposal of Pseudo-Lidar representation has significantly narrowed the gap between visual-based and active Lidar-based 3D object detection. However, current researches exclusively focus on pushing the accuracy improvement of Pseudo-Lidar by taking the advantage of complex and time-consuming neural networks. Seldom explore the profound characteristics of Pseudo-Lidar representation to obtain the promoting opportunities. In this paper, we dive deep into the pseudo Lidar representation and argue that the performance of 3D object detection is not fully dependent on the high precision stereo depth estimation. We demonstrate that even for the unreliable depth estimation, with proper data processing and refining, it can achieve comparable 3D object detection accuracy. With this finding, we further show the possibility that utilizing fast but inaccurate stereo matching algorithms in the Pseudo-Lidar system to achieve low latency responsiveness. In the experiments, we develop a system with a less powerful stereo matching predictor and adopt the proposed refinement schemes to improve the accuracy. The evaluation on the KITTI benchmark shows that the presented system achieves competitive accuracy to the state-of-the-art approaches with only 23 ms computing, showing it is a suitable candidate for deploying to real car-hold applications.


title: Potential long-term habitable conditions on planets with primordial H-He atmospheres

abstract: Cold super-Earths which retain their primordial, H-He dominated atmosphere could have surfaces that are warm enough to host liquid water. This would be due to the collision induced absorption (CIA) of infra-red light by hydrogen, which increases with pressure. However, the long-term potential for habitability of such planet has not been explored yet. Here we investigate the duration of this potential exotic habitability by simulating planets of different core masses, envelope masses and semi-major axes. We find that terrestrial and super-Earth planets with masses of $\sim$1 - 10$M_{\oplus}$ can maintain temperate surface conditions up to 5 - 8 Gyr at radial distances larger than $\sim $2 AU. The required envelope masses are $\sim 10^{-4} \, M_{\oplus}$ (which is 2 orders of magnitude more massive than Earth's), but can be an order of magnitude smaller (when close-in) or larger (when far out). This result suggests that the concept of planetary habitability should be revisited and made more inclusive with respect to the classical definition.


title: Detection and Forecasting of Extreme event in Stock Price Triggered by Fundamental, Technical, and External Factors

abstract: The sporadic large fluctuations are seen in the stock market due to changes in fundamental parameters, technical setups, and external factors. These large fluctuations are termed as Extreme Events (EE). The EEs may be positive or negative depending on the impact of these factors. During such events, the stock price time series is found to be nonstationary. Hence, the Hilbert-Huang transformation (HHT) is used to identify EEs based on their high instantaneous energy ($IE$) concentration. The analysis shows that the $IE$ concentration in the stock price is very high during both positive and negative EE with $IE>E_{\mu}+4\sigma,$ where $E_{\mu}$ and $\sigma$ are the mean energy and standard deviation of energy, respectively. Further, support vector regression is used to predict the stock price during an EE, with the close price being the most helpful input than the open-high-low-close (OHLC) inputs. The maximum prediction accuracy for one step using close price and OHLC prices are 95.98\% and 95.64\% respectively. Whereas, for the two steps prediction, the accuracies are 94.09\% and 93.58\% respectively. The EEs found from the predicted time series shows similar statistical characteristics that were obtained from the original data. The analysis emphasizes the importance of monitoring factors that lead to EEs for a compelling entry or exit strategy as investors can gain or lose significant amounts of capital due to these events.