title: Long-time behaviour of time-dependent density functional theory

abstract: The density functional theory (DFT) is a remarkably successful theory of electronic structure of matter. At the foundation of this theory lies the Kohn-Sham (KS) equation. In this paper, we describe the long-time behaviour of the time-dependent KS equation. Assuming weak self-interactions, we prove global existence and scattering in (almost) the full "short-range" regime. This is achieved with new and simple techniques, naturally compatible with the structure of the DFT and involving commutator vector fields and non-abelian versions of Sobolev-Klainerman-type spaces and inequalities.


title: Distributed and Localized Model Predictive Control via System Level Synthesis

abstract: We present the Distributed and Localized Model Predictive Control (DLMPC) algorithm for large-scale structured linear systems, wherein only local state and model information needs to be exchanged between subsystems for the computation and implementation of control actions. We use the System Level Synthesis (SLS) framework to reformulate the MPC problem as an optimization problem over closed loop system responses, and show that this allows us to naturally impose localized communication constraints between sub-controllers, such that only local state and system model information needs to be exchanged for both computation and implementation of closed loop MPC control policies. In particular, we show that the structure of the resulting optimization problem can be exploited to develop an Alternating Direction Method of Multipliers (ADMM) based algorithm that allows for distributed and localized computation of control decisions. Moreover, our approach can accommodate constraints and objective functions that couple the behavior of different subsystems, so long as the coupled systems are able to communicate directly with each other, allowing for a broader class of MPC problems to be solved via distributed optimization. We conclude with numerical simulations to demonstrate the usefulness of our method, and in particular, we demonstrate that the computational complexity of the subproblems solved by each subsystem in DLMPC is independent of the size of the global system.


title: Realizing modular quadrature measurements via a tunable photon-pressure coupling in circuit-QED

abstract: One of the most direct preparations of a Gottesman-Kitaev-Preskill qubit in an oscillator uses a tunable photon-pressure (also called optomechanical) coupling of the form $g \hat{q} a^{\dagger} a$, enabling to imprint the modular value of the position $\hat{q}$ of one oscillator onto the state of an ancilla oscillator. We analyze the practical feasibility of executing such modular quadrature measurements in a parametric circuit-QED realization of this coupling. We provide estimates for the expected GKP squeezing induced by the protocol and discuss the effect of photon loss and other errors on the resulting squeezing.


title: Dynamic feedback control through wall suction in shear flows

abstract: Flow control is of interest in many open and wall-bounded shear flows in order to reduce drag or to avoid sudden large fluctuations that may lead to material failure. An established means of control is the application of suction through a porous wall. Here, we combine suction with a feedback strategy whereby the suction velocity is adjusted in response to either the kinetic energy or the shear stress at the bottom wall. The control procedure is then used in an attempt to stabilize invariant solutions and to carry out direct numerical simulations with a prescribed value of the friction coefficient.


title: Characterization of passivity in Mueller matrices

abstract: Except for very particular and artificial experimental configurations, linear transformations of the state of polarization of an electromagnetic wave result in a reduction of the intensity of the exiting wave with respect to the incoming one. This natural passive behavior imposes certain mathematical restrictions on the corresponding Mueller matrices associated to the said transformations. Although the general conditions for passivity in Mueller matrices were presented in a previous paper [J. J. Gil, J. Opt. Soc. Am. A 17, 328-334 (2000)], the demonstration was incomplete. In this paper, the set of two necessary and sufficient conditions for a Mueller matrix to represent a passive medium are determined and demonstrated on the basis of its arbitrary decomposition as a convex combination of nondepolarizing and passive pure Mueller matrices. The procedure followed to solve the problem provides also an appropriate framework to identify the Mueller matrix that, among the family of proportional passive Mueller matrices, exhibits the maximal physically achievable intensity transmittance. Beyond the theoretical interest on the rigorous characterization of passivity, the results obtained, when applied to absolute Mueller polarimetry, also provide a criterion to discard those experimentally measured Mueller matrices that do not satisfy the passivity criterion.


title: An Energetically Stable Q-ball solution in 3+1 Dimensions

abstract: The paper, classically, presents an extended Klein-Gordon field system in 3+1 dimensions with a special Q-ball solution. The Q-ball solution is energetically stable, that is, for any arbitrary small deformation above the background of that, total energy always increases. The general dynamical equations, just for this special Q-ball solution, are reduced to the known versions of a complex nonlinear Klein-Gordon system, as its dominant dynamical equations.


title: Absence of Evidence for the 'Ultimate' State of Turbulent Rayleigh-B\'enard Convection

abstract: The claim by He et al. [Physical Review Letters 108, 024502 (2012)] that their experiment reached the 'ultimate' regime of turbulent Rayleigh-B\'enard convection is not justified by their data.


title: Whole-Body Geometric Retargeting for Humanoid Robots

abstract: Humanoid robot teleoperation allows humans to integrate their cognitive capabilities with the apparatus to perform tasks that need high strength, manoeuvrability and dexterity. This paper presents a framework for teleoperation of humanoid robots using a novel approach for motion retargeting through inverse kinematics over the robot model. The proposed method enhances scalability for retargeting, i.e., it allows teleoperating different robots by different human users with minimal changes to the proposed system. Our framework enables an intuitive and natural interaction between the human operator and the humanoid robot at the configuration space level. We validate our approach by demonstrating whole-body retargeting with multiple robot models. Furthermore, we present experimental validation through teleoperation experiments using two state-of-the-art whole-body controllers for humanoid robots.


title: Existence, uniqueness, comparison theorem and stability theorem for unbounded solutions of scalar BSDEs with sub-quadratic generators

abstract: We first establish the existence of an unbounded solution to a backward stochastic differential equation (BSDE) with generator $g$ allowing a general growth in the state variable $y$ and a sub-quadratic growth in the state variable $z$, like $|z|^\alpha$ for some $\alpha\in (1,2)$, when the terminal condition satisfies a sub-exponential moment integrability condition like $\exp\left(\mu L^{2/\alpha^*}\right)$ for the conjugate $\alpha^*$ of $\alpha$ and a positive parameter $\mu>\mu_0$ with a certain value $\mu_0$, which is clearly weaker than the usual $\exp(\mu L)$ integrability and stronger than $L^p\ (p>1)$ integrability. Then, we prove the uniqueness and comparison theorem for the unbounded solutions of the preceding BSDEs under the additional assumptions that the terminal conditions have sub-exponential moments of any order and the generators are convex or concave in $(y,z)$. Afterwards, we extend the uniqueness and comparison theorem to the non-convexity and non-concavity case, and establish a general stability result for the unbounded solutions of the preceding BSDEs. Finally, with these tools in hands, we derive the nonlinear Feynman-Kac formula in this context.


title: Agility is responsiveness to change: An essential definition

abstract: There is some ambiguity of what agile means in both research and practice. Authors have suggested a diversity of different definitions, through which it is difficult to interpret what agile really is. The concept, however, exists in its implementation through agile practices. In this vision paper, we argue that adopting an agile approach boils down to being more responsive to change. To support this claim, we relate agile principles, practices, the agile manifesto, and our own experiences to this core definition. We envision that agile transformations would be, and are, much easier using this definition and contextualizing its implications.


title: Gas shells and magnetic fields in the Orion-Eridanus superbubble

abstract: The Orion-Eridanus superbubble has been blown by supernovae and supersonic winds of the massive stars in the Orion OB associations. The formation history and current structure of the superbubble are still poorly understood. It possibly consists of a combination of nested shells along the line of sight. We have investigated the composite structure of the Eridanus side of the superbubble in the light of a new decomposition of the atomic and molecular gas. We used HI and CO emission lines to separate coherent gas shells in space and velocity, and we studied their relation to the warm ionised gas probed in H$\alpha$ emission, to the hot plasma emitting X-rays, and to the magnetic fields traced by dust polarised emission. We also constrained the relative distances to the clouds using dust reddening maps and X-ray absorption. We used the dust polarisation data to estimate the plane-of-sky components of the magnetic field in several clouds and along the outer rim of the superbubble. Our gas decomposition has revealed several shells inside the superbubble that span distances from about 150 pc to 250 pc. One of these shells forms a nearly complete ring filled with hot plasma. Other shells likely correspond to the layers of swept-up gas that is compressed behind the expanding outer shock wave. We used the gas and magnetic-field data downstream of the shock to derive a shock expansion velocity close to 20 km/s. Taking the X-ray absorption by the gas into account, we find that the pressure of the hot plasma inside the superbubble exceeds that in the Local Bubble. It comprises a mix of hotter (3-9 MK) and cooler (0.3-1.2 MK) gas along the lines of sight. The magnetic field along the western and southern rims and in the approaching wall of the superbubble appears to be shaped and compressed by the ongoing expansion. We find plane-of-sky magnetic strengths ranging from 3 to 15 $\mu$G along the rim.


title: mlVIRNET: Multilevel Variational Image Registration Network

abstract: We present a novel multilevel approach for deep learning based image registration. Recently published deep learning based registration methods have shown promising results for a wide range of tasks. However, these algorithms are still limited to relatively small deformations. Our method addresses this shortcoming by introducing a multilevel framework, which computes deformation fields on different scales, similar to conventional methods. Thereby, a coarse-level alignment is obtained first, which is subsequently improved on finer levels. We demonstrate our method on the complex task of inhale-to-exhale lung registration. We show that the use of a deep learning multilevel approach leads to significantly better registration results.


title: The Degree of Stiefel Manifolds

abstract: We compute the degree of Stiefel manifolds, that is, the variety of orthonormal frames in a finite dimensional vector space. Our approach employs techniques from classical algebraic geometry, algebraic combinatorics, and classical invariant theory.


title: Learning Universal Graph Neural Network Embeddings With Aid Of Transfer Learning

abstract: Learning powerful data embeddings has become a center piece in machine learning, especially in natural language processing and computer vision domains. The crux of these embeddings is that they are pretrained on huge corpus of data in a unsupervised fashion, sometimes aided with transfer learning. However currently in the graph learning domain, embeddings learned through existing graph neural networks (GNNs) are task dependent and thus cannot be shared across different datasets. In this paper, we present a first powerful and theoretically guaranteed graph neural network that is designed to learn task-independent graph embeddings, thereafter referred to as deep universal graph embedding (DUGNN). Our DUGNN model incorporates a novel graph neural network (as a universal graph encoder) and leverages rich Graph Kernels (as a multi-task graph decoder) for both unsupervised learning and (task-specific) adaptive supervised learning. By learning task-independent graph embeddings across diverse datasets, DUGNN also reaps the benefits of transfer learning. Through extensive experiments and ablation studies, we show that the proposed DUGNN model consistently outperforms both the existing state-of-art GNN models and Graph Kernels by an increased accuracy of 3% - 8% on graph classification benchmark datasets.


title: Conquering the Rayleigh scattering limit of silica glass fiber at visible wavelengths with a hollow-core fiber approach

abstract: The ultimate limit on fiber loss is set by the intrinsic Rayleigh scattering of silica glass material. Here, we challenge this limit in the visible region by using a hollow-core fiber approach. Two visible-guiding hollow-core conjoined-tube negative-curvature fibers are successfully fabricated and exhibit the overall losses of 3.8 dB/km at 680 nm and 4.9 dB/km at 558 nm respectively. The loss of the latter fiber surpasses the Rayleigh scattering limit of silica glass fiber in the green spectral region by 2 dB. Numerical simulation indicates that this loss level is still much higher than the fundamental surface scattering loss limit of hollow-core fiber.


title: Routh Reduction of Palatini Gravity in Vacuum

abstract: An interpretation of Einstein-Hilbert gravity equations as Lagrangian reduction of Palatini gravity is made. The main technique involved in this task consists in representing the equations of motion as a set of differential forms on a suitable bundle. In this setting Einstein-Hilbert gravity can be considered as a kind of Routh reduction of the underlying field theory for Palatini gravity. As a byproduct of this approach, a novel set of conditions for the existence of a vielbein for a given metric is found.


title: Planar algebra presentations of $\text{URep}_{\mathbb{C}}(\mathbb{C}^+)$ and $\text{URep}_{\mathbb{F}_p}(\mathbb{F}_p^+)$

abstract: We give presentations of the planar algebra of unipotent representations of the groups $\mathbb{C}$ and $\mathbb{F}_p$ under addition using jellyfish and light leaf style arguments. These are some of the most natural examples of non-semisimple planar algebras. For the characteristic $p$ family of examples, a new generator appears in arbitrarily large box spaces as $p$ increases. We point toward future directions in getting results on first and second fundamental theorems for rings of vector invariants, as well as generalization of the examples given.


title: Towards Explainability for a Civilian UAV Fleet Management using an Agent-based Approach

abstract: This paper presents an initial design concept and specification of a civilian Unmanned Aerial Vehicle (UAV) management simulation system that focuses on explainability for the human-in-the-loop control of semi-autonomous UAVs. The goal of the system is to facilitate the operator intervention in critical scenarios (e.g. avoid safety issues or financial risks). Explainability is supported via user-friendly abstractions on Belief-Desire-Intention agents. To evaluate the effectiveness of the system, a human-computer interaction study is proposed.


title: Flying batteries: In-flight battery switching to increase multirotor flight time

abstract: We present a novel approach to increase the flight time of a multirotor via mid-air docking and in-flight battery switching. A main quadcopter flying using a primary battery has a docking platform attached to it. A 'flying battery' - a small quadcopter carrying a secondary battery - is equipped with docking legs that can mate with the main quadcopter's platform. Connectors between the legs and the platform establish electrical contact on docking, and enable power transfer from the secondary battery to the main quadcopter. A custom-designed circuit allows arbitrary switching between the primary battery and secondary battery. We demonstrate the concept in a flight experiment involving repeated docking, battery switching, and undocking. The experiment increases the flight time of the main quadcopter by a factor of 4.7x compared to solo flight, and 2.2x a theoretical limit for that given multirotor. Importantly, this increase in flight time is not associated with a large increase in overall vehicle mass or size, leaving the main quadcopter in fundamentally the same safety class.


title: Robust Performance Guarantees for System Level Synthesis

abstract: We generalize the system level synthesis framework to systems defined by bounded causal linear operators, and use this parameterization to make connections between robust system level synthesis and classical results from the robust control literature. In particular, by leveraging results from L1 robust control, we show that necessary and sufficient conditions for robust performance with respect to causal bounded linear uncertainty in the system dynamics can be translated into convex constraints on the system responses. We exploit this connection to show that these conditions naturally allow for the incorporation of delay, sparsity, and locality constraints on the system responses and resulting controller implementation, allowing these methods to be applied to large-scale distributed control problems -- to the best of our knowledge, these are the first such robust performance guarantees for distributed control systems.


title: Iterated Piecewise-Stationary Random Functions

abstract: Within the study of uncertain dynamical systems, iterated random functions are a key tool. There, one samples a family of functions according to a stationary distribution. Here, we introduce an extension, where one sample functions according to a time-varying distribution over the family of functions. For such iterated piecewise-stationary random functions on Polish spaces, we prove a number of results, including a bound on the tracking error.


title: Deep Structured Neural Network for Event Temporal Relation Extraction

abstract: We propose a novel deep structured learning framework for event temporal relation extraction. The model consists of 1) a recurrent neural network (RNN) to learn scoring functions for pair-wise relations, and 2) a structured support vector machine (SSVM) to make joint predictions. The neural network automatically learns representations that account for long-term contexts to provide robust features for the structured model, while the SSVM incorporates domain knowledge such as transitive closure of temporal relations as constraints to make better globally consistent decisions. By jointly training the two components, our model combines the benefits of both data-driven learning and knowledge exploitation. Experimental results on three high-quality event temporal relation datasets (TCR, MATRES, and TB-Dense) demonstrate that incorporated with pre-trained contextualized embeddings, the proposed model achieves significantly better performances than the state-of-the-art methods on all three datasets. We also provide thorough ablation studies to investigate our model.


title: Linear feedback control of invariant solutions in channel flow

abstract: Considering channel flow at Reynolds numbers below the linear stability threshold of the laminar profile as a generic example system showing a subcritical transition to turbulence connected with the existence of simple invariant solutions, we here discuss issues that arise in the application of linear feedback control of invariant solutions of the Navier-Stokes equations. We focus on the simplest possible problem, that is, travelling waves with one unstable direction. In view of potential experimental applicability we construct a pressure-based feedback strategy and study its effect on the stable, marginal and unstable directions of these solutions in different periodic cells. Even though the original instability can be removed, new instabilities emerge as the feedback procedure affects not only the unstable but also the stable directions. We quantify these adverse effects and discuss their implications for the design of successful control strategies. In order to highlight the challenges that arise in the application of feedback control methods in principle and concerning potential applications in the search for simple invariant solutions of the Navier-Stokes equations in particular, we consider an explicitly constructed analogue to closed-loop linear optimal control that leaves the stable directions unaffected.


title: Excited States via Coupled Cluster Theory without Equation-of-Motion Methods: Seeking Higher Roots with Application to Doubly Excited States and Double Core Hole States

abstract: In this work, we revisited the idea of using the coupled-cluster ground state formalism to target excited states. Our main focus was targeting doubly excited states and double core hole states. Typical equation-of-motion (EOM) approaches for obtaining these states struggle without higher-order excitations than doubles. We showed that by using a non-aufbau determinant optimized via the maximum overlap method the CC ground state solver can target higher energy states. Furthermore, just with singles and doubles (i.e., CCSD), we demonstrated that the accuracy of $\Delta$CCSD and $\Delta$CCSD(T) far surpasses that of EOM-CCSD for doubly excited states. The accuracy of $\Delta$CCSD(T) is nearly exact for doubly excited states considered in this work. For double core hole states, we used an improved ansatz for greater numerical stability by freezing core hole orbitals. The improved methods, core valence separation (CVS)-$\Delta$CCSD and CVS-$\Delta$CCSD(T), were applied to the calculation of the double ionization potential of small molecules. Even without relativistic corrections, we observed qualitatively accurate results with CVS-$\Delta$CCSD and CVS-$\Delta$CCSD(T). Remaining challenges in $\Delta$CC include the description of open-shell singlet excited states with the single-reference CC ground state formalism as well as excited states with genuine multi-reference character. The tools and intuition developed in this work may serve as a stepping stone towards directly targeting arbitrary excited states using ground state CC methods.


title: Environmentally Stable Room Temperature Continuous Wave Lasing in Defect-passivated Perovskite

abstract: Metal halide perovskites have emerged as promising gain materials for on-chip lasers in photonic integrated circuits (PICs). However, stable continuous wave (CW) lasing behavior under optical pumping at room temperature - a prerequisite for electrically pumped lasing - has not yet been demonstrated. To achieve stable CW operation, we introduce a multiplex of strategies that include morphological, structural and interfacial engineering of CH3NH3PbBr3 (MAPbBr3) thin films to improve perovskite's intrinsic stability, as well as high quality cavity design to reduce the operational power. We demonstrate for the first time, over 90-minute-long green CW lasing with 9.4W/cm2 threshold from a polycarbonate (PC)-defect-passivated, directly patterned MAPbBr3 two-dimensional photonic crystal (PhC) cavity without any substrate cooling. We also show our approach's effectiveness on the performance of MAPbBr3 under electrical excitation: we observe a seven-fold current efficiency enhancement by applying our strategies to a MAPbBr3 LED. This work paves the way to the realization of electrically pumped lasing in perovskites.


title: Log canonical $3$-fold complements

abstract: We expand the theory of log canonical $3$-fold complements. We prove that if $X\rightarrow T$ is a $3$-dimensional contraction of log Calabi-Yau type, then we can find $B\geq 0$ on $X$ for which $(X,B)$ is log canonical and $n(K_X+B)\sim_T 0$, where $n$ is an uniform natural number. This means that every $3$-fold of log Calabi-Yau type can be turned into a log Calabi-Yau pair in an effective way.


title: Gate Voltage Control of Transition Metal Dichalcogenide Monolayers Quantum Yield

abstract: Two-dimensional transition metal dichalcogenide (2D-TMD) monolayers, which reveal remarkable semiconductor properties, are the subject of active experimental research.Recently it has been shown experimentally that quantum yield in MoS2 and WSe2 monoatomic layers can reach values close to unity when electrostatic doping makes them intrinsic semiconductors. However, the available theoretical description does not give an understanding of the physical mechanisms underlying in the gate voltage control of quantum yield.This work is an attempt to propose a consistent semi-phenomenological theory of photo-induced charge carriers relaxation in 2D-TMDs, which allows obtaining an analytical dependence of the quantum yield on the voltage applied to the FET gate. We consider a standard experimental situation, when the 2D-TMD monolayer and the metal gate are plates of a flat capacitor, and the capacitor charge is proportional to the gate voltage. The dependences of the TMD monolayers quantum yield on the gate voltage and the carrier generation rate have been calculated for the cases of the prevailing recombination of free electrons and holes (radiative and non-radiative Auger recombination) and recombination of excitons (radiative and Auger recombination). In both cases analytical expressions were derived for the dependence of quantum yield on the gate voltage and photo-induced carriers generation rate at a fixed gate voltage. Quantitative agreement with experiment allows concluding about the relevance of the proposed theoretical model for the description of carriers photo-generation and recombination in 2D-TMD monolayers. Obtained results demonstrate the possibilities of 2D-TMD quantum yield control by the gate voltage and indicate that 2D-TMDs are promising candidates for modern optoelectronics devices.


title: Investigation on the star NSVS 1925037

abstract: An analysis of available photometric data of NSVS 1925037 and a search of a variable counterpart has been performed using astrometric and photometric data from Gaia DR2 and ASAS-SN databases.


title: IFAA: Robust association identification and Inference For Absolute Abundance in microbiome analyses

abstract: The target of inference in microbiome analyses is usually relative abundance (RA) because RA in a sample (e.g., stool) can be considered as an approximation of RA in an entire ecosystem (e.g., gut). However, inference on RA suffers from the fact that RA are calculated by dividing absolute abundances (AA) over the common denominator (CD), the summation of all AA (i.e., library size). Because of that, perturbation in one taxon will result in a change in the CD and thus cause false changes in RA of all other taxa, and those false changes could lead to false positive/negative findings. We propose a novel analysis approach (IFAA) to make robust inference on AA of an ecosystem that can circumvent the issues induced by the CD problem and compositional structure of RA. IFAA can also address the confounding effect of library size and handle zero-inflated data structures. IFAA identifies microbial taxa associated with the covariates in Phase one and estimates the association parameters by employing an independent reference taxon in Phase two. Two real data applications are presented and extensive simulations show that IFAA outperforms other established existing approaches by a big margin in the presence of confounding effect of library size.


title: The Brauer-Manin obstruction for constant curves over global function fields

abstract: Let $\mathbb{F}$ be a finite field and $C,D$ smooth, geometrically irreducible proper curves over $\mathbb{F}$ and set $K = \mathbb{F}(D)$. We consider Brauer-Manin and abelian descent obstructions to the existence of rational points and to weak approximation for the curve $C \otimes_\mathbb{F} K$. In particular, we show that Brauer-Manin is the only obstruction to weak approximation and the Hasse principle in the case that the genus of $D$ is less than that of $C$. We also show that we can identify the points corresponding to non-constant maps $D \to C$ using Frobenius descents.


title: The Impossibility of Efficient Quantum Weak Coin-Flipping

abstract: How can two parties with competing interests carry out a fair coin flip, using only a noiseless quantum channel? This problem (quantum weak coin-flipping) was formalized more than 15 years ago, and, despite some phenomenal theoretical progress, practical quantum coin-flipping protocols with vanishing bias have proved hard to find. In the current work we show that there is a reason that practical weak quantum coin-flipping is difficult: any quantum weak coin-flipping protocol with bias $\epsilon$ must use at least $\exp ( \Omega (1/\sqrt{\epsilon} ))$ rounds of communication. This is a large improvement over the previous best known lower bound of $\Omega ( \log \log (1/\epsilon ))$ due to Ambainis from 2004. Our proof is based on a theoretical construction (the two-variable profile function) which may find further applications.


title: Analysis and Comparison of the LDPC and Reed Solomon Encodings in Mitigating the Impact of Clipping Noise in OFDM-Based VLC

abstract: The linear error-correcting codes are known to be well suited for battling and correcting the burst errors caused by noise in the wireless data transmission system. However, different types of codes offer different decoding and burst-error-correcting capabilities. This paper compares the Low-Density-Parity Check (LDPC) and Reed Solomon (RS) encoding schemes in battling and correcting the burst error caused by the clipping distortion occurred due to the dynamic range constraints in an Orthogonal Frequency Division Multiplexing (OFDM) based Visible Light Communication (VLC). The unipolar conversion applied to the output of the multiplexer in this system results in a clipping noise which distorts the data symbols on the subcarriers in OFDM block. Considering that such distortion impacts the data symbol on each subcarrier differently, RS and LDP are used to encode the data block before being modulated for mapping the OFDM block. In order to control the extreme value of the output of the multiplexer, the transmitter applies puncturing to the generated codeword before mapping OFDM subcarriers, leaving the corresponding subcarriers of the punctured symbols empty. This will lead to the reduction of clipping events in the optical front-end and will mitigate the impact of nonlinear distortion on the modulated symbols for the occupied subcarriers. The redundancy in the codeword generated by the encoder is used not only to control the clipping probability by shortening the number of active subcarriers but also for the reconstruction of the original codeword and correction of the errors caused by channel noise. This work investigates the ability of LDCP and RS encoders in battling the effects of clipping noise in the frequency domain and compares their performances in improving the bit error ratio (BER) performance of an OFDM-based VLC.


title: Sum Rate Capacity of MIMO HetNet Systems in the Presence of Channel Estimation Error

abstract: In this paper, the impact of channel estimation error (CEE) on the sum-rate capacity of multiple-input-multiple-output (MIMO) heterogeneous networks (HetNets) is investigated. It is assumed that the receiver is a linear minimum mean-square (LMMS) receiver. The architecture is based on the deployment of macro base stations with large antenna arrays and a secondary tier of small cell base stations having fewer number of antenna arrays. The key contribution of the paper is to highlight the noticeable impact of CEE on the sum-rate capacity of macro-cells. Furthermore, it is shown that CEE has only marginal impact on the sum-rate capacity of small cells. Simulations for the sum rate of macro users versus that of the small cell users for time-division duplex (TDD) are performed and the results are compared with the case when channel estimation error is present.


title: Impact of Connected and Automated Vehicles in a Corridor

abstract: Several approaches have been proposed in the literature that allow connected and automated vehicles (CAVs) to coordinate in areas where there is a potential conflict, for example, in intersections, merging at roadways and roundabouts. In this paper, we consider the problem of coordinating CAVs in a corridor consisting of several conflict areas where collision may occur. We derive a solution that yields the optimal control input, in terms of fuel consumption, for each CAV to cross the corridor under the hard safety constraints. We validate the effectiveness of the solution through simulation, and we show that both fuel consumption and travel time can be improved significantly.


title: Asymptotic profiles of basic reproduction number for epidemic spreading in heterogeneous environment

abstract: The effect of diffusion rates on the basic reproduction number of a general compartmental reaction-diffusion epidemic model in a heterogeneous environment is considered. It is shown when the diffusion rates tend to zero, the limit of the basic reproduction number is the maximum value of the local reproduction number on the spatial domain. On the other hand when the diffusion rates tend to infinity, the basic reproduction number tends to the spectral radius of the "average"~next generation matrix. These asymptotic limits of basic reproduction number hold for a class of general spatially heterogeneous compartmental epidemic models, and they are applied to a wide variety of examples.


title: Improve Orthogonal GARCH with Hidden Markov Model

abstract: Orthogonal Generalized Autoregressive Conditional Heteroskedasticity model (OGARCH) is widely used in finance industry to produce volatility and correlation forecasts. We show that the classic OGARCH model, nevertheless, tends to be too slow in reflecting sudden changes in market condition due to excessive persistence of the integral univariate GARCH processes. To obtain more flexibility to accommodate abrupt market changes, e.g. financial crisis, we extend classic OGARCH model by incorporating a two-state Markov regime-switching GARCH process. This novel construction allows us to capture recurrent systemic regime shifts. Empirical results show that this generalization resolves the problem of excessive persistency effectively and greatly enhances OGARCH's ability to adapt to sudden market breaks while preserving OGARCH's most attractive features such as dimension reduction and multi-step ahead forecasting. By constructing a global minimum variance portfolio (GMVP), we are able to demonstrate significant outperformance of the extended model over the classic OGARCH model and the commonly used Exponentially Weighted Moving Average (EWMA) model. In addition, we show that the extended model is superior to OGARCH and EWMA in terms of predictive accuracy.


title: Subset Parking Functions

abstract: A parking function $(c_1,\ldots,c_n)$ can be viewed as having $n$ cars trying to park on a one-way street with $n$ parking spots, where car $i$ tries to park in spot $c_i$, and otherwise he parks in the leftmost available spot after $c_i$. Another way to view this is that each car has a set $C_i$ of "acceptable" parking spots, namely $C_i=[c_i,n]$, and that each car tries to park in the leftmost available spot that they find acceptable. Motivated by this, we define a subset parking function $(C_1,\ldots,C_n)$, with each $C_i$ a subset of $\{1,\ldots,n\}$, by having the $i$th car try to park in the leftmost available element of $C_i$. We further generalize this idea by restricting our sets to be of size $k$, intervals, and intervals of length $k$. In each of these cases we provide formulas for the number of such parking functions.


title: Bayesian Inference on Multivariate Medians and Quantiles

abstract: In this paper, we consider Bayesian inference on a class of multivariate median and the multivariate quantile functionals of a joint distribution using a Dirichlet process prior. Since, unlike univariate quantiles, the exact posterior distribution of multivariate median and multivariate quantiles are not obtainable explicitly, we study these distributions asymptotically. We derive a Bernstein-von Mises theorem for the multivariate $\ell_1$-median with respect to general $\ell_p$-norm, which in particular shows that its posterior concentrates around its true value at $n^{-1/2}$-rate and its credible sets have asymptotically correct frequentist coverage. In particular, asymptotic normality results for the empirical multivariate median with general $\ell_p$-norm is also derived in the course of the proof which extends the results from the case $p=2$ in the literature to a general $p$. The technique involves approximating the posterior Dirichlet process by a Bayesian bootstrap process and deriving a conditional Donsker theorem. We also obtain analogous results for an affine equivariant version of the multivariate $\ell_1$-median based on an adaptive transformation and re-transformation technique. The results are extended to a joint distribution of multivariate quantiles. The accuracy of the asymptotic result is confirmed by a simulation study. We also use the results to obtain Bayesian credible regions for multivariate medians for Fisher's iris data, which consists of four features measured for each of three plant species.


title: Optimal Reduced-order Modeling of Bipedal Locomotion

abstract: State-of-the-art approaches to legged locomotion are widely dependent on the use of models like the linear inverted pendulum (LIP) and the spring-loaded inverted pendulum (SLIP), popular because their simplicity enables a wide array of tools for planning, control, and analysis. However, they inevitably limit the ability to execute complex tasks or agile maneuvers. In this work, we aim to automatically synthesize models that remain low-dimensional but retain the capabilities of the high-dimensional system. For example, if one were to restore a small degree of complexity to LIP, SLIP, or a similar model, our approach discovers the form of that additional complexity which optimizes performance. In this paper, we define a class of reduced-order models and provide an algorithm for optimization within this class. To demonstrate our method, we optimize models for walking at a range of speeds and ground inclines, for both a five-link model and the Cassie bipedal robot.


title: Global Rigidity of Some Abelian-by-Cyclic group actions on $\T^2$

abstract: For groups of diffeomorphisms of $\T^2$ containing an Anosov diffeomorphism, we give a complete classification for polycyclic Abelian-by-Cyclic group actions on $\T^2$ up to both topological conjugacy and smooth conjugacy under mild assumptions. Along the way, we also prove a Tits alternative type theorem for some groups of diffeomorphisms of $\T^2$.


title: Subgroups of groups finitely presented in Burnside varieties

abstract: For all sufficiently large odd integers $n$, the following version of Higman's embedding theorem is proved in the variety ${\cal B}_n$ of all groups satisfying the identity $x^n=1$. A finitely generated group $G$ from ${\cal B}_n$ has a presentation $G=\langle A\mid R\rangle$ with a finite set of generators $A$ and a recursively enumerable set $R$ of defining relations if and only if it is a subgroup of a group $H$ finitely presented in the variety ${\cal B}_n$. It follows that there is a 'universal' $2$-generated finitely presented in ${\cal B}_n$ group containing isomorphic copies of all finitely presented in ${\cal B}_n$ groups as subgroups.


title: Gridless Angular Domain Channel Estimation for mmWave Massive MIMO System With One-Bit Quantization Via Approximate Message Passing

abstract: We develop a direction of arrival (DoA) and channel estimation algorithm for the one-bit quantized millimeter-wave (mmWave) massive multiple-input multiple-output (MIMO) system. By formulating the estimation problem as a noisy one-bit compressed sensing problem, we propose a computationally efficient gridless solution based on the expectation-maximization generalized approximate message passing (EMGAMP) approach. The proposed algorithm does not need the prior knowledge about the number of DoAs and outperforms the existing methods in distinguishing extremely close DoAs for the case of one-bit quantization. Both the DoAs and the channel coefficients are estimated for the case of one-bit quantization. The simulation results show that the proposed algorithm has effective estimation performances when the DoAs are very close to each other.


title: Mechanics of nematic membranes: Euler-Lagrange equations, Noether charges, stress, torque and boundary conditions of the surface Frank nematic field

abstract: The mechanics of a flexible membrane decorated with a nematic liquid-crystal texture is considered in a variational framework. The variations on the splay, twist and the bend energy of the nematics are obtained from the local deformations leading to changes in the shape membrane. The Euler-Lagrange derivatives and the Noether charges are identified from the variational equations. The nematic stress tensor is obtained as a consequence of translational invariance. Likewise, the rotational invariance implies the torque nematic tensor. The corresponding boundary conditions are obtained for free edges in the open-membrane configuration. These results constitute the basis of a generalized theory of elasticity for anisotropic nematic membranes. Some relevant consequences of the presence of nematic ordering are visualized at revolution surfaces with axial symmetry.


title: Randomly connected networks generate emergent selectivity and predict decoding properties of large populations of neurons

abstract: Advances in neural recording methods enable sampling from populations of thousands of neurons during the performance of behavioral tasks, raising the question of how recorded activity relates to the theoretical models of computations underlying performance. In the context of decision making in rodents, patterns of functional connectivity between choice-selective cortical neurons, as well as broadly distributed choice information in both excitatory and inhibitory populations, were recently reported [1]. The straightforward interpretation of these data suggests a mechanism relying on specific patterns of anatomical connectivity to achieve selective pools of inhibitory as well as excitatory neurons. We investigate an alternative mechanism for the emergence of these experimental observations using a computational approach. We find that a randomly connected network of excitatory and inhibitory neurons generates single-cell selectivity, patterns of pairwise correlations, and indistinguishable excitatory and inhibitory readout weight distributions, as observed in recorded neural populations. Further, we make the readily verifiable experimental predictions that, for this type of evidence accumulation task, there are no anatomically defined sub-populations of neurons representing choice, and that choice preference of a particular neuron changes with the details of the task. This work suggests that distributed stimulus selectivity and patterns of functional organization in population codes could be emergent properties of randomly connected networks.


title: Sensitivity of collective outcomes identifies pivotal components

abstract: A social system is susceptible to perturbation when its collective properties depend sensitively on a few pivotal components. Using the information geometry of minimal models from statistical physics, we develop an approach to identify pivotal components to which coarse-grained, or aggregate, properties are sensitive. As an example, we introduce our approach on a reduced toy model with a median voter who always votes in the majority. The sensitivity of majority-minority divisions to changing voter behaviour pinpoints the unique role of the median. More generally, the sensitivity identifies pivotal components that precisely determine collective outcomes generated by a complex network of interactions. Using perturbations to target pivotal components in the models, we analyse datasets from political voting, finance and Twitter. Across these systems, we find remarkable variety, from systems dominated by a median-like component to those whose components behave more equally. In the context of political institutions such as courts or legislatures, our methodology can help describe how changes in voters map to new collective voting outcomes. For economic indices, differing system response reflects varying fiscal conditions across time. Thus, our information-geometric approach provides a principled, quantitative framework that may help assess the robustness of collective outcomes to targeted perturbation and compare social institutions, or even biological networks, with one another and across time.

categories: physics.soc-ph cond-mat.stat-mech physics.data-an stat.AP


title: Tur\'an-type reverse Markov inequalities for polynomials with restricted zeros

abstract: Let ${\cal P}_n^c$ denote the set of all algebraic polynomials of degree at most $n$ with complex coefficients. Let $$D^+ := \{z \in \mathbb{C}: |z| \leq 1, \, \, \Im(z) \geq 0\}$$ be the closed upper half-disk of the complex plane. For integers $0 \leq k \leq n$ let ${\mathcal F}_{n,k}^c$ be the set of all polynomials $P \in {\mathcal P}_n^c$ having at least $n-k$ zeros in $D^+$. Let $$\|f\|_A := \sup_{z \in A}{|f(z)|}$$ for complex-valued functions defined on $A \subset {\Bbb C}$. We prove that there are absolute constants $c_1 > 0$ and $c_2 > 0$ such that $$c_1 \left(\frac{n}{k+1}\right)^{1/2} \leq \inf_{P}{\frac{\|P^{\prime}\|_{[-1,1]}}{\|P\|_{[-1,1]}}} \leq c_2 \left(\frac{n}{k+1}\right)^{1/2}$$ for all integers $0 \leq k \leq n$, where the infimum is taken for all $0 \not\equiv P \in {\mathcal F}_{n,k}^c$ having at least one zero in $[-1,1]$. This is an essentially sharp reverse Markov-type inequality for the classes ${\mathcal F}_{n,k}^c$ extending earlier results of Tur\'an and Komarov from the case $k=0$ to the cases $0 \leq k \leq n$.


title: Real Lax spectrum implies spectral stability

abstract: We consider the dynamical stability of periodic solutions of integrable equations with 2x2 Lax pairs. We construct the eigenfunctions and hence the Floquet discriminant for such Lax pairs. The boundedness of the eigenfunctions determines the Lax spectrum. We use a connection between the Lax spectrum and the stability spectrum to show that the subset of the real line which gives rise to stable eigenvalues is contained in the Lax spectrum. This subset is the full spectrum for self-adjoint members of the AKNS hierarchy. For non-self-adjoint members of the AKNS hierarchy admitting a common reduction, the real line is always part of the Lax spectrum and maps to stable eigenvalues of the stability problem. We demonstrate our methods work for a variety of examples.


title: Field typing for improved recognition on heterogeneous handwritten forms

abstract: Offline handwriting recognition has undergone continuous progress over the past decades. However, existing methods are typically benchmarked on free-form text datasets that are biased towards good-quality images and handwriting styles, and homogeneous content. In this paper, we show that state-of-the-art algorithms, employing long short-term memory (LSTM) layers, do not readily generalize to real-world structured documents, such as forms, due to their highly heterogeneous and out-of-vocabulary content, and to the inherent ambiguities of this content. To address this, we propose to leverage the content type within an LSTM-based architecture. Furthermore, we introduce a procedure to generate synthetic data to train this architecture without requiring expensive manual annotations. We demonstrate the effectiveness of our approach at transcribing text on a challenging, real-world dataset of European Accident Statements.


title: One-loop corrections to $\eta/s$ in AdS$_4$/CFT$_3$

abstract: We study quantum corrections at one-loop order to the shear viscosity to entropy ratio by implementing the Vilkovisky-Barvinsky effective action in asymptotically Anti-de Sitter spacetimes. The shear viscosity is shown to receive no corrections at this order, but the entropy acquires a logarithmic correction. The coefficient of this logarithm turns out to depend on the spin of the particles running in the loop and it can be either positive or negative. On the basis of this result, we argue that the Kovtun-Son-Starinets bound cannot be seen as a fundamental property of nature beyond the classical regime.


title: Towards Best Experiment Design for Evaluating Dialogue System Output

abstract: To overcome the limitations of automated metrics (e.g. BLEU, METEOR) for evaluating dialogue systems, researchers typically use human judgments to provide convergent evidence. While it has been demonstrated that human judgments can suffer from the inconsistency of ratings, extant research has also found that the design of the evaluation task affects the consistency and quality of human judgments. We conduct a between-subjects study to understand the impact of four experiment conditions on human ratings of dialogue system output. In addition to discrete and continuous scale ratings, we also experiment with a novel application of Best-Worst scaling to dialogue evaluation. Through our systematic study with 40 crowdsourced workers in each task, we find that using continuous scales achieves more consistent ratings than Likert scale or ranking-based experiment design. Additionally, we find that factors such as time taken to complete the task and no prior experience of participating in similar studies of rating dialogue system output positively impact consistency and agreement amongst raters


title: SplitFS: Reducing Software Overhead in File Systems for Persistent Memory

abstract: We present SplitFS, a file system for persistent memory (PM) that reduces software overhead significantly compared to state-of-the-art PM file systems. SplitFS presents a novel split of responsibilities between a user-space library file system and an existing kernel PM file system. The user-space library file system handles data operations by intercepting POSIX calls, memory-mapping the underlying file, and serving the read and overwrites using processor loads and stores. Metadata operations are handled by the kernel PM file system (ext4 DAX). SplitFS introduces a new primitive termed relink to efficiently support file appends and atomic data operations. SplitFS provides three consistency modes, which different applications can choose from, without interfering with each other. SplitFS reduces software overhead by up-to 4x compared to the NOVA PM file system, and 17x compared to ext4-DAX. On a number of micro-benchmarks and applications such as the LevelDB key-value store running the YCSB benchmark, SplitFS increases application performance by up to 2x compared to ext4 DAX and NOVA while providing similar consistency guarantees.


title: Recurrent Neural Network-based Model for Accelerated Trajectory Analysis in AIMD Simulations

abstract: The presented work demonstrates the training of recurrent neural networks (RNNs) from distributions of atom coordinates in solid state structures that were obtained using ab initio molecular dynamics (AIMD) simulations. AIMD simulations on solid state structures are treated as a multi-variate time-series problem. By referring interactions between atoms over the simulation time to temporary correlations among them, RNNs find patterns in the multi-variate time-dependent data, which enable forecasting trajectory paths and potential energy profiles. Two types of RNNs, namely gated recurrent unit and long short-term memory networks, are considered. The model is described and compared against a baseline AIMD simulation on an iridium oxide slab. Findings demonstrate that both networks can potentially be harnessed for accelerated statistical sampling in computational materials research.


title: Nonexistence of minimal-time solutions for some variations of the firing squad synchronization problem having simple geometric configurations

abstract: We prove nonexistence of minimal-time solutions for three variations of the firing squad synchronization problem (FSSP, for short). Configurations of these variations are paths in the two-dimensional grid space having simple geometric shapes. In the first variation a configuration is an L-shaped path such that the ratio of the length of horizontal line to that of the vertical line is fixed. The general may be at any position. In the second and the third variations a configuration is a rectangular wall such that the ratio of the length of the two horizontal walls to that of the two vertical walls is fixed. The general is at the left down corner in the second variation and may be at any position in the third variation. We use the idea used in the proof of Yamashita et al's recent similar result for variations of FSSP with sub-generals.


title: Automorphism subgroups for designs with $\lambda=1$

abstract: Given an integer $k\ge3$ and a group $G$ of odd order, if there exists a $2$-$(v,k,1)$-design and if $v$ is sufficiently large, then there is such a design whose automorphism group has a subgroup isomorphic to $G$. A weaker result is proved when $|G|$ is even and $(k,|G|)=1$.


title: Harmonic and subharmonic waves on the surface of a vibrated liquid drop

abstract: Liquid drops and vibrations are ubiquitous in both everyday life and technology, and their combination can often result in fascinating physical phenomena opening up intriguing opportunities for practical applications in biology, medicine, chemistry and photonics. Here we study, theoretically and experimentally, the response of pancake-shaped liquid drops supported by a solid plate that vertically vibrates at a single, low acoustic range frequency. When the vibration amplitudes are small, the primary response of the drop is harmonic at the frequency of the vibration. However, as the amplitude increases, the half-frequency subharmonic Faraday waves are excited parametrically on the drop surface. We develop a simple hydrodynamic model of a one-dimensional liquid drop to analytically determine the amplitudes of the harmonic and the first superharmonic components of the linear response of the drop. In the nonlinear regime, our numerical analysis reveals an intriguing cascade of instabilities leading to the onset of subharmonic Faraday waves, their modulation instability and chaotic regimes with broadband power spectra. We show that the nonlinear response is highly sensitive to the ratio of the drop size and Faraday wavelength. The primary bifurcation of the harmonic waves is shown to be dominated by a period-doubling bifurcation, when the drop height is comparable with the width of the viscous boundary layer. Experimental results conducted using low-viscosity ethanol and high-viscocity canola oil drops vibrated at 70 Hz are in qualitative agreement with the predictions of our modelling.


title: Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network

abstract: Explanation and high-order reasoning capabilities are crucial for real-world visual question answering with diverse levels of inference complexity (e.g., what is the dog that is near the girl playing with?) and important for users to understand and diagnose the trustworthiness of the system. Current VQA benchmarks on natural images with only an accuracy metric end up pushing the models to exploit the dataset biases and cannot provide any interpretable justification, which severally hinders advances in high-level question answering. In this work, we propose a new HVQR benchmark for evaluating explainable and high-order visual question reasoning ability with three distinguishable merits: 1) the questions often contain one or two relationship triplets, which requires the model to have the ability of multistep reasoning to predict plausible answers; 2) we provide an explicit evaluation on a multistep reasoning process that is constructed with image scene graphs and commonsense knowledge bases; and 3) each relationship triplet in a large-scale knowledge base only appears once among all questions, which poses challenges for existing networks that often attempt to overfit the knowledge base that already appears in the training set and enforces the models to handle unseen questions and knowledge fact usage. We also propose a new knowledge-routed modular network (KM-net) that incorporates the multistep reasoning process over a large knowledge base into visual question reasoning. An extensive dataset analysis and comparisons with existing models on the HVQR benchmark show that our benchmark provides explainable evaluations, comprehensive reasoning requirements and realistic challenges of VQA systems, as well as our KM-net's superiority in terms of accuracy and explanation ability.


title: Specification Testing in Nonparametric Instrumental Quantile Regression

abstract: There are many environments in econometrics which require nonseparable modeling of a structural disturbance. In a nonseparable model with endogenous regressors, key conditions are validity of instrumental variables and monotonicity of the model in a scalar unobservable variable. Under these conditions the nonseparable model is equivalent to an instrumental quantile regression model. A failure of the key conditions, however, makes instrumental quantile regression potentially inconsistent. This paper develops a methodology for testing the hypothesis whether the instrumental quantile regression model is correctly specified. Our test statistic is asymptotically normally distributed under correct specification and consistent against any alternative model. In addition, test statistics to justify the model simplification are established. Finite sample properties are examined in a Monte Carlo study and an empirical illustration is provided.


title: Skyrmion Brownian circuit implemented in a continuous ferromagnetic thin film

abstract: The fabrication of a skyrmion circuit which stabilizes skyrmions is important to realize micro- to nano-sized skyrmion devices. One example of promising skyrmion-based device is Brownian computers, which have been theoretically proposed, but not realized. It would require a skyrmion circuit in which the skyrmion is stabilized and easily movable. However, the usual skyrmion circuits fabricated by etching of the ferromagnetic film decrease the demagnetization field stabilizing the skyrmions, and thus prevent their formation. In this study, a skyrmion Brownian circuit implemented in a continuous ferromagnetic film with patterned SiO$_2$ capping to stabilize the skyrmion formation. The patterned SiO$_2$ capping controls the saturation field of the ferromagnetic layer and forms a wire-shaped skyrmion potential well, which stabilizes skyrmion formation in the circuit. Moreover, we implement a hub (Y-junction) circuit without pinning sites at the junction by patterned SiO$_2$ capping. This technique enables the efficient control of skyrmion-based memory and logic devices, as well as Brownian computers.


title: Singular solutions to the Yamabe equation with prescribed asymptotics

abstract: We study positive solutions of the Yamabe equation with isolated singularity and prove the existence of solutions with prescribed asymptotic expansions near singular points and an arbitrarily high order of approximation.


title: Stochastic Iterative Hard Thresholding for Low-Tucker-Rank Tensor Recovery

abstract: Low-rank tensor recovery problems have been widely studied in many applications of signal processing and machine learning. Tucker decomposition is known as one of the most popular decompositions in the tensor framework. In recent years, researchers have developed many state-of-the-art algorithms to address the problem of low-Tucker-rank tensor recovery. Motivated by the favorable properties of the stochastic algorithms, such as stochastic gradient descent and stochastic iterative hard thresholding, we aim to extend the well-known stochastic iterative hard thresholding algorithm to the tensor framework in order to address the problem of recovering a low-Tucker-rank tensor from its linear measurements. We have also developed linear convergence analysis for the proposed method and conducted a series of experiments with both synthetic and real data to illustrate the performance of the proposed method.


title: Goodness-of-Fit Tests based on Series Estimators in Nonparametric Instrumental Regression

abstract: This paper proposes several tests of restricted specification in nonparametric instrumental regression. Based on series estimators, test statistics are established that allow for tests of the general model against a parametric or nonparametric specification as well as a test of exogeneity of the vector of regressors. The tests' asymptotic distributions under correct specification are derived and their consistency against any alternative model is shown. Under a sequence of local alternative hypotheses, the asymptotic distributions of the tests is derived. Moreover, uniform consistency is established over a class of alternatives whose distance to the null hypothesis shrinks appropriately as the sample size increases. A Monte Carlo study examines finite sample performance of the test statistics.


title: Hybrid neural network potential for multilayer graphene

abstract: Monolayer and multilayer graphene are promising materials for applications such as electronic devices, sensors, energy generation and storage, and medicine. In order to perform large-scale atomistic simulations of the mechanical and thermal behavior of graphene-based devices, accurate interatomic potentials are required. Here, we present a new interatomic potential for multilayer graphene structures referred to as "hNN--Gr$_x$." This hybrid potential employs a neural network to describe short-range interactions and a theoretically-motivated analytical term to model long-range dispersion. The potential is trained against a large dataset of monolayer graphene, bilayer graphene, and graphite configurations obtained from ab initio total-energy calculations based on density functional theory (DFT). The potential provides accurate energy and forces for both intralayer and interlayer interactions, correctly reproducing DFT results for structural, energetic, and elastic properties such as the equilibrium layer spacing, interlayer binding energy, elastic moduli, and phonon dispersions to which it was not fit. The potential is used to study the effect of vacancies on thermal conductivity in monolayer graphene and interlayer friction in bilayer graphene. The potential is available through the OpenKIM interatomic potential repository at \url{https://openkim.org}.


title: Classical and quantum order in hyperkagome antiferromagnets

abstract: Motivated by recent experiments and density functional theory calculations on choloalite PbCuTe$_2$O$_6$, which possesses a Cu-based three-dimensional hyperkagome lattice, we propose and study a $J_1$-$J_2$-$J_3$ antiferromagnetic Heisenberg model on a hyperkagome lattice. In the classical limit, possible ground states are analyzed by two triangle rules, i.e., the "hyperkagome triangle rule" and the "isolated triangle rule," and classical Monte Carlo simulations are exploited to identify possible classical magnetic ordering and explore the phase diagram. In the quantum regime, Schwinger boson theory is applied to study possible quantum spin liquid states and long-range magnetically ordered states on an equal footing. These quantum states with bosonic partons are classified and analyzed by using projective symmetry groups (PSGs). It is found that there are only four types of algebraic PSGs allowed by the space group $P4_{1}32$ on a hyperkagome lattice. Moreover, there are only two types of PSGs that are compatible with the $J_1$-$J_2$-$J_3$ Heisenberg model. These two types of $Z_2$ bosonic states are distinguished by the gauge-invariant flux on the elementary ten-site loops on the hyperkagome network, called zero-flux state and $\pi$-flux state respectively. Both the zero-flux state and the $\pi$-flux state are able to give rise to quantum spin liquid states as well as magnetically ordered states, and the zero-flux states and the $\pi$-flux states can be distinguished by the lower and upper edges of the spectral function $S(\bm{q},\omega)$, which can be measured by inelastic neutron scattering experiments.


title: DRCAS: Deep Restoration Network for Hardware Based Compressive Acquisition Scheme

abstract: We investigate the power and performance improvement in image acquisition devices by the use of CAS (Compressed Acquisition Scheme) and DNN (Deep Neural Networks). Towards this end, we propose a novel image acquisition scheme HCAS (Hardware based Compressed Acquisition Scheme) using hardware-based binning (downsampling), bit truncation and JPEG compression and develop a deep learning based reconstruction network for images acquired using the same. HCAS is motivated by the fact that in-situ compression of raw data using binning and bit truncation results in reduction in data traffic and power in the entire downstream image processing pipeline and additional compression of processed data using JPEG will help in storage/transmission of images. The combination of in-situ compression with JPEG leads to high compression ratios, significant power savings with further advantages of image acquisition simplification. Bearing these concerns in mind, we propose DRCAS (Deep Restoration network for hardware based Compressed Acquisition Scheme), which to our best knowledge, is the first work proposed in the literature for restoration of images acquired using acquisition scheme like HCAS. When compared with the CAS methods (bicubic downsampling) used in super resolution tasks in literature, HCAS proposed in this paper performs superior in terms of both compression ratio and being hardware friendly. The restoration network DRCAS also perform superior than state-of-the-art super resolution networks while being much smaller. Thus HCAS and DRCAS technique will enable us to design much simpler and power efficient image acquisition pipelines.


title: Validation of image-guided cochlear implant programming techniques

abstract: Cochlear implants (CIs) are a standard treatment for patients who experience severe to profound hearing loss. Recent studies have shown that hearing outcome is correlated with intra-cochlear anatomy and electrode placement. Our group has developed image-guided CI programming (IGCIP) techniques that use image analysis methods to both segment the inner ear structures in pre- or post-implantation CT images and localize the CI electrodes in post-implantation CT images. This permits to assist audiologists with CI programming by suggesting which among the contacts should be deactivated to reduce electrode interaction that is known to affect outcomes. Clinical studies have shown that IGCIP can improve hearing outcomes for CI recipients. However, the sensitivity of IGCIP with respect to the accuracy of the two major steps: electrode localization and intra-cochlear anatomy segmentation, is unknown. In this article, we create a ground truth dataset with conventional CT and micro-CT images of 35 temporal bone specimens to both rigorously characterize the accuracy of these two steps and assess how inaccuracies in these steps affect the overall results. Our study results show that when clinical pre- and post-implantation CTs are available, IGCIP produces results that are comparable to those obtained with the corresponding ground truth in 86.7% of the subjects tested. When only post-implantation CTs are available, this number is 83.3%. These results suggest that our current method is robust to errors in segmentation and localization but also that it can be improved upon. Keywords: cochlear implant, ground truth, segmentation, validation


title: A 3D phase field dislocation dynamics model for body-centered cubic crystals

abstract: In this work, we present a 3D Phase Field Dislocation Dynamics (PFDD) model for body-centered cubic (BCC) metals. The model formulation is extended to account for the dependence of the Peierls barrier on the line-character of the dislocation. Simulations of the expansion of a dislocation loop belonging to the $\left\{110\right\} \left<111\right>$ slip system are presented with direct comparison to Molecular Statics (MS) simulations. The extended PFDD model is able to capture the salient features of dislocation loop expansion predicted by MS simulations. The model is also applied to simulate the motion of a straight screw dislocation through kink-pair motion.


title: Social goods dilemmas in heterogeneous societies

abstract: Prosocial behaviors are encountered in the donation game, the prisoner's dilemma, relaxed social dilemmas, and public goods games. Many studies assume that the population structure is homogeneous, meaning all individuals have the same number of interaction partners, or that the social good is of one particular type. Here, we explore general evolutionary dynamics for arbitrary spatial structures and social goods. We find that heterogeneous networks, wherein some individuals have many more interaction partners than others, can enhance the evolution of prosocial behaviors. However, they often accumulate most of the benefits in the hands of a few highly-connected individuals, while many others receive low or negative payoff. Surprisingly, selection can favor producers of social goods even if the total costs exceed the total benefits. In summary, heterogeneous structures have the ability to strongly promote the emergence of prosocial behaviors, but they also create the possibility of generating large inequality.


title: A new coefficient of correlation

abstract: Is it possible to define a coefficient of correlation which is (a) as simple as the classical coefficients like Pearson's correlation or Spearman's correlation, and yet (b) consistently estimates some simple and interpretable measure of the degree of dependence between the variables, which is 0 if and only if the variables are independent and 1 if and only if one is a measurable function of the other, and (c) has a simple asymptotic theory under the hypothesis of independence, like the classical coefficients? This article answers this question in the affirmative, by producing such a coefficient. No assumptions are needed on the distributions of the variables. There are several coefficients in the literature that converge to 0 if and only if the variables are independent, but none that satisfy any of the other properties mentioned above.


title: Intrinsic Cluster-Shaped Density Waves in Cellular Dynamical Mean-Field Theory

abstract: It is well known that cellular dynamical mean-field theory (CDMFT) leads to the artificial breaking of translation invariance. In spite of this, it is one of the most successful methods to treat strongly correlated electrons systems. Here, we investigate in more detail how this broken translation invariance manifests itself. This allows to disentangle artificial broken translation invariance effects from the genuine strongly correlated effects captured by CDMFT. We report artificial density waves taking the shape of the cluster---cluster density waves---in all our zero temperature CDMFT solutions, including pair density waves in the superconducting state. We discuss the limitations of periodization regarding this phenomenon, and we present mean-field density-wave models that reproduce CDMFT results at low energy in the superconducting state. We then discuss how these artificial density waves help the agreement of CDMFT with high temperature superconducting cuprates regarding the low-energy spectrum, in particular for subgap structures observed in tunnelling microscopy. We relate these subgap structures to nodal and anti-nodal gaps in our results, similar to those observed in photoemission experiments. This fortuitous agreement suggests that spatial inhomogeneity may be a key ingredient to explain some features of the low-energy underdoped spectrum of cuprates with strongly correlated methods. This work deepens our understanding of CDMFT and clearly identifies signatures of broken translation invariance in the presence of strong correlations.


title: Stress relaxation above and below the jamming transition

abstract: We numerically investigate stress relaxation in soft athermal disks to reveal critical slowing down when the system approaches the jamming point. The exponents describing the divergence of the relaxation time differ dramatically depending on whether the transition is approached from the jammed or unjammed phase. This contrasts sharply with conventional dynamic critical scaling scenarios, where a single exponent characterizes both sides. We explain this surprising difference in terms of the vibrational density of states (vDOS), which is a key ingredient of linear viscoelastic theory. The vDOS exhibits an extra slow mode that emerges below jamming, which we utilize to demonstrate the anomalous exponent below jamming.


title: Computing the degrees of freedom of rank-regularized estimators and cousins

abstract: Estimating a low rank matrix from its linear measurements is a problem of central importance in contemporary statistical analysis. The choice of tuning parameters for estimators remains an important challenge from a theoretical and practical perspective. To this end, Stein's Unbiased Risk Estimate (SURE) framework provides a well-grounded statistical framework for degrees of freedom estimation. In this paper, we use the SURE framework to obtain degrees of freedom estimates for a general class of spectral regularized matrix estimators, generalizing beyond the class of estimators that have been studied thus far. To this end, we use a result due to Shapiro (2002) pertaining to the differentiability of symmetric matrix valued functions, developed in the context of semidefinite optimization algorithms. We rigorously verify the applicability of Stein's lemma towards the derivation of degrees of freedom estimates; and also present new techniques based on Gaussian convolution to estimate the degrees of freedom of a class of spectral estimators to which Stein's lemma is not directly applicable.


title: Asynchronous Decentralized Successive Convex Approximation

abstract: We study decentralized asynchronous multiagent optimization over networks, modeled as static (possibly directed) graphs. The optimization problem consists of minimizing a (possibly nonconvex) smooth function--the sum of the agents' local costs--plus a convex (possibly nonsmooth) regularizer, subject to convex constraints. Agents can perform their local computations as well as communicate with their immediate neighbors at any time, without any form of coordination or centralized scheduling; furthermore, when solving their local subproblems, they can use outdated information from their neighbors. We propose the first distributed asynchronous algorithm, termed ASY-DSCA, that converges at an R-linear rate to the optimal solution of convex problems whose objective function satisfies a general error bound condition; this condition is weaker than the more frequently used strong convexity, and it is satisfied by several empirical risk functions that are not strongly convex; examples include LASSO and logistic regression problems. When the objective function is nonconvex, ASY-DSCA converges to a stationary solution of the problem at a sublinear rate.


title: PPINN: Parareal Physics-Informed Neural Network for time-dependent PDEs

abstract: Physics-informed neural networks (PINNs) encode physical conservation laws and prior physical knowledge into the neural networks, ensuring the correct physics is represented accurately while alleviating the need for supervised learning to a great degree. While effective for relatively short-term time integration, when long time integration of the time-dependent PDEs is sought, the time-space domain may become arbitrarily large and hence training of the neural network may become prohibitively expensive. To this end, we develop a parareal physics-informed neural network (PPINN), hence decomposing a long-time problem into many independent short-time problems supervised by an inexpensive/fast coarse-grained (CG) solver. In particular, the serial CG solver is designed to provide approximate predictions of the solution at discrete times, while initiate many fine PINNs simultaneously to correct the solution iteratively. There is a two-fold benefit from training PINNs with small-data sets rather than working on a large-data set directly, i.e., training of individual PINNs with small-data is much faster, while training the fine PINNs can be readily parallelized. Consequently, compared to the original PINN approach, the proposed PPINN approach may achieve a significant speedup for long-time integration of PDEs, assuming that the CG solver is fast and can provide reasonable predictions of the solution, hence aiding the PPINN solution to converge in just a few iterations. To investigate the PPINN performance on solving time-dependent PDEs, we first apply the PPINN to solve the Burgers equation, and subsequently we apply the PPINN to solve a two-dimensional nonlinear diffusion-reaction equation. Our results demonstrate that PPINNs converge in a couple of iterations with significant speed-ups proportional to the number of time-subdomains employed.


title: Quark Wigner Distributions and GTMDs of Pion in the Light-Front Holographic Model

abstract: We investigate the quark Wigner distributions of the pion to reveal the multidimensional picture of pion. We have used the spin improved wave functions of pion deduced from the light-front holographic model of mesons. By using the Fock-state overlap representation, the Wigner distributions of an unpolarized, longitudinally polarized and transversely polarized quark inside the pion are calculated. We have presented the results of transverse Wigner distributions in impact-parameter space as well as in momentum space. In order to understand the role of skewness which gives the longitudinal momentum transfer between the quarks, we study the six-dimensional phase-space distribution: the generalized transverse momentum dependent parton distributions of pion for the case of zero skewness as well as for nonzero value of skewness.


title: Robust Local Features for Improving the Generalization of Adversarial Training

abstract: Adversarial training has been demonstrated as one of the most effective methods for training robust models to defend against adversarial examples. However, adversarially trained models often lack adversarially robust generalization on unseen testing data. Recent works show that adversarially trained models are more biased towards global structure features. Instead, in this work, we would like to investigate the relationship between the generalization of adversarial training and the robust local features, as the robust local features generalize well for unseen shape variation. To learn the robust local features, we develop a Random Block Shuffle (RBS) transformation to break up the global structure features on normal adversarial examples. We continue to propose a new approach called Robust Local Features for Adversarial Training (RLFAT), which first learns the robust local features by adversarial training on the RBS-transformed adversarial examples, and then transfers the robust local features into the training of normal adversarial examples. To demonstrate the generality of our argument, we implement RLFAT in currently state-of-the-art adversarial training frameworks. Extensive experiments on STL-10, CIFAR-10 and CIFAR-100 show that RLFAT significantly improves both the adversarially robust generalization and the standard generalization of adversarial training. Additionally, we demonstrate that our models capture more local features of the object on the images, aligning better with human perception.


title: Dependency-Guided LSTM-CRF for Named Entity Recognition

abstract: Dependency tree structures capture long-distance and syntactic relationships between words in a sentence. The syntactic relations (e.g., nominal subject, object) can potentially infer the existence of certain named entities. In addition, the performance of a named entity recognizer could benefit from the long-distance dependencies between the words in dependency trees. In this work, we propose a simple yet effective dependency-guided LSTM-CRF model to encode the complete dependency trees and capture the above properties for the task of named entity recognition (NER). The data statistics show strong correlations between the entity types and dependency relations. We conduct extensive experiments on several standard datasets and demonstrate the effectiveness of the proposed model in improving NER and achieving state-of-the-art performance. Our analysis reveals that the significant improvements mainly result from the dependency relations and long-distance interactions provided by dependency trees.


title: Periods of generalized Tate curves

abstract: A generalized Tate curve is a universal family of curves with fixed genus and degeneration data which becomes Schottky uniformized Riemann surfaces and Mumford curves by specializing moduli and deformation parameters. By considering each generalized Tate curve as a family of degenerating Riemann surfaces, we give explicit formulas of the period isomorphism between its de Rham and Betti cohomology groups, and of the associated objects: Gauss-Manin connection, variation of Hodge structure and monodromy weight filtration. A remarkable fact is that similar formulas hold also for families of Mumford curves. Furthermore, we show that for a generalized Tate with maximally degenerate closed fiber, its local unipotent periods can be expressed as power series in the deformation parameters whose coefficients are multiple polylogarithm functions. This p-adic version is also given.


title: Global stability of traveling waves for an area preserving curvature flow with contact angle condition

abstract: We consider an evolving plane curve with two endpoints that can move freely on the $x$-axis with generating constant contact angles. We discuss the asymptotic behavior of global-in-time solutions when the evolution of this plane curve is governed by area-preserving curvature flow equation. The main result shows that any moving curve converges to a traveling wave if the moving curve starts from an embedded convex curve and remains bounded in global time.


title: Combinatorics of $F$-polynomials

abstract: We use the stabilization functors to study the combinatorial aspects of the $F$-polynomial of a representation of any finite-dimensional basic algebra. We characterize the vertices of their Newton polytopes. We give an explicit formula for the $F$-polynomial restricting to any face of its Newton polytope. For acyclic quivers, we give a complete description of all facets of the Newton polytope when the representation is general. We also prove that the support of the $F$-polynomial is saturated for any rigid representation. We provide many examples and counterexamples, and pose several conjectures.


title: 5G: Agent for Further Digital Disruptive Transformations

abstract: The fifth-generation (5G) mobile communication technologies are on the way to be adopted as the next standard for mobile networking. It is therefore timely to analyze the impact of 5G on the landscape of computing, in particular, data management and data-driven technologies. With a predicted increase of 10-100$\times$ in bandwidth and 5-10$\times$ decrease in latency, 5G is expected to be the main enabler for edge computing which includes accessing cloud-like services, as well as conducting machine learning at the edge. In this paper, we examine the impact of 5G on both traditional and emerging technologies, and discuss research challenges and opportunities.


title: Smooth Extrapolation of Unknown Anatomy via Statistical Shape Models

abstract: Several methods to perform extrapolation of unknown anatomy were evaluated. The primary application is to enhance surgical procedures that may use partial medical images or medical images of incomplete anatomy. Le Fort-based, face-jaw-teeth transplant is one such procedure. From CT data of 36 skulls and 21 mandibles separate Statistical Shape Models of the anatomical surfaces were created. Using the Statistical Shape Models, incomplete surfaces were projected to obtain complete surface estimates. The surface estimates exhibit non-zero error in regions where the true surface is known; it is desirable to keep the true surface and seamlessly merge the estimated unknown surface. Existing extrapolation techniques produce non-smooth transitions from the true surface to the estimated surface, resulting in additional error and a less aesthetically pleasing result. The three extrapolation techniques evaluated were: copying and pasting of the surface estimate (non-smooth baseline), a feathering between the patient surface and surface estimate, and an estimate generated via a Thin Plate Spline trained from displacements between the surface estimate and corresponding vertices of the known patient surface. Feathering and Thin Plate Spline approaches both yielded smooth transitions. However, feathering corrupted known vertex values. Leave-one-out analyses were conducted, with 5% to 50% of known anatomy removed from the left-out patient and estimated via the proposed approaches. The Thin Plate Spline approach yielded smaller errors than the other two approaches, with an average vertex error improvement of 1.46 mm and 1.38 mm for the skull and mandible respectively, over the baseline approach.


title: Implementation of Goldschmidt's Algorithm with hardware reduction

abstract: Division algorithms have been developed to reduce latency and to improve the efficiency of the processors. Floating point division is considered as a high latency operation. This papers looks into one such division algorithm, examines the hardware block diagram and suggests an alternative path which may be cost effective.


title: Verified Uncertainty Calibration

abstract: Applications such as weather forecasting and personalized medicine demand models that output calibrated probability estimates---those representative of the true likelihood of a prediction. Most models are not calibrated out of the box but are recalibrated by post-processing model outputs. We find in this work that popular recalibration methods like Platt scaling and temperature scaling are (i) less calibrated than reported, and (ii) current techniques cannot estimate how miscalibrated they are. An alternative method, histogram binning, has measurable calibration error but is sample inefficient---it requires $O(B/\epsilon^2)$ samples, compared to $O(1/\epsilon^2)$ for scaling methods, where $B$ is the number of distinct probabilities the model can output. To get the best of both worlds, we introduce the scaling-binning calibrator, which first fits a parametric function to reduce variance and then bins the function values to actually ensure calibration. This requires only $O(1/\epsilon^2 + B)$ samples. Next, we show that we can estimate a model's calibration error more accurately using an estimator from the meteorological community---or equivalently measure its calibration error with fewer samples ($O(\sqrt{B})$ instead of $O(B)$). We validate our approach with multiclass calibration experiments on CIFAR-10 and ImageNet, where we obtain a 35% lower calibration error than histogram binning and, unlike scaling methods, guarantees on true calibration. In these experiments, we also estimate the calibration error and ECE more accurately than the commonly used plugin estimators. We implement all these methods in a Python library: https://pypi.org/project/uncertainty-calibration


title: Sonic-supersonic solutions for the two-dimensional steady full Euler equations

abstract: This paper focuses on the structure of classical sonic-supersonic solutions near sonic curves for the two-dimensional full Euler equations in gas dynamics. In order to deal with the parabolic degeneracy near the sonic curve, a novel set of dependent and independent variables are introduced to transform the Euler equations into a new system of governing equations which displays a clear regularity-singularity structure. With the help of technical characteristic decompositions, the existence of a local smooth solution for the new system is first established in a weighted metric space by using the iteration method and then expressed in terms of the original physical variables. This is the first time to construct a classical sonic-supersonic solution near a sonic curve for the full Euler equations.


title: Active collaboration in relative observation for Multi-agent visual SLAM based on Deep Q Network

abstract: This paper proposes a unique active relative localization mechanism for multi-agent Simultaneous Localization and Mapping(SLAM),in which a agent to be observed are considered as a task, which is performed by others assisting that agent by relative observation. A task allocation algorithm based on deep reinforcement learning are proposed for this mechanism. Each agent can choose whether to localize other agents or to continue independent SLAM on it own initiative. By this way, the process of each agent SLAM will be interacted by the collaboration. Firstly, based on the characteristics of ORBSLAM, a unique observation function which models the whole MAS is obtained. Secondly, a novel type of Deep Q network(DQN) called MAS-DQN is deployed to learn correspondence between Q Value and state-action pair,abstract representation of agents in MAS are learned in the process of collaboration among agents. Finally, each agent must act with a certain degree of freedom according to MAS-DQN. The simulation results of comparative experiments prove that this mechanism improves the efficiency of cooperation in the process of multi-agent SLAM.


title: Two Birds, One Stone: A Simple, Unified Model for Text Generation from Structured and Unstructured Data

abstract: A number of researchers have recently questioned the necessity of increasingly complex neural network (NN) architectures. In particular, several recent papers have shown that simpler, properly tuned models are at least competitive across several NLP tasks. In this work, we show that this is also the case for text generation from structured and unstructured data. We consider neural table-to-text generation and neural question generation (NQG) tasks for text generation from structured and unstructured data, respectively. Table-to-text generation aims to generate a description based on a given table, and NQG is the task of generating a question from a given passage where the generated question can be answered by a certain sub-span of the passage using NN models. Experimental results demonstrate that a basic attention-based seq2seq model trained with the exponential moving average technique achieves the state of the art in both tasks. Code is available at https://github.com/h-shahidi/2birds-gen.


title: Self-supervised 6D Object Pose Estimation for Robot Manipulation

abstract: To teach robots skills, it is crucial to obtain data with supervision. Since annotating real world data is time-consuming and expensive, enabling robots to learn in a self-supervised way is important. In this work, we introduce a robot system for self-supervised 6D object pose estimation. Starting from modules trained in simulation, our system is able to label real world images with accurate 6D object poses for self-supervised learning. In addition, the robot interacts with objects in the environment to change the object configuration by grasping or pushing objects. In this way, our system is able to continuously collect data and improve its pose estimation modules. We show that the self-supervised learning improves object segmentation and 6D pose estimation performance, and consequently enables the system to grasp objects more reliably. A video showing the experiments can be found at https://youtu.be/W1Y0Mmh1Gd8.


title: Evaluating entropy rate of laser chaos and shot noise

abstract: Evaluating entropy rate of high-dimensional chaos and shot noise from analog raw signals remains elusive and important in information security. We experimentally present an accurate assessment of entropy rate for physical process randomness. The entropy generation of optical-feedback laser chaos and physical randomness limit from shot noise are quantified and unambiguously discriminated using the growth rate of average permutation entropy value in memory time. The permutation entropy difference of filtered laser chaos with varying embedding delay time is investigated experimentally and theoretically. High resolution maps of the entropy difference is observed over the range of the injection-feedback parameter space. We also clarify an inverse relationship between the entropy rate and time delay signature of laser chaos over a wide range of parameters. Compared to the original chaos, the time delay signature is suppressed up to 95% with the minimum of 0.015 via frequency-band extractor, and the experiment agrees well with the theory. Our system provides a commendable entropy evaluation and source for physical random number generation.


title: Signatures of octupole shape phase transitions in radioactive nuclei

abstract: We analyze the octupole deformations and the related collective excitations in medium-heavy and heavy nuclei based on the microscopic framework of the nuclear energy density functional theory. Constrained self-consistent mean-field calculation with a given energy density functional is performed to provide for each nucleus a potential energy surface with axial quadrupole and octupole shape degrees of freedom. Spectroscopic properties are computed by means of the interacting-boson Hamiltonian, which is determined by mapping the fermionic potential energy surface onto the bosonic counterpart. The overall systematics of the calculated spectroscopic observables exhibit phase transitional behaviors between stable octupole deformation and octupole vibration characteristic of the octupole-soft potential within the set of nuclei in light actinide and rare-earth regions, Th, Ra, Sm, Gd, and Ba isotopes, where octupole shapes are most likely to occur.


title: Iwasawa Theory of Hilbert modular forms for anticyclotomic extension

abstract: Following Bertolini and Darmon's method, with "Ihara's lemma" among other conditions Longo and Wang proved one divisibility of Iwasawa main conjecture for Hilbert modular forms of weight $2$ and general low parallel weight respectively. In this paper, we remove the "Ihara's lemma" condition in their results.


title: Electron pairing in mirror modes: Surpassing the quasilinear limit

abstract: The mirror mode evolving in collisionless magnetised high-temperature thermally anisotropic plasmas is shown to develop an interesting macro-state. Starting as a classical zero frequency ion fluid instability it saturates quasi-linearly at very low magnetic level, while forming elongated magnetic bubbles which trap the electron component to perform an adiabatic bounce motion along the magnetic field. {Further evolution of the mirror mode towards a stationary state is determined by the bouncing trapped electrons which interact with the thermal level of ion sound waves, generate attractive wake potentials which give rise to formation of electron pairs in the lowest-energy singlet state of two combined electrons. Pairing takes preferentially place near the bounce-mirror points where the pairs become spatially locked with all their energy in the gyration. The resulting large anisotropy of pairs enters the mirror growth rate in the quasi-linearly stable mirror mode. It breaks the quasilinear stability and causes further growth. Pressure balance is either restored by dissipation of the pairs and their anisotropy or inflow of plasma from the environment. In the first case new pairs will continuously form until equilibrium is reached. In the final state the fraction of pairs can be estimated. This process is open to experimental verification. To our knowledge it is the only process where in high temperature plasma pairing may occur and has an important observable macroscopic effect: breaking the quasilinear limit and generation of localised diamagnetism.}


title: sZoom: A Framework for Automatic Zoom into High Resolution Surveillance Videos

abstract: Current cameras are capable of recording high resolution video. While viewing on a mobile device, a user can manually zoom into this high resolution video to get more detailed view of objects and activities. However, manual zooming is not suitable for surveillance and monitoring. It is tiring to continuously keep zooming into various regions of the video. Also, while viewing one region, the operator may miss activities in other regions. In this paper, we propose sZoom, a framework to automatically zoom into a high resolution surveillance video. The proposed framework selectively zooms into the sensitive regions of the video to present details of the scene, while still preserving the overall context required for situation assessment. A multi-variate Gaussian penalty is introduced to ensure full coverage of the scene. The method achieves near real-time performance through a number of timing optimizations. An extensive user study shows that, while watching a full HD video on a mobile device, the system enhances the security operator's efficiency in understanding the details of the scene by 99% on the average compared to a scaled version of the original high resolution video. The produced video achieved 46% higher ratings for usefulness in a surveillance task.