title: Do we Come from a Quantum Anomaly?

abstract: We present a string-based picture of the cosmological evolution in which (CP-violating) gravitational anomalies acting during the inflationary phase of the universe cause the vacuum energy density to "run" with the effective Hubble parameter squared, $H^2$, thanks to the axion field of the bosonic string multiplet. This leads to baryogenesis through leptogenesis with massive right-handed neutrinos. The generation of chiral matter after inflation helps in cancelling the anomalies in the observable radiation- and matter- dominated eras. The present era inherits the same "running vacuum" structure triggered during the inflationary time by the axion field. The current dark energy is thus predicted to be mildly dynamical, and dark matter should be made of axions. Paraphrasing Carl Sagan: "we are all anomalously made from starstuff " .


title: A Unique Multi-Messenger Signal of QCD Axion Dark Matter

abstract: We propose a multi-messenger probe of QCD axion Dark Matter based on observations of black hole-neutron star binary inspirals. It is suggested that a dense Dark Matter spike may grow around intermediate mass black holes ($10^{3}-10^{5} \mathrm{\,M_{\odot}}$). The presence of such a spike produces two unique effects: a distinct phase shift in the gravitational wave strain during the inspiral and an enhancement of the radio emission due to the resonant axion-photon conversion occurring in the neutron star magnetosphere throughout the inspiral and merger. Remarkably, the observation of the gravitational wave signal can be used to infer the Dark Matter density and, consequently, to predict the radio emission. We study the projected reach of the LISA interferometer and next-generation radio telescopes such as the Square Kilometre Array. Given a sufficiently nearby system, such observations will potentially allow for the detection of QCD axion Dark Matter in the mass range $10^{-7}\,\mathrm{eV}$ to $10^{-5}\,\mathrm{eV}$.


title: A numerical model for the peeling of elastic membranes

abstract: The adhesive behaviour of biological attachment structures such as spider web anchorages is usually studied using single or multiple peeling models involving "tapes", i.e. one-dimensional contacts elements. This is an oversimplification for many practical problems, since the actual delamination process requires the modelling of complex two-dimensional adhesive elements. To achieve this, we develop a numerical approach to simulate the detachment of an elastic membrane of finite size from a substrate, using a 3D cohesive law. The model is validated using existing analytical results for simple geometries, and then applied in a series of parametric studies. Results show how the pull-off force can be tuned or optimized by varying different geometrical or mechanical parameters in various loading scenarios, and the length of the detachment boundary, known as the peeling line, emerges as the key factor to maximize adhesion. The approach presented here can allow a better understanding of the mechanical behaviour of biological adhesives with complex geometries or with material anisotropies, highlighting the interaction between the stress distributions at the interface and in the membrane itself.


title: Green matrix estimates of block Jacobi matrices II: Bounded gap in the essential spectrum

abstract: This paper provides decay bounds for Green matrices and generalized eigenvectors of block Jacobi operators when the real part of the spectral parameter lies in a bounded gap of the operator's essential spectrum. The case of the spectral parameter being an eigenvalue is also considered. It is also shown that if the matrix entries commute, then the estimates can be refined. Finally, various examples of block Jacobi operators are given to illustrate the results.


title: Rough Contact in General Rough Mereology

abstract: Theories of rough mereology have originated from diverse semantic considerations from contexts relating to study of databases, to human reasoning. These ideas of origin, especially in the latter context, are intensely complex. In this research, concepts of rough contact relations are introduced and rough mereologies are situated in relation to general spatial mereology by the present author. These considerations are restricted to her rough mereologies that seek to avoid contamination.


title: Binary Discrimination in Quantum Systems via Hypothesis Testing

abstract: We investigate the discrimination of two candidates of an unknown parameter in quantum systems with continuous weak measurement, inspired by the application of hypothesis testing in distinguish-ing two Hamiltonians [Kiilerich and M{\o}lmer, Phys. Rev. A, 98, 022103 (2018)]. Based on the measurement output and stochastic master equation, temporal evolutions of posterior probabilities of two hypotheses are given by Bayes' formula. The Bayes criterion is presented by the likelihood ratio conditioned on the outcome of measurements. Different from the calculation method based on maximum a posteriori criterion, the Bayes criterion based method for calculating the average prob-ability of making errors is more suitable and efficient in general situation of binary discrimination. Finally, an example of distinguishing two candidate Hamiltonians is given and the running times of calculating the average probability of error under the Bayes criterion and the maximum a posteriori criterion are compared to illustrate the feasibility of the hypothesis testing in quickly distinguishing two candidates of the parameter to be estimated.


title: Sensor Defense In-Software (SDI):Practical Software Based Detection of Spoofing Attacks on Position Sensor

abstract: Position sensors, such as the gyroscope, the magnetometer and the accelerometer, are found in a staggering variety of devices, from smartphones and UAVs to autonomous robots. Several works have shown how adversaries can mount spoofing attacks to remotely corrupt or even completely control the outputs of these sensors. With more and more critical applications relying on sensor readings to make important decisions, defending sensors from these attacks is of prime importance. In this work we present practical software based defenses against attacks on two common types of position sensors, specifically the gyroscope and the magnetometer. We first characterize the sensitivity of these sensors to acoustic and magnetic adversaries. Next, we present two software-only defenses: a machine learning based single sensor defense, and a sensor fusion defense which makes use of the mathematical relationship between the two sensors. We performed a detailed theoretical analysis of our defenses, and implemented them on a variety of smartphones, as well as on a resource-constrained IoT sensor node. Our defenses do not require any hardware or OS-level modifications, making it possible to use them with existing hardware. Moreover, they provide a high detection accuracy, a short detection time and a reasonable power consumption.


title: Color-position symmetry in interacting particle systems

abstract: We prove a color-position symmetry for a class of ASEP-like interacting particle systems with discrete time on the one-dimensional lattice. The full space-time inhomogeneity of our systems allows to apply the result to colored (or multi-species) ASEP and stochastic vertex models for a certain class of initial/boundary conditions, generalizing previous results of Amir-Angel-Valko and Borodin-Wheeler. We are also able to use the symmetry, together with previously known results for uncolored models, to find novel asymptotic behavior of the second class particles in several situations.


title: Hierarchy Composition GAN for High-fidelity Image Synthesis

abstract: Despite the rapid progress of generative adversarial networks (GANs) in image synthesis in recent years, the existing image synthesis approaches work in either geometry domain or appearance domain alone which often introduces various synthesis artifacts. This paper presents an innovative Hierarchical Composition GAN (HIC-GAN) that incorporates image synthesis in geometry and appearance domains into an end-to-end trainable network and achieves superior synthesis realism in both domains simultaneously. We design an innovative hierarchical composition mechanism that is capable of learning realistic composition geometry and handling occlusions while multiple foreground objects are involved in image composition. In addition, we introduce a novel attention mask mechanism that guides to adapt the appearance of foreground objects which also helps to provide better training reference for learning in geometry domain. Extensive experiments on scene text image synthesis, portrait editing and indoor rendering tasks show that the proposed HIC-GAN achieves superior synthesis performance qualitatively and quantitatively.


title: Election Control through Social Influence with Unknown Preferences

abstract: The election control problem through social influence asks to find a set of nodes in a social network of voters to be the starters of a political campaign aiming at supporting a given target candidate. Voters reached by the campaign change their opinions on the candidates. The goal is to shape the diffusion of the campaign in such a way that the chances of victory of the target candidate are maximized. Previous work shows that the problem can be approximated within a constant factor in several models of information diffusion and voting systems, assuming that the controller, i.e., the external agent that starts the campaign, has full knowledge of the preferences of voters. However this information is not always available since some voters might not reveal it. Herein we relax this assumption by considering that each voter is associated with a probability distribution over the candidates. We propose two models in which, when an electoral campaign reaches a voter, this latter modifies its probability distribution according to the amount of influence it received from its neighbors in the network. We then study the election control problem through social influence on the new models: In the first model, under the Gap-ETH, election control cannot be approximated within a factor better than $1/n^{o(1)}$, where $n$ is the number of voters; in the second model, which is a slight relaxation of the first one, the problem admits a constant factor approximation algorithm.


title: Complexity of fall coloring for restricted graph classes

abstract: We strengthen a result by Laskar and Lyle (Discrete Appl. Math. (2009), 330-338) by proving that it is NP-complete to decide whether a bipartite planar graph can be partitioned into three independent dominating sets. In contrast, we show that this is always possible for every maximal outerplanar graph with at least three vertices. Moreover, we extend their previous result by proving that deciding whether a bipartite graph can be partitioned into $k$ independent dominating sets is NP-complete for every $k \geq 3$. We also strengthen a result by Henning et al. (Discrete Math. (2009), 6451-6458) by showing that it is NP-complete to determine if a graph has two disjoint independent dominating sets, even when the problem is restricted to triangle-free planar graphs. Finally, for every $k \geq 3$, we show that there is some constant $t$ depending only on $k$ such that deciding whether a $k$-regular graph can be partitioned into $t$ independent dominating sets is NP-complete. We conclude by deriving moderately exponential-time algorithms for the problem.


title: Ensemble Super-Resolution with A Reference Dataset

abstract: By developing sophisticated image priors or designing deep(er) architectures, a variety of image Super-Resolution (SR) approaches have been proposed recently and achieved very promising performance. A natural question that arises is whether these methods can be reformulated into a unifying framework and whether this framework assists in SR reconstruction? In this paper, we present a simple but effective single image SR method based on ensemble learning, which can produce a better performance than that could be obtained from any of SR methods to be ensembled (or called component super-resolvers). Based on the assumption that better component super-resolver should have larger ensemble weight when performing SR reconstruction, we present a Maximum A Posteriori (MAP) estimation framework for the inference of optimal ensemble weights. Specially, we introduce a reference dataset, which is composed of High-Resolution (HR) and Low-Resolution (LR) image pairs, to measure the super-resolution abilities (prior knowledge) of different component super-resolvers. To obtain the optimal ensemble weights, we propose to incorporate the reconstruction constraint, which states that the degenerated HR image should be equal to the LR observation one, as well as the prior knowledge of ensemble weights into the MAP estimation framework. Moreover, the proposed optimization problem can be solved by an analytical solution. We study the performance of the proposed method by comparing with different competitive approaches, including four state-of-the-art non-deep learning based methods, four latest deep learning based methods and one ensemble learning based method, and prove its effectiveness and superiority on three public datasets.


title: Peculiarities of the Faraday effect in gold-nanodisk/iron-garnet heterostructures

abstract: In this paper, matters considering the immersion of gold nanoparticles inside a magnetic medium are investigated experimentally and theoretically. Three samples with periodic arrays of Au cylinders where studied: particles on a surface of the magnetic dielectric film, inside the magnetic film and directly under the magnetic film. The largest LSPR mediated Faraday rotation resonance enhancement takes place for the case of the nanoparticles submerged inside the magnetic film. Optimal place for nanoparticles is under the magnetic medium surface at 6 nm deep in the considered configurations. It is shown that the most influence on the Faraday rotation enhancement is produced by the magnetic properties of the medium between the nanoantennas. The experimental results are in good agreement with the numerical analysis.


title: Integrating Objects into Monocular SLAM: Line Based Category Specific Models

abstract: We propose a novel Line based parameterization for category specific CAD models. The proposed parameterization associates 3D category-specific CAD model and object under consideration using a dictionary based RANSAC method that uses object Viewpoints as prior and edges detected in the respective intensity image of the scene. The association problem is posed as a classical Geometry problem rather than being dataset driven, thus saving the time and labour that one invests in annotating dataset to train Keypoint Network for different category objects. Besides eliminating the need of dataset preparation, the approach also speeds up the entire process as this method processes the image only once for all objects, thus eliminating the need of invoking the network for every object in an image across all images. A 3D-2D edge association module followed by a resection algorithm for lines is used to recover object poses. The formulation optimizes for shape and pose of the object, thus aiding in recovering object 3D structure more accurately. Finally, a Factor Graph formulation is used to combine object poses with camera odometry to formulate a SLAM problem.


title: Clifford deformations of Koszul Frobenius algebras and noncommutative quadrics

abstract: Let $E$ be a Koszul Frobenius algebra. A Clifford deformation of $E$ is a finite dimensional $\mathbb Z_2$-graded algebra $E(\theta)$, which corresponds to a noncommutative quadric hypersurface $E^!/(z)$, for some central regular element $z\in E^!_2$. It turns out that the bounded derived category $D^b(\text{gr}_{\mathbb Z_2}E(\theta))$ is equivalent to the stable category of the maximal Cohen-Macaulay modules over $E^!/(z)$ provided that $E^!$ is noetherian. As a consequence, $E^!/(z)$ is a noncommutative isolated singularity if and only if the corresponding Clifford deformation $E(\theta)$ is a semisimple $\mathbb Z_2$-graded algebra. The preceding equivalence of triangulated categories also indicates that Clifford deformations of trivial extensions of a Koszul Frobenius algebra are related to the Kn\"{o}rrer Periodicity Theorem for quadric hypersurfaces. As an application, we recover Kn\"{o}rrer Periodicity Theorem without using of matrix factorizations.


title: Microstructured Optical Waveguide-Based Endoscopic Probe Coated with Silica Submicron Particles

abstract: Microstructured optical waveguides (MOW) are of great interest for chemical and biological sensing. Due to the high overlap between a guiding light mode and an analyte filling of one or several fiber capillaries, such systems are able to provide strong sensitivity with respect to variations in the refractive index and the thickness of filling materials. Here, we introduce a novel type of functionalized MOWs whose capillaries are coated by a layer-by-layer (LBL) approach, enabling the alternate deposition of silica particles (SiO2) at different diameters - 300 nm, 420 nm, and 900 nm - and layers of poly(diallyldimethylammonium chloride) (PDDA). We demonstrate up to three covering bilayers consisting of 300-nm silica particles. Modifications in the MOW transmission spectrum induced by coating are measured and analyzed. The proposed technique of MOW functionalization allows one to reach novel sensing capabilities, including an increase in the effective sensing area and the provision of a convenient scaffold for the attachment of long molecules such as proteins.

categories: physics.optics cond-mat.mtrl-sci physics.app-ph physics.ins-det


title: Quantum nonlocality for entanglement of quasiclassical states

abstract: Entanglement of quasiclassical (coherent) states of two harmonic oscillators leads to striking quantum effects and is useful for quantum technologies. These effects and applications are closely related to nonlocal correlations inherent in these states, manifested by the violation of Bell inequalities. With previous frameworks, this violation is limited by the size of the system, which does not approach the maximum even when the amount of entanglement approaches its maximum. Here we propose a new version of Bell correlation operators, with which a nearly maximal violation can be obtained as long as the associated entanglement approximates to the maximum. Consequently, the revealed nonlocality is significantly stronger than those with previous frameworks for a wide range of the system size. We present a new scheme for realizing the gate necessary for measurement of the nonlocal correlations. In addition to the use in test of quantum nonlocality, this gate is useful for quantum information processing with coherent states


title: Generation and stabilization of entangled coherent states for the vibrational modes of a trapped ion

abstract: We propose a scheme for preparation of entangled coherent states for the motion of an ion in a two-dimensional anisotropic trap. In the scheme, the ion is driven by four laser beams along different directions in the ion trap plane, resulting in carrier excitation and couplings between the internal and external degrees of freedom. When the total quantum number of the vibrational modes initially has a definite parity, the competition between the unitary dynamics and spontaneous emission will force the system to evolve to a steady state, where the vibrational modes are in a two-mode cat state. We show that the method can be extended to realization of entangled coherent states for three vibrational modes of an ion in a three-dimensional anisotropic trap.


title: Historic behavior in non-hyperbolic homoclinic classes

abstract: We show that $C^1$-generically for diffeomorphisms of manifolds of dimension $d\geq3$, a homoclinic class containing saddles of different indices has a residual subset where the orbit of any point has historic behavior.


title: Recognizing finite matrix groups over infinite fields

abstract: We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm that, given such a finite group as input, in practice successfully constructs an isomorphic copy over a finite field, and uses this copy to investigate the group's structure. Implementations of our algorithms are available in MAGMA.


title: A joint text mining-rank size investigation of the rhetoric structures of the US Presidents' speeches

abstract: This work presents a text mining context and its use for a deep analysis of the messages delivered by the politicians. Specifically, we deal with an expert systems-based exploration of the rhetoric dynamics of a large collection of US Presidents' speeches, ranging from Washington to Trump. In particular, speeches are viewed as complex expert systems whose structures can be effectively analyzed through rank-size laws. The methodological contribution of the paper is twofold. First, we develop a text mining-based procedure for the construction of the dataset by using a web scraping routine on the Miller Center website -- the repository collecting the speeches. Second, we explore the implicit structure of the discourse data by implementing a rank-size procedure over the individual speeches, being the words of each speech ranked in terms of their frequencies. The scientific significance of the proposed combination of text-mining and rank-size approaches can be found in its flexibility and generality, which let it be reproducible to a wide set of expert systems and text mining contexts. The usefulness of the proposed method and the speech subsequent analysis is demonstrated by the findings themselves. Indeed, in terms of impact, it is worth noting that interesting conclusions of social, political and linguistic nature on how 45 United States Presidents, from April 30, 1789 till February 28, 2017 delivered political messages can be carried out. Indeed, the proposed analysis shows some remarkable regularities, not only inside a given speech, but also among different speeches. Moreover, under a purely methodological perspective, the presented contribution suggests possible ways of generating a linguistic decision-making algorithm.


title: Probing low-mass WIMP candidates of dark matter with tetrafluoroethane superheated liquid detectors

abstract: Probing low mass (sub-GeV -- few GeV) Weakly Interacting Massive Particle (WIMP) candidates of dark matter through WIMP-induced nuclear recoils in direct detection experiments requires use of detector materials consisting of low mass target nuclei and low threshold energy. Here we explore the potential of superheated liquid detectors (SLD) with a hydrogen containing liquid, namely, tetrafluoroethane (C$_{2}$H$_{2}$F$_{4}$) (b.p.~$-26.3^\circ\,$C), as the target material for probing low mass WIMPs. It is found that few-keV level recoil energy thresholds possible for bubble nucleation by WIMP-induced $^{12}$C and $^{19}$F recoils in C$_{2}$H$_{2}$F$_{4}$ SLDs operated at atmospheric pressure and gamma-ray insensitive temperatures of $T\, \lesssim\, 35^\circ\,$C have the potential to allow WIMPs in the few-GeV mass range to be probed at a WIMP-nucleon spin-independent cross section sensitivity levels (90% C.L.) better than $4.6\times 10^{-5}\,$pb at WIMP masses down to $\sim$ 4 GeV with a total exposure of $\sim$ 1000 kg.day, provided that the ``thermodynamic efficiency" $\eta_{\rm T}$ that determines the bubble nucleation thresholds for the recoiling nuclei in C$_{2}$H$_{2}$F$_{4}$ is $\sim$ 50% or higher. Sensitivity to sub-GeV WIMP masses generally requires the detector to be sensitive to the WIMP-induced $^1$H recoils, which in turn requires the detector to be operated at temperatures $T\gtrsim 50^\circ\,$C and $\eta_{\rm T}$ close to 100%. At such relatively high temperatures (at atmospheric pressure), however, the detector would be sensitive to background gamma rays.


title: Measurements of Weak Decay Asymmetries of $\Lambda_c^+\to pK_S^0$, $\Lambda\pi^+$, $\Sigma^+\pi^0$, and $\Sigma^0\pi^+$

abstract: Using $e^+e^-\to\Lambda_c^+\bar\Lambda_c^-$ production from a 567 pb$^{-1}$ data sample collected by BESIII at 4.6 GeV, a full angular analysis is carried out simultaneously on the four decay modes of $\Lambda_c^+\to pK_S^0$, $\Lambda \pi^+$, $\Sigma^+\pi^0$, and $\Sigma^0\pi^+$. For the first time, the $\Lambda_c^+$ transverse polarization is studied in unpolarized $e^+e^-$ collisions, where a non-zero effect is observed with a statistical significance of 2.1$\sigma$. The decay asymmetry parameters of the $\Lambda_c^+$ weak hadronic decays into $pK_S^0$, $\Lambda\pi^+$, $\Sigma^+\pi^0$ and $\Sigma^0\pi^+$ are measured to be $0.18\pm0.43(\rm{stat})\pm0.14(\rm{syst})$, $-0.80\pm0.11(\rm{stat})\pm0.02(\rm{syst})$, $-0.57\pm0.10(\rm{stat})\pm0.07(\rm{syst})$, and $-0.73\pm0.17(\rm{stat})\pm0.07(\rm{syst})$, respectively. In comparison with previous results, the measurements for the $\Lambda\pi^+$ and $\Sigma^+\pi^0$ modes are consistent but with improved precision, while the parameters for the $pK_S^0$ and $\Sigma^0\pi^+$ modes are measured for the first time.


title: A New Look at an Old Problem: A Universal Learning Approach to Linear Regression

abstract: Linear regression is a classical paradigm in statistics. A new look at it is provided via the lens of universal learning. In applying universal learning to linear regression the hypotheses class represents the label $y\in {\cal R}$ as a linear combination of the feature vector $x^T\theta$ where $x\in {\cal R}^M$, within a Gaussian error. The Predictive Normalized Maximum Likelihood (pNML) solution for universal learning of individual data can be expressed analytically in this case, as well as its associated learnability measure. Interestingly, the situation where the number of parameters $M$ may even be larger than the number of training samples $N$ can be examined. As expected, in this case learnability cannot be attained in every situation; nevertheless, if the test vector resides mostly in a subspace spanned by the eigenvectors associated with the large eigenvalues of the empirical correlation matrix of the training data, linear regression can generalize despite the fact that it uses an ``over-parametrized'' model. We demonstrate the results with a simulation of fitting a polynomial to data with a possibly large polynomial degree.


title: Deep Vocoder: Low Bit Rate Compression of Speech with Deep Autoencoder

abstract: Inspired by the success of deep neural networks (DNNs) in speech processing, this paper presents Deep Vocoder, a direct end-to-end low bit rate speech compression method with deep autoencoder (DAE). In Deep Vocoder, DAE is used for extracting the latent representing features (LRFs) of speech, which are then efficiently quantized by an analysis-by-synthesis vector quantization (AbS VQ) method. AbS VQ aims to minimize the perceptual spectral reconstruction distortion rather than the distortion of LRFs vector itself. Also, a suboptimal codebook searching technique is proposed to further reduce the computational complexity. Experimental results demonstrate that Deep Vocoder yields substantial improvements in terms of frequency-weighted segmental SNR, STOI and PESQ score when compared to the output of the conventional SQ- or VQ-based codec. The yielded PESQ score over the TIMIT corpus is 3.34 and 3.08 for speech coding at 2400 bit/s and 1200 bit/s, respectively.


title: Elementary excitations in the ordered phase of spin-1/2 J1-J2 model on square lattice

abstract: We use recently proposed four-spin bond-operator technique (BOT) to discuss spectral properties of frustrated spin-$\frac12$ $J_1$--$J_2$ Heisenberg antiferromagnet on square lattice at $J_2<0.4J_1$ (i.e., in the N\'eel ordered phase). This formalism is convenient for the consideration of low-lying excitations which appear in conventional approaches as multi-magnon bound states (e.g., the Higgs excitation) because separate bosons describe them in BOT. At $J_2=0$, the obtained magnon spectrum describes accurately available experimental data. However, calculated one-magnon spectral weights and the transverse dynamical structure factor (DSF) do not reproduce experimental findings quantitatively around the momentum ${\bf k}=(\pi,0)$. Then, we do not support the conjecture that the continuum of excitations observed experimentally and numerically near ${\bf k}=(\pi,0)$ is of the Higgs-magnon origin. Upon $J_2$ increasing, one-magnon spectral weights decrease and spectra of high-energy spin-0 and spin-1 excitations move down. One of spin-0 quasiparticles becomes long-lived and its spectrum merges with the magnon spectrum in the most part of the Brillouin zone at $J_2\approx0.3J_1$. We predict that the Higgs excitation and another spin-0 quasiparticle become long-lived around ${\bf k}=(\pi/2,\pi/2)$ at $J_2\agt0.3J_1$ and produce sharp anomalies in the longitudinal DSF.


title: Data augmentation in microscopic images for material data mining

abstract: Recent progress in material data mining has been driven by high-capacity models trained on large datasets. However, collecting experimental data (real data) has been extremely costly since the amount of human effort and expertise required. Here, we develop a novel transfer learning strategy to address small or insufficient data problem. This strategy realizes the fusion of real and simulated data, and the augmentation of training data in data mining procedure. For a specific task of image segmentation, this strategy can generate synthetic images by fusing physical mechanism of simulated images and "image style" of real images. The result shows that the model trained with the acquired synthetic images and 35% of the real images outperforms the model trained on all real images. As the time required to generate synthetic data is almost negligible, this strategy is able to reduce the time cost of real data preparation by roughly 65%.


abstract: We prove the Kac-Wakimoto conjecture for the periplectic Lie superalgebra $\mathfrak{p}(n)$, stating that any simple module lying in a block of non-maximal atypicality has superdimension zero.


title: A class of anisotropic expanding curvature flows

abstract: We consider an expanding flow of smooth, closed, uniformly convex hypersurfaces in (n+1)-dimensional Euclidean space with speed fu^{alpha}{sigma}_k^{beta}, where u is the support function of the hypersurface, alpha, beta are two constants, and beta>0, sigma_k is the k-th symmetric polynomial of the principle curvature radii of the hypersurface, k is an integer and 1<= k<= n. We prove that the flow has a unique smooth and uniformly convex solution for all time, and converges smoothly after normalisation, to a soliton which is a solution of a elliptic equation, when the constants alpha, beta belong to a suitable range, and the function f satisfies a strictly spherical convexity condition. When beta=1, the soliton equation is just the equation of Lp Christoffel-Minkowski problem. Thus our argument provides a proof to the well-known L_p Christoffel-Minkowski problem for the case p>= k+1 where p=2-alpha, which is identify with Ivaki's recent result.


title: CASTNet: Community-Attentive Spatio-Temporal Networks for Opioid Overdose Forecasting

abstract: Opioid overdose is a growing public health crisis in the United States. This crisis, recognized as "opioid epidemic," has widespread societal consequences including the degradation of health, and the increase in crime rates and family problems. To improve the overdose surveillance and to identify the areas in need of prevention effort, in this work, we focus on forecasting opioid overdose using real-time crime dynamics. Previous work identified various types of links between opioid use and criminal activities, such as financial motives and common causes. Motivated by these observations, we propose a novel spatio-temporal predictive model for opioid overdose forecasting by leveraging the spatio-temporal patterns of crime incidents. Our proposed model incorporates multi-head attentional networks to learn different representation subspaces of features. Such deep learning architecture, called "community-attentive" networks, allows the prediction of a given location to be optimized by a mixture of groups (i.e., communities) of regions. In addition, our proposed model allows for interpreting what features, from what communities, have more contributions to predicting local incidents as well as how these communities are captured through forecasting. Our results on two real-world overdose datasets indicate that our model achieves superior forecasting performance and provides meaningful interpretations in terms of spatio-temporal relationships between the dynamics of crime and that of opioid overdose.


title: Meshless Hermite-HDMR finite difference method for high-dimensional Dirichlet problems

abstract: In this paper, a meshless Hermite-HDMR finite difference method is proposed to solve high-dimensional Dirichlet problems. The approach is based on the local Hermite-HDMR expansion with an additional smoothing technique. First, we introduce the HDMR decomposition combined with the multiple Hermite series to construct a class of Hermite-HDMR approximations, and the relevant error estimate is theoretically built in a class of Hermite spaces. It can not only provide high order convergence but also retain good scaling with increasing dimensions. Then the Hermite-HDMR based finite difference method is particularly proposed for solving high-dimensional Dirichlet problems. By applying a smoothing process to the Hermite-HDMR approximations, numerical stability can be guaranteed even with a small number of nodes. Numerical experiments in dimensions up to $30$ show that resulting approximations are of very high quality.


title: Diagnosing Reinforcement Learning for Traffic Signal Control

abstract: With the increasing availability of traffic data and advance of deep reinforcement learning techniques, there is an emerging trend of employing reinforcement learning (RL) for traffic signal control. A key question for applying RL to traffic signal control is how to define the reward and state. The ultimate objective in traffic signal control is to minimize the travel time, which is difficult to reach directly. Hence, existing studies often define reward as an ad-hoc weighted linear combination of several traffic measures. However, there is no guarantee that the travel time will be optimized with the reward. In addition, recent RL approaches use more complicated state (e.g., image) in order to describe the full traffic situation. However, none of the existing studies has discussed whether such a complex state representation is necessary. This extra complexity may lead to significantly slower learning process but may not necessarily bring significant performance gain. In this paper, we propose to re-examine the RL approaches through the lens of classic transportation theory. We ask the following questions: (1) How should we design the reward so that one can guarantee to minimize the travel time? (2) How to design a state representation which is concise yet sufficient to obtain the optimal solution? Our proposed method LIT is theoretically supported by the classic traffic signal control methods in transportation field. LIT has a very simple state and reward design, thus can serve as a building block for future RL approaches to traffic signal control. Extensive experiments on both synthetic and real datasets show that our method significantly outperforms the state-of-the-art traffic signal control methods.


title: Some Research Problems in Biometrics: The Future Beckons

abstract: The need for reliably determining the identity of a person is critical in a number of different domains ranging from personal smartphones to border security; from autonomous vehicles to e-voting; from tracking child vaccinations to preventing human trafficking; from crime scene investigation to personalization of customer service. Biometrics, which entails the use of biological attributes such as face, fingerprints and voice for recognizing a person, is being increasingly used in several such applications. While biometric technology has made rapid strides over the past decade, there are several fundamental issues that are yet to be satisfactorily resolved. In this article, we will discuss some of these issues and enumerate some of the exciting challenges in this field.


title: Numerical meshless solution of high-dimensional sine-Gordon equations via Fourier HDMR-HC approximation

abstract: In this paper, an implicit time stepping meshless scheme is proposed to find the numerical solution of high-dimensional sine-Gordon equations (SGEs) by combining the high dimensional model representation (HDMR) and the Fourier hyperbolic cross (HC) approximation. To ensure the sparseness of the relevant coefficient matrices of the implicit time stepping scheme, the whole domain is first divided into a set of subdomains, and the relevant derivatives in high-dimension can be separately approximated by the Fourier HDMR-HC approximation in each subdomain. The proposed method allows for stable large time-steps and a relatively small number of nodes with satisfactory accuracy. The numerical examples show that the proposed method is very attractive for simulating the high-dimensional SGEs.


title: Routing and Scheduling of Network Flows with Deadlines and Discrete Capacity Allocation

abstract: Joint scheduling and routing of data flows with deadline constraints in communication networks has been attracting research interest. This type of problem distinguishes from conventional multicommodity flows due to the presence of the time dimension. In this paper, we address a flow routing and scheduling problem with delivery deadline, where the assignment of link capacity occurs in discrete units. Discrete capacity allocation is motivated by applications in communication systems, where it is common to have a base unit of capacity (e.g., wavelength channel in optical communications). We present and prove complexity results of the problem. Next, we give an optimization formulation based on a time slicing approach (TSA), which amounts to a discretization of the time into time slices to enable to formulate the deadline constraints. We then derive an effective reformulation of the problem, via which a column generation algorithm (CGA) is developed. In addition, we propose a simple and fast Max-Flow based Algorithm (MFA). We use a number of network and traffic scenarios to study various performance aspects of the algorithms.


title: Rotation Invariant Householder Parameterization for Bayesian PCA

abstract: We consider probabilistic PCA and related factor models from a Bayesian perspective. These models are in general not identifiable as the likelihood has a rotational symmetry. This gives rise to complicated posterior distributions with continuous subspaces of equal density and thus hinders efficiency of inference as well as interpretation of obtained parameters. In particular, posterior averages over factor loadings become meaningless and only model predictions are unambiguous. Here, we propose a parameterization based on Householder transformations, which remove the rotational symmetry of the posterior. Furthermore, by relying on results from random matrix theory, we establish the parameter distribution which leaves the model unchanged compared to the original rotationally symmetric formulation. In particular, we avoid the need to compute the Jacobian determinant of the parameter transformation. This allows us to efficiently implement probabilistic PCA in a rotation invariant fashion in any state of the art toolbox. Here, we implemented our model in the probabilistic programming language Stan and illustrate it on several examples.


title: On p-adic comparison theorems for rigid analytic varieties, I

abstract: We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods. The main technical input is a construction of a Hyodo-Kato cohomology and a Hyodo-Kato isomorphism with de Rham cohomology.


title: Learning Phase Competition for Traffic Signal Control

abstract: Increasingly available city data and advanced learning techniques have empowered people to improve the efficiency of our city functions. Among them, improving the urban transportation efficiency is one of the most prominent topics. Recent studies have proposed to use reinforcement learning (RL) for traffic signal control. Different from traditional transportation approaches which rely heavily on prior knowledge, RL can learn directly from the feedback. On the other side, without a careful model design, existing RL methods typically take a long time to converge and the learned models may not be able to adapt to new scenarios. For example, a model that is trained well for morning traffic may not work for the afternoon traffic because the traffic flow could be reversed, resulting in a very different state representation. In this paper, we propose a novel design called FRAP, which is based on the intuitive principle of phase competition in traffic signal control: when two traffic signals conflict, priority should be given to one with larger traffic movement (i.e., higher demand). Through the phase competition modeling, our model achieves invariance to symmetrical cases such as flipping and rotation in traffic flow. By conducting comprehensive experiments, we demonstrate that our model finds better solutions than existing RL methods in the complicated all-phase selection problem, converges much faster during training, and achieves superior generalizability for different road structures and traffic conditions.


title: Circinus Galaxy Revisted with 10 Years of Fermi-LAT Data

abstract: Circinus galaxy is a nearby composite starburst/AGN system. In this work we re-analyze the GeV emission from Circinus with 10 years of {\it Fermi}-LAT Pass 8 data. In the energy range of 1-500 GeV, the spectrum can be well fitted by a power-law model with a photon index of $\Gamma$ = $2.20\pm0.14$, and its photon flux is $(5.90\pm1.04) \times 10^{-10}$ photons cm$^{-2}$ s$^{-1}$. Our 0.1-500 GeV flux is several times lower than that reported in the previous literature, which is roughly in compliance with the empirical relation for star-forming and local group galaxies and might be reproduced by the interaction between cosmic rays and the interstellar medium. The ratio between the $\gamma$-ray luminosity and the total infrared luminosity is near the proton calorimetric limit, indicating that Circinus may be a proton calorimeter. However, marginal evidence for variability of the $\gamma$-ray emission is found in the timing analysis, which may indicate the activity of AGN jet. More {\it Fermi}-LAT data and future observation of CTA are required to fully reveal the origin of its $\gamma$-ray emission.


title: Extra structure on the cohomology of configuration spaces of closed orientable surfaces

abstract: The rational homology of unordered configuration spaces of points on any surface was studied by Drummond-Cole and Knudsen. We compute the rational cohomology of configuration spaces on a closed orientable surface, keeping track of the mixed Hodge numbers and the action of the symplectic group on the cohomology. We find a series with coefficients in the Grothendieck ring of sp(2g) that describes explicitly the decomposition of the cohomology into irreducible representations. From that we deduce the mixed Hodge numbers and the Betti numbers, obtaining a new formula without cancellations.


title: Sequent-Type Proof Systems for Three-Valued Default Logic

abstract: Sequent-type proof systems constitute an important and widely-used class of calculi well-suited for analysing proof search. In my master's thesis, I introduce sequent-type calculi for a variant of default logic employing \Lukasiewicz's three-valued logic as the underlying base logic. This version of default logic has been introduced by Radzikowska addressing some representational shortcomings of standard default logic. More specifically, the calculi discussed in my thesis axiomatise brave and skeptical reasoning for this version of default logic, respectively following the sequent method first introduced in the context of nonmonotonic reasoning by Bonatti and Olivetti, which employ a complementary calculus for axiomatising invalid formulas, taking care of expressing the consistency condition of defaults.


title: Nodeless superconductivity and preserved time-reversal symmetry in the noncentrosymmetric Mo3P superconductor

abstract: We report a comprehensive study of the noncentrosymmetric superconductor Mo$_3$P. Its bulk superconductivity, with $T_c = 5.5$ K, was characterized via electrical resistivity, magnetization, and heat-capacity measurements, while its microscopic electronic properties were investigated by means of muon-spin rotation/relaxation ($\mu$SR) and nuclear magnetic resonance (NMR) techniques. In the normal state, NMR relaxation data indicate an almost ideal metallic behavior, confirmed by band-structure calculations, which suggest a relatively high electron density of states, dominated by the Mo $4d$-orbitals. The low-temperature superfluid density, determined via transverse-field $\mu$SR and electronic specific heat, suggest a fully-gapped superconducting state in Mo$_3$P, with $\Delta_0= 0.83$ meV, the same as the BCS gap value in the weak-coupling case, and a zero-temperature magnetic penetration depth $\lambda_0 = 126$ nm. The absence of spontaneous magnetic fields below the onset of superconductivity, as determined from zero-field $\mu$SR measurements, indicates a preserved time-reversal symmetry in the superconducting state of Mo$_3$P and, hence, spin-singlet pairing.


title: A Comparison of Techniques for Sentiment Classification of Film Reviews

abstract: We undertake the task of comparing lexicon-based sentiment classification of film reviews with machine learning approaches. We look at existing methodologies and attempt to emulate and improve on them using a 'given' lexicon and a bag-of-words approach. We also utilise syntactical information such as part-of-speech and dependency relations. We will show that a simple lexicon-based classification achieves good results however machine learning techniques prove to be the superior tool. We also show that more features do not necessarily deliver better performance as well as elaborate on three further enhancements not tested in this article.


title: Single-photon-triggered quantum chaos

abstract: We demonstrate how to manipulate quantum chaos with a single photon in a hybrid quantum device combining cavity QED and optomechanics. Specifically, we show that this system changes between integrable and chaotic relying on the photon-state of the injected field. This onset of chaos originates from the photon-dependent chaotic threshold of the qubit-field coupling induced by the optomechanical interaction. By deriving the Loschmidt Echo we observe clear differences in the sensitivity to perturbations in the regular versus chaotic regimes. We also present classical analog of this chaotic behavior, and find good correspondence between chaotic quantum dynamics and classical physics. Our work opens up a new route to achieve quantum manipulations, which are crucial elements in engineering new types of on-chip quantum devices and quantum information science.


title: One-Shot Image-to-Image Translation via Part-Global Learning with a Multi-adversarial Framework

abstract: It is well known that humans can learn and recognize objects effectively from several limited image samples. However, learning from just a few images is still a tremendous challenge for existing main-stream deep neural networks. Inspired by analogical reasoning in the human mind, a feasible strategy is to translate the abundant images of a rich source domain to enrich the relevant yet different target domain with insufficient image data. To achieve this goal, we propose a novel, effective multi-adversarial framework (MA) based on part-global learning, which accomplishes one-shot cross-domain image-to-image translation. In specific, we first devise a part-global adversarial training scheme to provide an efficient way for feature extraction and prevent discriminators being over-fitted. Then, a multi-adversarial mechanism is employed to enhance the image-to-image translation ability to unearth the high-level semantic representation. Moreover, a balanced adversarial loss function is presented, which aims to balance the training data and stabilize the training process. Extensive experiments demonstrate that the proposed approach can obtain impressive results on various datasets between two extremely imbalanced image domains and outperform state-of-the-art methods on one-shot image-to-image translation.


title: Flat Metric Minimization with Applications in Generative Modeling

abstract: We take the novel perspective to view data not as a probability distribution but rather as a current. Primarily studied in the field of geometric measure theory, $k$-currents are continuous linear functionals acting on compactly supported smooth differential forms and can be understood as a generalized notion of oriented $k$-dimensional manifold. By moving from distributions (which are $0$-currents) to $k$-currents, we can explicitly orient the data by attaching a $k$-dimensional tangent plane to each sample point. Based on the flat metric which is a fundamental distance between currents, we derive FlatGAN, a formulation in the spirit of generative adversarial networks but generalized to $k$-currents. In our theoretical contribution we prove that the flat metric between a parametrized current and a reference current is Lipschitz continuous in the parameters. In experiments, we show that the proposed shift to $k>0$ leads to interpretable and disentangled latent representations which behave equivariantly to the specified oriented tangent planes.


title: Reducing invariants and total reflexivity

abstract: Motivated by a recent result of Yoshino, and the work of Bergh on reducible complexity, we introduce reducing versions of invariants of finitely generated modules over commutative Noetherian local rings. Our main result considers modules which have finite reducing Gorenstein dimension, and determines a criterion for such modules to be totally reflexive in terms of the vanishing of Ext. Along the way we give examples and applications, and in particular, prove that a Cohen-Macaulay local ring with canonical module is Gorenstein if and only if the canonical module has finite reducing Gorenstein dimension.


title: Terahertz-Band Ultra-Massive Spatial Modulation MIMO

abstract: The prospect of ultra-massive multiple-input multiple-output (UM-MIMO) technology to combat the distance problem at the Terahertz (THz)-band is considered. It is well-known that the very large available bandwidths at THz frequencies come at the cost of severe propagation losses and power limitations, which result in very short communication distances. Recently, graphene-based plasmonic nano-antenna arrays that can accommodate hundreds of antenna elements in a few millimeters have been proposed. While such arrays enable efficient beamforming that can increase the communication range, they fail to provide sufficient spatial degrees of freedom for spatial multiplexing. In this paper, we examine spatial modulation (SM) techniques that can leverage the properties of densely packed configurable arrays of subarrays of nano-antennas, to increase capacity and spectral efficiency, while maintaining acceptable beamforming performance. Depending on the communication distance and the frequency of operation, a specific SM configuration that ensures good channel conditions is recommended. We analyze the performance of the proposed schemes theoretically and numerically in terms of symbol and bit error rates, where significant gains are observed compared to conventional SM. We demonstrate that SM at very high frequencies is a feasible paradigm, and we motivate several extensions that can make THz-band SM a future research trend.


title: Nuisance parameter problem in quantum estimation theory: General formulation and qubit examples

abstract: In this paper, we analyze quantum-state estimation problems when some of the parameters are of no interest to be estimated. In classical statistics, these irrelevant parameters are called nuisance parameters and this problem is of great importance in many practical applications of statistics. However, little is known regarding the effects of nuisance parameters in quantum-state estimation problems. The main contribution of this paper is first to formulate the nuisance parameter problem for the quantum-state estimation theory, then to propose a method of how to eliminate the nuisance parameters to obtain an estimation error bound for the parameters of interest. We also develop useful methods of dealing with the nuisance parameter problem in the quantum case and reveal the significant difference from the classical case. In particular, we clarify an intrinsic tradeoff relation to estimate the nuisance parameters and parameters of interest. The general qubit model is examined in detail to emphasize that we cannot ignore the effects of the nuisance parameters in general. Several examples in qubit systems are worked out to illustrate our findings.


title: Social Relation Recognition in Egocentric Photostreams

abstract: This paper proposes an approach to automatically categorize the social interactions of a user wearing a photo-camera 2fpm, by relying solely on what the camera is seeing. The problem is challenging due to the overwhelming complexity of social life and the extreme intra-class variability of social interactions captured under unconstrained conditions. We adopt the formalization proposed in Bugental's social theory, that groups human relations into five social domains with related categories. Our method is a new deep learning architecture that exploits the hierarchical structure of the label space and relies on a set of social attributes estimated at frame level to provide a semantic representation of social interactions. Experimental results on the new EgoSocialRelation dataset demonstrate the effectiveness of our proposal.


title: Note on Thompson sampling for large decision problems

abstract: There is increasing interest in using streaming data to inform decision making across a wide range of application domains including mobile health, food safety, security, and resource management. A decision support system formalizes online decision making as a map from up-to-date information to a recommended decision. Online estimation of an optimal decision strategy from streaming data requires simultaneous estimation of components of the underlying system dynamics as well as the optimal decision strategy given these dynamics; thus, there is an inherent trade-off between choosing decisions that lead to improved estimates and choosing decisions that appear to be optimal based on current estimates. Thompson (1933) was among the first to formalize this trade-off in the context of choosing between two treatments for a stream of patients; he proposed a simple heuristic wherein a treatment is selected randomly at each time point with selection probability proportional to the posterior probability that it is optimal. We consider a variant of Thompson sampling that is simple to implement and can be applied to large and complex decision problems. We show that the proposed Thompson sampling estimator is consistent for the optimal decision support system and provide rates of convergence and finite sample error bounds. The proposed algorithm is illustrated using an agent-based model of the spread of influenza on a network and management of mallard populations in the United States.


title: Interoperator fixed-mobile network sharing

abstract: We propose the novel idea of interoperator fixed-mobile network sharing, which can be software-defined and readily-deployed. We study the benefits which the sharing brings in terms of resiliency, and show that, with the appropriate placement of a few active nodes, the mean service downtime can be reduced more than threefold by providing interoperator communication to as little as one optical network unit in one hundred. The implementation of the proposed idea can be carried out in stages when needed (the pay-as-you-grow deployment), and in those parts of the network where high service availability is needed most, e.g., in a business district. While the performance should expectedly increase, we show the resiliency is brought almost out of thin air by using redundant resources of different operators. We evaluated the service availability for 87400 networks with the relative standard error of the sample mean below 1%.


title: Realising Mutated Hilltop Inflation in Supergravity

abstract: We present $\mathcal{N}=1$ supergravity models of mutated hilltop inflation (MHI) for both large and small field sectors. Models with canonical kinetic terms are developed based on a shift symmetric K\"ahler potential in inflaton superfield, and with a superpotential linear in Goldstino superfield. We also construct models with non-canonical kinetic terms for MHI by generalizing the shift symmetry. We found that a good fraction of the models can address the entire branch of MHI in a single framework.


title: Ultra-small Cell Networks with Collaborative RF and Lightwave Power Transfer

abstract: This paper investigates a hybrid radio frequency (RF)/visible light communication (VLC) ultra-small cell network consisting of multiple optical angle-diversity transmitters, one multi-antenna RF access point (AP), and multiple terminal devices. In the network, the optical transmitters play the primary role and are responsible for delivering information and power over the visible light, while the RF AP acts as a complementary power transfer system. Thus, we propose a novel collaborative RF and lightwave resource allocation scheme for hybrid RF/VLC ultra-small cell networks. The proposed scheme aims to maximize the communication quality-of-service provided by the VLC under a constraint of total RF and light energy harvesting performance, while keeping illumination constant and ensuring health safety. This scheme leads to the formulation of two optimization problems that correspond to the resource allocation at the optical transmitters and the RF AP. Both problems are optimally solved by appropriate algorithms. Moreover, we propose a closed-form suboptimal solution with high accuracy to tackle the optical transmitters' resource allocation problem, as well as an efficient semi-decentralized method. Finally, simulation results illustrate the achievable performance of the investigated system and the effectiveness of the proposed solutions.


title: From Vlasov-Maxwell-Boltzmann system to two-fluid incompressible Navier-Stokes-Fourier-Maxwell system with Ohm's law: convergence for classical solutions

abstract: For the two-species Vlasov-Maxwell-Boltzmann (VMB) system with the scaling under which the moments of the fluctuations to the global Maxwellians formally converge to the two-fluid incompressible Navier-Stokes-Fourier-Maxwell (NSFM) system with Ohm's law, we prove the uniform estimates with respect to Knudsen number $\eps$ for the fluctuations. As consequences, the existence of the global in time classical solutions of VMB with all $\eps \in (0,1]$ is established. Furthermore, the convergence of the fluctuations of the solutions of VMB to the classical solutions of NSFM with Ohm's law is rigorously justified. This limit was justified in the recent breakthrough of Ars\'enio and Saint-Raymond \cite{Arsenio-SRM-2016} from renormalized solutions of VMB to dissipative solutions of incompressible viscous electro-magneto-hydrodynamics under the corresponding scaling. In this sense, our result gives a classical solution analogue of the corresponding limit in \cite{Arsenio-SRM-2016}.


title: Object Detection in Specific Traffic Scenes using YOLOv2

abstract: object detection framework plays crucial role in autonomous driving. In this paper, we introduce the real-time object detection framework called You Only Look Once (YOLOv1) and the related improvements of YOLOv2. We further explore the capability of YOLOv2 by implementing its pre-trained model to do the object detecting tasks in some specific traffic scenes. The four artificially designed traffic scenes include single-car, single-person, frontperson-rearcar and frontcar-rearperson.


title: On the Hitchin morphism for higher dimensional varieties

abstract: In this paper, we explore the structure of the Hitchin morphism for higher dimensional varieties. We show that the Hitchin morphism factors through a closed subscheme of the Hitchin base, which is in general a non-linear subspace of lower dimension. We conjecture that the resulting morphism, which we call the spectral data morphism, is surjective. In the course of the proof, we establish connections between the Hitchin morphisms for higher dimensional varieties, the invariant theory of the commuting schemes, and Weyl's polarization theorem. We use the factorization of the Hitchin morphism to construct the spectral and cameral covers. In the case of general linear groups and algebraic surfaces, we show that spectral surfaces admit canonical finite Cohen-Macaulayfications, which we call the Cohen-Macaulay spectral surfaces, and we use them to obtain a description of the generic fibers of the Hitchin morphism similar to the case of curves. Finally, we study the Hitchin morphism for some class of algebraic surfaces.


title: Global solutions to a structure acoustic interaction model with nonlinear sources

abstract: This article focuses on a structural acoustic interaction system consisting of a semilinear wave equation defined on a smooth bounded domain $\Omega\subset\R^3$ which is strongly coupled with a Berger plate equation acting only on a flat part of the boundary of $\Omega$. In particular, the source terms acting on the wave and plate equations are allowed to have arbitrary growth order. We employ a standard Galerkin approximation scheme to establish a rigorous proof of the existence of local weak solutions. In addition, under some conditions on the parameters in the system, we prove such solutions exist globally in time and depend continuously on the initial data.


title: Scalable collective Lamb shift of a 1D superconducting qubit array in front of a mirror

abstract: We theoretically investigate resonant dipole-dipole interaction (RDDI) between artificial atoms in a 1D geometry, implemented by N transmon qubits coupled through a transmission line. Similarly to the atomic cases, RDDI comes from exchange of virtual photons of the unexcited modes, and causes the so-called collective Lamb shift (CLS). To probe the shift, we effectively set one end of the transmission line as a mirror, and examine the reflection spectrum of the probe field from the other end. Our calculation shows that when a qubit is placed at the node of the standing wave formed by the incident and reflected waves, even though it is considered to be decoupled from the field, it results in large energy splitting in the spectral profile of a resonant qubit located elsewhere. This directly signals the interplay of virtual photon processes and explicitly demonstrates the CLS. We further derive a master equation to describe the system, which can take into account mismatch of participating qubits and dephasing effects. Our calculation also demonstrates the superradiant and subradiant nature of the atomic states, and how the CLS scales when more qubits are involved.


title: A note on spanning $K_r$-cycles in random graphs

abstract: We find the threshold for the existence of a collection of edge disjoint copies of $K_r$ that form a cyclic structure and span all vertices of $G_{n,p}$. We use a recent result of Riordan to give a two line proof of the main result.


title: The zero inertia limit of Ericksen-Leslie's model for liquid crystals

abstract: In this paper we study the zero inertia limit that is from the hyperbolic to parabolic Ericksen-Leslie's liquid crystal flow. By introducing an initial layer and constructing an energy norm and energy dissipation functional depending on the solutions of the limiting system, we derive a global in time uniform energy bound to the remainder system under the small size of the initial data.


title: Generalized Lyndon Factorizations of Infinite Words

abstract: A generalized lexicographic order on words is a lexicographic order where the total order of the alphabet depends on the position of the comparison. A generalized Lyndon word is a finite word which is strictly smallest among its class of rotations with respect to a generalized lexicographic order. This notion can be extended to infinite words: an infinite generalized Lyndon word is an infinite word which is strictly smallest among its class of suffixes. We prove a conjecture of Dolce, Restivo, and Reutenauer: every infinite word has a unique nonincreasing factorization into finite and infinite generalized Lyndon words. When this factorization has finitely many terms, we characterize the last term of the factorization. Our methods also show that the infinite generalized Lyndon words are precisely the words with infinitely many generalized Lyndon prefixes.


title: The nonlinear stability regime of the viscous Faraday wave problem

abstract: This paper concerns the dynamics of a layer of incompressible viscous fluid lying above a vertically oscillating rigid plane and with an upper boundary given by a free surface. We consider the problem with gravity and surface tension for horizontally periodic flows. This problem gives rise to flat but vertically oscillating equilibrium solutions, and the main thrust of this paper is to study the asymptotic stability of these equilibria in certain parameter regimes. We prove that both with and without surface tension there exists a parameter regime in which sufficiently small perturbations of the equilibrium at time $t = 0$ give rise to global-in-time solutions that decay to equilibrium at an identified quantitative rate.


title: Approximated Oracle Filter Pruning for Destructive CNN Width Optimization

abstract: It is not easy to design and run Convolutional Neural Networks (CNNs) due to: 1) finding the optimal number of filters (i.e., the width) at each layer is tricky, given an architecture; and 2) the computational intensity of CNNs impedes the deployment on computationally limited devices. Oracle Pruning is designed to remove the unimportant filters from a well-trained CNN, which estimates the filters' importance by ablating them in turn and evaluating the model, thus delivers high accuracy but suffers from intolerable time complexity, and requires a given resulting width but cannot automatically find it. To address these problems, we propose Approximated Oracle Filter Pruning (AOFP), which keeps searching for the least important filters in a binary search manner, makes pruning attempts by masking out filters randomly, accumulates the resulting errors, and finetunes the model via a multi-path framework. As AOFP enables simultaneous pruning on multiple layers, we can prune an existing very deep CNN with acceptable time cost, negligible accuracy drop, and no heuristic knowledge, or re-design a model which exerts higher accuracy and faster inference.


title: A Benchmark Study of Machine Learning Models for Online Fake News Detection

abstract: The proliferation of fake news and its propagation on social media has become a major concern due to its ability to create devastating impacts. Different machine learning approaches have been suggested to detect fake news. However, most of those focused on a specific type of news (such as political) which leads us to the question of dataset-bias of the models used. In this research, we conducted a benchmark study to assess the performance of different applicable machine learning approaches on three different datasets where we accumulated the largest and most diversified one. We explored a number of advanced pre-trained language models for fake news detection along with the traditional and deep learning ones and compared their performances from different aspects for the first time to the best of our knowledge. We find that BERT and similar pre-trained models perform the best for fake news detection, especially with very small dataset. Hence, these models are significantly better option for languages with limited electronic contents, i.e., training data. We also carried out several analysis based on the models' performance, article's topic, article's length, and discussed different lessons learned from them. We believe that this benchmark study will help the research community to explore further and news sites/blogs to select the most appropriate fake news detection method.


title: The diameter of lattice zonotopes

abstract: We establish sharp asymptotic estimates for the diameter of primitive zonotopes when their dimension is fixed. We also prove that, for infinitely many integers $k$, the largest possible diameter of a lattice zonotope contained in the hypercube $[0,k]^d$ is uniquely achieved by a primitive zonotope. As a consequence, we obtain that this largest diameter grows like $k^{d/(d+1)}$ up to an explicit multiplicative constant, when $d$ is fixed and $k$ goes to infinity, providing a new lower bound on the largest possible diameter of a lattice polytope contained in $[0,k]^d$.


title: A Linear-algebraic Proof of Hilbert's Ternary Quartic Theorem

abstract: Hilbert's ternary quartic theorem states that every nonnegative degree 4 homogeneous polynomial in three variables can be written as a sum of three squares of homogeneous quadratic polynomials. We give a linear-algebraic approach to Hilbert's theorem by showing that a structured cone of positive semidefinite matrices is generated by rank 1 elements.


title: Static Analyzers and Potential Future Research Directions for Scala: An Overview

abstract: Static analyzers are tool sets which are proving to be indispensable to modern programmers. These enable the programmers to detect possible errors and security defects present in the current code base within the implementation phase of the development cycle, rather than relying on a standalone testing phase. Static analyzers typically highlight possible defects within the 'static' source code and thus does not require the source code to be compiled or executed. The Scala programming language has been gaining wider adoption across various industries in recent years. With such a wide adoption of tools of this nature, this paper presents an overview on the static analysis tools available, both commercial and open-source, for the Scala programming language. This paper discusses in detail about the types of defects that each of these tools can detect, limitations of these tools and also provide potential research direction that can improve the current state of static analyzers for the Scala programming language.


title: Budgeted Training: Rethinking Deep Neural Network Training Under Resource Constraints

abstract: In most practical settings and theoretical analyses, one assumes that a model can be trained until convergence. However, the growing complexity of machine learning datasets and models may violate such assumptions. Indeed, current approaches for hyper-parameter tuning and neural architecture search tend to be limited by practical resource constraints. Therefore, we introduce a formal setting for studying training under the non-asymptotic, resource-constrained regime, i.e., budgeted training. We analyze the following problem: "given a dataset, algorithm, and fixed resource budget, what is the best achievable performance?" We focus on the number of optimization iterations as the representative resource. Under such a setting, we show that it is critical to adjust the learning rate schedule according to the given budget. Among budget-aware learning schedules, we find simple linear decay to be both robust and high-performing. We support our claim through extensive experiments with state-of-the-art models on ImageNet (image classification), Kinetics (video classification), MS COCO (object detection and instance segmentation), and Cityscapes (semantic segmentation). We also analyze our results and find that the key to a good schedule is budgeted convergence, a phenomenon whereby the gradient vanishes at the end of each allowed budget. We also revisit existing approaches for fast convergence and show that budget-aware learning schedules readily outperform such approaches under (the practical but under-explored) budgeted training setting.


title: Particle Density Estimation with Grid-Projected Adaptive Kernels

abstract: The reconstruction of smooth density fields from scattered data points is a procedure that has multiple applications in a variety of disciplines, including Lagrangian (particle-based) models of solute transport in fluids. In random walk particle tracking (RWPT) simulations, particle density is directly linked to solute concentrations, which is normally the main variable of interest, not just for visualization and post-processing of the results, but also for the computation of non-linear processes, such as chemical reactions. Previous works have shown the superiority of kernel density estimation (KDE) over other methods such as binning, in terms of its ability to accurately estimate the "true" particle density relying on a limited amount of information. Here, we develop a grid-projected KDE methodology to determine particle densities by applying kernel smoothing on a pilot binning; this may be seen as a "hybrid" approach between binning and KDE. The kernel bandwidth is optimized locally. Through simple implementation examples, we elucidate several appealing aspects of the proposed approach, including its computational efficiency and the possibility to account for typical boundary conditions, which would otherwise be cumbersome in conventional KDE.


title: Solving Dependency Quantified Boolean Formulas Using Quantifier Localization

abstract: Dependency quantified Boolean formulas (DQBFs) are a powerful formalism, which subsumes quantified Boolean formulas (QBFs) and allows an explicit specification of dependencies of existential variables on universal variables. Driven by the needs of various applications which can be encoded by DQBFs in a natural, compact, and elegant way, research on DQBF solving has emerged in the past few years. However, research focused on closed DQBFs in prenex form (where all quantifiers are placed in front of a propositional formula), while non-prenex DQBFs have almost not been studied in the literature. In this paper, we provide a formal definition for syntax and semantics of non-closed non-prenex DQBFs and prove useful properties enabling quantifier localization. Moreover, we make use of our theory by integrating quantifier localization into a state-of-the-art DQBF solver. Experiments with prenex DQBF benchmarks, including all instances from the QBFEVAL'18-'20 competitions, clearly show that quantifier localization pays off in this context.


title: Definable Maximal Independent Families

abstract: We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a $\boldsymbol{\Sigma}^1_2$ m.i.f. is equivalent to the existence of a $\boldsymbol{\Pi}^1_1$ m.i.f., (b) in the Cohen model, there are no projective maximal independent families, and (c) in the Sacks model, there is a $\boldsymbol{\Pi}^1_1$ m.i.f. We also consider a new cardinal invariant related to the question of destroying or preserving maximal independent families.


title: NTU RGB+D 120: A Large-Scale Benchmark for 3D Human Activity Understanding

abstract: Research on depth-based human activity analysis achieved outstanding performance and demonstrated the effectiveness of 3D representation for action recognition. The existing depth-based and RGB+D-based action recognition benchmarks have a number of limitations, including the lack of large-scale training samples, realistic number of distinct class categories, diversity in camera views, varied environmental conditions, and variety of human subjects. In this work, we introduce a large-scale dataset for RGB+D human action recognition, which is collected from 106 distinct subjects and contains more than 114 thousand video samples and 8 million frames. This dataset contains 120 different action classes including daily, mutual, and health-related activities. We evaluate the performance of a series of existing 3D activity analysis methods on this dataset, and show the advantage of applying deep learning methods for 3D-based human action recognition. Furthermore, we investigate a novel one-shot 3D activity recognition problem on our dataset, and a simple yet effective Action-Part Semantic Relevance-aware (APSR) framework is proposed for this task, which yields promising results for recognition of the novel action classes. We believe the introduction of this large-scale dataset will enable the community to apply, adapt, and develop various data-hungry learning techniques for depth-based and RGB+D-based human activity understanding. [The dataset is available at: http://rose1.ntu.edu.sg/Datasets/actionRecognition.asp]


title: The compound product distribution; a solution to the distributional equation X=AX+1

abstract: The solution of $ X=AX+1 $ is analyzed for a discrete variable $ A $ with $ \mathbb{P}\left[A=0\right]>0 $. Accordingly, a fast algorithm is presented to calculate the obtained heavy tail density. To exemplify, the compound product distribution is studied in detail for some particular families of distributions.


title: Transport and Phonon Damping in $^{\bf 4}$He

abstract: The dynamic structure function $S(k,\omega)$ informs about the dispersion and damping of excitations. We have recently (Phys. Rev. B {\bf 97}, 184520 (2018)) compared experimental results for $S(k,\omega)$ from high-precision neutron scattering experiment and theoretical results using the ``dynamic many-body theory'' (DMBT), showing excellent agreement over the whole experimentally accessible pressure regime. This paper focuses on the specific aspect of the propagation of low-energy phonons. We report calculations of the phonon mean-free path and phonon life time in liquid \he4 as a function of wave length and pressure. Historically, the question was of interest for experiments of quantum evaporation. More recently, there is interest in the potential use of $^4$He as a detector for low-energy dark matter (K. Schulz and Kathryn M. Zurek, Phys. Rev. Lett. {\bf 117}, 121302 (2016)). While the mean free path of long wave length phonons is large, phonons of intermediate energy can have a short mean free path of the order of $\mu$m. Comparison of different levels of theory indicate that reliable predictions of the phonon mean free path can be made only by using the most advanced many--body method available, namely, DMBT.


title: Structured Mappings and Conferencing Common Information for Multiple-access Channels

abstract: In this work, we study two problems: three-user Multiple-Access Channel (MAC) with correlated sources, and MAC with Feedback (MAC-FB) with independent messages. For the first problem, we identify a structure in the joint probability distribution of discrete memoryless sources, and define a new common information called ``conferencing common information". We develop a multi-user joint-source channel coding methodology based on structured mappings to encode this common information efficiently and to transmit it over a MAC. We derive a new set of sufficient conditions for this coding strategy using single-letter information quantities for arbitrary sources and channel distributions. Next, we make a fundamental connection between this problem and the problem of communication of independent messages over three-user MAC-FB. In the latter problem, although the messages are independent to begin with, they become progressively correlated given the channel output feedback. Subsequent communication can be modeled as transmission of correlated sources over MAC. Exploiting this connection, we develop a new coding scheme for the problem. We characterize its performance using single-letter information quantities, and derive an inner bound to the capacity region. For both problems, we provide a set of examples where these rate regions are shown to be optimal. Moreover, we analytically prove that this performance is not achievable using random unstructured random mappings/codes.


title: Torus actions of complexity one in non-general position

abstract: Let the compact torus $T^{n-1}$ act on a smooth compact manifold $X^{2n}$ effectively with nonempty finite set of fixed points. We pose the question: what can be said about the orbit space $X^{2n}/T^{n-1}$ if the action is cohomologically equivariantly formal (which essentially means that $H^{odd}(X^{2n};\mathbb{Z})=0$). It happens that homology of the orbit space can be arbitrary in degrees $3$ and higher. For any finite simplicial complex $L$ we construct an equivariantly formal manifold $X^{2n}$ such that $X^{2n}/T^{n-1}$ is homotopy equivalent to $\Sigma^3L$. The constructed manifold $X^{2n}$ is the total space of the projective line bundle over the permutohedral variety hence the action on $X^{2n}$ is Hamiltonian and cohomologically equivariantly formal. We introduce the notion of the action in $j$-general position and prove that, for any simplicial complex $M$, there exists an equivariantly formal action of complexity one in $j$-general position such that its orbit space is homotopy equivalent to $\Sigma^{j+2}M$.


title: Real-Time Kinodynamic Motion Planning for Omnidirectional Mobile Robot Soccer using Rapidly-Exploring Random Tree in Dynamic Environment with Moving Obstacles

abstract: RoboCup Middle Size League (RoboCup MSL) provides a standardized testbed for research on mobile robot navigation, multi-robot cooperation, communication and integration via robot soccer competition in which the environment is highly dynamic and adversarial. One of important research topic in such area is kinodynamic motion planning that plan the trajectory of the robot while avoiding obstacles and obeying its dynamics. Kinodynamic motion planning for omnidirectional robot based on kinodynamic-RRT* method is presented in this work. Trajectory tracking control to execute the planned trajectory is also considered in this work. Robot motion planning in translational and rotational direction are decoupled. Then we implemented kinodynamic-RRT* with double integrator model to plan the translational trajectory. The rotational trajectory is generated using minimum-time trajectory generator satisfying velocity and acceleration constraints. The planned trajectory is then tracked using PI-Control. To address changing environment, we developed concurrent sofware module for motion planning and trajectory tracking. The resulting system were applied and tested using RoboCup simulation system based on Robot Operating System (ROS). The simulation results that the motion planning system are able to generate collision-free trajectory and the trajectory tracking system are able to follow the generated trajectory. It is also shown that in highly dynamic environment the online scheme are able to re-plan the trajectory.


title: Ammonium Fluoride as a Hydrogen-disordering Agent for Ice

abstract: The removal of residual hydrogen disorder from various phases of ice with acid or base dopants at low temperatures has been a focus of intense research for many decades. As an antipode to these efforts, we now show using neutron diffraction that ammonium fluoride (NH4F) is a hydrogen-disordering agent for the hydrogen-ordered ice VIII. Cooling its hydrogen-disordered counterpart ice VII doped with 2.5 mol% ND4F under pressure leads to a hydrogen-disordered ice VIII with ~31% residual hydrogen disorder illustrating the long-range hydrogen-disordering effect of ND4F. The doped ice VII could be supercooled by ~20 K with respect to the hydrogen-ordering temperature of pure ice VII after which the hydrogen-ordering took place slowly over a ~60 K temperature window. These findings demonstrate that ND4F-doping slows down the hydrogen-ordering kinetics quite substantially. The partial hydrogen order of the doped sample is consistent with the antiferroelectric ordering of pure ice VIII. Yet, we argue that local ferroelectric domains must exist between ionic point defects of opposite charge. In addition to the long-range effect of NH4F-doping on hydrogen-ordered water structures, the design principle of using topological charges should be applicable to a wide range of other 'ice-rule' systems including spin ices and related polar materials.


title: Conformal Teleparallel Theories and Weyl Geometry

abstract: Despite the fact that General Relativity (GR) has been very successful, many alternative theories of gravity have attracted the attention of a significant number of theoretical physicists. Among these theories, we have theories with conformal symmetry. Here, the use of Weyl geometry to deal with conformal teleparallel gravity is reviewed in great detail. As an application, a model that can be set to be equivalent to the Teleparallel Equivalent of General Relativity (TEGR) and is invariant under diffeomorphisms, local Lorentz transformations (LLT) and Weyl transformations (WT) is created. Some $pp$-wave, spherically symmetric and cosmological solutions are obtained. It turns out that the class of possibles solutions is wider than that of TEGR. In addition, the total and the gravitational energies of the universe are calculated and analyzed.


title: Stereodynamical control of a quantum scattering resonance in cold molecular collisions

abstract: Cold collisions of light molecules are often dominated by a single partial wave resonance. For the rotational quenching of HD(v=1,j=2) by collisions with ground state para-H2, the process is dominated by a single L=2 partial wave resonance centered around 0.1 K. Here, we show that this resonance can be switched on or off simply by appropriate alignment of the HD rotational angular momentum relative to the initial velocity vector, thereby enabling complete control of the collision outcome.


title: Non-uniqueness of second quantization of electromagnetic field: Stationary States of Jaynes-Cummings model in free space

abstract: On the example of stationary states of a system consisting of an atom and a quantized electromagnetic field (the Jaynes-Cummings model in free space), it is shown that the physical characteristics of the system (as the energy and the probability distribution of finding the center of mass of the atom) explicitly depend on the choice of the basis of quantization of the electromagnetic field. Therefore, the secondary quantization procedure is not independent of the choice of the quantization basis in the interaction of the field with the material medium.


title: Moving Processing to Data: On the Influence of Processing in Memory on Data Management

abstract: Near-Data Processing refers to an architectural hardware and software paradigm, based on the co-location of storage and compute units. Ideally, it will allow to execute application-defined data- or compute-intensive operations in-situ, i.e. within (or close to) the physical data storage. Thus, Near-Data Processing seeks to minimize expensive data movement, improving performance, scalability, and resource-efficiency. Processing-in-Memory is a sub-class of Near-Data processing that targets data processing directly within memory (DRAM) chips. The effective use of Near-Data Processing mandates new architectures, algorithms, interfaces, and development toolchains.


title: anesthetic: nested sampling visualisation

abstract: anesthetic is a Python package for processing nested sampling runs, and will be useful for any scientist or statistician who uses nested sampling software. anesthetic unifies many existing tools and techniques in an extensible framework that is intuitive for users familiar with the standard Python packages, namely NumPy, SciPy, Matplotlib and pandas.


title: On the Hofer-Zehnder conjecture

abstract: We prove that if a Hamiltonian diffeomorphism of a closed monotone symplectic manifold with semisimple quantum homology has more contractible fixed points, counted homologically, than the total dimension of the homology of the manifold, then it must have an infinite number of contractible periodic points. This constitutes a higher-dimensional homological generalization of a celebrated result of Franks from 1992, as conjectured by Hofer and Zehnder in 1994.


title: Algorithms for Online Matching, Assortment, and Pricing with Tight Weight-dependent Competitive Ratios

abstract: Motivated by the dynamic assortment offerings and item pricings occurring in e-commerce, we study a general problem of allocating finite inventories to heterogeneous customers arriving sequentially. We analyze this problem under the framework of competitive analysis, where the sequence of customers is unknown and does not necessarily follow any pattern. Previous work in this area, studying online matching, advertising, and assortment problems, has focused on the case where each item can only be sold at a single price, resulting in algorithms which achieve the best-possible competitive ratio of 1-1/e. In this paper, we extend all of these results to allow for items having multiple feasible prices. Our algorithms achieve the best-possible weight-dependent competitive ratios, which depend on the sets of feasible prices given in advance. Our algorithms are also simple and intuitive; they are based on constructing a class of universal ``value functions'' which integrate the selection of items and prices offered. Finally, we test our algorithms on the publicly-available hotel data set of Bodea et al. (2009), where there are multiple items (hotel rooms) each with multiple prices (fares at which the room could be sold). We find that applying our algorithms, as a ``hybrid'' with algorithms which attempt to forecast and learn the future transactions, results in the best performance.


title: Failure-Tolerant Connectivity Maintenance for Robot Swarms

abstract: Connectivity maintenance plays a key role in achieving a desired global behavior among a swarm of robots. However, connectivity maintenance in realistic environments is hampered by lack of computation resources, low communication bandwidth, robot failures, and unstable links. In this paper, we propose a novel decentralized connectivity-preserving algorithm that can be deployed on top of other behaviors to enforce connectivity constraints. The algorithm takes a set of targets to be reached while keeping a minimum number of redundant links between robots, with the goal of guaranteeing bandwidth and reliability. Robots then incrementally build and maintain a communication backbone with the specified number of links. We empirically study the performance of the algorithm, analyzing its time to convergence, as well as robustness to faults injected into the backbone robots. Our results statistically demonstrate the algorithm's ability to preserve the desired connectivity constraints and to reach the targets with up to 70 percent of individual robot failures in the communication backbone.


title: Counting points on $\text{Hilb}^m\mathbb{P}^2$ over function fields

abstract: Let $K$ be a global field of positive characteristic. We give an asymptotic formula for the number of $K$-points of bounded height on the Hilbert scheme $\text{Hilb}^2\mathbb{P}^2$ and show that by eliminating an exceptional thin set, the constant in front of the main term agrees with the prediction of Peyre in the function field setting. Moreover, we extend the analogy between the integers and $0$-cycles on a variety $V$ over a finite field to $0$-cycles on a variety $V$ over $K$ and establish a version of the prime number theorem in the case when $V = \mathbb{P}^2$.


title: Approximating a Target Surface with 1-DOF Rigid Origami

abstract: We develop some design examples for approximating a target surface at the final rigidly folded state of a developable quadrilateral creased paper, which is folded with a 1-DOF rigid folding motion from the planar state. The final rigidly folded state is reached due to the clashing of panels. Now we can approximate some specific types of non-developable surfaces, but we do not yet fully understand how to approximate an arbitrary surface with a developable creased paper that has limited DOFs. Our designs might have applications in areas related to the formation of a shell structure from a planar region.


title: A hyperbolic counterpart to Rokhlin's cobordism theorem

abstract: The purpose of the present paper is to prove existence of super-exponentially many compact orientable hyperbolic arithmetic $n$-manifolds that are geometric boundaries of compact orientable hyperbolic $(n+1)$-manifolds, for any $n \geq 2$, thereby establishing that these classes of manifolds have the same growth rate with respect to volume as all compact orientable hyperbolic arithmetic $n$-manifolds. An analogous result holds for non-compact orientable hyperbolic arithmetic $n$-manifolds of finite volume that are geometric boundaries, for $n \geq 2$.


title: Black Hole Discharge: very-high-energy gamma rays from black hole-neutron star mergers

abstract: With mass ratio larger than $\sim 5$ (which depends on the black hole spin and the star radius), star disruption is not expected for a black hole merging with a neutron star during the final plunge phase. In the late inspiral stage, the black hole is likely charged as it cuts through the magnetic field carried by the neutron star, leaving a temporarily charged black hole after merger. The unstable charged state of the remnant black hole rapidly neutralizes by interacting with the surrounding plasma and photons, which we investigate in first principle by numerically solving a coupled set of Boltzmann equations of 1+1 form for non-spinning BH background. The resulting basic picture is as follows. Electrons and positrons are accelerated in the BH electric field, which then lose energy to surrounding soft photons via Compton scattering; more electrons and positrons will be created from pair production as the hard photons colliding with soft photons, or through the Schwinger process in strong electromagnetic fields. The cascade stops when the charged black hole accretes enough opposite charges and becomes neutralized. We find that $\sim 10\%$ (which depends on the soft photon energy and number density) of the total electric energy is carried away to infinity in a time interval $\sim 1$ ms by very-high-energy ($>50$ GeV, the low energy detection threshold of the MAGIC telescope) gamma rays whose spectrum is approximately a power law with spectral index $\sim -2.3$. We expect the discharge picture to be true for spinning charged BHs as well.


title: The algebraic boundary of the sonc cone

abstract: In this article, we explore the connections between nonnegativity, the theory of $A$-discriminants, and tropical geometry. For an integral support set $A \subset \mathbb{Z}^n$, we cover the boundary of the sonc-cone by semi-algebraic sets that are parametrized by families of tropical hypersurfaces. As an application, we characterization generic support sets for which the sonc-cone is equal to the sparse nonnegativity cone, and we describe a semi-algebraic stratification of the boundary of the sonc-cone in the univariate case.


title: AFSCR: Annotation of Functional Satisfaction Conditions and their Reconciliation within i* models

abstract: Context: Researchers, both in industry and academia, are facing the challenge of leveraging the benefits of goal oriented requirements engineering (GORE) techniques to business compliance management. This requires analyzing goal models along with their semantics. However, most prominent goal modeling frameworks have no means of capturing the semantics of goals (except what is trivially conveyed by their nomenclature). Objective: In this paper, we propose the Annotation of Functional Satisfaction Conditions and their Reconciliation (AFSCR) framework for doing the same. The entire framework is presented with respect to i* modeling constructs. Method: This is a semi-automated framework that requires analysts to annotate individual goals with their immediate goal satisfaction conditions. The AFSCR framework can then reconcile these satisfaction conditions for every goal and verify whether the derived set of cumulative satisfaction conditions is in harmony with the intended set of goal satisfaction conditions. Result: If the derived and intended sets of satisfaction conditions are in conflict, the framework raises entailment and/or consistency flags. Whenever a conflict is flagged, the framework also provides alternate solutions and possible workaround strategies to the analysts by refactoring the given i* model. Conclusion: In this paper we present a new framework that uses satisfaction conditions for going beyond the nomenclature and capturing the functional semantics of the goals within i* models. The analysis performed during the reconciliation process is generic enough and can be adapted to any goal modeling framework if required.


title: Feedback control of charged ideal fluids

abstract: The theory of controlled mechanical systems of [6, 3, 4] is extended to the case of ideal incompressible fluids consisting of charged particles in the presence of an external magnetic field. The resulting control is of feedback type and depends on the Eulerian state of the controlled system. Moreover, the control is set up so that the corresponding closed loop equations are Lie-Poisson. This implies that the energy-momentum method of [1, 11] can be used to find a stabilizing control. As an example the case of planar parallel shear flow with an inflection point is treated. A state dependent feedback control is constructed which stabilizes the system for an arbitrarily long channel.