title: Full-duplex Multi-Antenna Relay Assisted Cooperative Non-Orthogonal Multiple Access

abstract: We consider a cooperative non-orthogonal multiple access (NOMA) network in which a full-duplex (FD) multi-antenna relay assists transmission from a base station (BS) to a set of far users with poor channel conditions, while at the same time the BS transmits to a set of near users with strong channel conditions. We assume imperfect self-interference (SI) cancellation at the FD relay and imperfect inter-user interference cancellation at the near users. In order to cancel the SI at the relay a zero-forcing based beamforming scheme is used and the corresponding outage probability analysis of two user selection strategies, namely random near user and random far user (RNRF), and nearest near user and nearest far user (NNNF), are derived. Our finding suggests that significant performance improvement can be achieved by using the FD multi-antenna relay compared to the counterpart system with a half-duplex relay. The achieved performance gain depends on network parameters such as the user density, user zones, path loss and the strength of the inter-user interference in case of near users. We also show that the NNNF strategy exhibits a superior outage performance compared to the RNRF strategy, especially in the case of near


title: Towards Speech Emotion Recognition "in the wild" using Aggregated Corpora and Deep Multi-Task Learning

abstract: One of the challenges in Speech Emotion Recognition (SER) "in the wild" is the large mismatch between training and test data (e.g. speakers and tasks). In order to improve the generalisation capabilities of the emotion models, we propose to use Multi-Task Learning (MTL) and use gender and naturalness as auxiliary tasks in deep neural networks. This method was evaluated in within-corpus and various cross-corpus classification experiments that simulate conditions "in the wild". In comparison to Single-Task Learning (STL) based state of the art methods, we found that our MTL method proposed improved performance significantly. Particularly, models using both gender and naturalness achieved more gains than those using either gender or naturalness separately. This benefit was also found in the high-level representations of the feature space, obtained from our method proposed, where discriminative emotional clusters could be observed.


title: Visual Graph Mining

abstract: In this study, we formulate the concept of "mining maximal-size frequent subgraphs" in the challenging domain of visual data (images and videos). In general, visual knowledge can usually be modeled as attributed relational graphs (ARGs) with local attributes representing local parts and pairwise attributes describing the spatial relationship between parts. Thus, from a practical perspective, such mining of maximal-size subgraphs can be regarded as a general platform for discovering and modeling the common objects within cluttered and unlabeled visual data. Then, from a theoretical perspective, visual graph mining should encode and overcome the great fuzziness of messy data collected from complex real-world situations, which conflicts with the conventional theoretical basis of graph mining designed for tabular data. Common subgraphs hidden in these ARGs usually have soft attributes, with considerable inter-graph variation. More importantly, we should also discover the latent pattern space, including similarity metrics for the pattern and hidden node relations, during the mining process. In this study, we redefine the visual subgraph pattern that encodes all of these challenges in a general way, and propose an approximate but efficient solution to graph mining. We conduct five experiments to evaluate our method with different kinds of visual data, including videos and RGB/RGB-D images. These experiments demonstrate the generality of the proposed method.


title: A Kolmogorov proof of the Clauser, Horne, Shimony and Holt inequalities

abstract: Boolean logic is used to prove the CHSH inequalities. The proof elucidates the connection be- tween Einstein elements of reality and quantum non locality. The violation of the CHSH inequality by quantum theory is discussed and the two stage view of quantum measurement relevance to incompatible observables is outlined.


title: Observation of Spin Superfluidity in a Bose Gas Mixture

abstract: The spin dynamics of a harmonically trapped Bose-Einstein condensed binary mixture of sodium atoms is experimentally investigated at finite temperature. In the collisional regime the motion of the thermal component is shown to be damped because of spin drag, while the two condensates exhibit a counter flow oscillation without friction, thereby providing direct evidence for spin superfluidity. Results are also reported in the collisionless regime where the spin components of both the condensate and thermal part oscillate without damping, their relative motion being driven by a mean field effect. We also measure the static polarizability of the condensed and thermal parts and we find a large increase of the condensate polarizability with respect to the T=0 value, in agreement with the predictions of theory.


title: The Schwarz type Lemmas and the Landau type theorem of mappings satisfying Poisson's equations

abstract: For a given continuous function $g:~\Omega\rightarrow\mathbb{C}$, we establish some Schwarz type Lemmas for mappings $f$ in $\Omega$ satisfying the {\rm PDE}: $\Delta f=g$, where $\Omega$ is a subset of the complex plane $\mathbb{C}$. Then we apply these results to obtain a Landau type theorem, which is a partial answer to the open problem in \cite{CP}. %The obtained results are


title: More intrinsically knotted graphs with 22 edges and the restoring method

abstract: A graph is called intrinsically knotted if every embedding of the graph contains a knotted cycle. Johnson, Kidwell and Michael, and, independently, Mattman showed that intrinsically knotted graphs have at least 21 edges. Recently Lee, Kim, Lee and Oh, and, independently, Barsotti and Mattman, showed that $K_7$ and the 13 graphs obtained from $K_7$ by $\nabla Y$ moves are the only intrinsically knotted graphs with 21 edges. Also Kim, Lee, Lee, Mattman and Oh showed that there are exactly three triangle-free intrinsically knotted graphs with 22 edges having at least two vertices of degree 5. Furthermore, there is no triangle-free intrinsically knotted graph with 22 edges that has a vertex with degree larger than 5. In this paper we show that there are exactly five triangle-free intrinsically knotted graphs with 22 edges having exactly one degree 5 vertex. These are Cousin 29 of the $K_{3,3,1,1}$ family, Cousins 97 and 99 of the $E_9+e$ family and two others that were previously unknown.


title: PIC Simulations of Velocity-Space Instabilities in a Decreasing Magnetic Field: Viscosity and Thermal Conduction

abstract: We use particle-in-cell (PIC) simulations of a collisionless, electron-ion plasma with a decreasing background magnetic field, $B$, to study the effect of velocity-space instabilities on the viscous heating and thermal conduction of the plasma. If $B$ decreases, the adiabatic invariance of the magnetic moment gives rise to pressure anisotropies with $p_{||,j} > p_{\perp,j}$ ($p_{||,j}$ and $p_{\perp,j}$ represent the pressure of species $j$ ($=i$ or $e$) parallel and perpendicular to the magnetic field). Linear theory indicates that, for sufficiently large anisotropies, different velocity-space instabilities can be triggered. These instabilities, which grow on scales comparable to the electron and ion Larmor radii, in principle have the ability to pitch-angle scatter the particles, limiting the growth of the anisotropies. Our PIC simulations focus on the nonlinear, saturated regime of the instabilities. This is done through the permanent decrease of the magnetic field by an imposed shear in the plasma. Our results show that, in the regime $2 \lesssim \beta_j \lesssim 20$ ($\beta_j \equiv 8\pi p_j/B^2$), the saturated ion and electron pressure anisotropies are controlled by the combined effect of the oblique ion firehose (OIF) and the fast magnetosonic/whistler (FM/W) instabilities. These instabilities grow preferentially on the ion Larmor radius scale, and make the ion and electron pressure anisotropies nearly equal: $\Delta p_e/p_{||,e} \approx \Delta p_i/p_{||,i}$ (where $\Delta p_j=p_{\perp,j} - p_{||,j}$). We also quantify the thermal conduction of the plasma by directly calculating the mean free path of electrons along the mean magnetic field, which we find strongly depends on whether $B$ decreases or increases. Our results can be applied in studies of low collisionality plasmas such as the solar wind, the intracluster medium, and some accretion disks around black holes.


title: First-order transitions and thermodynamic properties in the 2D Blume-Capel model: the transfer-matrix method revisited

abstract: We investigate the first-order transition in the spin-1 two-dimensional Blume-Capel model in square lattices by revisiting the transfer-matrix method. With large strip widths increased up to the size of 18 sites, we construct the detailed phase coexistence curve which shows excellent quantitative agreement with the recent advanced Monte Carlo results. In the deep first-order area, we observe the exponential system-size scaling of the spectral gap of the transfer matrix from which linearly increasing interfacial tension is deduced with decreasing temperature. We find that the first-order signature at low temperatures is strongly pronounced with much suppressed finite-size influence in the examined thermodynamic properties of entropy, non-zero spin population, and specific heat. It turns out that the jump at the transition becomes increasingly sharp as it goes deep into the first-order area, which is in contrast to the Wang-Landau results where finite-size smoothing gets more severe at lower temperatures.


title: Diffusion-controlled growth and microstructural evolution of aluminide coatings

abstract: The diffusion-controlled growth and microstructural evolution at the interface of aluminide coatings and different substrates such as Ni-base superalloys and steel are reviewed. Quantitative diffusion analysis indicates that the diffusion rates of components in the beta-NiAl phase increases with the addition of Pt. This directly reflects on the growth rate of the interdiffusion zone. The thickness and formation of precipitates between the bond coat and the superalloys increase significantly with the Pt addition. Mainly Fe2Al5 phase grows during hot dip aluminization of steel along with few other phases with very thin layer. Chemical vapor deposition process is being established for a better control of the composition of the Fe-aluminide coating on steel.


title: Singularities and Cyclic Universes

abstract: The models of cyclic universes and cyclic multiverses based on the alternative gravity theories of varying constants are considered.


title: Representing numbers as the sum of squares and powers in the ring $\mathbb{Z}_n$

abstract: We examine the representation of numbers as the sum of two squares in $\mathbb{Z}_n$ for a general positive integer $n$. Using this information we make some comments about the density of positive integers which can be represented as the sum of two squares and powers of $2$ in $\mathbb{N}$.


title: Stability Boundaries in Second-order Time-delayed Networks with Symmetry

abstract: In this contribution we aim to study the stability boundaries of solutions at equilibria for a second-order oscillator networks with SN-symmetry, we look for non-degenerate Hopf bifurcations as the time-delay between nodes increases. The remarkably simple stability criterion for synchronous solutions which, in the case of first-order self-oscillators, states that stability depends only on the sign of the coupling function derivative, is extended to a generic coupling function for second-order oscillators. As an application example, the stability boundaries for a N-node Phase-Locked Loop network is analysed.


title: Poincare Inequalities and Neumann Problems for the p-Laplacian

abstract: We prove an equivalence between weighted Poincare inequalities and the existence of weak solutions to a Neumann problem related to a degenerate p- Laplacian. The Poincare inequalities are formulated in the context of degenerate Sobolev spaces defined in terms of a quadratic form, and the associated matrix is the source of the degeneracy in the p-Laplacian.


title: $\mathbb{F}_{p^2}$-maximal curves with many automorphisms are Galois-covered by the Hermitian curve

abstract: Let $\mathbb{F}$ be the finite field of order $q^2$, $q=p^h$ with $p$ prime. It is commonly atribute to J.P. Serre the fact that any curve $\mathbb{F}$-covered by the Hermitian curve $\mathcal{H}_{q+1}:\, y^{q+1}=x^q+x$ is also $\mathbb{F}$-maximal. Nevertheless, the converse is not true as the Giulietti-Korchm\'aros example shows provided that $q>8$ and $h\equiv 0\pmod{3}$. In this paper, we show that if an $\mathbb{F}$-maximal curve $\mathcal{X}$ of genus $g\geq 2$ where $q=p$ is such that $|Aut(\mathcal{X})|>84(g-1)$ then $\mathcal{X}$ is Galois-covered by $\mathcal{H}_{p+1}$. Also, we show that the hypothesis on the order of $Aut(\mathcal{X})$ is sharp, since there exists an $\mathbb{F}$-maximal curve $\mathcal{X}$ for $q=71$ of genus $g=7$ with $|Aut(\mathcal{X})|=84(7-1)$ which is not Galois-covered by the Hermitian curve $\mathcal{H}_{72}$.


title: Configuration Path Integral Monte Carlo Approach to the Static Density Response of the Warm Dense Electron Gas

abstract: Precise knowledge of the static density response function (SDRF) of the uniform electron gas (UEG) serves as key input for numerous applications, most importantly for density functional theory beyond generalized gradient approximations. Here we extend the configuration path integral Monte Carlo (CPIMC) formalism that was previously applied to the spatially uniform electron gas to the case of an inhomogeneous electron gas by adding a spatially periodic external potential. This procedure has recently been successfully used in permutation blocking path integral Monte Carlo simulations (PB-PIMC) of the warm dense electron gas [Dornheim \textit{et al.}, Phys. Rev. E in press, arXiv:1706.00315], but this method is restricted to low and moderate densities. Implementing this procedure into CPIMC allows us to obtain exact finite temperature results for the SDRF of the electron gas at \textit{high to moderate densities} closing the gap left open by the PB-PIMC data. In this paper we demonstrate how the CPIMC formalism can be efficiently extended to the spatially inhomogeneous electron gas and present the first data points. Finally, we discuss finite size errors involved in the quantum Monte Carlo results for the SDRF in detail and present a solution how to remove them that is based on a generalization of ground state techniques.


title: Topological edge floppy modes in disordered fiber networks

abstract: Disordered fiber networks are ubiquitous in a broad range of natural (e.g., cytoskeleton) and manmade (e.g., aerogels) materials. In this paper, we discuss the emergence of topological floppy edge modes in these fiber networks as a result of deformation or active driving. It is known that a network of straight fibers exhibits bulk floppy modes which only bend the fibers without stretching them. We find that, interestingly, with a perturbation in geometry, these bulk modes evolve into edge modes. We introduce a topological index for these edge modes and discuss their implications in biology.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mes-hall physics.bio-ph


title: Counting algebraic points in expansions of o-minimal structures by a dense set

abstract: The Pila-Wilkie theorem states that if a set $X\subseteq \mathbb R^n$ is definable in an o-minimal structure $\mathcal R$ and contains `many' rational points, then it contains an infinite semialgebraic set. In this paper, we extend this theorem to an expansion $\widetilde{\mathcal R}=\langle \mathcal R, P\rangle$ of $\mathcal R$ by a dense set $P$, which is either an elementary substructure of $\mathcal R$, or it is independent, as follows. If $X$ is definable in $\widetilde{\mathcal R}$ and contains many rational points, then it is dense in an infinite semialgebraic set. Moreover, it contains an infinite set which is $\emptyset$-definable in $\langle \overline{\mathbb R}, P\rangle$, where $\overline {\mathbb R}$ is the real field.


title: Perelman's $\lambda$-functional on manifolds with conical singularities

abstract: In this paper, we prove that on a compact manifold with isolated conical singularity the spectrum of the Schr\"odinger operator $-4\Delta+R$ consists of discrete eigenvalues with finite multiplicities, if the scalar curvature $R$ satisfies a certain condition near the singularity. Moreover, we obtain an asymptotic behavior for eigenfunctions near the singularity. As a consequence of these spectral properties, we extend the theory of the Perelman's $\lambda$-functional on smooth compact manifolds to compact manifolds with isolated conical singularities.


title: The collision spectrum of $\Lambda$-coalescents

abstract: $\Lambda$-coalescents model the evolution of a coalescing system in which any number of blocks randomly sampled from the whole may merge into a larger block. For the coalescent restricted to initially $n$ singletons we study the collision spectrum $(X_{n,k}:2\le k\le n)$, where $X_{n,k}$ counts, throughout the history of the process, the number of collisions involving exactly $k$ blocks. Our focus is on the large $n$ asymptotics of the joint distribution of the $X_{n,k}$'s, as well as on functional limits for the bulk of the spectrum for simple coalescents. Similarly to the previous studies of the total number of collisions, the asymptotics of the collision spectrum largely depends on the behaviour of the measure $\Lambda$ in the vicinity of $0$. In particular, for beta$(a,b)$-coalescents different types of limit distributions occur depending on whether $0<a\leq 1$, $1<a<2$, $a=2$ or $a>2$.


title: Implications of binary black hole detections on the merger rates of double neutron stars and neutron star-black holes

abstract: We show that the inferred merger rate and chirp masses of binary black holes (BBHs) detected by advanced LIGO (aLIGO) can be used to constrain the rate of double neutron star (DNS) and neutron star - black hole (NSBH) mergers in the universe. We explicitly demonstrate this by considering a set of publicly available population synthesis models of \citet{Dominik:2012kk} and show that if all the BBH mergers, GW150914, LVT151012, GW151226, and GW170104, observed by aLIGO arise from isolated binary evolution, the predicted DNS merger rate may be constrained to be $2.3-471.0$~\rate~ and that of NSBH mergers will be constrained to $0.2-48.5$~\rate. The DNS merger rates are not constrained much but the NSBH rates are tightened by a factor of $\sim 4$ as compared to their previous rates. Note that these constrained DNS and NSBH rates are extremely model dependent and are compared to the unconstrained values $2.3-472.5$ \rate~ and $0.2-218$ \rate, respectively, using the same models of \citet{Dominik:2012kk}. These rate estimates may have implications for short Gamma Ray Burst progenitor models assuming they are powered (solely) by DNS or NSBH mergers. While these results are based on a set of open access population synthesis models which may not necessarily be the representative ones, the proposed method is very general and can be applied to any number of models thereby yielding more realistic constraints on the DNS and NSBH merger rates from the inferred BBH merger rate and chirp mass.


title: Leveraging Sparse and Dense Feature Combinations for Sentiment Classification

abstract: Neural networks are one of the most popular approaches for many natural language processing tasks such as sentiment analysis. They often outperform traditional machine learning models and achieve the state-of-art results on most tasks. However, many existing deep learning models are complex, difficult to train and provide a limited improvement over simpler methods. We propose a simple, robust and powerful model for sentiment classification. This model outperforms many deep learning models and achieves comparable results to other deep learning models with complex architectures on sentiment analysis datasets. We publish the code online.


title: On Hypothesis Testing Against Independence with Multiple Decision Centers

abstract: A distributed binary hypothesis testing problem is studied with one observer and two decision centers. Achievable type-II error exponents are derived for testing against conditional independence when the observer communicates with the two decision centers over one common and two individual noise-free bit pipes and when it communicates with them over a noisy broadcast channel (BC). The results are based on a coding and testing scheme that splits the observations into subblocks, so that transmitter and receivers can independently apply to each subblock either Gray-Wyner coordination coding with side-information or hybrid joint source-channel coding with side-information, followed by a Neyman-Pearson test over the subblocks at the receivers. This approach allows to avoid introducing further error exponents that one would expect from the receivers' decoding operations related to binning or the noisy transmission channel. The derived exponents are shown to be optimal in some special cases when communication is over noise-free links. The results reveal a tradeoff between the type-II error exponents at the two decision centers.


title: Multiscale Change-point Segmentation: Beyond Step Functions

abstract: Modern multiscale type segmentation methods are known to detect multiple change-points with high statistical accuracy, while allowing for fast computation. Underpinning theory has been developed mainly for models that assume the signal as a piecewise constant function. In this paper this will be extended to certain function classes beyond such step functions in a nonparametric regression setting, revealing certain multiscale segmentation methods as robust to deviation from such piecewise constant functions. Our main finding is the adaptation over such function classes for a universal thresholding, which includes bounded variation functions, and (piecewise) H\"{o}lder functions of smoothness order $ 0 < \alpha \le1$ as special cases. From this we derive statistical guarantees on feature detection in terms of jumps and modes. Another key finding is that these multiscale segmentation methods perform nearly (up to a log-factor) as well as the oracle piecewise constant segmentation estimator (with known jump locations), and the best piecewise constant approximants of the (unknown) true signal. Theoretical findings are examined by various numerical simulations.


title: Global Well-Posedness for 2-D Viscoelastic Fluid Model

abstract: This paper is concerned with a mathematical model which describes 2-D flows of an incompressible viscoelastic fluid of Oldroyd type in a bounded domain. We prove the existence and uniqueness theorem for global (in time) weak solutions and derive the energy equation.


title: Forms of action for perfect fluid in General Relativity and mimetic gravity

abstract: We consider various forms of action allowing us to describe a perfect fluid in the framework of General Relativity. First we consider a potential motion without pressure. Starting from an action in terms of the current density vector built similarly to the action of a single particle, we build a series of equivalent actions through various changes of variables. The results are then generalized to the cases of motion with vorticity and the presence of pressure. The obtained forms of action are compared to the previously known variants. We discuss the possibilities to use the obtained results to formulate the theories containing a description of a perfect fluid. A new form of action is proposed for mimetic gravity, which allows a motion with vorticity for mimetic matter as a perfect fluid.


title: Quantum percolation phase transition and magneto-electric dipole glass in hexagonal ferrites

abstract: Hexagonal ferrites do not only have enormous commercial impact ({\pounds}2 billion/year in sales) due to applications that include ultra-high density memories, credit card stripes, magnetic bar codes, small motors and low-loss microwave devices, they also have fascinating magnetic and ferroelectric quantum properties at low temperatures. Here we report the results of tuning the magnetic ordering temperature in PbFe$_{12-x}$Ga$_x$O$_{19}$ to zero by chemical substitution $x$. The phase transition boundary is found to vary as $T_N \sim (1-x/x_c)^{2/3}$ with $x_c$ very close to the calculated spin percolation threshold which we determine by Monte Carlo simulations, indicating that the zero-temperature phase transition is geometrically driven. We find that this produces a form of compositionally-tuned, insulating, ferrimagnetic quantum criticality. Close to the zero temperature phase transition we observe the emergence of an electric-dipole glass induced by magneto-electric coupling. The strong frequency behaviour of the glass freezing temperature $T_m$ has a Vogel-Fulcher dependence with $T_m$ finite, or suppressed below zero in the zero frequency limit, depending on composition $x$. These quantum-mechanical properties, along with the multiplicity of low-lying modes near to the zero-temperature phase transition, are likely to greatly extend applications of hexaferrites into the realm of quantum and cryogenic technologies.


title: Parametric Identification Using Weighted Null-Space Fitting

abstract: In identification of dynamical systems, the prediction error method using a quadratic cost function provides asymptotically efficient estimates under Gaussian noise and additional mild assumptions, but in general it requires solving a non-convex optimization problem. An alternative class of methods uses a non-parametric model as intermediate step to obtain the model of interest. Weighted null-space fitting (WNSF) belongs to this class. It is a weighted least-squares method consisting of three steps. In the first step, a high-order ARX model is estimated. In a second least-squares step, this high-order estimate is reduced to a parametric estimate. In the third step, weighted least squares is used to reduce the variance of the estimates. The method is flexible in parametrization and suitable for both open- and closed-loop data. In this paper, we show that WNSF provides estimates with the same asymptotic properties as PEM with a quadratic cost function when the model orders are chosen according to the true system. Also, simulation studies indicate that WNSF may be competitive with state-of-the-art methods.


title: Estimating Models with High-Order Noise Dynamics Using Semi-Parametric Weighted Null-Space Fitting

abstract: Standard system identification methods often provide inconsistent estimates with closed-loop data. With the prediction error method (PEM), this issue is solved by using a noise model that is flexible enough to capture the noise spectrum. However, a too flexible noise model (i.e., too many parameters) increases the model complexity, which can cause additional numerical problems for PEM. In this paper, we consider the weighted null-space fitting (WNSF) method. With this method, the system is first modeled using a non-parametric ARX model, which is then reduced to a parametric model of interest using weighted least squares. In the reduction step, a parametric noise model does not need to be estimated if it is not of interest. Because the flexibility of the noise model is increased with the sample size, this will still provide consistent estimates in closed loop and asymptotically efficient estimates in open loop. In this paper, we prove these results, and we derive the asymptotic covariance for the estimation error obtained in closed loop, which is optimal for an infinite-order noise model. For this purpose, we also derive a new technical result for geometric variance analysis, instrumental to our end. Finally, we perform a simulation study to illustrate the benefits of the method when the noise model cannot be parametrized by a low-order model.


title: Discretization error for a two-sided reflected L\'evy process

abstract: An obvious way to simulate a L\'evy process $X$ is to sample its increments over time $1/n$, thus constructing an approximating random walk $X^{(n)}$. This paper considers the error of such approximation after the two-sided reflection map is applied, with focus on the value of the resultant process $Y$ and regulators $L,U$ at the lower and upper barriers at some fixed time. Under the weak assumption that $X_\varepsilon/a_\varepsilon$ has a non-trivial weak limit for some scaling function $a_\varepsilon$ as $\varepsilon\downarrow 0$, it is proved in particular that $(Y_1-Y^{(n)}_n)/a_{1/n}$ converges weakly to $\pm V$, where the sign depends on the last barrier visited. Here the limit $V$ is the same as in the problem concerning approximation of the supremum as recently described by Ivanovs (2017). Some further insight in the distribution of $V$ is provided both theoretically and numerically.


title: Gradient Methods for Submodular Maximization

abstract: In this paper, we study the problem of maximizing continuous submodular functions that naturally arise in many learning applications such as those involving utility functions in active learning and sensing, matrix approximations and network inference. Despite the apparent lack of convexity in such functions, we prove that stochastic projected gradient methods can provide strong approximation guarantees for maximizing continuous submodular functions with convex constraints. More specifically, we prove that for monotone continuous DR-submodular functions, all fixed points of projected gradient ascent provide a factor $1/2$ approximation to the global maxima. We also study stochastic gradient and mirror methods and show that after $\mathcal{O}(1/\epsilon^2)$ iterations these methods reach solutions which achieve in expectation objective values exceeding $(\frac{\text{OPT}}{2}-\epsilon)$. An immediate application of our results is to maximize submodular functions that are defined stochastically, i.e. the submodular function is defined as an expectation over a family of submodular functions with an unknown distribution. We will show how stochastic gradient methods are naturally well-suited for this setting, leading to a factor $1/2$ approximation when the function is monotone. In particular, it allows us to approximately maximize discrete, monotone submodular optimization problems via projected gradient descent on a continuous relaxation, directly connecting the discrete and continuous domains. Finally, experiments on real data demonstrate that our projected gradient methods consistently achieve the best utility compared to other continuous baselines while remaining competitive in terms of computational effort.


title: State Evolution for Approximate Message Passing with Non-Separable Functions

abstract: Given a high-dimensional data matrix ${\boldsymbol A}\in{\mathbb R}^{m\times n}$, Approximate Message Passing (AMP) algorithms construct sequences of vectors ${\boldsymbol u}^t\in{\mathbb R}^n$, ${\boldsymbol v}^t\in{\mathbb R}^m$, indexed by $t\in\{0,1,2\dots\}$ by iteratively applying ${\boldsymbol A}$ or ${\boldsymbol A}^{{\sf T}}$, and suitable non-linear functions, which depend on the specific application. Special instances of this approach have been developed --among other applications-- for compressed sensing reconstruction, robust regression, Bayesian estimation, low-rank matrix recovery, phase retrieval, and community detection in graphs. For certain classes of random matrices ${\boldsymbol A}$, AMP admits an asymptotically exact description in the high-dimensional limit $m,n\to\infty$, which goes under the name of `state evolution.' Earlier work established state evolution for separable non-linearities (under certain regularity conditions). Nevertheless, empirical work demonstrated several important applications that require non-separable functions. In this paper we generalize state evolution to Lipschitz continuous non-separable nonlinearities, for Gaussian matrices ${\boldsymbol A}$. Our proof makes use of Bolthausen's conditioning technique along with several approximation arguments. In particular, we introduce a modified algorithm (called LAMP for Long AMP) which is of independent interest.


title: Optimization of Ensemble Supervised Learning Algorithms for Increased Sensitivity, Specificity, and AUC of Population-Based Colorectal Cancer Screenings

abstract: Over 150,000 new people in the United States are diagnosed with colorectal cancer each year. Nearly a third die from it (American Cancer Society). The only approved noninvasive diagnosis tools currently involve fecal blood count tests (FOBTs) or stool DNA tests. Fecal blood count tests take only five minutes and are available over the counter for as low as \$15. They are highly specific, yet not nearly as sensitive, yielding a high percentage (25%) of false negatives (Colon Cancer Alliance). Moreover, FOBT results are far too generalized, meaning that a positive result could mean much more than just colorectal cancer, and could just as easily mean hemorrhoids, anal fissure, proctitis, Crohn's disease, diverticulosis, ulcerative colitis, rectal ulcer, rectal prolapse, ischemic colitis, angiodysplasia, rectal trauma, proctitis from radiation therapy, and others. Stool DNA tests, the modern benchmark for CRC screening, have a much higher sensitivity and specificity, but also cost \$600, take two weeks to process, and are not for high-risk individuals or people with a history of polyps. To yield a cheap and effective CRC screening alternative, a unique ensemble-based classification algorithm is put in place that considers the FIT result, BMI, smoking history, and diabetic status of patients. This method is tested under ten-fold cross validation to have a .95 AUC, 92% specificity, 89% sensitivity, .88 F1, and 90% precision. Once clinically validated, this test promises to be cheaper, faster, and potentially more accurate when compared to a stool DNA test.


title: Jacobian of incidence schemes

abstract: We show a direct calculation of Jacobian matrices in the old problems of rational curves on generic hypersurfaces.


title: A family of monogenic $S_4$ quartic fields arising from elliptic curves

abstract: We consider partial torsion fields (fields generated by a root of a division polynomial) for elliptic curves. By analysing the reduction properties of elliptic curves, and applying the Montes Algorithm, we obtain information about the ring of integers. In particular, for the partial $3$-torsion fields for a certain one-parameter family of non-CM elliptic curves, we describe a power basis. As a result, we show that the one-parameter family of quartic $S_4$ fields given by $T^4 - 6T^2 - \alpha T - 3$ for $\alpha \in \mathbb{Z}$ such that $\alpha \pm 8$ are squarefree, are monogenic.


title: An interactive version of the Lov\'asz local lemma

abstract: Assume we are given (finitely many) mutually independent variables and (finitely many) "undesirable" events, each depending on a subset of the variables of at most $k$ elements, called the scope of the event. Assume that the probability of a variable belonging to the scope of an occurring event is bounded by $q$. We prove that if $ekq \leq 1$ then there exists at least one assignment to the variables for which none of the events occurs. Examples are given where the criterion $ekq \leq 1$ is applicable, whereas that of the classical version of the Lov\'asz local lemma is not. The proof of the result is through an interactive, private-coin implementation of the algorithm by Moser. The original implementation, which yields the classical result, finds efficiently, but probabilistically, an assignment to the events that avoids all undesirable events. Interestingly, the interactive implementation given in this work does not constitute an efficient, even if probabilistic, algorithm to find an assignment as desired under the weaker assumption $ekq \leq 1$. We can only conclude that under the hypothesis that $ekq \leq 1$, the interactive protocol will produce an assignment as desired within $n$ rounds, with probability high with respect to $n$; however, the provers' choices remain non-deterministic. Plausibly finding such an assignment is inherently hard, as the situation is reminiscent, in a probabilistic framework, of problems complete for syntactic subclasses of TFNP.


title: Lower Mass Bound on the $W^\prime$ mass via Neutrinoless Double Beta Decay in a 3-3-1 Model

abstract: The discovery of neutrino masses has raised the importance of studies in the context of neutrinoless double beta decay, which constitutes a landmark for lepton number violation. The standard interpretation is that the light massive neutrinos, that we observed oscillating in terrestrial experiments, mediate double beta decay. In the minimal 3-3-1 model, object of our study, there is an additional contribution that stems from the mixing between a new charged vector boson, $W^{\prime}$, and the Standard Model W boson. Even after setting this mixing to be very small, we show that tight constraints arise from the non-observation of neutrinoless double beta decay. Indeed, we derive bounds on the mass of the $W^{\prime}$ gauge boson that might exceed those from collider probes, and most importantly push the scale of symmetry breaking beyond its validity, leading to the exclusion of the minimal 3-3-1 model.


title: A Lower Limit of Atmospheric Pressure on Early Mars Inferred from Nitrogen and Argon Isotopic Compositions

abstract: We examine the history of the loss and replenishment of the Martian atmosphere using elemental and isotopic compositions of nitrogen and noble gases. The evolution of the atmosphere is calculated by taking into consideration various processes: impact erosion and replenishment by asteroids and comets, atmospheric escape induced by solar radiation and wind, volcanic degassing, and gas deposition by interplanetary dust particles. Our model reproduces the elemental and isotopic compositions of N and noble gases (except for Xe) in the Martian atmosphere, as inferred from exploration missions and analyses of Martian meteorites. Other processes such as ionization-induced fractionation, which are not included in our model, are likely to make a large contribution in producing the current Xe isotope composition. Since intense impacts during the heavy bombardment period greatly affect the atmospheric mass, the atmospheric pressure evolves stochastically. Whereas a dense atmosphere preserves primitive isotopic compositions, a thin atmosphere on early Mars is severely influenced by stochastic impact events and following escape-induced fractionation. The onset of fractionation following the decrease in atmospheric pressure is explained by shorter timescales of isotopic fractionation under a lower atmospheric pressure. The comparison of our numerical results with the less fractionated N ($^15$N/$^14$N) and Ar ($^38$Ar/$^36$Ar) isotope compositions of the ancient atmosphere recorded in the Martian meteorite Allan Hills 84001 provides a lower limit of the atmospheric pressure in 4 Ga to preserve the primitive isotopic compositions. We conclude that the atmospheric pressure was higher than approximately 0.5 bar at 4 Ga.


title: Charge Fluctuations in the NdO$_{1-x}$F$_{x}$BiS$_{2}$ Superconductors

abstract: The local atomic structure of superconducting NdO$_{1-x}$F$_{x}$BiS$_{2}$ ($x$=0.2 and 0.4) is investigated using neutron diffraction and the pair density function analysis technique. In the non-superconducting $x$=0.2 composition, ferrodistortive displacements of the pyramidal sulfur ions break the tetragonal symmetry and a superlattice structure emerges with peaks appearing at $h+k$ odd reflections superimposed on the even reflections of the $P4/nmm$ symmetry. In the superconducting $x$=0.4 composition, similar ferrodistortive displacements are observed but with different magnitudes coupled with in-plane Bi distortions. The distortions are indicative of charge fluctuations that may lead to charge localization and suppression of superconductivity.


title: Lattice Long Short-Term Memory for Human Action Recognition

abstract: Human actions captured in video sequences are three-dimensional signals characterizing visual appearance and motion dynamics. To learn action patterns, existing methods adopt Convolutional and/or Recurrent Neural Networks (CNNs and RNNs). CNN based methods are effective in learning spatial appearances, but are limited in modeling long-term motion dynamics. RNNs, especially Long Short-Term Memory (LSTM), are able to learn temporal motion dynamics. However, naively applying RNNs to video sequences in a convolutional manner implicitly assumes that motions in videos are stationary across different spatial locations. This assumption is valid for short-term motions but invalid when the duration of the motion is long. In this work, we propose Lattice-LSTM (L2STM), which extends LSTM by learning independent hidden state transitions of memory cells for individual spatial locations. This method effectively enhances the ability to model dynamics across time and addresses the non-stationary issue of long-term motion dynamics without significantly increasing the model complexity. Additionally, we introduce a novel multi-modal training procedure for training our network. Unlike traditional two-stream architectures which use RGB and optical flow information as input, our two-stream model leverages both modalities to jointly train both input gates and both forget gates in the network rather than treating the two streams as separate entities with no information about the other. We apply this end-to-end system to benchmark datasets (UCF-101 and HMDB-51) of human action recognition. Experiments show that on both datasets, our proposed method outperforms all existing ones that are based on LSTM and/or CNNs of similar model complexities.


title: The Cantor-Bernstein-Schroder theorem in algebra

abstract: The famous Cantor-Bernstein-Schroder theorem (CBS-theorem for short) of set theory was generalized by Sikorski and Tarski to \sigma-complete Boolean algebras. After this, numerous generalizations of the CBS-theorem, extending the Sikorski-Tarski version to different classes of algebras, have been established. Among these classes there are lattice ordered groups, orthomodular lattices, MV-algebras, residuated lattices, etc. This suggests to consider a common algebraic framework in which various versions of the CBS-theorem can be formulated. In this work we provide this algebraic framework establishing necessary and sufficient conditions for the validity of the theorem. We also show how this abstract framework includes the versions of the CBS-theorem already present in the literature as well as new versions of the theorem extended to other classes such as groups, modules, semigroups, rings, *-rings etc.


title: Periodic auxetics: Structure and design

abstract: Materials science has adopted the term of auxetic behavior for structural deformations where stretching in some direction entails lateral widening, rather than lateral shrinking. Most studies, in the last three decades, have explored repetitive or cellular structures and used the notion of negative Poisson's ratio as the hallmark of auxetic behavior. However, no general auxetic principle has been established from this perspective. In the present paper, we show that a purely geometric approach to periodic auxetics is apt to identify essential characteristics of frameworks with auxetic deformations and can generate a systematic and endless series of periodic auxetic designs. The critical features refer to convexity properties expressed through families of homothetic ellipsoids.


title: Experimental study of antiferromagnetic resonance in noncollinear antiferromagnet Mn$_{3}$Al$_{2}$Ge$_{3}$O$_{12}$

abstract: We have measured antiferromagnetic resonance (AFMR) frequency-field dependences for aluminum-manganese garnet Mn$_{3}$Al$_{2}$Ge$_{3}$O$_{12}$ at frequencies from 1 to 125 GHz and at the fields up to 60 kOe. Three AFMR modes were observed for all orientations, their zero field gaps are about 40 and 70 GHz. Andreev-Marchenko hydrodynamic theory [Sov. Phys. Usp. 130, 39 (1980)] well describes experimental frequency-field dependences. We have observed hysteresis of resonance absorption as well as history dependence of resonance absorption near gap frequencies below 10 kOe in all three measured field orientations, which are supposedly due to the sample domain structure. Observation of the AFMR signal at the frequencies from 1 to 5 GHz allows to estimate repulsion of nuclear and electron modes of spin precession in the vicinity of spin-reorientation transition at H||[100].


title: Dynamic Minimum Spanning Forest with Subpolynomial Worst-case Update Time

abstract: We present a Las Vegas algorithm for dynamically maintaining a minimum spanning forest of an $n$-node graph undergoing edge insertions and deletions. Our algorithm guarantees an $O(n^{o(1)})$ worst-case update time with high probability. This significantly improves the two recent Las Vegas algorithms by Wulff-Nilsen [STOC'17] with update time $O(n^{0.5-\epsilon})$ for some constant $\epsilon>0$ and, independently, by Nanongkai and Saranurak [STOC'17] with update time $O(n^{0.494})$ (the latter works only for maintaining a spanning forest). Our result is obtained by identifying the common framework that both two previous algorithms rely on, and then improve and combine the ideas from both works. There are two main algorithmic components of the framework that are newly improved and critical for obtaining our result. First, we improve the update time from $O(n^{0.5-\epsilon})$ in Wulff-Nilsen [STOC'17] to $O(n^{o(1)})$ for decrementally removing all low-conductance cuts in an expander undergoing edge deletions. Second, by revisiting the "contraction technique" by Henzinger and King [1997] and Holm et al. [STOC'98], we show a new approach for maintaining a minimum spanning forest in connected graphs with very few (at most $(1+o(1))n$) edges. This significantly improves the previous approach in [Wulff-Nilsen STOC'17] and [Nanongkai and Saranurak STOC'17] which is based on Frederickson's 2-dimensional topology tree and illustrates a new application to this old technique.


title: System-Level Performance of mmWave Cellular Networks for Urban Micro Environments

abstract: In this paper, we investigate the propagation coupling loss (captures all sources of attenuation between serving cell and mobile station (MS)) and geometry metric (GM) (downlink average signal-to-interference plus noise ratio) performance of mmWave cellular networks for outdoor and indoor MSs, considering urban micro (UMi) environments. Based on these studies, we identify effective mmWave frequency bands for cellular communication. We consider 3GPP compliant system-level simulations with two power allocation schemes: 1) transmit power scaled with communication bandwidth, and 2) constant total transmit power. Simulation results show that with scaled transmit power allocation, GM performance degradation is small: 20% of MSs experience GM less than 0 dB at all mmWave frequencies considered, for outdoor MSs. With constant Tx power allocation, 20% of MSs experience GM less than 0 dB for frequencies up to 30 GHz. Furthermore, 35% (48%) of outdoor MSs experience GM performance less than 0 dB at 60 GHz (100 GHz). On the other hand, for indoor MSs, even with scaled Tx power allocation, favorable GM performance is observed only at low frequencies, i.e., 2 GHz.


title: Testing for Independence of Large Dimensional Vectors

abstract: In this paper new tests for the independence of two high-dimensional vectors are investigated. We consider the case where the dimension of the vectors increases with the sample size and propose multivariate analysis of variance-type statistics for the hypothesis of a block diagonal covariance matrix. The asymptotic properties of the new test statistics are investigated under the null hypothesis and the alternative hypothesis using random matrix theory. For this purpose we study the weak convergence of linear spectral statistics of central and (conditionally) non-central Fisher matrices. In particular, a central limit theorem for linear spectral statistics of large dimensional (conditionally) non-central Fisher matrices is derived which is then used to analyse the power of the tests under the alternative. The theoretical results are illustrated by means of a simulation study where we also compare the new tests with several alternative, in particular with the commonly used corrected likelihood ratio test. It is demonstrated that the latter test does not keep its nominal level, if the dimension of one sub-vector is relatively small compared to the dimension of the other sub-vector. On the other hand the tests proposed in this paper provide a reasonable approximation of the nominal level in such situations. Moreover, we observe that one of the proposed tests is most powerful under a variety of correlation scenarios.


title: Robust sensitive dependence of geometric Gibbs states for analytic families of quadratic maps

abstract: For quadratic-like maps, we show a phenomenon of sensitive dependence of geometric Gibbs states: There are analytic families of quadratic-like maps for which an arbitrarily small perturbation of the parameter can have a definite effect on the low-temperature geometric Gibbs states. Furthermore, this phenomenon is robust: There is an open set of analytic 2-parameter families of quadratic-like maps that exhibit sensitive dependence of geometric Gibbs states. We introduce a geometric version of the Peierls condition for contour models ensuring that the low-temperature geometric Gibbs states are concentrated near the critical orbit.


title: 'Hartree-exchange' in ensemble density functional theory: Avoiding the non-uniqueness disaster

abstract: Ensemble density functional theory is a promising method for the efficient and accurate calculation of excitations of quantum systems, at least if useful functionals can be developed to broaden its domain of practical applicability. Here, we introduce a guaranteed single-valued 'Hartree-exchange' ensemble density functional, $E_{Hx}[n]$, in terms of the right derivative of the universal ensemble density functional with respect to the coupling constant at vanishing interaction. We show that $E_{Hx}[n]$ is straightforwardly expressible using block eigenvalues of a simple matrix [equation (14)]. Specialized expressions for $E_{Hx}[n]$ from the literature, including those involving superpositions of Slater determinants, can now be regarded as originating from the unifying picture presented here. We thus establish a clear and practical description for Hartree-exchange in ensemble systems.


title: Lower- and higher-order nonclassicality in a Bose-condensed optomechanical-like system and a Fabry-Perot cavity with one movable mirror: squeezing, antibunching and entanglement

abstract: Various lower- and higher-order nonclassical properties have been studied for two physical systems- (i) an optomechanical system composed of a Fabry-Perot cavity with one nonlinearly oscillating mirror and (ii) an optomechanical-like system formed using a Bose-Einstein condensate (BEC) trapped inside an optical cavity. The investigation is performed using a perturbation method that leads to closed form analytic expressions for the time evolution of the relevant bosonic operators. In the first system, it is observed that the radiation pressure coupling leads to the emergence of lower- and higher-order squeezing, antibunching, entanglement and intermodal squeezing. The effects of the coherent interaction of a nonlinear oscillating mirror with the cavity mode are studied, and it is observed that the optomechanical system studied here becomes more nonclassical (entangled) when the coupling strength is increased. It is also observed that the possibility of observing entanglement depends on the phase of the movable mirror. The Hamiltonian of the trapped BEC system is obtained as a special case of the Hamiltonian of the first system, and the existence of various nonclassicality in the trapped BEC system has been established, and variations of those with various physical parameters have been reported with an aim to understand the underlying physical process that leads to and controls the nonclassicality.


title: Duality games and operational duality relations

abstract: We give operational meaning to wave-particle duality in terms of discrimination games. Duality arises as a constraint on the probability of winning these games. The games are played with the aid of an n-port interferometer, and involve 3 parties, Alice and Bob, who cooperate, and the House, who supervises the game. In one game called ways they attempt to determine the path of a particle in the interferometer. In another, called phases, they attempt to determine which set of known phases have been applied to the different paths. The House determines which game is to be played by flipping a coin. We find a tight wave-particle duality relation that allows us to relate the probabilities of winning these games, and use it to find an upper bound on the probability of winning the combined game. This procedure allows us to describe wave-particle duality in terms of discrimination probabilities.


title: On coherent sheaves of small length on the affine plane

abstract: We classify coherent modules on $k[x,y]$ of length at most $4$ and supported at the origin. We compare our calculation with the motivic class of the moduli stack parametrizing such modules, extracted from the Feit-Fine formula. We observe that the natural torus action on this stack has finitely many fixed points, corresponding to connected skew Ferrers diagrams.


title: Dunford-Pettis and Compact Operators Based on Unbounded Absolute Weak Convergence

abstract: In this paper, using the concept of unbounded absolute weak convergence ($uaw$-convergence, for short) in a Banach lattice, we define two classes of continuous operators, named $uaw$-Dunford-Pettis and $uaw$-compact operators. We investigate some properties and relations between them. In particular, we consider some hypotheses on domain or range spaces of operators such that the adjoint or the modulus of a $uaw$-Dunford-Pettis or $uaw$-compact operator inherits a similar property. In addition, we look into some connections between compact operators, weakly compact operators, and Dunford-Pettis ones with $uaw$-versions of these operators. Moreover, we examine some relations between $uaw$-Dunford-Pettis operators, $M$-weakly compact operators, $L$-weakly compact operators, and $o$-weakly compact ones. As a significant outcome, we show that the square of any positive $uaw$-Dunford-Pettis ($M$-weakly compact) operator on an order continuous Banach lattice is compact. Many examples are given to illustrate the essential conditions, as well.


title: Topology of maximally writhed real algebraic knots

abstract: Oleg Viro introduced an invariant of rigid isotopy for real algebraic knots in $RP^3$ which can be viewed as a first order Vassiliev invariant. In this paper we look at real algebraic knots of degree $d$ with the maximal possible value of this invariant. We show that for a given $d$ all such knots are topologically isotopic and explicitly identify their knot type.


title: Analysis of Annual Cyclone Frequencies over Bay of Bengal: Effect of 2004 Indian Ocean Tsunami

abstract: This paper discusses the time series trend and variability of the cyclone frequencies over Bay of Bengal, particularly in order to conclude if there is any significant difference in the pattern visible before and after the disastrous 2004 Indian ocean tsunami based on the observed annual cyclone frequency data obtained by India Meteorological Department over the years 1891-2015. Three different categories of cyclones- depression (<34 knots), cyclonic storm (34-47 knots) and severe cyclonic storm (>47 knots) have been analyzed separately using a non-homogeneous Poisson process approach. The estimated intensity functions of the Poisson processes along with their first two derivatives are discussed and all three categories show decreasing trend of the intensity functions after the tsunami. Using an exact change-point analysis, we show that the drops in mean intensity functions are significant for all three categories. As of author's knowledge, no study so far have discussed the relation between cyclones and tsunamis. Bay of Bengal is surrounded by one of the most densely populated areas of the world and any kind of significant change in tropical cyclone pattern has a large impact in various ways, for example, disaster management planning and our study is immensely important from that perspective.


title: 229 nm UV LEDs using p-type silicon for increased hole injection

abstract: Ultraviolet (UV) light emission at 229 nm wavelength from diode structures based on AlN/Al0.77Ga0.23N quantum wells and using p-type Si to significantly increase hole injection was reported. Both electrical and optical characteristics were measured. Owing to the large concentration of holes from p-Si and efficient hole injection, no efficiency droop was observed up to a current density of 76 A/cm2 under continuous wave operation and without external thermal management. An optical output power of 160 uW was obtained with corresponding external quantum efficiency of 0.027%. This study demonstrates that by adopting p-type Si nanomembrane contacts as hole injector, practical levels of hole injection can be realized in UV light-emitting diodes with very high Al composition AlGaN quantum wells, enabling emission wavelengths and power levels that were previously inaccessible using traditional p-i-n structures with poor hole injection efficiency.


title: Anomalous Plasticity of Body-Centered-Cubic Crystals with Non-Schmid Effect

abstract: Plastic deformations in body-centered-cubic (BCC) crystals have been of critical importance in diverse engineering and manufacturing contexts across length scales. Numerous experiments and atomistic simulations on BCC crystals reveal that classical crystal plasticity models with the Schmid law are not adequate to account for abnormal plastic deformations often found in these crystals. In this paper, we address a continuum mechanical treatment of anomalous plasticity in BCC crystals exhibiting non-Schmid effects, inspired from atomistic simulations recently reported. Specifically, anomalous features of plastic flows are addressed in conjunction with a single crystal constitutive model involving two non-Schmid projection tensors widely accepted for representing non-glide components of an applied stress tensor. Further, modeling results on a representative BCC single crystal (tantalum) are presented and compared to experimental data at a range of low temperatures to provide physical insight into deformation mechanisms in these crystals with non-Schmid effects.


title: Bayesian Item Response model: a generalised approach for the abilities' distribution using mixtures

abstract: Traditional Item Response Theory models assume the distribution of the abilities of the population in study to be Gaussian. However, this may not always be a reasonable assumption, which motivates the development of more general models. This paper presents a generalised approach for the distribution of the abilities in dichotomous 3-parameter Item Response models. A mixture of normal distributions is considered, allowing for features like skewness, multimodality and heavy tails. A solution is proposed to deal with model identifiability issues without compromising the flexibility and practical interpretation of the model. Inference is carried out under the Bayesian Paradigm through a novel MCMC algorithm. The algorithm is designed in a way to favour good mixing and convergence properties and is also suitable for inference in traditional IRT models. The efficiency and applicability of our methodology is illustrated in simulated and real examples.


title: Identities for the String-Product of Strings on Geometric Sequences

abstract: Geometric sequences are found documented as early as 300BC in the text, Book IX of Elements written by Euclid of Alexandria. In this paper a new principle for identities involving the product of any k-number of terms of a geometric sequence is presented. The results of which are independent from a specific positional term or the common ratio.


title: On the `simple' form of the gravitational action and the self-interacting graviton

abstract: The so-called $\Gamma\Gamma$-form of the gravitational Lagrangian, long known to provide its most compact expression as well as the most efficient generation of the graviton vertices, is taken as the starting point for discussing General Relativity as a theory of the self-interacting graviton. A straightforward but general method of converting to a covariant formulation by the introduction of a reference metric is given. It is used to recast the Einstein field equation as the equation of motion of a spin-2 particle interacting with the canonical energy-momentum tensor symmetrized by the standard Belinfante method applicable to any field carrying nonzero spin. This represents the graviton field equation in a form complying with the precepts of standard field theory. It is then shown how representations based on other, at face value completely unrelated definitions of energy-momentum (pseudo)tensors are all related by the addition of appropriate superpotential terms. Specifically, the superpotentials are explicitly constructed which connect to: i) the common definition consisting simply of the nonlinear part of the Einstein tensor; ii) the Landau-Lifshitz definition.


title: Assentication: User Deauthentication and Lunchtime Attack Mitigation with Seated Posture Biometric

abstract: Biometric techniques are often used as an extra security factor in authenticating human users. Numerous biometrics have been proposed and evaluated, each with its own set of benefits and pitfalls. Static biometrics (such as fingerprints) are geared for discrete operation, to identify users, which typically involves some user burden. Meanwhile, behavioral biometrics (such as keystroke dynamics) are well suited for continuous, and sometimes more unobtrusive, operation. One important application domain for biometrics is deauthentication, a means of quickly detecting absence of a previously authenticated user and immediately terminating that user's active secure sessions. Deauthentication is crucial for mitigating so called Lunchtime Attacks, whereby an insider adversary takes over (before any inactivity timeout kicks in) authenticated state of a careless user who walks away from her computer. Motivated primarily by the need for an unobtrusive and continuous biometric to support effective deauthentication, we introduce PoPa, a new hybrid biometric based on a human user's seated posture pattern. PoPa captures a unique combination of physiological and behavioral traits. We describe a low cost fully functioning prototype that involves an office chair instrumented with 16 tiny pressure sensors. We also explore (via user experiments) how PoPa can be used in a typical workplace to provide continuous authentication (and deauthentication) of users. We experimentally assess viability of PoPa in terms of uniqueness by collecting and evaluating posture patterns of a cohort of users. Results show that PoPa exhibits very low false positive, and even lower false negative, rates. In particular, users can be identified with, on average, 91.0% accuracy. Finally, we compare pros and cons of PoPa with those of several prominent biometric based deauthentication techniques.


title: SSH: Single Stage Headless Face Detector

abstract: We introduce the Single Stage Headless (SSH) face detector. Unlike two stage proposal-classification detectors, SSH detects faces in a single stage directly from the early convolutional layers in a classification network. SSH is headless. That is, it is able to achieve state-of-the-art results while removing the "head" of its underlying classification network -- i.e. all fully connected layers in the VGG-16 which contains a large number of parameters. Additionally, instead of relying on an image pyramid to detect faces with various scales, SSH is scale-invariant by design. We simultaneously detect faces with different scales in a single forward pass of the network, but from different layers. These properties make SSH fast and light-weight. Surprisingly, with a headless VGG-16, SSH beats the ResNet-101-based state-of-the-art on the WIDER dataset. Even though, unlike the current state-of-the-art, SSH does not use an image pyramid and is 5X faster. Moreover, if an image pyramid is deployed, our light-weight network achieves state-of-the-art on all subsets of the WIDER dataset, improving the AP by 2.5%. SSH also reaches state-of-the-art results on the FDDB and Pascal-Faces datasets while using a small input size, leading to a runtime of 50 ms/image on a GPU. The code is available at https://github.com/mahyarnajibi/SSH.


title: Provably convergent implementations of the subdivision algorithm for the computation of invariant objects

abstract: The subdivision algorithm by Dellnitz and Hohmann for the computation of invariant sets of dynamical systems decomposes the relevant region of the state space into boxes and analyzes the induced box dynamics. Its convergence is proved in an idealized setting, assuming that the exact time evolution of these boxes can be computed. In the present article, we show that slightly modified, directly implementable versions of the original algorithm are convergent under very mild assumptions on the dynamical system. In particular, we demonastrate that neither a fine net of sample points nor very accurate approximations of the precise dynamics are necessary to guarantee convergence of the overall scheme.


title: PSSE Redux: Convex Relaxation, Decentralized, Robust, and Dynamic Approaches

abstract: This chapter aspires to glean some of the recent advances in power system state estimation (PSSE), though our collection is not exhaustive by any means. The Cram{\'e}r-Rao bound, a lower bound on the (co)variance of any unbiased estimator, is first derived for the PSSE setup. After reviewing the classical Gauss-Newton iterations, contemporary PSSE solvers leveraging relaxations to convex programs and successive convex approximations are explored. A disciplined paradigm for distributed and decentralized schemes is subsequently exemplified under linear(ized) and exact grid models. Novel bad data processing models and fresh perspectives linking critical measurements to cyber-attacks on the state estimator are presented. Finally, spurred by advances in online convex optimization, model-free and model-based state trackers are reviewed.


title: Volume preserving flow by powers of $k$-th mean curvature

abstract: We consider the flow of closed convex hypersurfaces in Euclidean space $\mathbb{R}^{n+1}$ with speed given by a power of the $k$-th mean curvature $E_k$ plus a global term chosen to impose a constraint involving the enclosed volume $V_{n+1}$ and the mixed volume $V_{n+1-k}$ of the evolving hypersurface. We prove that if the initial hypersurface is strictly convex, then the solution of the flow exists for all time and converges to a round sphere smoothly. No curvature pinching assumption is required on the initial hypersurface.


title: Entropy Rigidity and Hilbert Volume

abstract: For a closed, strictly convex projective manifold of dimension $n\geq 3$ that admits a hyperbolic structure, we show that the ratio of Hilbert volume to hyperbolic volume is bounded below by a constant that depends only on dimension. We also show that for such spaces, if topological entropy of the geodesic flow goes to zero, the volume must go to infinity. These results follow from adapting Besson--Courtois--Gallot's entropy rigidity result to Hilbert geometries.


title: Cooperation in 5G HetNets: Advanced Spectrum Access and D2D Assisted Communications

abstract: The evolution of conventional wireless communication networks to the fifth generation (5G) is driven by an explosive increase in the number of wireless mobile devices and services, as well as their demand for all-time and everywhere connectivity, high data rates, low latency, high energy-efficiency and improved quality of service. To address these challenges, 5G relies on key technologies, such as full duplex (FD), device-to-device (D2D) communications, and network densification. In this article, a heterogeneous networking architecture is envisioned, where cells of different sizes and radio access technologies coexist. Specifically, collaboration for spectrum access is explored for both FD- and cognitive-based approaches, and cooperation among devices is discussed in the context of the state-of-the-art D2D assisted communication paradigm. The presented cooperative framework is expected to advance the understandings of the critical technical issues towards dynamic spectrum management for 5G heterogeneous networks.


title: AffectNet: A Database for Facial Expression, Valence, and Arousal Computing in the Wild

abstract: Automated affective computing in the wild setting is a challenging problem in computer vision. Existing annotated databases of facial expressions in the wild are small and mostly cover discrete emotions (aka the categorical model). There are very limited annotated facial databases for affective computing in the continuous dimensional model (e.g., valence and arousal). To meet this need, we collected, annotated, and prepared for public distribution a new database of facial emotions in the wild (called AffectNet). AffectNet contains more than 1,000,000 facial images from the Internet by querying three major search engines using 1250 emotion related keywords in six different languages. About half of the retrieved images were manually annotated for the presence of seven discrete facial expressions and the intensity of valence and arousal. AffectNet is by far the largest database of facial expression, valence, and arousal in the wild enabling research in automated facial expression recognition in two different emotion models. Two baseline deep neural networks are used to classify images in the categorical model and predict the intensity of valence and arousal. Various evaluation metrics show that our deep neural network baselines can perform better than conventional machine learning methods and off-the-shelf facial expression recognition systems.


title: Creating an A Cappella Singing Audio Dataset for Automatic Jingju Singing Evaluation Research

abstract: The data-driven computational research on automatic jingju (also known as Beijing or Peking opera) singing evaluation lacks a suitable and comprehensive a cappella singing audio dataset. In this work, we present an a cappella singing audio dataset which consists of 120 arias, accounting for 1265 melodic lines. This dataset is also an extension our existing CompMusic jingju corpus. Both professional and amateur singers were invited to the dataset recording sessions, and the most common jingju musical elements have been covered. This dataset is also accompanied by metadata per aria and melodic line annotated for automatic singing evaluation research purpose. All the gathered data is openly available online.


title: The pure extension property for discrete crossed products

abstract: Let $G$ be a discrete group acting on a unital $C^*$-algebra $\mathcal{A}$ by $*$-automorphisms. In this note, we show that the inclusion $\mathcal{A} \subseteq \mathcal{A} \rtimes_r G$ has the pure extension property (so that every pure state on $\mathcal{A}$ extends uniquely to a pure state on $\mathcal{A} \rtimes_r G$) if and only if $G$ acts freely on $\mathcal{\widehat{A}}$, the spectrum of $\mathcal{A}$. The same characterization holds for the inclusion $\mathcal{A} \subseteq \mathcal{A} \rtimes G$. This generalizes what was already known for $\mathcal{A}$ abelian.


title: Optimizing the optical imaging system by \emph{in-situ} imaging the plugged hole in the ultracold atoms

abstract: Optical absorption imaging has become a common technique for detecting the density distribution of ultracold atoms. The defocus effect generally produces artificial spatial structures in the obtained images, which confuses our understanding of the quantum systems. Here we experimentally demonstrate one method to optimize the optical imaging system by \emph{in-situ} imaging the plugged hole in the cold atoms. The atoms confined in a magnetic trap are cooled to tens of or several microkelvin by the radio-frequency evaporation cooling, and then are plugged using a blue-detuned laser beam, forming a hole in the center of the atomic cloud. We image the hole with a charge-coupled device (CCD) and quantitatively analyze the artificial spatial structure due to the defocus effect. Through minimizing the artificial structures by precisely adjusting the CCD position, we can optimize the imaging system with an accuracy of 0.1 mm. We also demonstrate the necessity of this method in probing rubidium BEC with a time of flight (TOF) of 5 ms. Compared to other methods in focusing the imaging system, the proposal demonstrated in this paper is simple and efficient, particularly for experimentally extracting large-scale parameters like atomic density, atomic number and the size of the atomic cloud.


title: Convolutive Audio Source Separation using Robust ICA and an intelligent evolving permutation ambiguity solution

abstract: Audio source separation is the task of isolating sound sources that are active simultaneously in a room captured by a set of microphones. Convolutive audio source separation of equal number of sources and microphones has a number of shortcomings including the complexity of frequency-domain ICA, the permutation ambiguity and the problem's scalabity with increasing number of sensors. In this paper, the authors propose a multiple-microphone audio source separation algorithm based on a previous work of Mitianoudis and Davies (2003). Complex FastICA is substituted by Robust ICA increasing robustness and performance. Permutation ambiguity is solved using two methodologies. The first is using the Likelihood Ration Jump solution, which is now modified to decrease computational complexity in the case of multiple microphones. The application of the MuSIC algorithm, as a preprocessing step to the previous solution, forms a second methodology with promising results.


title: Locating Order-Disorder Phase Transition in a Cardiac System

abstract: To prevent sudden cardiac death, predicting where in the cardiac system an order-disorder phase transition into ventricular fibrillation begins is as important as when it begins. We present a computationally efficient, information-theoretic approach to predicting the locations of wavebreaks that initiate fibrillation in a cardiac system where the order-disorder behavior is controlled by a single driving component, mimicking electrical misfiring from the pulmonary veins or the Purkinje fibers. Communication analysis between the driving component and each component of the system reveals that channel capacity, mutual information and transfer entropy can locate the wavebreaks. This approach is applicable to interventional therapies to prevent sudden death, as well as to a wide range of systems to mitigate or prevent imminent phase transitions.


title: A Convex Information Relaxation for Constrained Decentralized Control Design Problems

abstract: We describe a convex programming approach to the calculation of lower bounds on the minimum cost of constrained decentralized control problems with nonclassical information structures. The class of problems we consider entail the decentralized output feedback control of a linear time-varying system over a finite horizon, subject to polyhedral constraints on the state and input trajectories, and sparsity constraints on the controller's information structure. As the determination of optimal control policies for such systems is known to be computationally intractable in general, considerable effort has been made in the literature to identify efficiently computable, albeit suboptimal, feasible control policies. The construction of computationally tractable bounds on their suboptimality is the primary motivation for the techniques developed in this note. Specifically, given a decentralized control problem with nonclassical information, we characterize an expansion of the given information structure, which ensures its partial nestedness, while maximizing the optimal value of the resulting decentralized control problem under the expanded information structure. The resulting decentralized control problem is cast as an infinite-dimensional convex program, which is further relaxed via a partial dualization and restriction to affine dual control policies. The resulting problem is a finite-dimensional conic program whose optimal value is a provable lower bound on the minimum cost of the original constrained decentralized control problem.


title: Multi-scale analysis of lead-lag relationships in high-frequency financial markets

abstract: We propose a novel estimation procedure for scale-by-scale lead-lag relationships of financial assets observed at high-frequency in a non-synchronous manner. The proposed estimation procedure does not require any interpolation processing of original datasets and is applicable to those with highest time resolution available. Consistency of the proposed estimators is shown under the continuous-time framework that has been developed in our previous work Hayashi and Koike (2018). An empirical application to a quote dataset of the NASDAQ-100 assets identifies two types of lead-lag relationships at different time scales.


title: Optimizing Gross Merchandise Volume via DNN-MAB Dynamic Ranking Paradigm

abstract: With the transition from people's traditional `brick-and-mortar' shopping to online mobile shopping patterns in web 2.0 $\mathit{era}$, the recommender system plays a critical role in E-Commerce and E-Retails. This is especially true when designing this system for more than $\mathbf{236~million}$ daily active users. Ranking strategy, the key module of the recommender system, needs to be precise, accurate, and responsive for estimating customers' intents. We propose a dynamic ranking paradigm, named as DNN-MAB, that is composed of a pairwise deep neural network (DNN) $\mathit{pre}$-ranker connecting a revised multi-armed bandit (MAB) dynamic $\mathit{post}$-ranker. By taking into account of explicit and implicit user feedbacks such as impressions, clicks, conversions, etc. DNN-MAB is able to adjust DNN $\mathit{pre}$-ranking scores to assist customers locating items they are interested in most so that they can converge quickly and frequently. To the best of our knowledge, frameworks like DNN-MAB have not been discussed in the previous literature to either E-Commerce or machine learning audiences. In practice, DNN-MAB has been deployed to production and it easily outperforms against other state-of-the-art models by significantly lifting the gross merchandise volume (GMV) which is the objective metrics at JD.


title: Data Sets: Word Embeddings Learned from Tweets and General Data

abstract: A word embedding is a low-dimensional, dense and real- valued vector representation of a word. Word embeddings have been used in many NLP tasks. They are usually gener- ated from a large text corpus. The embedding of a word cap- tures both its syntactic and semantic aspects. Tweets are short, noisy and have unique lexical and semantic features that are different from other types of text. Therefore, it is necessary to have word embeddings learned specifically from tweets. In this paper, we present ten word embedding data sets. In addition to the data sets learned from just tweet data, we also built embedding sets from the general data and the combination of tweets with the general data. The general data consist of news articles, Wikipedia data and other web data. These ten embedding models were learned from about 400 million tweets and 7 billion words from the general text. In this paper, we also present two experiments demonstrating how to use the data sets in some NLP tasks, such as tweet sentiment analysis and tweet topic classification tasks.


title: Sentiment Analysis by Joint Learning of Word Embeddings and Classifier

abstract: Word embeddings are representations of individual words of a text document in a vector space and they are often use- ful for performing natural language pro- cessing tasks. Current state of the art al- gorithms for learning word embeddings learn vector representations from large corpora of text documents in an unsu- pervised fashion. This paper introduces SWESA (Supervised Word Embeddings for Sentiment Analysis), an algorithm for sentiment analysis via word embeddings. SWESA leverages document label infor- mation to learn vector representations of words from a modest corpus of text doc- uments by solving an optimization prob- lem that minimizes a cost function with respect to both word embeddings as well as classification accuracy. Analysis re- veals that SWESA provides an efficient way of estimating the dimension of the word embeddings that are to be learned. Experiments on several real world data sets show that SWESA has superior per- formance when compared to previously suggested approaches to word embeddings and sentiment analysis tasks.


title: Cubic graphs with small independence ratio

abstract: Let $i(r,g)$ denote the infimum of the ratio $\frac{\alpha(G)}{|V(G)|}$ over the $r$-regular graphs of girth at least $g$, where $\alpha(G)$ is the independence number of $G$, and let $i(r,\infty) := \lim\limits_{g \to \infty} i(r,g)$. Recently, several new lower bounds of $i(3,\infty)$ were obtained. In particular, Hoppen and Wormald showed in 2015 that $i(3, \infty) \ge 0.4375$, and Cs\'oka improved it to $i(3,\infty) \ge 0.44533$ in 2016. Bollob\'as proved the upper bound $i(3,\infty) < \frac{6}{13}$ in 1981, and McKay improved it to $i(3,\infty) < 0.45537$ in 1987. There were no improvements since then. In this paper, we improve the upper bound to $i(3,\infty) \le 0.454.$


title: Structure of Native Two-dimensional Oxides on III--Nitride Surfaces

abstract: When pristine material surfaces are exposed to air, highly reactive broken bonds can promote the formation of surface oxides with structures and properties differing greatly from bulk. Determination of the oxide structure, however, is often elusive through the use of indirect diffraction methods or techniques that probe only the outer most layer. As a result, surface oxides forming on widely used materials, such as group III-nitrides, have not been unambiguously resolved, even though critical properties can depend sensitively on their presence. In this work, aberration corrected scanning transmission electron microscopy reveals directly, and with depth dependence, the structure of native two--dimensional oxides that form on AlN and GaN surfaces. Through atomic resolution imaging and spectroscopy, we show that the oxide layers are comprised of tetrahedra--octahedra cation--oxygen units, similar to bulk $\theta$--Al$_2$O$_3$ and $\beta$--Ga$_2$O$_3$. By applying density functional theory, we show that the observed structures are more stable than previously proposed surface oxide models. We place the impact of these observations in the context of key III-nitride growth, device issues, and the recent discovery of two-dimnesional nitrides.


title: Microscopic study of induced fission dynamics of $^{226}$Th with covariant energy density functionals

abstract: Static and dynamic aspects of the fission process of $^{226}$Th are analyzed in a self-consistent framework based on relativistic energy density functionals. Constrained relativistic mean-field (RMF) calculations in the collective space of axially symmetric quadrupole and octupole deformations, based on the energy density functional PC-PK1 and a $\delta$-force pairing, are performed to determine the potential energy surface of the fissioning nucleus, the scission line, the single-nucleon wave functions, energies and occupation probabilities, as functions of deformation parameters. Induced fission dynamics is described using the time-dependent generator coordinate method in the Gaussian overlap approximation. A collective Schr\"odinger equation, determined entirely by the microscopic single-nucleon degrees of freedom, propagates adiabatically in time the initial wave packet built by boosting the ground-state solution of the collective Hamiltonian for $^{226}$Th. The position of the scission line and the microscopic input for the collective Hamiltonian are analyzed as functions of the strength of the pairing interaction. The effect of static pairing correlations on the pre-neutron emission charge yields and total kinetic energy of fission fragments is examined in comparison with available data, and the distribution of fission fragments is analyzed for different values of the initial excitation energy.


title: ZOO: Zeroth Order Optimization based Black-box Attacks to Deep Neural Networks without Training Substitute Models

abstract: Deep neural networks (DNNs) are one of the most prominent technologies of our time, as they achieve state-of-the-art performance in many machine learning tasks, including but not limited to image classification, text mining, and speech processing. However, recent research on DNNs has indicated ever-increasing concern on the robustness to adversarial examples, especially for security-critical tasks such as traffic sign identification for autonomous driving. Studies have unveiled the vulnerability of a well-trained DNN by demonstrating the ability of generating barely noticeable (to both human and machines) adversarial images that lead to misclassification. Furthermore, researchers have shown that these adversarial images are highly transferable by simply training and attacking a substitute model built upon the target model, known as a black-box attack to DNNs. Similar to the setting of training substitute models, in this paper we propose an effective black-box attack that also only has access to the input (images) and the output (confidence scores) of a targeted DNN. However, different from leveraging attack transferability from substitute models, we propose zeroth order optimization (ZOO) based attacks to directly estimate the gradients of the targeted DNN for generating adversarial examples. We use zeroth order stochastic coordinate descent along with dimension reduction, hierarchical attack and importance sampling techniques to efficiently attack black-box models. By exploiting zeroth order optimization, improved attacks to the targeted DNN can be accomplished, sparing the need for training substitute models and avoiding the loss in attack transferability. Experimental results on MNIST, CIFAR10 and ImageNet show that the proposed ZOO attack is as effective as the state-of-the-art white-box attack and significantly outperforms existing black-box attacks via substitute models.


title: A heat production model for stable continental lithosphere by the inversion of the surface heat flows

abstract: Obtaining the heat production (HP) in the lithosphere has always been a challenge for the geotherms and evolution of continents. By transforming the nonlinear stable heat conduction equation into a linear Poisson's potential one, we propose a method to infer the HP in the stable continental lithosphere. This method estimates the HP through the inversion of the corresponding heat flow (HF) observations. Either the distribution of HP within the lithosphere or geometry of HP interfaces (even the both) can be inverted. Herein we focus on the inversion of the geometry of the HP interface. An analogical Parker-Oldenburg formula, which is often used in the inversion of potential field, is deduced for this purpose. This analogical formula is based on a relationship between the Fourier transform of the corresponding HF observations and the sum of the Fourier transform for the powers of the interface geometry. When the mean depth of the HP interface and the HP contrast between the two media are given, one to three-dimensional geometry of the HP interface can be iteratively calculated. As a case study, we construct a HP model for the lithosphere of the Ordos geological block and its adjacent area in China, in which three-dimensional geometry of the upper crustal HP interface is estimated. It is found that the geometry of this HP interface distribute uneven in a magnitude of dozens of km. With this HP model, the geotherms for the Ordos geological block and its adjacent area is calculated further, which fit the constraints from the studies on the xenolith and tectonics well.


title: Group-driven Reinforcement Learning for Personalized mHealth Intervention

abstract: Due to the popularity of smartphones and wearable devices nowadays, mobile health (mHealth) technologies are promising to bring positive and wide impacts on people's health. State-of-the-art decision-making methods for mHealth rely on some ideal assumptions. Those methods either assume that the users are completely homogenous or completely heterogeneous. However, in reality, a user might be similar with some, but not all, users. In this paper, we propose a novel group-driven reinforcement learning method for the mHealth. We aim to understand how to share information among similar users to better convert the limited user information into sharper learned RL policies. Specifically, we employ the K-means clustering method to group users based on their trajectory information similarity and learn a shared RL policy for each group. Extensive experiment results have shown that our method can achieve clear gains over the state-of-the-art RL methods for mHealth.


title: On the dynamics of the Pappus-Steiner map

abstract: We extract a two-dimensional dynamical system from the theorems of Pappus and Steiner in classical projective geometry. We calculate an explicit formula for this system, and study its elementary geometric properties. Then we use Artin reciprocity to characterise all sufficiently large primes $p$ for which this system admits periodic points of orders $3$ and $4$ over the field ${\mathbb F}_p$; this leads to an unexpected Galois-theoretic conjecture for $n$-periodic points. We also give a short discussion of Leisenring's theorem, and show that it leads to the same dynamical system as the Pappus-Steiner theorem. The appendix contains a computer-aided analysis of this system over the field of real numbers.


title: Non-linear collisional Penrose process: How large energy can a black hole release?

abstract: Energy extraction from a rotating or charged black hole is one of fascinating issues in general relativity. The collisional Penrose process is one of such extraction mechanisms and has been reconsidered intensively since Banados, Silk and West pointed out the physical importance of very high energy collisions around a maximally rotating black hole. In order to get results analytically, the test particle approximation has been adopted so far. Successive works based on this approximation scheme have not yet revealed the upper bound on the efficiency of the energy extraction because of lack of the back reaction. In the Reissner-Nordstrom spacetime, by fully taking into account the self-gravity of the shells, we find that there is an upper bound on the extracted energy, which is consistent with the area law of a black hole. We also show one particular scenario in which the almost maximum energy extraction is achieved even without the Banados-Silk-West collision.


title: Thermodynamics and computation during collective motion near criticality

abstract: We study self-organisation of collective motion as a thermodynamic phenomenon, in the context of the first law of thermodynamics. It is expected that the coherent ordered motion typically self-organises in the presence of changes in the (generalised) internal energy and of (generalised) work done on, or extracted from, the system. We aim to explicitly quantify changes in these two quantities in a system of simulated self-propelled particles, and contrast them with changes in the system's configuration entropy. In doing so, we adapt a thermodynamic formulation of the curvatures of the internal energy and the work, with respect to two parameters that control the particles' alignment. This allows us to systematically investigate the behaviour of the system by varying the two control parameters to drive the system across a kinetic phase transition. Our results identify critical regimes and show that during the phase transition, where the configuration entropy of the system decreases, the rates of change of the work and of the internal energy also decrease, while their curvatures diverge. Importantly, the reduction of entropy achieved through expenditure of work is shown to peak at criticality. We relate this both to a thermodynamic efficiency and the significance of the increased order with respect to a computational path. Additionally, this study provides an information-geometric interpretation of the curvature of the internal energy as the difference between two curvatures: the curvature of the free entropy, captured by the Fisher information, and the curvature of the configuration entropy.


title: Dual-carrier Floquet circulator with time-modulated optical resonators

abstract: Spatio-temporal modulation has shown great promise as a strong time-reversal symmetry breaking mechanism that enables integrated nonreciprocal devices and topological materials at optical frequencies. However, optical modulation has its own constraints in terms of modulation index and frequency, which limit the bandwidth and miniaturization of circulators and isolators, not unlike the magneto-optical schemes that it promises to replace. Here we propose and numerically demonstrate a Floquet circulator that leverages the untapped degrees of freedom unique to time-modulated resonators. Excited by sideband-selective waveguides, the system supports broadband nonreciprocal transmission without relying on the mirror or rotational symmetries required in conventional circulators. Cascading two resonators, we create a linear three-port circulator that exhibits complete and frequency-independent forward transmission between two of the ports. This approach enables wavelength-scale circulators that can rely on a variety of modulation mechanisms.


title: Fast, Accurate Thin-Structure Obstacle Detection for Autonomous Mobile Robots

abstract: Safety is paramount for mobile robotic platforms such as self-driving cars and unmanned aerial vehicles. This work is devoted to a task that is indispensable for safety yet was largely overlooked in the past -- detecting obstacles that are of very thin structures, such as wires, cables and tree branches. This is a challenging problem, as thin objects can be problematic for active sensors such as lidar and sonar and even for stereo cameras. In this work, we propose to use video sequences for thin obstacle detection. We represent obstacles with edges in the video frames, and reconstruct them in 3D using efficient edge-based visual odometry techniques. We provide both a monocular camera solution and a stereo camera solution. The former incorporates Inertial Measurement Unit (IMU) data to solve scale ambiguity, while the latter enjoys a novel, purely vision-based solution. Experiments demonstrated that the proposed methods are fast and able to detect thin obstacles robustly and accurately under various conditions.


title: Fractal Texture and Structure of Central Place Systems

abstract: The boundaries of central place models proved to be fractal lines, which compose fractal texture of central place networks. A textural fractal can be employed to explain the scale-free property of regional boundaries such as border lines, but it cannot be directly applied to spatial structure of real human settlement systems. To solve this problem, this paper is devoted to deriving structural fractals of central place models from the textural fractals. The method is theoretical deduction based on the dimension rules of fractal sets. The textural fractals of central place models are reconstructed, the structural dimensions are derived from the textural dimensions, and the central place fractals are formulated by the k numbers and g numbers. Three structural fractal models are constructed for central place systems according to the corresponding fractal dimensions. A theoretical finding is that the classic central place models comprise Koch snowflake curve and Sierpinski space filling curve, and an inference is that the traffic principle plays a leading role in urban and rural evolution. The conclusion can be reached that the textural fractal dimensions can be converted into the structural fractal dimensions. The latter dimensions can be directly used to appraise urban and rural settlement distributions in the real world. Thus, the textural fractals can be indirectly utilized to explain the development of the systems of human settlements.


title: Continuum limit of hyperon vector coupling $f_1(0)$ from 2+1 flavor domain wall QCD

abstract: We determine the hyperon vector couplings $f_1(0)$ for $\Sigma^{-}\rightarrow nl^-\bar{\nu_l}$ and $\Xi^0\rightarrow\Sigma^{+}l^-\bar{\nu_l}$ semileptonic decays in the continuum limit with (2+1)-flavors of dynamical domain-wall fermions, using the Iwasaki gauge action at two different lattice spacings of $a$=0.114(2) and 0.086(2) fm. A theoretical estimation of flavor SU(3)-breaking effect on the vector coupling is required to extract $V_{us}$ from the experimental rate of hyperon beta decays. We obtain the vector couplings $f_1(0)$ for $\Sigma\rightarrow N$ and $\Xi\rightarrow \Sigma$ beta-decays with an accuracy of less than one percent. We then find that lattice results of $f_1(0)$ combined with the best estimate of $|V_{us}|$ with imposing Cabibbo-Kobayashi-Maskawa (CKM) unitarity are slightly deviated from the experimental result of $|V_{us}f_1(0)|$ for the $\Sigma\rightarrow N$ beta-decay. This discrepancy can be attributed to an assumption made in the experimental analysis on $|V_{us}f_1(0)|$, where the induced second-class form factor $g_2$ is set to be zero regardless of broken SU(3) symmetry. We report on this matter and then estimate the possible value of $g_2(0)$, which is evaluated from the experimental decay rate with our lattice result of $f_1(0)$ under the first-row CKM-unitarity condition.