title: Finding Prerequisite Relations between Concepts using Textbook

abstract: A prerequisite is anything that you need to know or understand first before attempting to learn or understand something new. In the current work, we present a method of finding prerequisite relations between concepts using related textbooks. Previous researchers have focused on finding these relations using Wikipedia link structure through unsupervised and supervised learning approaches. In the current work, we have proposed two methods, one is statistical method and another is learning-based method. We mine the rich and structured knowledge available in the textbooks to find the content for those concepts and the order in which they are discussed. Using this information, proposed statistical method estimates explicit as well as implicit prerequisite relations between concepts. During experiments, we have found performance of proposed statistical method is better than the popular RefD method, which uses Wikipedia link structure. And proposed learning-based method has shown a significant increase in the efficiency of supervised learning method when compared with graph and text-based learning-based approaches.


title: Density matrix renormalization group study of the $\nu=1/3$ edge states in fractional quantum Hall systems

abstract: The edge states in the fractional quantum Hall systems at filling factor $\nu=1/3$ are studied by the density matrix renormalization group method. It is shown that the density oscillation induced by the local boundary condition at the edge is characterized by the wave number of the minimum magnetoroton excitation, and this structure is partially reconstructed with the change in the confinement potential shape. In particular, the $\nu=1$ counterpropagating edge channel appears with the change in the chemical potential, which is consistent with recent experiments on heat transport. The stability of the bulk states against the change in the number of electrons confirms that the bulk part of the fractional quantum Hall state is incompressible, while the edge state is compressible.


title: Analytic Bipedal Walking with Fused Angles and Corrective Actions in the Tilt Phase Space

abstract: This work presents algorithms for the feedback-stabilised walking of bipedal humanoid robotic platforms, along with the underlying theoretical and sensorimotor frameworks required to achieve it. Bipedal walking is inherently complex and difficult to control due to the high level of nonlinearity and significant number of degrees of freedom of the concerned robots, the limited observability and controllability of the corresponding states, and the combination of imperfect actuation with less-than-ideal sensing. The presented methods deal with these issues in a multitude of ways, ranging from the development of an actuator control and feed-forward compensation scheme, to the inclusion of filtering in almost all of the gait stabilisation feedback pipelines. Two gaits are developed and investigated, the direct fused angle feedback gait, and the tilt phase controller. Both gaits follow the design philosophy of leveraging a semi-stable open-loop gait generator, and extending it through stabilising feedback via the means of so-called corrective actions. The idea of using corrective actions is to modify the generation of the open-loop joint waveforms in such a way that the balance of the robot is influenced and thereby ameliorated. Examples of such corrective actions include modifications of the arm swing and leg swing trajectories, the application of dynamic positional and rotational offsets to the hips and feet, and adjustments of the commanded step size and timing. Underpinning both feedback gaits and their corresponding gait generators are significant advances in the field of 3D rotation theory. These advances include the development of three novel rotation representations, the tilt angles, fused angles, and tilt phase space representations. All three of these representations are founded on a new innovative way of splitting 3D rotations into their respective yaw and tilt components.


title: Lie elements and the matrix-tree theorem

abstract: For a finite-dimensional representation V of a group G we introduce and study the notion of a Lie element in the group algebra k[G]. The set L(V) \subset k[G] of Lie elements is a Lie algebra and a G-module acting on the original representation V. Lie elements often exhibit nice combinatorial properties. Thus, for G = S_n and V, a permutation representation, we prove a formula for the characteristic polynomial of a Lie element similar to the classical matrix-tree theorem.


title: Recovery-to-Efficiency: A New Robustness Concept for Multi-objective Optimization under Uncertainty

abstract: This paper presents a new robustness concept for uncertain multi-objective optimization problems. More precisely, in the paper the so-called recovery-to-efficiency robustness concept is proposed and investigated. Several approaches for generating recovery-to-efficiency robust sets in the context of multi-objective optimization are proposed as well. An extensive experimental analysis is performed to disclose differences among robust sets obtained using different concepts as well as to deduce some interesting observations. For testing purposes, instances from the bi-objective knapsack problem are considered.


title: Phase diagram of vortices in the polar phase of spin-1 Bose-Einstein condensates

abstract: The phase diagram of lowest-energy vortices in the polar phase of spin-1 Bose--Einstein condensates is investigated theoretically. Singly quantized vortices are categorized by the local ordered state in the vortex core and three types of vortices are found as lowest-energy vortices, which are elliptic AF-core vortices, axisymmetric F-core vortices, and N-core vortices. These vortices are named after the local ordered state, ferromagnetic (F), antiferromagnetic (AF), broken-axisymmetry (BA), and normal (N) states apart from the bulk polar (P) state. The N-core vortex is a conventional vortex, in the core of which the superfluid order parameter vanishes. The other two types of vortices are stabilized when the quadratic Zeeman energy is smaller than a critical value. The axisymmetric F-core vortex is the lowest-energy vortex for ferromagnetic interaction, and it has an F core surrounded by a BA skin that forms a ferromagnetic-spin texture, as exemplified by the localized Mermin--Ho texture. The elliptic AF-core vortex is stabilized for antiferromagnetic interaction; the vortex core has both nematic-spin and ferromagnetic orders locally and is composed of the AF-core soliton spanned between two BA edges. The phase transition from the N-core vortex to the other two vortices is continuous, whereas that between the AF-core and F-core vortices is discontinuous. The critical point of the continuous vortex-core transition is computed by the perturbation analysis of the Bogoliubov theory and the Ginzburg--Landau formalism describes the critical behavior. The influence of trapping potential on the core structure is also investigated.


title: Crystal growth and metallic ferromagnetism induced by electron doping in FeSb$_2$

abstract: In order to study the metallic ferromagnetism induced by electron doping in the narrow-gab semiconductor FeSb$_2$, single crystals of FeSb$_2$, Fe$_{1-x}$Co$_x$Sb$_2$ ($0 \le x \le 0.5$) and FeSb$_{2-y}$Te$_y$ ($0 \le y \le 0.4$), were grown by a simplified self-flux method. From powder x-ray diffraction (XRD) patterns, wavelength-dispersive x-ray spectroscopy (WDX) and x-ray Laue diffraction, pure and doped high-quality single crystals, within the selected solubility range, show only the orthorhombic $Pnnm$ structure of FeSb$_2$ with a monotonic change in lattice parameters with increasing the doping level. In consistence with the model of nearly ferromagnetic small-gap semiconductor, the energy gap of FeSb$_2$ Pauli paramagnet gradually collapses by electron doping before it closes at about $x$ or $y$ = 0.15 and subsequent itinerant electron anisotropic ferromagnetic states are observed with higher doping levels. A magnetic phase diagram is established and discussed in view of proposed theoretical scenarios.


title: Shape differentiability of Helmholtz scattering problems via explicit shape calculus

abstract: We consider the time-harmonic scalar wave scattering problems with Dirichlet, Neumann, impedance and transmission boundary conditions. Under this setting, we analyze how sensitive diffracted fields and Cauchy data are to small perturbations of a given nominal shape. To this end, we follow [K. Eppler, Int.~J.~Appl. Math. Comput. Sci. 10(3) (2000), pp. 487-516], referred to as explicit shape calculus, and which places great emphasis on the characterization of the domain derivatives as boundary value problems. It consists in combining elliptic regularity theorems, shape calculus and functional analysis, allowing to deduce sharp differentiability results for the domain-to-solution and domain-to-Cauchy data mappings. The technique is applied to both classic and limit Sobolev regularity cases, leading to new and comprehensive differentiability results.


title: Deep Multi-Frame MVDR Filtering for Single-Microphone Speech Enhancement

abstract: Multi-frame algorithms for single-microphone speech enhancement, e.g., the multi-frame minimum variance distortionless response (MFMVDR) filter, are able to exploit speech correlation across adjacent time frames in the short-time Fourier transform (STFT) domain. Provided that accurate estimates of the required speech interframe correlation vector and the noise correlation matrix are available, it has been shown that the MFMVDR filter yields a substantial noise reduction while hardly introducing any speech distortion. Aiming at merging the speech enhancement potential of the MFMVDR filter and the estimation capability of temporal convolutional networks (TCNs), in this paper we propose to embed the MFMVDR filter within a deep learning framework. The TCNs are trained to map the noisy speech STFT coefficients to the required quantities by minimizing the scale-invariant signal-to-distortion ratio loss function at the MFMVDR filter output. Experimental results show that the proposed deep MFMVDR filter achieves a competitive speech enhancement performance on the Deep Noise Suppression Challenge dataset. In particular, the results show that estimating the parameters of an MFMVDR filter yields a higher performance in terms of PESQ and STOI than directly estimating the multi-frame filter or single-frame masks and than Conv-TasNet.


title: Universal Constraints on Relaxation Times for d-level GKLS master equations

abstract: In 1976, Gorini, Kossakowski, Sudarshan and Lindblad independently discovered a general form of master equations for an open quantum Markovian dynamics. In honor of all the authors, the equation is nowadays called the GKLS master equation. In this paper, we show universal constraints on the relaxation times valid for any d-level GKLS master equations, which is a generalization of the well-known constraints for 2-level systems. Specifically, we show that any relaxation rate, the inverse-relaxation time, is not greater than half of the sum of all relaxation rates. Since the relaxation times are measurable in experiments, our constraints provide a direct experimental test for the validity of the GKLS master equations, and hence for the conditions of the complete positivity and Markovianity.


title: On the lack of semimartingale property

abstract: In this work we extend the characterization of semimartingale functions in Cinlar et al. (1980) to the non-Markovian setting. We prove that if a function of a semimartingale remains a semimartingale, then under certain conditions the function must have intervals where it is a difference of two convex functions. Under suitable conditions this property also holds for random functions. As an application, we prove that the median process defined in Prokaj et al. (2011) is not a semimartingale. The same process appears also in Hu and Warren (2000) where the question of the semimartingale property is raised but not settled.


title: Accelerating Probabilistic Volumetric Mapping using Ray-Tracing Graphics Hardware

abstract: Probabilistic volumetric mapping (PVM) represents a 3D environmental map for an autonomous robotic navigational task. A popular implementation such as Octomap is widely used in the robotics community for such a purpose. The Octomap relies on octree to represent a PVM and its main bottleneck lies in massive ray-shooting to determine the occupancy of the underlying volumetric voxel grids. In this paper, we propose GPU-based ray shooting to drastically improve the ray shooting performance in Octomap. Our main idea is based on the use of recent ray-tracing RTX GPU, mainly designed for real-time photo-realistic computer graphics and the accompanying graphics API, known as DXR. Our ray-shooting first maps leaf-level voxels in the given octree to a set of axis-aligned bounding boxes (AABBs) and employ massively parallel ray shooting on them using GPUs to find free and occupied voxels. These are fed back into CPU to update the voxel occupancy and restructure the octree. In our experiments, we have observed more than three-orders-of-magnitude performance improvement in terms of ray shooting using ray-tracing RTX GPU over a state-of-the-art Octomap CPU implementation, where the benchmarking environments consist of more than 77K points and 25K~34K voxel grids.


title: Investigating Coarse-Grainings and Emergent Quantum Dynamics with Four Mathematical Perspectives

abstract: With the birth of quantum information science, many tools have been developed to deal with many-body quantum systems. Although a complete description of such systems is desirable, it will not always be possible to achieve this goal, as the complexity of such description tends to increase with the number of particles. It is thus crucial to build effective quantum theories aiming to understand how the description in one scale emerges from the description of a deeper scale. This contribution explores different mathematical tools to the study of emergent effective dynamics in scenarios where a system is subject to a unitary evolution and the coarse-grained description of it is given by a CPTP map taking the original system into an \emph{effective} Hilbert space of smaller dimension. We see that a well-defined effective dynamics can only be defined when some sort of matching between the underlying unitary and the coarse-graining map is satisfied. Our main goal is to use these different tools to derive necessary and sufficient conditions for this matching in the general case.


title: Investigating the transverse momentum dependent gluon Sivers function in quarkonium production at $pp$ colliders

abstract: In this contribution, we will present a short overview of the transverse momentum dependent (TMD) approach as a tool for studying the 3-dimensional structure of hadrons in high-energy (un)polarized hadron collisions. We will then summarize the present status of a running research programme that aims at constraining the poorly known transverse momentum dependent gluon Sivers function, through the study of single spin asymmetries in quarkonium (mainly $J/\psi$), pion, and $D$-meson production in polarized proton-proton collisions at RHIC. Finally, we will shortly discuss perspectives for this field of research, emphasizing in particular its role in the physics programme of LHC in the fixed-target setup and NICA.


title: Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System

abstract: In the age of autonomously driving vehicles, functionality and complexity of embedded systems are increasing tremendously. Safety aspects become more important and require such systems to operate with the highest possible level of fault tolerance. Simulation and systematic testing techniques have reached their limits in this regard. Here, formal verification as a long established technique can be an appropriate complement. However, the necessary preparatory work like adequately modeling a system and specifying properties in temporal logic are anything but trivial. In this paper, we report on our experiences applying model checking to verify the arbitration logic of a Vehicle Control System. We balance pros and cons of different model checking techniques and tools, and reason about our choice of the symbolic model checker NuSMV. We describe the process of modeling the architecture, resulting in ~1500 LOC, 69 state variables and 38 LTL constraints. To handle this large-scale model, we automate and optimize the model checking procedure for use on multi-core CPUs and employ Bounded Model Checking to avoid the state explosion problem. We share our lessons learned and provide valuable insights for architects, developers, and test engineers involved in this highly present topic.


title: Efficient frequency conversion in a degenerate $\chi^{(2)}$ microresonator

abstract: Microresonators on a photonic chip could enhance nonlinear optics effects, thus are promising for realizing scalable high-efficiency frequency conversion devices. However, fulfilling phase matching conditions among multiple wavelengths remains a significant challenge. Here, we present a feasible scheme for degenerate sum-frequency conversion that only requires the two-mode phase matching condition. When the drive and the signal are both near resonance to the same telecom mode, an efficient on-chip photon-number conversion efficiency upto 42% was achieved, showing a broad tuning bandwidth over 250GHz. Furthermore, cascaded Pockels and Kerr nonlinear optical effects are observed, enabling the parametric amplification of the optical signal to a distinct wavelength in a single device. The scheme demonstrated in this work provides an alternative approach to realizing high-efficiency frequency conversion and is promising for future studies on communications, atom clocks, sensing, and imaging.


title: Pseudoinverse-free randomized block iterative algorithms for consistent and inconsistent linear systems

abstract: Randomized iterative algorithms have attracted much attention in recent years because they can approximately solve large-scale linear systems of equations without accessing the entire coefficient matrix. In this paper, we propose two novel pseudoinverse-free randomized block iterative algorithms for solving consistent and inconsistent linear systems. The proposed algorithms require two user-defined random matrices: one for row sampling and the other for column sampling. We can recover the well-known doubly stochastic Gauss--Seidel, randomized Kaczmarz, randomized coordinate descent, and randomized extended Kaczmarz algorithms by choosing appropriate random matrices used in our algorithms. Because our algorithms allow for a much wider selection of these two random matrices, a number of new specific algorithms can be obtained. We prove the linear convergence in the mean square sense of our algorithms. Numerical experiments for linear systems with synthetic and real-world coefficient matrices demonstrate the efficiency of some special cases of our algorithms.


title: A spectral method algorithm for numerical simulations of gravitational fields

abstract: A numerical study of the Einstein field equations, based on the 3+1 foliation of the spacetime, is presented. A pseudo-spectral technique has been employed for simulations in vacuum, within two different formalisms, namely the Arnowitt-Deser-Misner (ADM) and the conformal Baumgarte-Shapiro-Shibata-Nakamura (BSSN) approach. The numerical code is based on the Fourier decomposition, accompanied by different filtering techniques. The role of the dealiasing, as well as the influence of the filter type, has been investigated. The algorithms have been stabilized via a novel procedure that controls self-consistently the regularity of the solutions. The accuracy of the model has been validated through standard testbeds, revealing that the filtered pseudo-spectral technique is among the most accurate approaches. Finally, the procedure has been stressed via black hole dynamics and a new strategy, based on hyperviscous dissipation that suppresses spurious boundary problems, has been proposed. The model represents a valid tool of investigation, particularly suitable for the inspection of small scale nonlinear phenomena in gravitational dynamics.


title: HyperLogLog (HLL) Security: Inflating Cardinality Estimates

abstract: Counting the number of distinct elements on a set is needed in many applications, for example to track the number of unique users in Internet services or the number of distinct flows on a network. In many cases, an estimate rather than the exact value is sufficient and thus many algorithms for cardinality estimation that significantly reduce the memory and computation requirements have been proposed. Among them, Hyperloglog has been widely adopted in both software and hardware implementations. The security of Hyperloglog has been recently studied showing that an attacker can create a set of elements that produces a cardinality estimate that is much smaller than the real cardinality of the set. This set can be used for example to evade detection systems that use Hyperloglog. In this paper, the security of Hyperloglog is considered from the opposite angle: the attacker wants to create a small set that when inserted on the Hyperloglog produces a large cardinality estimate. This set can be used to trigger false alarms in detection systems that use Hyperloglog but more interestingly, it can be potentially used to inflate the visits to websites or the number of hits of online advertisements. Our analysis shows that an attacker can create a set with a number of elements equal to the number of registers used in the Hyperloglog implementation that produces any arbitrary cardinality estimate. This has been validated in two commercial implementations of Hyperloglog: Presto and Redis. Based on those results, we also consider the protection of Hyperloglog against such an attack.


title: EUTelescope: A modular reconstruction framework for beam telescope data

abstract: EUTelescope is a modular, comprehensive software framework for the reconstruction of particle trajectories recorded with beam telescopes. Its modularity allows for a flexible usage of processors each fulfilling separate tasks of the reconstruction chain such as clustering, alignment and track fitting. %The reconstruction chain is directed via XML steering files. The framework facilitates the usage of any position sensitive device for both the beam telescope sensors as well as the device under test and supports a wide range of geometric arrangements of the sensors. In this work, the functionality of the EUTelescope framework as released in v2.2 and its underlying dependencies are discussed. Various use cases with emphasis on the General Broken Lines advanced track fitting methods give examples of the work flow and capabilities of the framework.


title: Deep reinforcement learning for feedback control in a collective flashing ratchet

abstract: A collective flashing ratchet transports Brownian particles using a spatially periodic, asymmetric, and time-dependent on-off switchable potential. The net current of the particles in this system can be substantially increased by feedback control based on the particle positions. Several feedback policies for maximizing the current have been proposed, but optimal policies have not been found for a moderate number of particles. Here, we use deep reinforcement learning (RL) to find optimal policies, with results showing that policies built with a suitable neural network architecture outperform the previous policies. Moreover, even in a time-delayed feedback situation where the on-off switching of the potential is delayed, we demonstrate that the policies provided by deep RL provide higher currents than the previous strategies.


title: A Deep Language-independent Network to analyze the impact of COVID-19 on the World via Sentiment Analysis

abstract: Towards the end of 2019, Wuhan experienced an outbreak of novel coronavirus, which soon spread all over the world, resulting in a deadly pandemic that infected millions of people around the globe. The government and public health agencies followed many strategies to counter the fatal virus. However, the virus severely affected the social and economic lives of the people. In this paper, we extract and study the opinion of people from the top five worst affected countries by the virus, namely USA, Brazil, India, Russia, and South Africa. We propose a deep language-independent Multilevel Attention-based Conv-BiGRU network (MACBiG-Net), which includes embedding layer, word-level encoded attention, and sentence-level encoded attention mechanism to extract the positive, negative, and neutral sentiments. The embedding layer encodes the sentence sequence into a real-valued vector. The word-level and sentence-level encoding is performed by a 1D Conv-BiGRU based mechanism, followed by word-level and sentence-level attention, respectively. We further develop a COVID-19 Sentiment Dataset by crawling the tweets from Twitter. Extensive experiments on our proposed dataset demonstrate the effectiveness of the proposed MACBiG-Net. Also, attention-weights visualization and in-depth results analysis shows that the proposed network has effectively captured the sentiments of the people.


title: RidgeSfM: Structure from Motion via Robust Pairwise Matching Under Depth Uncertainty

abstract: We consider the problem of simultaneously estimating a dense depth map and camera pose for a large set of images of an indoor scene. While classical SfM pipelines rely on a two-step approach where cameras are first estimated using a bundle adjustment in order to ground the ensuing multi-view stereo stage, both our poses and dense reconstructions are a direct output of an altered bundle adjuster. To this end, we parametrize each depth map with a linear combination of a limited number of basis "depth-planes" predicted in a monocular fashion by a deep net. Using a set of high-quality sparse keypoint matches, we optimize over the per-frame linear combinations of depth planes and camera poses to form a geometrically consistent cloud of keypoints. Although our bundle adjustment only considers sparse keypoints, the inferred linear coefficients of the basis planes immediately give us dense depth maps. RidgeSfM is able to collectively align hundreds of frames, which is its main advantage over recent memory-heavy deep alternatives that can align at most 10 frames. Quantitative comparisons reveal performance superior to a state-of-the-art large-scale SfM pipeline.


title: More on Complex Sachdev-Ye-Kitaev Eternal Wormholes

abstract: In this work, we study a generalization of the coupled Sachdev-Ye-Kitaev (SYK) model with $U(1)$ charge conservations. The model contains two copies of the complex SYK model at different chemical potentials, coupled by a direct hopping term. In the zero-temperature and small coupling limit with small averaged chemical potential, the ground state is an eternal wormhole connecting two sides, with a specific charge $Q=0$, which is equivalent to a thermofield double state. We derive the conformal Green's functions and determine corresponding IR parameters. At higher chemical potential, the system transit into the black hole phase. We further derive the Schwarzian effective action and study its quench dynamics. Finally, we compare numerical results with the analytical predictions.


title: 1st AfricaNLP Workshop Proceedings, 2020

abstract: Proceedings of the 1st AfricaNLP Workshop held on 26th April alongside ICLR 2020, Virtual Conference, Formerly Addis Ababa Ethiopia.


title: Supersymmetric $\nu$-Inflaton Dark Matter

abstract: We present the supersymmetric extension of the unified model for inflation and Dark Matter studied in Ref. arXiv:1811.02302. The scenario is based on the incomplete decay of the inflaton field into right-handed (s)neutrino pairs. By imposing a discrete interchange symmetry on the inflaton and the right-handed (s)neutrinos, one can ensure the stability of the inflaton field at the global minimum today, while still allowing it to partially decay and reheat the Universe after inflation. Compatibility of inflationary predictions, BBN bounds and obtaining the right DM abundance for the inflaton Dark Matter candidate typically requires large values of its coupling to the neutrino sector, and we use supersymmetry to protect the inflaton from potentially dangerous large radiative corrections which may spoil the required flatness of its potential. In addition, the inflaton will decay now predominatly into sneutrinos during reheating, which in turn give rise both to the thermal bath made of Standard Model particles, and inflaton particles. We have performed a through analyses of the reheating process following the evolution of all the partners involved, identifying the different regimes in the parameter space for the final Dark Matter candidate. This as usual can be a WIMP-like inflaton particle or an oscillating condensate, but we find a novel regime for a FIMP-like candidate.


title: SophiaPop: Experiments in Human-AI Collaboration on Popular Music

abstract: A diverse team of engineers, artists, and algorithms, collaborated to create songs for SophiaPop, via various neural networks, robotics technologies, and artistic tools, and animated the results on Sophia the Robot, a robotic celebrity and animated character. Sophia is a platform for arts, research, and other uses. To advance the art and technology of Sophia, we combine various AI with a fictional narrative of her burgeoning career as a popstar. Her actual AI-generated pop lyrics, music, and paintings, and animated conversations wherein she interacts with humans real-time in narratives that discuss her experiences. To compose the music, SophiaPop team built corpora from human and AI-generated Sophia character personality content, along with pop music song forms, to train and provide seeds for a number of AI algorithms including expert models, and custom-trained transformer neural networks, which then generated original pop-song lyrics and melodies. Our musicians including Frankie Storm, Adam Pickrell, and Tiger Darrow, then performed interpretations of the AI-generated musical content, including singing and instrumentation. The human-performed singing data then was processed by a neural-network-based Sophia voice, which was custom-trained from human performances by Cereproc. This AI then generated the unique Sophia voice singing of the songs. Then we animated Sophia to sing the songs in music videos, using a variety of animation generators and human-generated animations. Being algorithms and humans, working together, SophiaPop represents a human-AI collaboration, aspiring toward human AI symbiosis. We believe that such a creative convergence of multiple disciplines with humans and AI working together, can make AI relevant to human culture in new and exciting ways, and lead to a hopeful vision for the future of human-AI relations.


title: Towards Abstract Relational Learning in Human Robot Interaction

abstract: Humans have a rich representation of the entities in their environment. Entities are described by their attributes, and entities that share attributes are often semantically related. For example, if two books have "Natural Language Processing" as the value of their `title' attribute, we can expect that their `topic' attribute will also be equal, namely, "NLP". Humans tend to generalize such observations, and infer sufficient conditions under which the `topic' attribute of any entity is "NLP". If robots need to interact successfully with humans, they need to represent entities, attributes, and generalizations in a similar way. This ends in a contextualized cognitive agent that can adapt its understanding, where context provides sufficient conditions for a correct understanding. In this work, we address the problem of how to obtain these representations through human-robot interaction. We integrate visual perception and natural language input to incrementally build a semantic model of the world, and then use inductive reasoning to infer logical rules that capture generic semantic relations, true in this model. These relations can be used to enrich the human-robot interaction, to populate a knowledge base with inferred facts, or to remove uncertainty in the robot's sensory inputs.


title: Alternative Minimal U(1)$_{\rm B-L}$

abstract: We provide a minimal alternative gauged U(1)$_{\rm B-L}$ model in which three right-handed neutrinos with charges of (5,-4,-4) and only one B-L Higgs field with charge 1 are introduced. Consistent active neutrino masses and mixings can be obtained if the $Z_2$ symmetry on two of the right-handed neutrinos is introduced. It predicts two heavy degenerate right-handed neutrinos, which may realize resonant leptogenesis scenario, and one relatively light sterile neutrino, which is a good dark matter candidate.


title: A generalization of moment-angle manifolds with non-contractible orbit spaces

abstract: We generalize the notion of moment-angle manifold over a simple convex polytope to an arbitrary nice manifold with corners. For a nice manifold with corners Q, we first compute the stable decomposition of the moment-angle manifold Z_Q via a construction called rim-cubicalization of Q. From this, we derive a formula to compute the integral cohomology group of Z_Q via the strata of Q. This generalizes the Hochster's formula for the moment-angle manifold over a simple convex polytope. Moreover, we obtain a description of the integral cohomology ring of Z_Q using the idea of partial diagonal maps. In addition, we define the notion of polyhedral product of a sequence of based CW-complexes over Q and obtain similar results for these spaces as we do for Z_Q. Using this general construction, we can compute the equivariant cohomology ring of Z_Q with respect to its canonical torus action from the Davis-Januszkiewicz space of Q. The result leads to the definition of a new notion called the topological face ring of Q, which generalizes the notion of face ring of a simple polytope. Meanwhile, we obtain some parallel results for the real moment-angle manifold RZ_Q over Q.


title: PSD2 Explainable AI Model for Credit Scoring

abstract: The aim of this project is to develop and test advanced analytical methods to improve the prediction accuracy of Credit Risk Models, preserving at the same time the model interpretability. In particular, the project focuses on applying an explainable machine learning model to bank-related databases. The input data were obtained from open data. Over the total proven models, CatBoost has shown the highest performance. The algorithm implementation produces a GINI of 0.68 after tuning the hyper-parameters. SHAP package is used to provide a global and local interpretation of the model predictions to formulate a human-comprehensive approach to understanding the decision-maker algorithm. The 20 most important features are selected using the Shapley values to present a full human-understandable model that reveals how the attributes of an individual are related to its model prediction.


title: Momentum Space Landau Equations Via Isotopy Techniques

abstract: We investigate the analytic structure of functions defined by integrals with integrands singular on a finite union of quadrics. The main motivation comes from Feynman integrals which belong to this class. Using isotopy techniques we derive the Landau equations in momentum space from the theory of Feynman integrals and generalize these equations to naturally include singularities of the second type. For this purpose we introduce a regularization of analytic families of quadratic forms rendering the isotopy techniques applicable. In the case of Feynman integrals we comment on what is known about the behavior on the principal branch where only specific solutions of the Landau equations contribute to non-analytic points. Finally we discuss compatibility with renormalization.


title: ONION: A Simple and Effective Defense Against Textual Backdoor Attacks

abstract: Backdoor attacks are a kind of emergent training-time threat to deep neural networks (DNNs). They can manipulate the output of DNNs and possess high insidiousness. In the field of natural language processing, some attack methods have been proposed and achieve very high attack success rates on multiple popular models. Nevertheless, there are few studies on defending against textual backdoor attacks. In this paper, we propose a simple and effective textual backdoor defense named ONION, which is based on outlier word detection and, to the best of our knowledge, is the first method that can handle all the textual backdoor attack situations. Experiments demonstrate the effectiveness of our model in defending BiLSTM and BERT against five different backdoor attacks. All the code and data of this paper can be obtained at https://github.com/thunlp/ONION.


title: Dirac-vortex topological photonic crystal fibre

abstract: The success of photonic crystal fibres relies largely on the endless variety of two-dimensional photonic crystals in the cross-section. Here, we propose a topological bandgap fibre whose bandgaps along in-plane directions are opened by generalized Kekul\'e modulation of a Dirac lattice with a vortex phase. Then, the existence of mid-gap defect modes is guaranteed to guide light at the core of this Dirac-vortex fibre, where the number of guiding modes equals the winding number of the spatial vortex. The single-vortex design provides a single-polarization single mode for a bandwidth as large as one octave.


title: Interpretation of apparent thermal conductivity in finite systems from equilibrium molecular dynamics simulations

abstract: We propose a way to properly interpret the apparent thermal conductivity obtained for finite systems using equilibrium molecular dynamics simulations (EMD) with fixed or open boundary conditions in the transport direction. In such systems the heat current autocorrelation function develops negative values after a correlation time which is proportional to the length of the simulation cell in the transport direction. Accordingly, the running thermal conductivity develops a maximum value at the same correlation time and eventually decays to zero. By comparing EMD with nonequilibrium molecular dynamics (NEMD) simulations, we conclude that the maximum thermal conductivity from EMD in a system with domain length 2L is equal to the thermal conductivity from NEMD in a system with domain length L. This facilitates the use of nonperiodic-boundary EMD for thermal transport in finite samples in close correspondence to NEMD.


title: Transcriptome profiling research in urothelial cell carcinoma

abstract: Urothelial cell carcinoma (UCC) is the ninth most common cancer that accounts for 4.7% of all the new cancer cases globally. UCC development and progression are due to complex and stochastic genetic programmes. To study the cascades of molecular events underlying the poor prognosis that may lead to limited treatment options for advanced disease and resistance to conventional therapies in UCC, transcriptomics technology (RNA-Seq), a method of analysing the RNA content of a sample using modern high-throughput sequencing platforms has been employed. Here we review the principles of RNA-Seq technology and summarize recent studies on human bladder cancer that employed this technique to unravel the pathogenesis of the disease, identify biomarkers, discover pathways and classify the disease state. We list the commonly used computational platforms and software that are publicly available for RNA-Seq analysis. Moreover, we discussed the future perspectives for RNA-Seq studies on bladder cancer and recommend the application of new technology called single cell sequencing (scRNA-Seq) to further understand the disease. Keywords: Transcriptome profiling, RNA-sequencing, genomics, bioinformatics, bladder cancer


title: A Comparison of Big-step Semantics Definition Styles

abstract: Formal semantics provides rigorous, mathematically precise definitions of programming languages, with which we can argue about program behaviour and program equivalence by formal means; in particular, we can describe and verify our arguments with a proof assistant. There are various approaches to giving formal semantics to programming languages, at different abstraction levels and applying different mathematical machinery: the reason for using the semantics determines which approach to choose. In this paper we investigate some of the approaches that share their roots with traditional relational big-step semantics, such as (a) functional big-step semantics (or, equivalently, a definitional interpreter), (b) pretty-big-step semantics and (c) traditional natural semantics. We compare these approaches with respect to the following criteria: executability of the semantics definition, proof complexity for typical properties (e.g. determinism) and the conciseness of expression equivalence proofs in that approach. We also briefly discuss the complexity of these definitions and the coinductive big-step semantics, which enables reasoning about divergence. To enable the comparison in practice, we present an example language for comparing the semantics: a sequential subset of Core Erlang, a functional programming language, which is used in the intermediate steps of the Erlang/OTP compiler. We have already defined a relational big-step semantics for this language that includes treatment of exceptions and side effects. The aim of this current work is to compare our big-step definition for this language with a variety of other equivalent semantics in different styles from the point of view of testing and verifying code refactorings.


title: Lepton Anomalous Magnetic Moments in an $S_4$ Flavor-Symmetric Extra U(1) Model

abstract: We study supersymmetric extra U(1) model with $S_4$ flavor symmetry. The flavor symmetry not only stabilizes proton but also suppresses the flavor changing processes without raising the supersymmetry breaking scale. After the flavor symmetry is broken, the Yukawa hierarchy is realized by the Froggatt-Nielsen mechanism. The relevant Peccei-Quinn scale for axion dark matter: $\frac{f_a}{M_P}\sim 10^{-5}$ accounts for small up quark mass. The muon mass scale: $\frac{m_\mu}{M_W}\sim 10^{-3}$ is related to the $O(10^{-6})$ mass degeneracy of right-handed neutrinos, from which we can identify the relevant scale of right-handed neutrino mass for baryon asymmetry of the Universe as TeV. Due to the existence of the extra higgsinos, the discrepancies of the anomalous magnetic moments of the muon and the electron between the standard model predictions and the observations are explained by the chargino-sneutrino contributions simultaneously.


title: The epsilon constant conjecture for higher dimensional unramified twists of $\mathbb Z_p^r(1)$

abstract: Let $N/K$ be a finite Galois extension of $p$-adic number fields and let $\rho^\mathrm{nr} : G_K \to \mathrm{Gl}_r(\mathbb Z_p)$ be an $r$-dimensional unramified representation of the absolute Galois group $G_K$ which is the restriction of an unramified representation $\rho^\mathrm{nr}_{\mathbb Q_p} : G_{\mathbb Q_p} \to \mathrm{Gl}_r(\mathbb Z_p)$. In this paper we consider the $\mathrm{Gal}(N/K)$-equivariant local $\epsilon$-conjecture for the $p$-adic representation $T = \mathbb Z_p^r(1)(\rho^\mathrm{nr})$. For example, if $A$ is an abelian variety of dimension $r$ defined over $\mathbb Q_p$ with good ordinary reduction, then the Tate module $T = T_p\hat A$ associated to the formal group $\hat A$ of $A$ is a $p$-adic representation of this form. We prove the conjecture for all tame extensions $N/K$ and a certain family of weakly and wildly ramified extensions $N/K$. This generalizes previous work of Izychev and Venjakob in the tame case and of the authors in the weakly and wildly ramified case.


title: Large scale geometry of Banach-Lie groups

abstract: We initiate the large scale geometric study of Banach-Lie groups, especially of linear Banach-Lie groups. We show that the exponential length, originally introduced by Ringrose for unitary groups of $C^*$-algebras, defines the quasi-isometry type of any connected Banach-Lie group. As an illustrative example, we consider unitary groups of separable abelian unital $C^*$-algebras with spectrum having finitely many components, which we classify up to topological isomorphism and up to quasi-isometry, in order to highlight the difference. The main results then concern the Haagerup property, and Properties (T) and (FH). We present the first non-trivial non-abelian and non-localy compact groups having the Haagerup property, most of them being non-amenable. These are the groups $\mathcal{U}_2(M,\tau)$, where $M$ is a semifinite von Neumann algebra with a normal faithful semifinite trace $\tau$. Finally, we investigate the groups $\mathrm{E}_n(A)$, which are closed subgroups of $\mathrm{GL}(n,A)$ generated by elementary matrices, where $A$ is a unital Banach algebra. We show that for $n\geq 3$, all these groups have Property (T) and they are unbounded, so they have Property (FH) non-trivially. On the other hand, if $A$ is an infinite-dimensional unital $C^*$-algebra, then $\mathrm{E}_2(A)$ does not have the Haagerup property. If $A$ is moreover abelian and separable, then $\mathrm{SL}(2,A)$ does not have the Haagerup property.


title: Data-Driven Modulation and Antenna Classification of Wireless Digital Communication Signals

abstract: In this paper we are interested to learn from a wireless digitally modulated signal the number of antennas that the transmitter (Tx) of this signal uses, as well as its specific modulation scheme (from phase-shift keying (PSK) or quadrature amplitude modulation (QAM)). Formally, these are modulation and antenna classification problems. We examine the problems with data-driven machine learning (ML)-based techniques. The two sub-problems of modulation and number of transmitter antenna classification are initially examined independently for a variety for system parameters, namely the SNR, number of receiver (Rx) antennas, and classification algorithms. Then we consider the joint problem where we follow two approaches. One, where the sub-problems are solved independently and in parallel, and one where the antenna classifier waits on the result of the modulation classifier. The two proposed schemes do not require any knowledge/details of the used modulation schemes and the way the Tx antennas are used (spatial multiplexing, space-time codes,etc.) as it is fully data-driven and not decision-theoretic based. The results of our approach are characterized by high classification accuracy and they pave the way for more ML-based data-driven techniques that reveal more characteristics of the Tx.


title: On wedge-slamming pressures

abstract: The water entry of a wedge has become a model test in marine and naval engineering research. Wagner theory, originating in 1932, predicts impact pressures, and accounts for contributions to the total pressure arising from various flow domains in the vicinity of the wetting region on the wedge. Here we study the slamming of a wedge and a cone at a constant, well-controlled velocity throughout the impact event using high fidelity sensors. Pressures at two locations on the impactor are measured during and after impact. Pressure time series from the two impactors are discussed using inertial pressure and time scales. The non-dimensionalised pressure time series are compared to sensor-integrated averaged composite Wagner solutions (Zhao & Faltinsen 1993), Logvinovich (1969, 4.7), modified Logvinovich (Korobkin & Malenica 2005) and generalised Wagner models (Korobkin 2004). In addition, we provide an independent experimental justification of approximations made in the literature in extending the Wagner model to three-dimensions. The second part of the paper deals with pre-impact air cushioning -- an important concern since it is responsible for determining the thickness of air layer trapped upon impact. Using a custom-made technique we measure the air-water interface dynamics as it responds to the build up of pressure in the air layer intervening in between the impactor and the free surface. We show both experimentally and using two-fluid boundary integral (BI) simulations, that the pre-impact deflection of the interface due to air-cushioning is fully described by potential flow.


title: Neural Scene Graphs for Dynamic Scenes

abstract: Recent implicit neural rendering methods have demonstrated that it is possible to learn accurate view synthesis for complex scenes by predicting their volumetric density and color supervised solely by a set of RGB images. However, existing methods are restricted to learning efficient representations of static scenes that encode all scene objects into a single neural network, and lack the ability to represent dynamic scenes and decompositions into individual scene objects. In this work, we present the first neural rendering method that decomposes dynamic scenes into scene graphs. We propose a learned scene graph representation, which encodes object transformation and radiance, to efficiently render novel arrangements and views of the scene. To this end, we learn implicitly encoded scenes, combined with a jointly learned latent representation to describe objects with a single implicit function. We assess the proposed method on synthetic and real automotive data, validating that our approach learns dynamic scenes -- only by observing a video of this scene -- and allows for rendering novel photo-realistic views of novel scene compositions with unseen sets of objects at unseen poses.


title: Establishing Earth's Minimoon Population through Characterization of Asteroid 2020 CD$_3$

abstract: We report on our detailed characterization of Earth's second known temporary natural satellite, or minimoon, asteroid 2020 CD3. An artificial origin can be ruled out based on its area-to-mass ratio and broadband photometry, which suggest that it is a silicate asteroid belonging to the S or V complex in asteroid taxonomy. The discovery of 2020 CD3 allows for the first time a comparison between known minimoons and theoretical models of their expected physical and dynamical properties. The estimated diameter of 1.2+0.4-0.2 m and geocentric capture approximately a decade after the first known minimoon, 2006 RH120, are in agreement with theoretical predictions. The capture duration of 2020 CD3 of at least 2.7 yr is unexpectedly long compared to the simulation average, but it is in agreement with simulated minimoons that have close lunar encounters, providing additional support for the orbital models. 2020 CD3's atypical rotation period, significantly longer than theoretical predictions, suggests that our understanding of meter-scale asteroids needs revision. More discoveries and a detailed characterization of the population can be expected with the forthcoming Vera C. Rubin Observatory Legacy Survey of Space and Time.


title: Born Identity Network: Multi-way Counterfactual Map Generation to Explain a Classifier's Decision

abstract: There exists an apparent negative correlation between performance and interpretability of deep learning models. In an effort to reduce this negative correlation, we propose a Born Identity Network (BIN), which is a post-hoc approach for producing multi-way counterfactual maps. A counterfactual map transforms an input sample to be conditioned and classified as a target label, which is similar to how humans process knowledge through counterfactual thinking. For example, a counterfactual map can localize hypothetical abnormalities from a normal brain image that may cause it to be diagnosed with a disease. Specifically, our proposed BIN consists of two core components: Counterfactual Map Generator and Target Attribution Network. The Counterfactual Map Generator is a variation of conditional GAN which can synthesize a counterfactual map conditioned on an arbitrary target label. The Target Attribution Network provides adequate assistance for generating synthesized maps by conditioning a target label into the Counterfactual Map Generator. We have validated our proposed BIN in qualitative and quantitative analysis on MNIST, 3D Shapes, and ADNI datasets, and showed the comprehensibility and fidelity of our method from various ablation studies.


title: Machine learning and high-throughput robust design of P3HT-CNT composite thin films for high electrical conductivity

abstract: Combining high-throughput experiments with machine learning allows quick optimization of parameter spaces towards achieving target properties. In this study, we demonstrate that machine learning, combined with multi-labeled datasets, can additionally be used for scientific understanding and hypothesis testing. We introduce an automated flow system with high-throughput drop-casting for thin film preparation, followed by fast characterization of optical and electrical properties, with the capability to complete one cycle of learning of fully labeled ~160 samples in a single day. We combine regio-regular poly-3-hexylthiophene with various carbon nanotubes to achieve electrical conductivities as high as 1200 S/cm. Interestingly, a non-intuitive local optimum emerges when 10% of double-walled carbon nanotubes are added with long single wall carbon nanotubes, where the conductivity is seen to be as high as 700 S/cm, which we subsequently explain with high fidelity optical characterization. Employing dataset resampling strategies and graph-based regressions allows us to account for experimental cost and uncertainty estimation of correlated multi-outputs, and supports the proving of the hypothesis linking charge delocalization to electrical conductivity. We therefore present a robust machine-learning driven high-throughput experimental scheme that can be applied to optimize and understand properties of composites, or hybrid organic-inorganic materials.


title: Proof Theory for Intuitionistic Strong L\"ob Logic

abstract: This paper introduces two sequent calculi for intuitionistic strong L\"ob logic ${\sf iSL}_\Box$: a terminating sequent calculus ${\sf G4iSL}_\Box$ based on the terminating sequent calculus ${\sf G4ip}$ for intuitionistic propositional logic ${\sf IPC}$ and an extension ${\sf G3iSL}_\Box$ of the standard cut-free sequent calculus ${\sf G3ip}$ without structural rules for ${\sf IPC}$. One of the main results is a syntactic proof of the cut-elimination theorem for ${\sf G3iSL}_\Box$. In addition, equivalences between the sequent calculi and Hilbert systems for ${\sf iSL}_\Box$ are established. It is known from the literature that ${\sf iSL}_\Box$ is complete with respect to the class of intuitionistic modal Kripke models in which the modal relation is transitive, conversely well-founded and a subset of the intuitionistic relation. Here a constructive proof of this fact is obtained by using a countermodel construction based on a variant of ${\sf G4iSL}_\Box$. The paper thus contains two proofs of cut-elimination, a semantic and a syntactic proof.


title: Pricing in Integrated Heat and Power Markets

abstract: There is a growing interest in the integration of energy infrastructures to increase systems' flexibility and reduce operational costs. The most studied case is the synergy between electric and heating networks. Even though integrated heat and power markets can be described by a convex optimization problem, prices derived from dual values do not guarantee cost recovery. In this work, a two-step approach is presented for the calculation of the optimal energy dispatch and prices. The proposed methodology guarantees cost-recovery for each of the energy vectors and revenue-adequacy for the integrated market.


title: Fixed-Parameter Algorithms for Graph Constraint Logic

abstract: Non-deterministic constraint logic (NCL) is a simple model of computation based on orientations of a constraint graph with edge weights and vertex demands. NCL captures \PSPACE\xspace and has been a useful tool for proving algorithmic hardness of many puzzles, games, and reconfiguration problems. In particular, its usefulness stems from the fact that it remains \PSPACE-complete even under severe restrictions of the weights (e.g., only edge-weights one and two are needed) and the structure of the constraint graph (e.g., planar \textsc{and/or}\xspace graphs of bounded bandwidth). While such restrictions on the structure of constraint graphs do not seem to limit the expressiveness of NCL, the building blocks of the constraint graphs cannot be limited without losing expressiveness: We consider as parameters the number of weight-one edges and the number of weight-two edges of a constraint graph, as well as the number of \textsc{and}\xspace or \textsc{or}\xspace vertices of an \textsc{and/or}\xspace constraint graph. We show that NCL is fixed-parameter tractable (FPT) for any of these parameters. In particular, for NCL parameterized by the number of weight-one edges or the number of \textsc{and}\xspace vertices, we obtain a linear kernel. It follows that, in a sense, NCL as introduced by Hearn and Demaine is defined in the most economical way for the purpose of capturing \PSPACE.


title: Global hypersurfaces of section in the spatial restricted three-body problem

abstract: We propose a contact-topological approach to the spatial circular restricted three-body problem, for energies below and slightly above the first critical energy value. We prove the existence of a circle family of global hypersurfaces of section for the regularized dynamics. Below the first critical value, these hypersurfaces are diffeomorphic to the unit disk cotangent bundle of the $2$-sphere, and they carry symplectic forms on their interior, which are each deformation equivalent to the standard symplectic form. The boundary of the global hypersurface of section is an invariant set for the regularized dynamics that is equal to a level set of the Hamiltonian describing the regularized planar problem. The first return map is Hamiltonian, and restricts to the boundary as the time-$1$ map of a positive reparametrization of the Reeb flow in the planar problem. This construction holds for any choice of mass ratio, and is therefore non-perturbative. We illustrate the technique in the completely integrable case of the rotating Kepler problem, where the return map can be studied explicitly.


title: On a variant of Pillai's problem with transcendental numbers

abstract: In this paper, we study the asymptotic behaviour of the number of solutions $(m, n)\in \mathbb{N}^2$ to the inequality $ | \alpha^n - \beta^m | \leq x $ when $x$ tends to infinity. Here $\alpha, \beta$ are given multiplicatively independent complex numbers with $|\alpha| > 1$ and $|\beta|>1$.


title: Testing CP Properties of Extra Higgs States at the HL-LHC

abstract: Extra Higgs states appear in various scenarios beyond the current Standard Model of elementary particles. If discovered at the LHC or future colliders, the question will arise whether CP is violated or conserved in the extended scalar sector. An unambiguous probe of (indirect) CP violation would be the observation that one of the extra Higgs particles is an admixture of a CP-even and a CP-odd state. We discuss the possibility to discover scalar CP violation in this way at the high-luminosity (HL) phase of the LHC. We focus on the Two-Higgs Doublet Model of type I, where we investigate its currently allowed parameter region. Considering a benchmark point that is compatible with the current constraints but within reach of the HL-LHC, we study the prospects of determining the CP property of an extra neutral Higgs state $H$ via the angular distribution of final states in the decay $H \to \tau\bar\tau$. The analysis is performed at the reconstructed level, making use of a Boosted Decision Tree for efficient signal-background separation and a shape analysis for rejecting a purely CP-even or odd nature of $H$.


title: Challenging the Security of Logic Locking Schemes in the Era of Deep Learning: A Neuroevolutionary Approach

abstract: Logic locking is a prominent technique to protect the integrity of hardware designs throughout the integrated circuit design and fabrication flow. However, in recent years, the security of locking schemes has been thoroughly challenged by the introduction of various deobfuscation attacks. As in most research branches, deep learning is being introduced in the domain of logic locking as well. Therefore, in this paper we present SnapShot: a novel attack on logic locking that is the first of its kind to utilize artificial neural networks to directly predict a key bit value from a locked synthesized gate-level netlist without using a golden reference. Hereby, the attack uses a simpler yet more flexible learning model compared to existing work. Two different approaches are evaluated. The first approach is based on a simple feedforward fully connected neural network. The second approach utilizes genetic algorithms to evolve more complex convolutional neural network architectures specialized for the given task. The attack flow offers a generic and customizable framework for attacking locking schemes using machine learning techniques. We perform an extensive evaluation of SnapShot for two realistic attack scenarios, comprising both reference benchmark circuits as well as silicon-proven RISC-V core modules. The evaluation results show that SnapShot achieves an average key prediction accuracy of 82.60% for the selected attack scenario, with a significant performance increase of 10.49 percentage points compared to the state of the art. Moreover, SnapShot outperforms the existing technique on all evaluated benchmarks. The results indicate that the security foundation of common logic locking schemes is build on questionable assumptions. The conclusions of the evaluation offer insights into the challenges of designing future logic locking schemes that are resilient to machine learning attacks.


title: Efficient preparation of 2D defect-free atom arrays with near-fewest sorting-atom moves

abstract: Sorting atoms stochastically loaded in optical tweezer arrays via an auxiliary mobile tweezer is an efficient approach to preparing intermediate-scale defect-free atom arrays in arbitrary geometries. However, high filling fraction of atom-by-atom assemblers is impeded by redundant sorting moves with imperfect atom transport, especially for scaling the system size to larger atom numbers. Here, we propose a new sorting algorithm (heuristic cluster algorithm, HCA) which provides near-fewest moves in our tailored atom assembler scheme and experimentally demonstrate a $5\times6$ defect-free atom array with 98.4(7)$\%$ filling fraction for one rearrangement cycle. The feature of HCA that the number of moves $N_{m}\approx N$ ($N$ is the number of defect sites to be filled) makes the filling fraction uniform as the size of atom assembler enlarged. Our method is essential to scale hundreds of assembled atoms for bottom-up quantum computation, quantum simulation and precision measurement.


title: Activity-rotation in the dM4 star Gl 729. A possible chromospheric cycle

abstract: Recently, new debates about the role of layers of strong shear have emerged in stellar dynamo theory. Further information on the long-term magnetic activity of fully convective stars could help determine whether their underlying dynamo could sustain activity cycles similar to the solar one. We performed a thorough study of the short- and long-term magnetic activity of the young active dM4 star Gl 729. First, we analyzed long-cadence $K2$ photometry to characterize its transient events (e.g., flares) and global and surface differential rotation. Then, from the Mount Wilson $S$-indexes derived from CASLEO spectra and other public observations, we analyzed its long-term activity between 1998 and 2020 with four different time-domain techniques to detect cyclic patterns. Finally, we explored the chromospheric activity at different heights with simultaneous measurements of the H$\alpha$ and the Na I D indexes, and we analyzed their relations with the $S$-Index. We found that the cumulative flare frequency follows a power-law distribution with slope $\sim- 0.73$ for the range $10^{32}$ to $10^{34}$ erg. We obtained $P_{rot} = (2.848 \pm 0.001)$ days, and we found no evidence of differential rotation. We also found that this young active star presents a long-term activity cycle with a length of $\text{about four}$ years; there is less significant evidence of a shorter cycle of $0.8$ year. The star also shows a broad activity minimum between 1998 and 2004. We found a correlation between the S index, on the one hand, and the H$\alpha$ the Na I D indexes, on the other hand, although the saturation level of these last two indexes is not observed in the Ca lines. Because the maximum-entropy spot model does not reflect migration between active longitudes, this activity cycle cannot be explained by a solar-type dynamo. It is probably caused by an $\alpha^2$-dynamo.


title: Closed string disk amplitudes in the pure spinor formalism

abstract: We evaluate closed string disk amplitudes in the pure spinor formalism. We focus on low point functions (two- and one-point functions) but our analysis is also relevant for higher n-point functions. Amongst others we discuss issues arising due to the gauge fixing of the conformal Killing group of the disk and due to the zero mode prescription in the pure spinor formalism. As expected, in the end we find agreement with the known results from the RNS formalism.


title: Femtosecond Transfer and Manipulation of Persistent Hot-Trion Coherence in a Single CdSe/ZnSe Quantum Dot

abstract: Ultrafast transmission changes around the fundamental trion resonance are studied after exciting a p-shell exciton in a negatively charged II-VI quantum dot. The biexcitonic induced absorption reveals quantum beats between hot trion states at 133 GHz. While interband dephasing is dominated by relaxation of the P-shell hole within 390 fs, trionic coherence remains stored in the spin system for 85 ps due to Pauli blocking of the triplet electron. The complex spectro-temporal evolution of transmission is explained analytically by solving the Maxwell-Liouville equations. Pump and probe polarizations provide full control over amplitude and phase of the quantum beats.


title: Intrinsic Spatial Resolution Limit in Analyzer-Based X-Ray Phase Contrast Imaging Technique

abstract: Dynamical diffraction effects always play a role when working with perfect single crystals. The penetration of X-rays respect to the surface normal during diffraction (extinction depth, $1/\sigma_e$) in perfect single crystals does not have a constant value. The value changes for different angular positions on the crystal diffraction condition. For higher X-ray energies this value can change from few micrometers to tens of millimeters for each different crystal angular position in the small angular range of the diffraction condition. This effect may spread a single point in the object (sample) as a line in the image detector, especially if the crystal is set (or if the sample angularly deviates the beam) at lower diffraction angle positions, where the surface component of X-ray penetration can achieve huge values. Then, for imaging experiments where the dynamical diffraction occurs, such intrinsic property can affect the image resolution. We have modeled and experimentally checked such a dynamical diffraction property using, as example, an Analyzer-based X-ray phase contrast imaging setup (ABI) at two different X-ray energies: 10.7 keV and 18 keV. The results show that our theoretical model is consistent with the measured results. For higher energies the blur effect is enhanced and intrinsically limits the image spatial resolution.


title: Solving nonlinear differential equations with differentiable quantum circuits

abstract: We propose a quantum algorithm to solve systems of nonlinear differential equations. Using a quantum feature map encoding, we define functions as expectation values of parametrized quantum circuits. We use automatic differentiation to represent function derivatives in an analytical form as differentiable quantum circuits (DQCs), thus avoiding inaccurate finite difference procedures for calculating gradients. We describe a hybrid quantum-classical workflow where DQCs are trained to satisfy differential equations and specified boundary conditions. As a particular example setting, we show how this approach can implement a spectral method for solving differential equations in a high-dimensional feature space. From a technical perspective, we design a Chebyshev quantum feature map that offers a powerful basis set of fitting polynomials and possesses rich expressivity. We simulate the algorithm to solve an instance of Navier-Stokes equations, and compute density, temperature and velocity profiles for the fluid flow in a convergent-divergent nozzle.


title: Double Self-weighted Multi-view Clustering via Adaptive View Fusion

abstract: Multi-view clustering has been applied in many real-world applications where original data often contain noises. Some graph-based multi-view clustering methods have been proposed to try to reduce the negative influence of noises. However, previous graph-based multi-view clustering methods treat all features equally even if there are redundant features or noises, which is obviously unreasonable. In this paper, we propose a novel multi-view clustering framework Double Self-weighted Multi-view Clustering (DSMC) to overcome the aforementioned deficiency. DSMC performs double self-weighted operations to remove redundant features and noises from each graph, thereby obtaining robust graphs. For the first self-weighted operation, it assigns different weights to different features by introducing an adaptive weight matrix, which can reinforce the role of the important features in the joint representation and make each graph robust. For the second self-weighting operation, it weights different graphs by imposing an adaptive weight factor, which can assign larger weights to more robust graphs. Furthermore, by designing an adaptive multiple graphs fusion, we can fuse the features in the different graphs to integrate these graphs for clustering. Experiments on six real-world datasets demonstrate its advantages over other state-of-the-art multi-view clustering methods.


title: Affleck-Dine inflation in supergravity

abstract: Affleck-Dine inflation is a recently proposed model in which a single complex scalar field, nonminimally coupled to gravity, drives inflation and simultaneously generates the baryon asymmetry of universe via Affleck-Dine mechanism. In this paper we investigate the supersymmetric implementation of Affleck-Dine inflation in the use of two chiral superfields with appropriate superpotential and K\"ahler potential. The scalar potential has a similar form to the potential of original Affleck-Dine inflation, and it gives successful inflation and baryogenesis. We also consider the isocurvature perturbation evolving after crossing the horizon, and find that it is ignorable and hence consistent with the observations.


title: Probability bound analysis: A novel approach for quantifying parameter uncertainty in decision-analytic modeling and cost-effectiveness analysis

abstract: Decisions about health interventions are often made using limited evidence. Mathematical models used to inform such decisions often include uncertainty analysis to account for the effect of uncertainty in the current evidence base on decision-relevant quantities. However, current uncertainty quantification methodologies, including probabilistic sensitivity analysis (PSA), require modelers to specify a precise probability distribution to represent the uncertainty of a model parameter. This study introduces a novel approach for propagating parameter uncertainty, probability bounds analysis (PBA), where the uncertainty about the unknown probability distribution of a model parameter is expressed in terms of an interval bounded by lower and upper bounds on the unknown cumulative distribution function (p-box) and without assuming a particular form of the distribution function. We give the formulas of the p-boxes for common situations (given combinations of data on minimum, maximum, median, mean, or standard deviation), describe an approach to propagate p-boxes into a black-box mathematical model, and introduce an approach for decision-making based on the results of PBA. We demonstrate the characteristics and utility of PBA versus PSA using two case studies. In sum, this study provides modelers with practical tools to conduct parameter uncertainty quantification given the constraints of available data and with the fewest assumptions.


title: Homomorphisms relative to additive convolutions and max-convolutions: free, boolean and classical cases

abstract: We introduce new homomorphisms relative to additive convolutions and max-convolutions in free, boolean and classical cases. Crucial roles are played by the limit distributions for free multiplicative law of large numbers.


title: Modeling and Engineering Constrained Shortest Path Algorithms for Battery Electric Vehicles

abstract: We study the problem of computing constrained shortest paths for battery electric vehicles. Since battery capacities are limited, fastest routes are often infeasible. Instead, users are interested in fast routes on which the energy consumption does not exceed the battery capacity. For that, drivers can deliberately reduce speed to save energy. Hence, route planning should provide both path and speed recommendations. To tackle the resulting NP-hard optimization problem, previous work trades correctness or accuracy of the underlying model for practical running times. We present a novel framework to compute optimal constrained shortest paths (without charging stops) for electric vehicles that uses more realistic physical models, while taking speed adaptation into account. Careful algorithm engineering makes the approach practical even on large, realistic road networks: We compute optimal solutions in less than a second for typical battery capacities, matching the performance of previous inexact methods. For even faster query times, the approach can easily be extended with heuristics that provide high quality solutions within milliseconds.


title: Phase randomness in a gain-switched semiconductor laser: stochastic differential equation analysis

abstract: We performed theoretical analysis of the phase randomness in a gain-switched semiconductor laser in the context of its application as a quantum entropy source. Numerical simulations demonstrate that phase diffusion r.m.s. exhibits non-linear dependence on the bias current, which could be of significant practical importance, particularly, in application to high-speed optical quantum random number generators. It is shown that phase diffusion between laser pulses cannot always be assumed to exhibit required efficiency, particularly, at high pulse repetition rates. It was also revealed that the gain saturation significantly affects the r.m.s. value of the phase diffusion and, in essence, determines the degree of non-linearity of its dependence on the pump current.


title: WiFi-Based Channel Impulse Response Estimation and Localization via Multi-Band Splicing

abstract: Using commodity WiFi data for applications such as indoor localization, object identification and tracking and channel sounding has recently gained considerable attention. We study the problem of channel impulse response (CIR) estimation from commodity WiFi channel state information (CSI). The accuracy of a CIR estimation method in this setup is limited by both the available channel bandwidth as well as various CSI distortions induced by the underlying hardware. We propose a multi-band splicing method that increases channel bandwidth by combining CSI data across multiple frequency bands. In order to compensate for the CSI distortions, we develop a per-band processing algorithm that is able to estimate the distortion parameters and remove them to yield the "clean" CSI. This algorithm incorporates the atomic norm denoising sparse recovery method to exploit channel sparsity. Splicing clean CSI over M frequency bands, we use orthogonal matching pursuit (OMP) as an estimation method to recover the sparse CIR with high (M-fold) resolution. Unlike previous works in the literature, our method does not appeal to any limiting assumption on the CIR (other than the widely accepted sparsity assumption) or any ad hoc processing for distortion removal. We show, empirically, that the proposed method outperforms the state of the art in terms of localization accuracy.


title: Minimal Prime Graphs of Solvable Groups

abstract: We explore graph theoretical properties of minimal prime graphs of finite solvable groups. In finite group theory studying the prime graph of a group has been an important topic for the past almost half century. Recently prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs with methods from graph theory only. Minimal prime graphs turn out to be of particular interest, and in this paper we pursue this further by exploring, among other things, diameters, Hamiltonian cycles and the property of being self-complementary for minimal prime graphs. We also study a new, but closely related notion of minimality for prime graphs and look into counting minimal prime graphs.


title: A Remote Carrier Synchronization Technique for Coherent Distributed Remote Sensing Systems

abstract: Phase, frequency, and time synchronization are crucial requirements for many applications, such as multi-static remote sensing and communication systems. Moreover, the synchronization solution becomes even more challenging when the nodes are orbiting or flying on airborne or spaceborne platforms. This paper compares the available technologies used for the synchronization and coordination of nodes in distributed remote sensing applications. Additionally, this paper proposes a general system model and identifies preliminary guidelines and critical elements for implementing the synchronization mechanisms exploiting the inter-satellite communication link. The distributed phase synchronization loop introduced in this work deals with the self-interference in a full-duplex point to point scenario by transmitting two carriers at each node. All carriers appear with different frequency offsets around a central frequency, called the application central-frequency or the beamforming frequency. This work includes a detailed analysis of the proposed algorithm and the required simulations to verify its performance for different phase noise, AWGN, and Doppler shift scenarios.


title: Attoampere Nanoelectrochemistry

abstract: Local electrochemical measurements and imaging at the nanoscale are crucial for the future development of molecular devices, sensors, materials engineering, electrophysiology and various energy applications from artificial photosynthesis to batteries. The ultimate step towards single-molecule sensitivity requires the measurement of aA currents, which is three orders of magnitude below that of current state-of-the-art measurement abilities. Here, we show electrochemical measurements at the sub aA level and <80 nm spatial resolution, that we reach by exploiting the ultra-high sensitivity of our GHz microscope for local faradaic interface capacitances. We demonstrate this for a well-known surface-bound ferrocene alkyl monolayer, a system that cannot be studied at the nanoscale unless large nanoarrays are used11. We report the simultaneous measurement of local cyclic voltammograms (CV) which provide atomistic information on the respective electron transfer reaction and reveal two molecular configurations with a similar redox energy potential -- insights inaccessible by electrochemical ensemble measurements.


title: Cost-effective Variational Active Entity Resolution

abstract: Accurately identifying different representations of the same real-world entity is an integral part of data cleaning and many methods have been proposed to accomplish it. The challenges of this entity resolution task that demand so much research attention are often rooted in the task-specificity and user-dependence of the process. Adopting deep learning techniques has the potential to lessen these challenges. In this paper, we set out to devise an entity resolution method that builds on the robustness conferred by deep autoencoders to reduce human-involvement costs. Specifically, we reduce the cost of training deep entity resolution models by performing unsupervised representation learning. This unveils a transferability property of the resulting model that can further reduce the cost of applying the approach to new datasets by means of transfer learning. Finally, we reduce the cost of labelling training data through an active learning approach that builds on the properties conferred by the use of deep autoencoders. Empirical evaluation confirms the accomplishment of our cost-reduction desideratum while achieving comparable effectiveness with state-of-the-art alternatives.


title: Smart obervation method with wide field small aperture telescopes for real time transient detection

abstract: Wide field small aperture telescopes (WFSATs) are commonly used for fast sky survey. Telescope arrays composed by several WFSATs are capable to scan sky several times per night. Huge amount of data would be obtained by them and these data need to be processed immediately. In this paper, we propose ARGUS (Astronomical taRGets detection framework for Unified telescopes) for real-time transit detection. The ARGUS uses a deep learning based astronomical detection algorithm implemented in embedded devices in each WFSATs to detect astronomical targets. The position and probability of a detection being an astronomical targets will be sent to a trained ensemble learning algorithm to output information of celestial sources. After matching these sources with star catalog, ARGUS will directly output type and positions of transient candidates. We use simulated data to test the performance of ARGUS and find that ARGUS can increase the performance of WFSATs in transient detection tasks robustly.

categories: astro-ph.IM astro-ph.GA astro-ph.SR cs.CV


title: Floquet engineering of low-energy dispersions and dynamical localization in a periodically kicked three-band system

abstract: Much having learned about Floquet dynamics of pseudospin-$1/2$ system namely, graphene, we here address the stroboscopic properties of a periodically kicked {three-band fermionic system such as $\alpha$-T$_3$ lattice. This particular model provides an interpolation between graphene and dice lattice via the continuous tuning of the parameter $\alpha$ from 0 to 1.} In the case of dice lattice ($\alpha=1$), we reveal that one can, in principle, engineer various types of low energy dispersions around some specific points in the Brillouin zone by tuning the kicking parameter in the Hamiltonian along a particular direction. Our analytical analysis shows that one can experience different quasienergy dispersions for example, Dirac type, semi-Dirac type, gapless line, absolute flat quasienergy bands, depending on the specific values of the kicking parameter. Moreover, we numerically study the dynamics of a wave packet in dice lattice. The quasienergy dispersion allows us to understand the instantaneous structure of wave packet at stroboscopic times. We find a situation where absolute flat quasienergy bands lead to a complete dynamical localization of the wave packet. {Aditionally, we calculate the quasienergy spectrum numerically for $\alpha$-T$_3$ lattice. A periodic kick in a perpendicular (planar) direction breaks (preserves) the particle-hole symmetry for $0<\alpha<1$. Furthermore, it is also revealed that the dynamical localization of wave packet does not occur at any intermediate $\alpha \ne 0,\,1$.}


title: A criterion for the existence of logarithmic connections on curves over a perfect field

abstract: Let $k$ be a perfect field, and $X$ an irreducible smooth projective curve over $k$. We give a criterion for a vector bundle over $X$ to admit a logarithmic connection singular over a finite subset of $X$ with given residues, where residues are assumed to be rigid.


title: An Adaptive Phase-Amplitude Reduction Framework Without $\mathcal{O}(\epsilon)$ Constraints on Inputs

abstract: Phase reduction is a well-established technique used to analyze the timing of oscillations in response to weak external inputs. In the preceding decades, a wide variety of results have been obtained for weakly perturbed oscillators that place restrictive limits on the magnitude of the inputs or on the magnitude of the time derivatives of the inputs. By contrast, no general reduction techniques currently exist to analyze oscillatory dynamics in response to arbitrary, large magnitude inputs and comparatively very little is understood about these strongly perturbed limit cycle oscillators. In this work, the theory of isostable reduction is leveraged to develop an adaptive phase-amplitude transformation that does not place any restrictions on the allowable input. Additionally, provided some of the Floquet multipliers of the underlying periodic orbits are near-zero, the proposed method yields a reduction in dimension comparable to that of other phase-amplitude reduction frameworks. Numerical illustrations show that the proposed method accurately reflects synchronization and entrainment of coupled oscillators in regimes where a variety of other phase-amplitude reductions fail.


title: Distinguishing trivial and topological zero energy states in long nanowire junctions

abstract: The emergence of zero energy states in non-topological superconductors represents an inevitable problem that obscures the proper identification of zero energy Majorana bound states (MBSs) and prevents their use as topologically protected qubits. In this Research Letter we investigate long superconductor-normal-superconductor junctions where trivial zero energy states, robust over a large range of parameters, appear as a result of helicity and confinement in the normal region. We demonstrate that both equilibrium supercurrents and critical currents are sensitive to variations in the length of the superconductor regions in the topological phase hosting MBSs, but, remarkably, no such length dependence exists when robust, but trivial, zero energy states are present. This strikingly different response originates from the non-local nature of the MBSs and we, therefore, propose it as a simple protocol for distinguishing between trivial and topological zero energy states.


title: Detection of the Geminga pulsar with MAGIC hints at a power-law tail emission beyond 15 GeV

abstract: We report the detection of pulsed gamma-ray emission from the Geminga pulsar (PSR J0633+1746) between $15\,$GeV and $75\,$GeV. This is the first time a middle-aged pulsar has been detected up to these energies. Observations were carried out with the MAGIC telescopes between 2017 and 2019 using the low-energy threshold Sum-Trigger-II system. After quality selection cuts, $\sim 80\,$hours of observational data were used for this analysis. To compare with the emission at lower energies below the sensitivity range of MAGIC, $11$ years of Fermi-LAT data above $100\,$MeV were also analysed. From the two pulses per rotation seen by Fermi-LAT, only the second one, P2, is detected in the MAGIC energy range, with a significance of $6.3\,\sigma$. The spectrum measured by MAGIC is well-represented by a simple power law of spectral index $\Gamma= 5.62\pm0.54$, which smoothly extends the Fermi-LAT spectrum. A joint fit to MAGIC and Fermi-LAT data rules out the existence of a sub-exponential cut-off in the combined energy range at the $3.6\,\sigma$ significance level. The power-law tail emission detected by MAGIC is interpreted as the transition from curvature radiation to Inverse Compton Scattering of particles accelerated in the northern outer gap.


title: Torsion models for tensor-triangulated categories: the one-step case

abstract: Given a suitable stable monoidal model category $\mathscr{C}$ and a specialization closed subset $V$ of its Balmer spectrum one can produce a Tate square for decomposing objects into the part supported over $V$ and the part supported over $V^c$ spliced with the Tate object. Using this one can show that $\mathscr{C}$ is Quillen equivalent to a model built from the data of local torsion objects, and the splicing data lies in a rather rich category. As an application, we promote the torsion model for the homotopy category of rational circle-equivariant spectra from [18] to a Quillen equivalence. In addition, a close analysis of the one step case highlights important features needed for general torsion models which we will return to in future work.


title: Computation and application of generalized linear mixed model derivatives using lme4

abstract: Maximum likelihood estimation of generalized linear mixed models(GLMMs) is difficult due to marginalization of the random effects. Computing derivatives of a fitted GLMM's likelihood (with respect to model parameters) is also difficult, especially because the derivatives are not by-products of popular estimation algorithms. In this paper, we describe GLMM derivatives along with a quadrature method to efficiently compute them, focusing on lme4 models with a single clustering variable. We describe how psychometric results related to IRT are helpful for obtaining these derivatives, as well as for verifying the derivatives' accuracies. After describing the derivative computation methods, we illustrate the many possible uses of these derivatives, including robust standard errors, score tests of fixed effect parameters, and likelihood ratio tests of non-nested models. The derivative computation methods and applications described in the paper are all available in easily-obtained R packages.


title: Vibrational dynamics of non-crystalline solids

abstract: The boson peak (BP) is an excess of vibrational states over the Debye law appearing at terahertz frequencies. It is found in all glasses and marks the crossover between the long-wavelength behavior, where the solid can be considered as an isotropic continuum, and the region where the wavelength of the sound wave starts to experience the microscopic details of the structure. This chapter is devoted to a review of the main experimental observations regarding the vibrational dynamics of amorphous solids, as detected by neutron and X-ray scattering techniques. A first part of the chapter is devoted to the measurements of the BP and its evolution as a function of external parameters, such as temperature, pressure, or density. The second part of the chapter reviews the wavevector evolution of the dynamic structure factor, which provides evidence of a pseudo-acoustic propagating mode up to frequencies comparable to those of the BP. This longitudinal mode has a sound attenuation which follows the Rayleigh scattering law and a negative dispersion that can partially explain the deviation from the Debye law. At higher frequencies, the inelastic spectrum presents a complex pattern of vibrations, with evidences of two peaks in various systems. To conclude, we will highlight the information that can be gained on the nature of the glass vibrational modes from a comparison with the dynamics of the corresponding polycrystal.


title: Controlled turbulence regime of electron cyclotron resonance ion source for improved multicharged ion performance

abstract: Fundamental studies of excitation and non-linear evolution of kinetic instabilities of strongly nonequlibrium hot plasmas confined in open magnetic traps suggest new opportunities for fine-tuning of conventional electron cyclotron resonance (ECR) ion sources. These devices are widely used for the production of particle beams of high charge state ions. Operating the ion source in controlled turbulence regime allows increasing the absorbed power density and therefore the volumetric plasma energy content in the dense part of the discharge surrounded by the ECR surface, which leads to enhanced beam currents of high charge state ions. We report experiments at the ECR ion source at the JYFL accelerator laboratory, in which adopting of a new approach allows to increase the multicharged ion beam current up to two times, e.g. to 95 $\mu$A of O$^{7+}$ achieved with mere 280 W power at 11.56 GHz. A theoretical model supporting and explaining the experimental findings is presented. The study suggests that the controlled turbulence regime has the potential to enhance the beam currents of modern high-performance ion sources, including state-of-the-art superconducting devices.


title: The interaction between shocks and plasma turbulence: phase space transport

abstract: The interaction of collisionless shocks with fully developed plasma turbulence is numerically investigated. Hybrid kinetic simulations, where a turbulent jet is slammed against an oblique shock, are employed to address the role of upstream turbulence on plasma transport. A novel technique, using coarse-graining of the Vlasov equation, is proposed, showing that the transport properties strongly depend on upstream turbulence strength, with turbulent structures-modulated patterns. These results might be relevant for the understanding of acceleration and heating processes in space plasmas.


title: Neutron scattering by magnetic octupoles of a quantum liquid

abstract: Neutron scattering is a powerful tool to study magnetic structures and dynamics, benefiting from a precisely established theoretical framework. The neutron dipole moment interacts with electrons in materials via their magnetic field, which can have spin and orbital origins. Yet in most experimentally studied cases the individual degrees of freedom are well described within the dipole approximation, sometimes accompanied by further terms of a multipolar expansion that usually act as minor corrections to the dipole form factor. Here we report a unique example of neutrons diffracted mainly by magnetic octupoles. This unusual situation arises in a quantum spin ice where the electronic wavefunction becomes essentially octupolar under the effect of correlations. The discovery of such a new type of quantum spin liquid that comes with a specific experimental signature in neutron scattering is remarkable, because these topical states of matter are notoriously difficult to detect.


title: Control of charge state of dopants in insulating crystals: Case study of Ti-doped sapphire

abstract: We study mechanisms of control of charge state and concentration of different point defects in doped insulating crystals. The approach is based on the density functional theory calculations. We apply it to the problem of obtaining of Ti-doped sapphire crystals with high figure-of-merit (FOM). The FOM of a given sample is defined as the ratio of the coefficient of absorption at the pump frequency to the coefficient of absorption at the working frequency of Ti:sapphire laser. It is believed that FOM is proportional to the ratio of the concentration of isolated Ti$^{3+}$ ions to the concentration of Ti$^{3+}$-Ti$^{4+}$ pairs. We find that generally this ratio is in inverse proportion to the concentration of Ti$^{4+}$ isolated substitutional defects with the coefficient of proportionality that depends on the temperature at which the thermodynamically equilibrium concentration of defects is reached. We argue that in certain cases the inverse proportion between concentrations of Ti$^{3+}$-Ti$^{4+}$ and Ti$^{4+}$ may be violated. We show that codopants that form positively (negatively) charged defects may decrease (increase) the concentration of positively charged defects formed by the main dopants. To evaluate the effect of codoping it is important to take into account not only isolated defects but defect complexes formed by codopants, as well. In particular, we show that codoping of Ti:sapphire with nitrogen results in an essential increase of the concentration of Ti$^{4+}$ and in a decrease of the FOM, and, consequently, growth or annealing in the presence of nitrogen or its compounds is unfavorable for producing Ti:sapphire laser crystals. The approach developed can be used for determining appropriate growth and annealing conditions for obtaining doped crystals with the required characteristics.


title: On the pumping of the CS($v=0$) masers in W51 e2e

abstract: We present the results of numerically solving the rate equations for the first 31 rotational states of CS in the ground vibrational state to determine the conditions under which the J=1-0, J=2-1 and J=3-2 transitions are inverted to produce maser emission. The essence of our results is that the CS($v=0$) masers are collisionally pumped and that, depending on the spectral energy distribution, dust emission can suppress the masers. Apart from the J=1-0 and J=2-1 masers the calculations also show that the J=3-2 transition can be inverted to produce maser emission. It is found that beaming is necessary to explain the observed brightness temperatures of the recently discovered CS masers in W51 e2e. The model calculations suggest that a CS abundance of a few times $10^{-5}$ and CS($v=0$) column densities of the order $10^{16}\,\mathrm{cm^{-2}}$ are required for these masers. The rarity of the CS masers in high mass star forming regions might be the result of a required high CS abundance as well as due to attenuation of the maser emission inside as well as outside of the hot core.