title: Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries

abstract: Despite the advancements in software testing, bugs still plague deployed software and result in crashes in production. When debugging issues -- sometimes caused by "heisenbugs" -- there is the need to interpret core dumps and reproduce the issue offline on the same binary deployed. This requires the entire toolchain (compiler, linker, debugger) to correctly generate and use debug information. Little attention has been devoted to checking that such information is correctly preserved by modern toolchains' optimization stages. This is particularly important as managing debug information in optimized production binaries is non-trivial, often leading to toolchain bugs that may hinder post-deployment debugging efforts. In this paper, we present Debug$^{2}$, a framework to find debug information bugs in modern toolchains. Our framework feeds random source programs to the target toolchain and surgically compares the debugging behavior of their optimized/unoptimized binary variants. Such differential analysis allows Debug$^{2}$ to check invariants at each debugging step and detect bugs from invariant violations. Our invariants are based on the (in)consistency of common debug entities, such as source lines, stack frames, and function arguments. We show that, while simple, this strategy yields powerful cross-toolchain and cross-language invariants, which can pinpoint several bugs in modern toolchains. We have used Debug$^{2}$ to find 23 bugs in the LLVM toolchain (clang/lldb), 8 bugs in the GNU toolchain (GCC/gdb), and 3 in the Rust toolchain (rustc/lldb) -- with 14 bugs already fixed by the developers.


title: Infrared single-cycle pulse induced high-energy plateaus in high-order harmonic spectroscopy

abstract: Motivated by the emerging experiments [e.g. \textit{Z. Nie et al. Nat. Photon. \textbf{12}, 489 (2018)}] on producing infrared (IR) single cycle pulses in the spectral region 5 - 14 $\mu m$, we theoretically investigate their role for controlling high-order harmonic generation (HHG) process induced by an intense near-infrared (NIR) multi-cycle pulse ($\lambda$ = 1.27 $\mu m$). The scenario is demonstrated for a prototype of the hydrogen atom by numerical simulations of the time-dependent Schr\"odinger equation. In particular, we show that the combined pulses allow one to generate even-order harmonics and most importantly to produce high-energy plateaus and that the harmonic cutoff is extended by a factor of 3 compared to the case with the NIR pulse alone. The emerged high-energy plateaus is understood as a result of a vast momentum transfer from the single-cycle field to the ionized electrons while travelling in the NIR field, and thus leading to high-momentum electron recollisions. We also identify the role of the IR single-cycle field for controlling the directionality of the emitted electrons via the IR-field induced electron displacement effect. We further show that the emerged plateaus can be controlled by varying the relative carrier-envelope phase between the two pulses as well as their wavelengths. Thus, our findings open up new perspectives for time-resolved electron diffraction using an IR single-cycle field-assisted high-harmonic spectroscopy.


title: Training a quantum annealing based restricted Boltzmann machine on cybersecurity data

abstract: We present a real-world application that uses a quantum computer. Specifically, we train a RBM using QA for cybersecurity applications. The D-Wave 2000Q has been used to implement QA. RBMs are trained on the ISCX data, which is a benchmark dataset for cybersecurity. For comparison, RBMs are also trained using CD. CD is a commonly used method for RBM training. Our analysis of the ISCX data shows that the dataset is imbalanced. We present two different schemes to balance the training dataset before feeding it to a classifier. The first scheme is based on the undersampling of benign instances. The imbalanced training dataset is divided into five sub-datasets that are trained separately. A majority voting is then performed to get the result. Our results show the majority vote increases the classification accuracy up from 90.24% to 95.68%, in the case of CD. For the case of QA, the classification accuracy increases from 74.14% to 80.04%. In the second scheme, a RBM is used to generate synthetic data to balance the training dataset. We show that both QA and CD-trained RBM can be used to generate useful synthetic data. Balanced training data is used to evaluate several classifiers. Among the classifiers investigated, K-Nearest Neighbor (KNN) and Neural Network (NN) perform better than other classifiers. They both show an accuracy of 93%. Our results show a proof-of-concept that a QA-based RBM can be trained on a 64-bit binary dataset. The illustrative example suggests the possibility to migrate many practical classification problems to QA-based techniques. Further, we show that synthetic data generated from a RBM can be used to balance the original dataset.


title: Stability of quantum eigenstates and kinetics of wave function collapse in a fluctuating environment

abstract: The work analyzes the stability of the quantum eigenstates when they are submitted to fluctuations by using the stochastic generalization of the Madelung quantum hydrodynamic approach. In the limit of sufficiently slow kinetics, the quantum eigenstates show to remain stationary configurations with a very small perturbation of their mass density distribution. The work shows that the stochastic quantum hydrodynamic model allows to obtain the definition of the quantum eigenstates without recurring to the measurement process or any reference to the classical mechanics, by identifying them from their intrinsic properties of stationarity and stability. By using the discrete approach, the path integral solution of the stochastic quantum-hydrodynamic equation has been derived in order to investigate how the final stationary configurations depend by the the initial condition of the quatum superposition of states. The stochastic quantum hydrodynamics shows that the superposition of states can relax to different stationary states that, in the small noise limit, are the slightly perturbed quantum eigenstates. The work shows that the final stationary eigenstate depends by the initial configuration of the superposition of states and that possibly the probability transition to each eigenstates can satisfy the Born rule, allowing the decoherence process to be compatible with the Copenhagen interpretation of quantum mechanics.


title: Preserving general physical properties in model reduction of dynamical systems via constrained-optimization projection

abstract: Model-reduction techniques aim to reduce the computational complexity of simulating dynamical systems by applying a (Petrov-)Galerkin projection process that enforces the dynamics to evolve in a low-dimensional subspace of the original state space. Frequently, the resulting reduced-order model (ROM) violates intrinsic physical properties of the original full-order model (FOM) (e.g., global conservation, Lagrangian structure, state-variable bounds) because the projection process does not generally ensure preservation of these properties. However, in many applications, ensuring the ROM preserves such intrinsic properties can enable the ROM to retain physical meaning and lead to improved accuracy and stability properties. In this work, we present a general constrained-optimization formulation for projection-based model reduction that can be used as a template to enforce the ROM to satisfy specific properties on the kinematics and dynamics. We introduce constrained-optimization formulations at both the time-continuous (i.e., ODE) level, which leads to a constrained Galerkin projection, and at the time-discrete level, which leads to a least-squares Petrov-Galerkin (LSPG) projection, in the context of linear multistep schemes. We demonstrate the ability of the proposed formulations to equip ROMs with desired properties such as global energy conservation and bounds on the total variation.


title: Quantum Computing for Atomic and Molecular Resonances

abstract: The complex-scaling method can be used to calculate molecular resonances within the Born-Oppenheimer approximation, assuming the electronic coordinates are dilated independently of the nuclear coordinates. With this method, one will calculate the complex energy of a non-Hermitian Hamiltonian, whose real part is associated with the resonance position and the imaginary part is the inverse of the lifetime. In this study, we propose techniques to simulate resonances on a quantum computer. First, we transformed the scaled molecular Hamiltonian to second-quantization and then used the Jordan-Wigner transformation to transform the scaled Hamiltonian to the qubit space. To obtain the complex eigenvalues, we introduce the Direct Measurement method, which is applied to obtain the resonances of a simple one-dimensional model potential that exhibits pre-dissociating resonances analogous to those found in diatomic molecules. Finally, we applied the method to simulate the resonances of the H$_2^-$ molecule. Numerical results from the IBM Qiskit simulators and IBM quantum computers verify our techniques.


title: Contrary Effect of B and N Doping into Graphene and Graphene Oxide Heterostructures with MoS$_2$ on Interface Function and Hydrogen Evolution

abstract: Molybdenum disulfide (MoS$_2$) attracts attention as a high efficient and low cost photocatalyst for hydrogen production, but suffers from low conductance and high recombination rate of photo-generated charge carriers. In this work, we investigate the MoS$_2$ heterostructures with graphene variants (GVs), including graphene, graphene oxide, and their boron- and nitrogen-doped variants, by using first-principles calculations. Systematic comparison between graphene and graphene oxide composites is performed, and contrary effect of B and N doping on interface function and hydrogen evolution is clarified. We find that upon the formation of the interfaces some amount of electronic charge transfers from the GV side to the MoS$_2$ layer, inducing the creation of interface dipole and the reduction of work function, which is more pronounced in the graphene oxide composites. Moreover, our results reveal that N doping enhances the interface functions by forming donor-type interface states, whereas B doping reduces those functions by forming acceptor-type interface states. However, the B-doped systems exhibit lower Gibbs free energy difference for hydrogen adsorption on GV side than the N-doped systems, which deserves much consideration in the design of new functional photocatalysts.


title: On geometry of some pseudo-reductive groups

abstract: Based on the work of Conrad-Gabber-Prasad, the paper deals with the geometry of particular pseudo-semisimple groups, namely those which can be written as quotient of Weil restriction of semisimple groups. We establish that these groups are retract rational when their are split, and give results on their Picard groups.


title: Effects of local mutations in quadratic iterations

abstract: We introduce mutations in replication systems in which the intact copying mechanism is performed by discrete iterations of a complex quadratic map in the family $f_c(z) = z^2+c$. More specifically, we consider a "correct" function $f_{c_1}$ acting on the complex plane (representing the RNA to be copied). A "mutation" $f_{c_0}$ is a different ("erroneous") map acting on a locus of given radius $r$ around a mutation focal point $\xi^*$. The effect of the mutation is interpolated radially to eventually recover the original map $f_{c_1}$ when reaching an outer radius $R$. We call the resulting map a "mutated" map. In the theoretical framework of mutated iterations, we study how a mutation (replication error) affects the temporal evolution of the system, in the context of cellular differentiation. We use the prisoner set of the system to quantify simultaneously the long-term behavior of the entire space under mutated maps. We analyze how the position, timing and size of the mutation can alter the system's long-term evolution (as encoded in the topology of its prisoner set). In the context of genetics, this framework may increase our understanding of the factors and mechanisms that shape the genetic expression, in a specialized cell, in the process of differentiation from a stem cell.


title: Interference in the Heisenberg Picture of Quantum Field Theory, Local Elements of Reality and Fermions

abstract: We describe the quantum interference of a single photon in the Mach-Zehnder interferometer using the Heisenberg picture. Our purpose is to show that the description is local just like in the case of the classical electromagnetic field, the only difference being that the electric and the magnetic fields are, in the quantum case, operators (quantum observables). We then consider a single-electron Mach-Zehnder interferometer and explain what the appropriate Heisenberg picture treatment is in this case. Interestingly, the parity superselection rule forces us to treat the electron differently to the photon. A model using only local quantum observables of different fermionic modes, such as the current operator, is nevertheless still viable to describe phase acquisition. We discuss how to extend this local analysis to coupled fermionic and bosonic fields within the same local formalism of quantum electrodynamics as formulated in the Heisenberg picture.


title: Assessing Post-Disaster Damage from Satellite Imagery using Semi-Supervised Learning Techniques

abstract: To respond to disasters such as earthquakes, wildfires, and armed conflicts, humanitarian organizations require accurate and timely data in the form of damage assessments, which indicate what buildings and population centers have been most affected. Recent research combines machine learning with remote sensing to automatically extract such information from satellite imagery, reducing manual labor and turn-around time. A major impediment to using machine learning methods in real disaster response scenarios is the difficulty of obtaining a sufficient amount of labeled data to train a model for an unfolding disaster. This paper shows a novel application of semi-supervised learning (SSL) to train models for damage assessment with a minimal amount of labeled data and large amount of unlabeled data. We compare the performance of state-of-the-art SSL methods, including MixMatch and FixMatch, to a supervised baseline for the 2010 Haiti earthquake, 2017 Santa Rosa wildfire, and 2016 armed conflict in Syria. We show how models trained with SSL methods can reach fully supervised performance despite using only a fraction of labeled data and identify areas for further improvements.


title: Three-dimensional Segmentation of the Scoliotic Spine from MRI using Unsupervised Volume-based MR-CT Synthesis

abstract: Vertebral bone segmentation from magnetic resonance (MR) images is a challenging task. Due to the inherent nature of the modality to emphasize soft tissues of the body, common thresholding algorithms are ineffective in detecting bones in MR images. On the other hand, it is relatively easier to segment bones from CT images because of the high contrast between bones and the surrounding regions. For this reason, we perform a cross-modality synthesis between MR and CT domains for simple thresholding-based segmentation of the vertebral bones. However, this implicitly assumes the availability of paired MR-CT data, which is rare, especially in the case of scoliotic patients. In this paper, we present a completely unsupervised, fully three-dimensional (3D) cross-modality synthesis method for segmenting scoliotic spines. A 3D CycleGAN model is trained for an unpaired volume-to-volume translation across MR and CT domains. Then, the Otsu thresholding algorithm is applied to the synthesized CT volumes for easy segmentation of the vertebral bones. The resulting segmentation is used to reconstruct a 3D model of the spine. We validate our method on 28 scoliotic vertebrae in 3 patients by computing the point-to-surface mean distance between the landmark points for each vertebra obtained from pre-operative X-rays and the surface of the segmented vertebra. Our study results in a mean error of 3.41 $\pm$ 1.06 mm. Based on qualitative and quantitative results, we conclude that our method is able to obtain a good segmentation and 3D reconstruction of scoliotic spines, all after training from unpaired data in an unsupervised manner.


title: Offset-free setpoint tracking using neural network controllers

abstract: In this paper, we present a method to analyze local and global stability in offset-free setpoint tracking using neural network controllers and we provide ellipsoidal inner approximations of the corresponding region of attraction. We consider a feedback interconnection of a linear plant in connection with a neural network controller and an integrator, which allows for offset-free tracking of a desired piecewise constant reference that enters the controller as an external input. Exploiting the fact that activation functions used in neural networks are slope-restricted, we derive linear matrix inequalities to verify stability using Lyapunov theory. After stating a global stability result, we present less conservative local stability conditions (i) for a given reference and (ii) for any reference from a certain set. The latter result even enables guaranteed tracking under setpoint changes using a reference governor which can lead to a significant increase of the region of attraction. Finally, we demonstrate the applicability of our analysis by verifying stability and offset-free tracking of a neural network controller that was trained to stabilize a linearized inverted pendulum.


title: Towards Optimal Coordination between Regional Groups: HVDC Supplementary Power Control

abstract: With Europe dedicated to limiting climate change and greenhouse gas emissions, large shares of Renewable Energy Sources (RES) are being integrated in the national grids, phasing out conventional generation. The new challenges arising from the energy transition will require a better coordination between neighboring system operators to maintain system security. To this end, this paper studies the benefit of exchanging primary frequency reserves between asynchronous areas using the Supplementary Power Control (SPC) functionality of High-Voltage Direct-Current (HVDC) lines. First, we focus on the derivation of frequency metrics for asynchronous AC systems coupled by HVDC interconnectors. We compare two different control schemes for HVDC converters, which allow for unilateral or bilateral exchanges of reserves between neighboring systems. Second, we formulate frequency constraints and include them in a unit commitment problem to ensure the N-1 security criterion. A data-driven approach is proposed to better represent the frequency nadir constraint by means of cutting hyperplanes. Our results suggest that the exchange of primary reserves through HVDC can reduce up to 10% the cost of reserve procurement while maintaining the system N-1 secure.


title: Fully coupled electromagnetic-thermal-mechanical comparative simulation of direct vs hybrid microwave sintering of 3Y-ZrO 2

abstract: Direct and hybrid microwave sintering of 3Y-ZrO 2 are comparatively studied at frequency of 2.45 GHz. Using the continuum theory of sintering, a fully coupled electromagnetic-thermalmechanical (EMTM) finite element simulation is carried out to predict powder samples deformation during their microwave processing. Direct and hybrid heating configurations are computationally tested using advanced heat transfer simulation tools including the surface to surface thermal radiation boundary conditions and a numeric proportional-integral-derivative (PID) regulation. The developed modeling framework shows a good agreement of the calculation results with the known experimental data on the microwave sintering of 3Y-ZrO 2 in terms of the densification kinetics. It is shown that the direct heating configuration renders highly hot spot effects resulting in non-homogenous densification causing processed specimen's final shape distortions. Compared to the direct heating, the hybrid heating configuration provides a reduction of the thermal inhomogeneity along with a densification homogenization. As a result of the hybrid heating, the total densification of the specimen is attained without specimen distortions. It is also shown that the reduction of the sample size has a stabilization effect on the temperature and relative density spatial distributions.


title: Flash microwave pressing of zirconia

abstract: Microwave Pressing is a promising way to reduce microwave sintering temperatures and stabilize microwave powder materials processing. A multi-physics simulation was conducted of the regulated pressure-assisted microwave cavity. This simulation took into consideration resonance phenomena and the nonlinear temperature-dependent material parameters of zirconia. The intrinsic behaviors of microwave systems and zirconia make the regulation of the microwave pressing difficult. However, the same phenomena can be used to activate flash sintering. Flash microwave sintering uses high electric fields of the resonant microwave profile, the Negative Temperature Behavior (NTC) of zirconia resistivity, and the mechanical pressure applied to the powder via a die compaction configuration. The resulting flash microwave pressing still needs improvement in terms of the processed material structure homogeneity, but it has the capacity to become the fastest sintering treatment as it allows room temperature activation where the total process time only takes a few seconds. In addition, this 10-20s processing technique has shown good potential for improving the transparency of alumina pre-sintered specimens.


title: Electric current effects in spark plasma sintering: From the evidence of physical phenomenon to constitutive equation formulation

abstract: The 3 heating modes are utilized to make ZrN powders have 3 different levels of the electric current density at the same temperature during spark plasma sintering (SPS). The constitutive equation of sintering for SPS is applied to the experimental porosity evolution of ZrN from three SPS modes, and this showed high electric current density increase the electric current assisted deformability value of ZrN pellets, resulting in a reduction of the flow stress. The electric current flow enhances the dislocation motion, which was experimentally proved and analyzed by modified Williamson-Hall equation applying to X-ray diffraction results, and the mechanical strength test of ZrN pellets.


title: Graphite creep negation during flash spark plasma sintering under temperatures close to 2000$^\circ$C

abstract: Graphite creep has high importance for applications using high pressures (100 MPa) and temperatures close to 2000 {\textdegree}C. In particular, the new flash spark plasma sintering process (FSPS) is highly sensitive to graphite creep when applied to ultra-high temperature materials such as silicon carbide. In this flash process taking only a few seconds, the graphite tooling reaches temperatures higher than 2000 {\textdegree}C resulting in its irreversible deformation. The graphite tooling creep prevents the flash spark plasma sintering process from progressing further. In this study, a finite element model is used to determine FSPS tooling temperatures. In this context, we explore the graphite creep onset for temperatures above 2000 {\textdegree}C and for high pressures. Knowing the graphite high temperature limit, we modify the FSPS process so that the sintering occurs outside the graphite creep range of temperatures/pressures. 95 % dense silicon carbide compacts are obtained in about 30 s using the optimized FSPS.


title: All-Materials-Inclusive Flash Spark Plasma Sintering

abstract: A new flash (ultra-rapid) spark plasma sintering method applicable to various materials systems, regardless of their electrical resistivity, is developed. A number of powders ranging from metals to electrically insulative ceramics have been successfully densified resulting in homogeneous microstructures within sintering times of 8-35 s. A finite element simulation reveals that the developed method, providing an extraordinary fast and homogeneous heating concentrated in the sample's volume and punches, is applicable to all the different samples tested. The utilized uniquely controllable flash phenomenon is enabled by the combination of the electric current concentration around the sample and the confinement of the heat generated in this area by the lateral thermal contact resistance. The presented new method allows: extending flash sintering to nearly all materials, controlling sample shape by an added graphite die, and an energy efficient mass production of small and intermediate size objects. This approach represents also a potential venue for future investigations of flash sintering of complex shapes.


title: Measurements of Optical Scatter Versus Annealing Temperature for Amorphous Ta2O5 and TiO2:Ta2O5 Thin Films

abstract: Optical coatings formed from amorphous oxide thin films have many applications in precision measurements. The Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO) and Advanced Virgo use coatings of SiO$_2$ (silica) and TiO$_2$:Ta$_2$O$_5$ (titania doped tantala) and post-deposition annealing to 500$^\circ$C to achieve low thermal noise and low optical absorption. Optical scattering by these coatings is a key limit to the detectors' sensitivity. This paper describes optical scattering measurements for single-layer ion-beam-sputtered thin films on fused silica substrates: two samples of Ta$_2$O$_5$ and two of TiO$_2$:Ta$_2$O$_5$. Using an imaging scatterometer at a fixed scattering angle of 12.8$^\circ$, in-situ changes in the optical scatter of each sample were assessed during post-deposition annealing to 500$^\circ$C in vacuum. The scatter of three of the four coated optics was observed to decrease during the annealing process, by 25-30$\%$ for tantala and up to 74$\%$ for titania-doped tantala, while scatter from the fourth sample held constant. Angle-resolved scatter measurements performed before and after vacuum annealing suggests some improvement in three of four samples. These results demonstrate that post-deposition high-temperature annealing of single-layer tantala and titania-doped tantala thin films in vacuum does not lead to an increase in scatter, and may actually improve their scatter.


title: The Timeline Of Gravity

abstract: Gravity plays an important part in the experiments and discoveries of the modern world. But how was it discovered? Surely Newton and Einstein were not the only people to observe it and account for it. It had been a long path before the full theory for Gravitation could be formulated with open ends for more add-ons and modifications. All the contributions from across the world and different eras helped in the discovery of gravity as a whole new concept and area of research with a major contribution from the Greeks. This 3 article series lists out the important curves in the carefully carved path of gravitational discovery. The first article summarises the development of interest in the cosmos and the growth of scientific knowledge through ancient theories and observations.


title: Active Learning in CNNs via Expected Improvement Maximization

abstract: Deep learning models such as Convolutional Neural Networks (CNNs) have demonstrated high levels of effectiveness in a variety of domains, including computer vision and more recently, computational biology. However, training effective models often requires assembling and/or labeling large datasets, which may be prohibitively time-consuming or costly. Pool-based active learning techniques have the potential to mitigate these issues, leveraging models trained on limited data to selectively query unlabeled data points from a pool in an attempt to expedite the learning process. Here we present "Dropout-based Expected IMprOvementS" (DEIMOS), a flexible and computationally-efficient approach to active learning that queries points that are expected to maximize the model's improvement across a representative sample of points. The proposed framework enables us to maintain a prediction covariance matrix capturing model uncertainty, and to dynamically update this matrix in order to generate diverse batches of points in the batch-mode setting. Our active learning results demonstrate that DEIMOS outperforms several existing baselines across multiple regression and classification tasks taken from computer vision and genomics.


title: Investigating Human Response, Behaviour, and Preference in Joint-Task Interaction

abstract: Human interaction relies on a wide range of signals, including non-verbal cues. In order to develop effective Explainable Planning (XAIP) agents it is important that we understand the range and utility of these communication channels. Our starting point is existing results from joint task interaction and their study in cognitive science. Our intention is that these lessons can inform the design of interaction agents -- including those using planning techniques -- whose behaviour is conditioned on the user's response, including affective measures of the user (i.e., explicitly incorporating the user's affective state within the planning model). We have identified several concepts at the intersection of plan-based agent behaviour and joint task interaction and have used these to design two agents: one reactive and the other partially predictive. We have designed an experiment in order to examine human behaviour and response as they interact with these agents. In this paper we present the designed study and the key questions that are being investigated. We also present the results from an empirical analysis where we examined the behaviour of the two agents for simulated users.


title: Asymptotic results with estimating equations for time-evolving clustered data

abstract: We study the existence, strong consistency and asymptotic normality of estimators obtained from estimating functions, that are p-dimensional martingale transforms. The problem is motivated by the analysis of evolutionary clustered data, with distributions belonging to the exponential family, and which may also vary in terms of other component series. Within a quasi-likelihood approach, we construct estimating equations, which accommodate different forms of dependency among the components of the response vector and establish multivariate extensions of results on linear and generalized linear models, with stochastic covariates. Furthermore, we characterize estimating functions which are asymptotically optimal, in that they lead to confidence regions for the regression parameters which are of minimum size, asymptotically. Results from a simulation study and an application to a real dataset are included.


title: HMG -- Homogeneous multigrid for HDG

abstract: We introduce a homogeneous multigrid method in the sense that it uses the same HDG discretization scheme for Poisson's equation on all levels. In particular, we construct a stable injection operator and prove optimal convergence of the method under the assumption of elliptic regularity. Numerical experiments underline our analytical findings.


title: Higgs decay into two leptons and a photon revisited

abstract: I present new results for the Standard-Model predictions of the differential decay rates for $H\to \ell^{+} \ell^{-} \gamma$, where $\ell=e, \mu$, and the forward-backward asymmetries defined in terms of the flight direction of the photon corresponding to the lepton momenta. The results dependend on the cuts on energies and invariant masses of the final state particles. For standard choices of these cuts the branching ratios $B(H\to e \bar e \gamma)=5.8\cdot 10^{-5}$ and $B(H\to \mu \bar \mu \gamma)=6.4\cdot 10^{-5}$ as well as the forward-backward asymmetries $\mathcal{A}^{(e)}_{\text{FB}}=0.343$ and $\mathcal{A}^{(\mu)}_{\text{FB}}=0.255$ have been found.


title: $G$-invariant Hilbert Schemes on Abelian Surfaces and Enumerative Geometry of the Orbifold Kummer Surface

abstract: For an Abelian surface $A$ with a symplectic action by a finite group $G$, one can define the partition function for $G$-invariant Hilbert schemes \[Z_{A, G}(q) = \sum_{d=0}^{\infty} e(\text{Hilb}^{d}(A)^{G})q^{d}.\] We prove the reciprocal $Z_{A,G}^{-1}$ is a modular form of weight $\frac{1}{2}e(A/G)$ for the congruence subgroup $\Gamma_{0}(|G|)$, and give explicit expressions in terms of eta products. Refined formulas for the $\chi_{y}$-genera of $\text{Hilb}(A)^{G}$ are also given. For the group generated by the standard involution $\tau : A \to A$, our formulas arise from the enumerative geometry of the orbifold Kummer surface $[A/\tau]$. We prove that a virtual count of curves in the stack is governed by $\chi_{y}(\text{Hilb}(A)^{\tau})$. Moreover, the coefficients of $Z_{A, \tau}$ are true (weighted) counts of rational curves, consistent with hyperelliptic counts of Bryan, Oberdieck, Pandharipande, and Yin.


title: Rethinking Text Segmentation: A Novel Dataset and A Text-Specific Refinement Approach

abstract: Text segmentation is a prerequisite in many real-world text-related tasks, e.g., text style transfer, and scene text removal. However, facing the lack of high-quality datasets and dedicated investigations, this critical prerequisite has been left as an assumption in many works, and has been largely overlooked by current research. To bridge this gap, we proposed TextSeg, a large-scale fine-annotated text dataset with six types of annotations: word- and character-wise bounding polygons, masks and transcriptions. We also introduce Text Refinement Network (TexRNet), a novel text segmentation approach that adapts to the unique properties of text, e.g. non-convex boundary, diverse texture, etc., which often impose burdens on traditional segmentation models. In our TexRNet, we propose text specific network designs to address such challenges, including key features pooling and attention-based similarity checking. We also introduce trimap and discriminator losses that show significant improvement on text segmentation. Extensive experiments are carried out on both our TextSeg dataset and other existing datasets. We demonstrate that TexRNet consistently improves text segmentation performance by nearly 2% compared to other state-of-the-art segmentation methods. Our dataset and code will be made available at https://github.com/SHI-Labs/Rethinking-Text-Segmentation.


title: 3D simulations of photochemical hazes in the atmosphere of hot Jupiter HD 189733b

abstract: Photochemical hazes have been suggested as candidate for the high-altitude aerosols observed in the transmission spectra of many hot Jupiters. We present 3D simulations of the hot Jupiter HD 189733b to study how photochemical hazes are transported by atmospheric circulation. The model includes spherical, constant-size hazes particles that gravitationally settle and are transported by the winds as passive tracers, with particle radii ranging from 1 nm to 300 $\mu$m. We identify two general types of haze distribution based on particle size: In the small-particle regime (<30 nm), gravitational settling is unimportant, and hazes accumulate in two large mid-latitude vortices centered on the night side that extend across the morning terminator. Therefore, small hazes are more concentrated at the morning terminator than at the evening terminator. In the large-particle regime (>30 nm), hazes settle out quickly on the nightside, resulting in more hazes at the evening terminator. For small particles, terminator differences in haze mass mixing ratio and temperature considered individually can result in significant differences in the transit spectra of the terminators. When combining both effects for HD189733b, however, they largely cancel out each other, resulting in very small terminator differences in the spectra. Transit spectra based on the GCM-derived haze distribution fail to reproduce the steep spectral slope at short wavelengths in the current transit observations of HD 189733b. Differing optical properties of hazes, hotter temperatures at low pressures because of heating by hazes, enhanced sub-grid-scale mixing, or star spots might explain the mismatch between the model and observations.


title: Critical velocity averaging lemmas

abstract: We prove new velocity averaging lemmas for multi-dimensional hyperbolic-parabolic partial differential equations. These theorems may be applied to establish several compactness results for both deterministic and stochastic convection-diffusion equations. Among the strengths of our theory is the criticality of the source term, which may include spatial derivatives of second order and stochastic noises.


title: A Survey of Online Card Payment Fraud Detection using Data Mining-based Methods

abstract: Card payment fraud is a serious problem, and a roadblock for an optimally functioning digital economy, with cards (Debits and Credit) being the most popular digital payment method across the globe. Despite the occurrence of fraud could be relatively rare, the impact of fraud could be significant, especially on the cardholder. In the research, there have been many attempts to develop methods of detecting potentially fraudulent transactions based on data mining techniques, predominantly exploiting the developments in the space of machine learning over the last decade. This survey proposes a taxonomy based on a review of existing research attempts and experiments, which mainly elaborates the approaches taken by researchers to incorporate the (i) business impact of fraud (and fraud detection) into their work , (ii) the feature engineering techniques that focus on cardholder behavioural profiling to separate fraudulent activities happening with the same card, and (iii) the adaptive efforts taken to address the changing nature of fraud. Further, there will be a comparative performance evaluation of classification algorithms used and efforts of addressing class imbalance problem. Forty-five peer-reviewed papers published in the domain of card fraud detection between 2009 and 2020 were intensively reviewed to develop this paper.


title: Entropic signatures of the skyrmion lattice phase in MnSi1-xAlx and Fe1-yCoySi

abstract: The entropic signatures of magnetic phase transitions in the skyrmion lattice host compounds MnSi0.962Al0.038 and Fe0.7Co0.3Si were investigated through low field magnetization and ac susceptibility measurements. These data indicate that the conical to skyrmion transition that occurs with the application of magnetic field in MnSi0.962Al0.038 is characterized by clear discontinuity in the magnetic entropy as expected for first order topological phase transition. These same magnetoentropic features are negligibly small in isostructural Fe0.7Co0.3Si due to the level of chemical substitution related disorder and differences in the spin dynamics (range and timescales). Despite the obvious similarities in the magnetic structures of these two compounds, the transitions between these phases is substantially different indicating a surprising non-universality to the magnetic phase transitions in this class of materials.


title: Form Factors of the Nucleon Axial Current

abstract: A symmetry-preserving Poincar\'e-covariant quark+diquark Faddeev equation treatment of the nucleon is used to deliver parameter-free predictions for the nucleon's axial and induced pseudoscalar form factors, $G_A$ and $G_P$, respectively. The result for $G_A$ can reliably be represented by a dipole form factor characterised by an axial charge $g_A=G_A(0)=1.25(3)$ and a mass-scale $M_A = 1.23(3) m_N$, where $m_N$ is the nucleon mass; and regarding $G_P$, the induced pseudoscalar charge $g_p^\ast = 8.80(23)$, the ratio $g_p^\ast/g_A = 7.04(22)$, and the pion pole dominance Ansatz is found to provide a reliable estimate of the directly computed result. The ratio of flavour-separated quark axial charges is also calculated: $g_A^d/g_A^u=-0.16(2)$. This value expresses a marked suppression of the size of the $d$-quark component relative to that found in nonrelativistic quark models and owes to the presence of strong diquark correlations in the nucleon Faddeev wave function -- both scalar and axial-vector, with the scalar diquark being dominant. The predicted form for $G_A$ should provide a sound foundation for analyses of the neutrino-nucleus and antineutrino-nucleus cross-sections that are relevant to modern accelerator neutrino experiments.


title: General Multi-label Image Classification with Transformers

abstract: Multi-label image classification is the task of predicting a set of labels corresponding to objects, attributes or other entities present in an image. In this work we propose the Classification Transformer (C-Tran), a general framework for multi-label image classification that leverages Transformers to exploit the complex dependencies among visual features and labels. Our approach consists of a Transformer encoder trained to predict a set of target labels given an input set of masked labels, and visual features from a convolutional neural network. A key ingredient of our method is a label mask training objective that uses a ternary encoding scheme to represent the state of the labels as positive, negative, or unknown during training. Our model shows state-of-the-art performance on challenging datasets such as COCO and Visual Genome. Moreover, because our model explicitly represents the uncertainty of labels during training, it is more general by allowing us to produce improved results for images with partial or extra label annotations during inference. We demonstrate this additional capability in the COCO, Visual Genome, News500, and CUB image datasets.


title: A note on the $p$-operator space structure of the $p$-analog of the Fourier-Stieltjes algebra

abstract: In this paper one of the possible $p$-operator space structures of the $p$-analog of the Fourier-Stieltjes algebra will be introduced, and to some extend will be studied. This special sort of operator structure will be given from the predual of this Fourier type algebra, that is the algebra of universal $p$-pseudofunctions. Furthermore, some applicable and expected results will be proven. Current paper can be considered as a new gate into the collection of problems around the $p$-analog of the Fourier-Stieltjes algebra, in the $p$-operator space structure point of view.


title: The Physics of Drying of Colloidal Dispersion: Pattern Formation and Desiccation Cracks

abstract: Drying of colloidal dispersion and their consolidation into a particulate deposit is a common phenomenon. This process involves various physical processes such as diffusion of liquid molecules into the ambient atmosphere and advection of dispersed particles via evaporation driven flow. The colloidal particles forming a dried deposit exhibits distinct patterns and frequently possess structural defects such as desiccation cracks. This chapter gives an introductory review of the drying of colloidal dispersion and various associated phenomena. In principle, the drying of colloid dispersion, the process of their consolidation, and fluid-flow dynamics are all studied in numerous drying configurations. Here we explain drying induced phenomena concerning sessile drop drying. We begin with an introduction to colloids, provide background on the physics of drying, and then explain the formation of pattern and the desiccation cracks. The role of evaporation driven flows and their influence on particle accumulation, the impact of various physical parameters on pattern formation and cracks are all briefly illustrated.


title: Formation, Composition, and History of the Pluto System: A Post-New-Horizons Synthesis

abstract: The Pluto-Charon system provides a broad variety of constraints on planetary formation, composition, chemistry, and evolution. Pluto was the first body to be discovered in what is now known as the Kuiper belt, its orbit ultimately becoming a major clue that the giant planets underwent substantial orbital migration early in Solar System history. This migration has been linked to an early instability in the orbits of the giant planets and the formation of the Kuiper belt itself, from an ancestral trans-Neptunian planetesimal disk that included Pluto. Pluto-Charon is emblematic of what are now recognized as small or dwarf planets. Far from being a cold, dead, battered icy relic, Pluto displays evidence of a complex geological history, with ongoing processes including tectonism, cryovolcanism, solid-state convection, glacial flow, atmospheric circulation, surface-atmosphere volatile exchange, aeolian processes, and atmospheric photochemistry, microphysics, and haze formation. Despite Pluto's relatively modest scale, the combination of original accretional heat, long-term internal radiogenic heat release, and external solar forcing, when combined with sufficiently volatile (and thus mobile) materials, yields an active world. Pluto may have inherited a large organic mass fraction during accretion, which may responsible, in part, for its surface and atmospheric volatiles. Charon, Pluto's major moon, displays evidence of extensive early tectonism and cryovolcanism. Dwarf planets are thus truly planetary in terms of satellite systems and geological and atmospheric complexity (if not ongoing activity). What they may lack in mass is made up in number, and the majority of the Solar System's dwarf planets remain undiscovered.


title: Voting based ensemble improves robustness of defensive models

abstract: Developing robust models against adversarial perturbations has been an active area of research and many algorithms have been proposed to train individual robust models. Taking these pretrained robust models, we aim to study whether it is possible to create an ensemble to further improve robustness. Several previous attempts tackled this problem by ensembling the soft-label prediction and have been proved vulnerable based on the latest attack methods. In this paper, we show that if the robust training loss is diverse enough, a simple hard-label based voting ensemble can boost the robust error over each individual model. Furthermore, given a pool of robust models, we develop a principled way to select which models to ensemble. Finally, to verify the improved robustness, we conduct extensive experiments to study how to attack a voting-based ensemble and develop several new white-box attacks. On CIFAR-10 dataset, by ensembling several state-of-the-art pre-trained defense models, our method can achieve a 59.8% robust accuracy, outperforming all the existing defensive models without using additional data.


title: Predicting cardiovascular risk from national administrative databases using a combined survival analysis and deep learning approach

abstract: AIMS. This study compared the performance of deep learning extensions of survival analysis models with traditional Cox proportional hazards (CPH) models for deriving cardiovascular disease (CVD) risk prediction equations in national health administrative datasets. METHODS. Using individual person linkage of multiple administrative datasets, we constructed a cohort of all New Zealand residents aged 30-74 years who interacted with publicly funded health services during 2012, and identified hospitalisations and deaths from CVD over five years of follow-up. After excluding people with prior CVD or heart failure, sex-specific deep learning and CPH models were developed to estimate the risk of fatal or non-fatal CVD events within five years. The proportion of explained time-to-event occurrence, calibration, and discrimination were compared between models across the whole study population and in specific risk groups. FINDINGS. First CVD events occurred in 61,927 of 2,164,872 people. Among diagnoses and procedures, the largest 'local' hazard ratios were associated by the deep learning models with tobacco use in women (2.04, 95%CI: 1.99-2.10) and with chronic obstructive pulmonary disease with acute lower respiratory infection in men (1.56, 95%CI: 1.50-1.62). Other identified predictors (e.g. hypertension, chest pain, diabetes) aligned with current knowledge about CVD risk predictors. The deep learning models significantly outperformed the CPH models on the basis of proportion of explained time-to-event occurrence (Royston and Sauerbrei's R-squared: 0.468 vs. 0.425 in women and 0.383 vs. 0.348 in men), calibration, and discrimination (all p<0.0001). INTERPRETATION. Deep learning extensions of survival analysis models can be applied to large health administrative databases to derive interpretable CVD risk prediction equations that are more accurate than traditional CPH models.


title: A Tractable Online Learning Algorithm for the Multinomial Logit Contextual Bandit

abstract: In this paper, we consider the contextual variant of the MNL-Bandit problem. More specifically, we consider a dynamic set optimization problem, where a decision-maker offers a subset (assortment) of products to a consumer and observes the response in every round. Consumers purchase products to maximize their utility. We assume that a set of attributes describe the products, and the mean utility of a product is linear in the values of these attributes. We model consumer choice behavior using the widely used Multinomial Logit (MNL) model and consider the decision maker problem of dynamically learning the model parameters while optimizing cumulative revenue over the selling horizon $T$. Though this problem has attracted considerable attention in recent times, many existing methods often involve solving an intractable non-convex optimization problem. Their theoretical performance guarantees depend on a problem-dependent parameter which could be prohibitively large. In particular, existing algorithms for this problem have regret bounded by $O(\sqrt{\kappa d T})$, where $\kappa$ is a problem-dependent constant that can have an exponential dependency on the number of attributes. In this paper, we propose an optimistic algorithm and show that the regret is bounded by $O(\sqrt{dT} + \kappa)$, significantly improving the performance over existing methods. Further, we propose a convex relaxation of the optimization step, which allows for tractable decision-making while retaining the favourable regret guarantee.


title: Induced Percolation on Networked Systems

abstract: Percolation theory has been widely used to study phase transitions in complex networked systems. It has also successfully explained several macroscopic phenomena across different fields. Yet, the existent theoretical framework for percolation places the focus on the direct interactions among the system's components, while recent empirical observations have shown that indirect interactions are common in many systems like ecological and social networks, among others. Here, we propose a new percolation framework that accounts for indirect interactions, which allows to generalize the current theoretical body and understand the role of the underlying indirect influence of the components of a networked system on its macroscopic behavior. We report a rich phenomenology in which first-order, second-order or hybrid phase transitions are possible depending on whether the links of the substrate network are directed, undirected or a mix, respectively. We also present an analytical framework to characterize the proposed induced percolation, paving the way to further understand network dynamics with indirect interactions.


title: cMinMax: A Fast Algorithm to Find the Corners of an N-dimensional Convex Polytope

abstract: During the last years, the emerging field of Augmented & Virtual Reality (AR-VR) has seen tremendousgrowth. At the same time there is a trend to develop low cost high-quality AR systems where computing poweris in demand. Feature points are extensively used in these real-time frame-rate and 3D applications, thereforeefficient high-speed feature detectors are necessary. Corners are such special features and often are used as thefirst step in the marker alignment in Augmented Reality (AR). Corners are also used in image registration andrecognition, tracking, SLAM, robot path finding and 2D or 3D object detection and retrieval. Therefore thereis a large number of corner detection algorithms but most of them are too computationally intensive for use inreal-time applications of any complexity. Many times the border of the image is a convex polygon. For thisspecial, but quite common case, we have developed a specific algorithm, cMinMax. The proposed algorithmis faster, approximately by a factor of 5 compared to the widely used Harris Corner Detection algorithm. Inaddition is highly parallelizable. The algorithm is suitable for the fast registration of markers in augmentedreality systems and in applications where a computationally efficient real time feature detector is necessary.The algorithm can also be extended to N-dimensional polyhedrons.


title: Differences between human and machine perception in medical diagnosis

abstract: Deep neural networks (DNNs) show promise in image-based medical diagnosis, but cannot be fully trusted since their performance can be severely degraded by dataset shifts to which human perception remains invariant. If we can better understand the differences between human and machine perception, we can potentially characterize and mitigate this effect. We therefore propose a framework for comparing human and machine perception in medical diagnosis. The two are compared with respect to their sensitivity to the removal of clinically meaningful information, and to the regions of an image deemed most suspicious. Drawing inspiration from the natural image domain, we frame both comparisons in terms of perturbation robustness. The novelty of our framework is that separate analyses are performed for subgroups with clinically meaningful differences. We argue that this is necessary in order to avert Simpson's paradox and draw correct conclusions. We demonstrate our framework with a case study in breast cancer screening, and reveal significant differences between radiologists and DNNs. We compare the two with respect to their robustness to Gaussian low-pass filtering, performing a subgroup analysis on microcalcifications and soft tissue lesions. For microcalcifications, DNNs use a separate set of high frequency components than radiologists, some of which lie outside the image regions considered most suspicious by radiologists. These features run the risk of being spurious, but if not, could represent potential new biomarkers. For soft tissue lesions, the divergence between radiologists and DNNs is even starker, with DNNs relying heavily on spurious high frequency components ignored by radiologists. Importantly, this deviation in soft tissue lesions was only observable through subgroup analysis, which highlights the importance of incorporating medical domain knowledge into our comparison framework.


title: Text Mining for Processing Interview Data in Computational Social Science

abstract: We use commercially available text analysis technology to process interview text data from a computational social science study. We find that topical clustering and terminological enrichment provide for convenient exploration and quantification of the responses. This makes it possible to generate and test hypotheses and to compare textual and non-textual variables, and saves analyst effort. We encourage studies in social science to use text analysis, especially for exploratory open-ended studies. We discuss how replicability requirements are met by text analysis technology. We note that the most recent learning models are not designed with transparency in mind, and that research requires a model to be editable and its decisions to be explainable. The tools available today, such as the one used in the present study, are not built for processing interview texts. While many of the variables under consideration are quantifiable using lexical statistics, we find that some interesting and potentially valuable features are difficult or impossible to automatise reliably at present. We note that there are some potentially interesting applications for traditional natural language processing mechanisms such as named entity recognition and anaphora resolution in this application area. We conclude with a suggestion for language technologists to investigate the challenge of processing interview data comprehensively, especially the interplay between question and response, and we encourage social science researchers not to hesitate to use text analysis tools, especially for the exploratory phase of processing interview data.?


title: Tuning of quantum entanglement of a superconductor by Transition-metal and Rare-earth impurity effect and the role of potential scattering on quantum phase transition

abstract: By considering transition-metal (Shiba-Rusinov model) and rare-earth metal impurities (Abrikosov-Gor'kov theory) effect on a many-body system, i.e., a BCS s-wave superconductor, quantum bipartite entanglement of two electrons of the Cooper pairs in terms of the exchange interaction, J, the potential scattering, V (contrary to expectations playing an important role), and the distance of two electron spins of the Cooper pair is calculated at zero temperature by using two-electron spin-space density matrix (Werner state). In transition-metal case, we found new quantum phase transitions (QPTs). The changes of J, which causes to have localized excited state, V and the pair interaction (via energy gap) lead to the displacement of the QPTs (interactions act in the same direction, however sometimes the pair interaction causes the competition with other interactions), regardless of their effects on the value of concurrence. To have the turning point, which is a QPT point, by the reduction of |J|, the system doesn't need to have the large V. For non-magnetic and magnetic (rare-earth) impurity cases, the concurrence versus the distance and collision times is discussed for all finite and infinite Debye frequency. The quantum correlation, instability of the system and what's more important QPT can be tuned by impurity.


title: An Investigation of Language Model Interpretability via Sentence Editing

abstract: Pre-trained language models (PLMs) like BERT are being used for almost all language-related tasks, but interpreting their behavior still remains a significant challenge and many important questions remain largely unanswered. In this work, we re-purpose a sentence editing dataset, where faithful high-quality human rationales can be automatically extracted and compared with extracted model rationales, as a new testbed for interpretability. This enables us to conduct a systematic investigation on an array of questions regarding PLMs' interpretability, including the role of pre-training procedure, comparison of rationale extraction methods, and different layers in the PLM. The investigation generates new insights, for example, contrary to the common understanding, we find that attention weights correlate well with human rationales and work better than gradient-based saliency in extracting model rationales. Both the dataset and code are available at https://github.com/samuelstevens/sentence-editing-interpretability to facilitate future interpretability research.


title: Model-independently calibrating the luminosity correlations of gamma-ray bursts using deep learning

abstract: Gamma-ray bursts (GRBs) detected at high redshift can be used to trace the Hubble diagram of the Universe. However, the distance calibration of GRBs is not as easily as that of type Ia supernovae (SNe Ia). For the calibrating method based on the empirical luminosity correlations, there is an underlying assumption that the correlations should be universal over the whole redshift range. In this paper, we investigate the possible redshift dependence of six luminosity correlations with a completely model-independent deep learning method. We construct a network combining the Recurrent Neural Networks (RNN) and the Bayesian Neural Networks (BNN), where RNN is used to reconstruct the distance-redshift relation by training the network with the Pantheon compilation, and BNN is used to calculate the uncertainty of the reconstruction. Using the reconstructed distance-redshift relation of Pantheon, we test the redshift dependence of six luminosity correlations by dividing the full GRB sample into two subsamples (low-$z$ and high-$z$ subsamples), and find that only the $E_p-E_{\gamma}$ relation has no evidence for redshift dependence. We use the $E_p-E_{\gamma}$ relation to calibrate GRBs, and the calibrated GRBs give tight constraint on the flat $\Lambda$CDM model, with the best-fitting parameter $\Omega_{\rm M}$=0.307$^{+0.065}_{-0.073}$.


title: A RGB-D SLAM Algorithm for Indoor Dynamic Scene

abstract: Visual slam technology is one of the key technologies for robot to explore unknown environment independently. Accurate estimation of camera pose based on visual sensor is the basis of autonomous navigation and positioning. However, most visual slam algorithms are based on static environment assumption and cannot estimate accurate camera pose in dynamic environment. In order to solve this problem, a visual SLAM algorithm for indoor dynamic environment is proposed. Firstly, some moving objects are eliminated based on the depth information of RGB-D camera, and the initial camera pose is obtained by optimizing the luminosity and depth errors, then the moving objects are further eliminated. and, the initial static background is used for pose estimation again. After several iterations, the more accurate static background and more accurate camera pose is obtained. Experimental results show that, compared with previous research results, the proposed algorithm can achieve higher pose estimation accuracy in both low dynamic indoor scenes and high dynamic indoor scenes.


title: Contributions of flame thickening and local extinctions to burning rate of intensely turbulent premixed flames

abstract: Influences of reaction zone thickening and local extinctions on the burning rate of extremely turbulent hydrogen-enriched methane-air flames are investigated using simultaneous planar laser-induced fluorescence of formaldehyde molecule and hydroxyl radical as well as separate stereoscopic particle image velocimetry techniques. Karlovitz numbers upto 76 are examined. It is shown that, by increasing the turbulence intensity, the preheat and reaction zone thicknesses can increase to values that are, respectively, 6.3 and 4.9 of the corresponding laminar flames. Broadening of these zones for intensely turbulent hydrogen-enriched methane-air flames is shown experimentally for the first time. Broadening of the reaction zone suggests that the flamelet assumption used for development of the burning rate formulations may not hold. Thus, a new formulation, which does not utilize the flamelet assumption, is developed and used to calculate the burning rate of the tested flames. It is shown that, at small turbulence intensities, the burning rate values follow those of the local consumption speed, which is developed in the literature based on the flamelet assumption. However, at large turbulence intensities, the estimated burning rate features large values, and the ratio of this parameter to the local consumption speed is consistent with the ratio of the global and local consumption speeds reported in the literature. It is shown that the ratio of the normalized burning rate to the normalized local consumption speed is correlated with the broadening of reaction zone, suggesting that the disparity between the values of the burning rate and local consumption speed is linked to the reaction zone thickening. It is shown, although the flame thickening increase the burning rate, local extinctions decrease this parameter leading to the bending behavior reported in the literature.


title: Fundamental Schemes for Efficient Unconditionally Stable Implicit Finite-Difference Time-Domain Methods

abstract: This paper presents the generalized formulations of fundamental schemes for efficient unconditionally stable implicit finite-difference time-domain (FDTD) methods. The fundamental schemes constitute a family of implicit schemes that feature similar fundamental updating structures, which are in simplest forms with most efficient right-hand sides. The formulations of fundamental schemes are presented in terms of generalized matrix operator equations pertaining to some classical splitting formulae, including those of alternating direction implicit, locally one-dimensional and split-step schemes. To provide further insights into the implications and significance of fundamental schemes, the analyses are also extended to many other schemes with distinctive splitting formulae. Detailed algorithms are described for new efficient implementations of the unconditionally stable implicit FDTD methods based on the fundamental schemes. A comparative study of various implicit schemes in their original and new implementations is carried out, which includes comparisons of their computation costs and efficiency gains.

categories: math.NA cs.NA cs.SY eess.SY math.AP physics.comp-ph


title: A Deductive Verification Framework For Higher Order Programs

abstract: In this report, we present the preliminary work developed for our research project for the APDC (\'Area Pr\'atica de Desenvolvimento Curricular) course. The main goal of this project is to develop a framework, on top of the Why3 tool, for the verification of effectful higher-order programs. We use defunctionalization as an intermediate transformation from higher-order OCaml implementations into first order ones. The target for our translation is WhyML, the Why3's programming language. We believe defunctionalization can be an interesting route for the automated verification of higher-order programs, since one can employ off-the-shelf automated program verifiers to prove the correctness of the generated first-order program. This report also serves to introduce the reader to the subject of deductive program verification and some of the tools and concepts used to prove higher order effectful programs.


title: Incorporating Hidden Layer representation into Adversarial Attacks and Defences

abstract: In this paper, we propose a defence strategy to improve adversarial robustness by incorporating hidden layer representation. The key of this defence strategy aims to compress or filter input information including adversarial perturbation. And this defence strategy can be regarded as an activation function which can be applied to any kind of neural network. We also prove theoretically the effectiveness of this defense strategy under certain conditions. Besides, incorporating hidden layer representation we propose three types of adversarial attacks to generate three types of adversarial examples, respectively. The experiments show that our defence method can significantly improve the adversarial robustness of deep neural networks which achieves the state-of-the-art performance even though we do not adopt adversarial training.


title: HOQST: Hamiltonian Open Quantum System Toolkit

abstract: We present an open-source software package called "Hamiltonian Open Quantum System Toolkit" (HOQST), a collection of tools for the investigation of open quantum system dynamics in Hamiltonian quantum computing, including both quantum annealing and the gate-model of quantum computing. It features the key master equations (MEs) used in the field, suitable for describing the reduced system dynamics of an arbitrary time-dependent Hamiltonian with either weak or strong coupling to infinite-dimensional quantum baths. This includes the Redfield ME, the polaron-transformed Redfield ME, the adiabatic ME, the coarse-grained ME, and the universal Lindblad ME. HOQST also includes the stochastic Schrodinger equation with spin-fluctuators. We present an overview of the theories behind the various MEs and provide examples to illustrate typical workflows in HOQST. We present an example that shows that HOQST can provide order of magnitude speedups compared to QuTiP, for problems with time-dependent Hamiltonians. The package is ready to be deployed on high-performance computing (HPC) clusters and is aimed at providing reliable open-system analysis tools for noisy intermediate-scale quantum (NISQ) devices. The HOQST Github repository (https://github.com/USCqserver/OpenQuantumTools.jl) provides the starting point for users. Detailed information can be found in the README file.


title: Learning from Incomplete Features by Simultaneous Training of Neural Networks and Sparse Coding

abstract: In this paper, the problem of training a classifier on a dataset with incomplete features is addressed. We assume that different subsets of features (random or structured) are available at each data instance. This situation typically occurs in the applications when not all the features are collected for every data sample. A new supervised learning method is developed to train a general classifier, such as a logistic regression or a deep neural network, using only a subset of features per sample, while assuming sparse representations of data vectors on an unknown dictionary. Sufficient conditions are identified, such that, if it is possible to train a classifier on incomplete observations so that their reconstructions are well separated by a hyperplane, then the same classifier also correctly separates the original (unobserved) data samples. Extensive simulation results on synthetic and well-known datasets are presented that validate our theoretical findings and demonstrate the effectiveness of the proposed method compared to traditional data imputation approaches and one state-of-the-art algorithm.


title: Is Support Set Diversity Necessary for Meta-Learning?

abstract: Meta-learning is a popular framework for learning with limited data in which an algorithm is produced by training over multiple few-shot learning tasks. For classification problems, these tasks are typically constructed by sampling a small number of support and query examples from a subset of the classes. While conventional wisdom is that task diversity should improve the performance of meta-learning, in this work we find evidence to the contrary: we propose a modification to traditional meta-learning approaches in which we keep the support sets fixed across tasks, thus reducing task diversity. Surprisingly, we find that not only does this modification not result in adverse effects, it almost always improves the performance for a variety of datasets and meta-learning methods. We also provide several initial analyses to understand this phenomenon. Our work serves to: (i) more closely investigate the effect of support set construction for the problem of meta-learning, and (ii) suggest a simple, general, and competitive baseline for few-shot learning.


title: Medium-band observation of the neutrino emitting blazar, TXS 0506+056

abstract: TXS 0506+056 is a blazar that has been recently identified as the counterpart of the neutrino event IceCube-170922A. Understanding blazar type of TXS 0506+056 is important to constrain the neutrino emission mechanism, but the blazar nature of TXS 0506+056 is still uncertain. As an attempt to understand the nature of TXS 0506+056, we report the medium-band observation results of TXS 0506+056, covering the wavelength range of 0.575 to 1.025 $\mu$m. The use of the medium-band filters allow us to examine if there were any significant changes in its spectral shapes over the course of one month and give a better constraint on the peak frequency of synchrotron radiation with quasi-simultaneous datasets. The peak frequency is found to be $10^{14.28}$ Hz, and our analysis shows that TXS 0506+056 is not an outlier from the blazar sequence. As a way to determine the blazar type, we also analyzed if TXS 0506+056 is bluer-when-brighter (BL Lac type and some flat spectrum radio quasars, FSRQs) or redder-when-brighter (found only in some FSRQs). Even though we detect no significant variability in the spectral shape larger than observational error during our medium-band observation period, the comparison with a dataset taken at 2012 shows a possible redder-when-brighter behavior of FSRQs. Our results demonstrate that medium-band observations with small to moderate-sized telescopes can be an effective way to trace the spectral evolution of transients such as TXS 0506+056.


title: Light management in highly-textured perovskite solar cells: From full-device ellipsometry characterization to optical modelling for quantum efficiency optimization

abstract: While perovskite solar cells (PSCs) are now reaching high power conversion efficiencies (PCEs), further performance improvement requires a fine management and an optimization of the light pathway and harvesting in the cells. These go through an accurate understanding, characterization and modelling of the optical processes occurring in these complex, often textured, multi-layered systems. In the present work, we have considered a typical methylammonium lead iodide (MAPI) solar cell built on a fluorine-doped tin oxide (FTO) electrode of high roughness (43 nm RMS). By variable-angle spectroscopic ellipsometry (VASE) of the full PSC device, we have been able to determine the optical constants of all the device layers. We have designed a one-dimensional (1D) optical model of the stacked layers where the rough texture is described as layers of effective-medium index. We have supported the model using data extracted from scanning electron microscopy, diffuse spectroscopy and photovoltaic efficiency measurements. We show that the 1D model, while insufficient to describe scattering by the FTO plate alone, gives an accurate description of the full device optical properties. By comparison with the experimental external quantum efficiency (EQE), we estimate the internal quantum efficiency (IQE) and the effect of the losses related to electron transfer. Based on this work, we finally discuss the optical losses mechanisms and the possible strategies that can be implemented to improve light management within PSC devices and further increase their performances.


title: Close Latency--Security Trade-off for the Nakamoto Consensus

abstract: Bitcoin is a peer-to-peer electronic cash system invented by Nakamoto in 2008. While it has attracted much research interest, its exact latency and security properties remain open. Existing analyses provide security and latency (or confirmation time) guarantees that are too loose for practical use. In fact the best known upper bounds are several orders of magnitude larger than a lower bound due to a well-known private-mining attack. This paper describes a continuous-time model for blockchains and develops a rigorous analysis that yields close upper and lower bounds for the latency--security trade-off. For example, when the adversary controls 10\% of the total mining power and the block propagation delays are within 10 seconds, a Bitcoin block is secured with less than $10^{-3}$ error probability if it is confirmed after four hours, or with less than $10^{-9}$ error probability if confirmed after ten hours. These confirmation times are about two hours away from their corresponding lower bounds. To establish such close bounds, the blockchain security question is reduced to a race between the Poisson adversarial mining process and a renewal process formed by a certain species of honest blocks. The moment generation functions of relevant renewal times are derived in closed form. The general formulas from the analysis are then applied to study the latency--security trade-off of several well-known proof-of-work longest-chain cryptocurrencies. Guidance is also provided on how to set parameters for different purposes.


title: Bayesian noise wave calibration for 21-cm global experiments

abstract: Detection of millikelvin-level signals from the 'Cosmic Dawn' requires an unprecedented level of sensitivity and systematic calibration. We report the theory behind a novel calibration algorithm developed from the formalism introduced by the EDGES collaboration for use in 21-cm experiments. Improvements over previous approaches are provided through the incorporation of a Bayesian framework and machine learning techniques such as the use of Bayesian evidence to determine the level of frequency variation of calibration parameters that is supported by the data, the consideration of correlation between calibration parameters when determining their values and the use of a conjugate-prior based approach that results in a fast algorithm for application in the field. In self-consistency tests using empirical data models of varying complexity, our methodology is used to calibrate a 50 $\Omega$ ambient-temperature load. The RMS error between the calibration solution and the measured temperature of the load is 8 mK, well within the 1$\sigma$ noise level. Whilst the methods described here are more applicable to global 21-cm experiments, they can easily be adapted and applied to other applications, including telescopes such as HERA and the SKA.


title: Structure formation and the matter power-spectrum in the R_h=ct universe

abstract: Inflation drives quantum fluctuations beyond the Hubble horizon, freezing them out before the small-scale modes re-enter during the radiation dominated epoch, and subsequently decay, while large-scale modes re-enter later during the matter dominated epoch and grow. This distinction shapes the matter power spectrum and provides observational evidence in support of the standard model. In this paper, we demonstrate that another mechanism, based on the fluctuation growth in the R_h=ct universe, itself an FLRW cosmology with the added constraint of zero active mass (i.e., rho+3p=0), also accounts very well for the observed matter power spectrum, so this feature is not unique to LambdaCDM. In R_h=ct, the shape of the matter power spectrum is set by the interplay between the more rapid decay of the gravitational potential for the smaller mode wavelengths and the longer dynamical timescale for the larger wavelengths. This combination produces a characteristic peak that grows in both amplitude and mode number as a function of time. Today, that peak lies at k approx 0.02 Mpc^-1, in agreement with the Ly-alpha and Planck data. But there is no need of an inflationary expansion, and a complicated epoch dependence as one finds in LambdaCDM.


title: Uncertainty-Aware Physically-Guided Proxy Tasks for Unseen Domain Face Anti-spoofing

abstract: Face anti-spoofing (FAS) seeks to discriminate genuine faces from fake ones arising from any type of spoofing attack. Due to the wide varieties of attacks, it is implausible to obtain training data that spans all attack types. We propose to leverage physical cues to attain better generalization on unseen domains. As a specific demonstration, we use physically guided proxy cues such as depth, reflection, and material to complement our main anti-spoofing (a.k.a liveness detection) task, with the intuition that genuine faces across domains have consistent face-like geometry, minimal reflection, and skin material. We introduce a novel uncertainty-aware attention scheme that independently learns to weigh the relative contributions of the main and proxy tasks, preventing the over-confident issue with traditional attention modules. Further, we propose attribute-assisted hard negative mining to disentangle liveness-irrelevant features with liveness features during learning. We evaluate extensively on public benchmarks with intra-dataset and inter-dataset protocols. Our method achieves the superior performance especially in unseen domain generalization for FAS.


title: Differential rotation of the chromosphere in the He I absorption line

abstract: Differential rotation is the basis of the solar dynamo theory. Synoptic maps of He I intensity from Carrington rotations 2032 to 2135 are utilized to investigate the differential rotation of the solar chromosphere in the He I absorption line. The chromosphere is surprisingly found to rotate faster than the photosphere below it. The anomalous heating of the chromosphere and corona has been a big problem in modern astronomy. It is speculated that the small-scale magnetic elements with magnetic flux in the range of $(2.9 - 32.0)\times 10^{18}$ Mx which are anchored in the leptocline, heat the quiet chromosphere to present the anomalous temperature increase, causing it to rotate at the same rate as the leptocline. The differential of rotation rate in the chromosphere is found to be strengthened by strong magnetic fields, but in stark contrast, at the photosphere strong magnetic fields repress the differential of rotation rate. A plausible explanation is given for these findings.


title: Bicategories, Biequivalence, and Bi-Interpretability

abstract: We make explicit the correspondence between syntax and syntactic categories for coherent first-order logic, providing a categorical characterization of bi-interpretability. This is done by creating a biequivalence between a bicategory of coherent theories and the (strict) bicategory of coherent categories. While the biequivalence concerns the stronger equality-preserving bi-interpretability, we use it to obtain a necessary and sufficient condition for two theories to be bi-interpretable in general, by relating the exact completions of their syntactic categories. These results extend analogously to familiar fragments of first-order logic, thereby clarifying the long-intuited relation between logical syntax and syntactic categories.


title: Multidimensional Persistence Module Classification via Lattice-Theoretic Convolutions

abstract: Multiparameter persistent homology has been largely neglected as an input to machine learning algorithms. We consider the use of lattice-based convolutional neural network layers as a tool for the analysis of features arising from multiparameter persistence modules. We find that these show promise as an alternative to convolutions for the classification of multidimensional persistence modules.


title: Efficient Attention Network: Accelerate Attention by Searching Where to Plug

abstract: Recently, many plug-and-play self-attention modules are proposed to enhance the model generalization by exploiting the internal information of deep convolutional neural networks (CNNs). Previous works lay an emphasis on the design of attention module for specific functionality, e.g., light-weighted or task-oriented attention. However, they ignore the importance of where to plug in the attention module since they connect the modules individually with each block of the entire CNN backbone for granted, leading to incremental computational cost and number of parameters with the growth of network depth. Thus, we propose a framework called Efficient Attention Network (EAN) to improve the efficiency for the existing attention modules. In EAN, we leverage the sharing mechanism (Huang et al. 2020) to share the attention module within the backbone and search where to connect the shared attention module via reinforcement learning. Finally, we obtain the attention network with sparse connections between the backbone and modules, while (1) maintaining accuracy (2) reducing extra parameter increment and (3) accelerating inference. Extensive experiments on widely-used benchmarks and popular attention networks show the effectiveness of EAN. Furthermore, we empirically illustrate that our EAN has the capacity of transferring to other tasks and capturing the informative features. The code is available at https://github.com/gbup-group/EAN-efficient-attention-network.


title: Discrete Math with Programming: A Principled Approach

abstract: Discrete mathematics is the foundation of computer science. It focuses on concepts and reasoning methods that are studied using math notations. It has long been argued that discrete math is better taught with programming, which takes concepts and computing methods and turns them into executable programs. What has been lacking is a principled approach that supports all central concepts of discrete math -- especially predicate logic -- and that directly and precisely connects math notations with executable programs. This paper introduces such an approach. It is based on the use of a powerful language that extends the Python programming language with proper logic quantification ("for all" and "exists some"), as well as declarative set comprehension (also known as set builder) and aggregation (e.g., sum and product). Math and logical statements can be expressed precisely at a high level and be executed directly on a computer, encouraging declarative programming together with algorithmic programming. We describe the approach, detailed examples, experience in using it, and the lessons learned.


title: Unsupervised Spoken Term Discovery on Untranscribed Speech

abstract: (Part of the abstract) In this thesis, we investigate the use of unsupervised spoken term discovery in tackling this problem. Unsupervised spoken term discovery aims to discover topic-related terminologies in a speech without knowing the phonetic properties of the language and content. It can be further divided into two parts: Acoustic segment modelling (ASM) and unsupervised pattern discovery. ASM learns the phonetic structures of zero-resource language audio with no phonetic knowledge available, generating self-derived "phonemes". The audio are labelled with these "phonemes" to obtain "phoneme" sequences. Unsupervised pattern discovery searches for repetitive patterns in the "phoneme" sequences. The discovered patterns can be grouped to determine the keywords of the audio. Multilingual neural network with bottleneck layer is used for feature extraction. Experiments show that bottleneck features facilitate the training of ASM compared to conventional features such as MFCC. The unsupervised spoken term discovery system is experimented with online lectures covering different topics by different speakers. It is shown that the system learns the phonetic information of the language and can discover frequent spoken terms that align with text transcription. By using information retrieval technology such as word embedding and TFIDF, it is shown that the discovered keywords can be further used for topic comparison.


title: New Galois Hulls of GRS Codes and Application to EAQECCs

abstract: Galois hulls of linear codes have important applications in quantum coding theory. In this paper, we construct some new classes of (extended) generalized Reed-Solomon (GRS) codes with Galois hulls of arbitrary dimensions. We also propose a general method on constructing GRS codes with Galois hulls of arbitrary dimensions from special Euclidean orthogonal GRS codes. Finally, we construct several new families of entanglement-assisted quantum error-correcting codes (EAQECCs) and MDS EAQECCs by utilizing the above results.


title: Unsupervised Spoken Term Discovery Based on Re-clustering of Hypothesized Speech Segments with Siamese and Triplet Networks

abstract: Spoken term discovery from untranscribed speech audio could be achieved via a two-stage process. In the first stage, the unlabelled speech is decoded into a sequence of subword units that are learned and modelled in an unsupervised manner. In the second stage, partial sequence matching and clustering are performed on the decoded subword sequences, resulting in a set of discovered words or phrases. A limitation of this approach is that the results of subword decoding could be erroneous, and the errors would impact the subsequent steps. While Siamese/Triplet network is one approach to learn segment representations that can improve the discovery process, the challenge in spoken term discovery under a complete unsupervised scenario is that training examples are unavailable. In this paper, we propose to generate training examples from initial hypothesized sequence clusters. The Siamese/Triplet network is trained on the hypothesized examples to measure the similarity between two speech segments and hereby perform re-clustering of all hypothesized subword sequences to achieve spoken term discovery. Experimental results show that the proposed approach is effective in obtaining training examples for Siamese and Triplet networks, improving the efficacy of spoken term discovery as compared with the original two-stage method.


title: Weak harmonic labeling of graphs and multigraphs

abstract: In this article we introduce the notion of weak harmonic labeling of a graph, a generalization of the concept of harmonic labeling defined recently by Benjamini et al. that allows extension to finite graphs and graphs with leaves. We present various families of examples and provide several constructions that extend a given weak harmonic labeling to larger graphs. In particular, we use finite weak models to produce new examples of (strong) harmonic labelings. As a main result, we provide a characterization of weakly labeled graphs in terms of harmonic subsets of the integers and use it to compute every such graphs of up to ten vertices. In particular, we characterize harmonically labeled graphs as defined by Benjamini et al. We further extend the definitions and main results to the case of multigraphs and total labelings.


title: A Morley-Wang-Xu element method for a fourth order elliptic singular perturbation problem

abstract: A Morley-Wang-Xu (MWX) element method with a simply modified right hand side is proposed for a fourth order elliptic singular perturbation problem, in which the discrete bilinear form is standard as usual nonconforming finite element methods. The sharp error analysis is given for this MWX element method. And the Nitsche's technique is applied to the MXW element method to achieve the optimal convergence rate in the case of the boundary layers. An important feature of the MWX element method is solver-friendly. Based on a discrete Stokes complex in two dimensions, the MWX element method is decoupled into one Lagrange element method of Poisson equation, two Morley element methods of Poisson equation and one nonconforming $P_1$-$P_0$ element method of Brinkman problem, which implies efficient and robust solvers for the MWX element method. Some numerical examples are provided to verify the theoretical results.


title: Understanding the velocity distribution of the Galactic Bulge with APOGEE and Gaia

abstract: We revisit the stellar velocity distribution in the Galactic bulge/bar region with APOGEE DR16 and {\it Gaia} DR2, focusing in particular on the possible high-velocity (HV) peaks and their physical origin. We fit the velocity distributions with two different models, namely with Gauss-Hermite polynomial and Gaussian mixture model (GMM). The result of the fit using Gauss-Hermite polynomials reveals a positive correlation between the mean velocity ($\bar{V}$) and the "skewness" ($h_{3}$) of the velocity distribution, possibly caused by the Galactic bar. The $n=2$ GMM fitting reveals a symmetric longitudinal trend of $|\mu_{2}|$ and $\sigma_{2}$ (the mean velocity and the standard deviation of the secondary component), which is inconsistent to the $x_{2}$ orbital family predictions. Cold secondary peaks could be seen at $|l|\sim6^\circ$. However, with the additional tangential information from {\it Gaia}, we find that the HV stars in the bulge show similar patterns in the radial-tangential velocity distribution ($V_{\rm R}-V_{\rm T}$), regardless of the existence of a distinct cold HV peak. The observed $V_{\rm R}-V_{\rm T}$ (or $V_{\rm GSR}-\mu_{l}$) distributions are consistent with the predictions of a simple MW bar model. The chemical abundances and ages inferred from ASPCAP and CANNON suggest that the HV stars in the bulge/bar are generally as old as, if not older than, the other stars in the bulge/bar region.


title: On Generalization of Adaptive Methods for Over-parameterized Linear Regression

abstract: Over-parameterization and adaptive methods have played a crucial role in the success of deep learning in the last decade. The widespread use of over-parameterization has forced us to rethink generalization by bringing forth new phenomena, such as implicit regularization of optimization algorithms and double descent with training progression. A series of recent works have started to shed light on these areas in the quest to understand -- why do neural networks generalize well? The setting of over-parameterized linear regression has provided key insights into understanding this mysterious behavior of neural networks. In this paper, we aim to characterize the performance of adaptive methods in the over-parameterized linear regression setting. First, we focus on two sub-classes of adaptive methods depending on their generalization performance. For the first class of adaptive methods, the parameter vector remains in the span of the data and converges to the minimum norm solution like gradient descent (GD). On the other hand, for the second class of adaptive methods, the gradient rotation caused by the pre-conditioner matrix results in an in-span component of the parameter vector that converges to the minimum norm solution and the out-of-span component that saturates. Our experiments on over-parameterized linear regression and deep neural networks support this theory.


title: Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection

abstract: Fault injection attacks can cause errors in software for malicious purposes. Oftentimes, vulnerable points of a program are detected after its development. It is therefore critical for the user of the program to be able to apply last-minute security assurance to the executable file without having access to the source code. In this work, we explore two methodologies based on binary rewriting that aid in injecting countermeasures in the binary file. The first approach injects countermeasures by reassembling the disassembly whereas the second approach leverages a full translation to a high-level IR and lowering that back to the target architecture.


title: Overview of Screen Content Coding in Recently Developed Video Coding Standards

abstract: In recent years, screen content (SC) video including computer generated text, graphics and animations, have drawn more attention than ever, as many related applications become very popular. To address the need for efficient coding of such contents, a number of coding tools have been specifically developed and achieved great advances in terms of coding efficiency. The inclusion of screen content coding (SCC) features in all the recently developed video coding standards (namely, HEVC SCC, VVC, AVS3, AV1 and EVC) demonstrated the importance of supporting such features. This paper provides an overview and comparative study of screen content coding technologies, with discussions on the performance and complexity aspects for the tools developed in these standards.


title: Counterbalancing steps at random in a random walk

abstract: A random walk with counterbalanced steps is a process of partial sums $\check S(n)=\check X_1+ \cdots + \check X_n$ whose steps $\check X_n$ are given recursively as follows. For each $n\geq 2$, with a fixed probability $p$, $\check X_n$ is a new independent sample from some fixed law $\mu$, and with complementary probability $1-p$, $\check X_n= -\check X_{v(n)}$ counterbalances a previous step, with $v(n)$ a uniform random pick from $\{1, \ldots, n-1\}$. We determine the asymptotic behavior of $\check S(n)$ in terms of $p$ and the first two moments of $\mu$. Our approach relies on a coupling with a reinforcement algorithm due to H.A. Simon, and on properties of random recursive trees and Eulerian numbers, which may be of independent interest. The method can be adapted to the situation where the step distribution $\mu$ belongs to the domain of attraction of a stable law.


title: Movement Tracks for the Automatic Detection of Fish Behavior in Videos

abstract: Global warming is predicted to profoundly impact ocean ecosystems. Fish behavior is an important indicator of changes in such marine environments. Thus, the automatic identification of key fish behavior in videos represents a much needed tool for marine researchers, enabling them to study climate change-related phenomena. We offer a dataset of sablefish (Anoplopoma fimbria) startle behaviors in underwater videos, and investigate the use of deep learning (DL) methods for behavior detection on it. Our proposed detection system identifies fish instances using DL-based frameworks, determines trajectory tracks, derives novel behavior-specific features, and employs Long Short-Term Memory (LSTM) networks to identify startle behavior in sablefish. Its performance is studied by comparing it with a state-of-the-art DL-based video event detector.


title: Counting centralizers and z-classes of some F-groups

abstract: A finite group $G$ is called an F-group if for every $x, y \in G \setminus Z(G)$, $C(x) \leq C(y)$ implies that $C(x) = C(y)$. On the otherhand, two elements of a group are said to be $z$-equivalent or in the same $z$-class if their centralizers are conjugate in the group. In this paper, for a finite group, we give necessary and sufficient conditions for the number of centralizers/ $z$-classes to be equal to the index of its center. We also give a necessary and sufficient condition for the number of $z$-classes of a finite F-group to attain its maximal number (which extends an earlier result). Among other results, we have computed the number of element centralizers and $z$-classes of some finite groups and extend some previous results.


title: $\eta$ mesons in hot and dense asymmetric nuclear matter

abstract: We study the $\eta N$ interactions in the hot and dense isospin asymmetric nuclear matter using two different approaches. In the first approach, the in-medium mass and optical potential of $\eta$-meson have been calculated in the chiral SU(3) model, considering the effect of explicit symmetry breaking term and range terms in the $\eta N$ interaction Lagrangian density. In the second scenario, the conjunction of chiral perturbation theory and chiral SU(3) model is employed. In this case, the next-to-leading order $\eta N$ interactions are evaluated from the chiral perturbation theory (ChPT), and the in-medium contribution of scalar densities are taken as input from chiral SU(3) model. We observe a larger negative mass-shift in the ChPT+chiral model approach compared to the chiral SU(3) model alone as a function of nuclear density. Moreover, the increase in the asymmetry and temperature cause a decrease in the magnitude of mass-shift. We have also studied the impact of $\eta N$ scattering length $a^{\eta N}$ on the $\eta$ meson mass $m^*_\eta$ and observed that the $m^*_\eta$ decrease more for increasing the value of scattering length.