title: Bayesian Nonparametric Modeling of Driver Behavior using HDP Split-Merge Sampling Algorithm

abstract: Modern vehicles are equipped with increasingly complex sensors. These sensors generate large volumes of data that provide opportunities for modeling and analysis. Here, we are interested in exploiting this data to learn aspects of behaviors and the road network associated with individual drivers. Our dataset is collected on a standard vehicle used to commute to work and for personal trips. A Hidden Markov Model (HMM) trained on the GPS position and orientation data is utilized to compress the large amount of position information into a small amount of road segment states. Each state has a set of observations, i.e. car signals, associated with it that are quantized and modeled as draws from a Hierarchical Dirichlet Process (HDP). The inference for the topic distributions is carried out using HDP split-merge sampling algorithm. The topic distributions over joint quantized car signals characterize the driving situation in the respective road state. In a novel manner, we demonstrate how the sparsity of the personal road network of a driver in conjunction with a hierarchical topic model allows data driven predictions about destinations as well as likely road conditions.


title: Modeling and stabilization of a rotating mechanical system with elastic plates

abstract: A mechanical system consisting of a rigid body and attached Kirchhoff plates under the action of three independent controls torques is considered. The equations of motion of such model are derived in the form of a system of coupled nonlinear ordinary and partial differential equations. The operator form of this system is represented as an abstract differential equation in a Hilbert space. A feedback control law is constructed such that the corresponding infinitesimal generator is dissipative.


title: Wavelet theory applied to the study of spectra of trans-Neptunian objects

abstract: Reflection spectroscopy in the Near Infrared (NIR) is used to investigate the surface composition of Trans-Neptunian objects (TNOs). In general, these spectra are difficult to interpret due to the low apparent brightness of the TNOs, causing low signal-to-noise ratio even in spectra obtained with the largest telescopes available on the Earth, making necessary to use filtering techniques to analyze and interpret them. The purpose of this paper is to present a methodology to analyze the spectra of TNOs. Specifically, we aim at filtering these spectra in the best possible way: maximizing the remotion of noise, while minimizing the loss of signal. We use wavelets to filter the spectra. The wavelets are a mathematical tool that decomposes the signal into its constituent parts, allowing to analyze the data in different areas of frequencies with the resolution of each component tied to its scale. To check the reliability of our method, we compare the filtered spectra with spectra of water and methanol ices to identify some common structures between them. Of the 50 TNOs of our sample, we identify traces of the presence of water ices and methanol in the spectra of several of them, some with previous reports, while for other objects there were no previous reports. We conclude that the wavelet technique is successful in filtering spectra of TNOs.


title: Compactness and Comparison

abstract: Assuming an abstract comparison principle called the Ultrapower Axiom, which is motivated by the comparison process of inner model theory and generalizes the statement that the Mitchell order is linear on normal ultrafilters, we characterize strongly compact cardinals in terms of supercompactness: a strongly compact cardinal is either supercompact or a limit of supercompact cardinals. Assuming the Ultrapower Axiom and the GCH, we also prove a local result that roughly states that every countably complete ultrafilter factors as a finite iteration of supercompact ultrafilters.


title: Universality of Generalized Parton Distributions in Light-Front Holographic QCD

abstract: The structure of generalized parton distributions is determined from light-front holographic QCD up to a universal reparametrization function $w(x)$ which incorporates Regge behavior at small $x$ and inclusive counting rules at $x \to 1$. A simple ansatz for $w(x)$ which fulfills these physics constraints with a single-parameter results in precise descriptions of both the nucleon and the pion quark distribution functions in comparison with global fits. The analytic structure of the amplitudes leads to a connection with the Veneziano model and hence to a nontrivial connection with Regge theory and the hadron spectrum.


title: A Notion of Total Dual Integrality for Convex, Semidefinite, and Extended Formulations

abstract: Total dual integrality is a powerful and unifying concept in polyhedral combinatorics and integer programming that enables the refinement of geometric min-max relations given by linear programming Strong Duality into combinatorial min-max theorems. The definition of total dual integrality (TDI) revolves around the existence of optimal dual solutions that are integral, and thus naturally applies to a host of combinatorial optimization problems that are cast as integer programs whose LP relaxations have the TDIness property. However, when combinatorial problems are formulated using more general convex relaxations, such as semidefinite programs (SDPs), it is not at all clear what an appropriate notion of integrality in the dual program is, thus inhibiting the generalization of the theory to more general forms of structured convex optimization. (In fact, we argue that the rank-one constraint usually added to SDP relaxations is not adequate in the dual SDP.) In this paper, we propose a notion of total dual integrality for SDPs that generalizes the notion for LPs, by relying on an "integrality constraint" for SDPs that is primal-dual symmetric. A key ingredient for the theory is a generalization to compact convex sets of a result of Hoffman for polytopes, fundamental for generalizing the polyhedral notion of total dual integrality introduced by Edmonds and Giles. We study the corresponding theory applied to SDP formulations for stable sets in graphs using the Lov\'asz theta function and show that total dual integrality in this case corresponds to the underlying graph being perfect. We also relate dual integrality of an SDP formulation for the maximum cut problem to bipartite graphs. Total dual integrality for extended formulations naturally comes into play in this context.


title: Statistical characterization of microstructure evolution during compaction of granular systems composed of spheres with hardening plastic behavior

abstract: An extensive numerical campaign of particle mechanics calculations that predict microstructure formation and evolution during die compaction, up to relative densities close to one, of monodisperse plastic spheres that exhibit power-law plastic hardening behavior is presented. The study is focused on elucidating the relationship between particle plastic properties, loading conditions, and statistical features of the resulting microstructure. This communication provides fundamental insight into the achievable space of microstructures through die compaction, for given plastic stiffness and hardening exponent at the particle scale.


title: A Pulsar Wind Nebula Model Applied to Short GRB 050724

abstract: A subset of short gamma-ray bursts (sGRBs) have been found to be characterized by near-infrared/optical bumps at $\sim 1$ days, some of which exhibit almost concurrent X-ray flares. Although the near-infrared/optical bumps may be a signature of kilonovae, the X-ray flares are not consistent with kilonovae. It is widely believed that sGRBs are produced by the mergers of double compact objects, during which sub-relativistic ejecta are launched. In this paper we propose that the above optical/X-ray features are indicative of the formation of long-lived magnetars following the mergers of double neutron stars. Observations and theoretical works imply that the spin-down power of the magnetars is injected into the ejecta as ultra-relativistic electron-positron pairs, i.e. pulsar wind nebulae (PWNe). Here we suggest such a PWN model and find that the optical bump and X-ray flare observed in GRB 050724 can be well understood in this PWN model. We show that the optical bump and X-ray flare may have different origins. Our results strengthen the evidence for the formation of magnetars in double neutron star mergers and justify the validity of the PWN model.


title: Asymptotic and Non-Asymptotic Analysis for Hidden Markovian Process with Quantum Hidden System

abstract: We focus on a data sequence produced by repetitive quantum measurement on an internal hidden quantum system, and call it a hidden Markovian process. Using a quantum version of the Perron-Frobenius theorem, we derive novel upper and lower bounds for the cumulant generating function of the sample mean of the data. Using these bounds, we derive the central limit theorem and large and moderate deviations for the tail probability. Then, we give the asymptotic variance is given by using the second derivative of the cumulant generating function. We also derive another expression for the asymptotic variance by considering the quantum version of the fundamental matrix. Further, we explain how to extend our results to a general probabilistic system.


title: Faster Approximate(d) Text-to-Pattern L1 Distance

abstract: The problem of finding \emph{distance} between \emph{pattern} of length $m$ and \emph{text} of length $n$ is a typical way of generalizing pattern matching to incorporate dissimilarity score. For both Hamming and $L_1$ distances only a super linear upper bound $\widetilde{O}(n\sqrt{m})$ are known, which prompts the question of relaxing the problem: either by asking for $(1 \pm \varepsilon)$ approximate distance (every distance is reported up to a multiplicative factor), or $k$-approximated distance (distances exceeding $k$ are reported as $\infty$). We focus on $L_1$ distance, for which we show new algorithms achieving complexities respectively $\widetilde{O}(\varepsilon^{-1} n)$ and $\widetilde{O}((m+k\sqrt{m}) \cdot n/m)$. This is a significant improvement upon previous algorithms with runtime $\widetilde{O}(\varepsilon^{-2} n)$ of Lipsky and Porat [Algorithmica 2011] and $\widetilde{O}(n\sqrt{k})$ of Amir, Lipsky, Porat and Umanski [CPM 2005].


title: Infinite products involving Dirichlet characters and cyclotomic polynomials

abstract: Using some basic properties of the gamma function, we evaluate a simple class of infinite products involving Dirichlet characters as a finite product of gamma functions and, in the case of odd characters, as a finite product of sines. As a consequence we obtain evaluations of certain multiple $L$-series. In the final part of this paper we derive expressions for infinite products of cyclotomic polynomials, again as finite products of gamma or of sine functions.


title: Detection of Brain Stimuli Using Ramanujan Periodicity Transforms

abstract: The ability to efficiently match the frequency of the brain's response to repetitive visual stimuli in real time is the basis for reliable SSVEP-based Brain-Computer-Interfacing (BCI). The detection of different stimuli is posed as a composite hypothesis test, where SSVEPs are assumed to admit a sparse representation in a Ramanujan Periodicity Transform (RPT) dictionary. For the binary case, we develop and analyze the performance of an RPT detector based on a derived generalized likelihood ratio test. Our approach is extended to multi-hypothesis multi-electrode settings, where we capture the spatial correlation between the electrodes using pre-stimulus data. We also introduce a new metric for evaluating SSVEP detection schemes based on their achievable efficiency and discrimination rate tradeoff for given system resources. We obtain exact distributions of the test statistic in terms of confluent hypergeometric functions. Results based on extensive simulations with both synthesized and real data indicate that the RPT detector substantially outperforms spectral-based methods. Its performance also surpasses the state-of-the-art Canonical Correlation Analysis (CCA) methods with respect to accuracy and sample complexity in short data lengths regimes crucial for real-time applications. The proposed approach is asymptotically optimal as it closes the gap to a perfect measurement bound as the data length increases. In contrast to existing supervised methods which are highly data-dependent, the RPT detector only uses pre-stimulus data to estimate the per-subject spatial correlation, thereby dispensing with considerable overhead associated with data collection for a large number of subjects and stimuli. Our work advances the theory and practice of emerging real-time BCI and affords a new framework for comparing SSVEP detection schemes across a wider spectrum of operating regimes.


title: A practical omni-directional SH wave transducer for structural health monitoring based on two thickness-poled piezoelectric half-rings

abstract: Structural health monitoring (SHM) has become more and more important in modern industries as it can monitor the safety of structures during the full service life and prevent possible losses of life and economics. Shear horizontal wave in plate-like structures is very useful for long distance defects inspection since its fundamental mode (SH0) is totally non-dispersive. However, all the currently available SH wave transducers are not suitable for practical SHM. In this work, we firstly investigated via finite element simulations the performances of thickness-poled d15 PZT ring based omni-directional SH wave piezoelectric transducers (OSH-PT) consisting of different number of elements. Results show that the two half-rings based OSH-PT can have perfect omni-directivity and acceptable performances in excitation/reception of SH0 waves, and its performances can be fairly enhanced by reducing the outer and inner diameters. Experimental results on a 2mm-thick, 21mm outer-diameter, 9mm inner-diameter two-half-ring OSH-PT shows that it has good omni-directional properties with the maximum deviation of ~14% in both excitation and reception of SH0 wave. The signal to noise ratio (SNR) of the OSH-PT in the case of self-excitation and self-reception is over 15dB from 145kHz to 200kHz, which is acceptable for most applications. The proposed two-half-ring OSH-PT is expected to be widely used in SH0 wave based SHM due to its simple structure, easy fabrication/assembling, low cost and acceptable performances.


title: Multiphoton nonclassical light from clusters of single-photon emitters

abstract: We study nonclassical features of multiphoton light emitted by clusters of single-photon emitters. As signatures of nonclassicality, we use violation of inequalities for normalized correlation functions of different orders or the probabilities of multiphoton detection. In experiment, for clusters of 2 to 14 colloidal CdSe/CdS dot-in-rods we observe nonclassical behavior, which gets even more pronounced for larger clusters.


title: Another look into the Wong-Zakai Theorem for Stochastic Heat Equation

abstract: Consider the heat equation driven by a smooth, Gaussian random potential: \begin{align*} \partial_t u_{\varepsilon}=\tfrac12\Delta u_{\varepsilon}+u_{\varepsilon}(\xi_{\varepsilon}-c_{\varepsilon}), \ \ t>0, x\in\mathbb{R}, \end{align*} where $\xi_{\varepsilon}$ converges to a spacetime white noise, and $c_{\varepsilon} $ is a diverging constant chosen properly. For any $ n\geq 1 $, we prove that $ u_{\varepsilon} $ converges in $ L^n $ to the solution of the stochastic heat equation. Our proof is probabilistic, hence provides another perspective of the general result of Hairer and Pardoux \cite{Hairer15a}, for the special case of the stochastic heat equation. We also discuss the transition from homogenization to stochasticity.


title: Real-time fMRI neurofeedback training of the amygdala activity with simultaneous EEG in veterans with combat-related PTSD

abstract: Posttraumatic stress disorder (PTSD) is a chronic and disabling neuropsychiatric disorder characterized by insufficient top-down modulation of the amygdala activity by the prefrontal cortex. Real-time fMRI neurofeedback (rtfMRI-nf) is an emerging method with potential for modifying the amygdala-prefrontal interactions. We report the first controlled emotion self-regulation study in veterans with combat-related PTSD utilizing rtfMRI-nf of the amygdala activity. PTSD patients in the experimental group (EG, n=20) learned to upregulate BOLD activity of the left amygdala (LA) using rtfMRI-nf during a happy emotion induction task. PTSD patients in the control group (CG, n=11) were provided with a sham rtfMRI-nf. The study included three rtfMRI-nf training sessions, and EEG recordings were performed simultaneously with fMRI. PTSD severity was assessed using the Clinician-Administered PTSD Scale (CAPS). The EG participants showed a significant reduction in total CAPS ratings, including significant reductions in avoidance and hyperarousal symptoms. Overall, 80% of the EG participants demonstrated clinically meaningful reductions in CAPS ratings, compared to 38% in the CG. During the first session, fMRI connectivity of the LA with the orbitofrontal cortex and the dorsolateral prefrontal cortex (DLPFC) was progressively enhanced, and this enhancement significantly and positively correlated with initial CAPS ratings. Left-lateralized enhancement in upper alpha EEG coherence also exhibited a significant positive correlation with the initial CAPS. Reduction in PTSD severity between the first and last rtfMRI-nf sessions significantly correlated with enhancement in functional connectivity between the LA and the left DLPFC. Our results demonstrate that the rtfMRI-nf of the amygdala activity has the potential to correct the amygdala-prefrontal functional connectivity deficiencies specific to PTSD.


title: Optimal Energy Management Strategies in Wireless Data and Energy Cooperative Communications

abstract: This paper presents a new cooperative wireless communication network strategy that incorporates energy cooperation and data cooperation. The model establishment, design goal formulations, and algorithms for throughput maximization of the proposed protocol are presented and illustrated using a three-node network with two energy harvesting (EH) user nodes and a destination node. Transmission models are established from the performance analysis for a total of four scenarios. Based on the models, we seek to find optimal energy management strategies by jointly optimizing time allocation for each user, power allocations over these time intervals, and data throughputs at user nodes so as to maximize the sum-throughput or, alternatively, the minimum throughput of the two users in all scenarios. An accelerated Newton barrier algorithm and an alternative algorithm based on local quadratic approximation of the transmission models are developed to solve the aforementioned optimization problems. Numerical experiments under practical settings provide supportive observations to our performance analysis.


title: Pinning by rare defects and effective mobility for elastic interfaces in high dimensions

abstract: The existence of a depinning transition for a high dimensional interface in a weakly disordered medium is controversial. Following Larkin arguments and a perturbative expansion, one expects a linear response with a renormalized mobility ${\mu}_{\text{eff}}$ . In this paper, we compare these predictions with the exact solution of a fully connected model, which displays a finite critical force $f_c$. At small disorder, we unveil an intermediary linear regime for $f_c < f < 1$ characterized by the renormalized mobility ${\mu}_{\text{eff}}$. Our results suggest that in high dimension the critical force is always finite and determined by the effect of rare impurities that is missed by the perturbative expansion. However, the perturbative expansion correctly describes an intermediate regime that should be visible at small disorder.


title: Closures in varieties of representations and irreducible components

abstract: For any truncated path algebra $\Lambda$ of a quiver, we classify, by way of representation-theoretic invariants, the irreducible components of the parametrizing varieties $\mathbf{Rep}_{\mathbf{d}}(\Lambda)$ of the $\Lambda$-modules with fixed dimension vector $\mathbf{d}$. In this situation, the components of $\mathbf{Rep}_{\mathbf{d}}(\Lambda)$ are always among the closures $\overline{\mathbf{Rep}\,\mathbb{S}}$, where $\mathbb{S}$ traces the semisimple sequences with dimension vector $\mathbf{d}$, and hence the key to the classification problem lies in a characterization of these closures. Our first result concerning closures actually addresses arbitrary basic finite dimensional algebras over an algebraically closed field. In the general case, it corners the closures $\overline{\mathbf{Rep}\,\mathbb{S}}$ by means of module filtrations "governed by $\mathbb{S}$", in case $\Lambda$ is truncated, it pins down the $\overline{\mathbf{Rep}\,\mathbb{S}}$ completely. The analysis of the varieties $\overline{\mathbf{Rep}\,\mathbb{S}}$ leads to a novel upper semicontinuous module invariant which provides an effective tool towards the detection of components of $\mathbf{Rep}_{\mathbf{d}}(\Lambda)$ in general. It detects all components when $\Lambda$ is truncated.


title: Understanding finite dimensional representations generically

abstract: We survey the development and status quo of a subject best described as "generic representation theory of finite dimensional algebras", which started taking shape in the early 1980s. Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. Roughly, the theory aims at (a) pinning down the irreducible components of the standard parametrizing varieties for the $\Lambda$-modules with a fixed dimension vector, and (b) assembling generic information on the modules in each individual component, that is, assembling data shared by all modules in a dense open subset of that component. We present an overview of results spanning the spectrum from hereditary algebras through the tame non-hereditary case to wild non-hereditary algebras.


title: Generalized Littlewood-Richardson coefficients for branching rules of GL(n) and extremal weight crystals

abstract: Following the methods used by Derksen-Weyman in \cite{DW11} and Chindris in \cite{Chi08}, we use quiver theory to represent the generalized Littlewood-Richardson coefficients for the branching rule for the diagonal embedding of $\gl(n)$ as the dimension of a weight space of semi-invariants. Using this, we prove their saturation and investigate when they are nonzero. We also show that for certain partitions the associated stretched polynomials satisfy the same conjectures as single Littlewood-Richardson coefficients. We then provide a polytopal description of this multiplicity and show that its positivity may be computed in strongly polynomial time. Finally, we remark that similar results hold for certain other generalized Littlewood-Richardson coefficients.


title: Sparse Portfolio Selection via Non-convex Fraction Function

abstract: In this paper, a continuous and non-convex promoting sparsity fraction function is studied in two sparse portfolio selection models with and without short-selling constraints. Firstly, we study the properties of the optimal solution to the problem $(FP_{a,\lambda,\eta})$ including the first-order and the second optimality condition and the lower and upper bound of the absolute value for its nonzero entries. Secondly, we develop the thresholding representation theory of the problem $(FP_{a,\lambda,\eta})$. Based on it, we prove the existence of the resolvent operator of gradient of $P_{a}(x)$, calculate its analytic expression, and propose an iterative fraction penalty thresholding (IFPT) algorithm to solve the problem $(FP_{a,\lambda,\eta})$. Moreover, we also prove that the value of the regularization parameter $\lambda>0$ can not be chosen too large. Indeed, there exists $\bar{\lambda}>0$ such that the optimal solution to the problem $(FP_{a,\lambda,\eta})$ is equal to zero for any $\lambda>\bar{\lambda}$. At last, inspired by the thresholding representation theory of the problem $(FP_{a,\lambda,\eta})$, we propose an iterative nonnegative fraction penalty thresholding (INFPT) algorithm to solve the problem $(FP_{a,\lambda,\eta}^{\geq})$. Empirical results show that our methods, for some proper $a>0$, perform effective in finding the sparse portfolio weights with and without short-selling constraints.


title: Modified lp-norm regularization minimization for sparse signal recovery

abstract: In numerous substitution models for the $\l_{0}$-norm minimization problem $(P_{0})$, the $\l_{p}$-norm minimization $(P_{p})$ with $0<p<1$ have been considered as the most natural choice. However, the non-convex optimization problem $(P_{p})$ are much more computational challenges, and are also NP-hard. Meanwhile, the algorithms corresponding to the proximal mapping of the regularization $\l_{p}$-norm minimization $(P_{p}^{\lambda})$ are limited to few specific values of parameter $p$. In this paper, we replace the $\ell_{p}$-norm $\|x\|_{p}^{p}$ with a modified function $\sum_{i=1}^{n}\frac{|x_{i}|}{(|x_{i}|+\epsilon_{i})^{1-p}}$. With change the parameter $\epsilon>0$, this modified function would like to interpolate the $\l_{p}$-norm $\|x\|_{p}^{p}$. By this transformation, we translated the $\l_{p}$-norm regularization minimization $(P_{p}^{\lambda})$ into a modified $\l_{p}$-norm regularization minimization $(P_{p}^{\lambda,\epsilon})$. Then, we develop the thresholding representation theory of the problem $(P_{p}^{\lambda,\epsilon})$, and based on it, the IT algorithm is proposed to solve the problem $(P_{p}^{\lambda,\epsilon})$ for all $0<p<1$. Indeed, we could get some much better results by choosing proper $p$, which is one of the advantages for our algorithm compared with other methods. Numerical results also show that, for some proper $p$, our algorithm performs the best in some sparse signal recovery problems compared with some state-of-art methods.


title: Why the Cosmological Constant is so Small ? A String Theory Perspective

abstract: With no free parameter (except the string scale $M_S$), dynamical flux compactification in Type IIB string theory determines both the cosmological constant (vacuum energy density) $\Lambda$ and the Planck mass $M_P$ in terms of $M_S$, thus yielding their relation. Following elementary probability theory, we find that a good fraction of the meta-stable de Sitter vacua in the cosmic string theory landscape tend to have an exponentially small cosmological constant $\Lambda$ compared to either the string scale $M_S$ or the Planck scale $M_P$, i.e., $\Lambda \ll M_S^4 \ll M_P^4$. Here we illustrate the basic stringy ideas with a simple scalar field $\phi^3$ (or $\phi^4$) model coupled with fluxes to show how this may happen and how the usual radiative instability problem is bypassed (since there are no parameters to be fine-tuned). These low lying semi-classical de Sitter vacua tend to be accompanied by light scalar bosons/axions, so the Higgs boson mass hierarchy problem may be ameliorated as well.


title: Integrating Ultra-Fast Charging Stations within the Power Grids of Smart Cities: A Review

abstract: Plug-In Electric Vehicles (PEV) have become a key factor driving towards smart cities, which allow for higher energy efficiency and lower environmental impact across urban sectors. Industry vision for future PEV includes the ability to recharge a vehicle at a speed comparable to traditional gas refueling, i.e., less than $3$ minutes per vehicle. Such a technology, referred to as Ultra-Fast Charging (UFC), has drawn much interest from research and industry. The large power density, impulsive, and stochastic loading characteristics of UFC, however, pose unprecedented challenges to existing electricity supply infrastructure. Planning the locations and electric capacities of these UFC stations is critical to preventing detrimental impacts, including grid asset depreciation, grid instabilities, and deteriorated power quality. In this paper, we first review planning methods for conventional charging stations and then discuss outlooks for UFC planning solutions by drawing an analogy with renewable energy source planning, which presents similar power density and stochastic characteristics as UFC. While this paper mainly focuses on UFC planning from the power grid perspective, other urban aspects, including traffic flow and end-user behavior, are examined for feasible UFC integration within smart cities.


title: Decay of Kadomtsev - Petviashvili lumps in dissipative media

abstract: The decay of Kadomtsev - Petviashvili lumps is considered for a few typical dissipations - Rayleigh dissipation, Reynolds dissipation, Landau damping, Chezy bottom friction, viscous dissipation in the laminar boundary layer, and radiative losses caused by large-scale dispersion. It is shown that the straight-line motion of lumps is unstable under the influence of dissipation. The lump trajectories are calculated for two most typical models of dissipation - the Rayleigh and Reynolds dissipations. A comparison of analytical results obtained within the framework of asymptotic theory with the direct numerical calculations of the Kadomtsev - Petviashvili equation is presented. Good agreement between the theoretical and numerical results is obtained.


title: Mitigating Pilot Contamination in Multi-cell Hybrid Millimeter Wave Systems

abstract: In this paper, we investigate the system performance of a multi-cell multi-user (MU) hybrid millimeter wave (mmWave) multiple-input multiple-output (MIMO) network adopting the channel estimation algorithm proposed in [1] for channel estimation. Due to the reuse of orthogonal pilot symbols among different cells, the channel estimation is expected to be affected by pilot contamination, which is considered as a fundamental performance bottleneck of conventional multicell MU massive MIMO networks. To analyze the impact of pilot contamination on the system performance, we derive the closed-form approximation expression of the normalized mean squared error (MSE) of the channel estimation performance. Our analytical and simulation results show that the channel estimation error incurred by the impact of pilot contamination and noise vanishes asymptotically with an increasing number of antennas equipped at each radio frequency (RF) chain deployed at the desired BS. Thus, pilot contamination is no longer the fundamental problem for multi-cell hybrid mmWave systems.


title: A Comparison of SC-FDE and UW DFT-s-OFDM for Millimeter Wave Communications

abstract: In this study, we compare the single-carrier (SC) waveform adopted in IEEE 802.11ad and unique word discrete Fourier transform spread orthogonal frequency division multiplexing (UW DFT-s-OFDM) waveform. We provide equivalent representations of up-sampling and down-sampling operations of the SC waveform by using discrete Fourier transform (DFT) and inverse DFT to enable explicit comparison of these two similar waveforms. By using this representation, we discuss why the IEEE 802.11ad SC waveform can cause suboptimal performance in multipath channel and discuss how to improve it with UW DFT-s-OFDM. With comprehensive link-level simulations, we show that replacing the 802.11ad SC waveform with UW DFT-spread OFDM can result in 1 dB gain in peak throughput without affecting the IEEE 802.11ad packet structure. We also evaluate the cross links where the transmitter is UW-DFT-s-OFDM and the receiver is traditional SC-FDE or vice versa. We demonstrate that UW DFT-s-OFDM receiver can decode an IEEE 802.11ad SC waveform with a slight SNR loss while IEEE 802.11ad SC receiver can decode a UW DFT-spread OFDM waveform with an interference floor.


title: On the Dynamics of a Rolling Ball Actuated by Internal Point Masses

abstract: The motion of a rolling ball actuated by internal point masses that move inside the ball's frame of reference is considered. The equations of motion are derived by applying Euler-Poincar\'e's symmetry reduction method in concert with Lagrange-d'Alembert's principle, which accounts for the presence of the nonholonomic rolling constraint. As a particular example, we consider the case when the masses move along internal rails, or trajectories, of arbitrary shape and fixed within the ball's frame of reference. Our system of equations can treat most possible methods of actuating the rolling ball with internal moving masses encountered in the literature, such as circular motion of the masses mimicking swinging pendula or straight line motion of the masses mimicking magnets sliding inside linear tubes embedded within a solenoid. Moreover, our method can model arbitrary rail shapes and an arbitrary number of rails such as several ellipses and/or figure eights, which may be important for future designs of rolling ball robots. For further analytical study, we also reduce the system to a single differential equation when the motion is planar, that is, considering the motion of the rolling disk actuated by internal point masses, in which case we show that the results obtained from the variational derivation coincide with those obtained from Newton's second law. Finally, the equations of motion are solved numerically, illustrating a wealth of complex behaviors exhibited by the system's dynamics. Our results are relevant to the dynamics of nonholonomic systems containing internal degrees of freedom and to further studies of control of such systems actuated by internal masses.


title: Hindman-like theorems with uncountably many colours and finite monochromatic sets

abstract: A particular case of the Hindman--Galvin--Glazer theorem states that, for every partition of an infinite abelian group $G$ into two cells, there will be an infinite $X\subseteq G$ such that the set of its finite sums $\{x_1+\cdots+x_n\big|n\in\mathbb N\wedge x_1,\ldots,x_n\in X\text{ are distinct}\}$ is monochromatic. It is known that the same statement is false, in a very strong sense, if one attempts to obtain an uncountable (rather than just infinite) $X$. On the other hand, a recent result of Komj\'ath states that, for partitions into uncountably many cells, it is possible to obtain monochromatic sets of the form $\mathrm{FS}(X)$, for $X$ of some prescribed finite size, when working with sufficiently large Boolean groups. In this paper, we provide a generalization of Komj\'ath's result, and we show that, in a sense, this generalization is the strongest possible.


title: Modelling of Bose - Einstein condensation in a water tank

abstract: It is shown that surface waves propagating against the external current, slowly varying in the horizontal direction in deep water, are governed by the equation which is tantamount to the Gross - Pitaevskii equation modelling the mean-field dynamics of Bose - Einstein condensate. The repulsive or attractive sign of the cubic term in the Gross -Pitaevskii equation is controlled by the choice of the carrier wavelength of the surface waves, while the spatial variation of the current plays the role of the external potential in that equation. The current profile can be easily controlled in the experiments by small variation of the bottom profile, so that the corresponding effective potential in the Gross - Pitaevskii equation can be made in the form of a well or hump. It is shown that the phenomenon of the Bose - Einstein condensation can be effectively emulated in relatively simple laboratory setups for water waves. Generating perturbations with an appropriate carrier wavelength, one can create patterns in the form of trapped waves which correspond to pinned states of Gross - Pitaevskii equation with local potentials. The estimates demonstrate that the parameters of bottom profile, background current, and surface waves are quite accessible to laboratory experiments.


title: Generalized Lambert series, Raabe's integral and a two-parameter generalization of Ramanujan's formula for $\zeta(2m+1)$

abstract: A comprehensive study of the generalized Lambert series $\displaystyle\sum_{n=1}^{\infty}\frac{n^{N-2h}\exp{(-an^{N}x)}}{1-\exp{(-n^{N}x)}}, 0<a\leq 1,\ x>0$, $N\in\mathbb{N}$ and $h\in\mathbb{Z}$, is undertaken. Two of the general transformations of this series that we obtain here lead to two-parameter generalizations of Ramanujan's famous formula for $\zeta(2m+1)$, $m>0$ and the transformation formula for $\log\eta(z)$. Numerous important special cases of our transformations are derived. An identity relating $\zeta(2N+1), \zeta(4N+1),\cdots, \zeta(2Nm+1)$ is obtained for $N$ odd and $m\in\mathbb{N}$. Certain transcendence results of Zudilin- and Rivoal-type are obtained for odd zeta values and generalized Lambert series. A criterion for transcendence of $\zeta(2m+1)$ and a Zudilin-type result on irrationality of Euler's constant $\gamma$ are also given. New results analogous to those of Ramanujan and Klusch for $N$ even, and a transcendence result involving $\zeta\left(2m+1-\frac{1}{N}\right)$, are obtained.


title: Theoretical bounds for the exponent in the empirical power-law advance-time curve for surface flow

abstract: A fundamental and widely applied concept used to study surface flow processes is the advance-time curve characterized by an empirical power law with an exponent r and a numerical prefactor p (i.e., x = p*t^r). In the literature, different values of r have been reported for various situations and types of surface irrigation. Invoking concepts from percolation theory, we related the exponent r to the backbone fractal dimension Db, whose value depends on two factors: dimensionality of the system (e.g., two or three dimensions) and percolation class (e.g., random or invasion percolation with/without trapping). We showed that the theoretical bounds of Db are in well agreement with experimental ranges of r reported in the literature for two furrow and border irrigation systems. We also used the value of Db from the optimal path class of percolation theory to estimate the advance-time curves of four furrows and seven irrigation cycles. Excellent agreement was obtained between the estimated and observed curves.


title: Toward an understanding of GRB prompt emission mechanism: II. Patterns of peak energy evolution and their connection to spectral lags

abstract: The prompt emission phase of gamma-ray bursts (GRBs) exhibits two distinct patterns of the peak-energy ($E_p$) evolution, i.e., time-resolved spectral analyses of $\nu F_{\nu}$ spectra of broad pulses reveal (1) "hard-to-soft" and (2) "flux-tracking" patterns of $E_p$ evolution in time, the physical origin of which still remains not well understood. We show here that these two patterns can be successfully reproduced within a simple physical model invoking synchrotron radiation in a bulk-accelerating emission region. We show further that the evolution patterns of the peak energy have, in fact, direct connections to the existence of two different (positive or negative) types of spectral lags, seen in the broad pulses. In particular, we predict that (1) only the positive type of spectral lags is possible for the hard-to-soft evolution of the peak energy, (2) both the positive and negative type of spectral lags can occur in the case of flux-tracking pattern of the peak energy, (3) for the flux-tracking pattern, the peak location of the flux light curve slightly lags behind the peak of the $E_p$ evolution with time if the spectral lags are positive, and (4) in the case of flux-tracking pattern, double-peaked broad pulses can appear in the light curves, the shape of which is energy-dependent.


title: Contextual Multi-Scale Region Convolutional 3D Network for Activity Detection

abstract: Activity detection is a fundamental problem in computer vision. Detecting activities of different temporal scales is particularly challenging. In this paper, we propose the contextual multi-scale region convolutional 3D network (CMS-RC3D) for activity detection. To deal with the inherent temporal scale variability of activity instances, the temporal feature pyramid is used to represent activities of different temporal scales. On each level of the temporal feature pyramid, an activity proposal detector and an activity classifier are learned to detect activities of specific temporal scales. Temporal contextual information is fused into activity classifiers for better recognition. More importantly, the entire model at all levels can be trained end-to-end. Our CMS-RC3D detector can deal with activities at all temporal scale ranges with only a single pass through the backbone network. We test our detector on two public activity detection benchmarks, THUMOS14 and ActivityNet. Extensive experiments show that the proposed CMS-RC3D detector outperforms state-of-the-art methods on THUMOS14 by a substantial margin and achieves comparable results on ActivityNet despite using a shallow feature extractor.


title: Marketing Analytics: Methods, Practice, Implementation, and Links to Other Fields

abstract: Marketing analytics is a diverse field, with both academic researchers and practitioners coming from a range of backgrounds including marketing, expert systems, statistics, and operations research. This paper provides an integrative review at the boundary of these areas. The aim is to give researchers in the intelligent and expert systems community the opportunity to gain a broad view of the marketing analytics area and provide a starting point for future interdisciplinary collaboration. The topics of visualization, segmentation, and class prediction are featured. Links between the disciplines are emphasized. For each of these topics, a historical overview is given, starting with initial work in the 1960s and carrying through to the present day. Recent innovations for modern, large, and complex "big data" sets are described. Practical implementation advice is given, along with a directory of open source R routines for implementing marketing analytics techniques.


title: Is interacting vacuum viable?

abstract: We study the asymptotic dynamics of dark energy as a mixture of pressureless matter and an interacting vacuum component. We find that the only dynamics compatible with current observational data favors an asymptotically vanishing matter-vacuum energy interaction in a model where dark energy is simulated by a generalized Chaplygin gas cosmology


title: A model of Josephson Junctions on Boson Systems - Currents and Entropy Production Rate -

abstract: Non-equilibrium steady states (NESS), in the sense of D. Ruelle, of Boson systems with Bose--Einstein condensation (BEC) are investigated with the aid of the C^*-algebraic method. The model consists of a quantum particle and several bosonic reservoirs. We show that the mean entropy production rate is strictly positive, independent of phase differences provided that the temperatures or the chemical potentials of reservoirs are different. Moreover, Josephson currents occur without entropy production, if the temperatures and the chemical potentials of reservoirs are identical.


title: On the quasisymmetric minimality of homogeneous perfect sets

abstract: Z. Wen and J. Wu introduced the notion of homogeneous perfect sets as a generalization of Cantor type sets and determined their exact Hausdorff dimension based on the length of their fundamental intervals and the gaps between them. In this paper, we considered the minimality of the homogeneous perfect sets with Hausdorff dimension 1 and proved they are 1-dimensional quasisymmetrically minimal under some conditions.


title: Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers

abstract: Flow- and context-sensitive points-to analysis is difficult to scale; for top-down approaches, the problem centers on repeated analysis of the same procedure; for bottom-up approaches, the abstractions used to represent procedure summaries have not scaled while preserving precision. We propose a novel abstraction called the Generalized Points-to Graph (GPG) which views points-to relations as memory updates and generalizes them using the counts of indirection levels leaving the unknown pointees implicit. This allows us to construct GPGs as compact representations of bottom-up procedure summaries in terms of memory updates and control flow between them. Their compactness is ensured by the following optimizations: strength reduction reduces the indirection levels, redundancy elimination removes redundant memory updates and minimizes control flow (without over-approximating data dependence between memory updates), and call inlining enhances the opportunities of these optimizations. We devise novel operations and data flow analyses for these optimizations. Our quest for scalability of points-to analysis leads to the following insight: The real killer of scalability in program analysis is not the amount of data but the amount of control flow that it may be subjected to in search of precision. The effectiveness of GPGs lies in the fact that they discard as much control flow as possible without losing precision (i.e., by preserving data dependence without over-approximation). This is the reason why the GPGs are very small even for main procedures that contain the effect of the entire program. This allows our implementation to scale to 158kLoC for C programs.


title: A Stable Weak Galerkin Finite Element Method for Stokes Problem

abstract: We study the weak Galerkin finite element method for Stokes problem. A new weak Galerkin finite element velocity-pressure space pair is presented which satisfies the discrete inf-sup condition. Based on this space pair, we establish a stable weak Galerkin approximation scheme without adding any stability term or penalty term. Then, we further derive the optimal error estimates for velocity and pressure approximations, respectively. Numerical experiments are provided to illustrate the theoretical analysis.


title: On projective varieties with strictly nef tangent bundles

abstract: In this paper, we study smooth complex projective varieties $X$ such that some exterior power $\bigwedge^r T_X$ of the tangent bundle is strictly nef. We prove that such varieties are rationally connected. We also classify the following two cases. If $T_X$ is strictly nef, then $X$ isomorphic to the projective space $\mathrm{P}^n$. If $\bigwedge^2 T_X$ is strictly nef and if $X$ has dimension at least $3$, then $X$ is either isomorphic to $\mathrm{P}^n$ or a quadric $\mathrm{Q}^n$.


title: Bloch Oscillations in Chains of Artificial Atoms Dressed with Photons

abstract: We present the model of one-dimensional chain of two-level artificial atoms driven with dc field and quantum light simultaneously in strong coupling regime. The interaction of atoms with light leads to entanglement of electron and photon states (dressing of the atoms). The driving via dc field leads to the Bloch oscillations (BO) in the chain of dressed atoms. We considered the mutual influence of dressing and BO and show that scenario of oscillations dramatically differs from predicted by the Jaynes-Cummings and Bloch-Zener models. We study the evolution of the population inversion, tunneling current, photon probability distribution, mean number of photons, photon number variance and show the influence of BO on the quantum-statistical characteristics of light. For example, collapse-revivals picture and vacuum Rabi-oscillations are strongly modulated with Bloch frequency. As a result, quantum properties of light and degree of electron-photon entanglement become controllable via adiabatic dc field turning. On the other hand, the low-frequency tunneling current depends on the quantum light statistics (in particular, for coherent initial state it is modulated accordingly the collapse-revivals picture). The developed model is universal with respect to the physical origin of artificial atom and frequency range of atom-light interaction. The model is adapted to the 2D-heterostructures (THz frequencies), semiconductor quantum dots (optical range), and Josephson junctions (microwaves). The data for numerical simulations are taken from recently published experiments. The obtained results open a new ways in quantum state engineering and nano-photonic spectroscopy.


title: A statistical inference approach to structural reconstruction of complex networks from binary time series

abstract: Complex networks hosting binary-state dynamics arise in a variety of contexts. In spite of previous works, to fully reconstruct the network structure from observed binary data remains to be challenging. We articulate a statistical inference based approach to this problem. In particular, exploiting the expectation-maximization (EM) algorithm, we develop a method to ascertain the neighbors of any node in the network based solely on binary data, thereby recovering the full topology of the network. A key ingredient of our method is the maximum likelihood estimation of the probabilities associated with actual or non-existent links, and we show that the EM algorithm can distinguish the two kinds of probability values without any ambiguity, insofar as the length of the available binary time series is reasonably long. Our method does not require any {\em a priori} knowledge of the detailed dynamical processes, is parameter free, and is capable of accurate reconstruction even in the presence of noise. We demonstrate the method using combinations of distinct types of binary dynamical processes and network topologies, and provide a physical understanding of the underlying reconstruction mechanism. Our statistical inference based reconstruction method contributes an additional piece to the rapidly expanding "toolbox" of data based reverse engineering of complex networked systems.


title: A Gale-Berlekamp permutation-switching problem in higher dimensions

abstract: Let an $n\times n$ array $\left( a_{ij}\right) $ of lights be given, each either on (when $a_{ij}=1$) or off (when $a_{ij}=-1$). For each row and each column there is a switch so that if the switch is pulled ($x_{i}=-1$ for row $i$ and $y_{j}=-1$ for column $j$) all of the lights in that line are switched: on to off or off to on. The unbalancing lights problem (Gale-Berlekamp switching game) consists in maximizing the difference between the lights on and off. We obtain the exact parameters for a generalization of the unbalancing lights problem in higher dimensions.


title: Improved Training of Generative Adversarial Networks Using Representative Features

abstract: Despite the success of generative adversarial networks (GANs) for image generation, the trade-off between visual quality and image diversity remains a significant issue. This paper achieves both aims simultaneously by improving the stability of training GANs. The key idea of the proposed approach is to implicitly regularize the discriminator using representative features. Focusing on the fact that standard GAN minimizes reverse Kullback-Leibler (KL) divergence, we transfer the representative feature, which is extracted from the data distribution using a pre-trained autoencoder (AE), to the discriminator of standard GANs. Because the AE learns to minimize forward KL divergence, our GAN training with representative features is influenced by both reverse and forward KL divergence. Consequently, the proposed approach is verified to improve visual quality and diversity of state of the art GANs using extensive evaluations.


title: Photon-added and photon-subtracted coherent states on a sphere

abstract: In this paper, we construct the $m$-photon-added and $m$-photon-subtracted coherent states on a sphere. These states are shown to satisfy the usual conditions of continuity in the label, normalizability and the resolution of identity. The preparation of the constructed states, as the states of radiation field is considered. We examine and analyze the nonclassical properties of these states, including the photon mean number, Mandel parameter and quadrature squeezing. We find that these states are sub-Poissonian in nature, whereas the degree of squeezing is reduced (enhanced) by increasing $m$ for the photon-added (photon-subtracted) coherent states on a sphere.


title: Algorithmic Linearly Constrained Gaussian Processes

abstract: We algorithmically construct multi-output Gaussian process priors which satisfy linear differential equations. Our approach attempts to parametrize all solutions of the equations using Gr\"obner bases. If successful, a push forward Gaussian process along the paramerization is the desired prior. We consider several examples from physics, geomathematics and control, among them the full inhomogeneous system of Maxwell's equations. By bringing together stochastic learning and computer algebra in a novel way, we combine noisy observations with precise algebraic computations.


title: Flow equivalence of topological Markov shifts and Ruelle algebras

abstract: We study discrete flow equivalence of two-sided topological Markov shifts by using extended Ruelle algebras. We characterize flow equivalence of two-sided topological Markov shifts in terms of conjugacy of certain actions weighted by ceiling functions of two-dimensional torus on the stabilized extended Ruelle algebras for the Markov shifts.


title: Photoelectron angular distribution from the high-order above-threshold ionization process in IR+XUV two-color laser fields

abstract: High-order above-threshold ionization (HATI) spectrum in IR+XUV two-color laser fields has been investigated. We found that the quantum features corresponding to the absorption of the XUV photon is well illustrated by a peculiar dip structure in the second plateau of the HATI spectrum. By the channel analysis, we show that the angular distribution of the spectrum is attributed to the coherent summation over contributions of different channels, and the dip structure in the spectrum is directly related to the absorption of one XUV photon of the ionized electron during the laser-assisted collision (LAC) with its parent ion in the two-color laser fields. Moreover, by employing the saddle-point approximation, we obtain the classical energy orbit equation, and find that the dip structure comes from the fact that the LAC is limited at a certain direction by the momentum conservation law as the electron absorbs one XUV photon during the collision, where the probability of the HATI gets its minimum value. Finally, we find that the interference pattern in the whole spectrum is attributed to the interference of different orbits at collision moments $t_0$ and $2\pi/\omega_1-t_0$ in the LAC process.


title: Noise-induced Mixing and Multimodality in Reaction Networks

abstract: We analyze a class of chemical reaction networks under mass-action kinetics and involving multiple time-scales, whose deterministic and stochastic models display qualitative differences. The networks are inspired by gene-regulatory networks, and consist of a slow-subnetwork, describing conversions among the different gene states, and fast-subnetworks, describing biochemical interactions involving the gene products. We show that the long-term dynamics of such networks can consist of a unique attractor at the deterministic level (unistability), while the long-term probability distribution at the stochastic level may display multiple maxima (multimodality). The dynamical differences stem from a novel phenomenon we call noise-induced mixing, whereby the probability distribution of the gene products is a linear combination of the probability distributions of the fast-subnetworks which are `mixed' by the slow-subnetworks. The results are applied in the context of systems biology, where noise-induced mixing is shown to play a biochemically important role, producing phenomena such as stochastic multimodality and oscillations.


title: Quantum criticality at the superconductor insulator transition probed by the Nernst effect

abstract: The superconductor-insulator transition (SIT) is an excellent example for a quantum phase transition at zero temperature, dominated by quantum fluctuations. These are expected to be very prominent close to the quantum critical point. So far most of the experimental study of the SIT has concentrated on transport properties and tunneling experiments which provide indirect information on criticality close to the transition. Here we present an experiment uniquely designed to study the evolution of quantum fluctuations through the quantum critical point. We utilize the Nernst effect, which has been shown to be effective in probing superconducting fluctuation. We measure the Nernst coefficient in amorphous indium oxide films tuned through the SIT and find a large signal on both the superconducting and the insulating sides which peaks close to the critical point. The transverse Peltier coefficient, $\alpha_{xy}$ which is the thermodynamic quantity extracted from these measurements, follows quantum critical scaling with critical exponents $\nu \sim 0.7$ and $z \sim 1$ which is consistent with a clean XY model in 2+1 dimensions.


title: Nucleon Properties in the Polyakov Quark Meson Model

abstract: We study the nucleon as a nontopological soliton in a quark medium as well as in a nucleon medium in terms of the Polyakov quark meson (PQM) model with two flavors at finite temperature and density. The constituent quark masses evolving with the temperature at various baryon chemical potentials are calculated and the equations of motion are solved according to the proper boundary conditions. The PQM model predicts an increasing size of the nucleon and a reduction of the nucleon mass in both hot environment. However, the phase structure is different from each other in quark and nucleon mediums. There is a crossover in the low-density region and a first-order phase transition in the high-density region in quark medium, whereas there exists a crossover characterized by the overlap of the nucleons in nucleon medium.


title: Fixed points of Sturmian morphisms and their derivated words

abstract: Any infinite uniformly recurrent word ${\bf u}$ can be written as concatenation of a finite number of return words to a chosen prefix $w$ of ${\bf u}$. Ordering of the return words to $w$ in this concatenation is coded by derivated word $d_{\bf u}(w)$. In 1998, Durand proved that a fixed point ${\bf u}$ of a primitive morphism has only finitely many derivated words $d_{\bf u}(w)$ and each derivated word $d_{\bf u}(w)$ is fixed by a primitive morphism as well. In our article we focus on Sturmian words fixed by a primitive morphism. We provide an algorithm which to a given Sturmian morphism $\psi$ lists the morphisms fixing the derivated words of the Sturmian word ${\bf u} = \psi({\bf u})$. We provide a sharp upper bound on length of the list.


title: Fast Standing Modes in Transversely Nonuniform Solar Coronal Slabs: Effects of a Finite Plasma Beta

abstract: We examine the dispersive properties of linear fast standing modes in transversely nonuniform solar coronal slabs with finite gas pressure, or, equivalently, finite plasma beta. We derive a generic dispersion relation governing fast waves in coronal slabs for which the continuous transverse distributions of the physical parameters comprise a uniform core, a uniform external medium, and a transition layer (TL) in between. The profiles in the TL are allowed to be essentially arbitrary. Restricting ourselves to the first several branches of fast modes, which are of most interest from the observational standpoint, we find that a finite plasma beta plays an at most marginal role in influencing the periods ($P$), damping times ($\tau$), and critical longitudinal wavenumbers ($k_{\rm c}$), when both $P$ and $\tau$ are measured in units of the transverse fast time. However, these parameters are in general significantly affected by how the TL profiles are described. We conclude that, for typical coronal structures, the dispersive properties of the first several branches of fast standing modes can be evaluated with the much simpler theory for cold slabs provided that the transverse profiles are properly addressed and the transverse Alfv\'en time in cold MHD is replaced with the transverse fast time.


title: Nobeyama 45m Cygnus-X CO survey I: photodissociation of molecules revealed by the unbiased large-scale CN and C$^{18}$O maps

abstract: We present an unbiased large-scale (9 deg$^2$) CN ($N$=1-0) and C$^{18}$O ($J$=1-0) survey of Cygnus-X conducted with the Nobeyama 45m Cygnus-X CO survey. CN and C$^{18}$O are detected in various objects towards the Cygnus-X North and South (e.g., DR17, DR18, DR21, DR22, DR23, and W75N). We find that CN/C$^{18}$O integrated intensity ratios are systematically different from region to region, and are especially enhanced in DR17 and DR18 which are irradiated by the nearby OB stars. This result suggests that CN/C$^{18}$O ratios are enhanced via photodissociation reactions. We investigate the relation between the CN/C$^{18}$O ratio and strength of the UV radiation field. As a result, we find that CN/C$^{18}$O ratios correlate with the far-UV intensities, $G_0$. We also find that CN/C$^{18}$O ratios decrease inside molecular clouds, where the interstellar UV radiation is reduced due to the interstellar dust extinction. We conclude that the CN/C$^{18}$O ratio is controlled by the UV radiation, and is a good probe of photon-dominated regions.


title: Finite Groups Having Nonnormal T.I. Subgroups

abstract: In the present paper, the structure of a finite group $G$ having a nonnormal T.I. subgroup $H$ which is also a Hall $\pi$-subgroup is studied. As a generalization of a result due to Gow, we prove that $H$ is a Frobenius complement whenever $G$ is $\pi$-separable. This is achieved by obtaining the fact that Hall T.I. subgroups are conjugate in a finite group. We also prove two theorems about normal complements one of which generalizes a classical result of Frobenius.


title: Interaction of a hydrogenlike ion with a planar topological insulator

abstract: An electric charge near the surface of a topological insulator (TI) induces an image magnetic monopole. Here we study the spectra of hydrogenlike ions near the surface of a planar TI, taking into account the modifications which arise due to the presence of the image monopole magnetic fields. In fact, the atom-TI interaction provides additional contributions to the Casimir-Polder potential while the ion-TI interaction modifies the energy shifts in the spectrum, which now became distance dependent. We show that the hyperfine structure is sensitive to the image magnetic monopole fields in states with nonzero angular momentum, and that circular Rydberg ions can enhance the maximal energy shifts. We discuss in detail the energy splitting of the $n$P$_{1/2}$ and $n$P$_{3/2}$ states in hydrogen. We also analyze the Casimir-Polder potential and find that this magnetic interaction produces a large distance repulsive tail for some particular atomic states. A sizable value of the maximum of the potential requires TIs with very low values of the permittivity together with high values of the topological magnetoelectric polarization.


title: Constant-roll tachyon inflation and observational constraints

abstract: For the constant-roll tachyon inflation, we derive the analytical expressions for the scalar and tensor power spectra, the scalar and tensor spectral tilts and the tensor to scalar ratio up to the first order by using the method of Bessel function approximation. The derived $n_s-r$ results for the constant-roll inflation are also compared with the observations, we find that only one constant-roll inflation is consistent with the observations and observations constrain the constant-roll inflation to be slow-roll inflation. The tachyon potential is also reconstructed for the constant-roll inflation which is consistent with the observations.


title: Nash inequality for Diffusion Processes Associated with Dirichlet Distributions

abstract: For any $N\ge 2$ and $\alpha=(\alpha_1,\cdots, \alpha_{N+1})\in (0,\infty)^{N+1}$, let $\mu^{(N)}_{\alpha}$ be the Dirichlet distribution with parameter $\alpha$ on the set $\Delta^{ (N)}:= \{ x \in [0,1]^N:\ \sum_{1\le i\le N}x_i \le 1 \}.$ The multivariate Dirichlet diffusion is associated with the Dirichlet form $${\scr E}_\alpha^{(N)}(f,f):= \sum_{n=1}^N \int_{ \Delta^{(N)}} \bigg(1-\sum_{1\le i\le N}x_i\bigg) x_n(\partial_n f)^2(x)\,\mu^{(N)}_\alpha(d x)$$ with Domain ${\scr D}({\scr E}_\alpha^{(N)})$ being the closure of $C^1(\Delta^{(N)})$. We prove the Nash inequality $$\mu_\alpha^{(N)}(f^2)\le C {\scr E}_\alpha^{(N)}(f,f)^{\frac p{p+1} }\mu_\alpha^{(N)} (|f|)^{\frac 2 {p+1}},\ \ f\in {\scr D}({\scr E}_\alpha^{(N)}), \mu_\alpha^{(N)}(f)=0$$ for some constant $C>0$ and $p= (\alpha_{N+1}-1)^+ +\sum_{i=1}^N 1\lor (2\alpha_i),$ where the constant $p$ is sharp when $\max_{1\le i\le N} \alpha_i \le 1/2$ and $\alpha_{N+1}\ge 1$. This Nash inequality also holds for the corresponding Fleming-Viot process.


title: Selective highly charged ions as the prospective optical clock candidates with quality factors larger than $10^{15}$

abstract: We propose here a few selective highly charged ions (HCIs), namely Ni$^{12+}$ and Cu$^{13+}$, Pd$^{12+}$ and Ag$^{13+}$, that not only promise to be very high accurate optical clocks below $10^{-19}$ uncertainties, but also offer quality factors larger than $10^{15}$ and yet possess simple atomic structures for the experimental set-up. Moreover, these ions have strong optical magnetic-dipole (M1) transitions than the previously proposed HCI clocks. They can be used for the cooling and detection techniques. To demonstrate the projected fractional uncertainties below $10^{-19}$ level, we have estimated the typical orders of magnitudes due to many of the conventional systematics manifested in an atomic clock experiment, such as Zeeman, Stark, black-body radiation, and electric quadrupole shifts, by performing calculations of the relevant atomic properties.


title: Exact expansions of Hankel transforms and related integrals

abstract: The Hankel transform H_n[f(x)](q) = int_0^infinity xf(x)J_n(qx)dx is studied for integer n>=-1 and positive parameter q. It is proved that the Hankel transform is given by uniformly and absolutely convergent series in reciprocal powers of q, provided special conditions on the function f(x) and its derivatives are imposed. It is necessary to underline that similar formulas obtained previously are in fact asymptotic expansions only valid when q tends to infinity. If one of the conditions is violated, our series become asymptotic series. The validity of the formulas is illustrated by a number of examples.


title: BOPS, Not FLOPS! A New Metric and Roofline Performance Model For Datacenter Computing

abstract: For emerging datacenter (in short, DC) workloads, such as online Internet services or offline data analytics, how to evaluate the upper bound performance and provide apple-to-apple comparisons are fundamental problems. To this end, a unified computation-centric metric is an essential requirement. As the most important computation-centric performance metric, FLOPS has guided computing systems evolutions for many years. However, our observations demonstrate that the average FLOPS efficiency of the DC workloads is only 0.1%, which implies that FLOPS is inappropriate for DC computing. To address the above issue, we propose BOPS (Basic Operations Per Second), which is the average number of BOPs (Basic OPerations) completed per second. We conduct the analysis on the characteristics of seventeen typical DC workloads and extract the minimum representative computation operations set, which is composed of integer and floating point computation operations of arithmetic, comparing and array addressing. Then, we propose the formalized BOPS definition and the BOPS based upper bound performance model. Finally, the BOPS measuring tool is also implemented. We perform experiments with seventeen DC workloads on three typical Intel processors platforms. First, BOPS can reflect the performance gap of different computing systems, the bias between the peak BOPS performance gap and the average DC workloads' wall clock time gap is no more than 10%. Second, the Sort workload can achieve 32% BOPS efficiency on the experimental platform. At last, we present two use cases of BOPS. One is the BOPS based system evaluation, we illustrate that BOPS can compare performance of workloads from multiple domains. The other is BOPS based optimizations. We show that under the guiding of the BOPS based upper bound model, the Sort workload and the Redis workload achieve 4.4X and 1.2X performance improvements respectively.


title: Fr\'echet differentiability in Fr\'echet spaces, and differential equations with unbounded variable delay

abstract: We introduce and discuss Fr\'echet differentiability for maps between Fr\'echet spaces. For delay differential equations $x'(t)=f(x_t)$ we construct a continuous semiflow of continuously differentiable solution operators $x_0\mapsto x_t$, $t\ge0$, on submanifolds of the Fr\'echet space $C^1((-\infty,0],\mathbb{R}^n)$, and establish local invariant manifolds at stationary points by means of transversality and embedding properties. The results apply to examples with unbounded but locally bounded delay.


title: Delay differential equations with differentiable solution operators on open domains in $C((-\infty,0],\mathbb{R}^n)$, and processes for Volterra integro-differential equations

abstract: For autonomous delay differential equations $x'(t)=f(x_t)$ we construct a continuous semiflow of continuously differentiable solution operators $x_0\mapsto x_t$, $t\ge0$, on open subsets of the Fr\'echet space $C((-\infty,0],\mathbb{R}^n)$. For nonautonomous equations this yields a continuous process of differentiable solution operators. As an application we obtain processes which incorporate all solutions of Volterra integro-differential equations $x'(t)=\int_0^tk(t,s)h(x(s))ds$


title: The kurtosis of net baryon number fluctuations from a realistic Polyakov--Nambu--Jona-Lasinio model along the experimental freeze-out line

abstract: Firstly we qualitatively analyze the formation of the dip and peak structures of the kurtosis $\kappa \sigma^2$ of net baryon number fluctuation along imagined freeze-out lines and discuss the signature of the existence of the QCD critical end point (CEP) in the Nambu--Jona-Lasinio (NJL) model, Polyakov-NJL (PNJL) model as well as $\mu$-dependent PNJL($\mu$ PNJL) model with different parameter sets, and then we apply a realistic PNJL model with parameters fixed by lattice data at zero chemical potential, and quantitatively investigate its $\kappa \sigma^2$ along the real freeze-out line extracted from experiments. The important contribution from gluodynamics to the baryon number fluctuations is discussed. The peak structure of $\kappa \sigma^2$ along the freeze-out line is solely determined by the existence of the CEP mountain and can be used as a clean signature for the existence of CEP. The formation of the dip structure is sensitive to the relation between the freeze-out line and the phase boundary, and the freeze-out line starts from the back-ridge of the phase boundary is required. To our surprise, the kurtosis $\kappa \sigma^2$ produced from the realistic PNJL model along the experimental freeze-out line agrees with BES-I data well, which indicates that equilibrium result can explain the experimental data. It is worth to point out that the extracted freeze-out temperatures from beam energy scan measurement are indeed higher than the critical temperatures at small chemical potentials, which supports our qualitative analysis.


title: Cross-over between diffusion-limited and reaction-limited regimes in the coagulation-diffusion process

abstract: The change from the diffusion-limited to the reaction-limited cooperative behaviour in reaction-diffusion systems is analysed by comparing the universal long-time behaviour of the coagulation-diffusion process on a chain and on the Bethe lattice. On a chain, this model is exactly solvable through the empty-interval method. This method can be extended to the Bethe lattice, in the ben-Avraham-Glasser approximation. On the Bethe lattice, the analysis of the Laplace-transformed time-dependent particle-density is analogous to the study of the stationary state, if a stochastic reset to a configuration of uncorrelated particles is added. In this stationary state logarithmic corrections to scaling are found, as expected for systems at the upper critical dimension. Analogous results hold true for the time-integrated particle-density. The crossover scaling functions and the associated effective exponents between the chain and the Bethe lattice are derived.

categories: cond-mat.stat-mech math-ph math.MP physics.chem-ph


title: Observations of excitation and damping of transversal oscillation in coronal loops by AIA/SDO

abstract: The excitation and damping of transversal coronal loop oscillations and quantitative relation between damping time, damping quality (damping time per period), oscillation amplitude, dissipation mechanism and the wake phenomena are investigated. The observed time series data with the \textit{Atmospheric Imaging Assembly} (AIA) telescope on NASA's \textit{Solar Dynamics Observatory} (SDO) satellite on 2015 March 2, consisting of 400 consecutive images with 12 seconds cadence in the 171 $ \rm{{\AA}}$ pass band is analyzed for evidence of transversal oscillations along the coronal loops by Lomb-Scargle periodgram. In this analysis signatures of transversal coronal loop oscillations that are damped rapidly were found with dominant oscillation periods in the range of $\rm{P=12.25-15.80}$ minutes. Also, damping times and damping qualities of transversal coronal loop oscillations at dominant oscillation periods are estimated in the range of $ \rm{\tau_d=11.76-21.46}$ minutes and $ \rm{\tau_d/P=0.86-1.49}$, respectively. The observational results of this analysis show that damping qualities decrease slowly with increasing the amplitude of oscillation, but periods of oscillations are not sensitive function of amplitude of oscillations. The order of magnitude of the damping qualities and damping times are in good agreement with previous findings and the theoretical prediction for damping of kink mode oscillations by dissipation mechanism. Furthermore, oscillation of loop segments attenuate with time roughly as $t^{-\alpha}$ that magnitude values of $\alpha$ for 30 different segments change from 0.51 to 0.75.


title: Simulating Soft-Sphere Margination in Arterioles and Venules

abstract: In this paper, we deploy a Lattice Boltzmann - Particle Dynamics (LBPD) method to dissect the transport properties within arterioles and venules. First, the numerical approach is applied to study the transport of Red Blood Cells (RBC) through plasma and validated by means of comparison with the experimental data in the seminal work by F{\aa}hr{\ae}us and Lindqvist. Then, the presence of micro-scale, soft spheres within the blood flow is considered: the evolution in time of the position of such spheres is studied, in order to highlight the presence of possible \textit{margination} effects. The results of the simulations and the evaluation of the computational eff


title: The Zarankiewicz problem in 3-partite graphs

abstract: Let $F$ be a graph, $k \geq 2$ be an integer, and write $\mathrm{ex}_{ \chi \leq k } (n , F)$ for the maximum number of edges in an $n$-vertex graph that is $k$-partite and has no subgraph isomorphic to $F$. The function $\mathrm{ex}_{ \chi \leq 2} ( n , F)$ has been studied by many researchers. Finding $\mathrm{ex}_{ \chi \leq 2} (n , K_{s,t})$ is a special case of the Zarankiewicz problem. We prove an analogue of the K\"{o}v\'{a}ri-S\'{o}s-Tur\'{a}n Theorem for 3-partite graphs by showing \[ \mathrm{ex}_{ \chi \leq 3} (n , K_{s,t} ) \leq \left( \frac{1}{3} \right)^{1 - 1/s} \left( \frac{ t - 1}{2} + o(1) \right)^{1/s} n^{2 - 1/s} \] for $2 \leq s \leq t$. Using Sidon sets constructed by Bose and Chowla, we prove that this upper bound is asymptotically best possible in the case that $s = 2$ and $t \geq 3$ is odd, i.e., $\mathrm{ex}_{ \chi \leq 3} ( n , K_{2,2t+1} ) = \sqrt{ \frac{t}{3}} n^{3/2} + o(n^{3/2})$ for $t \geq 1$. In the cases of $K_{2,t}$ and $K_{3,3}$, we use a result of Allen, Keevash, Sudakov, and Verstra\"{e}te, to show that a similar upper bound holds for all $k \geq 3$, and gives a better constant when $s=t=3$. Lastly, we point out an interesting connection between difference families from design theory and $\mathrm{ex}_{ \chi \leq 3 } (n ,C_4)$.


title: The Methods of Layer Potentials for General Elliptic Homogenization Problems in Lipschitz Domains

abstract: In terms of layer potential methods, this paper is devoted to study the $L^2$ boundary value problems for nonhomogeneous elliptic operators with rapidly oscillating coefficients in a periodic setting. Under a low regularity assumption on the coefficients, we establish the solvability for Dirichlet, regular and Neumann problems in a bounded Lipschitz domain, as well as, the uniform nontangential maximal function estimates and square function estimates. The main difficulty is reflected in two aspects: (i) we can not treat the lower order terms as a compact perturbation to the leading term due to the low regularity assumption; (ii) the nonhomogeneous systems do not possess a scaling-invariant property in general. Although this work may be regarded as a follow-up to C. Kenig and Z. Shen's in \cite{SZW24}, we make an effort to find a clear way of how to handle the nonhomogeneous operators by using the known results of the homogenous ones. Also, we mention that the periodicity condition plays a key role in the scaling-invariant estimates.


title: Renormalizability of pure $\mathcal{N}=1$ Super Yang-Mills in the Wess-Zumino gauge in the presence of the local composite operators $A^{2}$ and $\bar{\lambda}\lambda$

abstract: The $\mathcal{N}=1$ Super Yang-Mills theory in the presence of the local composite operator $A^2$ is analyzed in the Wess-Zumino gauge by employing the Landau gauge fixing condition. Due to the superymmetric structure of the theory, two more composite operators, $A_\mu \gamma_\mu \lambda$ and $\bar{\lambda}\lambda$, related to the susy variations of $A^2$ are also introduced. A BRST invariant action containing all these operators is obtained. An all order proof of the multiplicative renormalizability of the resulting theory is then provided by means of the algebraic renormalization setup. Though, due to the non-linear realization of the supersymmetry in the Wess-Zumino gauge, the renormalization factor of the gauge field turns out to be different from that of the gluino.


title: Analysis of a Failed Eclipse Plasma Ejection Using EUV Observations

abstract: The photometry of eclipse white-light (W-L) images showing a moving blob is interpreted for the first time together with observations from space with the PRoject for On Board Autonomy (PROBA-2) mission (ESA). An off-limb event seen with great details in W-L was analyzed with the SWAP imager (Sun Watcher using Active pixel system detector and image Processing) working in the EUV near 174 A. It is an elongated plasma blob structure of 25 Mm diameter moving above the E-limb with coronal loops under. Summed and co-aligned SWAP images are evaluated using a 20 hours sequence, in addition to the July 11, 2010 eclipse W-L images taken from several sites. The Atmospheric Imaging Assembly (AIA) instruments on board the Solar Dynamical Observatory (SDO) recorded the event suggesting a magnetic reconnection near a high neutral point; accordingly, we also call it a magnetic plasmoid. The measured proper motion of the blob shows a velocity up to 12 km s^-1. Electron densities of the isolated condensation (cloud or blob or plasmoid) is photometrically evaluated. The typical value is 10^8 cm^-3 at r=1.7 R, superposed on a background corona of 10^7 cm^-3 density. The mass of the cloud near its maximum brightness is found to be 1.6x10^13 gr which is typically 0.6x10^-4 of the overall mass of the corona. From the extrapolated magnetic field the cloud evolves inside a rather broad open region but decelerates, after reaching its maximum brightness. The influence of such small events for supplying material to the ubiquitous slow wind is noticed. A precise evaluation of the EUV photometric data after accurately removing the stray light, suggests an interpretation of the weak 174 A radiation of the cloud as due to resonance scattering in the Fe IX/X lines.


title: Probability Mass Exclusions and the Directed Components of Pointwise Mutual Information

abstract: This paper examines how an event from one random variable provides pointwise mutual information about an event from another variable via probability mass exclusions. We start by introducing probability mass diagrams, which provide a visual representation of how a prior distribution is transformed to a posterior distribution through exclusions. With the aid of these diagrams, we identify two distinct types of probability mass exclusions---namely informative and misinformative exclusions. Then, motivated by Fano's derivation of the pointwise mutual information, we propose four postulates which aim to decompose the pointwise mutual information into two separate informational components: a non-negative term associated with the informative exclusion and a non-positive term associated with the misinformative exclusions. This yields a novel derivation of a familiar decomposition of the pointwise mutual information into entropic components. We conclude by discussing the relevance of considering information in terms of probability mass exclusions to the ongoing effort to decompose multivariate information.


title: Securing On-Body IoT Devices By Exploiting Creeping Wave Propagation

abstract: On-body devices are an intrinsic part of the Internet-of-Things (IoT) vision to provide human-centric services. These on-body IoT devices are largely embedded devices that lack a sophisticated user interface to facilitate traditional Pre-Shared Key based security protocols. Motivated by this real-world security vulnerability, this paper proposes SecureTag, a system designed to add defense in depth against active attacks by integrating physical layer (PHY) information with upper-layer protocols. The underpinning of SecureTag is a signal processing technique that extracts the peculiar propagation characteristics of creeping waves to discern on-body devices. Upon overhearing a suspicious transmission, SecureTag initiates a PHY-based challenge-response protocol to mitigate attacks. We implement our system on different commercial off-the-shelf (COTS) wearables and a smartphone. Extensive experiments are conducted in a lab, apartments, malls, and outdoor areas, involving 12 volunteer subjects of different age groups, to demonstrate the robustness of our system. Results show that our system can mitigate 96.13% of active attack attempts while triggering false alarms on merely 5.64% of legitimate traffic.


title: Contextual Modal Type Theory with Polymorphic Contexts

abstract: Modal types -- types that are derived from proof systems of modal logic -- have been studied as theoretical foundations of metaprogramming, where program code is manipulated as first-class values. In modal type systems, modality corresponds to a type constructor for code types and controls free variables and their types in code values. Nanevski et al. have proposed contextual modal type theory, which has modal types with fine-grained information on free variables: modal types are explicitly indexed by contexts -- the types of all free variables in code values. This paper presents $\lambda_{\forall[]}$, a novel extension of contextual modal type theory with parametric polymorphism over contexts. Such an extension has been studied in the literature but unlike earlier proposals, $\lambda_{\forall[]}$ is more general in that multiple parts of a single context can be abstracted. We formalize \lamfb with its type system and operational semantics given by $\beta$-reduction and prove its basic properties including subject reduction, strong normalization, and confluence. Moreover, to demonstrate the expressive power of polymorphic contexts, we show a type-preserving embedding from a two-level fragment of Davies' $\lambda_{\bigcirc}$, which is based on linear-time temporal logic, to $\lambda_{\forall[]}$.


abstract: We consider Bogoliubov de Gennes equation on metric graphs. The vertex boundary conditions providing self-adjoint realization of the Bogoliubov de Gennes operator on a metric star graph are derived. Secular equation providing quantization of the energy and the vertex transmission matrix are also obtained. Application of the model for Majorana wire networks is discussed.


title: A Probabilistic Ant-based Heuristic for the Longest Simple Cycle Problem in Complex Networks

abstract: We propose a new probabilistic ant-based heuristic (ANTH-LS) for the longest simple cycle problem. This NP-hard problem has numerous real-world applications in complex networks, including efficient construction of graph layouts, analysis of social networks or bioinformatics. Our algorithm is based on reinforcing the probability of traversing the edges, which have not been present in the long cycles found so far. Experimental results are presented for a set of social networks, protein-protein interation networks, network science graphs and DIMACS graphs. For 6 out of our 22 real-world network test instances, ANTH-LS has obtained an improvement on the longest cycle ever found.


title: {\gamma} Doradus stars as test of angular momentum transport models

abstract: Helioseismology and asteroseismology of red giant stars have shown that the distribution of angular momentum in stellar interiors, and its evolution with time remains an open issue in stellar physics. Owing to the unprecedented quality of Kepler photometry, we are able to seismically infer internal rotation rates in \gamma Doradus stars, which provide the MS counterpart to the red-giants puzzle. We confront these internal rotation rates to stellar evolution models with rotationally induced transport of angular momentum, in order to test angular momentum transport mechanisms. We used a stellar model-independent method developed by Christophe et al. in order to obtain seismically inferred, buoyancy radii and near-core rotation for 37 \gamma Doradus stars observed by Kepler. We show that the buoyancy radius can be used as a reliable evolution indicator for field stars on the MS. We computed rotating evolutionary models including transport of angular momentum in radiative zones, following Zahn and Maeder, with the CESTAM code. This code calculates the rotational history of stars from the birth line to the tip of the RGB. The initial angular momentum content has to be set initially, which is done by fitting rotation periods in young stellar clusters. We show a clear disagreement between the near-core rotation rates measured in the sample and the rotation rates obtained from evolutionary models including rotationally induced transport following Zahn (1992). These results show a disagreement similar to that of the Sun and red giant stars. This suggests the existence of missing mechanisms responsible for the braking of the core before and along the MS. The efficiency of the missing mechanisms is investigated. The transport of angular momentum as formalized by Zahn and Maeder cannot explain the measurements of near-core rotation in main-sequence intermediate-mass stars we have at hand.


title: GraphCombEx: A Software Tool for Exploration of Combinatorial Optimisation Properties of Large Graphs

abstract: We present a prototype of a software tool for exploration of multiple combinatorial optimisation problems in large real-world and synthetic complex networks. Our tool, called GraphCombEx (an acronym of Graph Combinatorial Explorer), provides a unified framework for scalable computation and presentation of high-quality suboptimal solutions and bounds for a number of widely studied combinatorial optimisation problems. Efficient representation and applicability to large-scale graphs and complex networks are particularly considered in its design. The problems currently supported include maximum clique, graph colouring, maximum independent set, minimum vertex clique covering, minimum dominating set, as well as the longest simple cycle problem. Suboptimal solutions and intervals for optimal objective values are estimated using scalable heuristics. The tool is designed with extensibility in mind, with the view of further problems and both new fast and high-performance heuristics to be added in the future. GraphCombEx has already been successfully used as a support tool in a number of recent research studies using combinatorial optimisation to analyse complex networks, indicating its promise as a research software tool.


title: Magnetotransport signatures of three-dimensional topological insulator nanostructures

abstract: We study the magnetotransport properties of patterned 3D topological insulator nanostructures with several leads, such as kinks or Y-junctions, near the Dirac point with analytical as well as numerical techniques. The interplay of the nanostructure geometry, the external magnetic field and the spin-momentum locking of the topological surface states lead to a richer magnetoconductance phenomenology as compared to straight nanowires. Similar to straight wires, a quantized conductance with perfect transmission across the nanostructure can be realized across a kink when the input and output channels are pierced by a half-integer magnetic flux quantum. Unlike for straight wires, there is an additional requirement depending on the orientation of the external magnetic field. A right-angle kink shows a unique $\pi$-periodic magnetoconductance signature as a function of the in-plane angle of the magnetic field. For a Y-junction, the transmission can be perfectly steered to either of the two possible output legs by a proper alignment of the external magnetic field. These magnetotransport signatures offer new ways to explore topological surface states and could be relevant for quantum transport experiments on nanostructures which can be realized with existing fabrication methods.


title: Monitoring of Wild Pseudomonas Biofilm Strain Conditions Using Statistical Characterisation of Scanning Electron Microscopy Images

abstract: The present paper proposes a novel method of quantification of the variation in biofilm architecture, in correlation with the alteration of growth conditions that include, variations of substrate and conditioning layer. The polymeric biomaterial serving as substrates are widely used in implants and indwelling medical devices, while the plasma proteins serve as the conditioning layer. The present method uses descriptive statistics of FESEM images of biofilms obtained during a variety of growth conditions. We aim to explore here the texture and fractal analysis techniques, to identify the most discriminatory features which are capable of predicting the difference in biofilm growth conditions. We initially extract some statistical features of biofilm images on bare polymer surfaces, followed by those on the same substrates adsorbed with two different types of plasma proteins, viz. Bovine serum albumin (BSA) and Fibronectin (FN), for two different adsorption times. The present analysis has the potential to act as a futuristic technology for developing a computerized monitoring system in hospitals with automated image analysis and feature extraction, which may be used to predict the growth profile of an emerging biofilm on surgical implants or similar medical applications.

categories: physics.bio-ph cond-mat.soft q-bio.QM stat.AP


title: Multimodal Functional and Structural Brain Connectivity Analysis in Autism: A Preliminary Integrated Approach with EEG, fMRI and DTI

abstract: This paper proposes a novel approach of integrating different neuroimaging techniques to characterize an autistic brain. Different techniques like EEG, fMRI and DTI have traditionally been used to find biomarkers for autism, but there have been very few attempts for a combined or multimodal approach of EEG, fMRI and DTI to understand the neurobiological basis of autism spectrum disorder (ASD). Here, we explore how the structural brain network correlate with the functional brain network, such that the information encompassed by these two could be uncovered only by using the latter. In this paper, source localization from EEG using independent component analysis (ICA) and dipole fitting has been applied first, followed by selecting those dipoles that are closest to the active regions identified with fMRI. This allows translating the high temporal resolution of EEG to estimate time varying connectivity at the spatial source level. Our analysis shows that the estimated functional connectivity between two active regions can be correlated with the physical properties of the structure obtained from DTI analysis. This constitutes a first step towards opening the possibility of using pervasive EEG to monitor the long-term impact of ASD treatment without the need for frequent expensive fMRI or DTI investigations.


title: Random matrix approach to plasmon resonances in the random impedance network model of disordered nanocomposites

abstract: Random impedance networks are widely used as a model to describe plasmon resonances in disordered metal-dielectric and other two-component nanocomposites. In the present work, the spectral properties of resonances in random networks are studied within the framework of the random matrix theory. We have shown that the appropriate ensemble of random matrices for the considered problem is the Jacobi ensemble (the MANOVA ensemble). The obtained analytical expressions for the density of states in such resonant networks show a good agreement with the results of numerical simulations in a wide range of metal filling fractions $0<p<1$. A correspondence with the effective medium approximation is observed.


title: On $\sigma$-quasinormal subgroups of finite groups

abstract: Let $G$ be a finite group and $\sigma =\{\sigma_{i} | i\in I\}$ some partition of the set of all primes $\Bbb{P}$, that is, $\sigma =\{\sigma_{i} | i\in I \}$, where $\Bbb{P}=\bigcup_{i\in I} \sigma_{i}$ and $\sigma_{i}\cap \sigma_{j}= \emptyset $ for all $i\ne j$. We say that $G$ is $\sigma$-primary if $G$ is a $\sigma _{i}$-group for some $i$. A subgroup $A$ of $G$ is said to be: ${\sigma}$-subnormal in $G$ if there is a subgroup chain $A=A_{0} \leq A_{1} \leq \cdots \leq A_{n}=G$ such that either $A_{i-1}\trianglelefteq A_{i}$ or $A_{i}/(A_{i-1})_{A_{i}}$ is $\sigma$-primary for all $i=1, \ldots, n$, modular in $G$ if the following conditions hold: (i) $\langle X, A \cap Z \rangle=\langle X, A \rangle \cap Z$ for all $X \leq G, Z \leq G$ such that $X \leq Z$, and (ii) $\langle A, Y \cap Z \rangle=\langle A, Y \rangle \cap Z$ for all $Y \leq G, Z \leq G$ such that $A \leq Z$. In this paper, a subgroup $A$ of $G$ is called $\sigma$-quasinormal in $G$ if $L$ is modular and ${\sigma}$-subnormal in $G$. We study $\sigma$-quasinormal subgroups of $G$. In particular, we prove that if a subgroup $H$ of $G$ is $\sigma$-quasinormal in $G$, then for every chief factor $H/K$ of $G$ between $H^{G}$ and $H_{G}$ the semidirect product $(H/K)\rtimes (G/C_{G}(H/K))$ is $\sigma$-primary.


title: On one generalization of finite nilpotent groups

abstract: Let $\sigma =\{\sigma_{i} | i\in I\}$ be a partition of the set $\Bbb{P}$ of all primes and $G$ a finite group. A chief factor $H/K$ of $G$ is said to be $\sigma$-central if the semidirect product $(H/K)\rtimes (G/C_{G}(H/K))$ is a $\sigma_{i}$-group for some $i=i(H/K)$. $G$ is called $\sigma$-nilpotent if every chief factor of $G$ is $\sigma$-central. We say that $G$ is semi-${\sigma}$-nilpotent (respectively weakly semi-${\sigma}$-nilpotent) if the normalizer $N_{G}(A)$ of every non-normal (respectively every non-subnormal) $\sigma$-nilpotent subgroup $A$ of $G$ is $\sigma$-nilpotent. In this paper we determine the structure of finite semi-${\sigma}$-nilpotent and weakly semi-${\sigma}$-nilpotent groups.


title: Structure and Sensitivity in Differential Privacy: Comparing K-Norm Mechanisms

abstract: Differential privacy (DP), provides a framework for provable privacy protection against arbitrary adversaries, while allowing the release of summary statistics and synthetic data. We address the problem of releasing a noisy real-valued statistic vector $T$, a function of sensitive data under DP, via the class of $K$-norm mechanisms with the goal of minimizing the noise added to achieve privacy. First, we introduce the sensitivity space of $T$, which extends the concepts of sensitivity polytope and sensitivity hull to the setting of arbitrary statistics $T$. We then propose a framework consisting of three methods for comparing the $K$-norm mechanisms: 1) a multivariate extension of stochastic dominance, 2) the entropy of the mechanism, and 3) the conditional variance given a direction, to identify the optimal $K$-norm mechanism. In all of these criteria, the optimal $K$-norm mechanism is generated by the convex hull of the sensitivity space. Using our methodology, we extend the objective perturbation and functional mechanisms and apply these tools to logistic and linear regression, allowing for private releases of statistical results. Via simulations and an application to a housing price dataset, we demonstrate that our proposed methodology offers a substantial improvement in utility for the same level of risk.


title: A Balian-Low Theorem for Subspaces

abstract: We extend the Balian-Low theorem to Gabor subspaces of $L^2(\mathbb R)$ by involving the concept of additional time-frequency shift invariance. We prove that if a Gabor system on a lattice of rational density is a Riesz sequence generating a subspace which is invariant under an additional time-frequency shift, then its generator cannot decay fast simultaneously in time and frequency.