title: A Case for Asymmetric Non-Volatile Memory Architecture

abstract: The byte-addressable Non-Volatile Memory (NVM) is a promising technology since it simultaneously provides DRAM-like performance, disk-like capacity, and persistency. The current NVM deployment is symmetric, where NVM devices are directly attached to servers. Due to the higher density, NVM provides larger capacity and can be shared among servers. Unfortunately, in the symmetric setting, the availability of NVM devices is affected by the specific machine it is attached to. High availability can be realized by replicating data to NVM on a remote machine. However, it requires full replication of data structure in local memory, limiting the size of the working set. This paper rethinks NVM deployment and makes a case for the asymmetric NVM architecture, which decouples servers from persistent data storage. In the proposed AsymNVM architecture, NVM devices (back-end nodes) can be shared by multiple servers (front-end nodes) and provide recoverable persistent data structures. The asymmetric architecture is made possible by RDMA, and follows the recent industry trend of resource disaggregation. We build AsymNVM framework based on AsymNVM architecture that implements: 1) high performance persistent data structure update; 2) NVM data management; 3) concurrency control; and 4) crash-consistency and replication. The central idea is to use operation logs to reduce the stall due to RDMA writes and enable efficient batching and caching in front-end nodes. To evaluation performance, we construct eight widely used data structures and two applications based on AsymNVM framework, and use traces of industry workloads. In a cluster with ten machines, the results show that AsymNVM achieves comparable performance to the best possible symmetric architecture while avoiding all the drawbacks with disaggregation. Compared to the baseline AsymNVM, speedup brought by the proposed optimizations is 6~22x.


title: A 5G Architecture for The Factory of the Future

abstract: Factory automation and production are currently undergoing massive changes, and 5G is considered being a key enabler. In this paper, we state uses cases for using 5G in the factory of the future, which are motivated by actual needs of the industry partners of the "5Gang" consortium. Based on these use cases and the ones by 3GPP, a 5G system architecture for the factory of the future is proposed. It is set in relation to existing architectural frameworks.


title: High-energy and very-high-energy emission from stellar-mass black holes moving in gaseous clouds

abstract: We investigate the electron-positron pair cascade taking place in the magnetosphere of a rapidly rotating black hole. Because of the spacetime frame dragging, the Goldreich-Julian charge density changes sign in the vicinity of the event horizon, which leads to an occurrence of a magnetic-field aligned electric field, in the same way as the pulsar outer-magnetospheric accelerator. In this lepton accelerator, electrons and positrons are accelerated in the opposite directions, to emit copious gamma-rays via the curvature and inverse-Compton processes. We examine a stationary pair cascade, and show that a stellar-mass black hole moving in a gaseous cloud can emit a detectable very-high-energy flux, provided that the black hole is extremely rotating and that the distance is less than about 1 kpc. We argue that the gamma-ray image will have a point-like morphology, and demonstrate that their gamma-ray spectra have a broad peak around 0.01-1 GeV and a sharp peak around 0.1 TeV, that the accelerators become most luminous when the mass accretion rate becomes about 0.01% of the Eddington rate, and that the predicted gamma-ray flux little changes in a wide range of magnetospheric currents. An implication of the stability of such a stationary gap is discussed.


title: Deuteron photodisintegration by polarized photons in the region of the $d^*(2380)$

abstract: We report the first large-acceptance measurement of the beam-spin asymmetry for deuteron photodisintegration ($\vec{\gamma} d\to pn$) in the photon energy range $400<E_{\gamma}<630$~MeV. The measurement provides important new constraints on the mechanisms of photodisintegration above the delta resonance and on the photocoupling of the recently discovered $d^*(2380)$ hexaquark.


title: Non-Iterative Knowledge Fusion in Deep Convolutional Neural Networks

abstract: Incorporation of a new knowledge into neural networks with simultaneous preservation of the previous one is known to be a nontrivial problem. This problem becomes even more complex when new knowledge is contained not in new training examples, but inside the parameters (connection weights) of another neural network. Here we propose and test two methods allowing combining the knowledge contained in separate networks. One method is based on a simple operation of summation of weights of constituent neural networks. Another method assumes incorporation of a new knowledge by modification of weights nonessential for the preservation of already stored information. We show that with these methods the knowledge from one network can be transferred into another one non-iteratively without requiring training sessions. The fused network operates efficiently, performing classification far better than a chance level. The efficiency of the methods is quantified on several publicly available data sets in classification tasks both for shallow and deep neural networks.


title: Ultra-wideband THz/IR Metamaterial Absorber based on Doped Silicon

abstract: Metamaterial-based absorbers have been extensively investigated in the terahertz (THz) range with ever increasing performances. In this paper, we propose an all-dielectric THz absorber based on doped silicon. The unit cell consists of a silicon cross resonator with an internal cross-shaped air cavity. Numerical results suggest that the proposed absorber can operate from THz to mid-infrared, having an average power absorption of >95% between 0.6 and 10 THz. Experimental results using THz time-domain spectroscopy show a good agreement with simulations. The underlying mechanisms for broadband absorptions are attributed to the combined effects of multiple cavities modes formed by silicon resonators and bulk absorption in the substrate, as confirmed by simulated field patterns. This ultra-wideband absorption is polarization insensitive and can operate across a wide range of the incident angle. The proposed absorber can be readily integrated into silicon-based platforms and is expected to be used in sensing, imaging, energy harvesting and wireless communications systems.


title: Hypergraph Neural Networks

abstract: In this paper, we present a hypergraph neural networks (HGNN) framework for data representation learning, which can encode high-order data correlation in a hypergraph structure. Confronting the challenges of learning representation for complex data in real practice, we propose to incorporate such data structure in a hypergraph, which is more flexible on data modeling, especially when dealing with complex data. In this method, a hyperedge convolution operation is designed to handle the data correlation during representation learning. In this way, traditional hypergraph learning procedure can be conducted using hyperedge convolution operations efficiently. HGNN is able to learn the hidden layer representation considering the high-order data structure, which is a general framework considering the complex data correlations. We have conducted experiments on citation network classification and visual object recognition tasks and compared HGNN with graph convolutional networks and other traditional methods. Experimental results demonstrate that the proposed HGNN method outperforms recent state-of-the-art methods. We can also reveal from the results that the proposed HGNN is superior when dealing with multi-modal data compared with existing methods.


title: Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials

abstract: Hilbert famously showed that polynomials in n variables are not too complicated, in various senses. For example, the Hilbert Syzygy Theorem shows that the process of resolving a module by free modules terminates in finitely many (in fact, at most n) steps, while the Hilbert Basis Theorem shows that the process of finding generators for an ideal also terminates in finitely many steps. These results laid the foundations for the modern algebraic study of polynomials. Hilbert's results are not uniform in n: unsurprisingly, polynomials in n variables will exhibit greater complexity as n increases. However, an array of recent work has shown that in a certain regime---namely, that where the number of polynomials and their degrees are fixed---the complexity of polynomials (in various senses) remains bounded even as the number of variables goes to infinity. We refer to this as Stillman uniformity, since Stillman's Conjecture provided the motivating example. The purpose of this paper is to give an exposition of Stillman uniformity, including: the circle of ideas initiated by Ananyan and Hochster in their proof of Stillman's Conjecture, the followup results that clarified and expanded on those ideas, and the implications for understanding polynomials in many variables.


title: Raman spectroscopic investigation of relaxor behavior in Pr doped SrTiO3 and Origin of Fano resonance

abstract: Detailed Raman spectroscopy studies on polycrystalline Sr1-xPrxTiO3 (x=0.01, 0.025, 0.05, 0.075, 0.09, 0.13, 0.15, 0.17) samples are reported elucidating the microscopic mechanism of relaxor ferroelectrics. The polar mode was observed upto very high temperature ~1000 K suggesting that the dipoles exists at temperatures well above the characteristic relaxor temperatures and they develop a short range correlation at 505 K leading to formation of PNRs. The TO2 polar mode showed anomalous softening in cooling below T~505 K supporting the growth of PNRs. Fano resonance is reported in the Pr doped compounds which decreases with increasing doping. Our work on Pr doped SrTiO3 reveals that the local TiO6 octahedral tilt scales with the intensity of the polar mode and hence can be used as an order parameter for relaxor transition. The study showed that the paraelectric to relaxor ferroelectric phase transition in this compound is random polarizability instability driven phenomenon which is correlated with the local octahedral tilt angle. The study supports competition and cancelation between lattice and polar instabilities at global length scale while cooperation between the two at local length scale. The modulation in local structure of the material in temperature interval related to dielectric anomaly has been observed which is not been investigated previously by any structural tool.


title: Pre and Post-hoc Diagnosis and Interpretation of Malignancy from Breast DCE-MRI

abstract: We propose a new method for breast cancer screening from DCE-MRI based on a post-hoc approach that is trained using weakly annotated data (i.e., labels are available only at the image level without any lesion delineation). Our proposed post-hoc method automatically diagnosis the whole volume and, for positive cases, it localizes the malignant lesions that led to such diagnosis. Conversely, traditional approaches follow a pre-hoc approach that initially localises suspicious areas that are subsequently classified to establish the breast malignancy -- this approach is trained using strongly annotated data (i.e., it needs a delineation and classification of all lesions in an image). Another goal of this paper is to establish the advantages and disadvantages of both approaches when applied to breast screening from DCE-MRI. Relying on experiments on a breast DCE-MRI dataset that contains scans of 117 patients, our results show that the post-hoc method is more accurate for diagnosing the whole volume per patient, achieving an AUC of 0.91, while the pre-hoc method achieves an AUC of 0.81. However, the performance for localising the malignant lesions remains challenging for the post-hoc method due to the weakly labelled dataset employed during training.


title: Lookup Lateration: Mapping of Received Signal Strength to Position for Geo-Localization in Outdoor Urban Areas

abstract: The accurate geo-localization of mobile devices based upon received signal strength (RSS) in an urban area is hindered by obstacles in the signal propagation path. Current localization methods have their own advantages and drawbacks. Triangular lateration (TL) is fast and scalable but employs a monotone RSS-to-distance transformation that unfortunately assumes mobile devices are on the line of sight. Radio frequency fingerprinting (RFP) methods employ a reference database, which ensures accurate localization but unfortunately hinders scalability. Here, we propose a new, simple, and robust method called lookup lateration (LL), which incorporates the advantages of TL and RFP without their drawbacks. Like RFP, LL employs a dataset of reference locations but stores them in separate lookup tables with respect to RSS and antenna towers. A query observation is localized by identifying common locations in only associating lookup tables. Due to this decentralization, LL is two orders of magnitude faster than RFP, making it particularly scalable for large cities. Moreover, we show that analytically and experimentally, LL achieves higher localization accuracy than RFP as well. For instance, using grid size 20 m, LL achieves 9.11 m and 55.66 m, while RFP achieves 72.50 m and 242.19 m localization errors at 67\% and 95\%, respectively, on the Urban Hannover Scenario dataset.


title: Helium-hydrogen immiscibility at high pressures

abstract: Hydrogen and helium are the most abundant elements in the universe and they constitute the interiors of gas giant planets. Thus, their equations of states, phase, chemical state, and chemical reactivity at extreme conditions are of great interest. Applying Raman spectroscopy, visual observation, and synchrotron X-ray diffraction in diamond anvil cells (DAC), we performed experiments on H2-He 1:1 and D2-He 1:10 compressed gas mixture up to 100 GPa at 300 K. By comparing with the available data on pure bulk materials, we find no sign of miscibility, chemical reactivity, and new compound formation.


title: Aspects of Calabi-Yau Fourfold Compactifications

abstract: The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. In the first part of this thesis, we study the action of mirror symmetry on two-dimensional $\cN=(2,2)$ effective theories obtained by compactifying Type IIA string theory on Calabi-Yau fourfolds. Our focus is on fourfold geometries with non-trivial three-form cohomology. The couplings of the massless zero-modes arising from an expansion of the three-form gauge-potential into these forms depend both on the complex structure deformations and the K\"ahler structure deformations of the Calabi-Yau fourfold. We argue that two holomorphic functions, called three-form periods, one for each kind of deformation, capture this information. These are exchanged under mirror symmetry, which allows us to derive them at the large complex structure and large volume point. We discuss the application of the resulting explicit expression to F-theory compactifications and their weak string coupling limit. The second part of this work introduces the mathematical machinery to derive the complete moduli dependence of the periods of non-trivial three-forms for fourfolds realized as hypersurfaces in toric ambient spaces. It sets the stage to determine Picard-Fuchs-type differential equations and integral expressions for these forms. The key tool is the observation that non-trivial three-forms on fourfold hypersurfaces in toric ambient spaces always stem from divisors that are build out of trees of toric surfaces fibered over Riemann surfaces. The three-form periods are then non-trivially related to the one-form periods of these Riemann surfaces. We conclude with two explicit example fourfolds for F-theory compactifications %in which the three-form periods determine axion decay constants.


title: Chinese User Service Intention Classification Based on Hybrid Neural Network

abstract: In order to satisfy the consumers' increasing personalized service demand, the Intelligent service has arisen. User service intention recognition is an important challenge for intelligent service system to provide precise service. It is difficult for the intelligent system to understand the semantics of user demand which leads to poor recognition effect, because of the noise in user requirement descriptions. Therefore, a hybrid neural network classification model based on BiLSTM and CNN is proposed to recognize users service intentions. The model can fuse the temporal semantics and spatial semantics of the user descriptions. The experimental results show that our model achieves a better effect compared with other models, reaching 0.94 on the F1 score.


title: Vehicle Re-Identification in Context

abstract: Existing vehicle re-identification (re-id) evaluation benchmarks consider strongly artificial test scenarios by assuming the availability of high quality images and fine-grained appearance at an almost constant image scale, reminiscent to images required for Automatic Number Plate Recognition, e.g. VeRi-776. Such assumptions are often invalid in realistic vehicle re-id scenarios where arbitrarily changing image resolutions (scales) are the norm. This makes the existing vehicle re-id benchmarks limited for testing the true performance of a re-id method. In this work, we introduce a more realistic and challenging vehicle re-id benchmark, called Vehicle Re-Identification in Context (VRIC). In contrast to existing datasets, VRIC is uniquely characterised by vehicle images subject to more realistic and unconstrained variations in resolution (scale), motion blur, illumination, occlusion, and viewpoint. It contains 60,430 images of 5,622 vehicle identities captured by 60 different cameras at heterogeneous road traffic scenes in both day-time and night-time.


title: Singular behaviour of time-averaged stress fluctuations on surfaces

abstract: We provide a method for calculating time-averaged stress fluctuations on surfaces in a viscous incompressible fluid at equilibrium. We assume that (i) the time-averaged fluctuating stress is balanced in equilibrium at each position and that (ii) the time-averaged fluctuating stress obeys a Gaussian distribution on the restricted configuration space given by (i). Using these assumptions with the Green-Kubo formula for the viscosity, we can derive the large deviation function of the time-averaged fluctuating stress. Then, using the saddle-point method for the large deviation function, we obtain the time-averaged surface stress fluctuations. As an example, for a fluid between two parallel plates, we study the time-averaged shear/normal stress fluctuations per unit area on the top plate at equilibrium. We show that the surface shear/normal stress fluctuations are inversely proportional to the distance between the plates.


title: Analysis of Outage Probabilities for Cooperative NOMA Users with Imperfect CSI

abstract: Non-orthogonal multiple access (NOMA) is a promising spectrally-efficient technology to meet the massive data requirement of the next-generation wireless communication networks. In this paper, we consider a cooperative non-orthogonal multiple access (CNOMA) networks consisting of a base station and two users, where the near user serves as a decode-and-forward relay to help the far user, and investigate the outage probability of the CNOMA users under two different types of channel estimation errors. For both CNOMA users, we derive the closed-form expressions of the outage probability and discuss the asymptotic characteristics for the outage probability in the high signal-to-noise ratio (SNR) regimes. Our results show that for the case of constant variance of the channel estimation error, the outage probability of two users are limited by a performance bottleneck which related to the value of the error variance. In contrast, there is no such performance bottleneck for the outage probability when the variance of the channel estimation error deceases with SNR, and in this case the diversity gain is fully achieved by the far user.


title: RapidHARe: A computationally inexpensive method for real-time human activity recognition from wearable sensors

abstract: Recent human activity recognition (HAR) methods, based on on-body inertial sensors, have achieved increasing performance; however, this is at the expense of longer CPU calculations and greater energy consumption. Therefore, these complex models might not be suitable for real-time prediction in mobile systems, e.g., in elder-care support and long-term health-monitoring systems. Here, we present a new method called RapidHARe for real-time human activity recognition based on modeling the distribution of a raw data in a half-second context window using dynamic Bayesian networks. Our method does not employ any dynamic-programming-based algorithms, which are notoriously slow for inference, nor does it employ feature extraction or selection methods. In our comparative tests, we show that RapidHARe is an extremely fast predictor, one and a half times faster than artificial neural networks (ANNs) methods, and more than eight times faster than recurrent neural networks (RNNs) and hidden Markov models (HMMs). Moreover, in performance, RapidHare achieves an F1 score of 94.27\% and accuracy of 98.94\%, and when compared to ANN, RNN, HMM, it reduces the F1-score error rate by 45\%, 65\%, and 63\% and the accuracy error rate by 41\%, 55\%, and 62\%, respectively. Therefore, RapidHARe is suitable for real-time recognition in mobile devices.


title: Majorons as cold light dark matter

abstract: Majorons are the Goldstone bosons of spontaneously broken lepton number and hence intimately connected to Majorana neutrino masses. Since all majoron couplings are heavily suppressed by the seesaw scale they are interesting candidates for long-lived dark matter. The signature decay into two mono-energetic neutrinos is potentially detectable with neutrino detectors for majoron masses above MeV and complementary to the loop-induced decays into visible particles. The mass range between keV and MeV can only be probed indirectly with the majoron decay into two photons; keV-scale majorons can be warm or cold dark matter depending on the underlying freeze-in mechanism.


title: Triple Trustworthiness Measurement for Knowledge Graph

abstract: The Knowledge graph (KG) uses the triples to describe the facts in the real world. It has been widely used in intelligent analysis and applications. However, possible noises and conflicts are inevitably introduced in the process of constructing. And the KG based tasks or applications assume that the knowledge in the KG is completely correct and inevitably bring about potential deviations. In this paper, we establish a knowledge graph triple trustworthiness measurement model that quantify their semantic correctness and the true degree of the facts expressed. The model is a crisscrossing neural network structure. It synthesizes the internal semantic information in the triples and the global inference information of the KG to achieve the trustworthiness measurement and fusion in the three levels of entity level, relationship level, and KG global level. We analyzed the validity of the model output confidence values, and conducted experiments in the real-world dataset FB15K (from Freebase) for the knowledge graph error detection task. The experimental results showed that compared with other models, our model achieved significant and consistent improvements.


title: On finitely ambiguous B\"uchi automata

abstract: Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word.


title: The Diamond ensemble: a constructive set of points with small logarithmic energy

abstract: We define a family of random sets of points, the Diamond ensemble, on the sphere $\mathbb{S}^{2}$ depending on several parameters. Its most important property is that, for some of these parameters, the asymptotic expected value of the logarithmic energy of the points can be computed rigorously and shown to attain very small values, quite close to the conjectured minimal value.


title: Reflection On Reflection In Design Study

abstract: Visualization design study research methodologies emphasize the need for reflection to generate knowledge. And yet, there is very little guidance in the literature specifying what reflection in the context of design studies actually involves. We initiated a community discussion on this topic through a panel at the 2017 IEEE VIS Conference - this report documents the panel discussion. We analyze the panel content through the lense of our own reflective experiences and propose several priorities for ongoing thinking on reflection in applied visualization research.


title: Connections between properties of the additive and the multiplicative groups of a two-sided skew brace

abstract: We study relations between the additive and the multiplicative groups of a two-sided skew brace. In particular, we prove that if the additive group of a two-sided skew brace is finite solvable (respectively, finitely generated nilpotent, finitely generated residually nilpotent, finitely generated residually finite), then the multiplicative group of this skew brace is solvable (respectively, solvable, residually solvable, residually finite). Also, we prove that if the multiplicative group of a two-sided skew brace is nilpotent of nilpotency class $k$, then the additive group of this skew brace is solvable of class at most $2k$. The letter result generalizes the result of Byott which says that if the multiplicative group of a finite skew brace is abelian, then the additive group of this skew brace is solvable. In addition, we solve two problems (Problem 19.49 and Problem 19.90(a)) concerning skew braces which are formulated in the Kourovka notebook.


title: Explainable PCGML via Game Design Patterns

abstract: Procedural content generation via Machine Learning (PCGML) is the umbrella term for approaches that generate content for games via machine learning. One of the benefits of PCGML is that, unlike search or grammar-based PCG, it does not require hand authoring of initial content or rules. Instead, PCGML relies on existing content and black box models, which can be difficult to tune or tweak without expert knowledge. This is especially problematic when a human designer needs to understand how to manipulate their data or models to achieve desired results. We present an approach to Explainable PCGML via Design Patterns in which the design patterns act as a vocabulary and mode of interaction between user and model. We demonstrate that our technique outperforms non-explainable versions of our system in interactions with five expert designers, four of whom lack any machine learning expertise.


title: Co-Creative Level Design via Machine Learning

abstract: Procedural Level Generation via Machine Learning (PLGML), the study of generating game levels with machine learning, has received a large amount of recent academic attention. For certain measures these approaches have shown success at replicating the quality of existing game levels. However, it is unclear the extent to which they might benefit human designers. In this paper we present a framework for co-creative level design with a PLGML agent. In support of this framework we present results from a user study and results from a comparative study of PLGML approaches.


title: Multipole sensitivity to phase variation in pion photo-and electroproduction analyses

abstract: We use the Athens Model Independent Analysis Scheme (AMIAS) to examine the validity of using the Fermi-Watson theorem in the multipole analyses of pion photoproduction and electroproduction data. A standard practice in this field is to fix the multipoles' phases from $\pi N$ scattering data, making use of the Fermi - Watson theorem. However, these phases are known with limited accuracy and the effect of this uncertainty on the obtained multipole extraction has not been fully explored yet. Using AMIAS we constrain the phases within their experimentally determined uncertainty. We first analyze sets of pseudodata of increasing statistical precision and subsequently we apply the methodology for a re-analysis of the Bates/Mainz electroproduction data. It is found that the uncertainty induced by the $\pi N$ phases uncertainty to the extracted solutions would be significant only in the analysis of data with much higher precision than the current available experimental data.


title: Coded Caching with Shared Caches: Fundamental Limits with Uncoded Prefetching

abstract: The work identifies the fundamental limits of coded caching when the K receiving users share {\Lambda}$\leq$ K helper-caches, each assisting an arbitrary number of different users. The main result is the derivation of the exact optimal worst-case delivery time - under the assumption of uncoded cache placement - for any user-to-cache association profile, where each such profile describes how many users are helped by each cache. This is achieved with a new information-theoretic converse that is based on index coding and which proves that a simple XOR-shrinking-and-removal coded-caching scheme is optimal irrespective of the user-to-cache association profile. All the results also apply directly to the coded caching problem with multiple file requests.


title: Strategically reproducible bases and the factorization property

abstract: We introduce the concept of strategically reproducible bases in Banach spaces and show that operators which have large diagonal with respect to strategically reproducible bases are factors of the identity. We give several examples of classical Banach spaces in which the Haar system is strategically reproducible: multi-parameter Lebesgue spaces, mixed-norm Hardy spaces and most significantly the space $L^1$. Moreover, we show the strategical reproducibility is inherited by unconditional sums.


title: Towards Automated Let's Play Commentary

abstract: We introduce the problem of generating Let's Play-style commentary of gameplay video via machine learning. We propose an analysis of Let's Play commentary and a framework for building such a system. To test this framework we build an initial, naive implementation, which we use to interrogate the assumptions of the framework. We demonstrate promising results towards future Let's Play commentary generation.


title: Chemical composition of metal-poor stars in Coma Berenices ultra-faint dwarf galaxy as a proxy to individual chemical enrichment events

abstract: We present NLTE abundances and atmospheric parameters for three metal-poor stars ([Fe/H]<-2) in Coma Berenices ultra-faint dwarf galaxy (UFD). The derived results are based on new photometric observations obtained with the 2.5-m telescope of the SAI MSU Caucasian observatory and spectra from the archive of the 10-m Keck telescope. Effective temperatures were determined from V-I, V-K, V-J colours. For each star, Teffs derived from different colours agree within 20K. Surface gravities (log g) were calculated using a relation between log g, MV, BC, distance, Teff, and mass, adopted as 0.8MSun. The NLTE abundances for Na, Mg, Ca, Ti, Fe, Ni, Sr, and Ba were determined. A revision of atmospheric parameters and abundances, based on new photometric observations and accurate modelling of spectral line formation resulted in reinterpretation of the star formation history in Coma Berenices UFD. The derived chemical abundance patterns for three stars differ from each other and from that, which is typical for the MW halo stars of similar [Fe/H]. The S1 star shows solar [alpha/Fe] and unprecedentedly low [Na/Mg] of -1.46, which is the lowest value among metal-poor stars known to date. Abundance pattern of the S1 star is well reproduced by nucleosynthesis model in metal-free massive stars explosion. The stars S2 and S3, in contrast to S1, show high [alpha/Fe] ratios, for example, [Mg/Fe]=0.8 in S2, while stars with -3.5<[Fe/H]<-2 in the other dwarf galaxies and the MW show a typical ratio [Ca,Mg/Fe] of 0.3 dex. All the three stars show low Sr and Ba abundances. These peculiarities in chemical composition argue for a small number of nucleosynthesis events contributed to chemical abundances of these stars. A wide range of metallicity, 0.65 dex, observed in Coma Berenices is likely produced by inhomogeneous mixing of the interstellar medium, but not an increase in [Fe/H] during a prolonged star formation.


title: Antilizer: Run Time Self-Healing Security for Wireless Sensor Networks

abstract: Wireless Sensor Network (WSN) applications range from domestic Internet of Things systems like temperature monitoring of homes to the monitoring and control of large-scale critical infrastructures. The greatest risk with the use of WSNs in critical infrastructure is their vulnerability to malicious network level attacks. Their radio communication network can be disrupted, causing them to lose or delay data which will compromise system functionality. This paper presents Antilizer, a lightweight, fully-distributed solution to enable WSNs to detect and recover from common network level attack scenarios. In Antilizer each sensor node builds a self-referenced trust model of its neighbourhood using network overhearing. The node uses the trust model to autonomously adapt its communication decisions. In the case of a network attack, a node can make neighbour collaboration routing decisions to avoid affected regions of the network. Mobile agents further bound the damage caused by attacks. These agents enable a simple notification scheme which propagates collaborative decisions from the nodes to the base station. A filtering mechanism at the base station further validates the authenticity of the information shared by mobile agents. We evaluate Antilizer in simulation against several routing attacks. Our results show that Antilizer reduces data loss down to 1% (4% on average), with operational overheads of less than 1% and provides fast network-wide convergence.


title: Massive galaxies on the road to quenching: ALMA observations of powerful high redshift radio galaxies

abstract: We present 0.3" (band 6) and 1.5" (band 3) ALMA observations of the (sub)millimeter dust continuum emission for 25 radio galaxies at 1<z<5.2. Our survey reaches a rms flux density of ~50$\mu$Jy in band 6 and ~20$\mu$Jy in band 3. This is an order of magnitude deeper than single-dish 850 $\mu$m observations, and reaches fluxes where synchrotron and thermal dust emission are expected to be of the same order of magnitude. Combining our sensitive ALMA observations with radio data from ATCA, VLA, and IR photometry from Herschel and Spitzer, we have disentangled the synchrotron and thermal dust emission. We determine the star-formation rates (SFR) and AGN IR luminosities using our newly developed spectral energy distribution fitting code MrMoose. We find that synchrotron emission contributes substantially at ~1 mm. Through our sensitive flux limits and accounting for a contribution from synchrotron emission in the mm, we revise downward the median SFR by a factor of 7 compared to previous estimates based solely on Herschel and Spitzer data. The hosts of these radio-loud AGN appear predominantly below the main sequence of star-forming galaxies, indicating that the star formation in many of the host galaxies has been quenched. Future growth of the host galaxies without substantial black hole mass growth will be needed to bring these objects on the local relation between the supermassive black holes and their host galaxies. Given the mismatch in the timescales of any star formation that took place in the host galaxies and lifetime of the AGN, we hypothesize that a key role is played by star formation in depleting the gas before the action of the powerful radio jets quickly drives out the remaining gas. This positive feedback loop of efficient star formation rapidly consuming the gas coupled to the action of the radio jets in removing the residual gas is how massive galaxies are rapidly quenched.


title: Phase-dependent heat and charge transport through superconductor-quantum dot hybrids

abstract: We analyze heat and charge transport through a single-level quantum dot coupled to two BCS superconductors at different temperatures to first order in the tunnel coupling. In order to describe the system theoretically, we extend a real-time diagrammatic technique that allows us to capture the interplay between superconducting correlations, strong Coulomb interactions, and nonequilibrium physics. We find that a thermoelectric effect can arise due to the superconducting proximity effect on the dot. In the nonlinear regime, the thermoelectric current can also flow at the particle-hole symmetric point due to a level renormalization caused by virtual tunneling between the dot and the leads. The heat current through the quantum dot is sensitive to the superconducting phase difference. In the nonlinear regime, the system can act as a thermal diode.


title: Theory of damping in magnetization dynamics, dispelling a myth and pointing a way forward

abstract: There is a widely-held belief amongst theoreticians that the Gilbert damping parameter {\alpha} in magnetization dynamics is infinite for a pure metal at T=0. The basic error leading to this belief is pointed out explicitly and the various methods of calculation used are viewed in a unified way based on the Lorentzian lineshape of ferromagnetic resonance spectra. A general torque formula for {\alpha} is proposed as a good starting-point for treating inhomogeneous materials such as alloys, compounds and layered structures. Local spin density functional theory provides a simple physical picture, in terms of a non-uniform precessional cone angle in ferromagnetic resonance, of how such inhomogeneity contributes to the damping. In a complementary many-body theory this contribution is given by a vertex correction to the torque-torque response function.


title: Consistent derivation of the Hawking effect for both non-extremal and extremal Kerr black holes

abstract: It is believed that extremal black holes do not emit Hawking radiation as understood by taking extremal limits of non-extremal black holes. However, it is debated whether one can make such conclusion reliably starting from an extremal black hole, as the associated Bogoliubov coefficients which relate ingoing and outgoing field modes do not satisfy the required consistency condition. We address this issue in a canonical approach firstly by presenting an exact canonical derivation of the Hawking effect for non-extremal Kerr black holes. Subsequently, for extremal Kerr black holes we show that the required consistency condition is satisfied in the canonical derivation and it produces zero number density for Hawking particles. We also point out the reason behind the reported failure of Bogoliubov coefficients to satisfy the required condition.


title: Cat's cradle-like Dirac semimetals in layer groups with multiple screw axes: Application to 2D Borophene and Borophane

abstract: Recently, the crystal symmetry-protected topological semimetals have aroused extensive interests, especially for the nonsymmorphic symmetry-protected one. We list the possible nonmagnetic topological semimetals and develop their k.p Hamiltonian in all layer groups with multiple screw axes in the absence of spin-orbital coupling. We find a novel cat's cradle-like topological semimetal phase, which looks like multiple hourglass-like band structures staggered together. Furthermore, we propose the monolayer borophene and borophane with pmmn layer group as the first material class to realize such novel semimetal phase. A pair of tilted anisotropic Dirac cones at the Fermi level is revealed in the two-dimensional boron-based materials and the low-energy effective models are given. Moreover, akin to three-dimensional Weyl semimetal, the topological property of these cat's cradle-like Dirac semimetals can be verified by the calculation of quantized Berry phase and the demonstration of flat Fermi-arc edge state connecting two Dirac points as well. Our finding that borophene and borophane are cat's cradle-like Dirac semimetals is of great interest for experiment and possible applications in the future.


title: Coset construction of Virasoro minimal models and coupling of Wess-Zumino-Witten theory with Schramm-Loewner evolution

abstract: Schramm-Loewner evolution (SLE) is a random process that gives a useful description of fractal curves. After its introduction, many works concerning the connection between SLE and conformal field theory (CFT) have been carried out. In this paper, we develop a new method of coupling SLE with a Wess-Zumino-Witten (WZW) model for $SU(2)$, an example of CFT, relying on a coset construction of Virasoro minimal models. Generalizations of SLE that correspond to WZW models were proposed by previous works [Bettelheim {\it et al.}, Phys. Rev. Lett. {\bf 95}, 251601 (2005)] and [Alekseev {\it et al.}, Lett. Math. Phys. {\bf 97}, 243-261 (2011)], in which the parameters in the generalized SLE for $SU(2)$ were related to the level of the corresponding $SU(2)$-WZW model. The present work unveils the mechanism of how the parameters were chosen, and gives a simpler proof of the result in these previous works, shedding light on a new perspective of SLE/WZW coupling.

categories: math-ph cond-mat.stat-mech math.MP math.PR math.QA math.RT


title: Incremental Adversarial Learning for Optimal Path Planning

abstract: Path planning plays an essential role in many areas of robotics. Various planning techniques have been presented, either focusing on learning a specific task from demonstrations or retrieving trajectories by optimizing for hand-crafted cost functions which are well defined a priori. In this work, we present an incremental adversarial learning-based framework that allows inferring implicit behaviour, i.e. the natural characteristic of a set of given trajectories. To achieve adversarial learning, a zero-sum game is constructed between a planning algorithm and an adversary - the discriminator. We employ the discriminator within an optimal motion planning algorithm, such that costs can be learned and optimized iteratively, improving the integration of implicit behavior. By combining a cost-based planning approach with trained intrinsic behaviour, this can be be integrated also with other constraints such as obstacles or general cost factors within a single planning framework. We demonstrate the proposed method on a dataset for collision avoidance, as well as for the generation of human-like trajectories from motion capture data. Our results show that incremental adversarial learning is able to generate paths that reflect the natural implicit behaviour of a dataset, with the ability to improve on performance using iterative learning and generation.


title: A Framework for Data-Driven Physical Security and Insider Threat Detection

abstract: This paper presents PS0, an ontological framework and a methodology for improving physical security and insider threat detection. PS0 can facilitate forensic data analysis and proactively mitigate insider threats by leveraging rule-based anomaly detection. In all too many cases, rule-based anomaly detection can detect employee deviations from organizational security policies. In addition, PS0 can be considered a security provenance solution because of its ability to fully reconstruct attack patterns. Provenance graphs can be further analyzed to identify deceptive actions and overcome analytical mistakes that can result in bad decision-making, such as false attribution. Moreover, the information can be used to enrich the available intelligence (about intrusion attempts) that can form use cases to detect and remediate limitations in the system, such as loosely-coupled provenance graphs that in many cases indicate weaknesses in the physical security architecture. Ultimately, validation of the framework through use cases demonstrates and proves that PS0 can improve an organization's security posture in terms of physical security and insider threat detection.


title: Power mean of the Hurwitz zeta function

abstract: In this note we derive asymptotic formulas for power mean of the Hurwitz zeta function over large intervals.


title: Memory Management in Successive-Cancellation based Decoders for Multi-Kernel Polar Codes

abstract: Multi-kernel polar codes have recently been proposed to construct polar codes of lengths different from powers of two. Decoder implementations for multi-kernel polar codes need to account for this feature, that becomes critical in memory management. We propose an efficient, generalized memory management framework for implementation of successivecancellation decoding of multi-kernel polar codes. It can be used on many types of hardware architectures and different flavors of SC decoding algorithms. We illustrate the proposed solution for small kernel sizes, and give complexity estimates for various kernel combinations and code lengths.


title: The improved Ginzburg-Landau technique

abstract: We discuss an innovative method for the description of inhomogeneous phases designed to improve the standard Ginzburg-Landau expansion. The method is characterized by two key ingredients. The first one is a moving average of the order parameter designed to account for the long-wavelength modulations of the condensate. The second one is a sum of the high frequency modes, to improve the description of the phase transition to the restored phase. The method is applied to compare the free energies of 1D and 2D inhomogeneous structures arising in the chirally symmetric broken phase.


title: Fast cubature of high dimensional biharmonic potential based on Approximate Approximations

abstract: We derive new formulas for the high dimensional biharmonic potential acting on Gaussians or Gaussians times special polynomials. These formulas can be used to construct accurate cubature formulas of an arbitrary high order which are fast and effective also in very high dimensions. Numerical tests show that the formulas are accurate and provide the predicted approximation rate (O(h^8)) up to the dimension 10^7.


title: Physical Layer Key Generation for Secure Power Line Communications

abstract: Leakage of information in power line communication networks is a threat to privacy and security both in smart grids and in-home applications. A way to enhance security is to encode the transmitted information with a secret key. Relying on the channel properties, it is possible to generate a common key at the two communication ends without transmitting it through the broadcast channel. Since the key is generated locally, it is intrinsically secure from a possible eavesdropper. Most of the existing physical layer key generation techniques have been developed for symmetric channels. However, the power line channel is in general not symmetric, but just reciprocal. Therefore, in this paper, we propose two novel methods that exploit the reciprocity of the power line channel to generate common information at the two intended users. This information is processed through different quantization techniques to generate secret keys. To assess the security of the generated keys, we analyze the spatial correlation of the power line channels and verify the low correlation of the possible eavesdropping channels. The two proposed methods are tested on a measurement dataset. The results show that the information leaked to possible eavesdroppers has very low correlation to any secret key.


title: Relations among the Riemann zeta and Hurwitz zeta functions as well as their products

abstract: Several relations are obtained among the Riemann zeta and Hurwitz zeta functions, as well as their products. A particular case of these relations give rise to a simple re-derivation if the important results of [11]. Also, a relation derived here provides the starting point of a novel approach which in a series of companion papers yields a formal proof of the Lindel\"{o}f hypothesis. Some of the above relations motivate the need for analysing the large $\alpha$ behaviour of the modified Hurwitz zeta function $\zeta_1(s,\alpha)$, $s\in \mathbf{C}$, $\alpha\in \mathbf{R}$, which is also presented here.


title: Temporal Relational Ranking for Stock Prediction

abstract: Stock prediction aims to predict the future trends of a stock in order to help investors to make good investment decisions. Traditional solutions for stock prediction are based on time-series models. With the recent success of deep neural networks in modeling sequential data, deep learning has become a promising choice for stock prediction. However, most existing deep learning solutions are not optimized towards the target of investment, i.e., selecting the best stock with the highest expected revenue. Specifically, they typically formulate stock prediction as a classification (to predict stock trend) or a regression problem (to predict stock price). More importantly, they largely treat the stocks as independent of each other. The valuable signal in the rich relations between stocks (or companies), such as two stocks are in the same sector and two companies have a supplier-customer relation, is not considered. In this work, we contribute a new deep learning solution, named Relational Stock Ranking (RSR), for stock prediction. Our RSR method advances existing solutions in two major aspects: 1) tailoring the deep learning models for stock ranking, and 2) capturing the stock relations in a time-sensitive manner. The key novelty of our work is the proposal of a new component in neural network modeling, named Temporal Graph Convolution, which jointly models the temporal evolution and relation network of stocks. To validate our method, we perform back-testing on the historical data of two stock markets, NYSE and NASDAQ. Extensive experiments demonstrate the superiority of our RSR method. It outperforms state-of-the-art stock prediction solutions achieving an average return ratio of 98% and 71% on NYSE and NASDAQ, respectively.


title: Local biquandles and Niebrzydowski's tribracket theory

abstract: We introduce a new algebraic structure called \textit{local biquandles} and show how colorings of oriented classical link diagrams and of broken surface diagrams are related to tribracket colorings. We define a (co)homology theory for local biquandles and show that it is isomorphic to Niebrzydowski's tribracket (co)homology. This implies that Niebrzydowski's (co)homology theory can be interpreted similary as biqandle (co)homology theory. Moreover through the isomorphism between two cohomology groups, we show that Niebrzydowski's cocycle invariants and local biquandle cocycle invariants are the same.


title: The characteristic function of the discrete Cauchy distribution (In Memory of T. Cacoullos)

abstract: A new family of integer-valued Cauchy-type distributions is introduced, the {\it Cauchy-Cacoullos family}. The characteristic function is evaluated, showing some interesting distributional properties, similar to the ordinary (continuous) Cauchy scale family. The results are extendable to discrete Student-type distributions with odd degrees of freedom. Keywords: Fourier series; discrete Student distribution; Cauchy-Cacoullos family.


title: Defining the Collective Intelligence Supply Chain

abstract: Organisations are increasingly open to scrutiny, and need to be able to prove that they operate in a fair and ethical way. Accountability should extend to the production and use of the data and knowledge assets used in AI systems, as it would for any raw material or process used in production of physical goods. This paper considers collective intelligence, comprising data and knowledge generated by crowd-sourced workforces, which can be used as core components of AI systems. A proposal is made for the development of a supply chain model for tracking the creation and use of crowdsourced collective intelligence assets, with a blockchain based decentralised architecture identified as an appropriate means of providing validation, accountability and fairness.


title: Fast Automatic Smoothing for Generalized Additive Models

abstract: Multiple generalized additive models (GAMs) are a type of distributional regression wherein parameters of probability distributions depend on predictors through smooth functions, with selection of the degree of smoothness via $L_2$ regularization. Multiple GAMs allow finer statistical inference by incorporating explanatory information in any or all of the parameters of the distribution. Owing to their nonlinearity, flexibility and interpretability, GAMs are widely used, but reliable and fast methods for automatic smoothing in large datasets are still lacking, despite recent advances. We develop a general methodology for automatically learning the optimal degree of $L_2$ regularization for multiple GAMs using an empirical Bayes approach. The smooth functions are penalized by different amounts, which are learned simultaneously by maximization of a marginal likelihood through an approximate expectation-maximization algorithm that involves a double Laplace approximation at the E-step, and leads to an efficient M-step. Empirical analysis shows that the resulting algorithm is numerically stable, faster than all existing methods and achieves state-of-the-art accuracy. For illustration, we apply it to an important and challenging problem in the analysis of extremal data.


title: Nested cross-validation when selecting classifiers is overzealous for most practical applications

abstract: When selecting a classification algorithm to be applied to a particular problem, one has to simultaneously select the best algorithm for that dataset \emph{and} the best set of hyperparameters for the chosen model. The usual approach is to apply a nested cross-validation procedure; hyperparameter selection is performed in the inner cross-validation, while the outer cross-validation computes an unbiased estimate of the expected accuracy of the algorithm \emph{with cross-validation based hyperparameter tuning}. The alternative approach, which we shall call `flat cross-validation', uses a single cross-validation step both to select the optimal hyperparameter values and to provide an estimate of the expected accuracy of the algorithm, that while biased may nevertheless still be used to select the best learning algorithm. We tested both procedures using 12 different algorithms on 115 real life binary datasets and conclude that using the less computationally expensive flat cross-validation procedure will generally result in the selection of an algorithm that is, for all practical purposes, of similar quality to that selected via nested cross-validation, provided the learning algorithms have relatively few hyperparameters to be optimised.


title: A magnetic study of the $\delta$ Scuti variable HD 21190 and the close solar-type background star CPD -83$^{\circ}$ 64B

abstract: HD 21190 is a known $\delta$ Scuti star showing Ap star characteristics and a variability period of 3.6 h discovered by the Hipparcos mission. Using Gaia DR1 data for an astrometric analysis, it was recently suggested that HD 21190 forms a physical binary system with the companion CPD -83$^{\circ}$ 64B. An atmospheric chemical analysis based on HARPS observations revealed the presence of overabundances of heavy and rare-earth elements, which are typically observed in chemically peculiar stars with large-scale organized magnetic fields. Previous observations of HD 21190 indicated a magnetic field strength of a few hundred Gauss. The presence of a magnetic field in CPD -83$^{\circ}$ 64B remained unexplored. In this work, we reanalyse this system using Gaia DR2 data and present our search for the magnetic field in both stars based on multi-epoch HARPSpol high-resolution and FORS 2 low-resolution spectropolarimetric observations. The Gaia DR2 results clearly indicate that the two star are not physically associated. A magnetic field detection at a significance level of more than 6$\sigma$ ($\left< B_{\rm z}\right>_{\rm all}=230\pm38$ G) was achieved for the $\delta$ Scuti variable HD 21190 in FORS 2 observations using the entire spectrum for the measurements. The magnetic field appears to be stronger in CPD -83$^{\circ}$ 64B. The highest value for the longitudinal magnetic field in CPD -83$^{\circ}$ 64B, $\left< B_{\rm z}\right>_{\rm all}=509\pm104$ G, is measured at a significance level of 4.9$\sigma$. Furthermore, the high-resolution HARPS\-pol observations of this component indicate the presence of pulsational variability on a time scale of tens of minutes.


title: Modeling Dependence via Copula of Functionals of Fourier Coefficients

abstract: The goal of this paper is to develop a measure for characterizing complex dependence between stationary time series that cannot be captured by traditional measures such as correlation and coherence. Our approach is to use copula models of functionals of the Fourier coefficients which is a generalization of coherence. Here, we use standard parametric copula models with a single parameter both from elliptical and Archimedean families. Our approach is to analyze changes in local field potentials in the rat cortex prior to and immediately following the onset of stroke. We present the necessary theoretical background, the multivariate models and an illustration of our methodology on these local field potential data. Simulations with non-linear dependent data show information that were missed by not taking into account dependence on specific frequencies. Moreover, these simulations demonstrate how our proposed method captures more complex non-linear dependence between time series. Finally, we illustrate our copula-based approach in the analysis of local field potentials of rats.


title: Hessian barrier algorithms for linearly constrained optimization problems

abstract: In this paper, we propose an interior-point method for linearly constrained optimization problems (possibly nonconvex). The method - which we call the Hessian barrier algorithm (HBA) - combines a forward Euler discretization of Hessian Riemannian gradient flows with an Armijo backtracking step-size policy. In this way, HBA can be seen as an alternative to mirror descent (MD), and contains as special cases the affine scaling algorithm, regularized Newton processes, and several other iterative solution methods. Our main result is that, modulo a non-degeneracy condition, the algorithm converges to the problem's set of critical points; hence, in the convex case, the algorithm converges globally to the problem's minimum set. In the case of linearly constrained quadratic programs (not necessarily convex), we also show that the method's convergence rate is $\mathcal{O}(1/k^\rho)$ for some $\rho\in(0,1]$ that depends only on the choice of kernel function (i.e., not on the problem's primitives). These theoretical results are validated by numerical experiments in standard non-convex test functions and large-scale traffic assignment problems.


title: In Vitro Vascularized Liver and Tumor Tissue Microenvironments on a Chip for Dynamic Determination of Nanoparticle Transport and Toxicity

abstract: This paper presents the development of a vascularized breast tumor and healthy or tumorigenic liver microenvironments-on-a-chip connected in series. This is the first description of a vascularized multi tissue-on-a-chip microenvironment for modeling cancerous breast and cancerous/healthy liver microenvironments, to allow for the study of dynamic and spatial transport of particles. This device enables the dynamic determination of vessel permeability, the measurement of drug and nanoparticle transport, and the assessment of the associated efficacy and toxicity to the liver. The platform is utilized to determine the effect of particle size on the spatiotemporal diffusion of particles through each microenvironment, both independently and in response to the circulation of particles in varying sequences of microenvironments. The results show that when breast cancer cells were cultured in the microenvironments they had a 2.62-fold higher vessel porosity relative to vessels within healthy liver microenvironments. Hence, the permeability of the tumor microenvironment increased by 2.35- and 2.77-fold compared to a healthy liver for small and large particles, respectively. The ECM accumulation rate of larger particles was 2.57-fold lower than smaller particles in a healthy liver. However, the accumulation rate was 5.57-fold greater in the breast tumor microenvironment. These results are in agreement with comparable in vivo studies. Ultimately, the platform could be utilized to determine the impact of the tissue or tumor microenvironment, or drug and nanoparticle properties, on transport, efficacy, selectivity, and toxicity in a dynamic, and high throughput manner for use in treatment optimization.


title: New Photometric Pipeline to Explore Temporal and Spatial Variability with KMTNet DEEP-South Observations

abstract: The DEEP-South photometric census of small Solar System bodies produces massive time-series data of variable, transient or moving objects as a by-product. To fully investigate unexplored variable phenomena, we present an application of multi-aperture photometry and FastBit indexing techniques for faster access to a portion of the DEEP-South year-one data. Our new pipeline is designed to perform automated point source detection, robust high-precision photometry and calibration of non-crowded fields which have overlap with previously surveyed areas. In this paper, we show some examples of catalog-based variability searches to find new variable stars and to recover targeted asteroids. We discover 21 new periodic variables with period ranging between 0.1 and 31 days, including four eclipsing binary systems (detached, over-contact, and ellipsoidal variables), one white dwarf/M dwarf pair candidate, and rotating variable stars. We also recover astrometry ($<\pm$1--2 arcsec level accuracy) and photometry of two targeted near-earth asteroids, 2006 DZ169 and 1996 SK, along with the small- ($\sim$0.12 mag) and relatively large-amplitude ($\sim$0.5 mag) variations of their dominant rotational signals in $R$-band.


title: Theory of Mixing and CP violation

abstract: We review the current status of B-mixing observables and point out the crucial importance of a control of the hadronic uncertainties for ruling out or confirming hints of BSM physics. In addition we introduce a rating system for theory predictions for lifetimes and mixing observables, that classifies the quality of the corresponding SM values ranging from no star to ****


title: Nonperturbative evaluation of the partition function for the real scalar quartic QFT on the Moyal plane at weak coupling

abstract: The remarkable properties of the real scalar quartic quantum field theory on the Moyal plane in combination with its similarity to the Kontsevich model make the model's partition function an interesting object to study. However, direct evalua- tions is obstructed by the intertwining of the field's various modes. A factorization procedure to circumvent this problem is proposed and discussed here in the context of the real scalar quartic qft on the Moyal plane. This factorization consists of integrating against the asymptotic volume of the diagonal subpolytope of symmet- ric stochastic matrices. This volume has been determined to this end. Using this method the partition function for regime of weak coupling is computed. Using the same method it is as well possible to determine the partition function and free energy density for other regimes.


title: Rational curves on fibered varieties

abstract: Let $X$ be a projective variety with log terminal singularities and vanishing augmented irregularity. In this paper we prove that if $X$ admits a relatively minimal genus one fibration then it does contain a subvariety of codimension one covered by rational curves contracted by the fibration. We then focus on the case of varieties with numerically trivial canonical bundle and we discuss several consequences of this result.


title: Machines that test Software like Humans

abstract: Automated software testing involves the execution of test scripts by a machine instead of being manually run. This significantly reduces the amount of manual time & effort needed and thus is of great interest to the software testing industry. There have been various tools developed to automate the testing of web applications (e.g. Selenium WebDriver); however, the practical adoption of test automation is still miniscule. This is due to the complexity of creating and maintaining automation scripts. The key problem with the existing methods is that the automation test scripts require certain implementation specifics of the Application Under Test (AUT) (e.g. the html code of a web element, or an image of a web element). On the other hand, if we look at the way manual testing is done, the tester interprets the textual test scripts and interacts with the AUT purely based on what he perceives visually through the GUI. In this paper, we present an approach to build a machine that can mimic human behavior for software testing using recent advances in Computer Vision. We also present four use-cases of how this approach can significantly advance the test automation space making test automation simple enough to be adopted practically.


title: The Winfree model with heterogeneous phase-response curves: Analytical results

abstract: We study an extension of the Winfree model of coupled phase oscillators in which both natural frequencies and phase-response curves (PRCs) are heterogeneous. In the first part of the paper we resort to averaging and derive an approximate model, in which the oscillators are coupled through their phase differences. Remarkably, this simplified model is the 'Kuramoto model with distributed shear' (2011 Phys. Rev. Lett. 106 254101). We find that above a critical level of PRC heterogeneity the incoherent state is always stable. In the second part of the paper we perform the analysis of the full model for Lorentzian heterogeneities, resorting to the Ott-Antonsen ansatz. The critical level of PRC heterogeneity obtained within the averaging approximation has a different manifestation in the full model depending on the sign of the center of the distribution of PRCs.


title: On the boundary behavior of mass-minimizing integral currents

abstract: Let $\Sigma$ be a smooth Riemannian manifold, $\Gamma \subset \Sigma$ a smooth closed oriented submanifold of codimension higher than $2$ and $T$ an integral area-minimizing current in $\Sigma$ which bounds $\Gamma$. We prove that the set of regular points of $T$ at the boundary is dense in $\Gamma$. Prior to our theorem the existence of any regular point was not known, except for some special choice of $\Sigma$ and $\Gamma$. As a corollary we answer to a question of Almgren about the connectivity of minimizers.


title: An improved upper bound for the grid Ramsey problem

abstract: For a positive integer $r$, let $G(r)$ be the smallest $N$ such that, whenever the edges of the Cartesian product $K_N \times K_N$ are $r$-coloured, then there is a rectangle in which both pairs of opposite edges receive the same colour. In this paper, we improve the upper bounds on $G(r)$ by proving $G(r) \leq \Big(1 - \frac{1}{128}r^{-2}\Big) r^{\binom{r+1}{2}}$, for $r$ large enough. Unlike the previous improvements, which were based on bounds for the size of set systems with restricted intersection sizes, our proof is a form of a quasirandomness argument.


title: The inverse cyclotomic Discrete Fourier Transform algorithm

abstract: The proof of the theorem concerning to the inverse cyclotomic Discrete Fourier Transform algorithm over finite field is provided.


title: Morphology of Flow Patterns Generated by Viscous Fingering from Miscible Fluids

abstract: A rest fluid displaced by a less viscous fluid in a porous medium triggers the so-called Saffman-Taylor instability at their contact front and hence forms complicated finger-like patterns. When the two fluids are miscible, the surface tension at their contact front vanishes, leaving the variation in viscosity dominant the contribution to the instability. The phenomena, named viscous fingering, can be studied by the analogy of a single-phase flow in the Hele-Shaw cell, a quasi-two-dimensional rectilinear plane. Viscous fingering produces complex geometrical patterns. They are important not only in industry but also in mathematics. Theoretical analyses on the evolution of the finger-like patterns in miscible fluids are still expanding (it is referred to the morphology of the flow patterns). Here we study the morphology of the finger-like patterns within some simple concepts in differential geometry, in which surfaces and curves are analog to the profiles of the concentration and its contours, respectively. We thus can investigate the fingering phenomena through the geometrical perspective in which various results in differential geometry are immediately applicable.


title: Markov Processes and Some PCF Quadratic Polynomials

abstract: For any $n\geq 1$, let $T_n$ be the complete binary rooted tree of height $n$, and $f(x)=(x+a)^2-a-1$ such that $a\neq \pm b^2$ for any $b\in \mathbb{Z}$. In \cite{Settled}, Jones and Boston empirically observed that iteratively applying a certain Markov process on the factorization types of $f$ gives rise to certain permutation groups $M_n(f)\leq \text{Aut}(T_n)$ for $n\leq 5$. We prove a refined version of this phenomenon for all $n$, and for all the irreducible post-critically finite quadratic polynomials with integer coefficients, except for certain conjugates of $x^2-2$. We do this by constructing these groups explicitly. Although there have already been some conjectures relating the Markov processes to the dynamics of quadratic polynomials, our results are the first to prove such a connection. If $f(x)\in \mathbb{Z}[x]$ is a post-critically finite quadratic polynomial, and $G_n(f)$ is the Galois group of $f^n$ over $\mathbb{Q}(i)$, then we conjecture that for all $n\geq 1$, $M_n(f)$ contains a subgroup isomorphic to $G_n(f)$, analogous to the role of Mumford-Tate groups in the classical arithmetic geometry. We provide evidence that this is implied by a purely group theoretical statement.


title: A reverse Sidorenko inequality

abstract: Let $H$ be a graph allowing loops as well as vertex and edge weights. We prove that, for every triangle-free graph $G$ without isolated vertices, the weighted number of graph homomorphisms $\hom(G, H)$ satisfies the inequality \[ \hom(G, H ) \le \prod_{uv \in E(G)} \hom(K_{d_u,d_v}, H )^{1/(d_ud_v)}, \] where $d_u$ denotes the degree of vertex $u$ in $G$. In particular, one has \[ \hom(G, H )^{1/|E(G)|} \le \hom(K_{d,d}, H )^{1/d^2} \] for every $d$-regular triangle-free $G$. The triangle-free hypothesis on $G$ is best possible. More generally, we prove a graphical Brascamp-Lieb type inequality, where every edge of $G$ is assigned some two-variable function. These inequalities imply tight upper bounds on the partition function of various statistical models such as the Ising and Potts models, which includes independent sets and graph colorings. For graph colorings, corresponding to $H = K_q$, we show that the triangle-free hypothesis on $G$ may be dropped; this is also valid if some of the vertices of $K_q$ are looped. A corollary is that among $d$-regular graphs, $G = K_{d,d}$ maximizes the quantity $c_q(G)^{1/|V(G)|}$ for every $q$ and $d$, where $c_q(G)$ counts proper $q$-colorings of $G$. Finally, we show that if the edge-weight matrix of $H$ is positive semidefinite, then \[ \hom(G, H) \le \prod_{v \in V(G)} \hom(K_{d_v+1}, H )^{1/(d_v+1)}. \] This implies that among $d$-regular graphs, $G = K_{d+1}$ maximizes $\hom(G, H)^{1/|V(G)|}$. For 2-spin Ising models, our results give a complete characterization of extremal graphs: complete bipartite graphs maximize the partition function of 2-spin antiferromagnetic models and cliques maximize the partition function of ferromagnetic models. These results settle a number of conjectures by Galvin-Tetali, Galvin, and Cohen-Csikv\'ari-Perkins-Tetali, and provide an alternate proof to a conjecture by Kahn.


title: Description of lattice anharmonicity observed in ferroelectrics with unusual three-well local potential

abstract: For Sn$_2$P$_2$S$_6$ family of uniaxial ferroelectrics, the anharmonic quantum oscillators model, based on local three-well potential for spontaneous polarization fluctuations, has been used for a description of anharmonic properties, namely thermal expansion. The calculated pseudospin fluctuations spectra in ferroelectric phase demonstrate negative Gr\"{u}neisen parameters for excitations that satisfy Curie-Weiss-like temperature and pressure dependencies in the vicinity of second order phase transition. Thermal expansion coefficient is calculated by evaluation of pseudospins entropy baric dependence. Negative thermal expansion in the ferroelectric phase of Sn$_2$P$_2$S$_6$ crystal is obtained which is in agreement with observed experimental data.


title: Penalty method with Crouzeix-Raviart approximation for the Stokes equations under slip boundary condition

abstract: The Stokes equations subject to non-homogeneous slip boundary conditions are considered in a smooth domain $\Omega \subset \mathbb R^N \, (N=2,3)$. We propose a finite element scheme based on the nonconforming P1/P0 approximation (Crouzeix-Raviart approximation) combined with a penalty formulation and with reduced-order numerical integration in order to address the essential boundary condition $u \cdot n_{\partial\Omega} = g$ on $\partial\Omega$. Because the original domain $\Omega$ must be approximated by a polygonal (or polyhedral) domain $\Omega_h$ before applying the finite element method, we need to take into account the errors owing to the discrepancy $\Omega \neq \Omega_h$, that is, the issues of domain perturbation. In particular, the approximation of $n_{\partial\Omega}$ by $n_{\partial\Omega_h}$ makes it non-trivial whether we have a discrete counterpart of a lifting theorem, i.e., right-continuous inverse of the normal trace operator $H^1(\Omega)^N \to H^{1/2}(\partial\Omega)$; $u \mapsto u\cdot n_{\partial\Omega}$. In this paper we indeed prove such a discrete lifting theorem, taking advantage of the nonconforming approximation, and consequently we establish the error estimates $O(h^\alpha + \epsilon)$ and $O(h^{2\alpha} + \epsilon)$ for the velocity in the $H^1$- and $L^2$-norms respectively, where $\alpha = 1$ if $N=2$ and $\alpha = 1/2$ if $N=3$. This improves the previous result [T. Kashiwabara et al., Numer. Math. 134 (2016), pp. 705--740] obtained for the conforming approximation in the sense that there appears no reciprocal of the penalty parameter $\epsilon$ in the estimates.


title: Characterizations of woven frames

abstract: In a separable Hilbert space $\mathcal H$, two frames $\{f_i\}_{i \in I}$ and $\{g_i\}_{i \in I}$ are said to be woven if there are constants $0<A \leq B$ so that for every $\sigma \subset I$, $\{f_i\}_{i \in \sigma} \cup \{g_i\}_{i \in \sigma ^c}$ forms a frame for $\mathcal H$ with the universal bounds $A, B$. This article provides methods of constructing woven frames. In particular, bounded linear operators are used to create woven frames from a given frame. Several examples are discussed to validate the results. Moreover, the notion of woven frame sequences is introduced and characterized.


title: Derivatives pricing using signature payoffs

abstract: We introduce signature payoffs, a family of path-dependent derivatives that are given in terms of the signature of the price path of the underlying asset. We show that these derivatives are dense in the space of continuous payoffs, a result that is exploited to quickly price arbitrary continuous payoffs. This approach to pricing derivatives is then tested with European options, American options, Asian options, lookback options and variance swaps. As we show, signature payoffs can be used to price these derivatives with very high accuracy.


title: Intrinsic Insulating Ground State in Transition Metal Dichalcogenide TiSe2

abstract: The transition metal dichalcogenide TiSe$_2$ has received significant research attention over the past four decades. Different studies have presented ways to suppress the 200~K charge density wave transition, vary low temperature resistivity by several orders of magnitude, and stabilize magnetism or superconductivity. Here we give the results of a new synthesis technique whereby samples were grown in a high pressure environment with up to 180~bar of argon gas. Above 100~K, properties are nearly unchanged from previous reports, but a hysteretic resistance region that begins around 80~K, accompanied by insulating low temperature behavior, is distinct from anything previously observed. An accompanying decrease in carrier concentration is seen in Hall effect measurements, and photoemission data show a removal of an electron pocket from the Fermi surface in an insulating sample. We conclude that high inert gas pressure synthesis accesses an underlying nonmetallic ground state in a material long speculated to be an excitonic insulator.


title: Automatic brain tumor grading from MRI data using convolutional neural networks and quality assessment

abstract: Glioblastoma Multiforme is a high grade, very aggressive, brain tumor, with patients having a poor prognosis. Lower grade gliomas are less aggressive, but they can evolve into higher grade tumors over time. Patient management and treatment can vary considerably with tumor grade, ranging from tumor resection followed by a combined radio- and chemotherapy to a "wait and see" approach. Hence, tumor grading is important for adequate treatment planning and monitoring. The gold standard for tumor grading relies on histopathological diagnosis of biopsy specimens. However, this procedure is invasive, time consuming, and prone to sampling error. Given these disadvantages, automatic tumor grading from widely used MRI protocols would be clinically important, as a way to expedite treatment planning and assessment of tumor evolution. In this paper, we propose to use Convolutional Neural Networks for predicting tumor grade directly from imaging data. In this way, we overcome the need for expert annotations of regions of interest. We evaluate two prediction approaches: from the whole brain, and from an automatically defined tumor region. Finally, we employ interpretability methodologies as a quality assurance stage to check if the method is using image regions indicative of tumor grade for classification.


title: Geometric measure of mixing of quantum state

abstract: We define the geometric measure of mixing of quantum state as a minimal Hilbert-Schmidt distance between the mixed state and a set of pure states. An explicit expression for the geometric measure is obtained. It is interesting that this expression corresponds to the squared Euclidian distance between the mixed state and the pure one in space of eigenvalues of the density matrix. As an example, geometric measure of mixing for spin-1/2 states is calculated.


title: SS5G: Collision Resolution Protocol for Delay and Energy Efficient LoRa Networks

abstract: Future 5G and Internet of Things (IoT) applications will heavily rely on long-range communication technologies such as low-power wireless area networks (LPWANs). In particular, LoRaWAN built on LoRa physical layer is gathering increasing interests, both from academia and industries, for enabling low-cost energy efficient IoT wireless sensor networks for, e.g., environmental monitoring over wide areas. While its communication range may go up to 20 kilometers, the achievable bit rates in LoRaWAN are limited to a few kilobits per second. In the event of collisions, the perceived rate is further reduced due to packet loss and retransmissions. Firstly, to alleviate the harmful impacts of collisions, we propose a decoding algorithm that enables to resolve several superposed LoRa signals. Our proposed method exploits the slight desynchronization of superposed signals and specific features of LoRa physical layer. Secondly, we design a full MAC protocol enabling collision resolution. The simulation results demonstrate that the proposed method outperforms conventional LoRaWAN jointly in terms of system throughput, energy efficiency as well as delay. These results show that our scheme is well suited for 5G and IoT systems, as one of their major goals is to provide the best trade-off among these performance objectives.


title: Flag-approximability of convex bodies and volume growth of Hilbert geometries

abstract: We introduce the flag-approximability of a convex body to measure how easy it is to approximate by polytopes. We show that the flag-approximability is exactly half the volume entropy of the Hilbert geometry on the body, and that both quantities are maximized when the convex body is a Euclidean ball. We also compute explicitly the asymptotic volume of a convex polytope, which allows us to prove that simplices have the least asymptotic volume.


title: Riemann-Hilbert approach for a mixed coupled nonlinear Schr\"odinger system and its soliton solutions

abstract: In this work, we examine the integrable mixed coupled nonlinear Schr\"odinger (mCNLS) system, which describe the propagation of an optical pulse in a birefringent optical fiber. By the Riemann-Hilbert(RH) approach, the N-soliton solutions of the mCNLS system can be expressed explicitly when the jump matrix of a specific RH problem is a $3\times3$ unit matrix. As a special example, the expression of one- and two-soliton are displayed explicitly. More generally, as a promotion, an integrable generalized multi-component NLS system with its linear spectral problem be discussed. It is hoped that our results can help enrich the nonlinear dynamical behaviors of the mCNLS.


title: Gravitational wave detection from OJ 287 via a pulsar timing array

abstract: Blazar OJ 287 is a candidate nanoHertz (nHz) gravitational wave (GW) source. In this article, we investigate the GWs generated by OJ 287 and their potential detection through a pulsar timing array (PTA). First, we obtain the orbit and the corresponding GW strain of OJ 287. During the time span of the next 10 years (2019 to 2029), the GW of OJ 287 will be active before 2021, with a peak strain amplitude $8 \times 10^{-16}$, and then decay after that. When OJ 287 is silent in the GW channel during 2021 to 2029, the timing residual signals of the PTA will be dominated by the 'pulsar term' of the GW strain and this provides an opportunity to observe this pulsar term. Furthermore, we choose 26 pulsars with white noise below 300 ns to detect the GW signal of OJ 287, evaluating their timing residuals and signal-to-noise ratios (SNRs). The total SNR (with a cadence of 2 weeks in the next 10 years) of the PTA ranges from 1.9 to 2.9, corresponding to a weak GW signal for the current sensitivity level. Subsequently, we investigate the potential measurement of the parameters of OJ 287 using these pulsars. In particular, PSR J0437-4715, with a precisely measured distance, has the potential to constrain the polarization angle with an uncertainty below $8^{\deg}$ and this pulsar will play an important role in future PTA observations.


title: Low Complexity Full Duplex MIMO: Novel Analog Cancellation Architectures and Transceiver Design

abstract: Incorporating full duplex operation in Multiple Input Multiple Output (MIMO) systems provides the potential of boosting throughput performance. However, the hardware complexity of the analog self-interference canceller in emerging full duplex MIMO designs mostly scales with the number of transmit and receive antennas, thus exploiting the benefits of analog cancellation becomes impractical for full duplex MIMO transceivers, even for moderate number of antennas. In this paper, we present two novel architectures for the analog canceller comprising of reduced number of cancellation elements, compared to the state of the art, and simple multiplexers for efficient signal routing among the transmit and receive radio frequency chains. One architecture is based on analog taps (tap refers to a line of fixed delay, variable phase shifter, and attenuator) and the other on AUXiliary (AUX) Transmitters (TXs) that locally generate the cancellation signal. In contrast to the available analog cancellation architectures, the values for each tap or each AUX TX and the configuration of the multiplexers are jointly designed with the digital transmit and receive beamforming filters according to certain performance objectives. Focusing on a narrowband flat fading channel model as an example, we present a general optimization framework for the joint design of analog self-interference cancellation and digital beamforming. We also detail the sum rate optimization objective together with its derived solution for the latter architectural components. Representative computer simulation results demonstrate the superiority both in terms of hardware complexity and achievable performance of the proposed low complexity full duplex MIMO schemes over the lately available ones.


title: Seeing the wood for the trees: a forest of methods for optimisation and omic-network integration in metabolic modelling

abstract: Metabolic modelling has entered a mature phase with dozens of methods and software implementations available to the practitioner and the theoretician. It is not easy for a modeller to be able to see the wood (or the forest) for the trees. Driven by this analogy, we here present a "forest" of principal methods used for constraint-based modelling in systems biology. This provides a tree-based view of methods available to prospective modellers, also available in interactive version at http://modellingmetabolism.net, where it will be kept updated with new methods after the publication of the present manuscript. Our updated classification of existing methods and tools highlights the most promising in the different branches, with the aim to develop a vision of how existing methods could hybridise and become more complex. We then provide the first hands-on tutorial for multi-objective optimisation of metabolic models in R. We finally discuss the implementation of multi-view machine-learning approaches in poly-omic integration. Throughout this work, we demonstrate the optimisation of trade-offs between multiple metabolic objectives, with a focus on omic data integration through machine learning. We anticipate that the combination of a survey, a perspective on multi-view machine learning, and a step-by-step R tutorial should be of interest for both the beginner and the advanced user.


title: Comment on "Analyzing collisions in classical mechanics using mass-momentum diagrams" by A. Ogura, arXiv:1809.01768

abstract: A change of axes and notation would improve an otherwise excellent teaching diagram.


title: Trustworthiness in Enterprise Crowdsourcing: a Taxonomy & evidence from data

abstract: In this paper we study the trustworthiness of the crowd for crowdsourced software development. Through the study of literature from various domains, we present the risks that impact the trustworthiness in an enterprise context. We survey known techniques to mitigate these risks. We also analyze key metrics from multiple years of empirical data of actual crowdsourced software development tasks from two leading vendors. We present the metrics around untrustworthy behavior and the performance of certain mitigation techniques. Our study and results can serve as guidelines for crowdsourced enterprise software development.


title: Taking A Closer Look at Domain Shift: Category-level Adversaries for Semantics Consistent Domain Adaptation

abstract: We consider the problem of unsupervised domain adaptation in semantic segmentation. The key in this campaign consists in reducing the domain shift, i.e., enforcing the data distributions of the two domains to be similar. A popular strategy is to align the marginal distribution in the feature space through adversarial learning. However, this global alignment strategy does not consider the local category-level feature distribution. A possible consequence of the global movement is that some categories which are originally well aligned between the source and target may be incorrectly mapped. To address this problem, this paper introduces a category-level adversarial network, aiming to enforce local semantic consistency during the trend of global alignment. Our idea is to take a close look at the category-level data distribution and align each class with an adaptive adversarial loss. Specifically, we reduce the weight of the adversarial loss for category-level aligned features while increasing the adversarial force for those poorly aligned. In this process, we decide how well a feature is category-level aligned between source and target by a co-training approach. In two domain adaptation tasks, i.e., GTA5 -> Cityscapes and SYNTHIA -> Cityscapes, we validate that the proposed method matches the state of the art in segmentation accuracy.


title: On The $E_\alpha$-Envelopes of Hypercentral Subgroups

abstract: The E_{k} envelopes that generalize the double centralizers form a descending chain. In this paper we show that this descending chain stops after finitely many steps for hypercentral subgroups by defining the transfinite forms of some basic descriptions. In particular, we prove that the E_{{\alpha}}- envelopes of hypercentral subgroups are solvable in the class of groups satisfying chain condition on centralizers. These extend previous results on E_{k} envelopes.


title: Perturbation theory for the spectral decomposition of Hermitian matrices

abstract: Let A and E be Hermitian self-adjoint matrices, where A is fixed and E a small perturbation. We study how the eigenvalues and eigenvectors of A+E depend on E, with the aim of obtaining first order formulas (and when possible also second order) that are explicitly computable in terms of the spectral decomposition of A and the entries in E. In particular we provide explicit Frechet type differentiability results. The findings can be seen as an extension of the Rayleigh-Schr\"odinger coefficients for analytic expansions of one-dimensional perturbations.


title: A New Method for Reducing PDF Uncertainties in the High-Mass Drell-Yan Spectrum

abstract: Uncertainties in the parametrization of Parton Distribution Functions (PDFs) are becoming a serious limiting systematic uncertainty in Large Hadron Collider (LHC) searches for Beyond the Standard Model physics. This is especially true for measurements at high scales induced by quark and anti-quark collisions, where Drell-Yan continuum backgrounds are dominant. Tools are recently available which enable exploration of PDF fitting strategies and emulate the effects of new data in a future global fit. ePump is such a tool and it is shown that judicious selection of measurable kinematical quantities can reduce the assigned systematic PDF uncertainties by significant factors. This will be made possible by the huge statistical precision of future LHC Standard Model datasets.


title: Controllability of Neutral Stochastic Functional Integro-Differential Equations Driven by Fractional Brownian Motion with Hurst Parameter Lesser than 1/2

abstract: In this article we investigate the controllability for neutral stochastic functional integro-differential equations with finite delay, driven by a fractional Brownian motion with Hurst parameter lesser than $1/2$ in a Hilbert space. We employ the theory of resolvent operators combined with the Banach fixed point theorem to establish sufficient conditions to prove the desired result


title: Two-orbital Hubbard model vs spin $S=1$ Heisenberg model: studies on clusters

abstract: We perform exact numeric calculations for the two-orbital Hubbard model on the four-site cluster. In the limit of large on-site coupling the model becomes equivalent to the spin $S=1$ Heisenberg model. By comparing energy spectra of these two models, we quantified the range of interaction parameters for which the Heisenberg model satisfactorily reproduces the two-orbital Hubbard model. Then we examined how the spectrum evolves when we are outside of this region, focusing especially on checking of how it is modified when various ways of interatomic hoppings of electrons between different orbitals are taken into account. We finally show how these modifications affect the dependence of specific heat on temperature.


title: A simple link of information entropy of quantum and classical systems with Newtonian $r^{-2}$ dependence of Verlinde's entropic force

abstract: It is shown that the entropic force formula $F_e=-\lambda\partial S/\partial A$ leads to a Newtonian $r^{-2}$ dependence. Here we employ the universal property of the information entropy $S=a+b\ln N$ ($N$ is the number of particles of a quantum system and $A$ is the area containing the system). This property was previously obtained for fermionic systems (atoms, atomic clusters, nuclei and infinite Fermi systems i.e. electron gas, liquid $^3$He and nuclear matter) and bosonic ones (correlated boson-atoms in a trap). A similar dependence of the entropic force has been derived very recently by Plastino et al with a Bose or Fermi gas entropy, inspired by Verlinde's conjecture~\cite{Verlide-11} that gravity is an emergent entropic force. Finally, we point out that our simple argument holds for classical systems as well.


title: Rational curves on genus one fibrations

abstract: In this paper we look for necessary and sufficient conditions for a genus one fibration to have rational curves. We show that a projective variety with log terminal singularities that admits a relatively minimal genus one fibration $X\rightarrow B$ does contain vertical rational curves if and only if it not isomorphic to a finite \'etale quotient of a product $\tilde{B}\times E$ over $B$. Many sufficient conditions for the existence of rational curves in a variety that admits a genus one fibration are proved in this paper.


title: Generalized normed spaces and Fixed point Theorems

abstract: G\"ahler ([4],[5]) introduced and investigated the notion of 2-metric spaces and 2-normed spaces in sixties. These concepts are inspired by the notion of area in two dimensional Euclidean space. In this paper, we choose a fundamentally different approach and introduce a possible generalization of usual norm retaining the distance analogue properties. This generalized norm will be called as $G$-norm. We show that every $G$-normed space is a $G$-metric space and therefore, a topological space and develop the theory for $G$-normed spaces. We also introduce $G$-Banach spaces and obtain some fixed point theorems.


title: Network Coding for Critical Infrastructure Networks

abstract: The applications in the critical infrastructure systems pose simultaneous resilience and performance requirements to the underlying computer network. To meet such requirements, the networks that use the store-and-forward paradigm poses stringent conditions on the redundancy in the network topology and results in problems that becoming computationally challenging to solve at scale. However, with the advent of programmable data-planes, it is now possible to use linear network coding (NC) at the intermediate network nodes (i.e. hardware and software switches) to meet resilience requirements of the applications. To that end, we propose an architecture that realizes linear NC in programmable networks by decomposing the linear NC functions into the atomic coding primitives. We designed and implemented the primitives using the features offered by the P4 ecosystem. Using an empirical evaluation of an open-source prototype, we show that the theoretical gains promised by linear network coding can be realized with a per-packet processing cost.


title: Odd-frequency pairing in a superconductor coupled to two parallel nanowires

abstract: We study the behavior of Cooper pair amplitudes that emerge when a two-dimensional superconductor is coupled to two parallel nanowires, focusing on the conditions for realizing odd-frequency pair amplitudes in the absence of spin-orbit coupling or magnetism. In general, any finite tunneling between the superconductor and the two nanowires induces odd-frequency spin-singlet pair amplitudes in the substrate as well as a substantial odd-frequency interwire pairing, both of which vanish locally. Interestingly, in the regime of strong superconductor-nanowire tunneling, we find that the presence of two nanowires allows for the conversion of non-local odd-frequency pairing to local even-frequency pairing. By studying this higher-order symmetry conversion process, we are able to identify a notable effect of the odd-frequency pairing in the superconductor on local quantities accessible by experiments. Specifically, we find that the odd-frequency pairing plays a direct role in the emergence of certain subgap features in the local density of states, and, importantly, it is responsible for a reduction of the maximum Josephson current between the two nanowires, measurable using Josephson scanning tunneling microscopy. We discuss ways to control the sizes of these effects induced by odd-frequency superconductivity by tuning the parameters describing the nanowires.