title: Mass Production of Type IIA dS Vacua

abstract: A three-step procedure is proposed in type IIA string theory to stabilize multiple moduli in a dS vacuum. The first step is to construct a progenitor model with a localized stable supersymmetric Minkowski vacuum, or a discrete set of such vacua. It can be done, for example, using two non-perturbative exponents in the superpotential for each modulus, as in the KL model. A large set of supersymmetric Minkowski vacua with strongly stabilized moduli is protected by a theorem on stability of these vacua in absence of flat directions. The second step involves a parametrically small downshift to a supersymmetric AdS vacuum, which can be achieved by a small change of the superpotential. The third step is an uplift to a dS vacuum with a positive cosmological constant using the $\overline {D6}$-brane contribution. Stability of the resulting dS vacuum is inherited from the stability of the original supersymmetric Minkowski vacuum if the supersymmetry breaking in dS vacuum is parametrically small.


title: Liquid Argon TPC Trigger Development with SBND

abstract: The Short Baseline Near Detector (SBND) is a 112 ton active mass liquid argon time projection chamber (LArTPC) that will begin operations in the Booster Neutrino Beamline at Fermilab in 2020. Its main physics goals include high-statistics measurements of neutrino-argon interaction cross-sections and searches for sterile neutrino oscillations as part of three LArTPCs that make up the Short Baseline Neutrino (SBN) Program at Fermilab. In addition, SBND serves as an R\&D platform for future LArTPC detectors such as those employed by the Deep Underground Neutrino Experiment (DUNE). One of the technical challenges of DUNE that SBND aims to address is that of efficient self-triggering utilizing TPC signal information. Such capability will enable searches for rare processes in the DUNE far detector, for example neutrino interactions from a potential galactic supernova burst, or proton decay. These proceedings describe the SBND TPC readout system and ongoing R\&D efforts to develop and demonstrate efficient TPC-based self-triggering.


title: JSCN: Joint Spectral Convolutional Network for Cross Domain Recommendation

abstract: Cross-domain recommendation can alleviate the data sparsity problem in recommender systems. To transfer the knowledge from one domain to another, one can either utilize the neighborhood information or learn a direct mapping function. However, all existing methods ignore the high-order connectivity information in cross-domain recommendation area and suffer from the domain-incompatibility problem. In this paper, we propose a \textbf{J}oint \textbf{S}pectral \textbf{C}onvolutional \textbf{N}etwork (JSCN) for cross-domain recommendation. JSCN will simultaneously operate multi-layer spectral convolutions on different graphs, and jointly learn a domain-invariant user representation with a domain adaptive user mapping module. As a result, the high-order comprehensive connectivity information can be extracted by the spectral convolutions and the information can be transferred across domains with the domain-invariant user mapping. The domain adaptive user mapping module can help the incompatible domains to transfer the knowledge across each other. Extensive experiments on $24$ Amazon rating datasets show the effectiveness of JSCN in the cross-domain recommendation, with $9.2\%$ improvement on recall and $36.4\%$ improvement on MAP compared with state-of-the-art methods. Our code is available online ~\footnote{https://github.com/JimLiu96/JSCN}.


title: Insight-HXMT observation on 4U~1608--52: evolving spectral properties of a bright type-I X-ray burst

abstract: The evidences for the influence of thermonuclear (type-I) X-ray bursts upon the surrounding environments in neutron star low-mass X-ray binaries (LMXB) were detected previously via spectral and timing analyses. Benefitting from a broad energy coverage of Insight-HXMT, we analyze one photospheric radius expansion (PRE) burst, and find an emission excess at soft X-rays. Our spectral analysis shows that, such an excess is not likely relevant to the disk reflection induced by the burst emission and can be attributed to an enhanced pre-burst/persistent emission. We find that the burst and enhanced persistent emissions sum up to exceed Eddington luminosity by $\sim$ 40 percentages. We speculate that the enhanced emission is from a region beyond the PRE radius, or through the Comptonization of the corona.


title: On the Convergence of the Iterative Linear Exponential Quadratic Gaussian Algorithm to Stationary Points

abstract: A classical method for risk-sensitive nonlinear control is the iterative linear exponential quadratic Gaussian algorithm. We present its convergence analysis from a first-order optimization viewpoint. We identify the objective that the algorithm actually minimizes and we show how the addition of a proximal term guarantees convergence to a stationary point.


title: Improving the convergence of SGD through adaptive batch sizes

abstract: Mini-batch stochastic gradient descent (SGD) and variants thereof approximate the objective function's gradient with a small number of training examples, aka the batch size. Small batch sizes require little computation for each model update but can yield high-variance gradient estimates, which poses some challenges for optimization. Conversely, large batches require more computation but can yield higher precision gradient estimates. This work presents a method to adapt the batch size to the model's training loss. For various function classes, we show that our method requires the same order of model updates as gradient descent while requiring the same order of gradient computations as SGD. This method requires evaluating the model's loss on the entire dataset every model update. However, the required computation is greatly reduced by approximating the training loss. We provide experiments that illustrate our methods require fewer model updates without increasing the total amount of computation.


title: Toward 3D Object Reconstruction from Stereo Images

abstract: Inferring the 3D shape of an object from an RGB image has shown impressive results, however, existing methods rely primarily on recognizing the most similar 3D model from the training set to solve the problem. These methods suffer from poor generalization and may lead to low-quality reconstructions for unseen objects. Nowadays, stereo cameras are pervasive in emerging devices such as dual-lens smartphones and robots, which enables the use of the two-view nature of stereo images to explore the 3D structure and thus improve the reconstruction performance. In this paper, we propose a new deep learning framework for reconstructing the 3D shape of an object from a pair of stereo images, which reasons about the 3D structure of the object by taking bidirectional disparities and feature correspondences between the two views into account. Besides, we present a large-scale synthetic benchmarking dataset, namely StereoShapeNet, containing 1,052,976 pairs of stereo images rendered from ShapeNet along with the corresponding bidirectional depth and disparity maps. Experimental results on the StereoShapeNet benchmark demonstrate that the proposed framework outperforms the state-of-the-art methods.


title: Overpartitions and Bressoud's conjecture, I

abstract: In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$, where the function $A_j$ counts the number of partitions with certain congruence conditions and the function $B_j$ counts the number of partitions with certain difference conditions. Bressoud's conjecture specializes to a wide variety of well-known theorems in the theory of partitions. Special cases of his conjecture have been subsequently proved by Bressoud, Andrews, Kim and Yee. Recently, Kim resolved Bressoud's conjecture for the case $j=1$. In this paper, we introduce a new partition function $\bar{B}_j$ which can be viewed as an overpartition analogue of the partition function $B_j$ introduced by Bressoud. By means of Gordon markings, we build bijections to obtain a relationship between $\bar{B}_1$ and $B_0$ and a relationship between $\bar{B}_0$ and $B_1$. Based on these former relationships, we further give overpartition analogues of many classical partition theorems including Euler's partition theorem, the Rogers-Ramanujan-Gordon identities, the Bressoud-Rogers-Ramanujan identities, the Andrews-G\"ollnitz-Gordon identities and the Bressoud-G\"ollnitz-Gordon identities.


title: Learning Continuous Occupancy Maps with the Ising Process Model

abstract: We present a new method of learning a continuous occupancy field for use in robot navigation. Occupancy grid maps, or variants of, are possibly the most widely used and accepted method of building a map of a robot's environment. Various methods have been developed to learn continuous occupancy maps and have successfully resolved many of the shortcomings of grid mapping, namely, priori discretisation and spatial correlation. However, most methods for producing a continuous occupancy field remain computationally expensive or heuristic in nature. Our method explores a generalisation of the so-called Ising model as a suitable candidate for modelling an occupancy field. We also present a unique kernel for use within our method that models range measurements. The method is quite attractive as it requires only a small number of hyperparameters to be trained, and is computationally efficient. The small number of hyperparameters can be quickly learned by maximising a pseudo likelihood. The technique is demonstrated on both a small simulated indoor environment with known ground truth as well as large indoor and outdoor areas, using two common real data sets.


title: Deterministic generation of Greenberger-Horne-Zeilinger entangled states of cat-state qubits in circuit QED

abstract: We present an efficient method to generate a Greenberger-Horne-Zeilinger (GHZ) entangled state of three cat-state qubits (cqubits) via circuit QED. The GHZ state is prepared with three microwave cavities coupled to a superconducting transmon qutrit. Because the qutrit remains in the ground state during the operation, decoherence caused by the energy relaxation and dephasing of the qutrit is greatly suppressed. The GHZ state is created deterministically because no measurement is involved. Numerical simulations show that high-fidelity generation of a three-cqubit GHZ state is feasible with present circuit QED technology. This proposal can be easily extended to create a $N$-cqubit GHZ state ($N\geq 3$), with $N$ microwave or optical cavities coupled to a natural or artificial three-level atom.


title: Entanglement distribution between quantum repeater nodes with an absorptive type memory

abstract: Quantum repeaters, which are indispensable for long-distance quantum communication, are necessary for extending the entanglement from short distance to long distance; however, high-rate entanglement distribution, even between adjacent repeater nodes, has not been realized. In a recent work by C. Jones, et al., New J. Phys. 18, 083015 (2016), the entanglement distribution rate between adjacent repeater nodes was calculated for a plurality of quantum dots, nitrogen-vacancy centers in diamond, and trapped ions adopted as quantum memories inside the repeater nodes. Considering practical use, arranging a plurality of quantum memories becomes so difficult with the state-of-the art technology. It is desirable that high-rate entanglement distribution is realized with as few memory crystals as possible. Here we propose new entanglement distribution scheme with one quantum memory based on the atomic frequency comb which enables temporal multimode operation with one crystal. The adopted absorptive type quantum memory degrades the difficulty of multimode operation compared with previously investigated quantum memories directly generating spin-photon entanglement. It is shown that the present scheme improves the distribution rate by nearly two orders of magnitude compared with the result in C. Jones, et al., New J. Phys. 18, 083015 (2016) and the experimental implementation is close by utilizing state-of-the-art technology.


title: Conductors and minimal discriminants of hyperelliptic curves: A comparison in the tame case

abstract: Let $C$ be a hyperelliptic curve of genus $g$ over the fraction field $K$ of a discrete valuation ring $R$. Assume that the residue field $k$ of $R$ is perfect and that $\mathrm{char}\ k > 2g+1$. Let $S = \mathrm{Spec}\ R$. Let $X$ be the minimal proper regular model of $C$ over $S$. Let $\mathrm{Art}\ (C/K)$ denote the Artin conductor of the $S$-scheme $X$ and let $\nu (\Delta_C)$ denote the minimal discriminant of $C$. We prove that $-\mathrm{Art}\ (C/K) \leq \nu (\Delta_C)$. The key ingredients are a combinatorial refinement of the discriminant introduced in this paper (called the metric tree) and a recent refinement of Abhyankar's inversion formula for studying plane curve singularities. We also prove combinatorial restrictions for $-\mathrm{Art}\ (C/K) = \nu (\Delta_C)$.


title: Dynamic Resource Allocation and Activity Management for Energy Efficiency and Fairness in Heterogeneous Networks

abstract: Higher energy consumption of Heterogeneous Networks (HetNet), compared to Macro Only Networks (MONET), raises a great concern about the energy efficiency of HetNets. In this work we study a dynamic activation strategy, which changes the state of small cells between Active and Idle according to the dynamically changing user traffic, in order to increase the energy efficiency of HetNets. Moreover, we incorporate dynamic inter-tier bandwidth allocation to our model. The proposed Dynamic Bandwidth Allocation and Dynamic Activation (DBADA) strategy is applied in cell-edge deployment of small cells, where HotSpot regions are located far from the master base station. Our objective is to maximize the sum utility of the network with minimum energy consumption. To ensure proportional fairness among users, we used logarithmic utility function. To evaluate the performance of the proposed strategy, the median, 10-percentile and the sum of users' data rates and the network energy consumption are evaluated by simulation. Our simulation results shows that the DBADA strategy improves the energy consumed per unit of users' data rate by up to $25\%$. It also achieves lower energy consumption by at least $25\%$, compared to always active scenario for small cells.


title: Cooperative Beamforming in Cognitive Radio Relay Networks Using Amplify-and-Forward Relaying Technique

abstract: In this work, we study the problem of relay beamforming for an underlay cognitive radio relay network using amplify-and-forward (AF) relaying technique. We consider a cognitive radio network consisting of single primary and multiple secondary transmitters/receivers. In addition, there are several relay nodes that help both primary and secondary networks. We propose a new beamforming method for relays' transmission, in which the beamforming weights at the relays are the solution of an optimization problem. The objective of the optimization problem is maximizing the worst case signal to interference plus noise ratio (SINR) at the secondary receivers (SU-RX) and the constraints are the interference power on the primary receiver (PU-RX) and the total transmitted power of the relay nodes. We show that the beamforming problem can be reformulated as a second order cone programming (SOCP) problem and solved by the bisection search method. Our simulation results show the performance improvement as a function of the size and the power of the relay network.


title: Shocked Narrow-Angle Tail Radio Galaxies: Simulations and Emissions

abstract: We present a numerical study of the interactions between the elongated AGN outflows representing an evolved, narrow-angle tail (NAT) radio galaxy and planar, transverse ICM shock fronts characteristic of those induced by galaxy cluster mergers (incident Mach numbers 2 - 4). The simulated NAT formation was reported previously in \cite{on19a}. Our simulations utilize a three-dimensional, Eulerian magnetohydrodynamic code along with energy-dependent Eulerian transport of passive cosmic ray electrons. Our analysis of the shock/NAT interaction applies a Riemann problem-based theoretical model to interpret complex shock front behavior during passage through the highly heterogeneous structures of the simulated NAT tails. In addition to shock compression, shock-induced vortical motions are observed within the tails that contribute to coherent turbulent dynamo processes that continue to amplify the magnetic fields in the tails well after initial shock compression. We analyze synthetic radio observations spanning the NAT-shock interaction period, and examine the brightness, spectral and polarization properties of our shock-rejuvenated radio tails, as well as the extent to which the pre-shock states of the plasma and particle populations in our tails influence post-shock observations. Finally, we evaluate our findings in the possible context of a physical analogy to our simulated NAT providing the precursor to a cluster ``radio relic'' associated with an impacting ICM shock.


title: FLIP:FLexible IoT Path Programming Framework for Large-scale IoT

abstract: With the rapid increase in smart objects forming IoT fabric, it is inevitable to see billions of devices connected together, forming large-scale IoT networks. This expeditious increase in IoT devices is giving rise to increased user requirements and network complexity. Collecting big data from these IoT devices with optimal network utilization and simplicity is becoming more and more challenging. This paper proposes FLIP- FLexible IoT Path Programming Framework for Large-scale IoT. The distinctive feature of FLIP is that it focuses on the IoT fabric from the perspective of user requirements and uses SDN techniques along with DPI technology to efficiently fulfill the user requirements and establish datapath in the network in an automated and distributed manner. FLIP utilizes SDN structure to optimize network utilization through in-network computing and automated datapath establishment, also hiding network complexity along the way. We evaluated our framework through experiments, and results indicate that FLIP has the potential to fulfill user requirements in an automated fashion and optimize network utilization.


title: Spatially-Aware Graph Neural Networks for Relational Behavior Forecasting from Sensor Data

abstract: In this paper, we tackle the problem of relational behavior forecasting from sensor data. Towards this goal, we propose a novel spatially-aware graph neural network (SpAGNN) that models the interactions between agents in the scene. Specifically, we exploit a convolutional neural network to detect the actors and compute their initial states. A graph neural network then iteratively updates the actor states via a message passing process. Inspired by Gaussian belief propagation, we design the messages to be spatially-transformed parameters of the output distributions from neighboring agents. Our model is fully differentiable, thus enabling end-to-end training. Importantly, our probabilistic predictions can model uncertainty at the trajectory level. We demonstrate the effectiveness of our approach by achieving significant improvements over the state-of-the-art on two real-world self-driving datasets: ATG4D and nuScenes.


title: Federated Learning with Unbiased Gradient Aggregation and Controllable Meta Updating

abstract: Federated learning (FL) aims to train machine learning models in the decentralized system consisting of an enormous amount of smart edge devices. Federated averaging (FedAvg), the fundamental algorithm in FL settings, proposes on-device training and model aggregation to avoid the potential heavy communication costs and privacy concerns brought by transmitting raw data. However, through theoretical analysis we argue that 1) the multiple steps of local updating will result in gradient biases and 2) there is an inconsistency between the expected target distribution and the optimization objectives following the training paradigm in FedAvg. To tackle these problems, we first propose an unbiased gradient aggregation algorithm with the keep-trace gradient descent and the gradient evaluation strategy. Then we introduce an additional controllable meta updating procedure with a small set of data samples, indicating the expected target distribution, to provide a clear and consistent optimization objective. Both the two improvements are model- and task-agnostic and can be applied individually or together. Experimental results demonstrate that the proposed methods are faster in convergence and achieve higher accuracy with different network architectures in various FL settings.


title: Radio spectral properties of cores and extended regions in blazars in the MHz regime

abstract: Low-frequency radio surveys allow in-depth studies and new analyses of classes of sources previously known and characterised only in other bands. In recent years, low radio frequency observations of blazars have been available thanks to new surveys, such as the GaLactic and Extragalactic All-sky MWA Survey (GLEAM). We search for gamma-ray blazars in a low frequency (${\nu}$ < 240MHz) survey, to characterise the spectral properties of the spatial components. We cross-correlate GLEAM with the fourth catalogue of active galactic nuclei (4LAC) detected by the Fermi satellite. This improves over previous works using a low frequency catalogue that is wider, deeper, with a better spectral coverage and the latest and most sensitive gamma-ray source list. In comparison to the previous study based on the commissioning survey, the detection rate increased from 35% to 70%. We include Australia Telescope 20GHz (AT20G) Survey data to extract high-frequency high-angular resolution information on the radio cores of blazars. We find low radio frequency counterparts for 1274 out of 1827 blazars in the 72-231 MHz range. Blazars have at spectrum at $\sim$ 100MHz regime, with a mean spectral index ${\alpha}$ = -0.44 +-0.01 (assuming S $\propto$ ${\nu}^ {\alpha}$ ). Low synchrotron peaked objects have a scatter spectrum than high synchrotron peaked objects. Low frequency radio and gamma-ray emission show a significant but scattered correlation. The ratio between lobe and core radio emission in gamma-ray blazars is smaller than previously estimated.


title: A hierarchical structure in the motion representation of 2-state number-conserving cellular automata

abstract: A one-dimensional two-state number-conserving cellular automaton (NCCA) is a cellular automaton whose states are 0 or 1 and where cells take states 0 and 1 and updated their states by the rule which keeps overall sum of states constant. It can be regarded as a kind of particle based modeling of physical systems and has another intuitive representation, motion representation, based on the movement of each particle. We introduced a kind of hierarchical interpretation of motion representations to understand the necessary pattern size to each motion. We show any NCCA of its neighborhood size n can be hierarchically represented by NCCAs of their neighborhood size from n-1 to 1.


title: Mirror Descent View for Neural Network Quantization

abstract: Quantizing large Neural Networks (NN) while maintaining the performance is highly desirable for resource-limited devices due to reduced memory and time complexity. It is usually formulated as a constrained optimization problem and optimized via a modified version of gradient descent. In this work, by interpreting the continuous parameters (unconstrained) as the dual of the quantized ones, we introduce a Mirror Descent (MD) framework for NN quantization. Specifically, we provide conditions on the projections (i.e., mapping from continuous to quantized ones) which would enable us to derive valid mirror maps and in turn the respective MD updates. Furthermore, we present a numerically stable implementation of MD that requires storing an additional set of auxiliary variables (unconstrained), and show that it is strikingly analogous to the Straight Through Estimator (STE) based method which is typically viewed as a "trick" to avoid vanishing gradients issue. Our experiments on CIFAR-10/100, TinyImageNet, and ImageNet classification datasets with VGG-16, ResNet-18, and MobileNetV2 architectures show that our MD variants obtain quantized networks with state-of-the-art performance. Code is available at https://github.com/kartikgupta-at-anu/md-bnn.


title: Flying Unicorn: Developing a Game for a Quantum Computer

abstract: What is it like to create a game for a quantum computer? With its ability to perform calculations and processing in a distinctly different way than classical computers, quantum computing has the potential for becoming the next revolution in information technology. Flying Unicorn is a game developed for a quantum computer. It is designed to explore the properties of superposition and uncertainty. In this paper, we explore the development of the game, using Python Qiskit. We detail the usage of qubits and an implementation of Grover's search. Finally, we compare and contrast a classical implementation of the game against the quantum computing design, including execution and performance on a physical quantum computer at IBMQ.


title: Convergence of a first-order consensus-based global optimization algorithm

abstract: Global optimization of a non-convex objective function often appears in large-scale machine-learning and artificial intelligence applications. Recently, consensus-based optimization (in short CBO) methods have been introduced as one of the gradient-free optimization methods. In this paper, we provide a convergence analysis for the first-order CBO method in \cite{C-J-L-Z}. Prior to the current work, the convergence study was carried out for CBO methods on corresponding mean-field limit, a Fokker-Planck equation, which does not imply the convergence of the CBO method {\it per se}. Based on the consensus estimate directly on the first-order CBO model, we provide a convergence analysis of the first-order CBO method \cite{C-J-L-Z} without resorting to the corresponding mean-field model. Our convergence analysis consists of two steps. In the first step, we show that the CBO model exhibits a global consensus time asymptotically for any initial data, and in the second step, we provide a sufficient condition on system parameters--which is dimension independent-- and initial data which guarantee that the converged consensus state lies in a small neighborhood of the global minimum almost surely.


title: Universal quantum gate with hybrid qubits in circuit quantum electrodynamics

abstract: Hybrid qubits have recently drawn intensive attention in quantum computing. We here propose a method to implement a universal controlled-phase gate of two hybrid qubits via two three-dimensional (3D) microwave cavities coupled to a superconducting flux qutrit. For the gate considered here, the control qubit is a microwave photonic qubit (particle-like qubit), whose two logic states are encoded by the vacuum state and the single-photon state of a cavity, while the target qubit is a cat-state qubit (wave-like qubit), whose two logic states are encoded by the two orthogonal cat states of the other cavity. During the gate operation, the qutrit remains in the ground state; therefore decoherence from the qutrit is greatly suppressed. The gate realization is quite simple, because only a single basic operation is employed and neither classical pulse nor measurement is used. Our numerical simulations demonstrate that with current circuit QED technology, this gate can be realized with a high fidelity. The generality of this proposal allows to implement the proposed gate in a wide range of physical systems, such as two 1D or 3D microwave or optical cavities coupled to a natural or artificial three-level atom. Finally, this proposal can be applied to create a novel entangled state between a particle-like photonic qubit and a wave-like cat-state qubit.


title: Engineering quantum wave-packet dispersion with a strong nonresonant femtosecond laser pulse

abstract: A non-dispersing wave packet has been attracting much interest from various scientific and technological viewpoints. However, most quantum systems are accompanied by anharmonicity, so that retardation of quantum wave-packet dispersion is limited to very few examples only under specific conditions and targets. Here we demonstrate a conceptually new and universal method to retard or advance the dispersion of a quantum wave packet through 'programmable time shift' induced by a strong non-resonant femtosecond laser pulse. A numerical simulation has verified that a train of such retardation pulses stops wave-packet dispersion.


title: Investigating Task-driven Latent Feasibility for Nonconvex Image Modeling

abstract: Properly modeling latent image distributions plays an important role in a variety of image-related vision problems. Most exiting approaches aim to formulate this problem as optimization models (e.g., Maximum A Posterior, MAP) with handcrafted priors. In recent years, different CNN modules are also considered as deep priors to regularize the image modeling process. However, these explicit regularization techniques require deep understandings on the problem and elaborately mathematical skills. In this work, we provide a new perspective, named Task-driven Latent Feasibility (TLF), to incorporate specific task information to narrow down the solution space for the optimization-based image modeling problem. Thanks to the flexibility of TLF, both designed and trained constraints can be embedded into the optimization process. By introducing control mechanisms based on the monotonicity and boundedness conditions, we can also strictly prove the convergence of our proposed inference process. We demonstrate that different types of image modeling problems, such as image deblurring and rain streaks removals, can all be appropriately addressed within our TLF framework. Extensive experiments also verify the theoretical results and show the advantages of our method against existing state-of-the-art approaches.


title: Reflecting After Learning for Understanding

abstract: Today, image classification is a common way for systems to process visual content. Although neural network approaches to classification have seen great progress in reducing error rates, it is not clear what this means for a cognitive system that needs to make sense of the multiple and competing predictions from its own classifiers. As a step to address this, we present a novel framework that uses meta-reasoning and meta-operations to unify predictions into abstractions, properties, or relationships. Using the framework on images from ImageNet, we demonstrate systems that unify 41% to 46% of predictions in general and unify 67% to 75% of predictions when the systems can explain their conceptual differences. We also demonstrate a system in "the wild" by feeding live video images through it and show it unifying 51% of predictions in general and 69% of predictions when their differences can be explained conceptually by the system. In a survey given to 24 participants, we found that 87% of the unified predictions describe their corresponding images.


title: Simultaneously shaping the intensity and phase of light for optical nanomanipulation

abstract: Holographic optical tweezers can be applied to manipulate microscopic particles in arbitrary optical patterns, which classical optical tweezers cannot do. This ability relies on accurate computer-generated holography (CGH), yet most CGH techniques can only shape the intensity profiles while the phase distributions are random. Here, we introduce a new method for fast generation of holograms that allows for simultaneously shaping both the intensity and phase distributions of light. The method uses a discrete inverse Fourier transform formula to directly calculate a hologram in one step, in which a random phase factor is introduced into the formula to enable simultaneous control of intensity and phase. Various optical patterns can be created, as demonstrated by the experimentally measured intensity and phase profiles projected from the holograms. The simultaneous shaping of intensity and phase of light provides new opportunities for optical trapping and manipulation, such as optical transportation of metal nanoparticles in ring traps with linear and nonlinear phase distributions.


title: Detection of gravitational waves using topological data analysis and convolutional neural network: An improved approach

abstract: The gravitational wave detection problem is challenging because the noise is typically overwhelming. Convolutional neural networks (CNNs) have been successfully applied, but require a large training set and the accuracy suffers significantly in the case of low SNR. We propose an improved method that employs a feature extraction step using persistent homology. The resulting method is more resilient to noise, more capable of detecting signals with varied signatures and requires less training. This is a powerful improvement as the detection problem can be computationally intense and is concerned with a relatively large class of wave signatures.

categories: astro-ph.IM astro-ph.HE cs.LG gr-qc physics.data-an


title: Relativistic interacting integrable elliptic tops

abstract: We propose relativistic generalization of integrable systems describing $M$ interacting elliptic ${\rm gl}(N)$ tops of the Euler-Arnold type. The obtained models are elliptic integrable systems, which reproduce the spin elliptic ${\rm GL}(M)$ Ruijsenaars-Schneider model for $N=1$ case, while in the $M=1$ case they turn into relativistic integrable ${\rm GL}(N)$ elliptic tops. The Lax pairs with spectral parameter on elliptic curve are constructed.


title: Medium Amplitude Parallel Superposition (MAPS) Rheology, Part 1: Mathematical Framework and Theoretical Examples

abstract: A new mathematical representation for nonlinear viscoelasticity is presented based on application of the Volterra series expansion to the general nonlinear relationship between shear stress and shear strain history. This theoretical and experimental framework, which we call Medium Amplitude Parallel Superposition (MAPS) Rheology, reveals a new material property, the third order complex modulus, which describes completely the weakly nonlinear response of a viscoelastic material in an arbitrary simple shear flow. In this first part, we discuss several theoretical aspects of this mathematical formulation and new material property. For example, we show how MAPS measurements can be performed in strain- or stress-controlled contexts and provide relationships between the weakly nonlinear response functions measured in each case. We show that the MAPS response function is a super-set of the response functions that have been previously reported in medium amplitude oscillatory shear and parallel superposition rheology experiments. We also show how to exploit inherent symmetries of the MAPS response function to reduce it to a minimal domain for straightforward measurement and visualization. We compute this material property for a few constitutive models to illustrate the potential richness of the data sets generated by MAPS experiments. Finally, we discuss the MAPS framework in the context of some other nonlinear, time-dependent rheological probes and explain how the MAPS methodology has a distinct advantage over these others because it generates data embedded in a very high dimensional space without driving fluid mechanical instabilities, and is agnostic to the flow protocol.


title: Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores

abstract: In this paper, we evaluate and compare the performance of two approaches, namely self-stabilization and rollback, to handling consistency violation faults (cvf) that occurred when a distributed program is executed on eventually consistent key-value store. We observe that self-stabilization is usually better than rollbacks in our experiments. Moreover, when we aggressively allow more cvf in exchange of eliminating mechanisms for guaranteeing atomicity requirements of actions, we observe the programs in our case studies achieve a speedup between 2--15 times compared with the standard implementation. We also analyze different factors that contribute to the results. Our results and analysis are useful in helping a system designer choose proper design options for their program.


title: Relational Graph Representation Learning for Open-Domain Question Answering

abstract: We introduce a relational graph neural network with bi-directional attention mechanism and hierarchical representation learning for open-domain question answering task. Our model can learn contextual representation by jointly learning and updating the query, knowledge graph, and document representations. The experiments suggest that our model achieves state-of-the-art on the WebQuestionsSP benchmark.


title: AFO-TAD: Anchor-free One-Stage Detector for Temporal Action Detection

abstract: Temporal action detection is a fundamental yet challenging task in video understanding. Many of the state-of-the-art methods predict the boundaries of action instances based on predetermined anchors akin to the two-dimensional object detection detectors. However, it is hard to detect all the action instances with predetermined temporal scales because the durations of instances in untrimmed videos can vary from few seconds to several minutes. In this paper, we propose a novel action detection architecture named anchor-free one-stage temporal action detector (AFO-TAD). AFO-TAD achieves better performance for detecting action instances with arbitrary lengths and high temporal resolution, which can be attributed to two aspects. First, we design a receptive field adaption module which dynamically adjusts the receptive field for precise action detection. Second, AFO-TAD directly predicts the categories and boundaries at every temporal locations without predetermined anchors. Extensive experiments show that AFO-TAD improves the state-of-the-art performance on THUMOS'14.


title: Warm Start of Mixed-Integer Programs for Model Predictive Control of Hybrid Systems

abstract: In hybrid Model Predictive Control (MPC), a Mixed-Integer Quadratic Program (MIQP) is solved at each sampling time to compute the optimal control action. Although these optimizations are generally very demanding, in MPC we expect consecutive problem instances to be nearly identical. This paper addresses the question of how computations performed at one time step can be reused to accelerate (warm start) the solution of subsequent MIQPs. Reoptimization is not a rare practice in integer programming: for small variations of certain problem data, the branch-and-bound algorithm allows an efficient reuse of its search tree and the dual bounds of its leaf nodes. In this paper we extend these ideas to the receding-horizon settings of MPC. The warm-start algorithm we propose copes naturally with arbitrary model errors, has a negligible computational cost, and frequently enables an a-priori pruning of most of the search space. Theoretical considerations and experimental evidence show that the proposed method tends to reduce the combinatorial complexity of the hybrid MPC problem to that of a one-step look-ahead optimization, greatly easing the online computation burden.


title: Entity Summarization: State of the Art and Future Challenges

abstract: The increasing availability of semantic data has substantially enhanced Web applications. Semantic data such as RDF data is commonly represented as entity-property-value triples. The magnitude of semantic data, in particular the large number of triples describing an entity, could overload users with excessive amounts of information. This has motivated fruitful research on automated generation of summaries for entity descriptions to satisfy users' information needs efficiently and effectively. We focus on this prominent topic of entity summarization, and our research objective is to present the first comprehensive survey of entity summarization research. Rather than separately reviewing each method, our contributions include (1) identifying and classifying technical features of existing methods to form a high-level overview, (2) identifying and classifying frameworks for combining multiple technical features adopted by existing methods, (3) collecting known benchmarks for intrinsic evaluation and efforts for extrinsic evaluation, and (4) suggesting research directions for future work. By investigating the literature, we synthesized two hierarchies of techniques. The first hierarchy categories generic technical features into several perspectives: frequency and centrality, informativeness, and diversity and coverage. In the second hierarchy we present domain-specific and task-specific technical features, including the use of domain knowledge, context awareness, and personalization. Our review demonstrated that existing methods are mainly unsupervised and they combine multiple technical features using various frameworks: random surfer models, similarity-based grouping, MMR-like re-ranking, or combinatorial optimization. We also found a few deep learning based methods in recent research.


title: Random Graphs from Random Matrices

abstract: We use the order complex corresponding to a symmetric matrix (defined by Giusti et al in 2015). In this note, we use it to define a class of models of random graphs, and show some surprising experimental results, showing sharp phase transitions.


title: Doping-dependent phonon anomaly and charge-order phenomena in the HgBa$_{2}$CuO$_{4+\delta}$ and HgBa$_{2}$CaCu$_{2}$O$_{6+\delta}$

abstract: Using resonant X-ray diffraction and Raman spectroscopy, we study charge correlations and lattice dynamics in two model cuprates, HgBa$_{2}$CuO$_{4+\delta}$ and HgBa$_{2}$CaCu$_{2}$O$_{6+\delta}$. We observe a maximum of the characteristic charge order temperature around the same hole concentration ($p \approx 0.09$) in both compounds, and concomitant pronounced anomalies in the lattice dynamics that involve the motion of atoms in and/or adjacent to the CuO$_2$ layers. These anomalies are already present at room temperature, and therefore precede the formation of the static charge correlations, and we attribute them to an instability of the CuO$_2$ layers. Our finding implies that the charge order in the cuprates is an emergent phenomenon, driven by a fundamental variation in both lattice and electronic properties as a function of doping.


title: An analogue of Ruzsa's conjecture for polynomials over finite fields

abstract: In 1971, Ruzsa conjectured that if $f:\ \mathbb{N}\rightarrow\mathbb{Z}$ with $f(n+k)\equiv f(n)$ mod $k$ for every $n,k\in\mathbb{N}$ and $f(n)=O(\theta^n)$ with $\theta<e$ then $f$ is a polynomial. In this paper, we investigate the analogous problem for the ring of polynomials over a finite field.


title: Smoothing pairs over degenerate Calabi-Yau varieties

abstract: We apply the techniques developed in our previous work with Leung to study smoothings of a pair $(X,\mathfrak{C}^*)$, where $\mathfrak{C}^*$ is a bounded perfect complex of locally free sheaves over a degenerate Calabi-Yau variety $X$. In particular, if $X$ is a projective Calabi-Yau variety admitting the structure of a toroidal crossing space and with the higher tangent sheaf $\mathcal{T}^1_X$ globally generated, and $\mathfrak{F}$ is a locally free sheaf over $X$, then we prove, using the recent results of Felten-Filip-Ruddat, that the pair $(X,\mathfrak{F})$ is formally smoothable when $\text{Ext}^2(\mathfrak{F},\mathfrak{F})_0 = 0$ and $H^2(X,\mathcal{O}_X) = 0$.


title: Fusion and positivity in chiral conformal field theory

abstract: Conformal nets and vertex operator algebras are axiomatizations of two-dimensional chiral conformal field theories, both of which have had a significant impact on related mathematical areas of study. The two settings are expected to be equivalent under suitable hypotheses, but in practice such an equivalence has proven elusive, especially with regard to fusion products. This article develops a framework for the systematic comparison of fusion products between the contexts of VOAs and conformal nets. This framework is based on the geometric technique of 'bounded localized vertex operators,' which realizes algebras of observables via insertion operators localized in partially thin Riemann surfaces. We apply our framework to solve old problems about conformal nets and subfactors (e.g. rationality of all WZW conformal nets), obtain new results about VOAs (e.g. unitarity of representation categories), and give short proofs of many old results. We also consider a general class of positivity phenomena for VOAs, and use this to outline a program for identifying unitary tensor product theories of VOAs and conformal nets even for badly-behaved models.


title: Sufficient Conditions for Exact Semidefinite Relaxation of Optimal Power Flow in Unbalanced Multiphase Radial Networks

abstract: This paper proves that in an unbalanced multi-phase network with a tree topology, the semidefinite programming relaxation of optimal power flow problems is exact when critical buses are not adjacent to each other. Here a critical bus either contributes directly to the cost function or is where an injection constraint is tight at optimality. Our result generalizes a sufficient condition for exact relaxation in single-phase tree networks to tree networks with arbitrary number of phases.


title: Eye in the Sky: Drone-Based Object Tracking and 3D Localization

abstract: Drones, or general UAVs, equipped with a single camera have been widely deployed to a broad range of applications, such as aerial photography, fast goods delivery and most importantly, surveillance. Despite the great progress achieved in computer vision algorithms, these algorithms are not usually optimized for dealing with images or video sequences acquired by drones, due to various challenges such as occlusion, fast camera motion and pose variation. In this paper, a drone-based multi-object tracking and 3D localization scheme is proposed based on the deep learning based object detection. We first combine a multi-object tracking method called TrackletNet Tracker (TNT) which utilizes temporal and appearance information to track detected objects located on the ground for UAV applications. Then, we are also able to localize the tracked ground objects based on the group plane estimated from the Multi-View Stereo technique. The system deployed on the drone can not only detect and track the objects in a scene, but can also localize their 3D coordinates in meters with respect to the drone camera. The experiments have proved our tracker can reliably handle most of the detected objects captured by drones and achieve favorable 3D localization performance when compared with the state-of-the-art methods.


title: ECH capacities and the Ruelle invariant

abstract: The ECH capacities are a sequence of real numbers associated to any symplectic four-manifold, which are monotone with respect to symplectic embeddings. It is known that for a compact star-shaped domain in R^4, the ECH capacities asymptotically recover the volume of the domain. We conjecture, with a heuristic argument, that generically the error term in this asymptotic formula converges to a constant determined by a "Ruelle invariant" which measures the average rotation of the Reeb flow on the boundary. Our main result is a proof of this conjecture for a large class of toric domains. As a corollary, we obtain a general obstruction to symplectic embeddings of open toric domains with the same volume. For more general domains in R^4, we bound the error term with an improvement on the previously known exponent from 2/5 to 1/4.


title: Distributed Hypothesis Testing with Variable-Length Coding

abstract: This paper characterizes the optimal type-II error exponent for a distributed hypothesis testing-against-independence problem when the \emph{expected} rate of the sensor-detector link is constrained. Unlike for the well-known Ahlswede-Csiszar result that holds under a \emph{maximum} rate constraint and where a strong converse holds, here the optimal exponent depends on the allowed type-I error exponent. Specifically, if the type-I error probability is limited by $\epsilon$, then the optimal type-II error exponent under an \emph{expected} rate constraint $R$ coincides with the optimal type-II error exponent under a \emph{maximum} rate constraint of $(1-\epsilon)R$.


title: Physical Layer Encryption using a Vernam Cipher

abstract: Secure communication is a necessity. However, encryption is commonly only applied to the upper layers of the protocol stack. This exposes network information to eavesdroppers, including the channel's type, data rate, protocol, and routing information. This may be solved by encrypting the physical layer, thereby securing all subsequent layers. In order for this method to be practical, the encryption must be quick, preserve bandwidth, and must also deal with the issues of noise mitigation and synchronization. In this paper, we present the Vernam Physical Signal Cipher (VPSC): a novel cipher which can encrypt the harmonic composition of any analog waveform. The VPSC accomplished this by applying a modified Vernam cipher to the signal's frequency magnitudes and phases. This approach is fast and preserves the signal's bandwidth. In the paper, we offer methods for noise mitigation and synchronization, and evaluate the VPSC over a noisy wireless channel with multi-path propagation interference.


title: BOBBY2: Buffer Based Robust High-Speed Object Tracking

abstract: In this work, a novel high-speed single object tracker that is robust against non-semantic distractor exemplars is introduced; dubbed BOBBY2. It incorporates a novel exemplar buffer module that sparsely caches the target's appearance across time, enabling it to adapt to potential target deformation. As for training, an augmented ImageNet-VID dataset was used in conjunction with the one cycle policy, enabling it to reach convergence with less than 2 epoch worth of data. For validation, the model was benchmarked on the GOT-10k dataset and on an additional small, albeit challenging custom UAV dataset collected with the TU-3 UAV. We demonstrate that the exemplar buffer is capable of providing redundancies in case of unintended target drifts, a desirable trait in any middle to long term tracking. Even when the buffer is predominantly filled with distractors instead of valid exemplars, BOBBY2 is capable of maintaining a near-optimal level of accuracy. BOBBY2 manages to achieve a very competitive result on the GOT-10k dataset and to a lesser degree on the challenging custom TU-3 dataset, without fine-tuning, demonstrating its generalizability. In terms of speed, BOBBY2 utilizes a stripped down AlexNet as feature extractor with 63% less parameters than a vanilla AlexNet, thus being able to run at a competitive 85 FPS.


title: Learning Compositional Koopman Operators for Model-Based Control

abstract: Finding an embedding space for a linear approximation of a nonlinear dynamical system enables efficient system identification and control synthesis. The Koopman operator theory lays the foundation for identifying the nonlinear-to-linear coordinate transformations with data-driven methods. Recently, researchers have proposed to use deep neural networks as a more expressive class of basis functions for calculating the Koopman operators. These approaches, however, assume a fixed dimensional state space; they are therefore not applicable to scenarios with a variable number of objects. In this paper, we propose to learn compositional Koopman operators, using graph neural networks to encode the state into object-centric embeddings and using a block-wise linear transition matrix to regularize the shared structure across objects. The learned dynamics can quickly adapt to new environments of unknown physical parameters and produce control signals to achieve a specified goal. Our experiments on manipulating ropes and controlling soft robots show that the proposed method has better efficiency and generalization ability than existing baselines.


title: Infinite families of near MDS codes holding $t$-designs

abstract: An $[n, k, n-k+1]$ linear code is called an MDS code. An $[n, k, n-k]$ linear code is said to be almost maximum distance separable (almost MDS or AMDS for short). A code is said to be near maximum distance separable (near MDS or NMDS for short) if the code and its dual code both are almost maximum distance separable. The first near MDS code was the $[11, 6, 5]$ ternary Golay code discovered in 1949 by Golay. This ternary code holds $4$-designs, and its extended code holds a Steiner system $S(5, 6, 12)$ with the largest strength known. In the past 70 years, sporadic near MDS codes holding $t$-designs were discovered and many infinite families of near MDS codes over finite fields were constructed. However, the question as to whether there is an infinite family of near MDS codes holding an infinite family of $t$-designs for $t\geq 2$ remains open for 70 years. This paper settles this long-standing problem by presenting an infinite family of near MDS codes over $\mathrm{GF}(3^s)$ holding an infinite family of $3$-designs and an infinite family of near MDS codes over $\mathrm{GF}(2^{2s})$ holding an infinite family of $2$-designs. The subfield subcodes of these two families are also studied, and are shown to be dimension-optimal or distance-optimal.


title: Kardar-Parisi-Zhang universality from soft gauge modes

abstract: The emergence of superdiffusive spin dynamics in integrable classical and quantum magnets is well established by now, but there is no generally valid theoretical explanation for this phenomenon. A fundamental difficulty is that the hydrodynamic fluctuations of conserved quasiparticle modes are purely diffusive. We argue that in isotropic integrable magnets, a complete hydrodynamic description must include soft "gauge" degrees of freedom, that arise from spontaneous breaking of the Bethe pseudovacuum symmetry. We show that the coarse-grained time evolution of these modes lies in the Kardar-Parisi-Zhang universality class of dynamics.


title: Some fundamental problems in global Finsler geometry

abstract: The geometry and analysis on Finsler manifolds is a very important part of Finsler geometry. In this article, we introduce some important and fundamental topics in global Finsler geometry and discuss the related properties and the relationships in them. In particular, we optimize and improve the various definitions of Lie derivatives on Finsler manifolds. We also characterize the gradient vector fields and obtain a gradient estimate for any smooth function on a Randers manifold.


title: Secure Coded Caching with Colluding Users

abstract: In a secure coded caching system, a central server balances the traffic flow between peak and off-peak periods by distributing some public data to the users' caches in advance. Meanwhile, these data are securely protected against the possible colluding users, who might share their cache. We model the system as a flow network and study its capacity region via a network information-theoretic approach. Due to the difficulty of characterizing the capacity region straightforwardly, our approach is two folded from the perspective of network information theory. On one hand, we identify the inner bound of capacity region by proposing a coded caching scheme to achieve a low load secure data transmission. On the other hand, we also establish outer outer bounds on the capacity region, which show that our proposed scheme is order optimal in general under specific circumstance.


title: Superintegrable systems and Riemann-Roch theorem

abstract: In algebraic geometry, there is a reduction algorithm that transforms the unreduced divisor into a unique reduced divisor, which existence is guaranteed by the Riemann-Roch theorem. We discuss application of this algorithm to construction of finite-dimensional superintegrable systems with $n$ degrees of freedom identifying coordinates of the reduced divisor with integrals of motion.


title: Learning to Answer Subjective, Specific Product-Related Queries using Customer Reviews by Adversarial Domain Adaptation

abstract: Online customer reviews on large-scale e-commerce websites, represent a rich and varied source of opinion data, often providing subjective qualitative assessments of product usage that can help potential customers to discover features that meet their personal needs and preferences. Thus they have the potential to automatically answer specific queries about products, and to address the problems of answer starvation and answer augmentation on associated consumer Q & A forums, by providing good answer alternatives. In this work, we explore several recently successful neural approaches to modeling sentence pairs, that could better learn the relationship between questions and ground truth answers, and thus help infer reviews that can best answer a question or augment a given answer. In particular, we hypothesize that our adversarial domain adaptation-based approach, due to its ability to additionally learn domain-invariant features from a large number of unlabeled, unpaired question-review samples, would perform better than our proposed baselines, at answering specific, subjective product-related queries using reviews. We validate this hypothesis using a small gold standard dataset of question-review pairs evaluated by human experts, significantly surpassing our chosen baselines. Moreover, our approach, using no labeled question-review sentence pair data for training, gives performance at par with another method utilizing labeled question-review samples for the same task.


title: Square-integrable eigenfunctions in quantizing the Bateman oscillator model

abstract: In a recent paper [Phys. Lett. A 383 (2019) 2836; arXiv:1906.05121 [quant-ph]], Bagarello, Gargano, and Roccati have claimed that no square-integrable vacuum exists in quantizing the Bateman oscillator model. In this paper, we rebut their claim by actually deriving the square-integrable vacuum eigenfunction using a common procedure. We see that no problems occur in quantizing the Bateman oscillator model.


title: Error correcting Bacon-Shor code with continuous measurement of noncommuting operators

abstract: We analyze the continuous operation of the nine-qubit error correcting Bacon-Shor code with all noncommuting gauge operators measured at the same time. The error syndromes are continuously monitored using cross-correlations of sets of three measurement signals. We calculate the logical error rates due to $X$, $Y$ and $Z$ errors in the physical qubits and compare the continuous implementation with the discrete operation of the code. We find that both modes of operation exhibit similar performances when the measurement strength from continuous measurements is sufficiently strong. We also estimate the value of the crossover error rate of the physical qubits, below which continuous error correction gives smaller logical error rates. Continuous operation has the advantage of passive monitoring of errors and avoids the need for additional circuits involving ancilla qubits.


title: Large Dimensional Latent Factor Modeling with Missing Observations and Applications to Causal Inference

abstract: This paper develops the inferential theory for latent factor models estimated from large dimensional panel data with missing observations. We propose an easy-to-use all-purpose estimator for a latent factor model by applying principal component analysis to an adjusted covariance matrix estimated from partially observed panel data. We derive the asymptotic distribution for the estimated factors, loadings and the imputed values under an approximate factor model and general missing patterns. The key application is to estimate counterfactual outcomes in causal inference from panel data. The unobserved control group is modeled as missing values, which are inferred from the latent factor model. The inferential theory for the imputed values allows us to test for individual treatment effects at any time under general adoption patterns where the units can be affected by unobserved factors.


title: Explicit zero density estimate for the Riemann zeta-function near the critical line

abstract: In 1946, A. Selberg proved $N(\sigma,T) \ll T^{1-\frac{1}{4} \left(\sigma-\frac{1}{2}\right)} \log{T}$ where $N(\sigma,T)$ is the number of nontrivial zeros $\rho$ of the Riemann zeta-function with $\Re\{\rho\}>\sigma$ and $0<\Im\{\rho\}\leq T$. We provide an explicit version of this estimate, together with an explicit approximate functional equation and an explicit upper bound for the second power moment of the zeta-function on the critical line.


title: Probe the tilted Quark-Gluon Plasma with charmonium directed flow

abstract: Charmonium directed flows are studied based on transport model coupled with the realistic three dimensional expansions of the bulk medium. The non-central symmetric nucleus-nucleus collisions can generate the rotating quark-gluon plasma (QGP) with symmetry-breaking longitudinal distributions. In $\sqrt{s_{NN}}=200$ GeV Au-Au semi-central collisions, charmonium are primordially produced in the initial hard process, they are mainly dissociated by the initial tilted source with high temperatures and then move out of the bulk medium to keep the early information of the medium. Charmonia are less affected by the hydrodynamic expansions of QGP where its tilted shape is being diluted. This biased dissociation can generate directed flows of $J/\psi$ and $\psi(2S)$ which are much larger than the values of light charged hadrons and open heavy flavor. They are sensitive and clean to the effect of QGP rapidity-odd initial energy densities.


title: Functional Epsilon Entropy

abstract: We consider the problem of coding for computing with maximal distortion, where the sender communicates with a receiver, which has its own private data and wants to compute a function of their combined data with some fidelity constraint known to both agents. We show that the minimum rate for this problem is equal to the conditional entropy of a hypergraph and design practical codes for the problem. Further, the minimum rate of this problem may be a discontinuous function of the fidelity constraint. We also consider the case when the exact function is not known to the sender, but some approximate function or a class to which the function belongs is known and provide efficient achievable schemes.


title: Phase-Field Modeling of Crack Branching and Deflection in Heterogeneous Media

abstract: This contribution presents a diffuse framework for modeling cracks in heterogeneous media. Interfaces are depicted by static phase-fields. This concept allows the use of non-conforming meshes. Another phase-field is used to describe the crack evolution in a regularized manner. The interface modeling implements two combined approaches. Firstly, a method from the literature is extended where the interface is incorporated by a local reduction of the fracture toughness. Secondly, variations of the elastic properties across the interface are enabled by approximating the abrupt change between two adjacent subdomains using a hyperbolic tangent function, which alters the elastic material parameters accordingly. The approach is validated qualitatively by means of crack patterns and quantitatively with respect to critical energy release rates with fundamental analytical results from Linear Elastic Fracture Mechanics, where a crack impinges an arbitrarily oriented interface and either branches, gets deflected or experiences no interfacial influence. The model is particularly relevant for phase-field analyses in heterogeneous, possibly complex-shaped solids, where cohesive failure in the constituent materials as well as adhesive failure at interfaces and its quantification play a role.


title: $b$-Bit Sketch Trie: Scalable Similarity Search on Integer Sketches

abstract: Recently, randomly mapping vectorial data to strings of discrete symbols (i.e., sketches) for fast and space-efficient similarity searches has become popular. Such random mapping is called similarity-preserving hashing and approximates a similarity metric by using the Hamming distance. Although many efficient similarity searches have been proposed, most of them are designed for binary sketches. Similarity searches on integer sketches are in their infancy. In this paper, we present a novel space-efficient trie named $b$-bit sketch trie on integer sketches for scalable similarity searches by leveraging the idea behind succinct data structures (i.e., space-efficient data structures while supporting various data operations in the compressed format) and a favorable property of integer sketches as fixed-length strings. Our experimental results obtained using real-world datasets show that a trie-based index is built from integer sketches and efficiently performs similarity searches on the index by pruning useless portions of the search space, which greatly improves the search time and space-efficiency of the similarity search. The experimental results show that our similarity search is at most one order of magnitude faster than state-of-the-art similarity searches. Besides, our method needs only 10 GiB of memory on a billion-scale database, while state-of-the-art similarity searches need 29 GiB of memory.


title: Detection of mixed bipartite entangled state in arbitrary dimension via structural physical approximation of partial transposition

abstract: It is very crucial to know that whether the quantum state generated in the experiment is entangled or not. In the literature, this topic was studied extensively and researchers proposed different approaches for the detection of mixed bipartite entangled state in arbitrary dimension. Proceeding in this line of research, we also propose three different criteria for the detection of mixed bipartite negative partial transpose (NPT) entangled state in arbitrary dimension. Our criteria is based on the method of structural physical approximation (SPA) of partial transposition (PT). We have shown that the proposed criteria for the detection of NPT entangled state can be realized experimentally. Two of the proposed criteria is given in terms of the concurrence of the given state in arbitrary dimension so it is essential to find out the concurrence. Thus, we provide new lower and upper bound of concurrence of the quantum state under investigation in terms of average fidelity of two quantum states and hence these bounds can be realized experimentally. Moreover, we have shown how to perform SPA map on qutrit-qubit system and then explicitly calculated the matrix elements of the density matrix describing the SPA-PT of the qutrit-qubit system. We then illustrate our criteria for the detection of entanglement by considering a class of qubit-qubit system and a class of qutrit-qubit system.


title: Robust modal regression with direct log-density derivative estimation

abstract: Modal regression is aimed at estimating the global mode (i.e., global maximum) of the conditional density function of the output variable given input variables, and has led to regression methods robust against heavy-tailed or skewed noises. The conditional mode is often estimated through maximization of the modal regression risk (MRR). In order to apply a gradient method for the maximization, the fundamental challenge is accurate approximation of the gradient of MRR, not MRR itself. To overcome this challenge, in this paper, we take a novel approach of directly approximating the gradient of MRR. To approximate the gradient, we develop kernelized and neural-network-based versions of the least-squares log-density derivative estimator, which directly approximates the derivative of the log-density without density estimation. With direct approximation of the MRR gradient, we first propose a modal regression method with kernels, and derive a new parameter update rule based on a fixed-point method. Then, the derived update rule is theoretically proved to have a monotonic hill-climbing property towards the conditional mode. Furthermore, we indicate that our approach of directly approximating the gradient is compatible with recent sophisticated stochastic gradient methods (e.g., Adam), and then propose another modal regression method based on neural networks. Finally, the superior performance of the proposed methods is demonstrated on various artificial and benchmark datasets.


title: Point Process Flows

abstract: Event sequences can be modeled by temporal point processes (TPPs) to capture their asynchronous and probabilistic nature. We propose an intensity-free framework that directly models the point process distribution by utilizing normalizing flows. This approach is capable of capturing highly complex temporal distributions and does not rely on restrictive parametric forms. Comparisons with state-of-the-art baseline models on both synthetic and challenging real-life datasets show that the proposed framework is effective at modeling the stochasticity of discrete event sequences.


title: Unsupervised Context Rewriting for Open Domain Conversation

abstract: Context modeling has a pivotal role in open domain conversation. Existing works either use heuristic methods or jointly learn context modeling and response generation with an encoder-decoder framework. This paper proposes an explicit context rewriting method, which rewrites the last utterance by considering context history. We leverage pseudo-parallel data and elaborate a context rewriting network, which is built upon the CopyNet with the reinforcement learning method. The rewritten utterance is beneficial to candidate retrieval, explainable context modeling, as well as enabling to employ a single-turn framework to the multi-turn scenario. The empirical results show that our model outperforms baselines in terms of the rewriting quality, the multi-turn response generation, and the end-to-end retrieval-based chatbots.


title: Weighted Edge Sampling for Static Graphs

abstract: Graph Sampling provides an efficient yet inexpensive solution for analyzing large graphs. While extracting small representative subgraphs from large graphs, the challenge is to capture the properties of the original graph. Several sampling algorithms have been proposed in previous studies, but they lack in extracting good samples. In this paper, we propose a new sampling method called Weighted Edge Sampling. In this method, we give equal weight to all the edges in the beginning. During the sampling process, we sample an edge with the probability proportional to its weight. When an edge is sampled, we increase the weight of its neighboring edges and this increases their probability to be sampled. Our method extracts the neighborhood of a sampled edge more efficiently than previous approaches. We evaluate the efficacy of our sampling approach empirically using several real-world data sets and compare it with some of the previous approaches. We find that our method produces samples that better match the original graphs. We also calculate the Root Mean Square Error and Kolmogorov Smirnov distance to compare the results quantitatively.


title: The WiggleZ Dark Energy Survey: Final Data Release and the Metallicity of UV-Luminous Galaxies

abstract: The WiggleZ Dark Energy Survey measured the redshifts of over 200,000 UV-selected (NUV<22.8 mag) galaxies on the Anglo-Australian Telescope. The survey detected the baryon acoustic oscillation signal in the large scale distribution of galaxies over the redshift range 0.2<z<1.0, confirming the acceleration of the expansion of the Universe and measuring the rate of structure growth within it. Here we present the final data release of the survey: a catalogue of 225415 galaxies and individual files of the galaxy spectra. We analyse the emission-line properties of these UV-luminous Lyman-break galaxies by stacking the spectra in bins of luminosity, redshift, and stellar mass. The most luminous (-25 mag < MFUV <-22 mag) galaxies have very broad H-beta emission from active nuclei, as well as a broad second component to the [OIII] (495.9 nm, 500.7 nm) doublet lines that is blue shifted by 100 km/s, indicating the presence of gas outflows in these galaxies. The composite spectra allow us to detect and measure the temperature-sensitive [OIII] (436.3 nm) line and obtain metallicities using the direct method. The metallicities of intermediate stellar mass (8.8<log(M*/Msun)<10) WiggleZ galaxies are consistent with normal emission-line galaxies at the same masses. In contrast, the metallicities of high stellar mass (10<log(M*/Msun)<12) WiggleZ galaxies are significantly lower than for normal emission-line galaxies at the same masses. This is not an effect of evolution as the metallicities do not vary with redshift; it is most likely a property specific to the extremely UV-luminous WiggleZ galaxies.


title: Multi-View Reinforcement Learning

abstract: This paper is concerned with multi-view reinforcement learning (MVRL), which allows for decision making when agents share common dynamics but adhere to different observation models. We define the MVRL framework by extending partially observable Markov decision processes (POMDPs) to support more than one observation model and propose two solution methods through observation augmentation and cross-view policy transfer. We empirically evaluate our method and demonstrate its effectiveness in a variety of environments. Specifically, we show reductions in sample complexities and computational time for acquiring policies that handle multi-view environments.


title: Contravariant forms on Whittaker modules

abstract: Let $\mathfrak{g}$ be a complex semisimple Lie algebra. We give a classification of contravariant forms on the nondegenerate Whittaker $\mathfrak{g}$-modules $Y(\chi, \eta)$ introduced by Kostant. We prove that the set of all contravariant forms on $Y(\chi, \eta)$ forms a vector space whose dimension is given by the cardinality of the Weyl group of $\mathfrak{g}$. We also describe a procedure for parabolically inducing contravariant forms. As a corollary, we deduce the existence of the Shapovalov form on a Verma module, and provide a formula for the dimension of the space of contravariant forms on the degenerate Whittaker modules $M(\chi, \eta)$ introduced by McDowell.


title: PointRNN: Point Recurrent Neural Network for Moving Point Cloud Processing

abstract: In this paper, we introduce a Point Recurrent Neural Network (PointRNN) for moving point cloud processing. At each time step, PointRNN takes point coordinates $\boldsymbol{P} \in \mathbb{R}^{n \times 3}$ and point features $\boldsymbol{X} \in \mathbb{R}^{n \times d}$ as input ($n$ and $d$ denote the number of points and the number of feature channels, respectively). The state of PointRNN is composed of point coordinates $\boldsymbol{P}$ and point states $\boldsymbol{S} \in \mathbb{R}^{n \times d'}$ ($d'$ denotes the number of state channels). Similarly, the output of PointRNN is composed of $\boldsymbol{P}$ and new point features $\boldsymbol{Y} \in \mathbb{R}^{n \times d''}$ ($d''$ denotes the number of new feature channels). Since point clouds are orderless, point features and states from two time steps can not be directly operated. Therefore, a point-based spatiotemporally-local correlation is adopted to aggregate point features and states according to point coordinates. We further propose two variants of PointRNN, i.e., Point Gated Recurrent Unit (PointGRU) and Point Long Short-Term Memory (PointLSTM). We apply PointRNN, PointGRU and PointLSTM to moving point cloud prediction, which aims to predict the future trajectories of points in a set given their history movements. Experimental results show that PointRNN, PointGRU and PointLSTM are able to produce correct predictions on both synthetic and real-world datasets, demonstrating their ability to model point cloud sequences. The code has been released at \url{https://github.com/hehefan/PointRNN}.


title: Hierarchical Attentive Knowledge Graph Embedding for Personalized Recommendation

abstract: Knowledge graphs (KGs) have proven to be effective for high-quality recommendation, where the connectivities between users and items provide rich and complementary information to user-item interactions. Most existing methods, however, are insufficient to exploit the KGs for capturing user preferences, as they either represent the user-item connectivities via paths with limited expressiveness or implicitly model them by propagating information over the entire KG with inevitable noise. In this paper, we design a novel hierarchical attentive knowledge graph embedding (HAKG) framework to exploit the KGs for effective recommendation. Specifically, HAKG first extracts the expressive subgraphs that link user-item pairs to characterize their connectivities, which accommodate both the semantics and topology of KGs. The subgraphs are then encoded via a hierarchical attentive subgraph encoding to generate effective subgraph embeddings for enhanced user preference prediction. Extensive experiments show the superiority of HAKG against state-of-the-art recommendation methods, as well as its potential in alleviating the data sparsity issue.


title: Spin dependent transmission of Nickelocene-Cu contacts probed with shot noise

abstract: The current $I$ through nickelocene molecules and its noise are measured with a low temperature scanning tunneling microscope on a Cu(100) substrate. Density functional theory calculations and many-body modeling are used to analyze the data. During contact formation, two types of current evolution are observed, an abrupt jump to contact and a smooth transition. These data along with conductance spectra ($dI/dV$) recorded deep in the contact range are interpreted in terms of a transition from a spin-1 to a spin-1/2 state that is Kondo screened. Many-body calculations show that the smooth transition is also consistent with a renormalization of spin excitations of a spin-1 molecule by Kondo exchange coupling. The shot noise is significantly reduced compared to the Schottky value of $2eI$ but no influence of the Kondo effect or spin excitations are resolved. The noise can be described in the Landauer picture in terms of spin-polarized transmission of $\approx$35% through two degenerate $d_\pi$-orbitals of the Nickelocene molecule.


title: Bulk-edge and bulk-hinge correspondence in inversion-symmetric insulators

abstract: We show that a slab of a three-dimensional inversion-symmetric higher-order topological insulator (HOTI) in class A is a 2D Chern insulator, and that in class AII is a 2D $Z_2$ topological insulator. We prove it by considering a process of cutting the three-dimensional inversion-symmetric HOTI along a plane, and study the spectral flow in the cutting process. We show that the $Z_4$ indicators, which characterize three-dimensional inversion-symmetric HOTIs in classes A and AII, are directly related to the $Z_2$ indicators for the corresponding two-dimensional slabs with inversion symmetry, i.e. the Chern number parity and the $Z_2$ topological invariant, for classes A and AII respectively. The existence of the gapless hinge states is understood from the conventional bulk-edge correspondence between the slab system and its edge states. Moreover, we also show that the spectral-flow analysis leads to another proof of the bulk-edge correspondence in one- and two-dimensional inversion-symmetric insulators.


title: D2D-Enabled Mobile User Edge Caching: A Multi-Winner Auction Approach

abstract: In device-to-device (D2D)-enabled caching cellular networks, the user terminals (UTs) collaboratively store and share a large volume of popular contents from the base station (BS) for traffic offloading and delivery delay reduction. In this article, the multi-winner auction based caching placement in D2D-enabled caching cellular networks is investigated for UT edge caching incentive and content caching redundancy reduction. Firstly, a multi-winner once auction for UT edge caching is modeled which auctions multiple contents for multiple UTs. Then the optimization problem for content caching revenue maximization is formulated. Specifically, the "cache conflict" restriction relationship among UTs is used as one of the constraints in the problem to reduce the content caching redundancy in a UT movement scenario. The problem is solved by semidefinite programming (SDP) relaxation to obtain an approximate optimal caching placement. Moreover, the payment strategy of the auction is developed as a Nash bargaining game for personal profit fairness among the UTs who win the auction for content caching. Subsequently, a multi-winner once auction based caching (MOAC) placement algorithm is proposed. In addition, due to the high complexity of MOAC, we further propose a heuristic multi-winner repeated auction based caching placement (MRAC) algorithm, which can greatly reduce the complexity with only tiny performance loss. Simulation results show that the proposed algorithms can reduce the traffic load and average content access delay effectively compared with the existing caching placement algorithms.


title: Diversity in Fashion Recommendation using Semantic Parsing

abstract: Developing recommendation system for fashion images is challenging due to the inherent ambiguity associated with what criterion a user is looking at. Suggesting multiple images where each output image is similar to the query image on the basis of a different feature or part is one way to mitigate the problem. Existing works for fashion recommendation have used Siamese or Triplet network to learn features between a similar pair and a similar-dissimilar triplet respectively. However, these methods do not provide basic information such as, how two clothing images are similar, or which parts present in the two images make them similar. In this paper, we propose to recommend images by explicitly learning and exploiting part based similarity. We propose a novel approach of learning discriminative features from weakly-supervised data by using visual attention over the parts and a texture encoding network. We show that the learned features surpass the state-of-the-art in retrieval task on DeepFashion dataset. We then use the proposed model to recommend fashion images having an explicit variation with respect to similarity of any of the parts.


title: ALOHA: Artificial Learning of Human Attributes for Dialogue Agents

abstract: For conversational AI and virtual assistants to communicate with humans in a realistic way, they must exhibit human characteristics such as expression of emotion and personality. Current attempts toward constructing human-like dialogue agents have presented significant difficulties. We propose Human Level Attributes (HLAs) based on tropes as the basis of a method for learning dialogue agents that can imitate the personalities of fictional characters. Tropes are characteristics of fictional personalities that are observed recurrently and determined by viewers' impressions. By combining detailed HLA data with dialogue data for specific characters, we present a dataset, HLA-Chat, that models character profiles and gives dialogue agents the ability to learn characters' language styles through their HLAs. We then introduce a three-component system, ALOHA (which stands for Artificial Learning of Human Attributes), that combines character space mapping, character community detection, and language style retrieval to build a character (or personality) specific language model. Our preliminary experiments demonstrate that two variations of ALOHA, combined with our proposed dataset, can outperform baseline models at identifying the correct dialogue responses of chosen target characters, and are stable regardless of the character's identity, the genre of the show, and the context of the dialogue.


title: Towards Computing Inferences from English News Headlines

abstract: Newspapers are a popular form of written discourse, read by many people, thanks to the novelty of the information provided by the news content in it. A headline is the most widely read part of any newspaper due to its appearance in a bigger font and sometimes in colour print. In this paper, we suggest and implement a method for computing inferences from English news headlines, excluding the information from the context in which the headlines appear. This method attempts to generate the possible assumptions a reader formulates in mind upon reading a fresh headline. The generated inferences could be useful for assessing the impact of the news headline on readers including children. The understandability of the current state of social affairs depends greatly on the assimilation of the headlines. As the inferences that are independent of the context depend mainly on the syntax of the headline, dependency trees of headlines are used in this approach, to find the syntactical structure of the headlines and to compute inferences out of them.


title: HALL POST INEQUALITIES: review and application to molecules and tetraquarks

abstract: A review is presented of the Hall-Post inequalities that give lower-bounds to the ground-state energy of quantum systems in terms of energies of smaller systems. New applications are given for systems experiencing both a static source and inner interactions, as well as for hydrogen-like molecules and for tetraquarks in some quark models. In the latter case, the Hall-Post inequalities constrain the possibility of deeply-bound exotic mesons below the threshold for dissociation into two quark-antiquark mesons. We also emphasize the usefulness of the Hall-Post bounds in terms of 3-body energies when some 2-body subsystems are ill defined or do not support any bound state.

categories: nucl-th cond-mat.quant-gas hep-ph physics.atm-clus


title: Joint Computation and Communication Design for UAV-Assisted Mobile Edge Computing in IoT

abstract: Unmanned aerial vehicle (UAV)-assisted mobile edge computing (MEC) system is a prominent concept, where a UAV equipped with a MEC server is deployed to serve a number of terminal devices (TDs) of Internet of Things (IoT) in a finite period. In this paper, each TD has a certain latency-critical computation task in each time slot to complete. Three computation strategies can be available to each TD. First, each TD can operate local computing by itself. Second, each TD can partially offload task bits to the UAV for computing. Third, each TD can choose to offload task bits to access point (AP) via UAV relaying. We propose a new optimization problem formulation that aims to minimize the total energy consumption including communication-related energy, computation-related energy and UAV's flight energy by optimizing the bits allocation, time slot scheduling and power allocation as well as UAV trajectory design. As the formulated problem is non-convex and difficult to find the optimal solution, we solve the problem by two parts, and obtain the near optimal solution with within a dozen of iterations. Finally, numerical results are given to validate the proposed algorithm, which is verified to be efficient and superior to the other benchmark cases.


title: Maximum Drawdown and Drawdown Duration of Spectrally Negative Levy Processes Decomposed at Extremes

abstract: Path decomposition is performed to characterize the law of the pre/post-supremum, post-infimum and the intermediate processes of a spectrally negative Levy process taken up to an independent exponential time T: As a result, mainly the distributions of the supremum of the post-infimum process and the maximum drawdown of the pre/postsupremum, post-infimum processes and the intermediate processes are obtained together with the law of drawdown durations.


title: Evaluation of pion-nucleon sigma term in Dyson-Schwinger equation approach of QCD

abstract: We calculate the variation of the chiral condensate in medium with respect to the quark chemical potential and evaluate the pion-nucleon sigma term via the Hellmann-Feynman theorem. The variation of chiral condensate in medium are obtained by solving the truncated Dyson-Schwinger equation for quark propagator at finite chemical potential, with different models for the quark-gluon vertex and gluon propagator. We obtain the value of the sigma term $\sigma_{\pi N}$ = 62(1)(2) MeV, where the first represents the systematic error due to our different model for the quark-gluon vertex and gluon propagator and the second represents a statistical error in our linear fitting procedure.


title: Geometric Characterization of Preduals of Injective Banach Lattices

abstract: The paper deals with the study of Banach spaces whose duals are injective Banach lattices. Davies in 1967 proved that an ordered Banach space is an $L^1$-predual space if and only if it is a simplex space. In 2007 Duan and Lin proved that a real Banach space is an $L^1$-predual space if and only if its every four-point subset is centerable. We prove the counterparts of these remarkable results for injectives by the new machinery of Boolean valued transfer from $L^1$-spaces to injective Banach lattices.


title: Partial bosonisation for the two-dimensional Hubbard model: How well does it work?

abstract: Partial bosonisation of the two-dimensional Hubbard model focuses the functional renormalisation flow on channels in which interactions become strong and local order sets in. We compare the momentum structure of the four-fermion vertex, obtained on the basis of a patching approximation, to an effective bosonic description. For parameters in the antiferromagnetic phase near the onset of local antiferromagnetic order, the interaction of the electrons is indeed well described by the exchange of collective bosonic degrees of freedom. The residual four-fermion vertex after the subtraction of the bosonic exchange contribution is small. We propose that similar partial bosonisation techniques can improve the accuracy of renormalisation flow studies also for the case of competing order.


title: Equivalence of approximate Gottesman-Kitaev-Preskill codes

abstract: The Gottesman-Kitaev-Preskill (GKP) quantum error correcting code attracts much attention in continuous variable (CV) quantum computation and CV quantum communication due to the simplicity of error correcting routines and the high tolerance against Gaussian errors. Since the GKP code state should be regarded as a limit of physically meaningful approximate ones, various approximations have been developed until today, but explicit relations among them are still unclear. In this paper, we rigorously prove the equivalence of these approximate GKP codes with an explicit correspondence of the parameters. We also propose a standard form of the approximate code states in the position representation, which enables us to derive closed-from expressions for the Wigner functions, the inner products, and the average photon numbers in terms of the theta functions. Our results serve as fundamental tools for further analyses of fault-tolerant quantum computation and channel coding using approximate GKP codes.


title: The intrinsic hyperplane arrangement in an arbitrary irreducible representation of the symmetric group

abstract: For every irreducible complex representation~$\pi_\lambda$ of the symmetric group~$\S_n$, we construct, in a canonical way, a so-called intrinsic hyperplane arrangement~$\A_{\lambda}$ in the space of~$\pi_\lambda$. This arrangement is a direct generalization of the classical braid arrangement (which is the special case of our construction corresponding to the natural representation of~$\S_n$), has a natural description in terms of invariant subspaces of Young subgroups, and enjoys a number of remarkable properties.


title: Multiplication on uniform $\lambda$-Cantor sets

abstract: Let $C$ be the middle-third Cantor set. Define $C*C=\{x*y:x,y\in C\}$, where $*=+,-,\cdot,\div$ (when $*=\div$, we assume $y\neq0$). Steinhaus \cite{HS} proved in 1917 that \[ C-C=[-1,1], C+C=[0,2]. \] In 2019, Athreya, Reznick and Tyson \cite{Tyson} proved that \[ C\div C=\bigcup_{n=-\infty}^{\infty}\left[ 3^{-n}\dfrac{2}{3},3^{-n}\dfrac {3}{2}\right] . \] In this paper, we give a description of the topological structure and Lebesgue measure of $C\cdot C$. We indeed obtain corresponding results on the uniform $\lambda$-Cantor sets.


title: Does carrier velocity saturation help to enhance fmax in graphene field-effect transistors?

abstract: It has been argued that current saturation in graphene field-effect transistors (GFETs) is needed to get the highest possible maximum oscillation frequency (fmax). This paper numerically investigates whether velocity saturation can help to get better current saturation and if that correlates with enhanced fmax. For such a purpose, we used a drift-diffusion simulator that includes several factors that influence output conductance, especially at short channel lengths and-or large drain bias: short-channel electrostatics, saturation velocity, graphene-dielectric interface traps, and self-heating effects. As a testbed for our investigation, we analyzed fabricated GFETs with high extrinsin cutoff frequency fT,x (34 GHz) and fmax (37 GHz). Our simulations allow for a microscopic (local) analysis of the channel parameteres such as carrier concentration, drift and saturation velocities. For biases far away from the Dirac voltage, where the channel behaves as unipolar, we confirmed that the higher is the drift velocity, as close as possible to the saturation velocity, the greater fmax is. However, the largest fmax is recorded at biases near the crossover between unipolar and bipolar behavior, where it does not hold that the highest drift velocity maximizes fmax. In fact, the position and magnitude of the largest fmax depend on the complex interplay between the carrier concentration and total velocity which, in turn, are impacted by the self-heating. Importantly, this effect was found to severely limit radio-frequency performance, reducing the maximum fmax from around 60 to 40 GHz.


title: A substantial increase of Curie temperature in a new type of diluted magnetic semiconductors via effects of chemical pressure

abstract: Chemical pressure is an effective method to tune physical properties, particularly for diluted magnetic semiconductors (DMS) of which ferromagnetic ordering is mediated by charge carriers. Via substitution of smaller Ca for larger Sr, we introduce chemical pressure on (Sr,Na)(Cd,Mn)2As2 to fabricate a new DMS material (Ca,Na)(Cd,Mn)2As2. Carriers and spins are introduced by substitutions of (Ca,Na) and (Cd,Mn) respectively. The unit cell volume reduces by 6.2% after complete substitution of Ca for Sr, suggesting a subsistent chemical pressure. Importantly the local geometry of [Cd/MnAs4] tetrahedron is optimized via chemical compression that increases the Mn-As hybridization leading to enhanced ferromagnetic interactions. As a result, the maximum Curie temperature (TC) is increased by about 50% while the the maximum saturation moment increases by over 100% from (Sr,Na)(Cd,Mn)2As2 to (Ca,Na)(Cd,Mn)2As2. The chemical pressure estimated from the equation of state is equal to an external physical pressure of 3.6 GPa.


title: Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

abstract: Cyber-Physical Systems (CPSs) are systems with both physical and software components, for example cars and industrial robots. Since these systems exhibit both discrete and continuous dynamics, they are complex and it is thus difficult to verify that they behave as expected. Falsification of temporal logic properties is an approach to find counterexamples to CPSs by means of simulation. In this paper, we propose two additions to enhance the capability of falsification and make it more viable in a large-scale industrial setting. The first addition is a framework for transforming specifications from a signal-based model into Signal Temporal Logic. The second addition is the use of Valued Booleans and an additive robust semantics in the falsification process. We evaluate the performance of the additive robust semantics on a set of benchmark models, and we can see that which semantics are preferable depend both on the model and on the specification.


title: Monoidal categorification and quantum affine algebras

abstract: We introduce and investigate new invariants on the pair of modules $M$ and $N$ over quantum affine algebras $U_q'(\mathfrak{g})$ by analyzing their associated R-matrices. From new invariants, we provide a criterion for a monoidal category of finite-dimensional integrable $U_q'(\mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.


title: A cooperative localization-aided tracking algorithm for THz wireless systems

abstract: In this paper, a novel cooperation-aided localization and tracking approach, suitable for terahertz (THz) wireless systems is presented. It combines an angle of arrival (AoA) tracking algorithm with the two-way time of arrival method, in order to accurately track the user equipment (UE) position and reduce the deafness caused by the estimation errors of the tracking algorithms. This algorithm can be used by one base station (BS) to estimate the UE position, or by multiple BSs, that cooperate with each other to increase the accuracy of the estimations, as well as the probability of successful estimations and guarantee low-estimation overhead. The efficiency of the algorithm is evaluated in terms of deafness and probability of successful AoA estimation and is compared with the corresponding performance of the fast channel tracking algorithm.