title: Generating function method for the efficient computation of expected allocations

abstract: Consider a risk portfolio with aggregate loss random variable $S=X_1+\dots +X_n$ defined as the sum of the $n$ individual losses $X_1, \dots, X_n$. The expected allocation, $E[X_i \times 1_{\{S = k\}}]$, for $i = 1, \dots, n$ and $k \in \mathbb{N}$, is a vital quantity for risk allocation and risk-sharing. For example, one uses this value to compute peer-to-peer contributions under the conditional mean risk-sharing rule and capital allocated to a line of business under the Euler risk allocation paradigm. This paper introduces an ordinary generating function for expected allocations, a power series representation of the expected allocation of an individual risk given the total risks in the portfolio when all risks are discrete. First, we provide a simple relationship between the ordinary generating function for expected allocations and the probability generating function. Then, leveraging properties of ordinary generating functions, we reveal new theoretical results on closed-formed solutions to risk allocation problems, especially when dealing with Katz or compound Katz distributions. Then, we present an efficient algorithm to recover the expected allocations using the fast Fourier transform, providing a new practical tool to compute expected allocations quickly. The latter approach is exceptionally efficient for a portfolio of independent risks.


title: Mean-field limits for non-linear Hawkes processes with inhibition on a Erd\H{o}s-R\'{e}nyi-graph

abstract: We study a multivariate, non-linear Hawkes process $Z^N$ on a $q$-Erd\H{o}s-R\'{e}nyi-graph with $N$ nodes. Each vertex is either excitatory (probability $p$) or inhibitory (probability $1-p$). If $p\neq\tfrac12$, we take the mean-field limit of $Z^N$, leading to a multivariate point process $\bar Z$. We rescale the interaction intensity by $N$ and find that the limit intensity process solves a deterministic convolution equation and all components of $\bar Z$ are independent. The fluctuations around the mean field limit converge to the solution of a stochastic convolution equation. In the critical case, $p=\tfrac12$, we rescale by $N^{1/2}$ and discuss difficulties, both heuristically and numerically.


title: Numerical Approximation Methods for Antenna Radiation Patterns for Motus Wildlife Tracking Systems

abstract: As plans for offshore wind energy development increase in the US, the developing methods to monitor migratory birds and bats offshore is an important area of research. To contribute to this research, current guidance recommends the deployment of Motus Wildlife Tracking stations by each developer for pre- and post- construction monitoring. To understand the characteristics of each of the stations, calibration techniques are recommended for each deployment. Despite this, previous attempts to calibrate these stations has failed to provide sufficient detail to allow for high-resolution tracking techniques. In this paper, we introduce an affordable and robust methodology to calibrate stations in the off-shore environment and develop processes to turn this raw calibration data into a numerical approximation of the antennas radiation pattern.


title: A Challenge on Semi-Supervised and Reinforced Task-Oriented Dialog Systems

abstract: A challenge on Semi-Supervised and Reinforced Task-Oriented Dialog Systems, Co-located with EMNLP2022 SereTOD Workshop.


title: Controllable dimensionality conversion between 1D and 2D CrCl3 magnetic nanostructures

abstract: The fabrication of one-dimensional (1D) magnetic systems on solid surfaces, although of high fundamental interest, has yet to be achieved for a crossover between two-dimensional (2D) magnetic layers and their associated 1D spin chain systems. In this study, we report the fabrication of 1D single-unit-cell-width CrCl3 atomic wires and their stacked few-wire arrays on the surface of a van der Waals (vdW) superconductor NbSe2. Scanning tunneling microscopy/spectroscopy and first-principles calculations jointly revealed that the single wire shows an antiferromagnetic large-bandgap semiconducting state in an unexplored structure different from the well-known 2D CrCl3 phase. Competition among the total energies and nanostructure-substrate interfacial interactions of these two phases result in the appearance of the 1D phase. This phase was transformable to the 2D phase either prior to or after the growth for in situ or ex situ manipulations, in which the electronic interactions at the vdW interface play a nontrivial role that could regulate the dimensionality conversion and structural transformation between the 1D-2D CrCl3 phases.


title: Planning Courses for Student Success at the American College of Greece

abstract: We model the problem of optimizing the schedule of courses a student at the American College of Greece will need to take to complete their studies. We model all constraints set forth by the institution and the department, so that we guarantee the validity of all produced schedules. We formulate several different objectives to optimize in the resulting schedule, including fastest completion time, course difficulty balance, and so on, with a very important objective our model is capable of capturing being the maximization of the expected student GPA given their performance on passed courses using Machine Learning and Data Mining techniques. All resulting problems are Mixed Integer Linear Programming problems with a number of binary variables that is in the order of the maximum number of terms times the number of courses available for the student to take. The resulting Mathematical Programming problem is always solvable by the GUROBI solver in less than 10 seconds on a modern commercial off-the-self PC, whereas the manual process that was installed before used to take department heads that are designated as student advisors more than one hour of their time for every student and was resulting in sub-optimal schedules as measured by the objectives set forth.


title: Theory for Coulomb scattering of trions in 2D materials

abstract: We develop a theoretical description of Coulomb interactions between trions (charged excitons) that define a nonlinear optical response in doped two-dimensional semiconductors. First, we formulate a microscopic theory of trion-trion interactions based on composite nature of these particles, and account for all possible exchange processes. Next, we calculate numerically the trion binding energies and corresponding three-body wavefunctions using a basis set with high expressivity. Then, using the obtained wavefunctions we calculate the matrix elements of two-trion scattering, and compare the contributions coming from direct and exchange terms. Finally, we find that the considered scattering gives significant contribution to the optical nonlinearity in monolayers of transition metal dichalcogenides. In particular, this can lead to an attractive interaction in doped monolayers. Our theory opens a route for studying nonlinear properties of trion-polaritons inaccessible before.


title: Optimal dividend and capital injection under spectrally positive Markov additive models

abstract: This paper studies De Finetti's optimal dividend problem with capital injection under spectrally positive Markov additive models. Based on dynamic programming principle, we first study an auxiliary singular control problem with a final payoff at an exponential random time. The double barrier strategy is shown to be optimal and the optimal barriers are characterized in analytical form using fluctuation identities of spectrally positive Levy processes. We then transform the original problem under spectrally positive Markov additive models into an equivalent series of local optimization problems with the final payoff at the regime-switching time. The optimality of the regime-modulated double barrier strategy can be confirmed for the original problem using results from the auxiliary problem and the fixed point argument for recursive iterations.


title: Reconfigurable Refractive Surfaces: An Energy-Efficient Way to Holographic MIMO

abstract: Holographic Multiple Input Multiple Output (HMIMO), which integrates massive antenna elements into a compact space to achieve a spatially continuous aperture, plays an important role in future wireless networks. With numerous antenna elements, it is hard to implement the HMIMO via phased arrays due to unacceptable power consumption. To address this issue, reconfigurable refractive surface (RRS) is an energy efficient enabler of HMIMO since the surface is free of expensive phase shifters. Unlike traditional metasurfaces working as passive relays, the RRS is used as transmit antennas, where the far-field approximation does not hold anymore, urging a new performance analysis framework. In this letter, we first derive the data rate of an RRS-based single-user downlink system, and then compare its power consumption with the phased array. Simulation results verify our analysis and show that the RRS is an energy-efficient way to HMIMO.


title: Kaggle Competition: Cantonese Audio-Visual Speech Recognition for In-car Commands

abstract: With the rise of deep learning and intelligent vehicles, the smart assistant has become an essential in-car component to facilitate driving and provide extra functionalities. In-car smart assistants should be able to process general as well as car-related commands and perform corresponding actions, which eases driving and improves safety. However, in this research field, most datasets are in major languages, such as English and Chinese. There is a huge data scarcity issue for low-resource languages, hindering the development of research and applications for broader communities. Therefore, it is crucial to have more benchmarks to raise awareness and motivate the research in low-resource languages. To mitigate this problem, we collect a new dataset, namely Cantonese In-car Audio-Visual Speech Recognition (CI-AVSR), for in-car speech recognition in the Cantonese language with video and audio data. Together with it, we propose Cantonese Audio-Visual Speech Recognition for In-car Commands as a new challenge for the community to tackle low-resource speech recognition under in-car scenarios.


title: Nodal domain theorem of signed hypergraphs

abstract: In 2001, Davies, Gladwell, Leydold, and Stadler proved discrete nodal domain theorems for eigenfunctions of generalized Laplacians. In 2019, Jost and Mulas generalized the normalized combinatorial Laplace operator of graphs to signed hypergraphs. In this paper, we establish nodal domain theorems for the normalized combinatorial Laplace operator in signed hypergraphs. We also obtain a lower bound estimates for the number of strong nodal domains.


title: Near-unity efficiency in ridge waveguide-based, on-chip single-photon sources

abstract: We report a numerical design procedure for pursuing a near-unity coupling efficiency in quantum dot-cavity ridge waveguide single-photon sources by performing simulations with the finite element method. Our optimum design which is based on a 1D nanobeam cavity, achieves a high source efficiency $\epsilon_{xy}$ of 97.7$\%$ for an isotropic in-plane dipole, together with a remarkable Purcell factor of 38.6. Such a good performance is mainly attributed to the high index contrast of GaAs/SiO$_2$ and a careful cavity design achieving constructive interference and low scattering losses. Furthermore, we analyze the bottleneck of the proposed platform, which is the mode mismatch between the cavity mode and the Bloch mode in the nanobeam. Accordingly, we present the optimization recipe of an arbitrarily high-efficiency on-chip single-photon source by implementing a taper section, whose high smoothness is beneficial to gradually overcoming the mode mismatch, and therefore leading to a higher Purcell factor and source efficiency. Finally, we see good robustness of the source properties in the taper-nanobeam system under the consideration of realistic fabrication imperfections on the hole variation.


title: Free-space point-to-multiplepoint optical frequency transfer with lens assisted integrated beam steering

abstract: We report on the realization of high-performance silica integrated two-dimensional lens assisted beam-steering (LABS) arrays along with the first-of-their-kind point-to-multiplepoint optical frequency transfer. {The LABS equips with $N$ antennas} and has the capability to produce arbitrary number of output beams with different output angles with the simple control complexity. We demonstrate that the LABS has 16 scanning angles, which can support {the access capability for the maximum of simultaneous 16 user nodes.} The coaxial configuration for transmitting and receiving the light as a monolithic transceiver allows us to reduce the out-of-loop phase noise significantly. Finally, the LABS-based non-blocking point-to-multiplepoint in-door free-space optical frequency transfer links with 24 m and 50 m free-space links are shown. After being compensated for the free-space link up to 50 m, the fractional frequency instability of $4.5\times10^{-17}$ and $7.7\times10^{-20}$ at the averaging time of 1 s and 20,000 s, respectively, can be achieved. The present work proves the potential application of the 2D LABS in free-space optical time-frequency transfer and provides a guidance for developing a chip-scale optical time-frequency transfer system.


title: Cavity dynamics after the injection of a microfluidic jet in capillary bridges

abstract: The impact of solid and liquid objects (projectiles) onto liquids and soft solids (targets) generally results on the creation and expansion of an air cavity inside the impacted objects. The dynamics of cavity expansion and collapse depends on the projectile inertia as well as on the target properties. In this paper we study the impact of microfluidic jets generated by thermocavitation processes on a capillary bridge between two parallel planar walls. Different capillary bridge types were studied, Newtonian liquids, viscoelastic liquids and agarose gels. Thus, we compare the cavity formation and collapse between a wide range of material properties. Moreover, we model the critical impact velocity for a jet to traverse a capillary bridge type. Our results show that agarose gels with a storage modulus lower that 176 Pa can be modelled as a liquid for this transition. However, the predicted transition deviates for agarose gels with higher storage modulus. Additionally, we show different types of cavity collapse, depending on the Weber number and the capillary bridge properties. We conclude that the type of collapse determines the number and size of entrained bubbles. Furthermore, we study the effects of wettability on the adhesion forces and contact line dissipation. We conclude that upon cavity collapse, for hydrophobic walls a Worthington jet is energetically favourable. In contrast, for hydrophilic walls, the contact line dissipation is in the same order of magnitude of the energy of the impacted jet, suppressing the Worthington jet formation. Our results provide strategies for preventing bubble entrapment and give an estimation of the cavity dynamics for needle-free injection applications and additive manufacturing among other applications.


title: VI-SLAM2tag: Low-Effort Labeled Dataset Collection for Fingerprinting-Based Indoor Localization

abstract: Fingerprinting-based approaches are particularly suitable for deploying indoor positioning systems for pedestrians with minimal infrastructure costs. The accuracy of the method, however, strongly depends on the quality of collected labeled fingerprints within the calibration phase, which is a tedious process when done manually in a static fashion. We present VI-SLAM2tag, a system for auto-labeling of dynamically collected fingerprints using the visual-inertial simultaneous localization and mapping (VI-SLAM) module of ARCore. ARCore occasionally updates its internal coordinate system. Mapping the entire trajectory to a target coordinate system via a single transformation thus results in large drift effects. To solve this, we propose a strategy for determining locally optimal sub-trajectory transformations. Our system is evaluated with respect to the accuracy of the generated position labels using a geodetic tracking system. We achieve an average labeling error of roughly 50 cm for trajectories of up to 15 minutes, which is sufficient for fingerprinting-based localization. We demonstrate this by collecting a multi-floor dataset including WLAN and IMU data and show how it can be used to train neural network based models that achieve a positioning accuracy of roughly 2 m. VI-SLAM2tag and the dataset are made publicly available.


title: Distributed domination on sparse graph classes

abstract: We show that the dominating set problem admits a constant factor approximation in a constant number of rounds in the LOCAL model of distributed computing on graph classes with bounded expansion. This generalizes a result of Czygrinow et al. for graphs with excluded topological minors to very general classes of uniformly sparse graphs. We demonstrate how our general algorithm can be modified and fine-tuned to compute an ($11+\epsilon$)-approximation (for any $\epsilon>0)$ of a minimum dominating set on planar graphs. This improves on the previously best known approximation factor of 52 on planar graphs, which was achieved by an elegant and simple algorithm of Lenzen et al.


title: Designing inorganic semiconductors with cold-rolling processability

abstract: While metals can be readily processed and reshaped by cold rolling, most bulk inorganic semiconductors are brittle materials that tend to fracture when plastically deformed. Manufacturing thin sheets and foils of inorganic semiconductors is therefore a bottleneck problem, severely restricting their use in flexible electronics applications. It was recently reported that a few single-crystalline two-dimensional van der Waals (vdW) semiconductors, such as InSe, are deformable under compressive stress. Here we demonstrate that intralayer fracture toughness can be tailored via compositional design to make inorganic semiconductors processable by cold rolling. We report systematic ab initio calculations covering a range of van der Waals semiconductors homologous to InSe, leading to material-property maps that forecast trends in both the susceptibility to interlayer slip and the intralayer fracture toughness against cracking. GaSe has been predicted, and experimentally confirmed, to be practically amenable to being rolled to large (three quarters) thickness reduction and length extension by a factor of three. Our findings open a new realm of possibility for alloy selection and design towards processing-friendly group-III chalcogenides for flexible electronic and thermoelectric applications.


title: Low-Level Force-Control of MR-Hydrostatic Actuators

abstract: Precise and high-fidelity force control is critical for new generations of robots that interact with humans and unknown environments. Mobile robots, such as wearable devices and legged robots, must also be lightweight to accomplish their function. Hydrostatic transmissions have been proposed as a promising strategy for meeting these two challenging requirements. In previous publications, it was shown that using magnetorheological (MR) actuators coupled with hydrostatic transmissions provides high power density and great open-loop human-robot interactions. Still, the open-loop force fidelity at low and high frequencies are decreased by the transmission's dynamics and by nonlinear friction. This letter compares control strategies for MR-hydrostatic actuator systems to increase its torque fidelity, defined as the bandwidth (measured vs desired torque reference) and transparency (minimizing the undesired forces reflected to the end effector when backdriving the robot). Four control approaches are developed and compared experimentally: (1) Open-loop control with friction compensation; (2) non-collocated pressure feedback; (3) collocated pressure feedback; (4) LQGI state feedback. A dither strategy is also implemented to smoothen ball screw friction. Results show that approaches (1), (2) and (3) can increase the performances but are facing compromises, while approach (4) can simultaneously improve all metrics. These results show the potential of using control schemes for improving the force control performance of robots using tethered architectures, addressing issues such as transmission dynamics and friction.


title: Entropy estimation in bidimensional sequences

abstract: We investigate the performance of entropy estimation methods, based either on block entropies or compression approaches, in the case of bidimensional sequences. We introduce a validation dataset made of images produced by a large number of different natural systems, in the vast majority characterized by long-range correlations, which produce a large spectrum of entropies. Results show that the framework based on lossless compressors applied to the one-dimensional projection of the considered dataset leads to poor estimates. This is because higher-dimensional correlations are lost in the projection operation. The adoption of compression methods which do not introduce dimensionality reduction improves the performance of this approach. By far, the best estimation of the asymptotic entropy is generated by the faster convergence of the traditional block-entropies method. As a by-product of our analysis, we show how a specific compressor method can be used as a potentially interesting technique for automatic detection of symmetries in textures and images.


title: Radii Constants for Functions with Fixed Second Coefficient

abstract: We introduce three classes of analytic functions with fixed second coefficient which are defined using the class $\mathcal{P}$ of analytic functions with positive real part. The objective is to determine radii such that the three classes are contained in various subclasses of starlike functions. The radii estimated in the present investigation are better than the radii obtained earlier. Furthermore, connections with previous known results are shown.


title: Perceptual Quality Assessment of Omnidirectional Images

abstract: Omnidirectional images and videos can provide immersive experience of real-world scenes in Virtual Reality (VR) environment. We present a perceptual omnidirectional image quality assessment (IQA) study in this paper since it is extremely important to provide a good quality of experience under the VR environment. We first establish an omnidirectional IQA (OIQA) database, which includes 16 source images and 320 distorted images degraded by 4 commonly encountered distortion types, namely JPEG compression, JPEG2000 compression, Gaussian blur and Gaussian noise. Then a subjective quality evaluation study is conducted on the OIQA database in the VR environment. Considering that humans can only see a part of the scene at one movement in the VR environment, visual attention becomes extremely important. Thus we also track head and eye movement data during the quality rating experiments. The original and distorted omnidirectional images, subjective quality ratings, and the head and eye movement data together constitute the OIQA database. State-of-the-art full-reference (FR) IQA measures are tested on the OIQA database, and some new observations different from traditional IQA are made.


title: On the algebraic invariants of certain affine semigroup algebras

abstract: Let $a$ and $d$ be two linearly independent vectors in $\mathbb{N}^2$, over the field of rational numbers. For a positive integer $k \geq 2$, consider the sequence $a, a+d, \ldots, a+kd$ such that the affine semigroup $S_{a,d,k} = \langle a, a+d, \ldots, a+kd \rangle$ is minimally generated by this sequence. We study the properties of affine semigroup algebra $k[S_{a,d,k}]$ associated to this semigroup. We prove that $k[S_{a,d,k}]$ is always Cohen-Macaulay and it is Gorenstein if and only if $k=2$. For $k=2,3,4$, we explicitly compute the syzygies, minimal graded free resolution and Hilbert series of $k[S_{a,d,k}].$ We also give a minimal generating set and a Gr\"{o}bner basis of the defining ideal of $k[S_{a,d,k}].$ Consequently, we prove that $k[S_{a,d,k}]$ is Koszul. Finally, we prove that the Castelnuovo-Mumford regularity of $k[S_{a,d,k}]$ is $1$ for any $a,d,k.$


title: Modeling the HEVC Encoding Energy Using the Encoder Processing Time

abstract: The global significance of energy consumption of video communication renders research on the energy need of video coding an important task. To do so, usually, a dedicated setup is needed that measures the energy of the encoding and decoding system. However, such measurements are costly and complex. To this end, this paper presents the results of an exhaustive measurement series using the x265 encoder implementation of HEVC and analyzes the relation between encoding time and encoding energy. Finally, we introduce a simple encoding energy estimation model which employs the encoding time of a lightweight encoding process to estimate the encoding energy of complex encoding configurations. The proposed model reaches a mean estimation error of 11.35% when averaged over all presets. The results from this work are useful when the encoding energy estimate is required to develop new energy-efficient video compression algorithms.


title: A flexible model-based framework for robust estimation of mutational signatures

abstract: Somatic mutations in cancer can be viewed as a mixture distribution of several mutational signatures, which can be inferred using non-negative matrix factorization (NMF). Mutational signatures have previously been parametrized using either simple mono-nucleotide interaction models or general tri-nucleotide interaction models. We describe a flexible and novel framework for identifying biologically plausible parametrizations of mutational signatures, and in particular for estimating di-nucleotide interaction models. The estimation procedure is based on the expectation--maximization (EM) algorithm and regression in the log-linear quasi--Poisson model. We show that di-nucleotide interaction signatures are statistically stable and sufficiently complex to fit the mutational patterns. Di-nucleotide interaction signatures often strike the right balance between appropriately fitting the data and avoiding over-fitting. They provide a better fit to data and are biologically more plausible than mono-nucleotide interaction signatures, and the parametrization is more stable than the parameter-rich tri-nucleotide interaction signatures. We illustrate our framework on three data sets of somatic mutation counts from cancer patients.


title: Increasing ventilation reduces SARS-CoV-2 airborne transmission in schools: a retrospective cohort study in Italy's Marche region

abstract: Background: While increasing the ventilation rate is an important measure to remove inhalable virus-laden respiratory particles and lower the risk of infection, direct validation in schools with population-based studies is far from definitive. Methods: We investigated the strength of association between ventilation and SARS-CoV-2 transmission reported among the students of Italy's Marche region in more than 10,000 classrooms, of which 316 were equipped with mechanical ventilation. We used ordinary and logistic regression models to explore the relative risk associated with the exposure of students in classrooms. Findings: For classrooms equipped with mechanical ventilation systems, the relative risk of infection decreased with the increase in ventilation: ventilation ranging from 10 to 14 L s-1 student-1 reduced the likelihood of infection for students by 80% compared with a classroom with only natural ventilation. From the regression analysis, as confirmed by the predictive theoretical approach, we obtained a relative risk reduction in the range 12%-15% for each additional unit of ventilation rate per person. Interpretation: We need high ventilation rates (> 10 L s$^{-1}$ student$^{-1}$) to protect students in classrooms from airborne transmission; this is higher than the rate needed to ensure indoor air quality. The excellent agreement between the results from the retrospective cohort study and the outcomes of the predictive theoretical approach makes it possible to assess the risk of airborne transmission for any indoor environment.


title: Experimental study of cavitating flow influenced by heat transfer from heated hydrofoil

abstract: This study experimentally investigated the influence of heat transfer from a heated hydrofoil on cavitating flow to understand the evaporation phenomenon under high-heat-flux and high-speed conditions. A temperature difference was generated between the hydrofoil and mainstream by installing an aluminum nitride heater in a NACA0015 hydrofoil fabricated from copper. A cavitation experiment was performed in a high-temperature water cavitation tunnel at the Institute of Fluid Science, Tohoku University. The effect of heating on cavitating flow was evaluated by changing the mainstream velocity and pressure, namely the cavitation number, at a fixed heater power of 860 W. Results showed that the heat transfer from the hydrofoil affected cavitating flow in terms of the cavity length, cavity aspect, and periodicity. The effect on the cavity length became stronger at a lower velocity owing to a higher hydrofoil temperature. The variation in periodicity implied that the heating effect reduced the unsteadiness of cavitation. A modified cavitation number was proposed by considering the heat transfer from the heated wall. A thermal correction term was derived by considering that the fluid temperature close to the heated hydrofoil was affected by the turbulent convective heat transfer between the mainstream and hydrofoil. The corrected cavitation number can be considered as a parameter that describes the cavity length in the isothermal and heated cases in a unified expression.


title: Measuring inertial mass with Kibble balance

abstract: A Kibble balance measures the $gravitational$ mass (weight) of a test mass with extreme precision by balancing the gravitational pull on the test mass against the electromagnetic lift force. The uncertainty in such mass measurement is currently ~$1\times 10^{-8} $. We show how the same Kibble balance can be used to measure the $inertial$ mass of a test mass, that too with potentially 50% better measurement uncertainty, i.e., ~$5\times 10^{-9} $. For measuring the inertial mass, the weight of the test mass and the assembly holding it is precisely balanced by a counterweight. The application of the known electromagnetic force accelerates the test mass. Measuring the velocity after a controlled elapsed time provides the acceleration and, consequently, the inertial mass of the accelerated assembly comprising the Kibble balance coil and the mass holding pan. Repeating the measurement with the test mass added to the assembly and taking the difference between the two measurements yields the inertial mass of the test mass. Thus, the extreme precision inertial and gravitational mass measurement of a test mass with a Kibble balance could provide a test of the equivalence principle. We discuss how the two masses are related to the Planck constant and other coupling constants and if the Kibble balance could be used to test the dynamic constants theories in Dirac cosmology.


title: Directional transport of active particles confined in 3D smooth corrugated channel

abstract: The transport phenomenon of active particles confined in 3D(three dimensional) corrugated confined channel with Gaussian noises is investigated. Large noise intensity perpendicular to the symmetry axis is good for the diffusion and current along the axis. The generalized resonance transport phenomenon appears with increasing noise intensity parallel to the symmetry axis. Large noise intensity parallel to axis can suppress the diffusion. The diffusion coefficient has a maximum with increasing polar angle noise intensity. There exits an optimal value of parameter f that result in maximum movement speed. Large f is good for the diffusion. Transport reverse phenomenon appears with increasing channel parameter {\epsilon} and {\Delta}. Too large or too small values of {\epsilon} and {\Delta} can suppress the diffusion.


title: Mechanism of the Resistivity Switching Induced by the Joule Heating in Crystalline NbO$_2$

abstract: Recently the memristive electrical transport properties in NbO$_2$ have attracted much attention for their promising application to the neuromorphic computation. At the center of debates is whether the metal-to-insulator transition (MIT) originates from the structural distortion (Peierls) or the electron correlation (Mott). With inputs from experiments and first principles calculations, we develop a thermodynamical model rooted in the scenario of the MIT driven by a $2^{nd}$ order Peierls instability. We find that the temperature dependence of the electrical conductivity can be accurately fit by the band gap varying with temperature due to the gradual weakening of the Nb-Nb dimers. The resistivity switching can consequently be understood by dimer-free metallic domains induced by local Joule heating. In solving the heat equation, we find that the steady state can not be reached if the applied voltage exceeds a threshold, resulting in the chaotic behavior observed in the high voltage and current states. With the Ginzburg-Landau theory and the Joule heating equation, the evolution of the metallic domains under bias voltage can be simulated and directly verified by experiments.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.other cond-mat.str-el


title: Optical fiber for remote sensing with high spatial resolution

abstract: The use of optical fiber as sensor as well as transmission medium for sensing data is discussed, enabling the use of optically active sensors without power supply at distances of tens of kilometers. Depending on the interrogation system, a spatial resolution of less than a millimeter can be achieved. The basic sensing principle is optical time-domain reflectometry (OTDR) with direct detection or coherent detection of the Rayleigh back-scattered or Fresnel reflected signal. Spatial resolution is improved by a cross-correlation between the transmitted sequence and the received signals.


title: On $\exp(Der(E))$ of nilpotent evolution algebras

abstract: In the present paper, every evolution algebra is endowed with Banach algebra norm. This together with the description of derivations and automorphisms of nilpotent evolution algebras, allows to investigated the set $\exp(Der(E))$. Moreover, it is proved that $\exp(Der(E))$ is a normal subgroup of $Aut(E)$, and its corresponding index is calculated.


title: Total Neutron Cross-section Measurement on CH with a Novel 3D-projection Scintillator Detector

abstract: In order to extract neutrino oscillation parameters, precision long-baseline neutrino oscillation experiments rely on detailed models of neutrino interactions with nuclei. These models constitute an important source of systematic uncertainty, partially because detectors to date have been blind to final state neutrons. Three-dimensional projection scintillator trackers comprise components of the near detectors of the next generation long-baseline neutrino experiments. Due to the good timing resolution and fine granularity, this technology is capable of measuring neutron kinetic energy in neutrino interactions on an event-by-event basis and will provide valuable data for refining neutrino interaction models and ways to reconstruct neutrino energy. Two prototypes have been exposed to the neutron beamline at Los Alamos National Laboratory (LANL) in both 2019 and 2020, with neutron energies between 0 and 800 MeV. In order to demonstrate the capability of neutron detection, the total neutron-scintillator cross section is measured and compared to external measurements. The measured total neutron cross section in scintillator between 98 and 688 MeV is 0.36 $\pm$ 0.05 barn.


title: Non-commutative Stone duality

abstract: We show explicitly that Boolean inverse semigroups are in duality with what we term Boolean groupoids. This generalizes the classical Stone duality, which we refer to as commutative Stone duality, between generalized Boolean algebras and locally compact Hausdorff $0$-dimensional spaces.


title: Team PKU-WICT-MIPL PIC Makeup Temporal Video Grounding Challenge 2022 Technical Report

abstract: In this technical report, we briefly introduce the solutions of our team `PKU-WICT-MIPL' for the PIC Makeup Temporal Video Grounding (MTVG) Challenge in ACM-MM 2022. Given an untrimmed makeup video and a step query, the MTVG aims to localize a temporal moment of the target makeup step in the video. To tackle this task, we propose a phrase relationship mining framework to exploit the temporal localization relationship relevant to the fine-grained phrase and the whole sentence. Besides, we propose to constrain the localization results of different step sentence queries to not overlap with each other through a dynamic programming algorithm. The experimental results demonstrate the effectiveness of our method. Our final submission ranked 2nd on the leaderboard, with only a 0.55\% gap from the first.


title: Ferroelastic domain walls in BiFeO$_3$ as memristive networks

abstract: Electronic conduction along individual domain walls (DWs) has been reported in BiFeO$_3$ (BFO) and other nominally insulating ferroelectrics. DWs in these materials separate regions of differently oriented electrical polarization (domains) and are just a few atoms wide, providing self-assembled nanometric conduction paths. In this work, it is shown that electronic transport is possible also from wall to wall through the dense network of as-grown DWs in BFO thin films. Electric field cycling at different points of the network, performed locally by conducting atomic force microscope (cAFM), induces resistive switching selectively at the DWs, both for vertical (single wall) and lateral (wall-to-wall) conduction. These findings are the first step towards investigating DWs as memristive networks for information processing and in-materio computing.


title: The birth of the Universe as a result of the change of the metric signature

abstract: In this paper, I discuss the idea that the birth of our Universe may be a result of a quantum transition from a physical continuum with the Euclidean signature to a Lorentzian spacetime. A similar idea was expressed by Andrei D. Sakharov. At the classical level, the idea was studied by George F. R. Ellis and his collaborators, who explored if solutions to the classical Einstein equation exist which admit a change of metric signature. The present paper aims at examining possible realizations of this idea at the level of quantum gravity, in the framework of the Wheeler - DeWitt theory and in the extended phase space approach to quantization of gravity. I intend to answer the questions: Does the Hartle - Hawking wave function imply such a realization? How can this idea be realized in the extended phase space approach to quantum gravity, where the change of signature is described by imposing special conditions on $g_{00}$-component of the metric in different regions of the physical continuum? The conclusion is that the idea can be realized from a formal mathematical point of view, but it can hardly help in understanding how spacetime structure and time itself appeared from a timeless continuum.


title: Algebraic construction of the sigma function for general Weierstrass curves

abstract: The Weierstrass curve $X$ is a smooth algebraic curve determined by the Weierstrass canonical form, $y^r + A_{1}(x) y^{r-1} + A_{2}(x) y^{r-2} +\cdots + A_{r-1}(x) y + A_{r}(x)=0$, where $r$ is a positive integer, and each $A_j$ is a polynomial in $x$ with a certain degree. It is known that every compact Riemann surface has a Weierstrass curve $X$ which is birational to the surface. The form provides the projection $\varpi_r : X \to {\mathbb{P}}$ as a covering space. Let $R_X := {\mathbb{H}}^0(X, {\mathcal{O}}_X(*\infty))$ and $R_{\mathbb{P}} := {\mathbb{H}}^0({\mathbb{P}}, {\mathcal{O}}_{\mathbb{P}}(*\infty))$. Recently we have the explicit description of the complementary module $R_X^{\mathfrak{c}}$ of $R_{\mathbb{P}}$-module $R_X$, which leads the explicit expressions of the holomorphic one form except $\infty$, ${\mathbb{H}}^0({\mathbb{P}}, {\mathcal{A}}_{\mathbb{P}}(*\infty))$ and the trace operator $p_X$ such that $p_X(P, Q)=\delta_{P,Q}$ for $\varpi_r(P)=\varpi_r(Q)$ for $P, Q \in X\setminus\{\infty\}$. In terms of them, we express the fundamental 2-form of the second kind $\Omega$ and a connection to the sigma functions for $X$.


title: Deciphering the long-distance penguin contribution to $\bar B_{d, s} \to \gamma \gamma$ decays

abstract: We compute for the first time the long-distance penguin contribution to the double radiative $B$-meson decays due to the purely hadronic operators acting with the electromagnetic current in the background soft-gluon field from first field-theoretical principles by introducing a novel subleading $B$-meson distribution amplitude. The numerically dominant penguin amplitude arises from the soft-gluon radiation off the light up-quark loop rather than the counterpart charm-loop effect on account of the peculiar analytical behaviour of the short-distance hard-collinear function. Importantly the long-distance up-quark penguin contribution brings about the substantial cancellation of the known factorizable power correction possessing the same multiplication CKM parameters, thus enabling $B_{d, \, s} \to \gamma \gamma$ to become new benchmark probes of physics beyond the Standard Model.


title: Understanding and enhancing the impact-induced tension of a falling chain

abstract: When a falling chain strikes a surface, it can accelerate downwards faster than free-fall. This counterintuitive effect occurs when a tension is created in the chain above where it strikes the surface. The size of this tension, and how it is produced, depend on the type of chain used. For a chain made of rods that are slightly tilted from horizontal, the impact-induced tension is readily observable. Here are reported experimental observations on such a falling chain for two different situations: when the chain strikes an inclined surface, and when the chain's mass density decreases with height. It is found that both of these arrangements can increase the downward acceleration. To quantitatively describe these observations a theoretical model is developed. The model successfully predicts the chain's position and velocity, even when the top end approaches the surface, without any free parameters. The model also predicts that uniform rods are practically the best for producing large tensions.


title: Non-trivial effect of dephasing: Enhancement of rectification of spin current in graded XX chains

abstract: In order to reveal mechanisms to control and manipulate spin currents, we perform a detailed investigation of the dephasing effects in the open XX model with a Lindblad dynamics involving global dissipators and thermal baths. Specifically, we consider dephasing noise modelled by current preserving Lindblad dissipators acting on graded versions of these spin systems, that is, systems in which the magnetic field and/or the spin interaction are growing (decreasing) along the chain. In our analysis, we study the non-equilibrium steady-state via the covariance matrix using the Jordan-Wigner approach to compute the spin currents. We find that the interplay between dephasing and graded systems gives rise to a non trivial behavior: when we have homogeneous magnetic field and graded interactions we have rectification enhancement mechanims, and when we have fully graded system we can control the spin current in order to keep the direction of the particle/spin flow even with inverted baths. We describe our result in detailed numerical analisys and we see that rectification in this simple model indicates that the phenomenon may be of general occurrence in quantum spin systems.


title: Casselman--Shahidi conjecture on the singularity of intertwining operators: groups of exceptional type

abstract: As a sequel to our recent work on Casselman--Shahidi's holomorphicity conjecture on half-normalized intertwining operators for groups of classical type, we apply our method to prove certain cases of the conjecture for groups of exceptional type. One main ingredient, established here, is to find an algorithm to produce reduced decompositions of co-rank one relative longest Weyl elements, in terms of certain "small" counterparts.


title: Multiwavelength Analysis of Galactic Supernova Remnants

abstract: The origin of Galactic Cosmic Rays (CRs) and the possibility of Supernova Remnants (SNRs) being potential CR accelerators is still an open debate. The charged CRs can be detected indirectly by the {\gamma}-ray observatories through the {\pi^0} production and consequent decay, leading to the generation of high-energy {\gamma}-rays. The goal of the study is to identify qualitative and quantitative trends in favour of hadronic scenario and search for SNRs which could be potential accelerators up to PeV energies (PeVatrons). We have performed a Multiwavelength (MWL) study using different radiative models to evaluate the hadronic contribution. The spectral energy distributions (SEDs) of selected SNRs are modeled using the Naima [1] package. Two different radiative scenarios are considered, pure leptonic and lepto-hadronic scenarios, and different methods are used to evaluate their importance. This study shows that the lepto-hadronic scenario is favored for most SNRs. Two particular indicators of hadronic contribution come from the data around the {\pi^0} production threshold and the data above a few TeV. The hard rise at the {\pi^0} production threshold cannot be explained by leptonic processes. More data in this region would be valuable for these studies. For some SNRs, an important hadronic contribution is observed up to a few TeV, thus making them promising PeVatron candidates. In this high-energy region where the leptonic processes are expected to be suppressed, more data is required to help distinguish between the leptonic and hadronic origin of {\gamma}-ray emission. In the future, we intend to use the obtained model parameters to simulate data for CTA and assess its capability to identify PeVatrons.


title: YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors

abstract: YOLOv7 surpasses all known object detectors in both speed and accuracy in the range from 5 FPS to 160 FPS and has the highest accuracy 56.8% AP among all known real-time object detectors with 30 FPS or higher on GPU V100. YOLOv7-E6 object detector (56 FPS V100, 55.9% AP) outperforms both transformer-based detector SWIN-L Cascade-Mask R-CNN (9.2 FPS A100, 53.9% AP) by 509% in speed and 2% in accuracy, and convolutional-based detector ConvNeXt-XL Cascade-Mask R-CNN (8.6 FPS A100, 55.2% AP) by 551% in speed and 0.7% AP in accuracy, as well as YOLOv7 outperforms: YOLOR, YOLOX, Scaled-YOLOv4, YOLOv5, DETR, Deformable DETR, DINO-5scale-R50, ViT-Adapter-B and many other object detectors in speed and accuracy. Moreover, we train YOLOv7 only on MS COCO dataset from scratch without using any other datasets or pre-trained weights. Source code is released in https://github.com/WongKinYiu/yolov7.


title: On the Home-Space Problem for Petri Nets and its Ackermannian Complexity

abstract: A set of configurations H is a home-space for a set of configurations X of a Petri net if every configuration reachable from (any configuration in) X can reach (some configuration in) H. The semilinear home-space problem for Petri nets asks, given a Petri net and semilinear sets of configurations X, H, if H is a home-space for X. In 1989, David de Frutos Escrig and Colette Johnen proved that the problem is decidable when X is a singleton and H is a finite union of linear sets with the same periods. In this paper, we show that the general (semilinear) problem is decidable. This result is obtained by proving a duality between the reachability problem and the non-home-space problem. In particular, we prove that for any Petri net and any semilinear set of configurations H we can effectively compute a semilinear set C of configurations, called a non-reachability core for H, such that for every set X the set H is not a home-space for X if, and only if, C is reachable from X. We show that the established relation to the reachability problem yields the Ackermann-completeness of the (semilinear) home-space problem. For this we also show that, given a Petri net with an initial marking, the set of minimal reachable markings can be constructed in Ackermannian time.


title: Binding prediction of multi-domain cellulases with a dual-CNN

abstract: Cellulases hold great promise for the production of biofuels and biochemicals. However, they are modular enzymes acting on a complex heterogeneous substrate. Because of this complexity, the computational prediction of their catalytic properties remains scarce, which restricts both enzyme discovery and enzyme design. Here, we present a dual-input convolutional neural network to predict the binding of multi-domain enzymes. This regression model outperformed previous molecular dynamics-based methods for binding prediction for cellulases in a fraction of the time. Also, we show that when changed to a classification problem, the same network can be back-propagated to suggest mutations to improve enzyme binding. A similar approach could increase our understanding of the structure-activity relationship of enzymes, and suggest new promising mutations for enzyme design using explainable artificial intelligence.


title: Scaling Private Deep Learning with Low-Rank and Sparse Gradients

abstract: Applying Differentially Private Stochastic Gradient Descent (DPSGD) to training modern, large-scale neural networks such as transformer-based models is a challenging task, as the magnitude of noise added to the gradients at each iteration scales with model dimension, hindering the learning capability significantly. We propose a unified framework, $\textsf{LSG}$, that fully exploits the low-rank and sparse structure of neural networks to reduce the dimension of gradient updates, and hence alleviate the negative impacts of DPSGD. The gradient updates are first approximated with a pair of low-rank matrices. Then, a novel strategy is utilized to sparsify the gradients, resulting in low-dimensional, less noisy updates that are yet capable of retaining the performance of neural networks. Empirical evaluation on natural language processing and computer vision tasks shows that our method outperforms other state-of-the-art baselines.


title: Channel Estimation in RIS-Assisted MIMO Systems Operating Under Imperfections

abstract: Reconfigurable intelligent surface is a potential technology component of future wireless networks due to its capability of shaping the wireless environment. The promising MIMO systems in terms of extended coverage and enhanced capacity are, however, critically dependent on the accuracy of the channel state information. However, traditional channel estimation schemes are not applicable in RIS-assisted MIMO networks, since passive RISs typically lack the signal processing capabilities that are assumed by channel estimation algorithms. This becomes most problematic when physical imperfections or electronic impairments affect the RIS due to its exposition to different environmental effects or caused by hardware limitations from the circuitry. While these real-world effects are typically ignored in the literature, in this paper we propose efficient channel estimation schemes for RIS-assisted MIMO systems taking different imperfections into account. Specifically, we propose two sets of tensor-based algorithms, based on the parallel factor analysis decomposition schemes. First, by assuming a long-term model in which the RIS imperfections, modeled as unknown phase shifts, are static within the channel coherence time we formulate an iterative alternating least squares (ALS)-based algorithm for the joint estimation of the communication channels and the unknown phase deviations. Next, we develop the short-term imperfection model, which allows both amplitude and phase RIS imperfections to be non-static with respect to the channel coherence time. We propose two iterative ALS-based and closed-form higher order singular value decomposition-based algorithms for the joint estimation of the channels and the unknown impairments. Moreover, we analyze the identifiability and computational complexity of the proposed algorithms and study the effects of various imperfections on the channel estimation quality.


title: Continuous transition between Ising magnetic order and a chiral spin liquid

abstract: The competition between fractionalized spin-liquid states and magnetically ordered phases is an important paradigm in frustrated magnetism. Spin-orbit coupled Mott insulators with Ising-like magnetic anisotropies, such as Kitaev materials, are a particularly rich playground to explore this competition. In this work, we use effective field theory methods to show that a direct quantum phase transition can occur in two-dimensional (2D) Ising spin systems between a topologically ordered chiral spin liquid and a phase with magnetic long-range order. Such a transition can be protected by lattice symmetries and is described by a theory of massless Majorana fields coupled to non-Abelian $SO(N)$ gauge fields with a Chern-Simons term. We further show that Euclidean Majorana zero modes bound to $\mathbb{Z}_2$ monopole-instantons in the emergent non-Abelian gauge field are key to understanding spontaneous symmetry breaking in the ordered phase.


title: Spike Calibration: Fast and Accurate Conversion of Spiking Neural Network for Object Detection and Segmentation

abstract: Spiking neural network (SNN) has been attached to great importance due to the properties of high biological plausibility and low energy consumption on neuromorphic hardware. As an efficient method to obtain deep SNN, the conversion method has exhibited high performance on various large-scale datasets. However, it typically suffers from severe performance degradation and high time delays. In particular, most of the previous work focuses on simple classification tasks while ignoring the precise approximation to ANN output. In this paper, we first theoretically analyze the conversion errors and derive the harmful effects of time-varying extremes on synaptic currents. We propose the Spike Calibration (SpiCalib) to eliminate the damage of discrete spikes to the output distribution and modify the LIPooling to allow conversion of the arbitrary MaxPooling layer losslessly. Moreover, Bayesian optimization for optimal normalization parameters is proposed to avoid empirical settings. The experimental results demonstrate the state-of-the-art performance on classification, object detection, and segmentation tasks. To the best of our knowledge, this is the first time to obtain SNN comparable to ANN on these tasks simultaneously. Moreover, we only need 1/50 inference time of the previous work on the detection task and can achieve the same performance under 0.492$\times$ energy consumption of ANN on the segmentation task.


title: Saturated absorption technique used in Potassium microcell for magnetic field sensing

abstract: It is demonstrated that the use of a Micrometric Thin $^{39}$K vapor Cell (MTC) and Saturated Absorption spectroscopy (SA) allows to form narrow atomic lines in transmission spectrum without unwanted Cross-Over (CO) resonances. Another important feature is the small characteristic magnetic field value $B_0 = A_{hf}/\mu_B$ of $^{39}$K, significantly smaller than for Rb and Cs. As a consequence, decoupling of $J$ and $I$ can be observed at relatively low magnetic fields $\sim$300 G, which results in the formation of two groups of four well-spectrally-resolved and equidistantly-positioned atomic transitions having the same amplitude (each group corresponds to a given circular polarization $\sigma^\pm$) which we record using a simple experimental setup with a linearly polarized tunable diode-laser and a longitudinal magnetic field obtained with two permanent magnets. Fabrication of a MTC is much easier than the fabrication of the $^{39}$K nanocells used in our previous works. A simple method to determine the magnitude of a wide range of B-fields with a spatial resolution of 30 $\mu$m is presented, which is intrinsically calibrated and does not require a frequency reference.


title: Adjusting for both sequential testing and systematic error in safety surveillance using observational data: Empirical calibration and MaxSPRT

abstract: Post-approval safety surveillance of medical products using observational healthcare data can help identify safety issues beyond those found in pre-approval trials. When testing sequentially as data accrue, maximum sequential probability ratio testing (MaxSPRT) is a common approach to maintaining nominal type 1 error. However, the true type 1 error may still deviate from the specified one because of systematic error due to the observational nature of the analysis. This systematic error may persist even after controlling for known confounders. Here we propose to address this issue by combing MaxSPRT with empirical calibration. In empirical calibration, we assume uncertainty about the systematic error in our analysis, the source of uncertainty commonly overlooked in practice. We infer a probability distribution of systematic error by relying on a large set of negative controls: exposure-outcome where no causal effect is believed to exist. Integrating this distribution into our test statistics has previously been shown to restore type 1 error to nominal. Here we show how we can calibrate the critical value central to MaxSPRT. We evaluate this novel approach using simulations and real electronic health records, using H1N1 vaccinations during the 2009-2010 season as an example. Results show that combining empirical calibration with MaxSPRT restores nominal type 1 error. In our real-world example, adjusting for systematic error using empirical calibration has a larger impact than, and hence is just as essential as, adjusting for sequential testing using MaxSPRT. We recommend performing both, using the method described here.


title: Incentivizing Proof-of-Stake Blockchain for Secured Data Collection in UAV-Assisted IoT: A Multi-Agent Reinforcement Learning Approach

abstract: The Internet of Things (IoT) can be conveniently deployed while empowering various applications, where the IoT nodes can form clusters to finish certain missions collectively. In this paper, we propose to employ unmanned aerial vehicles (UAVs) to assist the clustered IoT data collection with blockchain-based security provisioning. In particular, the UAVs generate candidate blocks based on the collected data, which are then audited through a lightweight proof-of-stake consensus mechanism within the UAV-based blockchain network. To motivate efficient blockchain while reducing the operational cost, a stake pool is constructed at the active UAV while encouraging stake investment from other UAVs with profit sharing. The problem is formulated to maximize the overall profit through the blockchain system in unit time by jointly investigating the IoT transmission, incentives through investment and profit sharing, and UAV deployment strategies. Then, the problem is solved in a distributed manner while being decoupled into two layers. The inner layer incorporates IoT transmission and incentive design, which are tackled with large-system approximation and one-leader-multi-follower Stackelberg game analysis, respectively. The outer layer for UAV deployment is undertaken with a multi-agent deep deterministic policy gradient approach. Results show the convergence of the proposed learning process and the UAV deployment, and also demonstrated is the performance superiority of our proposal as compared with the baselines.


title: LDA-2IoT : A Level Dependent Authentication using Two Factor for IoT Paradigm

abstract: The widespread expansion of the IoT based services are changing peoples living habits. With the vast data generation and intelligent decision support system, an IoT is supporting many industries to improve their products and services. The major challenge for IoT developers is to design a secure data transmission system and a trustworthy inter device and user device communication system. The data starts its journey from the sensing devices and reaches the user dashboard through a different medium. Authentication between two IoT devices provides a reliable and lightweight key generation system. In this paper, we put forward a novel authentication approach for the IoT paradigm. We postulate an ECC based two factor Level Dependent Authentication for Generic IoT (LDA 2IoT) in which users at a particular level in the hierarchy can access the sensors deployed at below or the equal level of the hierarchy. We impart the security analysis for the proposed LDA 2IoT based on the Dolev Yao channel and widely accepted random oracle based ROR model. We provide the implementation of the proposed scheme using the MQTT protocol. Finally, we set forth a performance analysis for the proposed LDA 2IoT system by comparing it with the other existing scheme.


title: Microscopic origin of the effective spin-spin interaction in a semiconductor quantum dot ensemble

abstract: We present a microscopic model for a singly charged quantum dot (QD) ensemble to reveal the origin of the long-range effective interaction between the electron spins in the QDs. Wilson's numerical renormalization group (NRG) is used to calculate the magnitude and the spatial dependency of the effective spin-spin interaction mediated by the growth induced wetting layer. Surprisingly, we found an antiferromagnetic Heisenberg coupling for very short inter-QD distances that is caused by the significant particle-hole asymmetry of the wetting layer band at very low filling. Using the NRG results obtained from realistic parameters as input for a semiclassical simulation for a large QD ensemble, we demonstrate that the experimentally reported phase shifts in the coherent spin dynamics between single and two color laser pumping can be reproduced by our model, solving a longstanding mystery of the microscopic origin of the inter QD electron spin-spin interaction.


title: Robust millisecond coherence times of erbium electron spins

abstract: Erbium-doped solids are prime candidates for optical quantum communication networks due to erbium's telecom C-band emission. A long-lived electron spin of erbium with millisecond coherence time is highly desirable for establishing entanglement between adjacent quantum repeater nodes while long-term storage of the entanglement could rely on transferring to erbium's second-long coherence nuclear spins. Here we report GHz-range electron spin transitions of $^{167}\mathrm{Er}^{3+}$ in yttrium oxide ($\mathrm{Y_2O_3}$) matrix with coherence times that are consistently longer than a millisecond. Instead of addressing field-specific Zero First-Order Zeeman transitions, we probe weakly mixed electron spins with the field orientation along the lower g-factors. Using pulsed electron spin resonance spectroscopy, we find paramagnetic impurities are the dominant source of decoherence, and by polarizing them we achieve a Hahn echo spin $\mathrm{T_2}$ up to 1.46 ms, and a coherence time up to 7.1 ms after dynamical decoupling. These coherence lifetimes are among the longest found in crystalline hosts especially those with nuclear spins. We further enhance the coherence time beyond conventional dynamical decoupling, using customized sequences to simultaneously mitigate spectral diffusion and Er-Er dipolar interactions. Despite nuclear and impurity spins in the host, this work shows that long-lived erbium spins comparable to non-nuclear spin hosts can be achieved. Our study not only establishes $^{167}\mathrm{Er}^{3+}$: $\mathrm{Y_2 O_3}$ as a significantly promising quantum memory platform but also provides a general guideline for engineering long-lived erbium spins in a variety of host materials for quantum technologies.


title: A parametrised axiomatization for a large number of restricted second-order logics

abstract: By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly complete axiomatization for several systems of this kind having the range of the predicate variables as a parameter. The completeness argument uses simple techniques from the theory of Boolean algebras.


title: History of ARIES: A premier research institute in the area of observational sciences

abstract: The Aryabhatta Research Institute of Observational Sciences (ARIES), a premier autonomous research institute under the Department of Science and Technology, Government of India has a legacy of about seven decades with contributions made in the field of observational sciences namely atmospheric and astrophysics. The Survey of India used a location at ARIES, determined with an accuracy of better than 10 meters on a world datum through institute participation in a global network of Earth artificial satellites imaging during late 1950. Taking advantage of its high-altitude location, ARIES, for the first time, provided valuable input for climate change studies by long term characterization of physical and chemical properties of aerosols and trace gases in the central Himalayan regions. In astrophysical sciences, the institute has contributed precise and sometime unique observations of the celestial bodies leading to a number of discoveries. With the installation of the 3.6 meter Devasthal optical telescope in the year 2015, India became the only Asian country to join those few nations of the world who are hosting 4 meter class optical telescopes. This telescope, having advantage of geographical location, is well-suited for multi-wavelength observations and for sub-arc-second resolution imaging of the celestial objects including follow-up of the GMRT, AstroSat and gravitational-wave sources.


title: SocChain: Blockchain with Swift Proportional Governance for Bribery Mitigation

abstract: Blockchain governance is paramount to leading securely a large group of users towards the same goal without disputes about the legitimacy of a blockchain instance over another. As of today, there is no efficient way of protecting this governance against an oligarchy. This paper aims to offer a new dimension to the security of blockchains by defining the Swift Proportional Governance problem. This problem is to rapidly elect governance users that proportionally represent voters without the risk of dictatorship. We then design and implement an open permissioned blockchain called SocChain (Social Choice Blockchain) that mitigates bribery by building upon results in social choice theory. We deploy SocChain and evaluate our new multi-winner election DApp running on top of it. Our results indicate that using our DApp, 150 voters can elect a proportionally representative committee of 150 members within 5 minutes. Hence we show that SocChain can elect as many representatives as members in various global organizations.


title: Histopathology DatasetGAN: Synthesizing Large-Resolution Histopathology Datasets

abstract: Self-supervised learning (SSL) methods are enabling an increasing number of deep learning models to be trained on image datasets in domains where labels are difficult to obtain. These methods, however, struggle to scale to the high resolution of medical imaging datasets, where they are critical for achieving good generalization on label-scarce medical image datasets. In this work, we propose the Histopathology DatasetGAN (HDGAN) framework, an extension of the DatasetGAN semi-supervised framework for image generation and segmentation that scales well to large-resolution histopathology images. We make several adaptations from the original framework, including updating the generative backbone, selectively extracting latent features from the generator, and switching to memory-mapped arrays. These changes reduce the memory consumption of the framework, improving its applicability to medical imaging domains. We evaluate HDGAN on a thrombotic microangiopathy high-resolution tile dataset, demonstrating strong performance on the high-resolution image-annotation generation task. We hope that this work enables more application of deep learning models to medical datasets, in addition to encouraging more exploration of self-supervised frameworks within the medical imaging domain.


title: Simple bounds with best possible accuracy for ratios of modified Bessel functions

abstract: The best bounds of the form $B(\alpha,\beta,\gamma,x)=(\alpha+\sqrt{\beta^2+\gamma^2 x^2})/x$ for ratios of modified Bessel functions are characterized: if $\alpha$, $\beta$ and $\gamma$ are chosen in such a way that $B(\alpha,\beta,\gamma,x)$ is a sharp approximation for $\Phi_{\nu}(x)=I_{\nu-1} (x)/I_{\nu}(x)$ as $x\rightarrow 0^+$ (respectively $x\rightarrow +\infty$) and the graphs of the functions $B(\alpha,\beta,\gamma,x)$ and $\Phi_{\nu}(x)$ are tangent at some $x=x_*>0$, then $B(\alpha,\beta,\gamma,x)$ is an upper (respectively lower) bound for $\Phi_{\nu}(x)$ for any positive $x$, and it is the best possible at $x_*$. The same is true for the ratio $\Phi_{\nu}(x)=K_{\nu+1} (x)/K_{\nu}(x)$ but interchanging lower and upper bounds (and with a slightly more restricted range for $\nu$). Bounds with maximal accuracy at $0^+$ and $+\infty$ are recovered in the limits $x_*\rightarrow 0^+$ and $x_*\rightarrow +\infty$, and for these cases the coefficients have simple expressions. For the case of finite and positive $x_*$ we provide uniparametric families of bounds which are close to the optimal bounds and retain their confluence properties.


title: 3D flying wings for any asymptotic cones

abstract: For every $\theta\in(0,\pi)$, we construct a 3D steady gradient Ricci soliton whose asymptotic cone is a sector with angle $\theta$, which is a called 3D flying wing.


title: Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

abstract: We present a novel approach to efficiently compute tight non-convex enclosures of the image through neural networks with ReLU, sigmoid, or hyperbolic tangent activation functions. In particular, we abstract the input-output relation of each neuron by a polynomial approximation, which is evaluated in a set-based manner using polynomial zonotopes. While our approach can also can be beneficial for open-loop neural network verification, our main application is reachability analysis of neural network controlled systems, where polynomial zonotopes are able to capture the non-convexity caused by the neural network as well as the system dynamics. This results in a superior performance compared to other methods, as we demonstrate on various benchmarks.


title: Yet another notion of irregularity through small ball estimates

abstract: We introduce a new notion of irregularity of paths, in terms of control of growth of the size of small balls by means of the occupation measure of the path. This notion ensures Besov regularity of the occupation measure and thus extends the analysis of Catellier and Gubinelli (2016) to general Besov spaces. On stochastic processes this notion is granted by suitable properties of local non-determinism.


title: Muon decay and neutrino mass

abstract: The observed neutrino oscillations lead to the conclusion that the neutrinos have a non zero mass, whereas the standard calculations of the weak leptonic decays assume they are massless. However, the experimental uncertainties in the quantities observed in such decays are able to absorb the effects of the non zero neutrino masses, provided that they are not too large, as it seems to be according to the presently established upper limits. This fact is shown in detail for the $\mu$ decay, but it can be established also for the leptonic decays of the tau meson.


title: An improved upper limit for the (muon based) neutrino mass

abstract: The width for the mu decay is calculated in the V-A theory leaving open the possibility of non zero neutrino masses. It is shown that not only the agreement with the experimental data is kept, but the smallness of the experimental error allows to improve the constraint of nu mass (muon based) down to 0.021 MeV, provided that nu mass (electron based) is as low as indicated by the 3H beta decay. An analogous constraint for the nu mass (tau based) is not possible since in this case the decay width has a larger experimental error.


title: A Three-parameter Family Of Involutions In The Riordan Group Defined By Orthogonal Polynomials

abstract: We show how to define, for every Riordan group element $(g(x), f(x))$, an involution in the Riordan group. More generally, we show that for every pseudo-involution $P$ in the Riordan group, we can define a new involution beginning with an arbitrary element $(g(x), f(x))$ in the Riordan group. We then use this result to show that certain two-parameter families of orthogonal polynomials defined by a Riordan array can lead to involutions in the Riordan group, and we give an explicit form of these involutions.


title: Rheology of Polydisperse non-Spherical Graphite Particles Suspended in Mineral Oil

abstract: We study the role of filler concentration and microphysics on the rheology of polydisperse flake-graphite particles suspended in Newtonian mineral oil. Under steady shear, our samples exhibit shear thinning and yielding behaviour is observed for volume fractions $\phi > 0.18$. Time-temperature superposition was observed using an Arrhenius-type horizontal shift factor, giving a flow activation energy that is dependent on the graphite volume fraction, suggesting concentration-dependent contributions to relaxation processes in the suspensions. The flow curves are fitted by a constraint-based model, indicating that the flow behaviour is controlled by frictional and adhesive contacts, with the model suggesting that the adhesive stress is temperature dependent.


title: Deep Learning approach for Classifying Trusses and Runners of Strawberries

abstract: The use of artificial intelligence in the agricultural sector has been growing at a rapid rate to automate farming activities. Emergent farming technologies focus on mapping and classification of plants, fruits, diseases, and soil types. Although, assisted harvesting and pruning applications using deep learning algorithms are in the early development stages, there is a demand for solutions to automate such processes. This paper proposes the use of Deep Learning for the classification of trusses and runners of strawberry plants using semantic segmentation and dataset augmentation. The proposed approach is based on the use of noises (i.e. Gaussian, Speckle, Poisson and Salt-and-Pepper) to artificially augment the dataset and compensate the low number of data samples and increase the overall classification performance. The results are evaluated using mean average of precision, recall and F1 score. The proposed approach achieved 91%, 95% and 92% on precision, recall and F1 score, respectively, for truss detection using the ResNet101 with dataset augmentation utilising Salt-and-Pepper noise; and 83%, 53% and 65% on precision, recall and F1 score, respectively, for truss detection using the ResNet50 with dataset augmentation utilising Poisson noise.


title: Variational Flow Graphical Model

abstract: This paper introduces a novel approach to embed flow-based models with hierarchical structures. The proposed framework is named Variational Flow Graphical (VFG) Model. VFGs learn the representation of high dimensional data via a message-passing scheme by integrating flow-based functions through variational inference. By leveraging the expressive power of neural networks, VFGs produce a representation of the data using a lower dimension, thus overcoming the drawbacks of many flow-based models, usually requiring a high dimensional latent space involving many trivial variables. Aggregation nodes are introduced in the VFG models to integrate forward-backward hierarchical information via a message passing scheme. Maximizing the evidence lower bound (ELBO) of data likelihood aligns the forward and backward messages in each aggregation node achieving a consistency node state. Algorithms have been developed to learn model parameters through gradient updating regarding the ELBO objective. The consistency of aggregation nodes enable VFGs to be applicable in tractable inference on graphical structures. Besides representation learning and numerical inference, VFGs provide a new approach for distribution modeling on datasets with graphical latent structures. Additionally, theoretical study shows that VFGs are universal approximators by leveraging the implicitly invertible flow-based structures. With flexible graphical structures and superior excessive power, VFGs could potentially be used to improve probabilistic inference. In the experiments, VFGs achieves improved evidence lower bound (ELBO) and likelihood values on multiple datasets.


title: Random zero sets for Fock type spaces

abstract: Given a nondecreasing sequence $\Lambda=\{\lambda_n>0\}$ such that $\displaystyle\lim_{n\to\infty} \lambda_n=\infty,$ we consider the sequence $\mathcal N_\Lambda:=\left\{\lambda_ne^{i\theta_n},n\in\,\mathbb N\right\}$, where $\theta_n$ are independent random variables uniformly distributed on $[0,2\pi].$ We discuss the conditions on the sequence $\Lambda$ under which $\mathcal N_\Lambda$ is a zero set (a uniqness set) of a given weighted Fock space almost surely. The critical density of the sequence $\Lambda$ with respect to the weight is found.


title: Pre-training Transformers for Molecular Property Prediction Using Reaction Prediction

abstract: Molecular property prediction is essential in chemistry, especially for drug discovery applications. However, available molecular property data is often limited, encouraging the transfer of information from related data. Transfer learning has had a tremendous impact in fields like Computer Vision and Natural Language Processing signaling for its potential in molecular property prediction. We present a pre-training procedure for molecular representation learning using reaction data and use it to pre-train a SMILES Transformer. We fine-tune and evaluate the pre-trained model on 12 molecular property prediction tasks from MoleculeNet within physical chemistry, biophysics, and physiology and show a statistically significant positive effect on 5 of the 12 tasks compared to a non-pre-trained baseline model.


title: Characterising $3$-polytopes of radius one with unique realisation

abstract: Let $F$ be a planar, $3$-connected graph of radius one on $p$ vertices, with $a$ vertices of degree three. We characterise all unigraphic degree sequences for such graphs, when $a\geq 3$ and $p$ is large enough with respect to $a$. This complements the work of \cite{mafpo4} for $a\leq 3$.


title: Towards the Use of Saliency Maps for Explaining Low-Quality Electrocardiograms to End Users

abstract: When using medical images for diagnosis, either by clinicians or artificial intelligence (AI) systems, it is important that the images are of high quality. When an image is of low quality, the medical exam that produced the image often needs to be redone. In telemedicine, a common problem is that the quality issue is only flagged once the patient has left the clinic, meaning they must return in order to have the exam redone. This can be especially difficult for people living in remote regions, who make up a substantial portion of the patients at Portal Telemedicina, a digital healthcare organization based in Brazil. In this paper, we report on ongoing work regarding (i) the development of an AI system for flagging and explaining low-quality medical images in real-time, (ii) an interview study to understand the explanation needs of stakeholders using the AI system at OurCompany, and, (iii) a longitudinal user study design to examine the effect of including explanations on the workflow of the technicians in our clinics. To the best of our knowledge, this would be the first longitudinal study on evaluating the effects of XAI methods on end-users -- stakeholders that use AI systems but do not have AI-specific expertise. We welcome feedback and suggestions on our experimental setup.


title: An Unsupervised STDP-based Spiking Neural Network Inspired By Biologically Plausible Learning Rules and Connections

abstract: The backpropagation algorithm has promoted the rapid development of deep learning, but it relies on a large amount of labeled data and still has a large gap with how humans learn. The human brain can quickly learn various conceptual knowledge in a self-organized and unsupervised manner, accomplished through coordinating various learning rules and structures in the human brain. Spike-timing-dependent plasticity (STDP) is a general learning rule in the brain, but spiking neural networks (SNNs) trained with STDP alone is inefficient and perform poorly. In this paper, taking inspiration from short-term synaptic plasticity, we design an adaptive synaptic filter and introduce the adaptive spiking threshold as the neuron plasticity to enrich the representation ability of SNNs. We also introduce an adaptive lateral inhibitory connection to adjust the spikes balance dynamically to help the network learn richer features. To speed up and stabilize the training of unsupervised spiking neural networks, we design a samples temporal batch STDP (STB-STDP), which updates weights based on multiple samples and moments. By integrating the above three adaptive mechanisms and STB-STDP, our model greatly accelerates the training of unsupervised spiking neural networks and improves the performance of unsupervised SNNs on complex tasks. Our model achieves the current state-of-the-art performance of unsupervised STDP-based SNNs in the MNIST and FashionMNIST datasets. Further, we tested on the more complex CIFAR10 dataset, and the results fully illustrate the superiority of our algorithm. Our model is also the first work to apply unsupervised STDP-based SNNs to CIFAR10. At the same time, in the small-sample learning scenario, it will far exceed the supervised ANN using the same structure.


title: Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics

abstract: The formalisation of mathematics is continuing rapidly, however combinatorics continues to present challenges to formalisation efforts, such as its reliance on techniques from a wide range of other fields in mathematics. This paper presents formal linear algebraic techniques for proofs on incidence structures in Isabelle/HOL, and their application to the first formalisation of Fisher's inequality. In addition to formalising incidence matrices and simple techniques for reasoning on linear algebraic representations, the formalisation focuses on the linear algebra bound and rank arguments. These techniques can easily be adapted for future formalisations in combinatorics, as we demonstrate through further application to proofs of variations on Fisher's inequality.


title: Real-Time Gesture Recognition with Virtual Glove Markers

abstract: Due to the universal non-verbal natural communication approach that allows for effective communication between humans, gesture recognition technology has been steadily developing over the previous few decades. Many different strategies have been presented in research articles based on gesture recognition to try to create an effective system to send non-verbal natural communication information to computers, using both physical sensors and computer vision. Hyper accurate real-time systems, on the other hand, have only recently began to occupy the study field, with each adopting a range of methodologies due to past limits such as usability, cost, speed, and accuracy. A real-time computer vision-based human-computer interaction tool for gesture recognition applications that acts as a natural user interface is proposed. Virtual glove markers on users hands will be created and used as input to a deep learning model for the real-time recognition of gestures. The results obtained show that the proposed system would be effective in real-time applications including social interaction through telepresence and rehabilitation.


title: On atomic state purity operator, degree of state purity and concurrence in the JC and anti-JC models

abstract: The state of an atom in a bipartite qubit, Jaynes-Cummings (JC) or anti-Jaynes-Cummings (aJC) interaction is described by a reduced density operator. The purity of the state has been measured by taking the trace of the square of the reduced density operator. In this article, we define the square of the reduced density operator as the state purity operator, composed of a completely pure state part and a completely mixed state part. The coefficient of the completely mixed state part is the mixed state measure, formally obtained as the determinant of the reduced density operator and it is therefore directly related to tangle, the square of concurrence of the bipartite system. Expressed in various equivalent forms, the mixed state measure provides all the characteristic elements of state purity or entanglement, such as eigenvalues of the reduced density operator, nonclassicality measures and a state purity complex amplitude. The argument of the state purity complex amplitude in polar form is the phase of the state purity measure, which defines the degree of purity of the state. We find that the degree of purity and concurrence are complementary quantifiers satisfying a complementarity relation.


title: Probabilistic Modeling of LCF Failure Times Using an Epidemiological Crack Percolation Model

abstract: The analysis of standardized low cycle fatigue (LCF) experiments shows that the failure times widely scatter. Furthermore, mechanical components often fail before the deterministic failure time is reached. A possibility to overcome these problems is to consider probabilistic failure times. Our approach for probabilistic life prediction is based on the microstructure of the metal. Since we focus on nickel-base alloys we consider a coarse grained microstructure, with random oriented FCC grains. This leads to random distributed Schmid factors and different anisotropic stress in each grain. To gain crack initiation times, we use Coffin-Manson- Basquin and Ramberg-Osgood equation on stresses corrected with probabilistic Schmid factors. Using these single grain crack initiation times, we have developed an epidemiological crack growth model over multiple grains. In this mesoscopic crack percolation model, cracked grains induce a stress increase in neighboring grains. This stress increase is realized using a machine learning model trained on data generated from finite element simulations. The resulting crack clusters are evaluated with a failure criterion based on a multimodal stress intensity factor. From the generated failure times, we calculate surface dependent hazard rates using a Monte Carlo framework. We compare the obtained failure time distributions to data from LCF experiments and find good coincidence of predicted and measured scatter bands.


title: Spline-oriented inter/extrapolation-based multirate schemes of higher order

abstract: Multirate integration uses different time step sizes for different components of the solution based on the respective transient behavior. For inter/extrapolation-based multirate schemes, we construct a new subclass of schemes by using clamped cubic splines to obtain multirate schemes up to order 4. Numerical results for a $n$-mass-oscillator demonstrate that 4th order of convergence can be achieved for this class of schemes.


title: Toward a Longitudinal Multifaceted View of Remote Undergraduate Research Experiences During the COVID-19 Pandemic: The perspectives of doing research online

abstract: In the Summer of 2020, as COVID-19 limited in-person research opportunities and created additional barriers for many students, institutions either canceled or remotely hosted their Research Experience for Undergraduates (REU) programs. The present longitudinal qualitative phenomenographic study was designed to explore some of the tools, communities, norms, and division of labor that make up the remote research program and some of the possible limitations, challenges, and outcomes of this remote experience. Within the context of the undergraduate research program, the paper makes a comparison between outcomes of the remote and in-person research experience. Overall, 94 interviews were conducted with paired participants; mentees (N=10) and mentors (N=8) from six different REU programs. By drawing on Cultural-Historical Activity Theory as a framework, our study has explained the remote format has not opened a gap between mentees' research and academic objectives from the REU program and what they got at the end. All mentees reported that this experience was highly beneficial. Comparisons between the outcomes of the remote REU and the published outcomes of in-person UREs revealed many similar benefits of undergraduate research. Our study suggests that remote research programs could be considered as a means to expand access to research experiences for some students even after COVID-19 restrictions are lifted.


title: Existence theorem of a weak solution for Navier-Stokes type equations associated with de Rham complex

abstract: Let $ \{d_q, \Lambda^{q} \} $ be de Rham complex on a smooth compact closed manifold $X$ over $ \mathbb{R}^3 $ with Laplacians $\Delta_{q} $. We consider operator equations, associated with the parabolic differential operators $\partial_t + \Delta_2 + N^{2} $ on the second step of complex with nonlinear bi-differential operator of zero order $ N^{2} $. Using by projection on the next step of complex we show that the equation has unique solution in special Bochner-Sobolev type functional spaces for some (small enough) time $ T^* $.


title: Polynomial Time Near-Time-Optimal Multi-Robot Path Planning in Three Dimensions with Applications to Large-Scale UAV Coordination

abstract: For enabling efficient, large-scale coordination of unmanned aerial vehicles (UAVs) under the labeled setting, in this work, we develop the first polynomial time algorithm for the reconfiguration of many moving bodies in three-dimensional spaces, with provable $1.x$ asymptotic makespan optimality guarantee under high robot density. More precisely, on an $m_1\times m_2 \times m_3$ grid, $m_1\ge m_2\ge m_3$, our method computes solutions for routing up to $\frac{m_1m_2m_3}{3}$ uniquely labeled robots with uniformly randomly distributed start and goal configurations within a makespan of $m_1 + 2m_2 +2m_3+o(m_1)$, with high probability. Because the makespan lower bound for such instances is $m_1 + m_2+m_3 - o(m_1)$, also with high probability, as $m_1 \to \infty$, $\frac{m_1+2m_2+2m_3}{m_1+m_2+m_3}$ optimality guarantee is achieved. $\frac{m_1+2m_2+2m_3}{m_1+m_2+m_3} \in (1, \frac{5}{3}]$, yielding $1.x$ optimality. In contrast, it is well-known that multi-robot path planning is NP-hard to optimally solve. In numerical evaluations, our method readily scales to support the motion planning of over $100,000$ robots in 3D while simultaneously achieving $1.x$ optimality. We demonstrate the application of our method in coordinating many quadcopters in both simulation and hardware experiments.


title: Characterizing disruptions in online gaming behavior following software patches

abstract: Multiplayer online games are ideal settings for studying the effects of technological disruptions on social behavior. Software patches to online games cause significant changes to the game's rules and require players to develop new strategies to cope with these disruptions. We surveyed players, analyzed the content of software patch notes, and analyzed changes to the character selection behaviors in more than 53 million matches of Dota 2 in the days before and after software patches over a 30-month period. We found that the severity of patches is correlated with the magnitude of behavioral changes following a patch. We discuss the opportunities of leveraging software patches to online games as a valuable but overlooked empirical instrument for measuring behavioral dynamics.


title: On the use of Markov chains for epidemic modeling on networks

abstract: We discuss various models for epidemics on networks that rely on Markov chains. Random walks on graphs are often used to predict epidemic spread and to investigate possible control actions to mitigate them. In this study, we demonstrate that they do not fully reflect the dynamics of epidemics, as they overestimate infection times. Accordingly, we explain how Markov chains may still be used to accurately model the virus spread, and to correctly predict infection times. We also provide an algorithm that efficiently estimates infection times via a sampling strategy. Finally, we present a novel indicator based on infection times, and we compare its node ranking properties with other centrality measures based on random walks.


title: A Hybrid Approach for Binary Classification of Imbalanced Data

abstract: Binary classification with an imbalanced dataset is challenging. Models tend to consider all samples as belonging to the majority class. Although existing solutions such as sampling methods, cost-sensitive methods, and ensemble learning methods improve the poor accuracy of the minority class, these methods are limited by overfitting problems or cost parameters that are difficult to decide. We propose HADR, a hybrid approach with dimension reduction that consists of data block construction, dimentionality reduction, and ensemble learning with deep neural network classifiers. We evaluate the performance on eight imbalanced public datasets in terms of recall, G-mean, and AUC. The results show that our model outperforms state-of-the-art methods.


title: Robust Counterfactual Explanations for Tree-Based Ensembles

abstract: Counterfactual explanations inform ways to achieve a desired outcome from a machine learning model. However, such explanations are not robust to certain real-world changes in the underlying model (e.g., retraining the model, changing hyperparameters, etc.), questioning their reliability in several applications, e.g., credit lending. In this work, we propose a novel strategy -- that we call RobX -- to generate robust counterfactuals for tree-based ensembles, e.g., XGBoost. Tree-based ensembles pose additional challenges in robust counterfactual generation, e.g., they have a non-smooth and non-differentiable objective function, and they can change a lot in the parameter space under retraining on very similar data. We first introduce a novel metric -- that we call Counterfactual Stability -- that attempts to quantify how robust a counterfactual is going to be to model changes under retraining, and comes with desirable theoretical properties. Our proposed strategy RobX works with any counterfactual generation method (base method) and searches for robust counterfactuals by iteratively refining the counterfactual generated by the base method using our metric Counterfactual Stability. We compare the performance of RobX with popular counterfactual generation methods (for tree-based ensembles) across benchmark datasets. The results demonstrate that our strategy generates counterfactuals that are significantly more robust (nearly 100% validity after actual model changes) and also realistic (in terms of local outlier factor) over existing state-of-the-art methods.


title: $\chi_{c1}(2p)$: an overshadowed charmoniumlike resonance

abstract: A thorough study of the $J^{PC}=1^{++}$ elastic $D^{0}\bar{D}^{\ast0}$ and $D^{+}D^{\ast-}$ scattering, where the form of the meson-meson interaction is inferred from lattice QCD calculations of string breaking, is carried out for center-of-mass energies up to 4 GeV. We show that the presence of $\chi_{c1}(3872)$, which can be naturally assigned to either a bound or virtual charmoniumlike state close below the $D^{0}\bar{D}^{\ast0}$ threshold, can overshadow a quasiconventional charmoniumlike resonance lying above threshold. This makes difficult the experimental detection of this resonance through the $D^{0}\bar{D}^{\ast0}$ and $D^{+}D^{\ast-}$ channels, despite being its expected main decay modes. We analyze alternative strong and electromagnetic decay modes. Comparison with existing data shows that this resonance may have already been observed through its decay to $\omega J/\psi$.


title: Pettifor Maps of Complex Ternary Two-dimensional Transition Metal Sulphides

abstract: Alloying is an established strategy to tune the properties of bulk compounds for desired applications. With the advent of nanotechnology, the same strategy can be applied to 2D materials for technological applications, like single-layer transistors and solid lubricants. Here we present a systematic analysis of the phase behaviour of substitutional 2D alloys in the Transition Metal Disulphides (TMD) family. The phase behaviour is quantified in terms of a metastability metric and benchmarked against many-body expansion of the energy landscape. We show how the metastability metric can be directly used as starting point for setting up rational search strategies in phase space, thus allowing for targeted further computational prediction and analysis of properties. The results presented here also constitute a useful guideline for synthesis of TMDs binary alloys via a range of synthesis techniques.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.chem-ph