title: Learning Graph-Structured Sum-Product Networks for Probabilistic Semantic Maps

abstract: We introduce Graph-Structured Sum-Product Networks (GraphSPNs), a probabilistic approach to structured prediction for problems where dependencies between latent variables are expressed in terms of arbitrary, dynamic graphs. While many approaches to structured prediction place strict constraints on the interactions between inferred variables, many real-world problems can be only characterized using complex graph structures of varying size, often contaminated with noise when obtained from real data. Here, we focus on one such problem in the domain of robotics. We demonstrate how GraphSPNs can be used to bolster inference about semantic, conceptual place descriptions using noisy topological relations discovered by a robot exploring large-scale office spaces. Through experiments, we show that GraphSPNs consistently outperform the traditional approach based on undirected graphical models, successfully disambiguating information in global semantic maps built from uncertain, noisy local evidence. We further exploit the probabilistic nature of the model to infer marginal distributions over semantic descriptions of as yet unexplored places and detect spatial environment configurations that are novel and incongruent with the known evidence.


title: Compressed Air Energy Storage-Part II: Application to Power System Unit Commitment

abstract: Unit commitment (UC) is one of the most important power system operation problems. To integrate higher penetration of wind power into power systems, more compressed air energy storage (CAES) plants are being built. Existing cavern models for the CAES used in power system optimization problems are not accurate, which may lead to infeasible solutions, e.g., the air pressure in the cavern is outside its operating range. In this regard, an accurate CAES model is proposed for the UC problem based on the accurate bi-linear cavern model proposed in the first paper of this two-part series. The minimum switch time between the charging and discharging processes of CAES is considered. The whole model, i.e., the UC model with an accurate CAES model, is a large-scale mixed integer bi-linear programming problem. To reduce the complexity of the whole model, three strategies are proposed to reduce the number of bi-linear terms without sacrificing accuracy. McCormick relaxation and piecewise linearization are then used to linearize the whole model. To decrease the solution time, a method to obtain an initial solution of the linearized model is proposed. A modified RTS-79 system is used to verify the effectiveness of the whole model and the solution methodology.


title: On the admissibility of retarded delay systems

abstract: We investigate a Hilbert space dynamical system of the form $\dot{z}(t)=Az(t)+A_1z(t-\tau)+Bu(t)$, where $A$ generates a semigroup of contractions and $A_1$ is a bounded operator, in order to determine whether the operator $B$ is admissible. Our approach is based on the Miyadera--Voigt perturbation theorem and the Weiss conjecture on admissibility of control operators for contraction semigroups. We demonstrate that the retarded delay system can be represented as a well-posed abstract Cauchy problem with a solution formed by an initially log-concave bounded semigroup.


title: Exact controllability of non-Lipschitz semilinear systems

abstract: We present sufficient conditions for exact controllability of a semilinear infinite dimensional dynamical system. The system mild solution is formed by a noncompact semigroup and a nonlinear disturbance that does not need to be Lipschitz continuous. Our main result is based on a fixed point type application of the Schmidt existence theorem and illustrated by a nonlinear transport partial differential equation.


title: Massive MIMO 1-Bit DAC Transmission: A Low-Complexity Symbol Scaling Approach

abstract: We study multi-user massive multiple-input single-output (MISO) systems and focus on downlink transmission, where the base station (BS) employs a large antenna array with low-cost 1-bit digital-to-analog converters (DACs). The direct combination of existing beamforming schemes with 1-bit DACs is shown to lead to an error floor at medium-to-high SNR regime, due to the coarse quantization of the DACs with limited precision. In this paper, based on the constructive interference we consider both a quantized linear beamforming scheme where we analytically obtain the optimal beamforming matrix, and a non-linear mapping scheme where we directly design the transmit signal vector. Due to the 1-bit quantization, the formulated optimization for the non-linear mapping scheme is shown to be non-convex. To solve this problem, the non-convex constraints of the 1-bit DACs are firstly relaxed, followed by an element-wise normalization to satisfy the 1-bit DAC transmission. We further propose a low-complexity symbol scaling scheme that consists of three stages, in which the quantized transmit signal on each antenna element is selected sequentially. Numerical results show that the proposed symbol scaling scheme achieves a comparable performance to the optimization-based non-linear mapping approach, while its corresponding complexity is negligible compared to that of the non-linear scheme.


title: The unified theory for the necessity of bounded commutators and applications

abstract: The general methods which are powerful for the necessity of bounded commutators are given. As applications, some necessary conditions for bounded commutators are first obtained in certain endpoint cases, and several new characterizations of $BMO$ space, Lipschitz spaces and their weighted versions via boundedness of commutators in various function spaces are deduced.


title: Interdependence of clusters measures and distance distribution in compact metric spaces

abstract: A compact metric space $(X, \rho)$ is given. Let $\mu$ be a Borel measure on $X$. By $r$-cluster we mean a measurable subset of $X$ with diameter at most $r$. A family of $k$ $2r$-clusters is called a $r$-cluster structure of order $k$ if any two clusters from the family are separated by a distance at least $r$. By measure of a cluster structure we mean a sum of clusters measures from the cluster structure. Using the Blaschke selection theorem one can prove that there exists a cluster structure $\mathcal{X}^*$ of maximum measure. We study dependence $\mu(\mathcal{X}^*)$ on distance distribution. The main issue is to find restrictions for distance distribution which guarantee that $\mu(\mathcal{X}^*)$ is close to $\mu(X)$. We propose a discretization of distance distribution and in terms of this discretization obtain a lower bound for $\mu(\mathcal{X}^*)$.


title: Coherent modeling of longitudinal causal effects on binary outcomes

abstract: Analyses of biomedical studies often necessitate modeling longitudinal causal effects. The current focus on personalized medicine and effect heterogeneity makes this task even more challenging. Towards this end, structural nested mean models (SNMMs) are fundamental tools for studying heterogeneous treatment effects in longitudinal studies. However, when outcomes are binary, current methods for estimating multiplicative and additive SNMM parameters suffer from variation dependence between the causal parameters and the non-causal nuisance parameters. This leads to a series of difficulties in interpretation, estimation and computation. These difficulties have hindered the uptake of SNMMs in biomedical practice, where binary outcomes are very common. We solve the variation dependence problem for the binary multiplicative SNMM via a reparametrization of the non-causal nuisance parameters. Our novel nuisance parameters are variation independent of the causal parameters, and hence allow for coherent modeling of heterogeneous effects from longitudinal studies with binary outcomes. Our parametrization also provides a key building block for flexible doubly robust estimation of the causal parameters. Along the way, we prove that an additive SNMM with binary outcomes does not admit a variation independent parametrization, thereby justifying the restriction to multiplicative SNMMs.


title: Hausdorff operators on modulation and Wiener amalgam spaces

abstract: We give the sharp conditions for boundedness of Hausdorff operators on certain modulation and Wiener amalgam spaces.


title: Uniform Silicon Isotope Ratios Across the Milky Way Galaxy

abstract: We report the relative abundances of the three stable isotopes of silicon, $^{28}$Si, $^{29}$Si and $^{30}$Si, across the Galaxy using the $v = 0, J = 1 \to 0$ transition of silicon monoxide. The chosen sources represent a range in Galactocentric radii ($R_{\rm GC}$) from 0 to 9.8 kpc. The high spectral resolution and sensitivity afforded by the GBT permit isotope ratios to be corrected for optical depths. The optical-depth-corrected data indicate that the secondary-to-primary silicon isotope ratios $^{29}{\rm Si}/^{28}{\rm Si}$ and $^{30}{\rm Si}/^{28}{\rm Si}$ vary much less than predicted on the basis of other stable isotope ratio gradients across the Galaxy. Indeed, there is no detectable variation in Si isotope ratios with $R_{\rm GC}$. This lack of an isotope ratio gradient stands in stark contrast to the monotonically decreasing trend with $R_{\rm GC}$ exhibited by published secondary-to-primary oxygen isotope ratios. These results, when considered in the context of the expectations for chemical evolution, suggest that the reported oxygen isotope ratio trends, and perhaps that for carbon as well, require further investigation. The methods developed in this study for SiO isotopologue ratio measurements are equally applicable to Galactic oxygen, carbon and nitrogen isotope ratio measurements, and should prove useful for future observations of these isotope systems.


title: Classical solution for the linear sigma model

abstract: In this paper, the linear sigma model is studied using a method for finding analytical solutions based on Pad\'e approximants. Using the solutions of two and three traveling waves in 1+3 dimensions we found, we are able to show a solution that is valid for an arbitrary number of bosons and traveling waves.


title: Signature of a New-Born Black Hole from the Collapse of a Supra-massive Millisecond Magnetar

abstract: The X-ray plateau followed by a steep decay ("internal plateau") has been observed in both long and short gamma-ray burst (GRBs), implying a millisecond magnetar operating in some GRBs. The sharp decay at the end of plateau, marking the abrupt cessation of the magnetar central engine, has been considered as the collapse of a supra-massive magnetar to a black hole (BH) when it spins down. If "internal plateau" is indeed the evidence of a magnetar central engine, a natural expectation is a signature from the new-born BH in some candidates. In this work, we find that GRB 070110 is a particular case, which shows a small X-ray bump following its "internal plateau". We interpret the plateau with a spin-down supra-massive magnetar and the X-ray bump with a fall-back BH accretion. This indicates that the new-born BH is likely active in some GRBs. Therefore, GRB 070110-like events may provide a further support to the magnetar central engine model and enable us to investigate the properties of the magnetar as well as the new-born BH.


title: On improved bound for measure of cluster structure in compact metric spaces

abstract: A compact metric space $(X, \rho)$ is given. Let $\mu$ be a Borel measure on $X$. By $r$-cluster we mean a measurable subset of $X$ with diameter at most $r$. A family of $k$ $2r$-clusters is called a $r$-cluster structure of order $k$ if any two clusters from the family are separated by a distance at least $r$. By measure of a cluster structure we mean a sum of clusters measures from the cluster structure. In our previous work we showed that under some parametric restrictions for distance distribution measure of maximal cluster structure $\mu(\mathcal{X})^*$ is close $\mu(X)$ and lower bound for $\mu(\mathcal{X})^*$ converges to $\mu(X)$ when corresponding parameters tend to 0. However, this bound asymptotically unimprovable. We propose an additional restriction for distance distribution that is responsible for balance of cluster's measure in cluster structure. This restriction allows to significantly improve previous bound in asymptotic sense.


title: Type II Nodal line Semimetal

abstract: Recently, topological semimetals become hot topic in condensed matter physics, including Dirac semimetal, Weyl semimetal, and nodal line semimetal (NLSM). In this paper, a new type of node- line semimetal - type-II NLSM is proposed based on a two-band cubic lattice model. For type-II NLSM, the zero energy bulk states have a closed loop in momentum space but the (local) Weyl cones on nodal line become tilted. The effect of magnetic field and that of correlation on type-II NLSM are studied. In particular, after considering repulsive interaction and additional spin degrees of freedom, different types of long range magnetic orders appear in bulk states. In addition, the interaction-induced ferromagnetic order of surface states may exist. At critical point between type-I NLSM and type-II NLSM, arbitrary tiny interaction induces ferromagnetic order due to a flat band at Fermi surface.


title: Orbital-Free Density-Functional Theory Simulations of Displacement Cascade in Aluminum

abstract: Here, we report orbital-free density-functional theory (OF DFT) molecular dynamics simulations of the displacement cascade in aluminum. The electronic effect is our main concern. The displacement threshold energies are calculated using OF DFT and classical molecular dynamics (MD) and the comparison reveals the role of charge bridge. Compared to MD simulation, the displacement spike from OF DFT has a lower peak and shorter duration time, which is attributed to the effect of electronic damping. The charge density profiles clearly display the existence of depleted zones, vacancy and interstitial clusters. And it is found that the energy exchanges between ions and electrons are mainly contributed by the kinetic energies.


title: The implications of a companion enhanced wind on millisecond pulsar production

abstract: The most frequently seen binary companions to millisecond pulsars (MSPs) are helium white dwarfs (He WDs). The standard rejuvenation mechanism, in which a low- to intermediate-mass companion to a neutron star fills its Roche lobe between central hydrogen exhaustion and core helium ignition, is the most plausible formation mechanism. We have investigated whether the observed population can realistically be formed via this mechanism. We used the Cambridge STARS code to make models of Case B RLOF with Reimers' mass loss from the donor. We find that the range of initial orbital periods required to produce the currently observed range of orbital periods of MSPs is extremely narrow. To reduce this fine tuning, we introduce a companion enhanced wind (CEW) that strips the donor of its envelope more quickly so that systems can detach at shorter periods. Our models indicate that the fine tuning can be significantly reduced if a CEW is active. Because significant mass is lost owing to a CEW we expect some binary pulsars to accrete less than the 0.1Msun needed to spin them up to millisecond periods. This can account for mildly recycled pulsars present along the entire Mc-Porb relation. Systems with Pspin > 30ms are consistent with this but too few of these mildly recycled pulsars have yet been observed to make a significant comparison.


title: Charge Separation and Dissipation in Molecular Wires under a Light Radiation

abstract: Photo-induced charge separation in nanowires or molecular wires had been studied in previous experiments and simulations. Most researches deal with the carrier diffusions with the classical phenomenological models, or the static energy levels by quantum mechanics calculations. Here we give a dynamic quantum investigation on the charge separation and dissipation in molecule wires. The method is based on the time-dependent non-equilibrium Green's function theory. Polyacetylene chain and poly-phenylene are used as model systems with a tight-binding Hamiltonian and the wide band limit approximation in this study. A light pulse with the energy larger than the band gap is radiated on the system. The evolution and dissipation of the non-equilibrium carriers in the open nano systems are studied. With an external electric potentials or impurity atoms, the charge separation is observed. Our calculations show that the separation behaviors of the electron/hole wave packets are related to the Coulomb interaction, light intensity and the effective masses of electron/hole in the molecular wire.


title: Hyperscaling for oriented percolation in 1+1 space-time dimensions

abstract: Consider nearest-neighbor oriented percolation in $d+1$ space-time dimensions. Let $\rho,\eta,\nu$ be the critical exponents for the survival probability up to time $t$, the expected number of vertices at time $t$ connected from the space-time origin, and the gyration radius of those vertices, respectively. We prove that the hyperscaling inequality $d\nu\ge\eta+2\rho$, which holds for all $d\ge1$ and is a strict inequality above the upper-critical dimension 4, becomes an equality for $d=1$, i.e., $\nu=\eta+2\rho$, provided existence of at least two among $\rho,\eta,\nu$. The key to the proof is the recent result on the critical box-crossing property by Duminil-Copin, Tassion and Teixeira (2017).


title: Underwater Multi-Robot Convoying using Visual Tracking by Detection

abstract: We present a robust multi-robot convoying approach that relies on visual detection of the leading agent, thus enabling target following in unstructured 3-D environments. Our method is based on the idea of tracking-by-detection, which interleaves efficient model-based object detection with temporal filtering of image-based bounding box estimation. This approach has the important advantage of mitigating tracking drift (i.e. drifting away from the target object), which is a common symptom of model-free trackers and is detrimental to sustained convoying in practice. To illustrate our solution, we collected extensive footage of an underwater robot in ocean settings, and hand-annotated its location in each frame. Based on this dataset, we present an empirical comparison of multiple tracker variants, including the use of several convolutional neural networks, both with and without recurrent connections, as well as frequency-based model-free trackers. We also demonstrate the practicality of this tracking-by-detection strategy in real-world scenarios by successfully controlling a legged underwater robot in five degrees of freedom to follow another robot's independent motion.


title: The large sample coverage probability of confidence intervals in general regression models after a preliminary hypothesis test

abstract: We derive a computationally convenient formula for the large sample coverage probability of a confidence interval for a scalar parameter of interest following a preliminary hypothesis test that a specified vector parameter takes a given value in a general regression model. Previously, this large sample coverage probability could only be estimated by simulation. Our formula only requires the evaluation, by numerical integration, of either a double or triple integral, irrespective of the dimension of this specified vector parameter. We illustrate the application of this formula to a confidence interval for the log odds ratio of myocardial infarction when the exposure is recent oral contraceptive use, following a preliminary test that two specified interactions in a logistic regression model are zero. For this real-life data, we compare this large sample coverage probability with the actual coverage probability of this confidence interval, obtained by simulation.


title: Learning Context-Sensitive Convolutional Filters for Text Processing

abstract: Convolutional neural networks (CNNs) have recently emerged as a popular building block for natural language processing (NLP). Despite their success, most existing CNN models employed in NLP share the same learned (and static) set of filters for all input sentences. In this paper, we consider an approach of using a small meta network to learn context-sensitive convolutional filters for text processing. The role of meta network is to abstract the contextual information of a sentence or document into a set of input-aware filters. We further generalize this framework to model sentence pairs, where a bidirectional filter generation mechanism is introduced to encapsulate co-dependent sentence representations. In our benchmarks on four different tasks, including ontology classification, sentiment analysis, answer sentence selection, and paraphrase identification, our proposed model, a modified CNN with context-sensitive filters, consistently outperforms the standard CNN and attention-based CNN baselines. By visualizing the learned context-sensitive filters, we further validate and rationalize the effectiveness of proposed framework.


title: Fine-grained Discriminative Localization via Saliency-guided Faster R-CNN

abstract: Discriminative localization is essential for fine-grained image classification task, which devotes to recognizing hundreds of subcategories in the same basic-level category. Reflecting on discriminative regions of objects, key differences among different subcategories are subtle and local. Existing methods generally adopt a two-stage learning framework: The first stage is to localize the discriminative regions of objects, and the second is to encode the discriminative features for training classifiers. However, these methods generally have two limitations: (1) Separation of the two-stage learning is time-consuming. (2) Dependence on object and parts annotations for discriminative localization learning leads to heavily labor-consuming labeling. It is highly challenging to address these two important limitations simultaneously. Existing methods only focus on one of them. Therefore, this paper proposes the discriminative localization approach via saliency-guided Faster R-CNN to address the above two limitations at the same time, and our main novelties and advantages are: (1) End-to-end network based on Faster R-CNN is designed to simultaneously localize discriminative regions and encode discriminative features, which accelerates classification speed. (2) Saliency-guided localization learning is proposed to localize the discriminative region automatically, avoiding labor-consuming labeling. Both are jointly employed to simultaneously accelerate classification speed and eliminate dependence on object and parts annotations. Comparing with the state-of-the-art methods on the widely-used CUB-200-2011 dataset, our approach achieves both the best classification accuracy and efficiency.


title: Application-Layer Clock Synchronization for Wearables Using Skin Electric Potentials Induced by Powerline Radiation

abstract: Design of clock synchronization for networked nodes faces a fundamental trade-off between synchronization accuracy and universality for heterogeneous platforms, because a high synchronization accuracy generally requires platform-dependent hardware-level network packet timestamping. This paper presents TouchSync, a new indoor clock synchronization approach for wearables that achieves millisecond accuracy while preserving universality in that it uses standard system calls only, such as reading system clock, sampling sensors, and sending/receiving network messages. The design of TouchSync is driven by a key finding from our extensive measurements that the skin electric potentials (SEPs) induced by powerline radiation are salient, periodic, and synchronous on a same wearer and even across different wearers. TouchSync integrates the SEP signal into the universal principle of Network Time Protocol and solves an integer ambiguity problem by fusing the ambiguous results in multiple synchronization rounds to conclude an accurate clock offset between two synchronizing wearables. With our shared code, TouchSync can be readily integrated into any wearable applications. Extensive evaluation based on our Arduino and TinyOS implementations shows that TouchSync's synchronization errors are below 3 and 7 milliseconds on the same wearer and between two wearers 10 kilometers apart, respectively.


title: Nuclear Magnetic Resonance in Low-Symmetry Superconductors

abstract: We consider the nuclear spin-lattice relaxation rate, $1/T_1T$ in superconductors with accidental nodes. We show that a Hebel-Slichter-like peak occurs even in the absence of an isotropic component of the superconducting gap. The logarithmic divergence found in clean, non-interacting models is controlled by both disorder and electron-electron interactions. However, for reasonable parameters, neither of these effects removes the peak altogether.


title: A Generalized Doppler and Aberration Kernel for Frequency-Dependent Cosmological Observables

abstract: We introduce a $\textit{frequency-dependent}$ Doppler and aberration transformation kernel for the harmonic multipoles of a general cosmological observable with spin weight $s$, Doppler weight $d$ and arbitrary frequency spectrum. In the context of Cosmic Microwave Background (CMB) studies, the frequency-dependent formalism allows to correct for the motion-induced aberration and Doppler effects on individual frequency maps with different masks. It also permits to deboost background radiations with non-blackbody frequency spectra, like extragalactic foregrounds and CMB spectra with primordial spectral distortions. The formalism can also be used to correct individual E and B polarization modes and account for motion-induced E/B mixing of polarized observables with $d\neq1$ at different frequencies. We apply the generalized aberration kernel on polarized and unpolarized CMB specific intensity at 100 and 217 GHz and show that the motion-induced effects typically increase with the frequency of observation. In all-sky CMB experiments, the frequency-dependence of the motion-induced effects for a blackbody spectrum are overall negligible. However in a cut-sky analysis, ignoring the frequency dependence can lead to percent level error in the polarized and unpolarized power spectra over all angular scales. In the specific cut-sky used in our analysis ($b > 45^\circ, f_\text{sky}\simeq14\%$), and for the dipole-inferred velocity $\beta=0.00123$ typically attributed to our peculiar motion, the Doppler and aberration effects can change polarized and unpolarized power spectra of specific intensity in the CMB rest frame by $1-2\%$, but we find the polarization cross-leakage between E and B modes to be negligible.


title: Dataset for the First Evaluation on Chinese Machine Reading Comprehension

abstract: Machine Reading Comprehension (MRC) has become enormously popular recently and has attracted a lot of attention. However, existing reading comprehension datasets are mostly in English. To add diversity in reading comprehension datasets, in this paper we propose a new Chinese reading comprehension dataset for accelerating related research in the community. The proposed dataset contains two different types: cloze-style reading comprehension and user query reading comprehension, associated with large-scale training data as well as human-annotated validation and hidden test set. Along with this dataset, we also hosted the first Evaluation on Chinese Machine Reading Comprehension (CMRC-2017) and successfully attracted tens of participants, which suggest the potential impact of this dataset.


title: Sociological Explanation of Fear of Crime in Public Spaces Case Study Mashhad

abstract: Fear of crime is an especially a problem that has troubled the urban communities, affected the urban dissatisfaction and many factors in the city have created and intensified it. Fear of crime is of important issues which reduces access to public places and restricts interaction with these places. The research method is surveying and the information collection technique is through questionnaire. Probable span sampling (PPS) method is used. Sample population was 2000 households which were selected randomly in five categorical clusters from Mashhad city. In this research we try In addition to investigation social factors, it has been tried in the research that spatial components affecting fear of crime in public places inside and outside the neighborhoods is considered.


title: Prediction of the $CP$ asymmetry $C_{00}$ in $B^0 \to D^0\overline{D^0}$ decay

abstract: Of all $B \to D \overline{D}$ decays, the $B^0 \to D^0 \overline{D^0}$ decay has the smallest observed branching ratio as it takes place primarily via the suppressed $W$-exchange diagram. The $CP$ asymmetry for this mode is yet to be measured experimentally. By exploiting the relationship among the decay amplitudes of $B \to D\overline{D}$ decays (using isospin and topological amplitudes) we are able to relate the $CP$ asymmetries and branching ratios by a simple expression. This enables us to predict the $CP$ asymmetry $C_{00}$ in $B^0 \to D^0 \overline{D^0}$. While the predicted central values of $C_{00}$ are outside the physically allowed region, they are currently associated with large uncertainties owing to the large errors in the measurements of the $B^0 \to D^0 \overline{D^0}$ branching ratio ($B_{00}$), the other $CP$ asymmetries $C_{+-}$ (of $B^0 \to D^+ D^-$) and $A_{\text{CP}}$ (of $B^+ \to D^+ \overline{D^0}$). With a precise determination of $B_{00}$, $C_{+-}$ and $A_{\text{CP}}$, one can use our analytical result to predict $C_{00}$ with a reduced error and compare it with the experimental measurement when it becomes available. The correlation between $B_{00}$ and $C_{00}$ is an interesting aspect that can be probed in ongoing and future particle physics experiments such as LHCb and Belle II.


title: Methane release on Early Mars by atmospheric collapse and atmospheric reinflation

abstract: A candidate explanation for Early Mars rivers is atmospheric warming due to surface release of H$_2$ or CH$_4$ gas. However, it remains unknown how much gas could be released in a single event. We model the CH$_4$ release by one mechanism for rapid release of CH$_4$ from clathrate. By modeling how CH$_4$-clathrate release is affected by changes in Mars' obliquity and atmospheric composition, we find that a large fraction of total outgassing from CH$_4$ clathrate occurs following Mars' first prolonged atmospheric collapse. This atmosphere-collapse-initiated CH$_4$-release mechanism has three stages. (1) Rapid collapse of Early Mars' carbon dioxide atmosphere initiates a slower shift of water ice from high ground to the poles. (2) Upon subsequent CO$_2$-atmosphere re-inflation and CO$_2$-greenhouse warming, low-latitude clathrate decomposes and releases methane gas. (3) Methane can then perturb atmospheric chemistry and surface temperature, until photochemical processes destroy the methane. Within our model, we find that under some circumstances a Titan-like haze layer would be expected to form, consistent with transient deposition of abundant complex abiotic organic matter on the Early Mars surface. We also find that this CH$_4$-release mechanism can warm Early Mars, but special circumstances are required in order to uncork 10$^{17}$ kg of CH$_4$, the minimum needed for strong warming. Specifically, strong warming only occurs when the fraction of the hydrate stability zone that is initially occupied by clathrate exceeds 10%, and when Mars' first prolonged atmospheric collapse occurs for atmospheric pressure > 1 bar.


title: Performance Study of the First 2D Prototype of Vertically Integrated Pattern Recognition Associative Memory (VIPRAM)

abstract: Extremely fast pattern recognition capabilities are necessary to find and fit billions of tracks at the hardware trigger level produced every second anticipated at high luminosity LHC (HL-LHC) running conditions. Associative Memory (AM) based approaches for fast pattern recognition have been proposed as a potential solution to the tracking trigger. However, at the HL-LHC, there is much less time available and speed performance must be improved over previous systems while maintaining a comparable number of patterns. The Vertically Integrated Pattern Recognition Associative Memory (VIPRAM) Project aims to achieve the target pattern density and performance goal using 3DIC technology. The first step taken in the VIPRAM work was the development of a 2D prototype (protoVIPRAM00) in which the associative memory building blocks were designed to be compatible with the 3D integration. In this paper, we present the results from extensive performance studies of the protoVIPRAM00 chip in both realistic HL-LHC and extreme conditions. Results indicate that the chip operates at the design frequency of 100 MHz with perfect correctness in realistic conditions and conclude that the building blocks are ready for 3D stacking. We also present performance boundary characterization of the chip under extreme conditions.


title: Positivity of valuations on convex bodies and invariant valuations by linear actions

abstract: In this paper, we endow the space of continuous translation invariant valuation on convex sets generated by mixed volumes coupled with a suitable Radon measure on tuples of convex bodies with two appropriate norms. This enables us to construct a continuous extension of the convolution operator on smooth valuations to non-smooth valuations, which are in the completion of the spaces of valuations with respect to these norms. The novelty of our approach lies in the fact that our proof does not rely on the general theory of wave fronts, but on geometric inequalities deduced from optimal transport methods. We apply this result to prove a variant of Minkowski's existence theorem, and generalize a theorem of Favre-Wulcan and Lin in complex dynamics over toric varieties by studying the linear actions on the Banach spaces of valuations and by studying their corresponding eigenspaces.


title: The mean field analysis of the Kuramoto model on graphs II. Asymptotic stability of the incoherent state, center manifold reduction, and bifurcations

abstract: In our previous work [Chiba, Medvedev, arXiv:1612.06493], we initiated a mathematical investigation of the onset of synchronization in the Kuramoto model (KM) of coupled phase oscillators on convergent graph sequences. There, we derived and rigorously justified the mean field limit for the KM on graphs. Using linear stability analysis, we identified the critical values of the coupling strength, at which the incoherent state looses stability, thus, determining the onset of synchronization in this model. In the present paper, we study the corresponding bifurcation. Specifically, we show that similar to the original KM with all-to-all coupling, the onset of synchronization in the KM on graphs is realized via a pitchfork bifurcation. The formula for the stable branch of the bifurcating equilibria involves the principal eigenvalue and the corresponding eigenfunctions of the kernel operator defined by the limit of the graph sequence used in the model. This establishes an explicit link between the network structure and the onset of synchronization in the KM on graphs. The results of this work are illustrated with the bifurcation analysis of the KM on Erd\H{o}s-R{\' e}nyi, small-world, as well as certain weighted graphs on a circle.


title: Metastable Phase Diagram and Precipitation Kinetics of Magnetic Nanocrystals in FINEMET Alloys

abstract: Research over the years has shown that the formation of the Fe$_3$Si phase in FINEMET (Fe-Si-Nb-B-Cu) alloys leads to superior soft magnetic properties. In this work, we use a CALPHAD approach to derive Fe-Si phase diagrams to identify the composition-temperature domain where the Fe$_3$Si phase can be stabilized. Thereafter, we have developed a precipitation model capable of simulating the nucleation and growth of Fe$_3$Si nanocrystals via Langer-Schwartz theory. For optimum magnetic properties, prior work suggests that it is desirable to precipitate Fe$_3$Si nanocrystals with 10-15 nm diameter and with the crystalline volume fraction of about 70 \%. Based on our parameterized model, we simulated the nucleation and growth of Fe$_3$Si nanocrystals by isothermal annealing of Fe$_{72.89}$Si$_{16.21}$B$_{6.90}$Nb$_{3}$Cu$_{1}$ (composition in atomic \%). In numerical experiments, the alloys were annealed at a series of temperatures from 490 to 550 \degree C for two hours to study the effect of holding time on mean radius, volume fraction, size distribution, nucleation rate, number density, and driving force for the growth of Fe$_3$Si nanocrystals. With increasing annealing temperature, the mean radius of Fe$_3$Si nanocrystals increases, while the volume fraction decreases. We have also studied the effect of composition variations on the nucleation and growth of Fe$_3$Si nanocrystals. As Fe content decreases, it is possible to achieve the desired mean radius and volume fraction within one hour holding time. The CALPHAD approach presented here can provide efficient exploration of the nanocrystalline morphology for most FINEMET systems, for cases in which the optimization of one or more material properties or process variables are desired.


title: First results from GeMS/GSAOI for project SUNBIRD: Supernovae UNmasked By Infra-Red Detection

abstract: Core collapse supernova (CCSN) rates suffer from large uncertainties as many CCSNe exploding in regions of bright background emission and significant dust extinction remain unobserved. Such a shortfall is particularly prominent in luminous infrared galaxies (LIRGs), which have high star formation (and thus CCSN) rates and host bright and crowded nuclear regions, where large extinctions and reduced search detection efficiency likely lead to a significant fraction of CCSNe remaining undiscovered. We present the first results of project SUNBIRD (Supernovae UNmasked By Infra-Red Detection), where we aim to uncover CCSNe that otherwise would remain hidden in the complex nuclear regions of LIRGs, and in this way improve the constraints on the fraction that is missed by optical seeing-limited surveys. We observe in the near-infrared 2.15 {\mu}m $K_s$-band, which is less affected by dust extinction compared to the optical, using the multi-conjugate adaptive optics imager GeMS/GSAOI on Gemini South, allowing us to achieve a spatial resolution that lets us probe close in to the nuclear regions. During our pilot program and subsequent first full year we have discovered three CCSNe and one candidate with projected nuclear offsets as small as 200 pc. When compared to the total sample of LIRG CCSNe discovered in the near-IR and optical, we show that our method is singularly effective in uncovering CCSNe in nuclear regions and we conclude that the majority of CCSNe exploding in LIRGs are not detected as a result of dust obscuration and poor spatial resolution.


title: Self-tuned mirror descent schemes for smooth and nonsmooth high-dimensional stochastic optimization

abstract: We consider randomized block coordinate stochastic mirror descent (RBSMD) methods for solving high-dimensional stochastic optimization problems with strongly convex objective functions. Our goal is to develop RBSMD schemes that achieve a rate of convergence with a minimum constant factor with respect to the choice of the stepsize sequence. To this end, we consider both subgradient and gradient RBSMD methods addressing nonsmooth and smooth problems, respectively. For each scheme, (i) we develop self-tuned stepsize rules characterized in terms of problem parameters and algorithm settings; (ii) we show that the non-averaging iterate generated by the underlying RBSMD method converges to the optimal solution both in an almost sure and a mean sense; (iii) we show that the mean squared error is minimized. When problem parameters are unknown, we develop a unifying self-tuned update rule that can be applied in both subgradient and gradient SMD methods, and show that for any arbitrary and small enough initial stepsize, a suitably defined error bound is minimized. We provide constant factor comparisons with standard SMD and RBSMD methods. Our numerical experiments performed on an SVM model display that the self-tuned schemes are significantly robust with respect to the choice of problem parameters, and the initial stepsize.


title: Using Conservative Estimation for Conditional Probability instead of Ignoring Infrequent Case

abstract: There are several estimators of conditional probability from observed frequencies of features. In this paper, we propose using the lower limit of confidence interval on posterior distribution determined by the observed frequencies to ascertain conditional probability. In our experiments, this method outperformed other popular estimators.


title: Optical Selection Rule of Excitons in Gapped Chiral Fermion Systems

abstract: We show that the exciton optical selection rule in gapped chiral fermion systems is governed by their winding number $w$, a topological quantity of the Bloch bands. Specifically, in a $C_N$-invariant chiral fermion system, the angular momentum of bright exciton states is given by $w \pm 1 + nN$ with $n$ being an integer. We demonstrate our theory by proposing two chiral fermion systems capable of hosting dark $s$-like excitons: gapped surface states of a topological crystalline insulator with $C_4$ rotational symmetry and biased $3R$-stacked MoS$_2$ bilayers. In the latter case, we show that gating can be used to tune the $s$-like excitons from bright to dark by changing the winding number. Our theory thus provides a pathway to electrical control of optical transitions in two-dimensional material.


title: A new algorithm for constraint satisfaction problems with Maltsev templates

abstract: In this article, we provide a new algorithm for solving constraint satisfaction problems with Maltsev constraints, based on the new notion of Maltsev consistency.


title: Continuous Monitoring of Pareto Frontiers on Partially Ordered Attributes for Many Users

abstract: We study the problem of continuous object dissemination---given a large number of users and continuously arriving new objects, deliver an object to all users who prefer the object. Many real world applications analyze users' preferences for effective object dissemination. For continuously arriving objects, timely finding users who prefer a new object is challenging. In this paper, we consider an append-only table of objects with multiple attributes and users' preferences on individual attributes are modeled as strict partial orders. An object is preferred by a user if it belongs to the Pareto frontier with respect to the user's partial orders. Users' preferences can be similar. Exploiting shared computation across similar preferences of different users, we design algorithms to find target users of a new object. In order to find users of similar preferences, we study the novel problem of clustering users' preferences that are represented as partial orders. We also present an approximate solution of the problem of finding target users which is more efficient than the exact one while ensuring sufficient accuracy. Furthermore, we extend the algorithms to operate under the semantics of sliding window. We present the results from comprehensive experiments for evaluating the efficiency and effectiveness of the proposed techniques.


title: Exfoliation and van der Waals heterostructure assembly of intercalated ferromagnet Cr1/3TaS2

abstract: Ferromagnetic van der Waals (vdW) materials are in demand for spintronic devices with all-two-dimensional-materials heterostructures. Here, we demonstrate mechanical exfoliation of magnetic-atom-intercalated transition metal dichalcogenide Cr1/3TaS2 from its bulk crystal; previously such intercalated materials were thought difficult to exfoliate. Magnetotransport in exfoliated tens-of-nanometres-thick flakes revealed ferromagnetic ordering below its Curie temperature TC ~ 110 K as well as strong in-plane magnetic anisotropy; these are identical to its bulk properties. Further, van der Waals heterostructure assembly of Cr1/3TaS2 with another intercalated ferromagnet Fe1/4TaS2 is demonstrated using a dry-transfer method. The fabricated heterojunction composed of Cr1/3TaS2 and Fe1/4TaS2 with a native Ta2O5 oxide tunnel barrier in between exhibits tunnel magnetoresistance (TMR), revealing possible spin injection and detection with these exfoliatable ferromagnetic materials through the vdW junction.


title: Confidence Interval of Probability Estimator of Laplace Smoothing

abstract: Sometimes, we do not use a maximum likelihood estimator of a probability but it's a smoothed estimator in order to cope with the zero frequency problem. This is often the case when we use the Naive Bayes classifier. Laplace smoothing is a popular choice with the value of Laplace smoothing estimator being the expected value of posterior distribution of the probability where we assume that the prior is uniform distribution. In this paper, we investigate the confidence intervals of the estimator of Laplace smoothing. We show that the likelihood function for this confidence interval is the same as the likelihood of a maximum likelihood estimated value of a probability of Bernoulli trials. Although the confidence interval of the maximum likelihood estimator of the Bernoulli trial probability has been studied well, and although the approximate formulas for the confidence interval are well known, we cannot use the interval of maximum likelihood estimator since the interval contains the value 0, which is not suitable for the Naive Bayes classifier. We are also interested in the accuracy of existing approximation methods since these approximation methods are frequently used but their accuracy is not well discussed. Thus, we obtain the confidence interval by numerically integrating the likelihood function. In this paper, we report the difference between the confidence interval that we computed and the confidence interval by approximate formulas. Finally, we include a URL, where all of the intervals that we computed are available.


title: Electrical control of inter-layer excitons in van der Waals heterostructures

abstract: We investigate excitons in stacked transition metal dichalcogenide (TMDC) layers under perpendicularly applied electric field, herein MoSe$_2$/WSe$_2$ van der Waals heterostructures. Band structures are obtained with density functional theory calculations, along with the electron and hole wave functions in conduction and valence bands, respectively. Although the type-II nature of the heterostructure leads to fully charge separated inter-layer excitons, charge carriers distribution among the layers is shown to be easily tunable by external field. Our results show that moderate values of electric field produce more evenly distributed wave functions along the heterostructure, thus enhancing both the inter-layer exciton binding energy and, most notably, its oscillator strength.


title: Galaxy And Mass Assembly (GAMA): The Consistency of GAMA and WISE Derived Mass-to-Light Ratios

abstract: Recent work has suggested that mid-IR wavelengths are optimal for estimating the mass-to-light ratios of stellar populations and hence the stellar masses of galaxies. We compare stellar masses deduced from spectral energy distribution (SED) models, fitted to multi-wavelength optical-NIR photometry, to luminosities derived from {\it WISE} photometry in the $W1$ and $W2$ bands at 3.6 and 4.5$\mu$m for non-star forming galaxies. The SED derived masses for a carefully selected sample of low redshift ($z \le 0.15$) passive galaxies agree with the prediction from stellar population synthesis models that $M_*/L_{W1} \simeq 0.6$ for all such galaxies, independent of other stellar population parameters. The small scatter between masses predicted from the optical SED and from the {\it WISE} measurements implies that random errors (as opposed to systematic ones such as the use of different IMFs) are smaller than previous, deliberately conservative, estimates for the SED fits. This test is subtly different from simultaneously fitting at a wide range of optical and mid-IR wavelengths, which may just generate a compromise fit: we are directly checking that the best fit model to the optical data generates an SED whose $M_*/L_{W1}$ is also consistent with separate mid-IR data. We confirm that for passive low redshift galaxies a fixed $M_*/L_{W1} = 0.65$ can generate masses at least as accurate as those obtained from more complex methods. Going beyond the mean value, in agreement with expectations from the models, we see a modest change in $M_*/L_{W1}$ with SED fitted stellar population age but an insignificant one with metallicity.


title: Non-Cash Auction for Spectrum Trading in Cognitive Radio Networks: A Contract Theoretical Model with Joint Adverse Selection and Moral Hazard

abstract: In cognitive radio networks (CRNs), spectrum trading is an efficient way for secondary users (SUs) to achieve dynamic spectrum access and to bring economic benefits for the primary users (PUs). Existing methods requires full payment from SU, which blocked many potential "buyers", and thus limited the PU's expected income. To better improve PUs' revenue from spectrum trading in a CRN, we introduce a financing contract, which is similar to a sealed non-cash auction that allows SU to do a financing. Unlike previous mechanism designs in CRN, the financing contract allows the SU to only pay part of the total amount when the contract is signed, known as the down payment. Then, after the spectrum is released and utilized, the SU pays the rest of payment, known as the installment payment, from the revenue generated by utilizing the spectrum. The way the financing contract carries out and the sealed non-cash auction works similarly. Thus, contract theory is employed here as the mathematical framework to solve the non-cash auction problem and form mutually beneficial relationships between PUs and SUs. As the PU may not have the full acknowledgement of the SU's financial status, nor the SU's capability in making revenue, the problems of adverse selection and moral hazard arise in the two scenarios, respectively. Therefore, a joint adverse selection and moral hazard model is considered here. In particular, we present three situations when either or both adverse selection and moral hazard are present during the trading. Furthermore, both discrete and continuous models are provided in this paper. Through extensive simulations, we show that the adverse selection and moral hazard cases serve as the upper and lower bounds of the general case where both problems are present.


title: Hodge decomposition and the Shapley value of a cooperative game

abstract: We show that a cooperative game may be decomposed into a sum of component games, one for each player, using the combinatorial Hodge decomposition on a graph. This decomposition is shown to satisfy certain efficiency, null-player, symmetry, and linearity properties. Consequently, we obtain a new characterization of the classical Shapley value as the value of the grand coalition in each player's component game. We also relate this decomposition to a least-squares problem involving inessential games (in a similar spirit to previous work on least-squares and minimum-norm solution concepts) and to the graph Laplacian. Finally, we generalize this approach to games with weights and/or constraints on coalition formation.


title: Detection of gamma-ray emission from the Coma cluster with Fermi Large Area Telescope and tentative evidence for an extended spatial structure

abstract: Many galaxy clusters have giant halos of non-thermal radio emission, indicating the presence of relativistic electrons in the clusters. Relativistic protons may also be accelerated by merger and/or accretion shocks in galaxy clusters. These cosmic-ray (CR) electrons and/or protons are expected to produce gamma-rays through inverse-Compton scatterings or inelastic $pp$ collisions respectively. Despite of intense efforts in searching for high-energy gamma-ray emission from galaxy clusters, conclusive evidence is still missing so far. Here we report the discovery of $\ge 200$ MeV gamma-ray emission from the Coma cluster direction with an unbinned likelihood analysis of the 9 years of {\it Fermi}-LAT Pass 8 data. The gamma-ray emission shows a spatial morphology roughly coincident with the giant radio halo, with an apparent excess at the southwest of the cluster. Using the test statistic analysis, we further find tentative evidence that the gamma-ray emission at the Coma center is spatially extended. The extended component has an integral energy flux of $\sim 2\times 10^{-12}{\rm \ erg\ cm^{-2}\ s^{-1}}$ in the energy range of 0.2 - 300 GeV and the spectrum is soft with a photon index of $\simeq-2.7$. Interpreting the gamma-ray emission as arising from CR proton interaction, we find that the volume-averaged value of the CR to thermal pressure ratio in the Coma cluster is about $\sim 2\%$. Our results show that galaxy clusters are likely a new type of GeV gamma-ray sources, and they are probably also giant reservoirs of CR protons.


title: Effective description of hot QCD medium in strong magnetic field and longitudinal conductivity

abstract: Hot QCD medium effects have been studied in the effective quasi-particle description of quark-gluon plasma. This model encodes the collective excitation of gluons and quarks/anti-quarks in the thermal medium in terms of effective quarks and gluons having non-trivial energy dispersion relation. The present investigation involves the extension of the effective quasi-particle model in strong magnetic field limit. Realizing, hot QCD medium in the strong magnetic field as an effective grand canonical system in terms of the modified quark, anti-quark and gluonic degrees of freedom, the thermodynamics has been studied. Further, the Debye mass in hot QCD medium has to be sensitive to the magnetic field, and subsequently the same has been observed for the effective hot QCD coupling. As an implication, electrical conductivity (longitudinal) has been studied within an effective kinetic theory description of hot QCD in the presence of the strong magnetic field. The hot QCD equation of state (EoS), dependence entering through the effective coupling and quasi-parton distribution function, found to have a significant impact on the longitudinal electrical conductivity in strong magnetic field background.


title: Finite Differences in Forward and Inverse Imaging Problems--MaxPol Design

abstract: A systematic and comprehensive framework for finite impulse response (FIR) lowpass/fullband derivative kernels is introduced in this paper. Closed form solutions of a number of derivative filters are obtained using the maximally flat technique to regulate the Fourier response of undetermined coefficients. The framework includes arbitrary parameter control methods that afford solutions for numerous differential orders, variable polynomial accuracy, centralized/staggered schemes, and arbitrary side-shift nodes for boundary formulation. Using the proposed framework four different derivative matrix operators are introduced and their numerical stability is analyzed by studying their eigenvalues distribution in the complex plane. Their utility is studied by considering two important image processing problems, namely gradient surface reconstruction and image stitching. Experimentation indicates that the new derivative matrices not only outperform commonly used method but provide useful insights to the numerical issues in these two applications.


title: The relation between cosmological redshift and scale factor for photons

abstract: The cosmological constant problem has become one of the most important ones in modern cosmology. In this paper, we try to construct a model that can avoid the cosmological constant problem and have the potential to explain the apparent late-time accelerating expansion of the universe in both luminosity distance and angular diameter distance measurement channels. In our model, the core is to modify the relation between cosmological redshift and scale factor for photons. We point out three ways to test our hypothesis: the supernova time dilation; the gravitational waves and its electromagnetic counterparts emitted by the binary neutron star systems; and the Sandage--Loeb effect. All of this method is feasible now or in the near future.


title: Idempotents and one-sided units in infinite partial Brauer monoids

abstract: We study monoids generated by various combinations of idempotents and one- or two-sided units of an infinite partial Brauer monoid. This yields a total of eight such monoids, each with a natural characterisation in terms of relationships between parameters associated to Brauer graphs. We calculate the relative ranks of each monoid modulo any other such monoid it may contain, and then apply these results to determine the Sierpinski rank of each monoid, and ascertain which ones have the semigroup Bergman property. We also make some fundamental observations about idempotents and units in arbitrary monoids, and prove some general results about relative ranks for submonoids generated by these sets. Dedicated to Dr Des FitzGerald on the occasion of his 70th birthday.


title: Generalized fractional operator representations of Jacobi type orthogonal polynomials

abstract: The aim of this paper is to apply generalized operators of fractional integration and differentiation involving Appell's function $F_{3}(:)$ due to Marichev-Saigo-Maeda (MSM), to the Jacobi type orthogonal polynomials. The results are expressed in terms of generalized hypergeometric function. Some of the interesting special cases of the main results also established.


title: Pose-driven Deep Convolutional Model for Person Re-identification

abstract: Feature extraction and matching are two crucial components in person Re-Identification (ReID). The large pose deformations and the complex view variations exhibited by the captured person images significantly increase the difficulty of learning and matching of the features from person images. To overcome these difficulties, in this work we propose a Pose-driven Deep Convolutional (PDC) model to learn improved feature extraction and matching models from end to end. Our deep architecture explicitly leverages the human part cues to alleviate the pose variations and learn robust feature representations from both the global image and different local parts. To match the features from global human body and local body parts, a pose driven feature weighting sub-network is further designed to learn adaptive feature fusions. Extensive experimental analyses and results on three popular datasets demonstrate significant performance improvements of our model over all published state-of-the-art methods.


title: The Best Features of Diamond Nanothread for Nanofiber Application

abstract: Carbon fibers, especially those constructed from carbon nanotubes (CNTs), have attracted intensive interests from both scientific and engineering communities due to their outstanding physical properties. In this workHere we report, we find that the recently synthesized recently synthesized ultrathin diamond nanothread (DNT) not only possesses excellent torsional deformation capability, but also has excellent interfacial load transfer efficiency. Comparing with the (10,10) carbon nanotube bundles, (1) By considering a seven strand fiber, the flattening of nanotubes as observed in (10,10) CNT bundles is not observed in DNTdiamond nanothread bundle, which . This endows the DNT bundle withleads to a high torsional elastic limit that is almost three times higherfour times as obtained from the (10,10) CNT bundle. Pull-out tests reveal that (2) Pull-out tests reveal that tthe DNT diamond nanothread bundle has has an interface transfer load of more than twice that of the CNT carbon naontube bundle, corresponding to an order of magnitude higher in terms of . (3) Tthe interfacial shear strength of the DNT bundle is an order of magnitude higher than that of the CNT bundle. Such high interface load transfer efficiency is attributed to the zigzag morphology of DNT, which introduces a strong mechanical interlocking effect at the interface through the stick-slip motion (totally different from the load transfer mechanism in CNT bundle). The aforementioned three aspects are commonly used to gauge the performance of fibers. Obviously,These intriguing features enable DNT diamond nanothread as exhibits excellent potential candidate for constructing next generation carbon fibers.


title: Dissipative preparation of steady Greenberger-Horne-Zeilinger states for Rydberg atoms with quantum Zeno dynamics

abstract: Inspired by a recent work [Reiter, Reeb, and S{\o}rensen, Phys. Rev. Lett. {\bf117}, 040501 (2016)], we present a simplified proposal for dissipatively preparing a Greenberger-Horne-Zeilinger (GHZ) state of three Rydberg atoms in a cavity. The $Z$ pumping is implemented under the action of the spontaneous emission of $\Lambda$-type atoms and the quantum Zeno dynamics induced by strong continuous coupling. In the meantime, a dissipative Rydberg pumping breaks up the stability of the state $|{\rm GHZ}_+\rangle$ in the process of $Z$ pumping, making $|{\rm GHZ}_-\rangle$ be the unique steady state of system. Compared with the former scheme, the number of driving fields acting on atoms is greatly reduced and only a single-mode cavity is required. The numerical simulation of the full master equation reveals that a high fidelity $\sim98\%$ can be obtained with the currently achievable parameters in the Rydberg-atom-cavity system.


title: Biosignal Analysis with Matching-Pursuit Based Adaptive Chirplet Transform

abstract: Chirping phenomena, in which the instantaneous frequencies of a signal change with time, are abundant in signals related to biological systems. Biosignals are non-stationary in nature and the time-frequency analysis is a viable tool to analyze them. It is well understood that Gaussian chirplet function is critical in describing chirp signals. Despite the theory of adaptive chirplet transform (ACT) has been established for more than two decades and is well accepted in the community of signal processing, application of ACT to bio-/biomedical signal analysis is still quite limited, probably because that the power of ACT, as an emerging tool for biosignal analysis, has not yet been fully appreciated by the researchers in the field of biomedical engineering. In this paper, we describe a novel ACT algorithm based on the "coarse-refinement" scheme. Namely, the initial estimate of a chirplet is implemented with the matching-pursuit (MP) algorithm and subsequently it is refined using the expectation-maximization (EM) algorithm, which we coin as MPEM algorithm. We emphasize the robustness enhancement of the algorithm in face of noise, which is important to biosignal analysis, as they are usually embedded in strong background noise. We then demonstrate the capability of our algorithm by applying it to the analysis of representative biosignals, including visual evoked potentials (bioelectrical signals), audible heart sounds and bat ultrasonic echolocation signals (bioacoustic signals), and human speech. The results show that the MPEM algorithm provides more compact representation of signals under investigation and clearer visualization of their time-frequency structures, indicating considerable promise of ACT in biosignal analysis. The MATLAB code repository is hosted on GitHub for free download (https://github.com/jiecui/mpact).


title: Graphene helicoid as novel nanospring

abstract: Advancement of nanotechnology has greatly accelerated the miniaturization of mechanical or electronic devices. This work proposes a new nanoscale spring - a graphene nanoribbon-based helicoid (GH) structure by using large-scale molecular dynamics simulation. It is found that the GH structure not only possesses an extraordinary high tensile deformation capability, but also exhibits unique features not accessible from traditional springs. Specifically, its yield strain increases when its inner radius is enlarged, which can exceed 1000%, and it has three elastic deformation stages including the initial delamination, stable delamination and elastic deformation. Moreover, the failure of the GH is found to be governed by the failure of graphene nanoribbon and the inner edge atoms absorb most of the tensile strain energy. Such fact leads to a constant elastic limit force (corresponding to the yield point) for all GHs. This study has provided a comprehensive understanding of the tensile behaviors of GH, which opens the avenue to design novel nanoscale springs based on 2D nanomaterials.


title: Mechanical Properties of Penta-Graphene Nanotubes

abstract: Penta-graphene is the name given to a novel puckered monolayer of carbon atoms tightly packed into an inerratic pentagonal network, theoretically, which exhibits excellent thermal and mechanical stability and can be rolled into penta-graphene nanotubes (PGNTs). Herein, we perform the first simulation study of mechanical properties of PGNTs under uniaxial tension. In addition to comparable mechanical properties with that of carbon nanotubes (CNT), it is found that PGNTs possess promising extensibility with typical plastic behavior due to the irreversible pentagon-to-polygon structural transformation and the hexagon carbon ring becomes the dominating structural motif after the transformation. The plastic characteristic of PGNTs is inherent with strain-rate and tube-diameter independences. Moreover, within ultimate temperature (T<1100 K), tensile deformed PGNTs manifest similar phase transition with an approximate transition ratio from pentagon to hexagon. The intrinsic insight provides a fundamental understanding of mechanic properties of PGNTs, which should open up a novel perspective for the design of plastic carbon-based nanomaterials.


title: By Hook or by Crook: Exposing the Diverse Abuse Tactics of Technical Support Scammers

abstract: Technical Support Scams (TSS), which combine online abuse with social engineering over the phone channel, have persisted despite several law enforcement actions. The tactics used by these scammers have evolved over time and they have targeted an ever increasing number of technology brands. Although recent research has provided insights into TSS, these scams have now evolved to exploit ubiquitously used online services such as search and sponsored advertisements served in response to search queries. We use a data-driven approach to understand search-and-ad abuse by TSS to gain visibility into the online infrastructure that facilitates it. By carefully formulating tech support queries with multiple search engines, we collect data about both the support infrastructure and the websites to which TSS victims are directed when they search online for tech support resources. We augment this with a DNS-based amplification technique to further enhance visibility into this abuse infrastructure. By analyzing the collected data, we demonstrate that tech support scammers are (1) successful in getting major as well as custom search engines to return links to websites controlled by them, and (2) they are able to get ad networks to serve malicious advertisements that lead to scam pages. Our study period of 8 months uncovered over 9,000 TSS domains, of both passive and aggressive types, with minimal overlap between sets that are reached via organic search results and sponsored ads. Also, we found over 2,400 support domains which aid the TSS domains in manipulating organic search results. Moreover, we found little overlap with domains that are reached via abuse of domain parking and URL-shortening services which was investigated previously. Thus, investigation of search-and-ad abuse provides new insights into TSS tactics and helps detect previously unknown abuse infrastructure that facilitates these scams.


title: A remark on hyperplane sections of rational normal scrolls

abstract: We present algebraic and geometric arguments that give a complete classification of the rational normal scrolls that are hyperplane section of a given rational normal scrolls.


title: MHD Turbulence in spin-down flows of liquid metals

abstract: Intense spin-down flows allow one to reach high Rm in relatively small laboratory setups using moderate mass of liquid metals. The spin-down flow in toroidal channels was the first flow configuration used for studying dynamo effects in non-stationary flows. In this paper, we estimate the effect of small-scale dynamo in liquid metal spin-down flows realized in laboratory experiments. Our simulations have confirmed the conclusion that the dynamo effects observed in the experiments done on gallium are weak -- a slight burst of small-scale magnetic energy arises only at the highest available rotation velocity of the channel. In sodium flows, the induction effects are quite strong -- an essential part of kinetic energy of sodium spin-down flows is converted into magnetic energy and dissipates because of Joule heat losses. We have extended our simulations beyond the capabilities of existing laboratory facilities and examined the spin-down flows at the channel rotation velocity Omega>> 50 rps. It has been found that $\Omega\approx 100$rps is enough to reach the equipartition of magnetic and kinetic spectral power density at the lowest wave numbers (largest scales), whereas at Omega >= 200rps the intensity of the magnetic field becomes comparable to the intensity of velocity field fluctuations. We have also studied the influence of the Pm on the efficiency of small-scale dynamo in spin-down flows. In the experimental spin-down flows, the small-scale dynamo remains in a quasi-kinematic regime, and magnetic energy is mainly dissipated at the same scale, wherein it is converted from kinetic energy. The real small-scale dynamo starts to operate at Pm>10^{-4}, and the inertial range of the magnetic energy spectrum appears. Thereupon the energy dissipation is postponed to a later time and smaller scales, and the peak of turbulent energy (both kinetic and magnetic) slightly increases with Pm.


title: Vortex stretching in self-gravitating protoplanetary discs

abstract: Horseshoe-shaped brightness asymmetries of several transitional discs are thought to be caused by large-scale vortices. Anticyclonic vortices are efficiently collect dust particles, therefore they can play a major role in planet formation. Former studies suggest that the disc self-gravity weakens vortices formed at the edge of the gap opened by a massive planet in discs whose masses are in the range of 0.01<=M_disc/M_*<=0.1. Here we present an investigation on the long-term evolution of the large-scale vortices formed at the viscosity transition of the discs' dead zone outer edge by means of two-dimensional hydrodynamic simulations taking disc self-gravity into account. We perform a numerical study of low mass, 0.001<=M_disc/M_*<=0.01, discs, for which cases disc self-gravity was previously neglected. The large-scale vortices are found to be stretched due to disc self-gravity even for low-mass discs with M_disc/M_*>=0.005 where initially the Toomre Q-parameter was <=50 at the vortex distance. As a result of stretching, the vortex aspect ratio increases and a weaker azimuthal density contrast develops. The strength of the vortex stretching is proportional to the disc mass. The vortex stretching can be explained by a combined action of a non-vanishing gravitational torque caused by the vortex, and the Keplerian shear of the disc. Self-gravitating vortices are subject to significantly faster decay than non-self-gravitating ones. We found that vortices developed at sharp viscosity transitions of self-gravitating discs can be described by a GNG model as long as the disc viscosity is low, i.e. alpha_dz<=10^-5.


title: Strain-induced large spin splitting and persistent spin helix at LaAlO$_3$/SrTiO$_3$ interface

abstract: We investigated the effect of the tensile strain on the spin splitting at the n-type interface in LaAlO$_3$/SrTiO$_3$ in terms of the spin-orbit coupling coefficient $\alpha$ and spin texture in the momentum space using first-principles calculations. We found that the $\alpha$ could be controlled by the tensile strain and be enhanced up to 5 times for the tensile strain of 7%, and the effect of the tensile strain leads to a persistent spin helix, which has a long spin lifetime. These results support that the strain effect on LaAlO$_3$/SrTiO$_3$ is important for various applications such as spinFET and spin-to-charge conversion.


title: Best Rank-One Tensor Approximation and Parallel Update Algorithm for CPD

abstract: A novel algorithm is proposed for CANDECOMP/PARAFAC tensor decomposition to exploit best rank-1 tensor approximation. Different from the existing algorithms, our algorithm updates rank-1 tensors simultaneously in parallel. In order to achieve this, we develop new all-at-once algorithms for best rank-1 tensor approximation based on the Levenberg-Marquardt method and the rotational update. We show that the LM algorithm has the same complexity of first-order optimisation algorithms, while the rotational method leads to solving the best rank-1 approximation of tensors of size $2 \times 2 \times \cdots \times 2$. We derive a closed-form expression of the best rank-1 tensor of $2\times 2 \times 2$ tensors and present an ALS algorithm which updates 3 component at a time for higher order tensors. The proposed algorithm is illustrated in decomposition of difficult tensors which are associated with multiplication of two matrices.


title: How Much is the Efficiency of Solar Cells Enhanced by Quantum Coherence?

abstract: We study how much the efficiency of a solar cell as a quantum heat engine could be enhanced by quantum coherence. In contrast to the conventional approach that a quantum heat engine is in thermal equilibrium with both hot and cold reservoirs, we propose a new description that the quantum heat engine is in the cold reservoir and the thermal radiation from the hot reservoir is described by the pumping term in the master equation. This pumping term solves the problem of the incorrect mean photon number of the hot reservoir assumed by the previous studies. By solving the master equation, we obtain the current-voltage and the power-voltage curves of the photocell for different pumping rates. We find that, as the photon flux increases, the power output of the photocell increases linearly at first and then becomes saturated, but the efficiency decreases rapidly. It is demonstrated that while the power output is enhanced significantly by the quantum coherence via the dark state of the coupled donors, the improvement of the efficiency is not significant.


title: On some Chern-Simons forms of the Bott-Shulman-Stasheff forms

abstract: We exhibit the Chern-Simons forms of some characteristic classes in the simplicial de Rham complex.


title: Machine Learning for Networking: Workflow, Advances and Opportunities

abstract: Recently, machine learning has been used in every possible field to leverage its amazing power. For a long time, the net-working and distributed computing system is the key infrastructure to provide efficient computational resource for machine learning. Networking itself can also benefit from this promising technology. This article focuses on the application of Machine Learning techniques for Networking (MLN), which can not only help solve the intractable old network questions but also stimulate new network applications. In this article, we summarize the basic workflow to explain how to apply the machine learning technology in the networking domain. Then we provide a selective survey of the latest representative advances with explanations on their design principles and benefits. These advances are divided into several network design objectives and the detailed information of how they perform in each step of MLN workflow is presented. Finally, we shed light on the new opportunities on networking design and community building of this new inter-discipline. Our goal is to provide a broad research guideline on networking with machine learning to help and motivate researchers to develop innovative algorithms, standards and frameworks.


title: Realizing Half-Diminished Reality from Video Stream of Manipulating Objects

abstract: When we watch a video, in which human hands manipulate objects, these hands may obscure some parts of those objects. We are willing to make clear how the objects are manipulated by making the image of hands semi-transparent, and showing the complete images of the hands and the object. By carefully choosing a Half-Diminished Reality method, this paper proposes a method that can process the video in real time and verifies that the proposed method works well.


title: Probing the spinning of the massive black hole in the Galactic Center via pulsar timing: A Full Relativistic Treatment

abstract: Pulsars around the Massive Black Hole (MBH) in the Galactic Center (GC) are expected to be revealed by the incoming facilities (e.g., the Square Kilometre Array). Under a full relativistic framework with the pulsar approximated as a test particle, we investigate the constraints on the spinning of the MBH by monitoring the timing of surrounding pulsars. For GC pulsars orbiting closely around the MBH (e.g., $\lesssim1000$AU), we find that full relativistic treatment in modeling accurately their timing signals can be necessary, as the relativistic signals are orders of magnitude larger than the time of arrival measurement accuracies. Although usually there are near-degeneracies among MBH spin parameters, the constraints on the spinning of the MBH are still very tight. By continuously monitoring a normal pulsar in orbits with a period of $\sim2.6$yr and an eccentricity of $0.3-0.9$ under timing precision of $1-5$ms, within $\sim 8$yr the spin magnitude and the orientations of the GC MBH can be constrained with $2\sigma$ error of $10^{-3}-10^{-2}$ and $10^{-1}-10^\circ$, respectively. Even for pulsars in orbits similar to the detected star S2/S0-2 or S0-102, we find that the spinning of the MBH can still be constrained within $4-8$yr, with the most significant constraints provided near the pericenter passage. If the proper motion of the pulsars with astrometric accuracy of $10\mu$as can also be collected along with the timing measurement, then the position, velocity, mass and the distance to the Solar System of the MBH can be constrained about $\sim10\mu$as, $\sim1\mu$as$/$yr, $\sim 10 M_\odot$ and $\sim1$pc, respectively.


title: An update on nuclear PDFs at the LHeC

abstract: The prospects for a measurement of nuclear parton distribution functions (PDFs) at the Large Hadron--Electron Collider are discussed in the light of recent progress made in the front of global analysis of nuclear PDFs.


title: Spatial organization and interactions of harvester ants during foraging activity

abstract: Local interactions, when individuals meet, can regulate collective behavior. In a system without any central control, the rate of interaction may depend simply on how the individuals move around. But interactions could in turn influence movement; individuals might seek out interactions, or their movement in response to interaction could influence further interaction rates. We develop a general framework to address these questions, using collision theory to establish a baseline expected rate of interaction based on proximity. We test the models using data from harvester ant colonies. A colony uses feedback from interactions inside the nest to regulate foraging activity. Potential foragers leave the nest in response to interactions with returning foragers with food. The time series of interactions and local density of ants show how density hotspots lead to interactions that are clustered in time. A correlated random walk null model describes the mixing of potential and returning foragers. A model from collision theory relates walking speed and spatial proximity with the probability of interaction. The results demonstrate that although ants do not mix homogeneously, trends in interaction patterns can be explained simply by the walking speed and local density of surrounding ants.


title: Predicting interviewee attitude and body language from speech descriptors

abstract: This present research investigated the relationship between personal impressions and the acoustic nonverbal communication conveyed by employees being interviewed. First, we investigated the extent to which different conversation topics addressed during the interview induced changes in the interviewees' acoustic parameters. Next, we attempted to predict the observed and self-assessed attitudes and body language of the interviewees based on the acoustic data. The results showed that topicality caused significant deviations in the acoustic parameters statistics, but the ability to predict the personal perceptions of the interviewees based on their acoustic non-verbal communication was relatively independent of topicality, due to the natural redundancy inherent in acoustic attributes. Our findings suggest that joint modeling of speech and visual cues may improve the assessment of interviewee profiles.


title: The fundamental Lepage form in variational theory for submanifolds

abstract: A setting for global variational geometry on Grassmann fibrations is presented. The integral variational functionals for finite dimensional immersed submanifolds are studied by means of the fundamental Lepage equivalent of a homogeneous Lagrangian, which can be regarded as a generalization of the well-known Hilbert form in the classical mechanics. Prolongations of immersions, diffeomorphisms and vector fields to the Grassmann fibrations are introduced as geometric tools for the variations of immersions. The first infinitesimal variation formula together with its consequences, the Euler-Lagrange equations for extremal submanifolds and the Noether theorem for invariant variational functionals are proved. The theory is illustrated on the variational functional for minimal submanifolds.


title: The Role of Different Schemes in the QCD Analysis and Determination of the Strong Coupling

abstract: In this article, we present a Next-to-Leading Order (NLO) QCD analysis to study the role and influence of different schemes on simultaneous determination of the Parton Distribution Functions (PDFs) and strong coupling, $\alpha_s(M^2_Z)$. We perform our analysis based on three different data sets, HERA I and II combined data, H1-ZEUS charm combined data, and H1 and ZEUS beauty production cross sections data, in two different Thorne-Roberts (TR or RT) and Thorne-Roberts Optimal (RT OPT) schemes. We show in going from RT scheme to RT OPT scheme, in addition of reduction the uncertainty of some PDFs, specially for the gluon distribution, we get $\sim 0.4$~\% and $\sim 0.7$~\%~improvement in the fit quality and $\sim 0.9$~\% and $\sim 1.6$~\%~improvement for the strong coupling, $\alpha_s(M^2_Z)$, without and with heavy flavor contributions, respectively.


title: The EPPS16 nuclear PDFs

abstract: We report on EPPS16 - the first analysis of NLO nuclear PDFs where LHC p-Pb data (Z, W, dijets) have been directly used as a constraint. In comparison to our previous fit EPS09, also data from neutrino-nucleus deeply-inelastic scattering and pion-nucleus Drell-Yan process are now included. Much of the theory framework has also been updated from EPS09, including a consistent treatment of heavy quarks in deeply-inelastic scattering. However, the most notable change is that we no longer assume flavour-blind nuclear modifications for valence and sea quarks. This significantly reduces the theoretical bias. All the analysed data are well reproduced and the analysis thereby supports the validity of collinear factorization in high-energy collisions involving heavy nuclei. However, flavour by flavour, the uncertainties are still rather large.


title: SCube: A Tool for Segregation Discovery

abstract: Segregation is the separation of social groups in the physical or in the online world. Segregation discovery consists of finding contexts of segregation. In the modern digital society, discovering segregation is challenging, due to the large amount and the variety of social data. We present a tool in support of segregation discovery from relational and graph data. The SCube system builds on attributed graph clustering and frequent itemset mining. It offers to the analyst a multi-dimensional segregation data cube for exploratory data analysis. The demonstration first guides the audience through the relevant social science concepts. Then, it focuses on scenarios around case studies of gender occupational segregation. Two real and large datasets about the boards of directors of Italian and Estonian companies will be explored in search of segregation contexts. The architecture of the SCube system and its computational efficiency challenges and solutions are discussed.


title: Error Preserving Correction for CPD and Bounded-Norm CPD

abstract: In CANDECOMP/PARAFAC tensor decomposition, degeneracy often occurs in some difficult scenarios, e.g., when the rank exceeds the tensor dimension, or when the loading components are highly collinear in several or all modes, or when CPD does not have an optimal solution. In such the cases, norms of some rank-1 terms become significantly large and cancel each other. This makes algorithms getting stuck in local minima while running a huge number of iterations does not improve the decomposition. In this paper, we propose an error preservation correction method to deal with such problem. Our aim is to seek a new tensor whose norms of rank-1 tensor components are minimised in an optimization problem, while it preserves the approximation error. An alternating correction algorithm and an all-atone algorithm have been developed for the problem. In addition, we propose a novel CPD with a bound constraint on a norm of the rank-one tensors. The method can be useful for decomposing tensors that cannot be analyzed by traditional algorithms, such as tensors corresponding to the matrix multiplication.


title: DynaMo: Dynamic Community Detection by Incrementally Maximizing Modularity

abstract: Community detection is of great importance for online social network analysis. The volume, variety and velocity of data generated by today's online social networks are advancing the way researchers analyze those networks. For instance, real-world networks, such as Facebook, LinkedIn and Twitter, are inherently growing rapidly and expanding aggressively over time. However, most of the studies so far have been focusing on detecting communities on the static networks. It is computationally expensive to directly employ a well-studied static algorithm repeatedly on the network snapshots of the dynamic networks. We propose DynaMo, a novel modularity-based dynamic community detection algorithm, aiming to detect communities of dynamic networks as effective as repeatedly applying static algorithms but in a more efficient way. DynaMo is an adaptive and incremental algorithm, which is designed for incrementally maximizing the modularity gain while updating the community structure of dynamic networks. In the experimental evaluation, a comprehensive comparison has been made among DynaMo, Louvain (static) and 5 other dynamic algorithms. Extensive experiments have been conducted on 6 real-world networks and 10,000 synthetic networks. Our results show that DynaMo outperforms all the other 5 dynamic algorithms in terms of the effectiveness, and is 2 to 5 times (by average) faster than Louvain algorithm.


title: Features of W production in p-p, p-Pb and Pb-Pb collisions

abstract: We consider the production of inclusive W bosons in variety of high-energy hadronic collisions: p--p, p--$\overline{\rm p}$, p--Pb, and Pb--Pb. In particular, we focus on the resulting distributions of charged leptons from W decay that can be measured with relatively low backgrounds. The leading-order expressions within the collinearly factorized QCD indicate that the center-of-mass energy dependence at forward/backward rapidities should be well approximated by a simple power law. The scaling exponent is related to the small-$x$ behaviour of the quark distributions, which is largely driven by the parton evolution. An interesting consequence is the simple scaling law for the lepton charge asymmetry which relates measurements in different collision systems. The expectations are contrasted with the existing data and a very good overall agreement is found. Finally, we propose precision observables to be measured at the LHC.


title: Chirality in magnetic multilayers probed by the symmetry and the amplitude of dichroism in X-ray resonant magnetic scattering

abstract: Chirality in condensed matter is now a topic of the utmost importance because of its significant role in the understanding and mastering of a large variety of new fundamental physicals mechanisms. Versatile experimental approaches, capable to reveal easily the exact winding of order parameters are therefore essential. Here we report X-ray resonant magnetic scattering (XRMS) as a straightforward tool to identify directly the properties of chiral magnetic systems. We show that it can straight-forwardly and unambiguously determine the main characteristics of chiral magnetic distributions: i.e. its chiral nature, the quantitative winding sense (clockwise or counter-clockwise) and its type (N\'eel/cycloidal or Bloch/helical). This method is model-independent, does not require a-priori knowledge of magnetic parameters and can be applied to any system with magnetic domains ranging from few nanometers (wavelength limited) to several microns. By using prototypical multilayers with tailored magnetic chiralities based on the Co|Pt interface we illustrate the strength of this method.


title: Quantum and classical dynamics of a three-mode absorption refrigerator

abstract: We study the quantum and classical evolution of a system of three harmonic modes interacting via a trilinear Hamiltonian. With the modes prepared in thermal states of different temperatures, this model describes the working principle of an absorption refrigerator that transfers energy from a cold to a hot environment at the expense of free energy provided by a high-temperature work reservoir. Inspired by a recent experimental realization with trapped ions, we elucidate key features of the coupling Hamiltonian that are relevant for the refrigerator performance. The coherent system dynamics exhibits rapid effective equilibration of the mode energies and correlations, as well as a transient enhancement of the cooling performance at short times. We find that these features can be fully reproduced in a classical framework.


title: Floquet topological phase transitions in a kicked Haldane-Chern insulator

abstract: We consider a periodically $\delta$-kicked Haldane type Chern insulator with the kicking applied in the $\hat{z}$ direction. This is known to behave as an inversion symmetry breaking perturbation, since it introduces a time-dependent staggered sub-lattice potential. We study here the effects of such driving on the topological phase diagram of the original Haldane model of a Hall effect in the absence of a net magnetic field. The resultant Floquet band topology is again that of a Chern insulator with the driving parameters, frequency and amplitude, influencing the inversion breaking mass $M$ of the undriven Haldane model. A family of such, periodically related, `Semenoff masses' is observed to occur which support a periodic repetition of Haldane like phase diagrams along the inversion breaking axis of the phase plots. Out of these it is possible to identify two in-equivalent masses in the reduced zone scheme of the Floquet quasienergies, which form the centres of two inequivalent phase diagrams. Further, variation in the driving amplitude's magnitude alone is shown to effect the topological properties by linearly shifting the phase diagram of the driven model about the position of the undriven case. A phenomenon that allows the study of Floquet topological phase transitions in the system. Finally, we also discuss some issues regarding the modifications to Haldane's condition for preventing band overlaps at the Dirac point touchings in the Brillouin zone, in the presence of kicking.


title: Doubled Shapiro Steps in a Topological Josephson Junction

abstract: We study the transport properties of a superconductor-quantum spin Hall insulator-superconductor (S-QSHI-S) hybrid system in the presence of a microwave radiation. Instead of adiabatic analysis or using the resistively shunted junction model, we start from the microscopic Hamiltonian and calculate the DC current directly with the help of the non-equilibrium Green's Functions method. The numerical results show that (i) the I-V curves of background current due to multiple Andreev reflections (MAR) exhibit a different structure with that in the conventional junctions, (ii) all Shapiro steps are visible and appear one by one at high frequency, while at low frequency, the steps evolve exactly as the Bessel functions and the odd steps are completely suppressed, implying a fractional Josephson effect.


title: Le th\'eor\`eme de Fermat sur certains corps de nombres totalement r\'eels

abstract: Let $K$ be a totally real number field. For all prime number $p\geq 5$, let us denote by $F_p$ the Fermat curve of equation $x^p+y^p+z^p=0$. Under the assumption that $2$ is totally ramified in $K$, we establish some results about the set $F_p(K)$ of points of $F_p$ rational over $K$. We obtain a criterion so that the asymptotic Fermat's Last Theorem is true over $K$, criterion related to the set of Hilbert modular cusp newforms over $K$, of parallel weight $2$ and of level the prime ideal above $2$. It is often simply testable numerically, particularly if the narrow class number of $K$ is $1$. Furthermore, using the modular method, we prove Fermat's Last Theorem effectively, over some number fields whose degrees over $\mathbb{Q}$ are $3,4,5,6$ and $8$.


title: Generating Functionally Equivalent Programs Having Non-Isomorphic Control-Flow Graphs

abstract: One of the big challenges in program obfuscation consists in modifying not only the program's straight-line code (SLC) but also the program's control flow graph (CFG). Indeed, if only SLC is modified, the program's CFG can be extracted and analyzed. Usually, the CFG leaks a considerable amount of information on the program's structure. In this work we propose a method allowing to re-write a code P into a functionally equivalent code P' such that CFG{P} and CFG{P'} are radically different.


title: Non-iterative triples excitations in equation-of-motion coupled-cluster theory for electron attachment with applications to bound and temporary anions

abstract: The impact of residual electron correlation beyond the equation-of-motion coupled-cluster singles and doubles approximation (EOM-CCSD) on positions and widths of electronic resonances is investigated. To establish a method that accomplishes this task in an economical manner, several approaches proposed for the approximate treatment of triples excitations are reviewed with respect to their performance in the electron attachment (EA) variant of EOM-CC theory. The recently introduced EOM-CCSD(T)(a)* method, which includes non-iterative corrections to the reference and the target states, reliably reproduces vertical attachment energies from EOM-EA-CC calculations with singles, doubles, and full triples excitations in contrast to schemes in which non-iterative corrections are applied only to the target states. Applications of EOM-EA-CCSD(T)(a)* augmented by a complex absorbing potential (CAP) to several temporary anions illustrate that shape resonances are well described by EOM-EA-CCSD, but that residual electron correlation often makes a non-negligible impact on their positions and widths. The positions of Feshbach resonances, on the other hand, are significantly improved when going from CAP-EOM-EA-CCSD to CAP-EOM-EA-CCSD(T)(a)*, but the correct energetic order of the relevant electronic states is still not achieved.


title: On the expressive power of query languages for matrices

abstract: We investigate the expressive power of $\mathsf{MATLANG}$, a formal language for matrix manipulation based on common matrix operations and linear algebra. The language can be extended with the operation $\mathsf{inv}$ of inverting a matrix. In $\mathsf{MATLANG}+\mathsf{inv}$ we can compute the transitive closure of directed graphs, whereas we show that this is not possible without inversion. Indeed we show that the basic language can be simulated in the relational algebra with arithmetic operations, grouping, and summation. We also consider an operation $\mathsf{eigen}$ for diagonalizing a matrix, which is defined so that different eigenvectors returned for a same eigenvalue are orthogonal. We show that $\mathsf{inv}$ can be expressed in $\mathsf{MATLANG}+\mathsf{eigen}$. We put forward the open question whether there are boolean queries about matrices, or generic queries about graphs, expressible in $\mathsf{MATLANG} + \mathsf{eigen}$ but not in $\mathsf{MATLANG}+\mathsf{inv}$. The evaluation problem for $\mathsf{MATLANG} + \mathsf{eigen}$ is shown to be complete for the complexity class $\exists \mathbf{R}$.


title: Distributed Discrete-time Optimization in Multi-agent Networks Using only Sign of Relative State

abstract: This paper proposes distributed discrete-time algorithms to cooperatively solve an additive cost optimization problem in multi-agent networks. The striking feature lies in the use of only the sign of relative state information between neighbors, which substantially differentiates our algorithms from others in the existing literature. We first interpret the proposed algorithms in terms of the penalty method in optimization theory and then perform non-asymptotic analysis to study convergence for static network graphs. Compared with the celebrated distributed subgradient algorithms, which however use the exact relative state information, the convergence speed is essentially not affected by the loss of information. We also study how introducing noise into the relative state information and randomly activated graphs affect the performance of our algorithms. Finally, we validate the theoretical results on a class of distributed quantile regression problems.