title: Quantum metrology with optomechanical systems in the nonlinear regime

abstract: This thesis focuses on the mathematical description and application of nonlinear cavity optomechanical systems. The first part is concerned with solving the dynamics of the standard nonlinear optomechanical Hamiltonian with an additional time-dependent mechanical displacement and single-mode squeezing term. The solution is based on identifying a Lie algebra that generates the time-evolution of the system, which reduces the problem to considering a finite set of coupled ordinary differential equations of real functions. The second part applies the solutions of the extended optomechanical Hamiltonian to the study of non-Gaussianity. We compute the non-Gaussian character of an optomechanical state as a function of the parameters in the Hamiltonian, and investigate the interplay between the non-Gaussianity, the strength of the nonlinear coupling and the strength of the single-mode mechanical squeezing term. We find that the strength and form of the nonlinear coupling strongly impacts the non-Gaussianity, and that its relationship with the squeezing term is highly complex. The third part concerns the use of nonlinear optomechanical systems as quantum sensors. We derive a general expression of the quantum Fisher information given the extended optomechanical Hamiltonian and demonstrate its applicability through three concrete examples: estimating the strength of a nonlinear light--matter coupling, the strength of a time-modulated mechanical displacement, and the strength of a single-mode mechanical squeezing parameter, all of which are modulated at resonance. In the last Chapter of the thesis, we consider the estimation of a constant gravitational acceleration with an optomechanical system. Our results suggest that optomechanical systems could, in principle, be used as powerful quantum sensors.


title: Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers

abstract: Building on recent progress at the intersection of combinatorial optimization and deep learning, we propose an end-to-end trainable architecture for deep graph matching that contains unmodified combinatorial solvers. Using the presence of heavily optimized combinatorial solvers together with some improvements in architecture design, we advance state-of-the-art on deep graph matching benchmarks for keypoint correspondence. In addition, we highlight the conceptual advantages of incorporating solvers into deep learning architectures, such as the possibility of post-processing with a strong multi-graph matching solver or the indifference to changes in the training setting. Finally, we propose two new challenging experimental setups. The code is available at https://github.com/martius-lab/blackbox-deep-graph-matching


title: Artificial Intelligence in Quantitative Ultrasound Imaging: A Review

abstract: Quantitative ultrasound (QUS) imaging is a reliable, fast and inexpensive technique to extract physically descriptive parameters for assessing pathologies. Despite its safety and efficacy, QUS suffers from several major drawbacks: poor imaging quality, inter- and intra-observer variability which hampers the reproducibility of measurements. Therefore, it is in great need to develop automatic method to improve the imaging quality and aid in measurements in QUS. In recent years, there has been an increasing interest in artificial intelligence (AI) applications in ultrasound imaging. However, no research has been found that surveyed the AI use in QUS. The purpose of this paper is to review recent research into the AI applications in QUS. This review first introduces the AI workflow, and then discusses the various AI applications in QUS. Finally, challenges and future potential AI applications in QUS are discussed.


title: Hartree-Fock-Bogoliubov theory of trapped one-dimensional imbalanced Fermi systems

abstract: Ground state Hartree-Fock-Bogoliubov (HFB) theory is applied to imbalanced spin-1/2 one-dimensional Fermi systems that are spatially confined by either a harmonic or a hard-wall trapping potential. It has been hoped that such systems, which can be realized using ultracold atomic gases, would exhibit the long-sought-after Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) superfluid phase. The HFB formalism generalizes the standard Bogoliubov quasi-particle transformation, by allowing for Cooper pairing to exist between all possible single-particle states, and accounts for the effects of the inhomogeneous trapping potential as well as the mean-field Hartree potential. This provides an unbiased framework to describe inhomgenous densities and pairing correlations in the FFLO state of a confined 1D gas. In a harmonic trap, numerical minimization of the HFB ground state energy yields a spatially oscillating order parameter reminiscent of the FFLO state. However, we find that this state has almost no imprint in the local fermion densities (consistent with experiments that found no evidence of the FFLO phase). In contrast, for a hard-wall geometry, we find a strong signature of the spatial oscillations of the FFLO pairing amplitude reflected in the local in situ densities. In the hard wall case, the excess spins are strongly localized near regions where there is a node in the pairing amplitude, creating an unmistakeable crystalline modulation of the density.


title: R-FORCE: Robust Learning for Random Recurrent Neural Networks

abstract: Random Recurrent Neural Networks (RRNN) are the simplest recurrent networks to model and extract features from sequential data. The simplicity however comes with a price; RRNN are known to be susceptible to diminishing/exploding gradient problem when trained with gradient-descent based optimization. To enhance robustness of RRNN, alternative training approaches have been proposed. Specifically, FORCE learning approach proposed a recursive least squares alternative to train RRNN and was shown to be applicable even for the challenging task of target-learning, where the network is tasked with generating dynamic patterns with no guiding input. While FORCE training indicates that solving target-learning is possible, it appears to be effective only in a specific regime of network dynamics (edge-of-chaos). We thereby investigate whether initialization of RRNN connectivity according to a tailored distribution can guarantee robust FORCE learning. We are able to generate such distribution by inference of four generating principles constraining the spectrum of the network Jacobian to remain in stability region. This initialization along with FORCE learning provides a robust training method, i.e., Robust-FORCE (R-FORCE). We validate R-FORCE performance on various target functions for a wide range of network configurations and compare with alternative methods. Our experiments indicate that R-FORCE facilitates significantly more stable and accurate target-learning for a wide class of RRNN. Such stability becomes critical in modeling multi-dimensional sequences as we demonstrate on modeling time-series of human body joints during physical movements.


title: High Sensitivity Hybrid PbS CQD-TMDC Photodetectors up to 2 $\mu$m

abstract: Recent approaches to develop infrared photodetectors characterized by high sensitivities, broadband spectral coverage, easy integration with silicon electronics and low cost have been based on hybrid structures of transition metal dichalcogenides (TMDCs) and PbS colloidal quantum dots (CQDs). However, to date, such photodetectors have been reported with high sensitivity up to 1.5 $\mu$m. Here we extend the spectral coverage of this technology towards 2 $\mu$m demonstrating for the first time compelling performance with responsivities 1400 A/W at 1.8 $\mu$m with 1V bias and detectivities as high as $10^{12}$ Jones at room temperature. To do this we studied two TMDC materials as a carrier transport layer, tungsten disulfide (WS$_2$) and molybdenum disulfide (MoS$_2$) and demonstrate that WS$_2$ based hybrid photodetectors outperform those of MoS$_2$ due to a more adequate band alignment that favors carrier transfer from the CQDs.


title: Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction

abstract: In this paper, we consider the data-driven model invalidation problem for Lipschitz continuous systems, where instead of given mathematical models, only prior noisy sampled data of the systems are available. We show that this data-driven model invalidation problem can be solved using a tractable feasibility check. Our proposed approach consists of two main components: (i) a data-driven abstraction part that uses the noisy sampled data to over-approximate the unknown Lipschitz continuous dynamics with upper and lower functions, and (ii) an optimization-based model invalidation component that determines the incompatibility of the data-driven abstraction with a newly observed length-T output trajectory. Finally, we discuss several methods to reduce the computational complexity of the algorithm and demonstrate their effectiveness with a simulation example of swarm intent identification.


title: From Information Theory Puzzles in Deletion Channels to Deniability in Quantum Cryptography

abstract: From the output produced by a memoryless deletion channel with a uniformly random input of known length $n$, one obtains a posterior distribution on the channel input. The difference between the Shannon entropy of this distribution and that of the uniform prior measures the amount of information about the channel input which is conveyed by the output of length $m$. We first conjecture on the basis of experimental data that the entropy of the posterior is minimized by the constant strings $\texttt{000}\ldots$, $\texttt{111}\ldots$ and maximized by the alternating strings $\texttt{0101}\ldots$, $\texttt{1010}\ldots$. We present related combinatorial theorems involving binary (sub/super)-sequences and prove the minimal entropy conjecture for single and double deletions using clustering techniques. We then prove the minimization conjecture in the asymptotic limit using results from hidden word statistics by showing how the analytic-combinatorial methods of Flajolet, Szpankowski and Vall\'ee, relying on generating functions, can be applied to resolve the case of fixed output length and $n\rightarrow\infty$. Next, we revisit the notion of deniability in quantum key exchange (QKE). We introduce and formalize the notion of coercer-deniable QKE. We then establish a connection between covert communication and deniability to propose DC-QKE, a simple and provably secure construction for coercer-deniable QKE. We relate deniability to fundamental concepts in quantum information theory and suggest a generic approach based on entanglement distillation for achieving information-theoretic deniability, followed by an analysis of other closely related results such as the relation between the impossibility of unconditionally secure quantum bit commitment and deniability. Finally, we present an efficient coercion-resistant and quantum-secure voting scheme, based on fully homomorphic encryption.


title: Diagrammatic categorification of the Chebyshev polynomials of the second kind

abstract: We develop a diagrammatic categorification of the polynomial ring Z[x], based on a geometrically defined graded algebra. This construction generalizes to categorification of some special functions, such as Chebyshev polynomials. Diagrammatic algebras featured in these categorifications lead to the first topological interpretations of the Bernstein-Gelfand-Gelfand reciprocity property.


title: Accurate Determination of Semiconductor Diffusion Coefficient Using Optical Microscopy

abstract: Energy carrier transport and recombination in emerging semiconductors can be directly monitored with optical microscopy, leading to the measurement of the diffusion coefficient (D), a critical property for design of efficient optoelectronic devices. D is often determined by fitting a time-resolved expanding carrier profile after optical excitation using a Mean Squared Displacement (MSD) Model. Although this approach has gained widespread adoption, its utilization can significantly overestimate D due to the non-linear recombination processes that artificially broaden the carrier distribution profile. Here, we simulate diffusive processes in both excitonic and free carrier semiconductors and present revised MSD Models that take into account second-order (i.e. bimolecular) and third-order (i.e. Auger) processes to accurately recover D for various types of materials. For perovskite thin films, utilization of these models can reduce fitting error by orders of magnitude, especially for commonly deployed excitation conditions where carrier densities are > 5x10$^1$$^6$ cm$^-$$^3$. In addition, we show that commonly-deployed MSD Models are not well-suited for the study of films with microstructure, especially when boundary behavior is unknown and feature sizes are comparable to the diffusion length. Finally, we find that photon recycling only impacts energy carrier profiles on ultrashort time scales or for materials with fast radiative decay times. We present clear strategies to investigate energy transport in disordered materials for more effective design and optimization of electronic and optoelectronic devices.


title: Pipelined Backpropagation at Scale: Training Large Models without Batches

abstract: New hardware can substantially increase the speed and efficiency of deep neural network training. To guide the development of future hardware architectures, it is pertinent to explore the hardware and machine learning properties of alternative training algorithms. In this work we evaluate the use of small batch, fine-grained Pipelined Backpropagation, an asynchronous pipeline parallel training algorithm that has significant hardware advantages. We introduce two methods, Spike Compensation and Linear Weight Prediction, that effectively mitigate the downsides caused by the asynchronicity of Pipelined Backpropagation and outperform existing techniques in our setting. We show that appropriate normalization and small batch sizes can also aid training. With our methods, fine-grained Pipelined Backpropagation using a batch size of one can match the accuracy of SGD for multiple networks trained on CIFAR-10 and ImageNet. Simple scaling rules allow the use of existing hyperparameters for traditional training without additional tuning.


title: Patch Quality and Diversity of Invariant-Guided Search-Based Program Repair

abstract: Most automatic program repair techniques rely on test cases to specify correct program behavior. Due to test cases' frequently incomplete coverage of desired behavior, however, patches often overfit and fail to generalize to broader requirements. Moreover, in the absence of perfectly correct outputs, methods to ensure higher patch quality, such as merging together several patches or a human evaluating patch recommendations, benefit from having access to a diverse set of patches, making patch diversity a potentially useful trait. We evaluate the correctness and diversity of patches generated by GenProg and an invariant-based diversity-enhancing extension described in our prior work. We find no evidence that promoting diversity changes the correctness of patches in a positive or negative direction. Using invariant- and test case generation-driven metrics for measuring semantic diversity, we find no observed semantic differences between patches for most bugs, regardless of the repair technique used.


title: Cognitive computation using neural representations of time and space in the Laplace domain

abstract: Memory for the past makes use of a record of what happened when---a function over past time. Time cells in the hippocampus and temporal context cells in the entorhinal cortex both code for events as a function of past time, but with very different receptive fields. Time cells in the hippocampus can be understood as a compressed estimate of events as a function of the past. Temporal context cells in the entorhinal cortex can be understood as the Laplace transform of that function, respectively. Other functional cell types in the hippocampus and related regions, including border cells, place cells, trajectory coding, splitter cells, can be understood as coding for functions over space or past movements or their Laplace transforms. More abstract quantities, like distance in an abstract conceptual space or numerosity could also be mapped onto populations of neurons coding for the Laplace transform of functions over those variables. Quantitative cognitive models of memory and evidence accumulation can also be specified in this framework allowing constraints from both behavior and neurophysiology. More generally, the computational power of the Laplace domain could be important for efficiently implementing data-independent operators, which could serve as a basis for neural models of a very broad range of cognitive computations.


title: Doublon-hole correlations and fluctuation thermometry in a Fermi-Hubbard gas

abstract: We report on the single atom and single site-resolved detection of the total density in a cold atom realization of the 2D Fermi-Hubbard model. Fluorescence imaging of doublons is achieved by splitting each lattice site into a double well, thereby separating atom pairs. Full density readout yields a direct measurement of the equation of state, including direct thermometry via the fluctuation-dissipation theorem. Site-resolved density correlations reveal the Pauli hole at low filling, and strong doublon-hole correlations near half filling. These are shown to account for the difference between local and non-local density fluctuations in the Mott insulator. Our technique enables the study of atom-resolved charge transport in the Fermi-Hubbard model, the site-resolved observation of molecules, and the creation of bilayer Fermi-Hubbard systems.


title: DeepStrip: High Resolution Boundary Refinement

abstract: In this paper, we target refining the boundaries in high resolution images given low resolution masks. For memory and computation efficiency, we propose to convert the regions of interest into strip images and compute a boundary prediction in the strip domain. To detect the target boundary, we present a framework with two prediction layers. First, all potential boundaries are predicted as an initial prediction and then a selection layer is used to pick the target boundary and smooth the result. To encourage accurate prediction, a loss which measures the boundary distance in the strip domain is introduced. In addition, we enforce a matching consistency and C0 continuity regularization to the network to reduce false alarms. Extensive experiments on both public and a newly created high resolution dataset strongly validate our approach.


title: The Degree-Dependent Threshold Model: Towards a Better Understanding of Opinion Dynamics on Online Social Networks

abstract: With the rapid growth of online social media, people become increasingly overwhelmed by the volume and the content of the information present in the environment. The threshold model is currently one of the most common methods to capture the effect of people on others' opinions and emotions. Although many studies employ and try to improve upon the threshold model, the search for an appropriate threshold function for defining human behavior is an essential and yet unattained quest. The definition of heterogeneity in thresholds of individuals is oftentimes poorly defined, which leads to the rather simplistic use of uniform and binary functions, albeit they are far from representing the reality. In this study, we use Twitter data of size 30,704,025 tweets to mimic the adoption of a new opinion. Our results show that the threshold is not only correlated with the out-degree of nodes, which contradicts other studies but also correlated with nodes' in-degree. Therefore, we simulated two cases in which thresholds are out-degree and in-degree dependent, separately. We concluded that the system is more likely to reach a consensus when thresholds are in-degree dependent; however, the time elapsed until all nodes fix their opinions is significantly higher in this case. Additionally, we did not observe a notable effect of mean-degree on either the average opinion or the fixation time of opinions for both cases, and increasing seed size has a negative effect on reaching a consensus. Although threshold heterogeneity has a slight influence on the average opinion, the positive effect of heterogeneity on reaching a consensus is more pronounced when thresholds are in-degree dependent.


title: Direct estimation of global longitudinal strain from echocardiograms using a logarithm-scaled Fourier magnitude correlation

abstract: We present a new method for measuring global longitudinal strain and global longitudinal strain rate from 2D echocardiograms using a logarithmic-transform correlation (LTC) method. In contrast to traditional echocardiography strain analysis, our approach does not require cardiac chamber segmentation and regularization. The algorithm was benchmarked against two conventional strain analysis methods using synthetic left ventricle ultrasound images. Measurement error was assessed as a function of contrast-to-noise ratio (CNR) using mean absolute error and root-mean-square error and showed better agreement to the ground truth for strain($R^2$ = 0.91) and strain rate($R^2$ = 0.85) as compared to conventional algorithms (strain($R^2$ = 0.7), strain rate($R^2$ = 0.7)). Also, our method was unaffected by CNR. A 200% increase in strain measurement accuracy was observed compared to the conventional algorithms. Subsequently, we tested the method using a 54-subject clinical cohort (20 subjects diseased with cardiomyopathy, 34 healthy controls). Our method distinguished between normal and abnormal left ventricular function with an AUC = 0.85, a 10% improvement over the conventional GLS algorithms.


title: Explicit expanders of every degree and size

abstract: An $(n,d,\lambda)$-graph is a $d$ regular graph on $n$ vertices in which the absolute value of any nontrivial eigenvalue is at most $\lambda$. For any constant $d \geq 3$, $\epsilon>0$ and all sufficiently large $n$ we show that there is a deterministic poly(n) time algorithm that outputs an $(n,d, \lambda)$-graph (on exactly $n$ vertices) with $\lambda \leq 2 \sqrt{d-1}+\epsilon$. For any $d=p+2$ with $p \equiv 1 \bmod 4$ prime and all sufficiently large $n$, we describe a strongly explicit construction of an $(n,d, \lambda)$-graph (on exactly $n$ vertices) with $\lambda \leq \sqrt {2(d-1)} + \sqrt{d-2} +o(1) (< (1+\sqrt 2) \sqrt {d-1}+o(1))$, with the $o(1)$ term tending to $0$ as $n$ tends to infinity. For every $\epsilon >0$, $d>d_0(\epsilon)$ and $n>n_0(d,\epsilon)$ we present a strongly explicit construction of an $(m,d,\lambda)$-graph with $\lambda < (2+\epsilon) \sqrt d$ and $m=n+o(n)$. All constructions are obtained by starting with known ones of Ramanujan or nearly Ramanujan graphs, modifying or packing them in an appropriate way. The spectral analysis relies on the delocalization of eigenvectors of regular graphs in cycle-free neighborhoods.


title: Moduli Space of $\Lambda$-modules on Projective Deligne-Mumford Stacks

abstract: In this paper, we define $\Lambda$-quot-functors on Deligne-Mumford stacks. We prove that the $\Lambda$-quot-functor is representable by an algebraic space. Then, we construct the moduli space of $\Lambda$-modules on a projective Deligne-Mumford stack. We prove that this moduli space is a quasi-projective scheme.


title: Risk-Aware Planning and Assignment for Ground Vehicles using Uncertain Perception from Aerial Vehicles

abstract: We propose a risk-aware framework for multi-robot, multi-demand assignment and planning in unknown environments. Our motivation is disaster response and search-and-rescue scenarios where ground vehicles must reach demand locations as soon as possible. We consider a setting where the terrain information is available only in the form of an aerial, georeferenced image. Deep learning techniques can be used for semantic segmentation of the aerial image to create a cost map for safe ground robot navigation. Such segmentation may still be noisy. Hence, we present a joint planning and perception framework that accounts for the risk introduced due to noisy perception. Our contributions are two-fold: (i) we show how to use Bayesian deep learning techniques to extract risk at the perception level; and (ii) use a risk-theoretical measure, CVaR, for risk-aware planning and assignment. The pipeline is theoretically established, then empirically analyzed through two datasets. We find that accounting for risk at both levels produces quantifiably safer paths and assignments.


title: Mesh Refinement Method for Solving Optimal Control Problems with Nonsmooth Solutions Using Jump Function Approximations

abstract: A mesh refinement method is described for solving optimal control problems using Legendre-Gauss-Radau collocation. The method detects discontinuities in the control solution by employing an edge detection scheme based on jump function approximations. When discontinuities are identified, the mesh is refined with a targeted $h$-refinement approach whereby the discontinuity locations are bracketed with mesh points. The remaining smooth portions of the mesh are refined using previously developed techniques. The method is demonstrated on two examples, and results indicate that the method solves optimal control problems with discontinuous control solutions using fewer mesh refinement iterations and less computation time when compared with previously developed methods.


title: Continuous Activity Maximization in Online Social Networks

abstract: Activity maximization is a task of seeking a small subset of users in a given social network that makes the expected total activity benefit maximized. This is a generalization of many real applications. In this paper, we extend activity maximization problem to that under the general marketing strategy $\vec{x}$, which is a $d$-dimensional vector from a lattice space and has probability $h_u(\vec{x})$ to activate a node $u$ as a seed. Based on that, we propose the continuous activity maximization (CAM) problem, where the domain is continuous and the seed set we select conforms to a certain probability distribution. It is a new topic to study the problem about information diffusion under the lattice constraint, thus, we address the problem systematically here. First, we analyze the hardness of CAM and how to compute the objective function of CAM accurately and effectively. We prove this objective function is monotone, but not DR-submodular and not DR-supermodular. Then, we develop a monotone and DR-submodular lower bound and upper bound of CAM, and apply sampling techniques to design three unbiased estimators for CAM, its lower bound and upper bound. Next, adapted from IMM algorithm and sandwich approximation framework, we obtain a data-dependent approximation ratio. This process can be considered as a general method to solve those maximization problem on lattice but not DR-submodular. Last, we conduct experiments on three real-world datasets to evaluate the correctness and effectiveness of our proposed algorithms.


title: Magnetic-field-induced FM-AFM metamagnetic transition and strong negative magnetoresistance in Mn$_{1/4}$NbS$_2$ under pressure

abstract: Transition metal dichalcogenides (TMDC) stand out with their high chemical stability and the possibility to incorporate a wide range of magnetic species between the layers. The behavior of conduction electrons in such materials intercalated by 3d-elements is closely related to their magnetic properties and can be sensitively controlled by external magnetic fields. Here, we study the magnetotransport properties of NbS$_2$ intercalated with Mn, Mn$_{1/4}$NbS$_2$, demonstrating a complex behavior of the magnetoresistance and of the ordinary and anomalous Hall resistivities. Application of pressure as tuning parameter leads to the drastic changes of the magnetotransport properties of Mn$_{1/4}$NbS$_2$ exhibiting large negative magnetoresistance up to $65 \%$ at 7.1 GPa. First-principles electronic structure calculations indicates pressure-induced transition from ferromagnetic to antiferromagnetic state. Theoretical calculations accounting for the finite temperature magnetic properties of Mn$_{1/4}$NbS$_2$ suggest a field-induced metamagnetic ferromagnetic-antiferromagnetic transition as an origin of the large negative magentoresistance. These results inspire the development of materials for spintronic applications based on intercalated TMDC with a well controllable metamagnetic transition.


title: An Accelerated Surface Integral Equation Method for the Electromagnetic Modeling of Dielectric and Lossy Objects of Arbitrary Conductivity

abstract: Surface integral equation (SIE) methods are of great interest for the numerical solution of Maxwell's equations in the presence of homogeneous objects. However, existing SIE algorithms have limitations, either in terms of scalability, frequency range, or material properties. We present a scalable SIE algorithm based on the generalized impedance boundary condition which can efficiently handle, in a unified manner, both dielectrics and conductors over a wide range of conductivity, size and frequency. We devise an efficient strategy for the iterative solution of the resulting equations, with efficient preconditioners and an object-specific use of the adaptive integral method. With a rigorous error analysis, we demonstrate that the adaptive integral method can be applied over a wide range of frequencies and conductivities. Several numerical examples, drawn from different applications, demonstrate the accuracy and efficiency of the proposed algorithm.


title: Phase transition for parameter learning of Hidden Markov Models

abstract: We study a phase transition in parameter learning of Hidden Markov Models (HMMs). We do this by generating sequences of observed symbols from given discrete HMMs with uniformly distributed transition probabilities and a noise level encoded in the output probabilities. By using the Baum-Welch (BW) algorithm, an Expectation-Maximization algorithm from the field of Machine Learning, we then try to estimate the parameters of each investigated realization of an HMM. We study HMMs with n=4, 8 and 16 states. By changing the amount of accessible learning data and the noise level, we observe a phase-transition-like change in the performance of the learning algorithm. For bigger HMMs and more learning data, the learning behavior improves tremendously below a certain threshold in the noise strength. For a noise level above the threshold, learning is not possible. Furthermore, we use an overlap parameter applied to the results of a maximum-a-posteriori (Viterbi) algorithm to investigate the accuracy of the hidden state estimation around the phase transition.

categories: cond-mat.stat-mech physics.bio-ph physics.comp-ph physics.data-an


title: The Hilbert series of Hodge ideals of hyperplane arrangements

abstract: Given a reduced effective divisor D on a smooth variety X, we describe the generating function for the classes of the Hodge ideals of D in the Grothendieck group of coherent sheaves on X in terms of the motivic Chern class of the complement of the support of D. As an application, we compute the generating function for the Hilbert series of Hodge ideals of a hyperplane arrangement in terms of the Poincare polynomial of the arrangement.


title: Earth-size planet formation in the habitable zone of circumbinary stars

abstract: In this work is investigated the possibility of close-binary star systems having Earth-size planets within their habitable zones. First, we selected all known close-binary systems with confirmed planets (totaling 22 systems) to calculate the boundaries of their respective habitable zones (HZ). However, only eight systems had all the data necessary for the computation of the HZ. Then, we numerically explored the stability within the habitable zones for each one of the eight systems using test particles. From the results, we selected five systems that have stable regions inside the habitable zones (HZ), namely Kepler-34, 35, 38, 413 and 453. For these five cases of systems with stable regions in the HZ, we perform a series of numerical simulations for planet formation considering disks composed of planetary embryos and planetesimals, with two distinct density profiles, in addition to the stars and host planets of each system. We found that in the case of Kepler-34 and 453 systems no Earth-size planet is formed within the habitable zones. Although planets with Earth-like masses were formed in the Kepler-453, but they were outside the HZ. In contrast, for Kepler-35 and 38 systems, the results showed that potentially habitable planets are formed in all simulations. In the case of the Kepler-413 system, in just one simulation a terrestrial planet was formed within the habitable zone.


title: Energy Efficiency Maximization in Millimeter Wave Hybrid MIMO Systems for 5G and Beyond

abstract: At millimeter wave (mmWave) frequencies, the higher cost and power consumption of hardware components in multiple-input multiple output (MIMO) systems do not allow beamforming entirely at the baseband with a separate radio frequency (RF) chain for each antenna. In such scenarios, to enable spatial multiplexing, hybrid beamforming, which uses phase shifters to connect a fewer number of RF chains to a large number of antennas is a cost effective and energy-saving alternative. This paper describes our research on fully adaptive transceivers that adapt their behaviour on a frame-by-frame basis, so that a mmWave hybrid MIMO system always operates in the most energy efficient manner. Exhaustive search based brute force approach is computationally intensive, so we study fractional programming as a low-cost alternative to solve the problem which maximizes energy efficiency. The performance results indicate that the resulting mmWave hybrid MIMO transceiver achieves significantly improved energy efficiency results compared to the baseline cases involving analogue-only or digital-only signal processing solutions, and shows performance trade-offs with the brute force approach.


title: Recursive Star-Identification Algorithm using an Adaptive SVD-based Angular Velocity Estimator

abstract: This paper describes an algorithm obtained by merging a recursive star identification algorithm with a recently developed adaptive SVD-based estimator of the angular velocity vector (QuateRA). In a recursive algorithm, the more accurate the angular velocity estimate, the quicker and more robust to noise the resultant recursive algorithm is. Hence, combining these two techniques produces an algorithm capable of handling a variety of dynamics scenarios. The speed and robustness of the algorithm are highlighted in a selection of simulated scenarios. First, a speed comparison is made with the state-of-the-art lost-in-space star identification algorithm, Pyramid. This test shows that in the best case the algorithm is on average an order of magnitude faster than Pyramid. Next, the recursive algorithm is validated for a variety of dynamic cases including a ground-based "Stellar Compass" scenario, a satellite in geosynchronous orbit, a satellite during a re-orientation maneuver, and a satellite undergoing non-pure-spin dynamics.


title: Latency Minimization for Task Offloading in Hierarchical Fog-Computing C-RAN Networks

abstract: Fog-computing network combines the cloud computing and fog access points (FAPs) equipped with mobile edge computing (MEC) servers together to support computation-intensive tasks for mobile users. However, as FAPs have limited computational capabilities and are solely assisted by a remote cloud center in the baseband processing unit (BBU) of the cloud radio access (C-RAN) network, the latency benefits of this fog-computing C-RAN network may be worn off when facing a large number of offloading requests. In this paper, we investigate the delay minimization problem for task offloading in a hierarchical fog-computing C-RAN network, which consists of three tiers of computational services: MEC server in radio units, MEC server in distributed units, and the cloud computing in central units. The receive beamforming vectors, task allocation, computing speed for offloaded tasks in each server and the transmission bandwidth split of fronthaul links are optimized by solving the formulated mixed integer programming problem. The simulation results validate the superiority of the proposed hierarchical fog-computing C-RAN network in terms of the delay performance.


title: Cover 3-uniform hypergraphs by vertex-disjoint tight paths

abstract: Let $H$ be an $n$-vertex 3-uniform hypergraph such that every pair of vertices is in at least $n/3+o(n)$ edges. We show that $H$ contains two vertex-disjoint tight paths whose union covers the vertex set of $H$. The quantity two here is best possible and the degree condition is asymptotically best possible. This result also has an interpretation as the \emph{deficiency problems}, recently introduced by Nenadov, Sudakov and Wagner: every such $H$ can be made Hamiltonian by adding at most two vertices and all triples intersecting them.


title: Common-Knowledge Concept Recognition for SEVA

abstract: We build a common-knowledge concept recognition system for a Systems Engineer's Virtual Assistant (SEVA) which can be used for downstream tasks such as relation extraction, knowledge graph construction, and question-answering. The problem is formulated as a token classification task similar to named entity extraction. With the help of a domain expert and text processing methods, we construct a dataset annotated at the word-level by carefully defining a labelling scheme to train a sequence model to recognize systems engineering concepts. We use a pre-trained language model and fine-tune it with the labeled dataset of concepts. In addition, we also create some essential datasets for information such as abbreviations and definitions from the systems engineering domain. Finally, we construct a simple knowledge graph using these extracted concepts along with some hyponym relations.


title: Lasing in para-Fermi class-B microring resonator arrays

abstract: We demonstrate lasing in arrays of microring resonators with underlying para-Fermi symmetry. The properties of the algebra allow the analytic prediction of propagation constants and normal modes of an array of passive resonators that show the optical analogue of a zero-energy mode that is its own chiral pair. The rest of the normal modes in the linear model form chiral pairs that are evenly distributed around the pseudo zero-energy mode. We use this information to construct a class-B laser model where even and odd sites are driven with different strength in a pattern following para-Fermi algebra chirality to demonstrate lasing with enhancement or suppression of the zero-energy mode. Zero-energy mode lasing is stable to initial conditions for a large set of driving ratios. Lasing with zero-energy mode suppression is unstable and more susceptible to initial field configurations.


title: Benchmarking Software Model Checkers on Automotive Code

abstract: This paper reports on our experiences with verifying automotive C code by state-of-the-art open source software model checkers. The embedded C code is automatically generated from Simulink open-loop controller models. Its diverse features (decision logic, floating-point and pointer arithmetic, rate limiters and state-flow systems) and the extensive use of floating-point variables make verifying the code highly challenging. Our study reveals large discrepancies in coverage - which is at most only 20% of all requirements --- and tool strength compared to results from the main annual software verification competition. A hand-crafted, simple extension of the verifier CBMC with $k$-induction delivers results on 63% of the requirements while the proprietary BTC EmbeddedValidator covers 80% and obtains bounded verification results for most of the remaining requirements.


title: BachGAN: High-Resolution Image Synthesis from Salient Object Layout

abstract: We propose a new task towards more practical application for image generation - high-quality image synthesis from salient object layout. This new setting allows users to provide the layout of salient objects only (i.e., foreground bounding boxes and categories), and lets the model complete the drawing with an invented background and a matching foreground. Two main challenges spring from this new task: (i) how to generate fine-grained details and realistic textures without segmentation map input; and (ii) how to create a background and weave it seamlessly into standalone objects. To tackle this, we propose Background Hallucination Generative Adversarial Network (BachGAN), which first selects a set of segmentation maps from a large candidate pool via a background retrieval module, then encodes these candidate layouts via a background fusion module to hallucinate a suitable background for the given objects. By generating the hallucinated background representation dynamically, our model can synthesize high-resolution images with both photo-realistic foreground and integral background. Experiments on Cityscapes and ADE20K datasets demonstrate the advantage of BachGAN over existing methods, measured on both visual fidelity of generated images and visual alignment between output images and input layouts.


title: Density Functionals for Hydrogen Storage: Defining the H2Bind275 Test Set with Ab Initio Benchmarks and Assessment of 55 Functionals

abstract: Efficient and high capacity storage materials are indispensable for a hydrogen-based economy. In silico tools can accelerate the process of discovery of new adsorbent materials with optimal hydrogen adsorption enthalpies. Density functional theory is well-poised to become a very useful tool for enabling high-throughput screening of potential materials. In this work, we have identified density functional approximations that provide good performance for hydrogen binding applications following a two-pronged approach. First, we have compiled a dataset (H2Bind275) that comprehensively represents the hydrogen binding problem capturing the chemical and mechanistic diversity in the binding sites encountered in hydrogen storage materials. We have also computed reference interaction energies for this dataset using coupled cluster theory. Secondly, we have assessed the performance of 55 density functional approximations for predicting H$_2$ interaction energies and have identified two hybrid density functionals ($\omega$B97X-V and $\omega$B97M-V), two double hybrid density functionals (DSD-PBEPBE-D3(BJ) and PBE0-DH), and one semi-local density functional (B97M-V) as the best performing ones. We have recommended the addition of empirical dispersion corrections to systematically underbinding density functionals like revPBE, BLYP, and B3LYP for improvements in performance at negligible additional cost. We have also recommended the usage of the def2-TZVPP basis set as it represents a good compromise between accuracy and cost, limiting the finite basis set errors to less than 1kJ/mol.


title: Regular partitions of gentle graphs

abstract: Szemeredi's Regularity Lemma is a very useful tool of extremal combinatorics. Recently, several refinements of this seminal result were obtained for special, more structured classes of graphs. We survey these results in their rich combinatorial context. In particular, we stress the link to the theory of (structural) sparsity, which leads to alternative proofs, refinements and solutions of open problems. It is interesting to note that many of these classes present challenging problems. Nevertheless, from the point of view of regularity lemma type statements, they appear as "gentle" classes.


title: Order Effects of Measurements in Multi-Agent Hypothesis Testing

abstract: In multi-agent systems, agents observe data, and use them to make inferences and take actions. As a result sensing and control naturally interfere, more so from a real-time perspective. A natural consequence is that in multi-agent systems there are propositions based on the set of observed events that might not be simultaneously verifiable, which leads to the need for probability structures that allow such \textit{incompatible events}. We revisit the structure of events in a multi-agent system and we introduce the necessary new models that incorporate such incompatible events in the formalism. These models are essential for building non-commutative probability models, which are different than the classical models based on the Kolmogorov construction. From this perspective, we revisit the concepts of \textit{event-state-operation structure} and the needed \textit{relationship of incompatibility} from the literature and use them as a tool to study the needed new algebraic structure of the set of events. We present an example from multi-agent hypothesis testing where the set of events does not form a Boolean algebra, but forms an ortholattice. A possible construction of a `noncommutative probability space', accounting for \textit{incompatible events} is discussed. We formulate and solve the binary hypothesis testing problem in the noncommutative probability space. We illustrate the occurrence of `order effects' in the multi-agent hypothesis testing problem by computing the minimum probability of error that can be achieved with different orders of measurements.


title: Information-Theoretic Foundations of Mismatched Decoding

abstract: Shannon's channel coding theorem characterizes the maximal rate of information that can be reliably transmitted over a communication channel when optimal encoding and decoding strategies are used. In many scenarios, however, practical considerations such as channel uncertainty and implementation constraints rule out the use of an optimal decoder. The mismatched decoding problem addresses such scenarios by considering the case that the decoder cannot be optimized, but is instead fixed as part of the problem statement. This problem is not only of direct interest in its own right, but also has close connections with other long-standing theoretical problems in information theory. In this monograph, we survey both classical literature and recent developments on the mismatched decoding problem, with an emphasis on achievable random-coding rates for memoryless channels. We present two widely-considered achievable rates known as the generalized mutual information (GMI) and the LM rate, and overview their derivations and properties. In addition, we survey several improved rates via multi-user coding techniques, as well as recent developments and challenges in establishing upper bounds on the mismatch capacity, and an analogous mismatched encoding problem in rate-distortion theory. Throughout the monograph, we highlight a variety of applications and connections with other prominent information theory problems.


title: Free coactions of a finite dimensional $C^*$-Hopf algebra and strong Morita equivalence

abstract: We shall introduce a notion of free coactions of a finite dimensional $C^*$-Hopf algebra on a $C^*$-algebra modifying a notion of free actions of a discrete group on a $C^*$-algebra and we shall study several properties on coactions of a finite dimensional $C^*$-Hopf algebra on $C^*$-algebras, which are relating to strong Morita equivalence for inclusions of $C^*$-algebras.


title: CAZSL: Zero-Shot Regression for Pushing Models by Generalizing Through Context

abstract: Learning accurate models of the physical world is required for a lot of robotic manipulation tasks. However, during manipulation, robots are expected to interact with unknown workpieces so that building predictive models which can generalize over a number of these objects is highly desirable. In this paper, we study the problem of designing deep learning agents which can generalize their models of the physical world by building context-aware learning models. The purpose of these agents is to quickly adapt and/or generalize their notion of physics of interaction in the real world based on certain features about the interacting objects that provide different contexts to the predictive models. With this motivation, we present context-aware zero shot learning (CAZSL, pronounced as casual) models, an approach utilizing a Siamese network architecture, embedding space masking and regularization based on context variables which allows us to learn a model that can generalize to different parameters or features of the interacting objects. We test our proposed learning algorithm on the recently released Omnipush datatset that allows testing of meta-learning capabilities using low-dimensional data. Codes for CAZSL are available at https://www.merl.com/research/license/CAZSL.


title: T-square resistivity without Umklapp scattering in dilute metallic Bi$_2$O$_2$Se

abstract: The electrical resistivity of Fermi liquids (FLs) displays a quadratic temperature ($T$) dependence because of electron-electron (e-e) scattering. For such collisions to decay the charge current, there are two known mechanisms: inter-band scattering (identified by Baber) and Umklapp events. However, dilute metallic strontium titanate (STO) was found to display $T^2$ resistivity in absence of either of these two mechanisms. The presence of soft phonons and their possible role as scattering centers raised the suspicion that $T$-square resistivity in STO is not due to e-e scattering. Here, we present the case of Bi$_2$O$_2$Se, a layered semiconductor with hard phonons, which becomes a dilute metal with a small single-component Fermi surface upon doping. It displays $T$-square resistivity well below the degeneracy temperature where neither Umklapp nor interband scattering is conceivable. We observe a universal scaling between the prefactor of $T^2$ resistivity and the Fermi energy, which is an extension of the Kadowaki-Woods plot to dilute metals. Our results imply the absence of a satisfactory theoretical basis for the ubiquity of e-e driven $T$-square resistivity in Fermi liquids.


title: Variability of paths and differential equations with $BV$-coefficients

abstract: We define compositions $\varphi(X)$ of H\"older paths $X$ in $\mathbb{R}^n$ and functions of bounded variation $\varphi$ under a relative condition involving the path and the gradient measure of $\varphi$. We show the existence and properties of generalized Lebesgue-Stieltjes integrals of compositions $\varphi(X)$ with respect to a given H\"older path $Y$. These results are then used, together with Doss' transform, to obtain existence and, in a certain sense, uniqueness results for differential equations in $\mathbb{R}^n$ driven by H\"older paths and involving coefficients of bounded variation. Examples include equations with discontinuous coefficients driven by paths of two-dimensional fractional Brownian motions.


title: Functionally Divided Manipulation Synergy for Controlling Multi-fingered Hands

abstract: Synergy supplies a practical approach for expressing various postures of a multi-fingered hand. However, a conventional synergy defined for reproducing grasping postures cannot perform general-purpose tasks expected for a multi-fingered hand. Locking the position of particular fingers is essential for a multi-fingered hand to manipulate an object. When using conventional synergy based control to manipulate an object, which requires locking some fingers, the coordination of joints is heavily restricted, decreasing the dexterity of the hand. We propose a functionally divided manipulation synergy (FDMS) method, which provides a synergy-based control to achieves both dimensionality reduction and in-hand manipulation. In FDMS, first, we define the function of each finger of the hand as either "manipulation" or "fixed." Then, we apply synergy control only to the fingers having the manipulation function, so that dexterous manipulations can be realized with few control inputs. The effectiveness of our proposed approach is experimentally verified.


title: Classification of Chinese Handwritten Numbers with Labeled Projective Dictionary Pair Learning

abstract: Dictionary learning is a cornerstone of image classification. We set out to address a longstanding challenge in using dictionary learning for classification; that is to simultaneously maximise the discriminability and sparse-representability power of the learned dictionaries. Upon this premise, we designed class-specific dictionaries incorporating three factors: discriminability, sparsity and classification error. We integrated these metrics into a unified cost function and adopted a new feature space, i.e., histogram of oriented gradients (HOG), to generate the dictionary atoms. The rationale of using HOG features for designing the dictionaries is their strength in describing fine details of crowded images. The results of applying the proposed method in the classification of Chinese handwritten numbers demonstrated enhanced classification performance $(\sim98\%)$ compared to state-of-the-art deep learning techniques (i.e., SqueezeNet, GoogLeNet and MobileNetV2), but with a fraction of parameters. Furthermore, combination of the HOG features with dictionary learning enhances the accuracy by $11\%$ compared to the case where only pixel domain data are used. These results were supported when the proposed method was applied to both Arabic and English handwritten number databases.


title: Diagonal reflection symmetries and universal four-zero texture

abstract: In this paper, we consider a set of new symmetries in the SM, {\it diagonal reflection} symmetries $R \, m_{u,\nu}^{*} \, R = m_{u,\nu}, ~ m_{d,e}^{*} = m_{d,e}$ with $R =$ diag $(-1,1,1)$. These generalized $CP$ symmetries predict the Majorana phases to be $\alpha_{2,3} /2 \sim 0$ or $\pi /2$. A realization of reflection symmetries suggests a broken chiral $U(1)_{\rm PQ}$ symmetry and a flavored axion. The axion scale is suggested to be $\langle \theta_{u,d} \rangle \sim \Lambda_{\rm GUT} \, \sqrt{m_{u,d} \, m_{c,s}} / v \sim 10^{12} \, $[GeV]. By combining the symmetries with the four-zero texture, the mass eigenvalues and mixing matrices of quarks and leptons are reproduced well. This scheme predicts the normal hierarchy, the Dirac phase $\delta_{CP} \simeq 203^{\circ},$ and $|m_{1}| \simeq 2.5$ or $6.2 \, $[meV]. In this scheme, the type-I seesaw mechanism and a given neutrino Yukawa matrix $Y_{\nu}$ completely determine the structure of right-handed neutrino mass $M_{R}$. An $u-\nu$ unification predicts mass eigenvalues to be $ (M_{R1} \, , M_{R2} \, , M_{R3}) = (O (10^{5}) \, , O (10^{9}) \, , O (10^{14})) \, $[GeV].


title: Bridging the Gap Between Spectral and Spatial Domains in Graph Neural Networks

abstract: This paper aims at revisiting Graph Convolutional Neural Networks by bridging the gap between spectral and spatial design of graph convolutions. We theoretically demonstrate some equivalence of the graph convolution process regardless it is designed in the spatial or the spectral domain. The obtained general framework allows to lead a spectral analysis of the most popular ConvGNNs, explaining their performance and showing their limits. Moreover, the proposed framework is used to design new convolutions in spectral domain with a custom frequency profile while applying them in the spatial domain. We also propose a generalization of the depthwise separable convolution framework for graph convolutional networks, what allows to decrease the total number of trainable parameters by keeping the capacity of the model. To the best of our knowledge, such a framework has never been used in the GNNs literature. Our proposals are evaluated on both transductive and inductive graph learning problems. Obtained results show the relevance of the proposed method and provide one of the first experimental evidence of transferability of spectral filter coefficients from one graph to another. Our source codes are publicly available at: https://github.com/balcilar/Spectral-Designed-Graph-Convolutions


title: Strong coupling constant and quark masses from lattice QCD

abstract: We review lattice determinations of the charm and bottom quark masses and the strong coupling constant obtained by different methods. We explain how effective field theory approaches, such as Non-Relativistic QCD (NRQCD), potential Non-Relativistic QCD (pNRQCD), Heavy Quark Effective Theory (HQET) and Heavy Meson rooted All-Staggered Chiral Perturbation Theory (HMrAS$\chi$PT) can help in these determinations. After critically reviewing different lattice results we determine lattice world averages for the strong coupling constant, $\alpha_s(M_Z,N_f{=}5)=0.11803^{+0.00047}_{-0.00068}$, as well as for the charm quark mass, $m_c(m_c,N_f{=}4)=1.2735(35)$ GeV, and the bottom quark mass, $m_b(m_b,N_f{=}5)=4.188(10)$ GeV. The above determinations are more precise than the ones obtained by Particle Data Group (PDG).


title: Gaussian Fluctuations and Free Energy Expansion for Coulomb Gases at Any Temperature

abstract: We obtain concentration estimates for the fluctuations of Coulomb gases in any dimension and in a broad temperature regime, including very small and very large temperature regimes which may depend on the number of points. We obtain a full Central Limit Theorem for the fluctuations of linear statistics in dimension 2, valid for the first time down to microscales and for possibly very small or very large temperatures. We show that a similar CLT can also be obtained in any larger dimension conditional on a "no phase-transition" assumption, as soon as one can obtain a precise enough error rate for the expansion of the free energy -- an expansion is obtained in any dimension, but the obtained rate is so far not good enough to conclude. These CLTs can be interpreted as a convergence to the Gaussian Free Field. All the results are valid as soon as the test-function lives on a larger scale than the temperature-dependent minimal scale $\rho_\beta$ introduced in our previous work \cite{as}.


title: Evaluation of radon adsorption efficiency values in xenon with activated carbon fibers

abstract: The radioactive noble gas radon-222 ($\mathrm{^{222}Rn}$, or Rn) produced in the uranium series is a crucial background source in many underground experiments. We have estimated the adsorption property of Rn with Activated Carbon Fibers (ACFs) in air (Air), argon (Ar), and xenon (Xe) gas. In this study, we evaluated six ACFs, named A-7, A-10, A-15, A-20, A-25, and S-25, provided from UNITIKA Ltd. We measured intrinsic radioactivity of these ACF samples, and found A-20's radioactivity of the uranium series is $<5.5$~$\mathrm{mBq/kg}$ with $90\%$ confidence level. In Air and Ar gas, we found ACF A-15 has the adsorption efficiency of $1/10000$ reduction at maximum before saturation of Rn adsorption, and more than $97\%$ adsorption efficiency after the saturation. In Xe gas, we found ACF A-20 has the best Rn adsorption ability among tested ACFs. We also found S-25, A-25, and A-15 have similar Rn adsorption performance.


title: A Critique on the Interventional Detection of Causal Relationships

abstract: Interventions are of fundamental importance in Pearl's probabilistic causality regime. In this paper, we will inspect how interventions influence the interpretation of causation in causal models in specific situation. To this end, we will introduce a priori relationships as non-causal relationships in a causal system. Then, we will proceed to discuss the cases that interventions can lead to spurious causation interpretations. This includes the interventional detection of a priori relationships, and cases where the interventional detection of causality forms structural causal models that are not valid in natural situations. We will also discuss other properties of a priori relations and SCMs that have a priori information in their structural equations.


title: Integrating Combined Task and Motion Planning with Compliant Control

abstract: Planning a motion for inserting pegs remains an open problem. The difficulty lies in both the inevitable errors in the grasps of a robotic hand and absolute precision problems in robot joint motors. This paper proposes an integral method to solve the problem. The method uses combined task and motion planning to plan the grasps and motion for a dual-arm robot to pick up the objects and move them to assembly poses. Then, it controls the dual-arm robot using a compliant strategy (a combination of linear search, spiral search, and impedance control) to finish up the insertion. The method is implemented on a dual-arm Universal Robots 3 robot. Six objects, including a connector with fifteen peg-in-hole pairs for detailed analysis and other five objects with different contours of pegs and holes for additional validation, were tested by the robot. Experimental results show reasonable force-torque signal changes and end-effector position changes. The proposed method exhibits high robustness and high fidelity in successfully conducting planned peg-in-hole tasks.


title: Multi-User Remote lab: Timetable Scheduling Using Simplex Nondominated Sorting Genetic Algorithm

abstract: The scheduling of multi-user remote laboratories is modeled as a multimodal function for the proposed optimization algorithm. The hybrid optimization algorithm, hybridization of the Nelder-Mead Simplex algorithm and Non-dominated Sorting Genetic Algorithm (NSGA), is proposed to optimize the timetable problem for the remote laboratories to coordinate shared access. The proposed algorithm utilizes the Simplex algorithm in terms of exploration, and NSGA for sorting local optimum points with consideration of potential areas. The proposed algorithm is applied to difficult nonlinear continuous multimodal functions, and its performance is compared with hybrid Simplex Particle Swarm Optimization, Simplex Genetic Algorithm, and other heuristic algorithms.


title: Terahertz Emisssion from Quantum Interference of Electron Trajectories

abstract: The semiclassical electron trajectory, the so-called quantum orbits, is employed to explain the terahertz wave generation (TWG) in dual-color strong field, and the feasibility of the theory is validated by the measurement. We find that TWG stems from quantum path interference of partial electron wavepacket released at the neighbouring cycles of the dual-color electric field, manifesting the temporal Young's double-slit interference of single electron. The trajectories released from neighbouring cycles, creating TWG, also account for intercycle interference fringes in the photoelectron momentum distribution, whereas no signature of TWG is found when taking trajectories only from a single cycle.


title: Fermi polaron revisited: polaron-molecule transition and coexistence

abstract: We revisit the polaron-molecule transition in three-dimensional(3D) fermion systems using the well-established variational approach. The molecule is found to be intrinsically unstable against lowest-order particle-hole excitations, and it can only approximate the ground state of impurity system with finite total momentum in the strong coupling regime. The polaron-molecule transition can therefore be reinterpreted as a first-order transition between single impurity systems with different total momenta. Within certain interaction window near their transition, both states appear as local minima in the dispersion curve, indicating they can coexist in a realistic system. We have further confirmed the polaron-molecule coexistence in the presence of a finite impurity concentration and at low temperature, which directly leads to a smooth polaron-molecule transition as observed in recent experiments of 3D ultracold Fermi gases. Our results have provided an unambiguous physical picture for the competition and conversion between polaron and molecule, and also shed light on Fermi polaron properties in low dimensions.


title: Simple purely infinite $C^*$-algebras associated with normal subshifts

abstract: We will introduce a notion of normal subshifts. A subshift $(\Lambda,\sigma)$ is said to be normal if it satisfies a certain synchronizing property called $\lambda$-synchronizing and is infinite as a set. We have lots of purely infinite simple $C^*$-algebras from normal subshifts including irreducible infinite sofic shifts, Dyck shifts, $\beta$-shifts, and so on. Eventual conjugacy of one-sided normal subshifts and topological conjugacy of two-sided normal subshifts are characterized in terms of the associated $C^*$-algebras and the associated stabilized $C^*$-algebras with its diagonals and gauge actions, respectively.


title: Mask Encoding for Single Shot Instance Segmentation

abstract: To date, instance segmentation is dominated by twostage methods, as pioneered by Mask R-CNN. In contrast, one-stage alternatives cannot compete with Mask R-CNN in mask AP, mainly due to the difficulty of compactly representing masks, making the design of one-stage methods very challenging. In this work, we propose a simple singleshot instance segmentation framework, termed mask encoding based instance segmentation (MEInst). Instead of predicting the two-dimensional mask directly, MEInst distills it into a compact and fixed-dimensional representation vector, which allows the instance segmentation task to be incorporated into one-stage bounding-box detectors and results in a simple yet efficient instance segmentation framework. The proposed one-stage MEInst achieves 36.4% in mask AP with single-model (ResNeXt-101-FPN backbone) and single-scale testing on the MS-COCO benchmark. We show that the much simpler and flexible one-stage instance segmentation method, can also achieve competitive performance. This framework can be easily adapted for other instance-level recognition tasks. Code is available at: https://git.io/AdelaiDet


title: Event-Driven Receding Horizon Control For Distributed Persistent Monitoring in Network Systems

abstract: We address the multi-agent persistent monitoring problem defined on a set of nodes (targets) interconnected over a network topology. A measure of mean overall node state uncertainty evaluated over a finite period is to be minimized by controlling the motion of a cooperating team of agents. To address this problem, we propose an event-driven receding horizon control approach that is computationally efficient, distributed and on-line. The proposed controller differs from the existing on-line gradient-based parametric controllers and off-line greedy cycle search methods that often lead to either low-performing local optima or computationally intensive centralized solutions. A critical novel element in this controller is that it automatically optimizes its planning horizon length, thus making it parameter-free. We show that explicit globally optimal solutions can be obtained for every distributed optimization problem encountered at each event where the receding horizon controller is invoked. Numerical results are provided showing improvements compared to state of the art distributed on-line parametric control solutions.


title: Description of the asymmetric to symmetric fission transition in the neutron-deficient Thoriums -- Role of the tensor force

abstract: In the present study, we have investigated the impact of the tensor force on fission paths, in particular the symmetric and asymmetric barriers in 230 Th, 226 Th, 222 Th and 216 Th isotopes which display an asymmetric to symmetric fission transition. This analysis has been performed within the HFB approach with (Q 20 ,Q 30 ,Q 40 ) as collective variable constraints, using the D1ST2a Gogny+tensor term interaction and comparing to the standard D1S Gogny interaction results. The effects from the tensor term on the potential energy surface landscape, and especially on barrier heights and its topology by opening a new valley in agreement with experimental data, are found to be crucial in the description of exotic actinide fission. We conclude that a tensor term should be integrated to the long range part of the effective interaction for a better description of the fission.


title: Generation of 0.7 mJ multicycle 15 THz radiation by phase-matched optical rectification in lithium niobate

abstract: We demonstrate efficient multicycle terahertz pulse generation at 14.6 THz from large-area lithium niobate crystals by using high-energy (up to 2 J) femtosecond Ti:sapphire laser pulses. Such terahertz radiation is produced by phase-matched optical rectification in lithium niobate. Experimentally, we achieve maximal terahertz energy of 0.71 mJ with conversion efficiency of $\sim$0.04%. We also find that the effective interaction length for optimal terahertz conversion is fundamentally limited by terahertz absorption, laser pulse stretching by material dispersion, and terahertz-induced nonlinear cascading effects on the driving laser pulse.


title: Spatial-Temporal Dataset of COVID-19 Outbreak in China

abstract: We present Coronavirus disease 2019 (COVID-19) statistics in China dataset: daily statistics of the COVID-19 outbreak in China at the city/county level. For each city/country, we include the six most important numbers for epidemic research: daily new infections, accumulated infections, daily new recoveries, accumulated recoveries, daily new deaths, and accumulated deaths. We cross validate the dataset and the estimate error rate is about 0.04%. We then give several examples to show how to trace the spreading in particular cities or provinces, and also contrast the development of COVID-19 in all cities in China at the early, middle and late stages. We hope this dataset can help researchers around the world better understand the spreading dynamics of COVID-19 at a regional level, to inform intervention and mitigation strategies for policymakers.


title: A note on multiplier ideal sheaves on complex spaces with singularities

abstract: The goal of this note is to present some recent results of our research concerning multiplier ideal sheaves on complex spaces and singularities of plurisubharmonic functions. We firstly introduce multiplier ideal sheaves on complex spaces (\emph{not} necessarily normal) via Ohsawa's extension measure, as a special case of which, it turns out to be the so-called Mather-Jacobian multiplier ideals in the algebro-geometric setting. As applications, we obtain a reasonable generalization of (algebraic) adjoint ideal sheaves to the analytic setting and establish some extension theorems on K\"ahler manifolds from \emph{singular} hypersurfaces. Relying on our multiplier and adjoint ideals, we also give characterizations for several important classes of singularities of pairs associated to plurisubharmonic functions. Moreover, we also investigate the local structure of singularities of log canonical locus of plurisubharmonic functions. Especially, in the three-dimensional case, we show that for any plurisubharmonic function with log canonical singularities, its associated multiplier ideal subscheme is weakly normal, by which we give a complete classification of multiplier ideal subschemes with log canonical singularities.


title: Strong-coupling quantum logic of trapped ions

abstract: Essentially all known quantum gates rely on a weak-coupling approximation resulting in linear dynamics. With the explicit example of trapped ions, we show how high-fidelity quantum gates can be achieved outside such an approximation, and we derive readily implementable driving fields to realize gates with extremely high fidelities for ions well outside the Lamb-Dicke regime with motional temperatures achievable by only Doppler cooling.


title: Comments on A New Parity Check Stopping Criterion for Turbo Decoding

abstract: A parity-check stopping (PCS) criterion for turbo decoding is proposed in [1], which shows its priority compared with the stopping criteria of Sign Change Ratio (SCR), Sign Difference Ratio (SDR), Cross Entropy (CE) and improved CEbased (Yu) method. But another well-known simple stopping criterion named Hard-Decision-Aided (HDA) criterion has not been compared in [1]. In this letter, through analysis we show that using max-log-MAP algorithm, PCS is equivalent to HDA; while simulations demonstrate that using log-MAP algorithm, PCS has nearly the same performance as HDA.


title: Generalized Wireless-Powered Communications: When to Activate Wireless Power Transfer?

abstract: Wireless-powered communication network (WPCN) is a key technology to power energy-limited massive devices, such as on-board wireless sensors in autonomous vehicles, for Internet-of-Things (IoT) applications. Conventional WPCNs rely only on dedicated downlink wireless power transfer (WPT), which is practically inefficient due to the significant energy loss in wireless signal propagation. Meanwhile, ambient energy harvesting is highly appealing as devices can scavenge energy from various existing energy sources (e.g., solar energy and cellular signals). Unfortunately, the randomness of the availability of these energy sources cannot guarantee stable communication services. Motivated by the above, we consider a generalized WPCN where the devices can not only harvest energy from a dedicated multiple-antenna power station (PS), but can also exploit stored energy stemming from ambient energy harvesting. Since the dedicated WPT consumes system resources, if the stored energy is sufficient, WPT may not be needed to maximize the weighted sum rate (WSR). To analytically characterize this phenomenon, we derive the condition for WPT activation and reveal how it is affected by the different system parameters. Subsequently, we further derive the optimal resource allocation policy for the cases that WPT is activated and deactivated, respectively. In particular, it is found that when WPT is activated, the optimal energy beamforming at the PS does not depend on the devices' stored energy, which is shown to lead to a new unfairness issue. Simulation results verify our theoretical findings and demonstrate the effectiveness of the proposed optimal resource allocation.


title: Existence and Optimal Convergence Rates of Multi-dimensional Subsonic Potential Flows Through an Infinitely Long Nozzle with an Obstacle Inside

abstract: In this paper, the well-posedness and optimal convergence rates of subsonic irrotational flows through a three dimensional infinitely long nozzle with a smooth obstacle inside are established. More precisely, the global existence and uniqueness of the uniformly subsonic flow are obtained via variational formulation as long as the incoming mass flux is less than a critical value. Furthermore, with the aid of delicate choice of weight functions, we prove the optimal convergence rates of the flow at far fields via weighted energy estimates and Nash-Moser iteration.


title: Reduction Theorem for Secrecy over Linear Network Code for Active Attacks

abstract: We discuss the effect of sequential error injection on information leakage under a network code. We formulate a network code for the single transmission setting and the multiple transmission setting. Under this formulation, we show that the eavesdropper cannot improve the power of eavesdropping by sequential error injection when the operations in the network are linear operations. We demonstrate the usefulness of this reduction theorem by applying a concrete example of network.


title: Learning transferable and discriminative features for unsupervised domain adaptation

abstract: Although achieving remarkable progress, it is very difficult to induce a supervised classifier without any labeled data. Unsupervised domain adaptation is able to overcome this challenge by transferring knowledge from a labeled source domain to an unlabeled target domain. Transferability and discriminability are two key criteria for characterizing the superiority of feature representations to enable successful domain adaptation. In this paper, a novel method called \textit{learning TransFerable and Discriminative Features for unsupervised domain adaptation} (TFDF) is proposed to optimize these two objectives simultaneously. On the one hand, distribution alignment is performed to reduce domain discrepancy and learn more transferable representations. Instead of adopting \textit{Maximum Mean Discrepancy} (MMD) which only captures the first-order statistical information to measure distribution discrepancy, we adopt a recently proposed statistic called \textit{Maximum Mean and Covariance Discrepancy} (MMCD), which can not only capture the first-order statistical information but also capture the second-order statistical information in the reproducing kernel Hilbert space (RKHS). On the other hand, we propose to explore both local discriminative information via manifold regularization and global discriminative information via minimizing the proposed \textit{class confusion} objective to learn more discriminative features, respectively. We integrate these two objectives into the \textit{Structural Risk Minimization} (RSM) framework and learn a domain-invariant classifier. Comprehensive experiments are conducted on five real-world datasets and the results verify the effectiveness of the proposed method.


title: Low Mach Number Limit and Far Field Convergence Rates of Potential Flows in Multi-Dimensional Nozzles With an Obstacle Inside

abstract: This paper considers the low Mach number limit and far field convergence rates of steady Euler flows with external forces in three-dimensional infinitely long nozzles with an obstacle inside. First, the well-posedness theory for both incompressible and compressible subsonic flows with external forces in multidimensional nozzle with an obstacle inside are established by several uniform estimates. The uniformly subsonic compressible flows tend to the incompressible flows as quadratic order of Mach number as the compressibility parameter goes to zero. Furthermore, we also give the convergence rates of both incompressible flow and compressible flow at far fields as the boundary of nozzle goes to flat even when the forces do not admit convergence rate at far fields. The convergence rates obtained for the flows at far fields clearly describe the effects of the external force.


title: Discovery of two nearby post-T Tauri stellar associations

abstract: In this work we report the discovery of 2 new stellar associations in close vicinity of the Sun at roughly 180 and 150 pc. These two associations, named as u Tau assoc and e Tau assoc, were detected based on their clustering in a multi-dimensional parameter space including ${\alpha}$, ${\delta}$, ${\mu}_{\alpha}$ , ${\mu}_{\delta}$ and ${\pi}$ of Gaia. The fitting of pre-main-sequence model isochrones in their color-magnitude diagrams suggests that the two associations are of about 50 Myr old and the group members lower than ${\sim}$0.8 $M_{\odot}$ are at the stage of post-T Tauri.


title: Range-Doppler Sidelobe Suppression for Pulsed Radar Based on Golay Complementary Codes

abstract: To relieve the interference caused by range-Doppler sidelobes in pulsed radars, we propose a new method to construct Doppler resilient complementary waveforms based on Golay codes. We design both the transmit pulse train and the receive pulse weights, so that the similarity between the pulse weights and a given window function is maximized and the constraints on Doppler null points and energy are met. That is summarized as a two-way partitioning problem, and then solved by semidefinite programming and randomization techniques. The novel waveform thus obtained has its range sidelobe outright suppressed in multiple and flexibly-adjustable Doppler zones, and performs well in Doppler sidelobe suppression, Doppler resolution and SNR. It shows great promise in detecting slightly-moving weak targets with the existence of dense interference.


title: Last Round Convergence and No-Instant Regret in Repeated Games with Asymmetric Information

abstract: This paper considers repeated games in which one player has more information about the game than the other players. In particular, we investigate repeated two-player zero-sum games where only the column player knows the payoff matrix A of the game. Suppose that while repeatedly playing this game, the row player chooses her strategy at each round by using a no-regret algorithm to minimize her (pseudo) regret. We develop a no-instant-regret algorithm for the column player to exhibit last round convergence to a minimax equilibrium. We show that our algorithm is efficient against a large set of popular no-regret algorithms of the row player, including the multiplicative weight update algorithm, the online mirror descent method/follow-the-regularized-leader, the linear multiplicative weight update algorithm, and the optimistic multiplicative weight update.


title: A Comprehensive Monte Carlo Framework for Jet-Quenching

abstract: This article presents the motivation for developing a comprehensive modeling framework in which different models and parameter inputs can be compared and evaluated for a large range of jet-quenching observables measured in relativistic heavy-ion collisions at RHIC and the LHC. The concept of a framework us discussed within the context of recent efforts by the JET Collaboration, the authors of JEWEL, and the JETSCAPE collaborations. The framework ingredients for each of these approaches is presented with a sample of important results from each. The role of advanced statistical tools in comparing models to data is also discussed, along with the need for a more detailed accounting of correlated errors in experimental results.


title: Production of hidden-charm and hidden-bottom pentaquark states in electron-proton collisions

abstract: Electro-production of several pentaquark states is investigated in this paper. eSTARlight package is adapted to study the electro-production of $J/\psi$ and $\Upsilon (1S)$ via pentaquark $P_c$ and $P_b$ resonance channels in $e p \to e eJ/\psi p$ and $e p \to e\Upsilon(1S) p$ scattering processes at proposed electron-ion colliders (EICs). The results in this paper are compared to the non-resonance $t$-channels, which is described in pomeron exchange model in our studies. Some pseudo-rapidity distributions rapidity distributions of $J/\psi$ and $\Upsilon(1S)$ are presented for proposed EICs including EicC and EIC-US. It is found that EicC is a good platform to identify $P_b$ states in the future.


title: NuSTAR Detection of Quiescent Hard X-Ray Emission from SGR 0526-66 in the Large Magellanic Cloud

abstract: The soft gamma-ray repeater (SGR) 0526-66 is the first-identified magnetar, and is projected within the supernova remnant N49 in the Large Magellanic Cloud. Based on our ~50 ks NuSTAR observation, we detect the quiescent-state 0526-66 for the first time in the 10-40 keV band. Based on the joint analysis of our NuSTAR and the archival Chandra ACIS data, we firmly establish the presence of the nonthermal component in the X-ray spectrum of 0526-66 in addition to the thermal emission. In the best-fit blackbody (BB) plus power law (PL) model, the slope of the PL component (photon index Gamma = 2.1) is steeper than those (Gamma > ~1.5) for other magnetars. The soft part of the X-ray spectrum can be described with a BB component with the temperature of kT = 0.43 keV. The best-fit radius (R = 6.5 km) of the X-ray-emitting area is smaller than the canonical size of a neutron star. If we assume an underlying cool BB component with the canonical radius of R = 10 km for the neutron star in addition to the hot BB component (2BB + PL model), a lower BB temperature of kT = 0.24 keV is obtained for the passively cooling neutron star'ssurface, while the hot spot emission with kT = 0.46 keV dominates the thermal spectrum (~85% of the thermal luminosity in the 0.5-5 keV band). The nonthermal component (Gamma ~ 1.8) is still required.


title: Giant gate-controlled odd-parity magnetoresistance in one-dimensional channels with a magnetic proximity effect

abstract: According to Onsager's principle, electrical resistance $R$ of general conductors behaves as an even function of external magnetic field $B$. Only in special circumstances, which involve time reversal symmetry (TRS) broken by ferromagnetism, the odd component of $R$ against $B$ is observed. This unusual phenomenon, called odd-parity magnetoresistance (OMR), was hitherto subtle (< 2%) and hard to control by external means. Here, we report a giant OMR as large as 27% in edge transport channels of an InAs quantum well, which is magnetized by a proximity effect from an underlying ferromagnetic semiconductor (Ga,Fe)Sb layer. Combining experimental results and theoretical analysis using the linearized Boltzmann's equation, we found that simultaneous breaking of both the TRS by the magnetic proximity effect (MPE) and spatial inversion symmetry (SIS) in the one-dimensional (1D) InAs edge channels is the origin of this giant OMR. We also demonstrated the ability to turn on and off the OMR using electrical gating of either TRS or SIS in the edge channels. These findings provide a deep insight into the 1D semiconducting system with a strong magnetic coupling.


title: Habitability of polar regions in tidally locked extrasolar planet near the M-Dwarf stars

abstract: Since the launch of Kepler and Hubble more than a decade ago, we have come a long way in the quest to find a potentially habitable exoplanet. To date, we have already discovered more than 4000 exoplanets most of which are not suitable for sustaining life. Of all those that can potentially sustain life, A large number has been found rotating synchronously around their parent star, mostly Red dwarf star. Due to their synchronous rotation, these planets receive very uneven stellar heating. Synchronous rotation of these planets causes one side of the planet to permanently face the parent star while the other side remains dark. This results in an extreme climatic condition that is not feasible for sustaining life. Although these theories about exoplanets are well known, a systemic study of habitability of polar regions within an exoplanet using different climate models has not been done yet. Here I review the current literature on tidal locking and its impact on habitability and introduce the concept of habitability in the poles of these exoplanets. I focus on my understanding of the climatic condition in the polar region of the earth and based on that I present the concept of habitability in the poles of these exoplanets.


title: A new $\phi$-FEM approach for problems with natural boundary conditions

abstract: We present a new finite element method, called $\phi$-FEM, to solve numerically elliptic partial differential equations with natural (Neumann or Robin) boundary conditions using simple computational grids, not fitted to the boundary of the physical domain. The boundary data are taken into account using a level-set function, which is a popular tool to deal with complicated or evolving domains. Our approach belongs to the family of fictitious domain methods (or immersed boundary methods) and is close to recent methods of cutFEM/XFEM type. Contrary to the latter, $\phi$-FEM does not need any non-standard numerical integration on cut mesh elements or on the actual boundary, while assuring the optimal convergence orders with finite elements of any degree and providing reasonably well conditioned discrete problems. In the first version of $\phi$-FEM, only essential (Dirichlet) boundary conditions was considered. Here, to deal with natural boundary conditions, we introduce the gradient of the primary solution as an auxiliary variable. This is done only on the mesh cells cut by the boundary, so that the size of the numerical system is only slightly increased. We prove theoretically the optimal convergence of our scheme and a bound on the discrete problem conditioning, independent of the mesh cuts. The numerical experiments confirm these results.


title: Fastidious Attention Network for Navel Orange Segmentation

abstract: Deep learning achieves excellent performance in many domains, so we not only apply it to the navel orange semantic segmentation task to solve the two problems of distinguishing defect categories and identifying the stem end and blossom end, but also propose a fastidious attention mechanism to further improve model performance. This lightweight attention mechanism includes two learnable parameters, activations and thresholds, to capture long-range dependence. Specifically, the threshold picks out part of the spatial feature map and the activation excite this area. Based on activations and thresholds training from different types of feature maps, we design fastidious self-attention module (FSAM) and fastidious inter-attention module (FIAM). And then construct the Fastidious Attention Network (FANet), which uses U-Net as the backbone and embeds these two modules, to solve the problems with semantic segmentation for stem end, blossom end, flaw and ulcer. Compared with some state-of-the-art deep-learning-based networks under our navel orange dataset, experiments show that our network is the best performance with pixel accuracy 99.105%, mean accuracy 77.468%, mean IU 70.375% and frequency weighted IU 98.335%. And embedded modules show better discrimination of 5 categories including background, especially the IU of flaw is increased by 3.165%.


title: Multiscale Substitution Tilings

abstract: We introduce a new general framework for constructing tilings of Euclidean space, which we call multiscale substitution tilings. These tilings are generated by substitution schemes on a finite set of prototiles, in which multiple distinct scaling constants are allowed. This is in contrast to the standard case of the well-studied substitution tilings which includes examples such as the Penrose and the pinwheel tilings. Under an additional irrationality assumption on the scaling constants, our construction defines a new class of tilings and tiling spaces, which are intrinsically different from those that arise in the standard setup. We study various structural, geometric, statistical and dynamical aspects of these new objects and establish a wide variety of properties. Among our main results are explicit density formulas and the unique ergodicity of the associated tiling dynamical systems.


title: Topological mass generation and $2-$forms

abstract: In this work we revisit the topological mass generation of 2-forms and establish a connection to the unique derivative coupling arising in the quartic Lagrangian of the systematic construction of massive $2-$form interactions, relating in this way BF theories to Galileon-like theories of 2-forms. In terms of a massless $1-$form $A$ and a massless $2-$form $B$, the topological term manifests itself as the interaction $B\wedge F$, where $F = {\rm d} A$ is the field strength of the $1-$form. Such an interaction leads to a mechanism of generation of mass, usually referred to as "topological generation of mass" in which the single degree of freedom propagated by the $2-$form is absorbed by the $1-$form, generating a massive mode for the $1-$form. Using the systematical construction in terms of the Levi-Civita tensor, it was shown that, apart from the quadratic and quartic Lagrangians, Galileon-like derivative self-interactions for the massive 2-form do not exist. A unique quartic Lagrangian $\epsilon^{\mu\nu\rho\sigma}\epsilon^{\alpha\beta\gamma}_{\;\;\;\;\;\;\sigma}\partial_{\mu}B_{\alpha\rho}\partial_{\nu}B_{\beta\gamma}$ arises in this construction in a way that it corresponds to a total derivative on its own but ceases to be so once an overall general function is introduced. We show that it exactly corresponds to the same interaction of topological mass generation. Based on the decoupling limit analysis of the interactions, we bring out supporting arguments for the uniqueness of such a topological mass term and absence of the Galileon-like interactions. Finally, we discuss some preliminary applications in cosmology.


title: Extended Wigner function for the harmonic oscillator in the phase space

abstract: New time dependent Wigner functions for the quantum harmonic oscillator have been obtained in this work. The Moyal equation for the harmonic oscillator has been presented as the wave equation of a 2D membrane in the phase plane. The values of the Wigner function are equal to the deviation values of the points on the surface of the membrane from the equilibrium state. The positive and negative values of the Wigner function correspond to the direction of the deviation from the equilibrium state. As an example, a time dependent Wigner function corresponding to the standing wave of quasi-probability density arising in the phase plane is considered.


title: A Sequential Subspace Method for Millimeter Wave MIMO Channel Estimation

abstract: Data transmission over the mmWave in fifth-generation wireless networks aims to support very high speed wireless communications. A substantial increase in spectrum efficiency for mmWave transmission can be achieved by using advanced hybrid precoding, for which accurate channel state information is the key. Rather than estimating the entire channel matrix, directly estimating subspace information, which contains fewer parameters, does have enough information to design transceivers. However, the large channel use overhead and associated computational complexity in the existing channel subspace estimation techniques are major obstacles to deploy the subspace approach for channel estimation. In this paper, we propose a sequential two-stage subspace estimation method that can resolve the overhead issues and provide accurate subspace information. Utilizing a sequential method enables us to avoid manipulating the entire high-dimensional training signal, which greatly reduces the complexity. Specifically, in the first stage, the proposed method samples the columns of channel matrix to estimate its column subspace. Then, based on the obtained column subspace, it optimizes the training signals to estimate the row subspace. For a channel with $N_r$ receive antennas and $N_t$ transmit antennas, our analysis shows that the proposed technique only requires $O(N_t)$ channel uses, while providing a guarantee of subspace estimation accuracy. By theoretical analysis, it is shown that the similarity between the estimated subspace and the true subspace is linearly related to the signal-to-noise ratio (SNR), i.e., $O(\text{SNR})$, at high SNR, while quadratically related to the SNR, i.e., $O(\text{SNR}^2)$, at low SNR. Simulation results show that the proposed sequential subspace method can provide improved subspace accuracy, normalized mean squared error, and spectrum efficiency over existing methods.


title: Characterization of multilinear multipliers in terms of Sobolev space regularity

abstract: We provide necessary and sufficient conditions for multilinear multiplier operators with symbols in $L^r$-based product-type Sobolev spaces uniformly over all annuli to be bounded from products of Hardy spaces to a Lebesgue space. We consider the case $1<r\leq 2$ and we characterize boundedness in terms of inequalities relating the Lebesgue indices (or Hardy indices), the dimension, and the regularity and integrability indices of the Sobolev space. The case $r>2$ cannot be handled by known techniques and remains open. Our result not only extends but also establishes the sharpness of previous results of Miyachi, Nguyen, Tomita, and the first author, who only considered the case $r=2$.


title: An Online Learning Methodology for Performance Modeling of Graphics Processors

abstract: Approximately 18 percent of the 3.2 million smartphone applications rely on integrated graphics processing units (GPUs) to achieve competitive performance. Graphics performance, typically measured in frames per second, is a strong function of the GPU frequency, which in turn has a significant impact on mobile processor power consumption. Consequently, dynamic power management algorithms have to assess the performance sensitivity to the frequency accurately to choose the operating frequency of the GPU effectively. Since the impact of GPU frequency on performance varies rapidly over time, there is a need for online performance models that can adapt to varying workloads. This paper presents a light-weight adaptive runtime performance model that predicts the frame processing time of graphics workloads at runtime without apriori characterization. We employ this model to estimate the frame time sensitivity to the GPU frequency, i.e., the partial derivative of the frame time with respect to the GPU frequency. The proposed model does not rely on any parameter learned offline. Our experiments on commercial platforms with common GPU benchmarks show that the mean absolute percentage error in frame time and frame time sensitivity prediction are 4.2 and 6.7 percent, respectively.


title: T2FSNN: Deep Spiking Neural Networks with Time-to-first-spike Coding

abstract: Spiking neural networks (SNNs) have gained considerable interest due to their energy-efficient characteristics, yet lack of a scalable training algorithm has restricted their applicability in practical machine learning problems. The deep neural network-to-SNN conversion approach has been widely studied to broaden the applicability of SNNs. Most previous studies, however, have not fully utilized spatio-temporal aspects of SNNs, which has led to inefficiency in terms of number of spikes and inference latency. In this paper, we present T2FSNN, which introduces the concept of time-to-first-spike coding into deep SNNs using the kernel-based dynamic threshold and dendrite to overcome the aforementioned drawback. In addition, we propose gradient-based optimization and early firing methods to further increase the efficiency of the T2FSNN. According to our results, the proposed methods can reduce inference latency and number of spikes to 22% and less than 1%, compared to those of burst coding, which is the state-of-the-art result on the CIFAR-100.