title: Refined Enumeration of Halved Monotone Triangles and Applications to Vertically Symmetric Alternating Sign Trapezoids

abstract: Halved monotone triangles are a generalisation of vertically symmetric alternating sign matrices (VSASMs). We provide a weighted enumeration of halved monotone triangles with respect to a parameter which generalises the number of $-1$s in a VSASM. Among other things, this enables us to establish a generating function for vertically symmetric alternating sign trapezoids. Our results are mainly presented in terms of constant term expressions. For the proofs, we exploit Fischer's method of operator formulae as a key tool.


title: Velocity bias and the nonlinear perturbation theory of peaks

abstract: The biasing in the large-scale structure of the universe is a crucial problem in cosmological applications. The peaks model of biasing predicts a linear velocity bias of halos, which is not present in a simple model of local bias. We investigate the origin of the velocity bias in the peaks model from the viewpoint of the integrated perturbation theory, which is a nonlinear perturbation theory in the presence of general Lagrangian bias. The presence of the velocity bias in the peaks model is a consequence of the "flat constraint," ${\nabla}\delta = 0$; i.e., all the first spatial derivatives should vanish at the locations of peaks. We show that the velocity bias in the peaks model is systematically derived in the framework of the integrated perturbation theory, and then develop a formal theory to perturbatively trace the nonlinear evolution of biased objects with the flat constraint. A formula for the nonlinear velocity dispersion of peaks with the one-loop approximation is also derived.


title: Summary of the NuSTEC Workshop on Shallow- and Deep-Inelastic Scattering

abstract: The NuSTEC workshop (https://indico.cern.ch/event/727283) held at L'Aquila in October 2018 was devoted to neutrino-nucleus scattering in the kinematic region where hadronic systems with invariant masses above the $\Delta(1232)$ resonance are produced: the so-called shallow- and deep-inelastic scattering regime. Not only is the physics in this kinematic region quite intriguing, it is also important for current and future oscillation experiments with accelerator and atmospheric neutrinos. For the benefit of the community, links to the presentations are accompanied by annotations from the speakers.


title: Nonsmooth Composite Matrix Optimization: Strong Regularity, Constraint Nondegeneracy and Beyond

abstract: The nonsmooth composite matrix optimization problem (CMatOP), in particular, the matrix norm minimization problem, is a generalization of the matrix conic programming problem with wide applications in numerical linear algebra, computational statistics and engineering. This paper is devoted to the characterization of the strong regularity for the CMatOP via the generalized strong second order sufficient condition and constraint nondegeneracy for problems with nonsmooth objective functions. The derived result supplements the existing characterization of the strong regularity for the constrained optimization problems with twice continuously differentiable data.


title: An extension of $U(\mathfrak{gl}_n)$ related to the alternating group and Galois orders

abstract: In 2010, V. Futorny and S. Ovsienko gave a realization of $U(\mathfrak{gl}_n)$ as a subalgebra of the ring of invariants of a certain noncommutative ring with respect to the action of $S_1\times S_2\times\cdots\times S_n$, where $S_j$ is the symmetric group on $j$ variables. An interesting question is what a similar algebra would be in the invariant ring with respect to a product of alternating groups. In this paper we define such an algebra, denoted $\mathscr{A}(\mathfrak{gl}_n)$, and show that it is a Galois ring. For $n=2$, we show that it is a generalized Weyl algebra, and for $n=3$ provide generators and a list of verified relations. We also discuss some techniques to construct Galois orders from Galois rings. Additionally, we study categories of finite-dimensional modules and generic Gelfand-Tsetlin modules over $\mathscr{A}(\mathfrak{gl}_n)$. Finally, we discuss connections between the Gelfand-Kirillov Conjecture, $\mathscr{A}(\mathfrak{gl}_n)$, and the positive solution to Noether's problem for the alternating group.


title: Landmark Detection in Low Resolution Faces with Semi-Supervised Learning

abstract: Landmark detection algorithms trained on high resolution images perform poorly on datasets containing low resolution images. This deters the performance of algorithms relying on quality landmarks, for example, face recognition. To the best of our knowledge, there does not exist any dataset consisting of low resolution face images along with their annotated landmarks, making supervised training infeasible. In this paper, we present a semi-supervised approach to predict landmarks on low resolution images by learning them from labeled high resolution images. The objective of this work is to show that predicting landmarks directly on low resolution images is more effective than the current practice of aligning images after rescaling or superresolution. In a two-step process, the proposed approach first learns to generate low resolution images by modeling the distribution of target low resolution images. In the second stage, the roles of generated images and real low resolution images are switched and the model learns to predict landmarks for real low resolution images from generated low resolution images. With extensive experimentation, we study the impact of each of the design choices and also show that prediction of landmarks directly on low resolution images improves the performance of important tasks such as face recognition in low resolution images.


title: MBM classes and contraction loci on low-dimensional hyperkahler manifolds of K3 type

abstract: An MBM locus on a hyperkahler manifold is the union of all deformations of a minimal rational curve with negative self-intersection. MBM loci can be equivalently defined as centers of bimeromorphic contractions. It was shown that the MBM loci on deformation equivalent hyperkahler manifolds are diffeomorphic. We determine the MBM loci on a hyperkahler manifold of K3-type of low dimension using a deformation to a Hilbert scheme of a non-algebraic K3 surface.


title: Optimizing Multi-GPU Parallelization Strategies for Deep Learning Training

abstract: Deploying deep learning (DL) models across multiple compute devices to train large and complex models continues to grow in importance because of the demand for faster and more frequent training. Data parallelism (DP) is the most widely used parallelization strategy, but as the number of devices in data parallel training grows, so does the communication overhead between devices. Additionally, a larger aggregate batch size per step leads to statistical efficiency loss, i.e., a larger number of epochs are required to converge to a desired accuracy. These factors affect overall training time and beyond a certain number of devices, the speedup from leveraging DP begins to scale poorly. In addition to DP, each training step can be accelerated by exploiting model parallelism (MP). This work explores hybrid parallelization, where each data parallel worker is comprised of more than one device, across which the model dataflow graph (DFG) is split using MP. We show that at scale, hybrid training will be more effective at minimizing end-to-end training time than exploiting DP alone. We project that for Inception-V3, GNMT, and BigLSTM, the hybrid strategy provides an end-to-end training speedup of at least 26.5%, 8%, and 22% respectively compared to what DP alone can achieve at scale.


title: Incremental causal effects

abstract: Causal evidence is needed to act and it is often enough for the evidence to point towards a direction of the effect of an action. For example, policymakers might be interested in estimating the effect of slightly increasing taxes on private spending across the whole population. We study identifiability and estimation of causal effects, where a continuous treatment is slightly shifted across the whole population (termed average partial effect or incremental causal effect). We show that incremental effects are identified under local ignorability and local overlap assumptions, where exchangeability and positivity only hold in a neighborhood of units. Average treatment effects are not identified under these assumptions. In this case, and under a smoothness condition, the incremental effect can be estimated via the average derivative. Moreover, we prove that in certain finite-sample observational settings, estimating the incremental effect is easier than estimating the average treatment effect in terms of asymptotic variance. For high-dimensional settings, we develop a simple feature transformation that allows for doubly-robust estimation and inference of incremental causal effects. Finally, we compare the behaviour of estimators of the incremental treatment effect and average treatment effect in experiments including data-inspired simulations.


title: On the rigidity of certain Pham-Brieskorn rings

abstract: Fix a field $k$ of characteristic zero. If $a_1, ..., a_n$ ($n>2$) are positive integers, the integral domain $B = k[X_1, ..., X_n] / ( X_1^{a_1} + ... + X_n^{a_n} )$ is called a Pham-Brieskorn ring. It is conjectured that if $a_i > 1$ for all $i$ and $a_i=2$ for at most one $i$, then $B$ is rigid. (A ring $B$ is said to be rigid if the only locally nilpotent derivation $D: B \to B$ is the zero derivation.) We give partial results towards the conjecture.


title: What should I document? A preliminary systematic mapping study into API documentation knowledge

abstract: Background: Good API documentation facilities the development process, improving productivity and quality. While the topic of API documentation quality has been of interest for the last two decades, there have been few studies to map the specific constructs needed to create a good document. In effect, we still need a structured taxonomy against which to capture knowledge. Aims: This study reports emerging results of a systematic mapping study. We capture key conclusions from previous studies that assess API documentation quality, and synthesise the results into a single framework. Method: By conducting a systematic review of 21 key works, we have developed a five dimensional taxonomy based on 34 categorised weighted recommendations. Results: All studies utilise field study techniques to arrive at their recommendations, with seven studies employing some form of interview and questionnaire, and four conducting documentation analysis. The taxonomy we synthesise reinforces that usage description details (code snippets, tutorials, and reference documents) are generally highly weighted as helpful in API documentation, in addition to design rationale and presentation. Conclusions: We propose extensions to this study aligned to developer's utility for each of the taxonomy's categories.


title: Robust Autocalibrated Structured Low-Rank EPI Ghost Correction

abstract: Purpose: We propose and evaluate a new structured low-rank method for EPI ghost correction called Robust Autocalibrated LORAKS (RAC-LORAKS). The method can be used to suppress EPI ghosts arising from the differences between different readout gradient polarities and/or the differences between different shots. It does not require conventional EPI navigator signals, and is robust to imperfect autocalibration data. Methods: Autocalibrated LORAKS is a previous structured low-rank method for EPI ghost correction that uses GRAPPA-type autocalibration data to enable high-quality ghost correction. This method works well when the autocalibration data is pristine, but performance degrades substantially when the autocalibration information is imperfect. RAC-LORAKS generalizes Autocalibrated LORAKS in two ways. First, it does not completely trust the information from autocalibration data, and instead considers the autocalibration and EPI data simultaneously when estimating low-rank matrix structure. And second, it uses complementary information from the autocalibration data to improve EPI reconstruction in a multi-contrast joint reconstruction framework. RAC-LORAKS is evaluated using simulations and in vivo data, including comparisons to state-of-the-art methods. Results: RAC-LORAKS is demonstrated to have good ghost elimination performance compared to state-of-the-art methods in several complicated EPI acquisition scenarios (including gradient-echo brain imaging, diffusion-encoded brain imaging, and cardiac imaging). Conclusion: RAC-LORAKS provides effective suppression of EPI ghosts and is robust to imperfect autocalibration data.


title: Magnetization Transfer in Magnetic Resonance Fingerprinting

abstract: Purpose: To study the effects of magnetization transfer (MT, in which a semisolid spin pool interacts with the free pool), in the context of magnetic resonance fingerprinting (MRF). Methods: Simulations and phantom experiments were performed to study the impact of MT on the MRF signal and its potential influence on T1 and T2 estimation. Subsequently, an MRF sequence implementing off-resonance MT pulses and a dictionary with an MT dimension by incorporating a two-pool model were used to estimate the fractional pool size in addition to the B1+, T1, and T2 values. The proposed method was evaluated in the human brain. Results: Simulations and phantom experiments showed that an MRF signal obtained from a cross-linked bovine serum sample is influenced by MT. Using a dictionary based on an MT model, a better match between simulations and acquired MR signals can be obtained (NRMSE 1.3% versus 4.7%). Adding off-resonance MT pulses can improve the differentiation of MT from T1 and T2. In-vivo results showed that MT affects the MRF signals from white matter (fractional pool-size ~16%) and gray matter (fractional pool-size ~10%). Furthermore, longer T1 (~1060 ms versus ~860 ms) and T2 values (~47 ms versus ~35 ms) can be observed in white matter if MT is accounted for. Conclusion: Our experiments demonstrated a potential influence of MT on the quantification of T1 and T2 with MRF. A model that encompasses MT effects can improve the accuracy of estimated relaxation parameters and allows quantification of the fractional pool size.


title: Computing Abstract Distances in Logic Programs

abstract: Abstract interpretation is a well-established technique for performing static analyses of logic programs. However, choosing the abstract domain, widening, fixpoint, etc. that provides the best precision-cost trade-off remains an open problem. This is in a good part because of the challenges involved in measuring and comparing the precision of different analyses. We propose a new approach for measuring such precision, based on defining distances in abstract domains and extending them to distances between whole analyses of a given program, thus allowing comparing precision across different analyses. We survey and extend existing proposals for distances and metrics in lattices or abstract domains, and we propose metrics for some common domains used in logic program analysis, as well as extensions of those metrics to the space of whole program analysis. We implement those metrics within the CiaoPP framework and apply them to measure the precision of different analyses over both benchmarks and a realistic program.


title: Distributed Streaming Analytics on Large-scale Oceanographic Data using Apache Spark

abstract: Real-world data from diverse domains require real-time scalable analysis. Large-scale data processing frameworks or engines such as Hadoop fall short when results are needed on-the-fly. Apache Spark's streaming library is increasingly becoming a popular choice as it can stream and analyze a significant amount of data. In this paper, we analyze large-scale geo-temporal data collected from the USGODAE (United States Global Ocean Data Assimilation Experiment) data catalog, and showcase and assess the ability of Spark stream processing. We measure the latency of streaming and monitor scalability by adding and removing nodes in the middle of a streaming job. We also verify the fault tolerance by stopping nodes in the middle of a job and making sure that the job is rescheduled and completed on other nodes. We design a full-stack application that automates data collection, data processing and visualizing the results. We also use Google Maps API to visualize results by color coding the world map with values from various analytics.


title: Logic-based Benders Decomposition and Binary Decision Diagram Based Approaches for Stochastic Distributed Operating Room Scheduling

abstract: The distributed operating room (OR) scheduling problem aims to find an assignment of surgeries to ORs across collaborating hospitals that share their waiting lists and ORs. We propose a stochastic extension of this problem where surgery durations are considered to be uncertain. In order to obtain solutions for the challenging stochastic model, we use sample average approximation, and develop two enhanced decomposition frameworks that use logic-based Benders (LBBD) optimality cuts and binary decision diagram based Benders cuts. Specifically, to the best of our knowledge, deriving LBBD optimality cuts in a stochastic programming context is new to the literature. Our computational experiments on a hospital dataset illustrate that the stochastic formulation generates robust schedules, and that our algorithms improve the computational efficiency.


title: PrecoderNet: Hybrid Beamforming for Millimeter Wave Systems with Deep Reinforcement Learning

abstract: In this letter, we investigate the hybrid beamforming for millimeter wave massive multiple-input multiple-output (MIMO) system based on deep reinforcement learning (DRL). Imperfect channel state information (CSI) is assumed to be available at the base station (BS). To achieve high spectral efficiency with low time consumption, we propose a novel DRL-based method called PrecoderNet to design the digital precoder and analog combiner. The DRL agent takes the digital beamformer and analog combiner of the previous learning iteration as state, and these matrices of current learning iteration as action. Simulation results demonstrate that the PrecoderNet performs well in spectral efficiency, bit error rate (BER), as well as time consumption, and is robust to the CSI imperfection.


title: X-ray Monitoring of the Magnetar CXOU J171405.7-381031 in SNR CTB 37B

abstract: We present the results of our 8 year X-ray monitoring campaign on CXOU J171405.7-381031, the magnetar associated with the faint supernova remnant (SNR) CTB 37B. It is among the youngest by inferred spin-down age, and most energetic in spin-down power of magnetars, and may contribute, at least partially, to the GeV and TeV emission coincident with the SNR. We use a series of Chandra, XMM-Newton, and NuSTAR observations to characterize the timing and spectral properties of the magnetar. The spin-down rate of the pulsar almost doubled in <1 year and then decreased slowly to a more stable value. Its X-ray flux varied by approx, 50%, possibly correlated with the spin down rate. The 1-79 keV spectrum is well-characterized by an absorbed blackbody plus power-law model with an average temperature of kT=0.62+/-0.04 keV and photon index Gamma=0.92+/-0.16, or by a Comptonized blackbody with kT=0.55+/-0.04 keV and an additional hard power law with Gamma=0.70+/-0.20, In contrast with most magnetars, the pulsed signal is found to decrease with energy up to 6 keV, which is apparently caused by mixing with the hard spectral component that is pulse-phase shifted by approx. 0.43 cycles from the soft X-rays. We also analyze the spectrum of the nearby, diffuse nonthermal source XMMU J171410.8-381442, whose relation to the SNR is uncertain.


title: EMPNet: Neural Localisation and Mapping Using Embedded Memory Points

abstract: Continuously estimating an agent's state space and a representation of its surroundings has proven vital towards full autonomy. A shared common ground among systems which successfully achieve this feat is the integration of previously encountered observations into the current state being estimated. This necessitates the use of a memory module for incorporating previously visited states whilst simultaneously offering an internal representation of the observed environment. In this work we develop a memory module which contains rigidly aligned point-embeddings that represent a coherent scene structure acquired from an RGB-D sequence of observations. The point-embeddings are extracted using modern convolutional neural network architectures, and alignment is performed by computing a dense correspondence matrix between a new observation and the current embeddings residing in the memory module. The whole framework is end-to-end trainable, resulting in a recurrent joint optimisation of the point-embeddings contained in the memory. This process amplifies the shared information across states, providing increased robustness and accuracy. We show significant improvement of our method across a set of experiments performed on the synthetic VIZDoom environment and a real world Active Vision Dataset.


title: Compression and Acceleration of Neural Networks for Communications

abstract: Deep learning (DL) has achieved great success in signal processing and communications and has become a promising technology for future wireless communications. Existing works mainly focus on exploiting DL to improve the performance of communication systems. However, the high memory requirement and computational complexity constitute a major hurdle for the practical deployment of DL-based communications. In this article, we investigate how to compress and accelerate the neural networks (NNs) in communication systems. After introducing the deployment challenges for DL-based communication algorithms, we discuss some representative NN compression and acceleration techniques. Afterwards, two case studies for multiple-input-multiple-output (MIMO) communications, including DL-based channel state information feedback and signal detection, are presented to show the feasibility and potential of these techniques. We finally identify some challenges on NN compression and acceleration in DL-based communications and provide a guideline for subsequent research.


title: Emergence of second coherent regions for breathing chimera states

abstract: Chimera states in one-dimensional nonlocally coupled phase oscillators are mostly assumed to be stationary, but breathing chimeras can occasionally appear, branching from the stationary chimeras via Hopf bifurcation. In this paper, we demonstrate two types of breathing chimeras: The type I breathing chimera looks the same as the stationary chimera at a glance, while the type II consists of multiple coherent regions with different average frequencies. Moreover, it is shown that the type I changes to the type II by increasing the breathing amplitude. Furthermore, we develop a self-consistent analysis of the local order parameter, which can be applied to breathing chimeras, and numerically demonstrate this analysis in the present system.


title: On the central engine of the fastest-declining Type I supernova SN2019bkc

abstract: An analytic model is presented for the fastest-declining Type I supernova SN2019bkc. The model of the central engine consists of the magnetic dipole radiation from a non-explosive remnant of a double white dwarf merger. We consider the viscous evolution of the rotating remnant, which may lead to the diminishing energy supply in an appropriate time scale for the light curve.


title: Towards a General Framework for Static Cost Analysis of Parallel Logic Programs

abstract: The estimation and control of resource usage is now an important challenge in an increasing number of computing systems. In particular, requirements on timing and energy arise in a wide variety of applications such as internet of things, cloud computing, health, transportation, and robots. At the same time, parallel computing, with (heterogeneous) multi-core platforms in particular, has become the dominant paradigm in computer architecture. Predicting resource usage on such platforms poses a difficult challenge. Most work on static resource analysis has focused on sequential programs, and relatively little progress has been made on the analysis of parallel programs, or more specifically on parallel logic programs. We propose a novel, general, and flexible framework for setting up cost equations/relations which can be instantiated for performing resource usage analysis of parallel logic programs for a wide range of resources, platforms and execution models. The analysis estimates both lower and upper bounds on the resource usage of a parallel program (without executing it) as functions on input data sizes. In addition, it also infers other meaningful information to better exploit and assess the potential and actual parallelism of a system. We develop a method for solving cost relations involving the max function that arise in the analysis of parallel programs. Finally, we instantiate our general framework for the analysis of logic programs with Independent And-Parallelism, report on an implementation within the CiaoPP system, and provide some experimental results. To our knowledge, this is the first approach to the cost analysis of parallel logic programs.


title: Characterizations of Normal and Binormal Surfaces in G3

abstract: In this paper, our aim is to give surfaces in the Galilean 3-space G3 with the property that there exist four geodesics through each point such that every surface built with the normal lines and the binormal lines along these geodesics is a surface with a minimal surface and a constant negative Gaussian curvature. We show that $\psi $ should be an isoparametric surface in G3: A plane or a circular hyperboloid.


title: A Stabilized Feedback Episodic Memory (SF-EM) and Home Service Provision Framework for Robot and IoT Collaboration

abstract: The automated home referred to as Smart Home is expected to offer fully customized services to its residents, reducing the amount of home labor, thus improving human beings' welfare. Service robots and Internet of Things (IoT) play the key roles in the development of Smart Home. The service provision with these two main components in a Smart Home environment requires: 1) learning and reasoning algorithms and 2) the integration of robot and IoT systems. Conventional computational intelligence-based learning and reasoning algorithms do not successfully manage dynamic changes in the Smart Home data, and the simple integrations fail to fully draw the synergies from the collaboration of the two systems. To tackle these limitations, we propose: 1) a stabilized memory network with a feedback mechanism which can learn user behaviors in an incremental manner and 2) a robot-IoT service provision framework for a Smart Home which utilizes the proposed memory architecture as a learning and reasoning module and exploits synergies between the robot and IoT systems. We conduct a set of comprehensive experiments under various conditions to verify the performance of the proposed memory architecture and the service provision framework and analyze the experiment results.


title: Towards a Theory of Intentions for Human-Robot Collaboration

abstract: The architecture described in this paper encodes a theory of intentions based on the the key principles of non-procrastination, persistence, and automatically limiting reasoning to relevant knowledge and observations. The architecture reasons with transition diagrams of any given domain at two different resolutions, with the fine-resolution description defined as a refinement of, and hence tightly-coupled to, a coarse-resolution description. Non-monotonic logical reasoning with the coarse-resolution description computes an activity (i.e., plan) comprising abstract actions for any given goal. Each abstract action is implemented as a sequence of concrete actions by automatically zooming to and reasoning with the part of the fine-resolution transition diagram relevant to the current coarse-resolution transition and the goal. Each concrete action in this sequence is executed using probabilistic models of the uncertainty in sensing and actuation, and the corresponding fine-resolution outcomes are used to infer coarse-resolution observations that are added to the coarse-resolution history. The architecture's capabilities are evaluated in the context of a simulated robot assisting humans in an office domain, on a physical robot (Baxter) manipulating tabletop objects, and on a wheeled robot (Turtlebot) moving objects to particular places or people. The experimental results indicate improvements in reliability and computational efficiency compared with an architecture that does not include the theory of intentions, and an architecture that does not include zooming for fine-resolution reasoning.


title: Are Outlier Detection Methods Resilient to Sampling?

abstract: Outlier detection is a fundamental task in data mining and has many applications including detecting errors in databases. While there has been extensive prior work on methods for outlier detection, modern datasets often have sizes that are beyond the ability of commonly used methods to process the data within a reasonable time. To overcome this issue, outlier detection methods can be trained over samples of the full-sized dataset. However, it is not clear how a model trained on a sample compares with one trained on the entire dataset. In this paper, we introduce the notion of resilience to sampling for outlier detection methods. Orthogonal to traditional performance metrics such as precision/recall, resilience represents the extent to which the outliers detected by a method applied to samples from a sampling scheme matches those when applied to the whole dataset. We propose a novel approach for estimating the resilience to sampling of both individual outlier methods and their ensembles. We performed an extensive experimental study on synthetic and real-world datasets where we study seven diverse and representative outlier detection methods, compare results obtained from samples versus those obtained from the whole datasets and evaluate the accuracy of our resilience estimates. We observed that the methods are not equally resilient to a given sampling scheme and it is often the case that careful joint selection of both the sampling scheme and the outlier detection method is necessary. It is our hope that the paper initiates research on designing outlier detection algorithms that are resilient to sampling.


title: Direct simulation of second sound in graphene by solving the phonon Boltzmann equation via a multiscale scheme

abstract: The direct simulation of the dynamics of second sound in graphitic materials remains a challenging task due to lack of methodology for solving the phonon Boltzmann equation in such a stiff hydrodynamic regime. In this work, we aim to tackle this challenge by developing a multiscale numerical scheme for the transient phonon Boltzmann equation under Callaway's dual relaxation model which captures well the collective phonon kinetics. Comparing to traditional numerical methods, the present multiscale scheme is efficient, accurate and stable in all transport regimes attributed to avoiding the use of time and spatial steps smaller than the relaxation time and mean free path of phonons. The formation, propagation and composition of ballistic pulses and second sound in graphene ribbon in two classical paradigms for experimental detection are investigated via the multiscale scheme. The second sound is declared to be mainly contributed by ZA phonon modes, whereas the ballistic pulses are mainly contributed by LA and TA phonon modes. The influence of temperature, isotope abundance and ribbon size on the second sound propagation is also explored. The speed of second sound in the observation window is found to be at most 20 percentages smaller than the theoretical value in hydrodynamic limit due to the finite umklapp, isotope and edge resistive scattering. The present study will contribute to not only the solution methodology of phonon Boltzmann equation, but also the physics of transient hydrodynamic phonon transport as guidance for future experimental detection.


title: On a transmission problem for equation and dynamic boundary condition of Cahn-Hilliard type with nonsmooth potentials

abstract: This paper is concerned with well-posedness of the Cahn-Hilliard equation subject to a class of new dynamic boundary conditions. The system was recently derived in Liu-Wu (Arch. Ration. Mech. Anal. 233 (2019), 167-247) via an energetic variational approach and it naturally fulfills three physical constraints such as mass conservation, energy dissipation and force balance. The target problem examined in this paper can be viewed as a transmission problem that consists of Cahn-Hilliard type equations both in the bulk and on the boundary. In our approach, we are able to deal with a general class of potentials with double-well structure, including the physically relevant logarithmic potential and the non-smooth double-obstacle potential. Existence, uniqueness and continuous dependence of global weak solutions are established. The proof is based on a novel time-discretization scheme for the approximation of the continuous problem. Besides, a regularity result is shown with the aim of obtaining a strong solution to the system.


title: Computational universality of symmetry-protected topologically ordered cluster phases on 2D Archimedean lattices

abstract: What kinds of symmetry-protected topologically ordered (SPTO) ground states can be used for universal measurement-based quantum computation in a similar fashion to the 2D cluster state? 2D SPTO states are classified not only by global on-site symmetries but also by subsystem symmetries, which are fine-grained symmetries dependent on the lattice geometry. Recently, all states within so-called SPTO cluster phases on the square and hexagonal lattices have been shown to be universal, based on the presence of subsystem symmetries and associated structures of quantum cellular automata. Motivated by this observation, we analyze the computational capability of SPTO cluster phases on all vertex-translative 2D Archimedean lattices. There are four subsystem symmetries here called ribbon, cone, fractal, and 1-form symmetries, and the former three are fundamentally in one-to-one correspondence with three classes of Clifford quantum cellular automata. We conclude that nine out of the eleven Archimedean lattices support universal cluster phases protected by one of the former three symmetries, while the remaining lattices possess 1-form symmetries and have a different capability related to error correction.


title: Learning Question-Guided Video Representation for Multi-Turn Video Question Answering

abstract: Understanding and conversing about dynamic scenes is one of the key capabilities of AI agents that navigate the environment and convey useful information to humans. Video question answering is a specific scenario of such AI-human interaction where an agent generates a natural language response to a question regarding the video of a dynamic scene. Incorporating features from multiple modalities, which often provide supplementary information, is one of the challenging aspects of video question answering. Furthermore, a question often concerns only a small segment of the video, hence encoding the entire video sequence using a recurrent neural network is not computationally efficient. Our proposed question-guided video representation module efficiently generates the token-level video summary guided by each word in the question. The learned representations are then fused with the question to generate the answer. Through empirical evaluation on the Audio Visual Scene-aware Dialog (AVSD) dataset, our proposed models in single-turn and multi-turn question answering achieve state-of-the-art performance on several automatic natural language generation evaluation metrics.


title: Hodge cohomology on blow-ups along subvarieties

abstract: We establish a blow-up formula for Hodge cohomology of locally free sheaves on smooth proper varieties over an algebraically closed field of positive characteristic. For this, we introduce a notion of relative Hodge sheaves and study their behavior under blow-ups along smooth centers. In particular, as an application, we study the blow-up invariance of the $E_2$-degeneracy of the Hochschild--Kostant--Rosenberg spectral sequence for smooth proper varieties.


title: Carrier free long-range magnetism in Mo doped one quintuple layer Bi2Te3 and Sb2Te3

abstract: One of the keys to the realization of Quantum Anomalous Hall effect (QAHE) is long range ferromagnetism, which is only experimentally realized in Cr or V doped (Bi,Sb)2Te3 system. Both elements are 3d transition metals and 4d transition metals are found to be ineffective to produce long range ferromagnetism in Bi2Se3. Still, whether long range ferromagnetism can be realized by magnetic doping of 4d elements is an open question. Based on density functional theory calculations, we predict that long range ferromagnetism can be realized in Mo doped Bi2Te3 and Sb2Te3, which are semiconducting. The coupling strength is comparable with that of Cr doped Bi2Te3 and Sb2Te3. Therefore, Mo doped Bi2Te3 and Sb2Te3 or their alloys can be new systems to realize diluted magnetic semiconductors and QAHE.


title: A globally conservative finite element MHD code and its application to the study of compact torus formation, levitation and magnetic compression

abstract: The DELiTE (Differential Equations on Linear Triangular Elements) framework was developed for spatial discretisation of partial differential equations on an unstructured triangular grid in axisymmetric geometry. The framework is based on discrete differential operators in matrix form, which are derived using linear finite elements and mimic some of the properties of their continuous counterparts. A single-fluid two-temperature MHD code is implemented in this framework. The inherent properties of the operators are used in the code to ensure global conservation of energy, particle count, toroidal flux, and angular momentum. The code was applied to study a novel experiment in which a compact torus (CT), produced with a magnetized Marshall gun, is magnetically levitated off an insulating wall and then magnetically compressed through the action of currents in the levitation/compression coils located outside the wall. We present numerical models for CT formation, levitation, and magnetic compression, and comparisons between simulated and experimental diagnostics.


title: Theory of generalized Josephson effects

abstract: The DC Josephson effect is the flow of supercurrent across a weak link between two superconductors with a different value of their order parameter, the phase. We generalize this notion to any kind of spontaneous continuous symmetry breaking. The quantity that flows between the two systems is identified as the Noether current associated with the broken symmetry. The AC Josephson effect is identified as the oscillations due to the energy difference between the two systems caused by an imposed asymmetric chemical potential. As an example of novel physics, a Josephson effect is predicted between two crystalline solids, potentially measurable as a force periodic in the separation distance.


title: I-Keyboard: Fully Imaginary Keyboard on Touch Devices Empowered by Deep Neural Decoder

abstract: Text-entry aims to provide an effective and efficient pathway for humans to deliver their messages to computers. With the advent of mobile computing, the recent focus of text-entry research has moved from physical keyboards to soft keyboards. Current soft keyboards, however, increase the typo rate due to lack of tactile feedback and degrade the usability of mobile devices due to their large portion on screens. To tackle these limitations, we propose a fully imaginary keyboard (I-Keyboard) with a deep neural decoder (DND). The invisibility of I-Keyboard maximizes the usability of mobile devices and DND empowered by a deep neural architecture allows users to start typing from any position on the touch screens at any angle. To the best of our knowledge, the eyes-free ten-finger typing scenario of I-Keyboard which does not necessitate both a calibration step and a predefined region for typing is first explored in this work. For the purpose of training DND, we collected the largest user data in the process of developing I-Keyboard. We verified the performance of the proposed I-Keyboard and DND by conducting a series of comprehensive simulations and experiments under various conditions. I-Keyboard showed 18.95% and 4.06% increases in typing speed (45.57 WPM) and accuracy (95.84%), respectively over the baseline.


title: The Unfairness of Popularity Bias in Recommendation

abstract: Recommender systems are known to suffer from the popularity bias problem: popular (i.e. frequently rated) items get a lot of exposure while less popular ones are under-represented in the recommendations. Research in this area has been mainly focusing on finding ways to tackle this issue by increasing the number of recommended long-tail items or otherwise the overall catalog coverage. In this paper, however, we look at this problem from the users' perspective: we want to see how popularity bias causes the recommendations to deviate from what the user expects to get from the recommender system. We define three different groups of users according to their interest in popular items (Niche, Diverse and Blockbuster-focused) and show the impact of popularity bias on the users in each group. Our experimental results on a movie dataset show that in many recommendation algorithms the recommendations the users get are extremely concentrated on popular items even if a user is interested in long-tail and non-popular items showing an extreme bias disparity.


title: Three-dimensional solitary waves with electrically tunable direction of propagation in nematics

abstract: Production of stable multidimensional solitary waves is a grand challenge in modern science. Steering their propagation is an even harder problem. In this work we demonstrate three-dimensional solitary waves in a nematic, trajectories of which can be steered by the electric field in a plane perpendicular to the field. The steering does not modify the properties of the ground state that remains uniform. These localized waves, called director bullets, are topologically unprotected multidimensional solitons of (3+2)D type that show fore-aft and right-left asymmetry with respect to the background molecular director; the symmetry is controlled by the field. Besides bringing a fundamental novelty by adding a whole dimension to the propagation direction, the solitons can lead to applications such as targeted delivery of information and micro-cargo.

categories: physics.chem-ph cond-mat.soft nlin.PS physics.optics


title: VISCR: Intuitive & Conflict-free Automation for Securing the Dynamic Consumer IoT Infrastructures

abstract: Consumer IoT is characterized by heterogeneous devices with diverse functionality and programming interfaces. This lack of homogeneity makes the integration and security management of IoT infrastructures a daunting task for users and administrators. In this paper, we introduce VISCR, a Vendor-Independent policy Specification and Conflict Resolution engine that enables conflict-free policy specification and enforcement in IoT environments. VISCR converts the topology of the IoT infrastructure into a tree-based abstraction and translates existing policies from heterogeneous vendor-specific programming languages such as Groovy-based SmartThings, OpenHAB, IFTTT-based templates, and MUD-based profiles into a vendor-independent graph-based specification. Using the two, VISCR can automatically detect rouge policies, conflicts, and bugs for coherent automation. Upon detection, VISCR infers new policies and proposes them to users as alternatives to existing policies for fine-tuning and conflict-free enforcement. We evaluated VISCR using a dataset of 907 IoT apps, programmed using heterogeneous automation specifications in a simulated smart-building IoT infrastructure. In our experiments, among 907 IoT apps, VISCR exposed 342 of IoT apps as exhibiting one or more violations. VISCR detected 100% of violations reported by existing state-of-the-art tool, while detecting new types of violations in an additional 266 apps. In terms of performance, VISCR can generate 400 abstraction trees (used in specifying policies) with 100K leaf nodes in <1.2sec. In our experiments, VISCR took 80.7 seconds to analyze our infrastructure of 907 apps; a 14.2X reduction compared to the state-of-the-art. After the initial analysis, VISCR is capable of adopting new policies in sub-second latency to handle changes.


title: Construction of optimal quadrature formulas exact for exponentional-trigonometric functions by Sobolev's method

abstract: The paper studies Sard's problem on construction of optimal quadrature formulas in the space $W_2^{(m,0)}$ by Sobolev's method. This problem consists of two parts: first calculating the norm of the error functional and then finding the minimum of this norm by coefficients of quadrature formulas. Here the norm of the error functional is calculated with the help of the extremal function. Then using the method of Lagrange multipliers the system of linear equations for coefficients of the optimal quadrature formulas in the space $W_2^{(m,0)}$ is obtained, moreover the existence and uniqueness of the solution of this system are discussed. Next, the discrete analogue $D_m(h\beta)$ of the differential operator $\frac{d^{2m}}{d x^{2m}}-1$ is constructed. Further, Sobolev's method of construction of optimal quadrature formulas in the space $W_2^{(m,0)}$, which based on the discrete analogue $D_m(h\beta)$, is described. Finally, for $m=1$ and $m=3$ the optimal quadrature formulas which are exact to exponential-trigonometric functions are obtained.


title: Demonstration of the Hayden-Preskill protocol via mutual information

abstract: We construct the Hayden-Preskill protocol by using a system of spin-1/2 particles and demonstrate information flows of this system which can mimic black holes. We first define an analogous black hole $A$ as a collection of such particles. Second, we take the particles from inside to outside the black hole to define an analogous system of Hawking radiation $B$ as outside particles. When the black hole and the radiation have the maximum entanglement at the Page time, we take an entangled pair system $C$ and $D$. The particles of $C$ fall into the black hole while their counterparts of $D$ remain outside. If we assume rapid mixing of the particle states in the black hole $A \cup C$, can the information of $C$ rapidly escape from the black hole like a mirror? We numerically show that if we turn on the rapid mixing in the black hole, the original information of $C$ rapidly escapes from the black hole to outside in the form of the mutual information between $B$ and $D$. On the other hand, if the mixing between $A$ and $C$ is not enough, the information escapes slowly. Hence, we explicitly demonstrate the original conjecture of Hayden and Preskill. We emphasize that enough mixing is an essential condition to make the Hayden-Preskill protocol functionally work.


title: Integrated Spectroscopy of Extragalactic Globular Clusters

abstract: Integrated light (IL) spectroscopy enables studies of stellar populations beyond the Milky Way and its nearest satellites. In this paper, I will review how IL spectroscopy reveals essential information about globular clusters and the assembly histories of their host galaxies, concentrating particularly on the metallicities and detailed chemical abundances of the GCs in M31. I will also briefly mention the effects of multiple populations on IL spectra, and how observations of distant globular clusters help constrain the source(s) of light-element abundance variations. I will end with future perspectives, emphasizing how IL spectroscopy can bridge the gap between Galactic and extragalactic astronomy.


title: The character graph of a finite group is perfect

abstract: For a finite group $G$, let $\Delta(G)$ denote the character graph built on the set of degrees of the irreducible complex characters of $G$. In graph theory, a perfect graph is a graph $\Gamma$ in which the chromatic number of every induced subgraph $\Delta$ of $\Gamma$ equals the clique number of $\Delta$. In this paper, we show that the character graph $\Delta(G)$ of a finite group $G$ is always a perfect graph. We also prove that the chromatic number of the complement of $\Delta(G)$ is at most three.


title: uBaaS: A Unified Blockchain as a Service Platform

abstract: Blockchain is an innovative distributed ledger technology which has attracted a wide range of interests for building the next generation of applications to address lack-of-trust issues in business. Blockchain as a service (BaaS) is a promising solution to improve the productivity of blockchain application development. However, existing BaaS deployment solutions are mostly vendor-locked: they are either bound to a cloud provider or a blockchain platform. In addition to deployment, design and implementation of blockchain-based applications is a hard task requiring deep expertise. Therefore, this paper presents a unified blockchain as a service platform (uBaaS) to support both design and deployment of blockchain-based applications. The services in uBaaS include deployment as a service, design pattern as a service and auxiliary services. In uBaaS, deployment as a service is platform agnostic, which can avoid lock-in to specific cloud platforms, while design pattern as a service applies design patterns for data management and smart contract design to address the scalability and security issues of blockchain. The proposed solutions are evaluated using a real-world quality tracing use case in terms of feasibility and scalability.


title: A Detection Mechanism Against Load-Redistribution Attacks in Smart Grids

abstract: This paper presents a real-time non-probabilistic detection mechanism to detect load-redistribution (LR) attacks against energy management systems (EMSs). Prior studies have shown that certain LR attacks can bypass conventional bad data detectors (BDDs) and remain undetectable, which implies that presence of a reliable and intelligent detection mechanism to flag LR attacks, is imperative. Therefore, in this study a detection mechanism to enhance the existing BDDs is proposed based on the fundamental knowledge of the physics laws in the electric grid. A greedy algorithm, which can optimize the core LR attack problems, is presented to enable a fast mechanism to identify the most sensitive locations for critical assets. The main contribution of this detection mechanism is leveraging of power systems domain insight to identify an underlying exploitable structure for the core problem of LR attack problems, which enables the prediction of the attackers' behavior. Additional contribution includes the ability to combine this approach with other detection mechanisms to increase their likelihood of detection. The proposed approach is applied to 2383-bus Polish test system to demonstrate the scalability of the greedy algorithm, and it solved the attacker's problem more than 10x faster than a traditional linear optimization approach.


title: Lifelong and Interactive Learning of Factual Knowledge in Dialogues

abstract: Dialogue systems are increasingly using knowledge bases (KBs) storing real-world facts to help generate quality responses. However, as the KBs are inherently incomplete and remain fixed during conversation, it limits dialogue systems' ability to answer questions and to handle questions involving entities or relations that are not in the KB. In this paper, we make an attempt to propose an engine for Continuous and Interactive Learning of Knowledge (CILK) for dialogue systems to give them the ability to continuously and interactively learn and infer new knowledge during conversations. With more knowledge accumulated over time, they will be able to learn better and answer more questions. Our empirical evaluation shows that CILK is promising.


title: Career Choice as an Extended Spatial Evolutionary Public Goods Game

abstract: We propose an extended spatial evolutionary public goods game (SEPGG) model to study the dynamics of individual career choice and the corresponding social output. Based on the social value orientation theory, we categorized two classes of work, namely the public work if it serves public interests, and the private work if it serves personal interests. Under the context of SEPGG, choosing public work is to cooperate and choosing private work is to defect. We then investigate the effects of employee productivity, human capital and external subsidies on individual career choices of the two work types, as well as the overall social welfare. From simulation results, we found that when employee productivity of public work is low, people are more willing to enter the private sector. Although this will make both the effort level and human capital of individuals doing private work higher than those engaging in public work, the total outcome of the private sector is still lower than that of the public sector provided a low level of public subsidies. When the employee productivity is higher for public work, a certain amount of subsidy can greatly improve system output. On the contrary, when the employee productivity of public work is low, provisions of subsidy to the public sector can result in a decline in social output.


title: Wireless Networked Control Systems with Coding-Free Data Transmission for Industrial IoT

abstract: Wireless networked control systems for the Industrial Internet of Things (IIoT) require low latency communication techniques that are very reliable and resilient. In this paper, we investigate a coding-free control method to achieve ultra-low latency communications in single-controller-multi-plant networked control systems for both slow and fast fading channels. We formulate a power allocation problem to optimize the sum cost functions of multiple plants, subject to the plant stabilization condition and the controller's power limit. Although the optimization problem is a non-convex one, we derive a closed-form solution, which indicates that the optimal power allocation policy for stabilizing the plants with different channel conditions is reminiscent of the channel-inversion policy. We numerically compare the performance of the proposed coding-free control method and the conventional coding-based control methods in terms of the control performance (i.e., the cost function) of a plant, which shows that the coding-free method is superior in a practical range of SNRs.


title: Influence of the correlation prior on reconstruction of the dark energy equation of state

abstract: Non-parametric reconstruction of the dark energy equation of state (EoS) aims to determine the EoS as a function of redshift without invoking any particular dark energy model, so that the resulting EoS can be free of model-induced biases or artifacts. Without proper regularization, however, such reconstruction is often overwhelmed by the noise of poorly constrained modes. An intuitive regularization scheme is to assume a priori the dark energy EoS to evolve at most slowly with time, which may be enforced by a correlation between the EoS at different epochs. Indeed, studies that impose the correlation prior are able to significantly reduce the uncertainties of the reconstructed EoS and even show hints for dynamical dark energy. In this work, we examine the correlation prior using mock datasets of type Ia supernovae (SNe Ia), baryonic acoustic oscillations (BAOs), age-derived Hubble parameter, Hubble constant, and cosmic microwave background. We find that even though the prior is designed to disfavor evolving equations of state, it can still accommodate spurious oscillating features at high significance. Within the 1000 mock datasets of existing observations that are generated for the concordance cosmological model, i.e., the input dark energy EoS $w=-1$, there are 688 (69) cases recovering an EoS that departs from $-1$ by more than $1\sigma$ ($2\sigma$) in one or more redshift bins. The reconstructed EoS turns up and down markedly in many cases. Moreover, inverting the signs of the randomly assigned errors of the mock data more or less reverses the behavior of the EoS. Spurious results occur even more frequently when idealized SN Ia and BAO data from future surveys are included. Our tests suggest that further studies are needed to ensure accurate reconstruction of the EoS with the correlation prior.


title: Terahertz to mid-infrared dielectric properties of polymethacrylates for stereolithographic single layer assembly

abstract: The fabrication of terahertz (THz) optics with arbitrary shapes via poly-methacrylate-based stereolithography is very attractive as it may offer a rapid, low-cost avenue towards optimized THz imaging applications. In order to design such THz optical components appropriately, accurate knowledge of the complex dielectric function of the materials used for stereolithographic fabrication is crucial. In this paper we report on the complex dielectric functions of several polymethacrylates frequently used for stereolithographic fabrication. Spectroscopic ellipsometry data sets from the THz to mid-infrared spectral range were obtained from isotropically cross-linked polymethacrylate samples. The data sets were analyzed using stratified layer optical model calculations with parameterized model dielectric functions. While the infrared spectral range is dominated by a number of strong absorption features with Gaussian profiles, these materials are found to exhibit only weak absorption in the THz frequency range. In conclusion, we find that thin transmissive THz optics can be efficiently fabricated using polymethacrylate-based stereolithographic fabrication.


title: Dissipative Magnetic Polariton Soliton

abstract: Dissipative solitons are non-decaying out-of-equilibrium entities that result from double balances between gain and loss, as well as nonlinearity and dispersion. Here we describe a scenario where double balances rely on the presence of multiple collective excitation channels in open-dissipative quantum systems. It differs from conventional single-channel scenario for well-known dissipative solitons such as dissipative Kerr solitons, in that the soliton itself arises in a decoupled excitation channel and hence coherent nonlinear excitation dynamics, but its background state corresponds to other channels and is determined by the balance of pumping and dissipation. We demonstrate with a spinor polariton Bose-Einstein condensate (BEC) under spatially uniform nonresonant pumping, and show the existence of a dissipative magnetic soliton as an exact solution to two-component driven-dissipative Gross-Pitaevskii equation. This magnetic polariton soliton manifests as a localized spin polarization with the background state being linearly polarized, and does not decay when propagating in the dissipative medium. Our present work offers a new perspective as well as new benchmarks for understanding and realizing dissipative solitons.


title: Sample Complexity Bounds for Influence Maximization

abstract: Influence maximization (IM) is the problem of finding for a given $s\geq 1$ a set $S$ of $|S|=s$ nodes in a network with maximum influence. With stochastic diffusion models, the influence of a set $S$ of seed nodes is defined as the expectation of its reachability over simulations, where each simulation specifies a deterministic reachability function. Two well-studied special cases are the Independent Cascade (IC) and the Linear Threshold (LT) models of Kempe, Kleinberg, and Tardos. The influence function in stochastic diffusion is unbiasedly estimated by averaging reachability values over i.i.d. simulations. We study the IM sample complexity: the number of simulations needed to determine a $(1-\epsilon)$-approximate maximizer with confidence $1-\delta$. Our main result is a surprising upper bound of $O( s \tau \epsilon^{-2} \ln \frac{n}{\delta})$ for a broad class of models that includes IC and LT models and their mixtures, where $n$ is the number of nodes and $\tau$ is the number of diffusion steps. Generally $\tau \ll n$, so this significantly improves over the generic upper bound of $O(s n \epsilon^{-2} \ln \frac{n}{\delta})$. Our sample complexity bounds are derived from novel upper bounds on the variance of the reachability that allow for small relative error for influential sets and additive error when influence is small. Moreover, we provide a data-adaptive method that can detect and utilize fewer simulations on models where it suffices. Finally, we provide an efficient greedy design that computes an $(1-1/e-\epsilon)$-approximate maximizer from simulations and applies to any submodular stochastic diffusion model that satisfies the variance bounds.


title: Generalized 3x + 1 Mappings : searching for cycles

abstract: We determine the conditions for the existence or not of cycles for several families of generalized 3x + 1 mappings and develop a method to find them.


abstract: A data life cycle (DLC) is a high-level data processing pipeline that involves data acquisition, event reconstruction, data analysis, publication, archiving, and sharing. For astroparticle physics a DLC is particularly important due to the geographical and content diversity of the research field. A dedicated and experiment spanning analysis and data centre would ensure that multi-messenger analyses can be carried out using state-of-the-art methods. The German-Russian Astroparticle Data Life Cycle Initiative (GRADLCI) is a joint project of the KASCADE-Grande and TAIGA collaborations, aimed at developing a concept and creating a DLC prototype that takes into account the data processing features specific for the research field. An open science system based on the KASCADE Cosmic Ray Data Centre (KCDC), which is a web-based platform to provide the astroparticle physics data for the general public, must also include effective methods for distributed data storage algorithms and techniques to allow the community to perform simulations and analyses with sophisticated machine learning methods. The aim is to achieve more efficient analyses of the data collected in different, globally dispersed observatories, as well as a modern education to Big Data Scientist in the synergy between basic research and the information society. The contribution covers the status and future plans of the initiative.


title: Semi-supervised Compatibility Learning Across Categories for Clothing Matching

abstract: Learning the compatibility between fashion items across categories is a key task in fashion analysis, which can decode the secret of clothing matching. The main idea of this task is to map items into a latent style space where compatible items stay close. Previous works try to build such a transformation by minimizing the distances between annotated compatible items, which require massive item-level supervision. However, these annotated data are expensive to obtain and hard to cover the numerous items with various styles in real applications. In such cases, these supervised methods fail to achieve satisfactory performances. In this work, we propose a semi-supervised method to learn the compatibility across categories. We observe that the distributions of different categories have intrinsic similar structures. Accordingly, the better distributions align, the closer compatible items across these categories become. To achieve the alignment, we minimize the distances between distributions with unsupervised adversarial learning, and also the distances between some annotated compatible items which play the role of anchor points to help align. Experimental results on two real-world datasets demonstrate the effectiveness of our method.


title: An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider

abstract: In this article we present an implementation of non-monotonic reasoning in an embedded system. As a part of an autonomous motor-glider, it simulates piloting decisions of an airplane. A real pilot must take care not only about the information arising from the cockpit (airspeed, altitude, variometer, compass...) but also from outside the cabin. Throughout a flight, a pilot is constantly in communication with the control tower to follow orders, because there is an airspace regulation to respect. In addition, if the control tower sends orders while the pilot has an emergency, he may have to violate these orders and airspace regulations to solve his problem (e.g. emergency landing). On the other hand, climate changes constantly (wind, snow, hail..) and can affect the sensors. All these cases easily lead to contradictions. Switching to reasoning under uncertainty, a pilot must make decisions to carry out a flight. The objective of this implementation is to validate a non-monotonic model which allows to solve the question of incomplete and contradictory information. We formalize the problem using default logic, a non-monotonic logic which allows to find fixed-points in the face of contradictions. For the implementation, the Prolog language is used in an embedded computer running at 1 GHz single core with 512 Mb of RAM and 0.8 watts of energy consumption.


title: Cost-Driven Offloading for DNN-based Applications over Cloud, Edge and End Devices

abstract: Currently, deep neural networks (DNNs) have achieved a great success in various applications. Traditional deployment for DNNs in the cloud may incur a prohibitively serious delay in transferring input data from the end devices to the cloud. To address this problem, the hybrid computing environments, consisting of the cloud, edge and end devices, are adopted to offload DNN layers by combining the larger layers (more amount of data) in the cloud and the smaller layers (less amount of data) at the edge and end devices. A key issue in hybrid computing environments is how to minimize the system cost while accomplishing the offloaded layers with their deadline constraints. In this paper, a self-adaptive discrete particle swarm optimization (PSO) algorithm using the genetic algorithm (GA) operators was proposed to reduce the system cost caused by data transmission and layer execution. This approach considers the characteristics of DNNs partitioning and layers offloading over the cloud, edge and end devices. The mutation operator and crossover operator of GA were adopted to avert the premature convergence of PSO, which distinctly reduces the system cost through enhanced population diversity of PSO. The proposed offloading strategy is compared with benchmark solutions, and the results show that our strategy can effectively reduce the cost of offloading for DNN-based applications over the cloud, edge and end devices relative to the benchmarks.


title: From low probability to high confidence in stochastic convex optimization

abstract: Standard results in stochastic convex optimization bound the number of samples that an algorithm needs to generate a point with small function value in expectation. More nuanced high probability guarantees are rare, and typically either rely on "light-tail" noise assumptions or exhibit worse sample complexity. In this work, we show that a wide class of stochastic optimization algorithms for strongly convex problems can be augmented with high confidence bounds at an overhead cost that is only logarithmic in the confidence level and polylogarithmic in the condition number. The procedure we propose, called proxBoost, is elementary and builds on two well-known ingredients: robust distance estimation and the proximal point method. We discuss consequences for both streaming (online) algorithms and offline algorithms based on empirical risk minimization.


title: A comparative study of general fuzzy min-max neural networks for pattern classification problems

abstract: General fuzzy min-max (GFMM) neural network is a generalization of fuzzy neural networks formed by hyperbox fuzzy sets for classification and clustering problems. Two principle algorithms are deployed to train this type of neural network, i.e., incremental learning and agglomerative learning. This paper presents a comprehensive empirical study of performance influencing factors, advantages, and drawbacks of the general fuzzy min-max neural network on pattern classification problems. The subjects of this study include (1) the impact of maximum hyperbox size, (2) the influence of the similarity threshold and measures on the agglomerative learning algorithm, (3) the effect of data presentation order, (4) comparative performance evaluation of the GFMM with other types of fuzzy min-max neural networks and prevalent machine learning algorithms. The experimental results on benchmark datasets widely used in machine learning showed overall strong and weak points of the GFMM classifier. These outcomes also informed potential research directions for this class of machine learning algorithms in the future.


title: Perturbations in Tachyon Dark Energy and their Effect on Matter Clustering

abstract: A non-canonical scalar tachyon field is a viable candidate for dark energy and has been found to be in good agreement with observational data. Background data alone cannot completely rule out degeneracy between this model and others. To further constrain the parameters, apart from the distance measurements, we study perturbations in the tachyon scalar field and how they affect matter clustering. We consider two tachyon potentials for this study, an inverse square potential and an exponential potential. We study the evolution of the gravitational potential, matter density contrast, and dark energy density contrast, and compare them with the evolution in the $\Lambda CDM $ model. Although perturbations in dark energy at sub-Hubble scales are negligible in comparison with matter perturbations, they cannot be ignored at Hubble and super-Hubble scales ($\lambda_p > 1000$ Mpc). We also study the evolution of growth function and growth rate of matter, and find that the growth rate is significantly suppressed in dark energy dominated era with respect to the growth rate for $\Lambda CDM$ model. A comparison of these models with Redshift Space Distortion growth rate data is presented by way of calculating $f\sigma_8(z)$. There is a tension of $2.9\sigma$ ($2.26\sigma$ ) between growth rate data and Planck-2015 (Planck-2018) Cosmic Microwave Background Radiation data for $\Lambda CDM$ model. We present constraints on free parameters of these models and show that perturbations in the tachyon scalar field reduce this tension between different data sets.


title: Efficient generation of many-body entangled states by multilevel oscillations

abstract: We generate high-fidelity massively entangled states in an antiferromagnetic spin-1 Bose-Einstein condensate (BEC) by utilizing multilevel oscillations. Combining the multilevel oscillations with additional adiabatic drives, we greatly shorten the necessary evolution time and relax the requirement on the control accuracy of quadratic Zeeman splitting, from micro-Gauss to milli-Gauss, for a $^{23}$Na spinor BEC. The achieved high fidelities over $96\%$ show that two kinds of massively entangled states, the many-body singlet state and the twin-Fock state, are almost perfectly generated. The generalized spin squeezing parameter drops to a value far below the standard quantum limit even with the presence of atom number fluctuations and stray magnetic fields, illustrating the robustness of our protocol under real experimental conditions. The generated many-body entangled states can be employed to achieve the Heisenberg-limit quantum precision measurement and to attack nonclassical problems in quantum information science.


title: A universal threshold for primordial black hole formation

abstract: In this letter, we argue and show numerically that the threshold to form primordial black holes from an initial spherically symmetric perturbation is, to an excellent approximation, universal, whenever given in terms of the compaction function averaged over a sphere of radius $r_m$, where $r_m$ is the scale on which the compaction function is maximum. This can be understood as the requirement that, for a black hole to form, each shell of the averaged compaction function should have an amplitude exceeding the so-called Harada-Yoo-Kohri limit. For a radiation dominated universe we argued, supported by the numerical simulations, that this limit is $\delta_c = 0.40$, which is slightly below the one quoted in the literature. Additionally, we show that the profile dependence of the threshold for the compaction function is only sensitive to its curvature at the maximum. We use these results to provide an analytic formula for the threshold amplitude of the compaction function at its maximum in terms of the normalised compaction function curvature at $r_m$.


title: Possible indications for jittering jets in core collapse supernova explosion simulations

abstract: I analyse recent three-dimensional hydrodynamical simulations of exploding core collapse supernovae (CCSNe) and find that a rapid increase in the diagnostic explosion energy occurs parallel to, or very shortly after, the accretion of gas with relatively large amount of angular momentum and/or specific angular momentum. The tendency towards a positive correlation between angular momentum accretion and the increase in the explosion energy appears despite the absence of magnetic fields in the simulations. I speculate that the inclusion of magnetic fields would make this positive correlation much stronger and would increase the explosion energy. At times, the high angular momentum accretion leads to a bipolar outflow that in some cases changes directions. I argue that there is a mutual influence between neutrino heating and stochastic angular momentum, and that both operate together to explode the star with bipolar outflows that change directions, namely, jittering jets. This study calls for a deep flow analysis of simulations of CCSNe, e.g., to present the flow structure, the density, and the angular momentum of the flow near the newly born neutron star (NS).


title: Tsallis entropy, $q$-expectation and constraints on three-party quantum correlations

abstract: We show that the mutually exclusive nature of classical and quantum correlations distributed in multi-party quantum systems can be characterized in terms of $q$-expectation. Using Tsallis-$q$ entropy and $q$-expectation, we first provide generalized definitions of classical and quantum correlations, and establish their trade-off relations in three-party quantum systems of arbitrary dimension with respect to $q$-expectation for $q\geq 1$. We also provide equivalence conditions for monogamy and polygamy inequalities of quantum entanglement and quantum discord distributed in three-party quantum systems of arbitrary dimension with respect to $q$-expectation for $q\geq 1$.


title: The Validity, Generalizability and Feasibility of Summative Evaluation Methods in Visual Analytics

abstract: Many evaluation methods have been used to assess the usefulness of Visual Analytics (VA) solutions. These methods stem from a variety of origins with different assumptions and goals, which cause confusion about their proofing capabilities. Moreover, the lack of discussion about the evaluation processes may limit our potential to develop new evaluation methods specialized for VA. In this paper, we present an analysis of evaluation methods that have been used to summatively evaluate VA solutions. We provide a survey and taxonomy of the evaluation methods that have appeared in the VAST literature in the past two years. We then analyze these methods in terms of validity and generalizability of their findings, as well as the feasibility of using them. We propose a new metric called summative quality to compare evaluation methods according to their ability to prove usefulness, and make recommendations for selecting evaluation methods based on their summative quality in the VA domain.


title: Self-training with progressive augmentation for unsupervised cross-domain person re-identification

abstract: Person re-identification (Re-ID) has achieved great improvement with deep learning and a large amount of labelled training data. However, it remains a challenging task for adapting a model trained in a source domain of labelled data to a target domain of only unlabelled data available. In this work, we develop a self-training method with progressive augmentation framework (PAST) to promote the model performance progressively on the target dataset. Specially, our PAST framework consists of two stages, namely, conservative stage and promoting stage. The conservative stage captures the local structure of target-domain data points with triplet-based loss functions, leading to improved feature representations. The promoting stage continuously optimizes the network by appending a changeable classification layer to the last layer of the model, enabling the use of global information about the data distribution. Importantly, we propose a new self-training strategy that progressively augments the model capability by adopting conservative and promoting stages alternately. Furthermore, to improve the reliability of selected triplet samples, we introduce a ranking-based triplet loss in the conservative stage, which is a label-free objective function basing on the similarities between data pairs. Experiments demonstrate that the proposed method achieves state-of-the-art person Re-ID performance under the unsupervised cross-domain setting. Code is available at: https://tinyurl.com/PASTReID


title: AtomREM: Non-empirical seeker of the minimum energy escape paths on many-dimensional potential landscapes without coarse graining

abstract: Recently a non-empirical stochastic walker algorithm has been developed to search for the minimum-energy escape paths (MEP) from the minima of the potential surface [J. Phys. Soc. Jpn. 87, 063801 (2018); Physica A, 528, 121481 (2019)]. This method is based on the Master equation for the distribution function of the atomic configuration which has a nature to seek the MEP up along the valley of the potential surface. This paper introduces AtomREM (Atomistic Rare Event Manager), which is an MPI parallelized solver program package for executing this method, which yields minimum energy reaction pathways in terms of the microscopic evolution of atomic positions. It is open-source and released under the GNU General Public License (GPL). AtomREM interfaces with the LAMMPS Molecular Dynamics Simulator as a library of versatile potential functions for application to various systems. Examples of the applications to molecular and solid systems are presented.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph


title: A simplification of "Effective quasimorphisms on right-angled Artin groups"

abstract: This paper presents a simplification of the main argument in "Effective quasimorphisms on right-angled Artin groups" by Fern\'os, Forester and Tao. Their article introduces a family of quasimorphisms on a certain class of groups (called RAAG-like) acting on CAT(0) cube complexes. They show that these have uniform defect of $12$ and take the value of at least $1$ on a chosen element. With the Bavard Duality they conclude that hyperbolic elements of RAAG-like groups have stable commutator length of at least $1/24$. Their proof that the quasimorphisms take the value $1$ is quite technical and relies on some tools they introduce: the essential characteristic set and equivariant Euclidean embeddings. Here it is shown that this is unnecessary and a much shorter proof is given. This was originally part of my master thesis "Stable commutator length gap in RAAG-like groups" supervised by Alessandra Iozzi at ETH Z\"urich.


title: On the Shock Source of Sustained Gamma-Ray Emission from the Sun

abstract: It has recently been shown that the spatially and temporally extended gamma-ray emission in solar eruptions are caused by greater than 300 MeV protons precipitating on the Sun from shocks driven by coronal mass ejections (CMEs). The gamma-rays result from the decay of neutral pions produced in the proton-proton interaction when the greater than 300 MeV protons collide with those in the chromosphere. The evidence comes from the close correlation between the durations of the sustained gamma-ray emission (SGRE) and the associated interplanetary (IP) type II radio bursts. In this paper, we provide further evidence that support the idea that protons accelerated in IP shocks driven by CMEs propagate toward the Sun, precipitate in the chromosphere to produce the observed SGRE. We present the statistical properties of the SGRE events and the associated CMEs, flares, and type II radio bursts. It is found that the SGRE CMEs are similar to those associated with ground level enhancement events. The CME speed is well correlated with the SGRE fluence. High CME speed is an important requirement for the occurrence of SGRE, while the flare size is not. Based on these results, we present a schematic model illustrating the spatially and temporally extended nature of SGRE related to the CME flux rope-shock structure.


title: VASSL: A Visual Analytics Toolkit for Social Spambot Labeling

abstract: Social media platforms such as Twitter are filled with social spambots. Detecting these malicious accounts is essential, yet challenging, as they continually evolve and evade traditional detection techniques. In this work, we propose VASSL, a visual analytics system that assists in the process of detecting and labeling spambots. Our tool enhances the performance and scalability of manual labeling by providing multiple connected views and utilizing dimensionality reduction, sentiment analysis and topic modeling techniques, which offer new insights that enable the identification of spambots. The system allows users to select and analyze groups of accounts in an interactive manner, which enables the detection of spambots that may not be identified when examined individually. We conducted a user study to objectively evaluate the performance of VASSL users, as well as capturing subjective opinions about the usefulness and the ease of use of the tool.


title: What-Why Analysis of Expert Interviews: Analysing Geographically-Embedded Flow Data

abstract: In this paper, we present our analysis of five expert interviews, each from a different application domain. Such analysis is crucial to understanding the real-world scenarios of analysing geographically-embedded flow data. The results of our analysis show that similar high-level tasks were conducted in different domains. To better describe the targets of these tasks, we proposed three flow-targets for analysing geographically-embedded flow data: single flow, total flow and regional flow.


title: The Acceleration of Energetic Particles at Coronal Shocks and Emergence of a Double Power Law Feature in Particle Energy Spectra

abstract: We present numerical modelling of particle acceleration at coronal shocks propagating through a streamer-like magnetic field by solving the Parker transport equation with spatial diffusion both along and across the magnetic field. We show that the location on the shock where the high-energy particle intensity is the largest, depends on the energy of the particles and on time. The acceleration of particles to more than 100 MeV mainly occurs in the shock-streamer interaction region, due to perpendicular shock geometry and the trapping effect of closed magnetic fields. A comparison of the particle spectra to that in a radial magnetic field shows that the intensity at 100 MeV (200 MeV) is enhanced by more than one order (two orders) of magnitude. This indicates that the streamer-like magnetic field can be an important factor in producing large solar energetic particle events. We also show that the energy spectrum integrated over the simulation domain consists of two different power laws. Further analysis suggests that it may be a mixture of two distinct populations accelerated in the streamer and open field regions, where the acceleration rate differs substantially. Our calculations also show that the particle spectra are affected considerably by a number of parameters, such as the streamer tilt angle, particle spatial diffusion coefficient, and shock compression ratio. While the low-energy spectra agree well with standard diffusive shock acceleration theory, the break energy ranges from $\sim$1 MeV to $\sim$90 MeV and the high-energy spectra can extend to $\sim$1 GeV with a slope of $\sim$2-3.


title: Overcoming Catastrophic Forgetting by Neuron-level Plasticity Control

abstract: To address the issue of catastrophic forgetting in neural networks, we propose a novel, simple, and effective solution called neuron-level plasticity control (NPC). While learning a new task, the proposed method preserves the knowledge for the previous tasks by controlling the plasticity of the network at the neuron level. NPC estimates the importance value of each neuron and consolidates important \textit{neurons} by applying lower learning rates, rather than restricting individual connection weights to stay close to certain values. The experimental results on the incremental MNIST (iMNIST) and incremental CIFAR100 (iCIFAR100) datasets show that neuron-level consolidation is substantially more effective compared to the connection-level consolidation approaches.


title: Identifiability of causal effects with multiple causes and a binary outcome

abstract: Unobserved confounding presents a major threat to causal inference from observational studies. Recently, several authors suggest that this problem may be overcome in a shared confounding setting where multiple treatments are independent given a common latent confounder. It has been shown that under a linear Gaussian model for the treatments, the causal effect is not identifiable without parametric assumptions on the outcome model. In this paper, we show that the causal effect is indeed identifiable if we assume a general binary choice model for the outcome with a non-probit link. Our identification approach is based on the incongruence between Gaussianity of the treatments and latent confounder, and non-Gaussianity of a latent outcome variable. We further develop a two-step likelihood-based estimation procedure.


title: Generative Adversarial Networks (GAN) for compact beam source modelling in Monte Carlo simulations

abstract: A method is proposed and evaluated to model large and inconvenient phase space files used in Monte Carlo simulations by a compact Generative Adversarial Network (GAN). The GAN is trained based on a phase space dataset to create a neural network, called Generator (G), allowing G to mimic the multidimensional data distribution of the phase space. At the end of the training process, G is stored with about 0.5 million weights, around 10 MB, instead of few GB of the initial file. Particles are then generated with G to replace the phase space dataset. This concept is applied to beam models from linear accelerators (linacs) and from brachytherapy seed models. Simulations using particles from the reference phase space on one hand and those generated by the GAN on the other hand were compared. 3D distributions of deposited energy obtained from source distributions generated by the GAN were close to the reference ones, with less than 1% of voxel-by-voxel relative difference. Sharp parts such as the brachytherapy emission lines in the energy spectra were not perfectly modeled by the GAN. Detailed statistical properties and limitations of the GAN-generated particles still require further investigation, but the proposed exploratory approach is already promising and paves the way for a wide range of applications.


title: Explicit power laws in analytic continuation problems via reproducing kernel Hilbert spaces

abstract: The need for analytic continuation arises frequently in the context of inverse problems. Notwithstanding the uniqueness theorems, such problems are notoriously ill-posed without additional regularizing constraints. We consider several analytic continuation problems with typical global boundedness constraints that restore well-posedness. We show that all such problems exhibit a power law precision deterioration as one moves away from the source of data. In this paper we demonstrate the effectiveness of our general Hilbert space-based approach for determining these exponents. The method identifies the "worst case" function as a solution of a linear integral equation of Fredholm type. In special geometries, such as the circular annulus or upper half-plane this equation can be solved explicitly. The obtained solution in the annulus is then used to determine the exact power law exponent for the analytic continuation from an interval between the foci of an ellipse to an arbitrary point inside the ellipse. Our formulas are consistent with results obtained in prior work in those special cases when such exponents have been determined.


title: Extended Drude model analysis of superconducting optical spectra of correlated electron systems

abstract: Correlation information in strongly correlated electron systems can be obtained using an extended Drude model. An interesting method related to the extended Drude model analysis of superconducting optical data was proposed recently, and it has attracted attention from researchers. This method aims to extract the optical self-energy of quasiparticles (or residual unpaired electrons) from measured optical data in the superconducting state. However, this residual optical self-energy is a partial optical self-energy. The interpretation and significance of this partial optical self-energy is unclear. We investigate this method using a reverse process with simple electron-boson spectral density functions. With our obtained results, we conclude that the residual (or partial) optical self-energy is difficult to interpret because it contains unphysical features, in particular, a negative optical effective mass. The present study clarifies the extended Drude analysis method for superconducting optical data.


title: Capsule Networks Need an Improved Routing Algorithm

abstract: In capsule networks, the routing algorithm connects capsules in consecutive layers, enabling the upper-level capsules to learn higher-level concepts by combining the concepts of the lower-level capsules. Capsule networks are known to have a few advantages over conventional neural networks, including robustness to 3D viewpoint changes and generalization capability. However, some studies have reported negative experimental results. Nevertheless, the reason for this phenomenon has not been analyzed yet. We empirically analyzed the effect of five different routing algorithms. The experimental results show that the routing algorithms do not behave as expected and often produce results that are worse than simple baseline algorithms that assign the connection strengths uniformly or randomly. We also show that, in most cases, the routing algorithms do not change the classification result but polarize the link strengths, and the polarization can be extreme when they continue to repeat without stopping. In order to realize the true potential of the capsule network, it is essential to develop an improved routing algorithm.


title: Spin-spiral formalism based on the multiple scattering Green's function technique with applications to ultrathin magnetic films and multilayers

abstract: Based on the Korringa-Kohn-Rostoker Green's function technique we present a computational scheme for calculating the electronic structure of layered systems with homogeneous spin-spiral magnetic state. From the self-consistent non-relativistic calculations the total energy of the spin-spiral states is determined as a function of the wave vector, while a relativistic extension of the formalism in first order of the spin-orbit coupling gives an access to the effect of the Dzyaloshinskii-Moriya interactions. We demonstrate that the newly developed method properly describes the magnetic ground state of a Mn monolayer on W(001) and that of a Co monolayer on Pt(111). The obtained spin-spiral energies are mapped to a classical spin model, the parameters of which are compared to those calculated directly from the relativistic torque method. In case of the Co/Pt(111) system we find that the isotropic interaction between the Co atoms is reduced and the Dzyaloshinskii-Moriya interaction is increased when capped by a Ru layer. In addition, we perform spin-spiral calculations on Ir/Fe/Co/Pt and Ir/Co/Fe/Pt multilayer systems and find a spin-spiral ground state with very long wavelength due to the frustrated isotropic couplings between the Fe atoms, whereas the Dzyaloshinskii-Moriya interaction strongly depends on the sequence of the Fe and Co layers.


title: A Process Algebra for Link Layer Protocols

abstract: We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling frame collisions. We also formalise suitable liveness properties for link layer protocols specified in this framework. To show applicability we model and analyse two versions of the Carrier-Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. Our analysis confirms the hidden station problem for the version without virtual carrier sensing. However, we show that the version with virtual carrier sensing not only overcomes this problem, but also the exposed station problem with probability 1. Yet the protocol cannot guarantee packet delivery, not even with probability 1.


title: Large deviation and anomalous fluctuations scaling in degree assortativity on configuration networks

abstract: By constructing a multicanonical Monte Carlo simulation, we obtain the full probability distribution $\rho_N(r)$ of the degree assortativity coefficient $r$ on configuration networks of size $N$ by using the multiple histogram reweighting method. We suggest that $\rho_N(r)$ obeys a large deviation principle, $\rho_N \left(r-r_N^* \right) \asymp {e^{ - {N^\xi }I\left( {r- r_N^* } \right)}}$, where the rate function $I$ is convex and possesses its unique minimum at $r=r_N^*$, and $\xi$ is an exponent that scales $\rho_N$'s with $N$. We show that $\xi=1$ for Poisson random graphs, and $\xi\geq1$ for scale-free networks in which $\xi$ is a decreasing function of the degree distribution exponent $\gamma$. Our results reveal that the fluctuations of $r$ exhibits an anomalous scaling with $N$ in highly heterogeneous networks.


title: High fidelity manipulation of a qubit built from a synthetic nucleus

abstract: The recently demonstrated trapping and laser cooling of $^{133}$Ba$^+$ has opened the door to the use of this nearly ideal atom for quantum information processing. However, before high fidelity qubit operations can be performed, a number of unknown state energies are needed. Here, we report measurements of the $^2$P$_{3/2}$ and $^2$D$_{5/2}$ hyperfine splittings, as well as the $^2$P$_{3/2}$$\leftrightarrow$ $^2$S$_{1/2}$and $^2$P$_{3/2}$ $\leftrightarrow$ $^2$D$_{5/2}$ transition frequencies. Using these transitions, we demonstrate high fidelity $^{133}$Ba$^+$ hyperfine qubit manipulation with electron shelving detection to benchmark qubit state preparation and measurement (SPAM). Using single-shot, threshold discrimination, we measure an average SPAM fidelity of $\mathcal{F} = 0.99971(6)$, a factor of $\approx$ 2 improvement over the best reported performance of any qubit.


title: Observation of persistent orientation of chiral molecules by laser field with twisted polarization

abstract: Molecular chirality is an omnipresent phenomenon of fundamental significance in physics, chemistry and biology. For this reason, search for novel techniques for enantioselective control, detection and separation of chiral molecules is of particular importance. It has been recently predicted that laser fields with twisted polarization may induce persistent enantioselective field-free orientation of chiral molecules. Here we report the first experimental observation of this phenomenon using propylene oxide molecules ($\mathrm{CH_{3}CHCH_{2}O}$, or PPO) spun by an optical centrifuge - a laser pulse, whose linear polarization undergoes an accelerated rotation around its propagation direction. We show that PPO molecules remain oriented on a time scale exceeding the duration of the centrifuge pulse by several orders of magnitude. The demonstrated long-time field-free enantioselective orientation opens new avenues for optical manipulation, discrimination, and, potentially, separation of molecular enantiomers.


title: Non-existence of non-trivial normal elements in the Iwasawa Algebra of Chevalley groups

abstract: For a prime $p>2$, let $G$ be a semi-simple, simply connected, split Chevalley group over $\mathbb{Z}_p$, $G(1)$ be the first congruence kernel of $G$ and $\Omega_{G(1)}$ be the mod-$p$ Iwasawa algebra defined over the finite field $\mathbb{F}_p$. Ardakov, Wei, Zhang have shown that if $p$ is a "nice prime " ($p \geq 5$ and $p \nmid n+1$ if the Lie algebra of $G(1)$ is of type $A_n$), then every non-zero normal element in $\Omega_{G(1)}$ is a unit. Furthermore, they conjecture in their paper that their nice prime condition is superfluous. The main goal of this article is to provide an entirely new proof of Ardakov, Wei and Zhang's result using explicit presentation of Iwasawa algebra developed by the second author of this article and thus eliminating the nice prime condition, therefore proving their conjecture.