title: Differentially Private Dropout

abstract: Large data collections required for the training of neural networks often contain sensitive information such as the medical histories of patients, and the privacy of the training data must be preserved. In this paper, we introduce a dropout technique that provides an elegant Bayesian interpretation to dropout, and show that the intrinsic noise added, with the primary goal of regularization, can be exploited to obtain a degree of differential privacy. The iterative nature of training neural networks presents a challenge for privacy-preserving estimation since multiple iterations increase the amount of noise added. We overcome this by using a relaxed notion of differential privacy, called concentrated differential privacy, which provides tighter estimates on the overall privacy loss. We demonstrate the accuracy of our privacy-preserving dropout algorithm on benchmark datasets.


title: Quantum Mechanics in a Time-Asymmetric Universe: On the Nature of the Initial Quantum State

abstract: In a quantum universe with a strong arrow of time, we postulate a low-entropy boundary condition (the Past Hypothesis) to account for the temporal asymmetry. In this paper, I show that the Past Hypothesis also contains enough information to simplify the quantum ontology and define a natural initial condition. First, I introduce Density Matrix Realism, the thesis that the quantum state of the universe is objective and impure. This stands in sharp contrast to Wave Function Realism, the thesis that the quantum state of the universe is objective and pure. Second, I suggest that the Past Hypothesis is sufficient to determine a natural density matrix, which is simple and unique. This is achieved by what I call the Initial Projection Hypothesis: the initial density matrix of the universe is the (normalized) projection onto the Past Hypothesis subspace (in the Hilbert space). Third, because the initial quantum state is unique and simple, we have a strong case for the Nomological Thesis: the initial quantum state of the universe is on a par with laws of nature. This new package of ideas has several interesting implications, including on the harmony between statistical mechanics and quantum mechanics, theoretical unity of the universe and the subsystems, and the alleged conflict between Humean supervenience and quantum entanglement.

categories: quant-ph cond-mat.stat-mech hep-th physics.hist-ph


title: Dynamic correlations in the highly dilute 2D electron liquid: loss function, critical wave vector and analytic plasmon dispersion

abstract: Correlations, highly important in low--dimensional systems, are known to decrease the plasmon dispersion of two-dimensional electron liquids. Here we calculate the plasmon properties, applying the 'Dynamic Many-Body Theory', accounting for correlated two-particle--two-hole fluctuations. These dynamic correlations are found to significantly lower the plasmon's energy. For the data obtained numerically, we provide an analytic expression that is valid across a wide range both of densities and of wave vectors. Finally, we demonstrate how this can be invoked in determining the actual electron densities from measurements on an AlGaAs quantum well.


title: A Novel Brain Decoding Method: a Correlation Network Framework for Revealing Brain Connections

abstract: Brain decoding is a hot spot in cognitive science, which focuses on reconstructing perceptual images from brain activities. Analyzing the correlations of collected data from human brain activities and representing activity patterns are two problems in brain decoding based on functional magnetic resonance imaging (fMRI) signals. However, existing correlation analysis methods mainly focus on the strength information of voxel, which reveals functional connectivity in the cerebral cortex. They tend to neglect the structural information that implies the intracortical or intrinsic connections; that is, structural connectivity. Hence, the effective connectivity inferred by these methods is relatively unilateral. Therefore, we proposed a correlation network (CorrNet) framework that could be flexibly combined with diverse pattern representation models. In the CorrNet framework, the topological correlation was introduced to reveal structural information. Rich correlations were obtained, which contributed to specifying the underlying effective connectivity. We also combined the CorrNet framework with a linear support vector machine (SVM) and a dynamic evolving spike neuron network (SNN) for pattern representation separately, thus providing a novel method for decoding cognitive activity patterns. Experimental results verified the reliability and robustness of our CorrNet framework and demonstrated that the new method achieved significant improvement in brain decoding over comparable methods.


title: Competition between spin-orbit coupling, magnetism, and dimerization in the honeycomb iridates: $\alpha$-Li$_{2}$IrO$_{3}$ under pressure

abstract: Single-crystal x-ray diffraction studies with synchrotron radiation on the honeycomb iridate $\alpha$-Li$_{2}$IrO$_{3}$ reveal a pressure-induced structural phase transition with symmetry lowering from monoclinic to triclinic at a critical pressure of $P_{c}$ = 3.8 GPa. According to the evolution of the lattice parameters with pressure, the transition mainly affects the $ab$ plane and thereby the Ir hexagon network, leading to the formation of Ir--Ir dimers. These observations are independently predicted and corroborated by our \textit{ab initio} density functional theory calculations where we find that the appearance of Ir--Ir dimers at finite pressure is a consequence of a subtle interplay between magnetism, correlation, spin-orbit coupling, and covalent bonding. Our results further suggest that at $P_{c}$ the system undergoes a magnetic collapse. Finally we provide a general picture of competing interactions for the honeycomb lattices $A_{2}$$M$O$_{3}$ with $A$= Li, Na and $M$ = Ir, Ru.


title: DeepCache: Principled Cache for Mobile Deep Vision

abstract: We present DeepCache, a principled cache design for deep learning inference in continuous mobile vision. DeepCache benefits model execution efficiency by exploiting temporal locality in input video streams. It addresses a key challenge raised by mobile vision: the cache must operate under video scene variation, while trading off among cacheability, overhead, and loss in model accuracy. At the input of a model, DeepCache discovers video temporal locality by exploiting the video's internal structure, for which it borrows proven heuristics from video compression; into the model, DeepCache propagates regions of reusable results by exploiting the model's internal structure. Notably, DeepCache eschews applying video heuristics to model internals which are not pixels but high-dimensional, difficult-to-interpret data. Our implementation of DeepCache works with unmodified deep learning models, requires zero developer's manual effort, and is therefore immediately deployable on off-the-shelf mobile devices. Our experiments show that DeepCache saves inference execution time by 18% on average and up to 47%. DeepCache reduces system energy consumption by 20% on average.


title: Low Loss Multi-Layer Wiring for Superconducting Microwave Devices

abstract: Complex integrated circuits require multiple wiring layers. In complementary metal-oxide-semiconductor (CMOS) processing, these layers are robustly separated by amorphous dielectrics. These dielectrics would dominate energy loss in superconducting integrated circuits. Here we demonstrate a procedure that capitalizes on the structural benefits of inter-layer dielectrics during fabrication and mitigates the added loss. We separate and support multiple wiring layers throughout fabrication using SiO$_2$ scaffolding, then remove it post-fabrication. This technique is compatible with foundry level processing and the can be generalized to make many different forms of low-loss multi-layer wiring. We use this technique to create freestanding aluminum vacuum gap crossovers (airbridges). We characterize the added capacitive loss of these airbridges by connecting ground planes over microwave frequency $\lambda/4$ coplanar waveguide resonators and measuring resonator loss. We measure a low power resonator loss of $\sim 3.9 \times 10^{-8}$ per bridge, which is 100 times lower than dielectric supported bridges. We further characterize these airbridges as crossovers, control line jumpers, and as part of a coupling network in gmon and fuxmon qubits. We measure qubit characteristic lifetimes ($T_1$'s) in excess of 30 $\mu$s in gmon devices.


title: Baryon Chiral Perturbation Theory combined with the ${\mathbf{1/N_c}}$ Expansion in SU(3) I: Framework

abstract: Baryon Chiral Perturbation Theory combined with the $1/N_c$ expansion is implemented for three flavors. Baryon masses, vector charges and axial vector couplings are studied to one-loop and organized according to the $\xi$-expansion, in which the $1/N_c$ and the low energy power countings are linked according to $1/N_c={\cal{O}}(\xi)={\cal{O}}(p)$. The renormalization to ${\cal{O}}(\xi^3)$ necessary for the mentioned observables is provided, along with applications to the baryon masses and axial couplings as obtained in lattice QCD calculations.


title: Richardson-Gaudin Configuration-Interaction for nuclear pairing correlations

abstract: Background: The nuclear many-body system is a strongly correlated quantum system, posing serious challenges for perturbative approaches starting from uncorrelated reference states. The last decade has witnessed considerable progress in the accurate treatment of pairing correlations, one of the major components in medium-sized nuclei, reaching accuracies below the 1% level of the correlation energy. Purpose: Development of a quantum many-body method for pairing correlations that is (a) competitive in the 1% error range, and (b) can be systematically improved with a fast (exponential) convergence rate. Method: The present paper capitalizes upon ideas from Richardson-Gaudin integrability. The proposed method is a two-step approach. The first step consists of the optimization of a Richardson-Gaudin ground state as variational trial state. At the second step, the complete set of excited states on top of this Richardson-Gaudin ground state is used as an optimal basis for a Configuration Interaction method in an increasingly large effective Hilbert space. Results: The performance of the variational Richardson-Gaudin (varRG) and Richardson-Gaudin Configuration Interaction (RGCI) method is benchmarked against exact results using an effective $G$-matrix interaction for the Sn region. The varRG already reaches accuracies around the 1% level of the correlation energies, and the RGCI step sees an additional improvement scaling exponentially with the size of the effective Hilbert space. Conclusions: The Richardson-Gaudin models of integrability provide an optimized complete basis set for pairing correlations.


title: On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs

abstract: Symbolic execution now becomes an indispensable technique for software testing and program analysis. There are several symbolic execution tools available off-the-shelf, and we need a practical benchmark approach to learn their capabilities. Therefore, this paper introduces a novel approach to benchmark symbolic execution tools in a fine-grained and efficient manner. In particular, our approach evaluates the performance of such tools against the known challenges faced by general symbolic execution techniques, such as floating-point numbers and symbolic memories. To this end, we first survey related papers and systematize the challenges of symbolic execution. We extract 12 distinct challenges from the literature and categorize them into two categories: symbolic-reasoning challenges and path-explosion challenges. Then, we develop a dataset of logic bombs and a framework to benchmark symbolic execution tools automatically. For each challenge, our dataset contains several logic bombs, each of which is guarded by a specific challenging problem. If a symbolic execution tool can find test cases to trigger logic bombs, it indicates that the tool can handle the corresponding problems. We have conducted real-world experiments with three popular symbolic execution tools: KLEE, Angr, and Triton. Experimental results show that our approach can reveal their capabilities and limitations in handling particular issues accurately and efficiently. The benchmark process generally takes only dozens of minutes to evaluate a tool. We release our dataset on GitHub as open source, with an aim to better facilitate the community to conduct future work on benchmarking symbolic execution tools.


title: An Ensemble of Deep Convolutional Neural Networks for Alzheimer's Disease Detection and Classification

abstract: Alzheimer's Disease destroys brain cells causing people to lose their memory, mental functions and ability to continue daily activities. It is a severe neurological brain disorder which is not curable, but earlier detection of Alzheimer's Disease can help for proper treatment and to prevent brain tissue damage. Detection and classification of Alzheimer's Disease (AD) is challenging because sometimes the signs that distinguish Alzheimer's Disease MRI data can be found in normal healthy brain MRI data of older people. Moreover, there are relatively small amount of dataset available to train the automated Alzheimer's Disease detection and classification model. In this paper, we present a novel Alzheimer's Disease detection and classification model using brain MRI data analysis. We develop an ensemble of deep convolutional neural networks and demonstrate superior performance on the Open Access Series of Imaging Studies (OASIS) dataset.


title: DHYMON: a Continuous Decentralized Hybrid Monitoring Architecture for MANETs

abstract: We introduce a novel decentralized monitoring algorithm for mobile ad-hoc networks. This algorithm is a combination of gossip-based and tree-based approaches. Its main feature is on multi root nodes selection which provides an opportunity to obtain more accurate results as it maximizes the coverage of the network. Our proposal relies on a thorough defined algorithm and its efficient and effective implementation. The algorithm is divided in two main parts that are its query procedure and its disseminate procedure. To assess different parameters such as accuracy and convergence time, we conducted experiments with an in-house emulated test bed based on Docker and NS3. To show the effectiveness and scalability of our proposal, we conduct intensive emulations that demonstrate very promising results regarding the gain of accuracy.


title: Particle based gPC methods for mean-field models of swarming with uncertainty

abstract: In this work we focus on the construction of numerical schemes for the approximation of stochastic mean--field equations which preserve the nonnegativity of the solution. The method here developed makes use of a mean-field Monte Carlo method in the physical variables combined with a generalized Polynomial Chaos (gPC) expansion in the random space. In contrast to a direct application of stochastic-Galerkin methods, which are highly accurate but lead to the loss of positivity, the proposed schemes are capable to achieve high accuracy in the random space without loosing nonnegativity of the solution. Several applications of the schemes to mean-field models of collective behavior are reported.


title: Topological phase transition in a stretchable photonic crystal

abstract: We design a setup to realize tunable topological phases in elastic photonic crystals. Using the Su-Schrieffer-Heeger (SSH) model as a canonical example, we show how a system can be continuously tuned across its topological phase transition by stretching. We examine the setup both analytically and numerically, showing how the phase transition point may be identified from the behavior of bulk modes. Our design principle is generic as it can be applied to a variety of systems, and enables multiple new theoretical predictions to be experimentally tested by continuously strain-tuning system properties, such as the shape of the bandstructure and the topological invariant. In addition, it allows for cost-effective device fabrication, since a wide range of parameter space can be accessed on a single photonic crystal chip.


title: Electron-proton transfer mechanism of excited-state hydrogen transfer in phenol--(NH3)n (n = 3 and 5)

abstract: Excited state hydrogen transfer (ESHT) is responsible to various photochemical processes of aromatics including photoprotection of nuclear basis. Its mechanism is explained by the internal conversion from aromatic $\pi$$\pi$* to $\pi$$\sigma$* states via conical intersection. It means that the electron is transferred to a diffuse Rydberg like $\sigma$* orbital apart from the proton migration. This picture means the electron and the proton are not move together and its dynamics are different in principle. Here, we have applied the picosecond time-resolved near infrared (NIR) and infrared (IR) spectroscopies to the phenol--(NH 3) 5 cluster, the bench mark system of ESHT, and monitored the electron transfer and proton motion independently. The electron transfer monitored by the NIR transition rises within 3 ps while the overall H transfer detected by the IR absorption of NH vibration appears with the lifetime of $\approx$20 ps. It clearly proves that the electron motion and proton migration are decoupled. Such the difference of the time-evolutions between the NIR absorption and the IR transition has not been detected in the cluster with three ammonia molecules. We will report full of our observation together with theoretical calculations of potential energy surfaces of $\pi$$\pi$* and $\pi$$\sigma$* states, and will discuss the ESHT mechanism and its cluster size-dependence between n = 3 and 5. It is suggested that the presence and absence of a barrier in the proton transfer coordinate cause the different dynamics. 2


title: Description of Brownian motion including both kinetic and hydrodynamic effects

abstract: It is known that a full description of Brownian motion in the entire course of time should incorporate both kinetic and hydrodynamic effects, but a formula accounts for both effects has been established only in three dimension and only for the limiting case when Brownian particles are much bigger and heavier than fluid particles. Nevertheless, for applications, it is important to consider small Brownian particles (sometimes even smaller than fluid particles). In these cases, unfortunately, only formulae in the short (long) time limit considering exclusively kinetic (hydrodynamic) effect are available. Here we derive a general solution to both two- and three-dimensional Brownian motion. Our solution is applicable to a wide spectrum of suspended particles from being smaller than the fluid particles to usual Brownian particles. Our analytical results are well corroborated by the numerical simulations.


title: Asymptotics to all orders of the Hurwitz zeta function

abstract: We present several formulae for the large-$t$ asymptotics of the modified Hurwitz zeta function $\zeta_1(x,s),x>0,s=\sigma+it,0<\sigma\leq1,t>0,$ which are valid to all orders. In the case of $x=0$, these formulae reduce to the asymptotic expressions recently obtained for the Riemann zeta function, which include the classical results of Siegel as a particular case.


title: Artificial intelligence in peer review: How can evolutionary computation support journal editors?

abstract: With the volume of manuscripts submitted for publication growing every year, the deficiencies of peer review (e.g. long review times) are becoming more apparent. Editorial strategies, sets of guidelines designed to speed up the process and reduce editors workloads, are treated as trade secrets by publishing houses and are not shared publicly. To improve the effectiveness of their strategies, editors in small publishing groups are faced with undertaking an iterative trial-and-error approach. We show that Cartesian Genetic Programming, a nature-inspired evolutionary algorithm, can dramatically improve editorial strategies. The artificially evolved strategy reduced the duration of the peer review process by 30%, without increasing the pool of reviewers (in comparison to a typical human-developed strategy). Evolutionary computation has typically been used in technological processes or biological ecosystems. Our results demonstrate that genetic programs can improve real-world social systems that are usually much harder to understand and control than physical systems.


title: CP violation in $b$ hadrons at LHCb

abstract: The most recent results on CP violation in $b$ hadrons obtained by the LHCb Collaboration with Run I and years 2015-2016 of Run II are reviewed. The different types of violation are covered by the studies presented in this paper.


title: Majorana bound states in hybrid 2D Josephson junctions with ferromagnetic insulators

abstract: We consider a Josephson junction consisting of superconductor/ferromagnetic insulator (S/FI) bilayers as electrodes which proximizes a nearby 2D electron gas. By starting from a generic Josephson hybrid planar setup we present an exhaustive analysis of the the interplay between the superconducting and magnetic proximity effects and the conditions under which the structure undergoes transitions to a non-trivial topological phase. We address the 2D bound state problem using a general transfer matrix approach that reduces the problem to an effective 1D Hamiltonian. This allows for straightforward study of topological properties in different symmetry classes. As an example we consider a narrow channel coupled with multiple ferromagnetic superconducting fingers, and discuss how the Majorana bound states can be spatially controlled by tuning the superconducting phases. Following our approach we also show the energy spectrum, the free energy and finally the multiterminal Josephson current of the setup.


title: The inverse Monge-Ampere flow and applications to Kahler-Einstein metrics

abstract: We introduce the inverse Monge-Ampere flow as the gradient flow of the Ding energy functional on the space of Kahler metrics in $2 \pi \lambda c_1(X)$ for $\lambda=\pm 1$. We prove the long-time existence of the flow. In the canonically polarized case, we show that the flow converges smoothly to the unique Kahler-Einstein metric with negative Ricci curvature. In the Fano case, assuming $X$ admits a Kahler-Einstein metric, we prove the weak convergence of the flow to a Kahler-Einstein metric. In general, we expect that the limit of the flow is related with the optimally destabilizing test configuration for the $L^2$-normalized non-Archimedean Ding functional. We confirm this expectation in the case of toric Fano manifolds.


title: Transition state redox during dynamical processes in semiconductors and insulators

abstract: Activation barriers associated with ion diffusion and chemical reactions are vital to understand and predict a wide range of phenomena, such as material growth, ion transport, and catalysis. In the calculation of activation barriers for non-redox processes in semiconductors and insulators, it has been widely assumed that the charge state remains fixed to that of the initial electronic ground state throughout a dynamical process. In this work, we demonstrate that this assumption is generally inaccurate and that a rate-limiting transition state can have a different charge state from the initial ground state. This phenomenon can significantly lower the activation barrier of dynamical process that depends strongly on charge state, such as carbon vacancy diffusion in 4H-SiC. With inclusion of such transition state redox, the activation barrier varies continuously with Fermi level, in contrast to the step-line feature predicted by the traditional fixed-charge assumption. In this study, a straightforward approach to include the transition state redox effect is provided, the typical situations where the effect plays a significant role are identified, and the relevant electron dynamics are discussed.


title: Certain Geometric Properties of Some Bessel Functions

abstract: In this paper, we determine necessary and sufficient conditions for the generalized Bessel function to be in certain subclasses of starlike and convex functions. Also, we obtain several corollaries as special cases of the main results, these corollaries gives the corresponding results of the familiar, modified and spherical Bessel functions.


title: Experimental analysis of lattice walks

abstract: Feller's book An Introduction to Probability Theory and Its Application discusses statistics corresponding to sequences of coin tosses, with a dollar being won or lost depending on the outcome of each toss. This is equivalent to analyzing walks in the plane with each step being one unit up or right. In his paper "Fully AUTOMATED computerized redux of Feller's (v.1) Ch. III (and much more!)" (http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/feller.html) and the accompanying Maple package, Zeilberger computes the "grand generating function," which, in a single blow, captures information about all of the walk statistics discussed by Feller. In this paper, we continue to investigate walks using computer methods. However, we shall introduce an approach different from that of Zeilberger, who used computer algebra to exactly compute the weight enumerator over all walks--an infinite sum expressed as an algebraic function. Our procedures input a numeric value of $n$ and use dynamic programming methods to find the weight enumerator over all walks of length $n$--a finite polynomial. Then, by generating these polynomials for many values of $n$, we are able to conjecture behavior of the moments of certain statistics as the walk length tends to $\infty$. The advantage of this method is that it is easily applied to more general problems not amenable to an analytic approach. For example, we use it to analyze walks in three dimensions and walks where more general steps (e.g., diagonal steps) are allowed.


title: Some Characterizations on the Normalized Lommel, Struve and Bessel Functions of the First Kind

abstract: In this paper, we introduce new technique for determining some necessary and sufficient conditions of the normalized Bessel functions $j_{\nu}$, normalized Struve functions $h_{\nu}$ and normalized Lommel functions $s_{\mu,\nu}$ of the first kind, to be in the subclasses of starlike and convex functions of order $\alpha$ and type $\beta$.


title: Size Matters: A Comparative Analysis of Community Detection Algorithms

abstract: Understanding community structure of social media is critical due to its broad applications such as friend recommendations, user modeling and content personalizations. Existing research uses structural metrics such as modularity and conductance and functional metrics such as ground truth to measure the qualify of the communities discovered by various community detection algorithms, while overlooking a natural and important dimension, community size. Recently, anthropologist Dunbar suggests that the size of stable community in social media should be limited to 150, referred to as Dunbar's number. In this study, we propose a systematic way of algorithm comparison by orthogonally integrating community size as a new dimension into existing structural metrics for consistently and holistically evaluating the community quality in social media context. we design a heuristic clique based algorithm which controls the size and overlap of communities with adjustable parameters and evaluate it along with five state-of-the-art community detection algorithms on both Twitter network and DBLP network. Specifically, we divide the discovered communities based on their size into four classes called close friend, casual friend, acquaintance, and just a face, and then calculate the coverage, modularity, triangle participation ratio, conductance, transitivity, and the internal density of communities in each class. We discover that communities in different classes exhibit diverse structural qualities and many existing community detection algorithms tend to output extremely large communities.


title: An Artificial Neural Network for Gait Analysis to Estimate Blood Alcohol Content Level

abstract: Impairments in gait occur after alcohol consumption, and, if detected in real-time, could guide the delivery of "just-in-time" injury prevention interventions. We aimed to identify the salient features of gait that could be used for estimating blood alcohol content (BAC) level in a typical drinking environment. We recruited 10 young adults with a history of heavy drinking to test our research app. During four consecutive Fridays and Saturdays, every hour from 8pm to 12am, they were prompted to use the app to report alcohol consumption and complete a 5-step straight-line walking task, during which 3-axis acceleration and angular velocity data was sampled at a frequency of 100 Hz. BAC for each subject was calculated. From sensor signals, 24 features were calculated using a sliding window technique, including energy, mean, and standard deviation. Using an artificial neural network (ANN), we performed regression analysis to define a model determining association between gait features and BACs. 70\% of data was used as a training dataset, and the results were tested and validated using the rest of samples. We evaluated different training algorithms for the neural network and the result showed that a Bayesian regularization neural network (BRNN) was the most efficient and accurate. Analyses support the use of the tandem gait task paired with our approach to reliably estimate BAC based on gait features. Results from this work could be useful in designing effective prevention interventions to reduce risky behaviors during periods of alcohol consumption.


title: A one-sentence proof of the Bernstein type theorem for special Lagrangian equation in two dimensions

abstract: The aim of this expository article is to reveal the equivalence of J\"orgens' Theorem on the two dimensional unimodular Hessian equation and Fu's Theorem on the two dimensional special Lagrangian equation.


title: Extreme reductions of entropy in an electronic double dot

abstract: We experimentally study negative fluctuations of stochastic entropy production in an electronic double dot operating in nonequilibrium steady-state conditions. We record millions of random electron tunneling events at different bias points, thus collecting extensive statistics. We show that for all bias voltages the experimental average values of the minima of stochastic entropy production lie above $-k_B$, where $k_B$ is the Boltzmann constant, in agreement with recent theoretical predictions for nonequilibrium steady states. Furthermore, we also demonstrate that the experimental cumulative distribution of the entropy production minima is bounded, at all times and for all bias voltages, by a universal expression predicted by the theory. We also extend our theory by deriving a general bound for the average value of the maximum heat absorbed by a mesoscopic system from the environment and compare this result with experimental data. Finally, we show by numerical simulations that these results are not necessarily valid under non-stationary conditions.


title: Fuzzy-Based Dialectical Non-Supervised Image Classification and Clustering

abstract: The materialist dialectical method is a philosophical investigative method to analyze aspects of reality. These aspects are viewed as complex processes composed by basic units named poles, which interact with each other. Dialectics has experienced considerable progress in the 19th century, with Hegel's dialectics and, in the 20th century, with the works of Marx, Engels, and Gramsci, in Philosophy and Economics. The movement of poles through their contradictions is viewed as a dynamic process with intertwined phases of evolution and revolutionary crisis. In order to build a computational process based on dialectics, the interaction between poles can be modeled using fuzzy membership functions. Based on this assumption, we introduce the Objective Dialectical Classifier (ODC), a non-supervised map for classification based on materialist dialectics and designed as an extension of fuzzy c-means classifier. As a case study, we used ODC to classify 181 magnetic resonance synthetic multispectral images composed by proton density, $T_1$- and $T_2$-weighted synthetic brain images. Comparing ODC to k-means, fuzzy c-means, and Kohonen's self-organized maps, concerning with image fidelity indexes as estimatives of quantization distortion, we proved that ODC can reach almost the same quantization performance as optimal non-supervised classifiers like Kohonen's self-organized maps.


title: Triagem virtual de imagens de imuno-histoqu\'imica usando redes neurais artificiais e espectro de padr\~oes

abstract: The importance of organizing medical images according to their nature, application and relevance is increasing. Furhermore, a previous selection of medical images can be useful to accelerate the task of analysis by pathologists. Herein this work we propose an image classifier to integrate a CBIR (Content-Based Image Retrieval) selection system. This classifier is based on pattern spectra and neural networks. Feature selection is performed using pattern spectra and principal component analysis, whilst image classification is based on multilayer perceptrons and a composition of self-organizing maps and learning vector quantization. These methods were applied for content selection of immunohistochemical images of placenta and newdeads lungs. Results demonstrated that this approach can reach reasonable classification performance.


title: Avalia\c{c}\~ao do m\'etodo dial\'etico na quantiza\c{c}\~ao de imagens multiespectrais

abstract: The unsupervised classification has a very important role in the analysis of multispectral images, given its ability to assist the extraction of a priori knowledge of images. Algorithms like k-means and fuzzy c-means has long been used in this task. Computational Intelligence has proven to be an important field to assist in building classifiers optimized according to the quality of the grouping of classes and the evaluation of the quality of vector quantization. Several studies have shown that Philosophy, especially the Dialectical Method, has served as an important inspiration for the construction of new computational methods. This paper presents an evaluation of four methods based on the Dialectics: the Objective Dialectical Classifier and the Dialectical Optimization Method adapted to build a version of k-means with optimal quality indices; each of them is presented in two versions: a canonical version and another version obtained by applying the Principle of Maximum Entropy. These methods were compared to k-means, fuzzy c-means and Kohonen's self-organizing maps. The results showed that the methods based on Dialectics are robust to noise, and quantization can achieve results as good as those obtained with the Kohonen map, considered an optimal quantizer.


title: Dialectical Multispectral Classification of Diffusion-Weighted Magnetic Resonance Images as an Alternative to Apparent Diffusion Coefficients Maps to Perform Anatomical Analysis

abstract: Multispectral image analysis is a relatively promising field of research with applications in several areas, such as medical imaging and satellite monitoring. A considerable number of current methods of analysis are based on parametric statistics. Alternatively, some methods in Computational Intelligence are inspired by biology and other sciences. Here we claim that Philosophy can be also considered as a source of inspiration. This work proposes the Objective Dialectical Method (ODM): a method for classification based on the Philosophy of Praxis. ODM is instrumental in assembling evolvable mathematical tools to analyze multispectral images. In the case study described in this paper, multispectral images are composed of diffusion-weighted (DW) magnetic resonance (MR) images. The results are compared to ground-truth images produced by polynomial networks using a morphological similarity index. The classification results are used to improve the usual analysis of the apparent diffusion coefficient map. Such results proved that gray and white matter can be distinguished in DW-MR multispectral analysis and, consequently, DW-MR images can also be used to furnish anatomical information.


title: Confirming the least massive members of the Pleiades star cluster

abstract: We present optical photometry (i- and Z-band) and low-resolution spectroscopy (640-1015 nm) of very faint candidate members (J = 20.2-21.2 mag) of the Pleiades star cluster (120 Myr). The main goal is to address their cluster membership via photometric, astrometric, and spectroscopic studies, and to determine the properties of the least massive population of the cluster through the comparison of the data with younger and older spectral counterparts and state-of-the art model atmospheres. We confirm three bona-fide Pleiades members that have extremely red optical and infrared colors, effective temperatures of ~1150 K and ~1350 K, and masses in the interval 11-20 Mjup, and one additional likely member that shares the same motion as the cluster but does not appear to be as red as the other members with similar brightness. This latter object requires further near-infrared spectroscopy to fully address its membership in the Pleiades. The optical spectra of two bona-fide members were classified as L6-L7 and show features of KI, a tentative detection of CsI, hydrides and water vapor with an intensity similar to high-gravity dwarfs of related classification despite their young age. The properties of the Pleiades L6-L7 members clearly indicate that very red colors of L dwarfs are not a direct evidence of ages younger than ~100 Myr. We also report on the determination of the bolometric corrections for the coolest Pleiades members. These data can be used to interpret the observations of the atmospheres of exoplanets orbiting stars.


title: Hemodynamic assessment of pulmonary hypertension in mice: a model based analysis of the disease mechanism

abstract: This study uses a one dimensional fluid dynamics arterial network model to infer changes in hemodynamic quantities associated with pulmonary hypertension in mice. Data for this study include blood flow and pressure measurements from the main pulmonary artery for 7 control mice with normal pulmonary function and 5 hypertensive mice with hypoxia induced pulmonary hypertension. Arterial dimensions for a 21 vessel network are extracted from micro-CT images of lungs from a representative control and hypertensive mouse. Each vessel is represented by its length and radius. Fluid dynamic computations are done assuming that the flow is Newtonian, viscous, laminar, and has no swirl. The system of equations is closed by a constitutive equation relating pressure and area, using a linear model derived from stress-strain deformation in the circumferential direction assuming that the arterial walls are thin, and also an empirical nonlinear model. For each dataset, an inflow waveform is extracted from the data, and nominal parameters specifying the outflow boundary conditions are computed from mean values and characteristic time scales extracted from the data. The model is calibrated for each mouse by estimating parameters that minimize the least squares error between measured and computed waveforms. Optimized parameters are compared across the control and the hypertensive groups to characterize vascular remodeling with disease. Results show that pulmonary hypertension is associated with stiffer and less compliant proximal and distal vasculature with augmented wave reflections, and that elastic nonlinearities are insignificant in the hypertensive animal.


title: Avalia\c{c}\~ao da doen\c{c}a de Alzheimer pela an\'alise multiespectral de imagens DW-MR por redes RBF como alternativa aos mapas ADC

abstract: Alzheimer's disease is the most common cause of dementia, yet difficult to accurately diagnose without the use of invasive techniques, particularly at the beginning of the disease. This work addresses the classification and analysis of multispectral synthetic images composed by diffusion-weighted magnetic resonance brain volumes for evaluation of the area of cerebrospinal fluid and its correlation with the progression of Alzheimer's disease. A 1.5 T MR imaging system was used to acquire all the images presented. The classification methods are based on multilayer perceptrons and classifiers of radial basis function networks. It is assumed that the classes of interest can be separated by hyperquadrics. A polynomial network of degree 2 is used to classify the original volumes, generating a ground-truth volume. The classification results are used to improve the usual analysis by the map of apparent diffusion coefficients.


title: Dynamical properties of the $S=\frac{1}{2}$ random Heisenberg chain

abstract: We use numerical techniques to study dynamical properties at finite temperature ($T$) of the Heisenberg spin chain with random exchange couplings, which realizes the random singlet (RS) fixed point in the low-energy limit. Specifically, we study the dynamic spin structure factor $S(q,\omega)$, which can be probed directly by inelastic neutron scattering experiments and, in the limit of small $\omega$, in nuclear magnetic resonance (NMR) experiments through the spin-lattice relaxation rate $1/T_1$. Our work combines three complementary methods: exact diagonalization, matrix-product-state algorithms, and stochastic analytic continuation of quantum Monte Carlo results in imaginary time. Unlike the uniform system, whose low-energy excitations at low $T$ are restricted to $q$ close to $0$ and $\pi$, our study reveals a continuous narrow band of low-energy excitations in $S(q,\omega)$, extending throughout the Brillouin zone. Close to $q=\pi$, the scaling properties of these excitations are well captured by the RS theory, but we also see disagreements with some aspects of the predicted $q$-dependence further away from $q=\pi$. Furthermore we find spin diffusion effects close to $q=0$ that are not contained within the RS theory but give non-negligible contributions to the mean $1/T_1$. To compare with NMR experiments, we consider the distribution of the local $1/T_1$ values, which is broad, approximately described by a stretched exponential. The mean value first decreases with $T$, but starts to increase and diverge below a crossover temperature. Although a similar divergent behavior has been found for the static uniform susceptibility, this divergent behavior of $1/T_1$ has never been seen in experiments. Our results show that the divergence of the mean $1/T_1$ is due to rare events in the disordered chains and is concealed in experiments, where the typical $1/T_1$ value is accessed.


title: On the Hamiltonian-Krein index for a non-self-adjoint spectral problem

abstract: We investigate the instability index of the spectral problem $$ -c^2y'' + b^2y + V(x)y = -\mathrm{i} z y' $$ on the line $\mathbb{R}$, where $V\in L^1_{\rm loc}(\mathbb{R})$ is real valued and $b,c>0$ are constants. This problem arises in the study of stability of solitons for certain nonlinear equations (e.g., the short pulse equation and the generalized Bullough-Dodd equation). We show how to apply the standard approach in the situation under consideration and as a result we provide a formula for the instability index in terms of certain spectral characteristics of the 1-D Schr\"odinger operator $H_V=-c^2\frac{d^2}{dx^2}+b^2 +V(x)$.


title: Cosmological model-independent test of $\Lambda$CDM with two-point diagnostic by the observational Hubble parameter data

abstract: Aiming at exploring the nature of dark energy (DE), we use forty-three observational Hubble parameter data (OHD) in the redshift range $0 < z \leqslant 2.36$ to make a cosmological model-independent test of the $\Lambda$CDM model with two-point $Omh^2(z_{2};z_{1})$ diagnostic. In $\Lambda$CDM model, with equation of state (EoS) $w=-1$, two-point diagnostic relation $Omh^2 \equiv \Omega_m h^2$ is tenable, where $\Omega_m$ is the present matter density parameter, and $h$ is the Hubble parameter divided by 100 $\rm km s^{-1} Mpc^{-1}$. We utilize two methods: the weighted mean and median statistics to bin the OHD to increase the signal-to-noise ratio of the measurements. The binning methods turn out to be promising and considered to be robust. By applying the two-point diagnostic to the binned data, we find that although the best-fit values of $Omh^2$ fluctuate as the continuous redshift intervals change, on average, they are continuous with being constant within 1 $\sigma$ confidence interval. Therefore, we conclude that the $\Lambda$CDM model cannot be ruled out.


title: Quantum Clique Gossiping

abstract: This paper establishes a framework for the acceleration of quantum gossip algorithms by introducing local clique operations to networks of interconnected qubits. Cliques are local structures in complex networks being complete subgraphs. Based on cyclic permutations, clique gossiping leads to collective multi-party qubit interactions. This type of algorithm can be physically realized by a series of local environments using coherent methods. First of all, we show that at reduced states, these cliques have the same acceleration effects as their roles in accelerating classical gossip algorithms, which can even make possible finite-time convergence for suitable network structures. Next, for randomized selection of cliques where node updates enjoy a more self-organized and scalable sequencing, we show that the rate of convergence is precisely improved by $\mathcal{O}(k/n)$ at the reduced states, where $k$ is the size of the cliques and $n$ is the number of qubits in the network. The rate of convergence at the coherent states of the overall quantum network is proven to be decided by the spectrum of a mean-square error evolution matrix. Explicit calculation of such matrix is rather challenging, nonetheless, the effect of cliques on the coherent states' dynamics is illustrated via numerical examples. Interestingly, the use of larger quantum cliques does not necessarily increase the speed of the network density aggregation, suggesting quantum network dynamics is not entirely decided by its classical topology.


title: A stable numerical strategy for Reynolds-Rayleigh-Plesset coupling

abstract: The coupling of Reynolds and Rayleigh-Plesset equations has been used in several works to simulate lubricated devices considering cavitation. The numerical strategies proposed so far are variants of a staggered strategy where Reynolds equation is solved considering the bubble dynamics frozen, and then the Rayleigh-Plesset equation is solved to update the bubble radius with the pressure frozen. We show that this strategy has severe stability issues and a stable methodology is proposed. The proposed methodology performance is assessed on two physical settings. The first one concerns the propagation of a decompression wave along a fracture considering the presence of cavitation nuclei. The second one is a typical journal bearing, in which the coupled model is compared with the Elrod-Adams model.


title: Achievement sets and sum ranges with ideal supports

abstract: We introduce the notion of ideally supported achievement sets for a series of real numbers. We analize their complexity and topological properties. We compare the notion of ideal achievement sets with the notion of ideally supported sum range of real series, considered by Filip\'ow and Szuca. We complete Filip\'ow and Szuca characterization of ideal sum ranges, [R. Filip\'ow, P. Szuca, Rearrangement of conditionally convergent series on a small set, J. Math. Anal. Appl. 362 (2010), no. 1, 64-71.], and we obtain some generalization of Riemann's Theorem.


title: IEOPF: An Active Contour Model for Image Segmentation with Inhomogeneities Estimated by Orthogonal Primary Functions

abstract: Image segmentation is still an open problem especially when intensities of the interested objects are overlapped due to the presence of intensity inhomogeneity (also known as bias field). To segment images with intensity inhomogeneities, a bias correction embedded level set model is proposed where Inhomogeneities are Estimated by Orthogonal Primary Functions (IEOPF). In the proposed model, the smoothly varying bias is estimated by a linear combination of a given set of orthogonal primary functions. An inhomogeneous intensity clustering energy is then defined and membership functions of the clusters described by the level set function are introduced to rewrite the energy as a data term of the proposed model. Similar to popular level set methods, a regularization term and an arc length term are also included to regularize and smooth the level set function, respectively. The proposed model is then extended to multichannel and multiphase patterns to segment colourful images and images with multiple objects, respectively. It has been extensively tested on both synthetic and real images that are widely used in the literature and public BrainWeb and IBSR datasets. Experimental results and comparison with state-of-the-art methods demonstrate that advantages of the proposed model in terms of bias correction and segmentation accuracy.


title: Toward Ultimate Control of Terahertz Wave Absorption in Graphene

abstract: It is commonly believed that weak light-matter interactions in low-mobility graphene dramatically limits tunability of graphene-based optoelectronic devices, such as tunable absorbers or switches. In this paper, we develop and use a simple circuit model to understand absorption in graphene sheets. In particular, we show that light interacts weakly also with very high-mobility graphene sheets and propose systematic design means to overcome these problems. The results have allowed us to demonstrate in the terahertz band that perfect absorption with excellent electrical tunability can be achieved within a wide span of mobility values which almost covers the whole range of ever reported room-temperature mobilities. Remarkably, concentrating on the most practical low-mobility graphene devices, we exemplify our theory with two cases: frequency-tunable and switchable absorbers with near 100% modulation efficiencies. Our work provides systematic and instructive insights into the design of highly tunable absorbers, without restrictions on graphene mobility. The design strategy and the developed analytical model can, in principle, be generalized to other wavelength regions from microwave to mid-infrared range, and other two-dimensional materials such as transition metal dichalcogenides (TMDs) and black phosphorus.


title: Efficiently sampling the realizations of irregular, but linearly bounded bipartite and directed degree sequences

abstract: Since 1997 a considerable effort has been spent on the study of the swap (switch) Markov chains on graphic degree sequences. Several results were proved on rapidly mixing Markov chains on regular simple, on regular directed, on half-regular directed and on half-regular bipartite degree sequences. In this paper, the main result is the following: Let $U$ and $V$ be disjoint finite sets, and let $0 < c_1 \le c_2 < |U|$ and $0 < d_1 \le d_2 < |V|$ be integers. Furthermore, assume that the bipartite degree sequence on $U \cup V$ satisfies $c_1 \le d(v) \le c_2\ : \ \forall v\in V$ and $d_1 \le d(u) \le d_2 \ : \ \forall u\in U$. Finally assume that $(c_2-c_1 -1)(d_2 -d_1 -1) < 1 + \max \{c_1(|V| -d_2), d_1(|V|- c_2) \}$. Then the swap Markov chain on this bipartite degree sequence is rapidly mixing. The technique applies on directed degree sequences as well, with very similar parameter values. These results are germane to the recent results of Greenhill and Sfragara about fast mixing MCMC processes on simple and directed degree sequences, where the maximum degrees are $O(\sqrt{\# \mbox{ of edges}})$. The results are somewhat comparable on directed degree sequences: while the GS results are better applicable for degree sequences developed under some scale-free random process, our new results are better fitted to degree sequences developed under the Erd\H{o}s -- R\'enyi model. For example our results cover all regular degree sequences, the GS model is not applicable when the average degree is $ > n/16.$


title: A modification of Faddeev-Popov approach free from Gribov ambiguity

abstract: We propose a modified version of the Faddeev-Popov quantization approach for non-Abelian gauge field theory to avoid the Gribov ambiguity. We show that by means of introducing a new method to insert the correct identity into the Yang-Mills generating functional and considering the identity generated by an integral through a subgroup of the gauge group, the problem of the Gribov ambiguity can be removed naturally. Meanwhile by handling the absolute value of the Faddeev-Popov determinant with the method introduced by Williams and collaborators, we lift the Jacobian determinant together with the absolute value and obtain a local Lagrangian. The new Lagrangian have a nilpotent symmetry which can be viewed as an analogue of the BRST symmetry.


title: Energy Spectrum of Cosmic-ray Electron and Positron from 10 GeV to 3 TeV Observed with the Calorimetric Electron Telescope on the International Space Station

abstract: First results of a cosmic-ray electron + positron spectrum, from 10 GeV to 3 TeV, is presented based upon observations with the CALET instrument on the ISS starting in October, 2015. Nearly a half million electron + positron events are included in the analysis. CALET is an all-calorimetric instrument with total vertical thickness of 30 $X_0$ and a fine imaging capability designed to achieve a large proton rejection and excellent energy resolution well into the TeV energy region. The observed energy spectrum over 30 GeV can be fit with a single power law with a spectral index of -3.152 $\pm$ 0.016 (stat.+ syst.). Possible structure observed above 100 GeV requires further investigation with increased statistics and refined data analysis.


title: Linear Convergence of An Iterative Phase Retrieval Algorithm with Data Reuse

abstract: Phase retrieval has been an attractive but difficult problem rising from physical science, and there has been a gap between state-of-the-art theoretical convergence analyses and the corresponding efficient retrieval methods. Firstly, these analyses all assume that the sensing vectors and the iterative updates are independent, which only fits the ideal model with infinite measurements but not the reality, where data are limited and have to be reused. Secondly, the empirical results of some efficient methods, such as the randomized Kaczmarz method, show linear convergence, which is beyond existing theoretical explanations considering its randomness and reuse of data. In this work, we study for the first time, without the independence assumption, the convergence behavior of the randomized Kaczmarz method for phase retrieval. Specifically, beginning from taking expectation of the squared estimation error with respect to the index of measurement by fixing the sensing vector and the error in the previous step, we discard the independence assumption, rigorously derive the upper and lower bounds of the reduction of the mean squared error, and prove the linear convergence. This work fills the gap between a fast converging algorithm and its theoretical understanding. The proposed methodology may contribute to the study of other iterative algorithms for phase retrieval and other problems in the broad area of signal processing and machine learning.


title: On a question of Krajewski's

abstract: In this paper we provide a (negative) solution to a problem posed by Stanis{\l}aw Krajewski. Consider a recursively enumerable theory U and a finite expansion of the signature of U that contains at least one predicate symbol of arity $\ge$ 2. We show that, for any finite extension $\alpha$ of U in the expanded language that is conservative over U, there is a conservative extension $\beta$ of U in the expanded language, such that $\alpha\vdash\beta$ and $\beta\nvdash\alpha$. The result is preserved when we consider either extensions or model-conservative extensions of U in stead of conservative extensions. Moreover, the result is preserved when we replace $\vdash$ as ordering on the finitely axiomatized extensions in the expanded language by a special kind of interpretability, to wit interpretability that identically translates the symbols of the U-language. We show that the result fails when we consider an expansion with only unary predicate symbols for conservative extensions of U ordered by interpretability that preserves the symbols of U.


title: Neutrinos, DUNE and the world best bound on CPT invariance

abstract: CPT symmetry, the combination of Charge Conjugation, Parity and Time reversal, is a cornerstone of our model building strategy and therefore the repercussions of its potential violation will severely threaten the most extended tool we currently use to describe physics, i.e. local relativistic quantum fields. However, limits on its conservation from the Kaon system look indeed imposing. In this work we will show that neutrino oscillation experiments can improve this limit by several orders of magnitude and therefore are an ideal tool to explore the foundations of our approach to Nature. Strictly speaking testing CPT violation would require an explicit model for how CPT is broken and its effects on physics. Instead, what is presented in this paper is a test of one of the predictions of CPT conservation, i.e., the same mass and mixing parameters in neutrinos and antineutrinos. In order to do that we calculate the current CPT bound on all the neutrino mixing parameters and study the sensitivity of the DUNE experiment to such an observable. After deriving the most updated bound on CPT from neutrino oscillation data, we show that, if the recent T2K results turn out to be the true values of neutrino and antineutrino oscillations, DUNE would measure the fallout of CPT conservation at more than 3$\sigma$. Then, we study the sensitivity of the experiment to measure CPT invariance in general, finding that DUNE will be able to improve the current bounds on $\Delta(\Delta m^2_{31})$ by at least one order of magnitude. We also study the sensitivity to the other oscillation parameters. Finally we show that, if CPT is violated in nature, combining neutrino with antineutrino data in oscillation analysis will produce imposter solutions.


title: Moment of inertia, quadrupole moment, Love number of neutron star and their relations with strange matter equations of state

abstract: We investigate the impact of strange matter equations of state involving $\Lambda$ hyperons, Bose-Einstein condensate of $K^-$ mesons and first order hadron-quark phase transition on moment of inertia, quadrupole moment and tidal deformability parameter of slowly rotating neutron stars. All these equations of state are compatible with the 2 M$_{solar}$ constraint. The main findings of this investigation are the universality of the I-Q and I-Love number relations, which are preserved by the EoSs including $\Lambda$ hyperons and antikaon condensates, but broken in presence of a first order hadron-quark phase transition. Furthermore, it is also noted that the quadrupole moment approaches the Kerr value of a black hole for maximum mass neutron stars.


title: Results on stochastic reaction networks with non-mass action kinetics

abstract: In 2010, Anderson, Craciun, and Kurtz showed that if a deterministically modeled reaction network is complex balanced, then the associated stochastic model admits a stationary distribution that is a product of Poissons \cite{ACK2010}. That work spurred a number of followup analyses. In 2015, Anderson, Craciun, Gopalkrishnan, and Wiuf considered a particular scaling limit of the stationary distribution detailed in \cite{ACK2010}, and proved it is a well known Lyapunov function \cite{ACGW2015}. In 2016, Cappelletti and Wiuf showed the converse of the main result in \cite{ACK2010}: if a reaction network with stochastic mass action kinetics admits a stationary distribution that is a product of Poissons, then the deterministic model is complex balanced \cite{CW2016}. In 2017, Anderson, Koyama, Cappelletti, and Kurtz showed that the mass action models considered in \cite{ACK2010} are non-explosive (so the stationary distribution characterizes the limiting behavior). In this paper, we generalize each of the three followup results detailed above to the case when the stochastic model has a particular form of non-mass action kinetics.


title: The kernel of a rational Eisenstein prime at non-squarefree level

abstract: Let $\ell \geq 5$ be a prime and let $N$ be a non-squarefree integer not divisible by $\ell$. For a rational Eisenstein prime $\mathfrak{m}$ of the Hecke ring $\mathbb{T}(N)$ of level $N$ acting on $J_0(N)$, we precisely compute the dimension of the kernel $J_0(N)[\mathfrak{m}]$ under a mild assumption. In the case of level $qr^2$ which violates our mild assumption, we propose a conjecture based on Sage computations. Assuming this conjecture, we complete our computation in all the remaining cases.


title: An LLVM Instrumentation Plug-in for Score-P

abstract: Reducing application runtime, scaling parallel applications to higher numbers of processes/threads, and porting applications to new hardware architectures are tasks necessary in the software development process. Therefore, developers have to investigate and understand application runtime behavior. Tools such as monitoring infrastructures that capture performance relevant data during application execution assist in this task. The measured data forms the basis for identifying bottlenecks and optimizing the code. Monitoring infrastructures need mechanisms to record application activities in order to conduct measurements. Automatic instrumentation of the source code is the preferred method in most application scenarios. We introduce a plug-in for the LLVM infrastructure that enables automatic source code instrumentation at compile-time. In contrast to available instrumentation mechanisms in LLVM/Clang, our plug-in can selectively include/exclude individual application functions. This enables developers to fine-tune the measurement to the required level of detail while avoiding large runtime overheads due to excessive instrumentation.


title: Phylogenetics of Indo-European Language families via an Algebro-Geometric Analysis of their Syntactic Structures

abstract: Using Phylogenetic Algebraic Geometry, we analyze computationally the phylogenetic tree of subfamilies of the Indo-European language family, using data of syntactic structures. The two main sources of syntactic data are the SSWL database and Longobardi's recent data of syntactic parameters. We compute phylogenetic invariants and likelihood functions for two sets of Germanic languages, a set of Romance languages, a set of Slavic languages and a set of early Indo-European languages, and we compare the results with what is known through historical linguistics.


title: Roughening of $k$-mer growing interfaces in stationary regimes

abstract: We discuss the steady state dynamics of interfaces with periodic boundary conditions arising from body-centered solid-on-solid growth models in $1+1$ dimensions involving random aggregation of extended particles (dimers, trimers,\,$\cdots,k$-mers). Roughening exponents as well as width and maximal height distributions can be evaluated directly in stationary regimes by mapping the dynamics onto an asymmetric simple exclusion process with $k$-\,type of vacancies. Although for $k \ge 2$ the dynamics is partitioned into an exponentially large number of sectors of motion, the results obtained in some generic cases strongly suggest a universal scaling behavior closely following that of monomer interfaces.


title: Automated Pruning for Deep Neural Network Compression

abstract: In this work we present a method to improve the pruning step of the current state-of-the-art methodology to compress neural networks. The novelty of the proposed pruning technique is in its differentiability, which allows pruning to be performed during the backpropagation phase of the network training. This enables an end-to-end learning and strongly reduces the training time. The technique is based on a family of differentiable pruning functions and a new regularizer specifically designed to enforce pruning. The experimental results show that the joint optimization of both the thresholds and the network weights permits to reach a higher compression rate, reducing the number of weights of the pruned network by a further 14% to 33% compared to the current state-of-the-art. Furthermore, we believe that this is the first study where the generalization capabilities in transfer learning tasks of the features extracted by a pruned network are analyzed. To achieve this goal, we show that the representations learned using the proposed pruning methodology maintain the same effectiveness and generality of those learned by the corresponding non-compressed network on a set of different recognition tasks.


title: A Tensor Completion Approach for Efficient and Robust Fingerprint-based Indoor Localization

abstract: The localization technology is important for the development of indoor location-based services (LBS). The radio frequency (RF) fingerprint-based localization is one of the most promising approaches. However, it is challenging to apply this localization to real-world environments since it is time-consuming and labor-intensive to construct a fingerprint database as a prior for localization. Another challenge is that the presence of anomaly readings in the fingerprints reduces the localization accuracy. To address these two challenges, we propose an efficient and robust indoor localization approach. First, we model the fingerprint database as a 3-D tensor, which represents the relationships between fingerprints, locations and indices of access points. Second, we introduce a tensor decomposition model for robust fingerprint data recovery, which decomposes a partial observation tensor as the superposition of a low-rank tensor and a spare anomaly tensor. Third, we exploit the alternating direction method of multipliers (ADMM) to solve the convex optimization problem of tensor-nuclear-norm completion for the anomaly case. Finally, we verify the proposed approach on a ground truth data set collected in an office building with size 80m times 20m. Experiment results show that to achieve a same error rate 4%, the sampling rate of our approach is only 10%, while it is 60% for the state-of-the-art approach. Moreover, the proposed approach leads to a more accurate localization (nearly 20%, 0.6m improvement) over the compared approach.


title: Lattice homomorphisms between weak orders

abstract: We classify surjective lattice homomorphisms $W\to W'$ between the weak orders on finite Coxeter groups. Equivalently, we classify lattice congruences $\Theta$ on $W$ such that the quotient $W/\Theta$ is isomorphic to $W'$. Surprisingly, surjective homomorphisms exist quite generally: They exist if and only if the diagram of $W'$ is obtained from the diagram of $W$ by deleting vertices, deleting edges, and/or decreasing edge labels. A surjective homomorphism $W\to W'$ is determined by its restrictions to rank-two standard parabolic subgroups of $W$. Despite seeming natural in the setting of Coxeter groups, this determination in rank two is nontrivial. Indeed, from the combinatorial lattice theory point of view, all of these classification results should appear unlikely a priori. As an application of the classification of surjective homomorphisms between weak orders, we also obtain a classification of surjective homomorphisms between Cambrian lattices and a general construction of refinement relations between Cambrian fans.


title: Dark Matter Annihilation from Nearby Ultra-compact Micro Halos to Explain the Tentative Excess at ~1.4 TeV in DAMPE data

abstract: The tentative 1.4 TeV excess in the $e^+e^-$ spectrum measured by The DArk Matter Particle Explorer (DAMPE) motivates the possible existence of one or more local dark matter concentrated regions. In particular, Ultra-compact Micro Halos (UCMHs) seeded by large density perturbations in the early universe, allocated within ~0.3 kpc from the solar system, could provide the potential source of electrons and positrons produced from dark matter annihilation, enough to explain the DAMPE signal. Here we consider a UCMH with density profile assuming radial in-fall and explore the preferred halo parameters to explain the 1.4 TeV "DAMPE excess". We find that typical parameter space of UCMHs can easily explain the "DAMPE excess" with usual thermal-averaged annihilation cross section of WIMP. The fraction of dark matter stored in such UCMHs in the Galactic-scale halo can be reduced to as small as $O(10^{-5})$, well within the current cosmological and astrophysical constraints.


title: Approximating the Spectrum of a Graph

abstract: The spectrum of a network or graph $G=(V,E)$ with adjacency matrix $A$, consists of the eigenvalues of the normalized Laplacian $L= I - D^{-1/2} A D^{-1/2}$. This set of eigenvalues encapsulates many aspects of the structure of the graph, including the extent to which the graph posses community structures at multiple scales. We study the problem of approximating the spectrum $\lambda = (\lambda_1,\dots,\lambda_{|V|})$, $0 \le \lambda_1,\le \dots, \le \lambda_{|V|}\le 2$ of $G$ in the regime where the graph is too large to explicitly calculate the spectrum. We present a sublinear time algorithm that, given the ability to query a random node in the graph and select a random neighbor of a given node, computes a succinct representation of an approximation $\widetilde \lambda = (\widetilde \lambda_1,\dots,\widetilde \lambda_{|V|})$, $0 \le \widetilde \lambda_1,\le \dots, \le \widetilde \lambda_{|V|}\le 2$ such that $\|\widetilde \lambda - \lambda\|_1 \le \epsilon |V|$. Our algorithm has query complexity and running time $exp(O(1/\epsilon))$, independent of the size of the graph, $|V|$. We demonstrate the practical viability of our algorithm on 15 different real-world graphs from the Stanford Large Network Dataset Collection, including social networks, academic collaboration graphs, and road networks. For the smallest of these graphs, we are able to validate the accuracy of our algorithm by explicitly calculating the true spectrum; for the larger graphs, such a calculation is computationally prohibitive. In addition we study the implications of our algorithm to property testing in the bounded degree graph model.


title: Multiparton interactions, small-x processes and diffraction

abstract: The connection between multiparton interaction, diffractive processes and saturation effects is discussed. The relation of the rise of the gluon density at small longitudinal momentum fractions x with the occurrence of saturation, diffraction and multiparton interaction is being studied both experimentally and theoretically. We illustrate key ideas underlying recent progress, and stress the role of different theoretical approaches to small-x QCD evolution in investigations of multiparton interactions.


title: OL\'E: Orthogonal Low-rank Embedding, A Plug and Play Geometric Loss for Deep Learning

abstract: Deep neural networks trained using a softmax layer at the top and the cross-entropy loss are ubiquitous tools for image classification. Yet, this does not naturally enforce intra-class similarity nor inter-class margin of the learned deep representations. To simultaneously achieve these two goals, different solutions have been proposed in the literature, such as the pairwise or triplet losses. However, such solutions carry the extra task of selecting pairs or triplets, and the extra computational burden of computing and learning for many combinations of them. In this paper, we propose a plug-and-play loss term for deep networks that explicitly reduces intra-class variance and enforces inter-class margin simultaneously, in a simple and elegant geometric manner. For each class, the deep features are collapsed into a learned linear subspace, or union of them, and inter-class subspaces are pushed to be as orthogonal as possible. Our proposed Orthogonal Low-rank Embedding (OL\'E) does not require carefully crafting pairs or triplets of samples for training, and works standalone as a classification loss, being the first reported deep metric learning framework of its kind. Because of the improved margin between features of different classes, the resulting deep networks generalize better, are more discriminative, and more robust. We demonstrate improved classification performance in general object recognition, plugging the proposed loss term into existing off-the-shelf architectures. In particular, we show the advantage of the proposed loss in the small data/model scenario, and we significantly advance the state-of-the-art on the Stanford STL-10 benchmark.


title: Phonon impact on optical control schemes of quantum dots: The role of quantum dot geometry and symmetry

abstract: Phonons strongly influence the optical control of semiconductor quantum dots. When modeling the electron-phonon interaction in several theoretical approaches the quantum dot geometry is approximated by a spherical structure, though typical self-assembled quantum dots are strongly lens-shaped. By explicitly comparing simulations of a spherical and a lens-shaped dot using a well-established correlation expansion approach we show that indeed lens-shaped dots can be exactly mapped to a spherical geometry when studying the phonon influence on the electronic system. We also give a recipe to reproduce spectral densities from more involved dots by rather simple spherical models. On the other hand, breaking the spherical symmetry has a pronounced impact on the spatio-temporal properties of the phonon dynamics. As an example we show that for a lens-shaped quantum dot the phonon emission is strongly concentrated along the direction of the smallest axis of the dot which is important for the use of phonons for the communication between different dots.


title: Phase transition for continuum Widom-Rowlinson model with random radii

abstract: In this paper we study the phase transition of continuum Widom-Rowlinson measures in $\mathbb{R}^d$ with $q$ types of particles and random radii. Each particle $x_i$ of type $i$ is marked by a random radius $r_i$ distributed by a probability measure $Q_i$ on $\mathbb{R}^+$. The particles of same type do not interact each other whereas particles $x_i$ and $x_j$ with different type $i \neq j$ interact via an exclusion hardcore interaction forcing $r_i+r_j$ to be smaller than $|x_i-x_j|$. In the integrable case (i.e. $\int r^d Q_i(dr)<+\infty$, $1\le i\le q$), we show that the Widom-Rowlinson measures exhibit a standard phase transition providing uniqueness, when the activity is small, and co-existence of $q$ ordered phases, when the activity is large. In the non-integrable case (i.e. $\int r^d Q_i(dr)=+\infty$, $1\le i \le q$), we show another type of phase transition. We prove, when the activity is small, the existence of at least $q+1$ extremal phases and we conjecture that, when the activity is large, only the $q$ ordered phases subsist. We prove a weak version of this conjecture by showing that the symmetric Widom-Rowlinson measure with free boundary condition is a mixing of the $q$ ordered phases if and only if the activity is large.


title: Non-isospectral extension of the Volterra lattice hierarchy, and Hankel determinants

abstract: For the first two equations of the Volterra lattice hierarchy and the first two equations of its non-autonomous (non-isospectral) extension, we present Riccati systems for functions c_j(t), j=0,1,..., such that an expression in terms of Hankel determinants built from them solves these equations on the right half of the lattice. This actually achieves a complete linearization of these equations of the extended Volterra lattice hierarchy.


title: The minimal arity of near-unanimity polymorphisms

abstract: Dmitriy Zhuk has proved that there exist relational structures which admit near-unanimity polymorphisms, but the minimum arity of such a polymorphism is large and almost matches the known upper bounds. We present a simplified and explicit construction of such structures and a detailed, self-contained proof.


title: Tuning the relaxation dynamics of ultracold atoms with an optical cavity

abstract: We investigate the out-of-equilibrium dynamics of ultracold atoms trapped in an optical lattice and loaded into an optical resonator that is driven transversely. We derive an effective quantum master equation for weak atom-light coupling that can be brought into Lindblad form both in the bad and good cavity limits. In the so-called bad cavity regime, we find that the steady state is always that of infinite temperature, but that the relaxation dynamics can be highly non-trivial. For small hopping, the interplay between dissipation and strong interactions generally leads to anomalous diffusion in the space of atomic configurations. However, for a fine-tuned ratio of cavity-mediated and on-site interactions, we discover a limit featuring normal diffusion. In contrast, for large hopping and vanishing on-site interactions, the system can be described by a linear rate equation leading to an exponential approach of the infinite-temperature steady state. Finally, in the good cavity regime, we show that for vanishing on-site interactions, the system allows for optical pumping between momentum mode pairs enabling cavity cooling.


title: Probing the Fluctuation-Dissipation Theorem in a Perrin-like Experiment

abstract: In this Letter, we present a new experimental approach to investigate the effective temperature concept as a generalization of the fluctuation-dissipation theorem (FDT) for nonequilibrium systems. Simultaneous measurements of diffusion coefficient and sedimentation velocity of heavy colloids, embedded in a Laponite clay suspension, are performed with a fluorescence-recovery-based setup. This nonperturbative dual measurement, performed at a single time in a single sample, allows for a direct application of the FDT to the tracer velocity observable. It thus provides a well-defined derivation of the effective temperature in this ageing colloidal gel. For a wide range of concentrations and ageing times, we report no violation of the FDT, with effective temperature agreeing with bath temperature. This result is consistent with recent theoretical predictions on the coupling between the velocity observable and nonequilibrium gels dynamics.


title: Partial Predicate Abstraction and Counter-Example Guided Refinement

abstract: In this paper we present a counter-example guided abstraction and approximation refinement (CEGAAR) technique for {\em partial predicate abstraction}, which combines predicate abstraction and fixpoint approximations for model checking infinite-state systems. The proposed approach incrementally considers growing sets of predicates for abstraction refinement. The novelty of the approach stems from recognizing source of the imprecision: abstraction or approximation. We use Craig interpolation to deal with imprecision due to abstraction. In the case of imprecision due to approximation, we delay application of the approximation. Our experimental results on a variety of models provide insights into effectiveness of partial predicate abstraction as well as refinement techniques in this context.


title: WiPLoc: Perpetual Indoor Localization with RF Wireless Power Transfer

abstract: Indoor localization is a cornerstone of mobile services. Until now most of the research effort has focused on achieving sub-meter localization accuracy because many mobile applications depend on precise localization measurements. In some scenarios, however, it is required to trade location accuracy for system maintainability. For example, in large-scale deployments of indoor networks, such as item-monitoring in smart buildings, attaining room-level localization accuracy may be sufficient, but replacing the batteries of the devices used for localization could lead to high operational costs. As indoor localization systems grow in popularity it will be important to provide them with full energy autonomy. To tackle this problem we propose WiPLoc: an indoor localization system aimed at operating perpetually without batteries. Our contributions are twofold. First, we propose a novel localization method that exploits capture effect and orthogonal codes to operate at energy levels that are low enough to operate within the energy budget provided by long-range wireless power transmission. Second, we implement WiPLoc using off-the-shelf components and test it extensively in a laboratory environment. Our test results show that with WiPLoc one wireless charger per (16 m$^{\text{2}}$) room can enable perpetual lifetime operation of mobile objects requiring localization with an average accuracy of almost 90%.


title: Global analysis on determination of fracture functions considering sea quark asymmetries in the nucleon

abstract: Several experiments at the electron-proton ($ep$) collider HERA have collected high precision data on the spectrum of leading-proton and leading-neutron carrying a large fraction of the proton's energy. In this paper, we have analyzed recent experimental data on the production of leading-nucleon in deep inelastic scattering (DIS) processes at HERA in the framework of a perturbative QCD (pQCD). An approach based on the fractures functions framework has been used, and the nucleon fracture functions (nucleon FFs) ${\cal M}_2^{(n/p)} (x, Q^2, x_L)$ have been extracted from global QCD analysis of DIS data measured by ZEUS collaboration at HERA. We show that the approach of fracture functions formalisem allows us phenomenologically parametrize the nucleon FFs at the input scale, $Q_0^2$. Considering leading-nucleon production data in the DIS processes, we present the results for the separate parton distributions for all parton species. The extracted results from the $t$-integrated leading-baryon fracture functions, $F_2^{\rm LB(3)} (x, Q^2, x_L)$ are in good agreement with all DIS data analyzed, for a wide range of longitudinal momentum fraction $x_L$ as well as scaled fractional momentum variable $x$.


title: $u\tau$-continuous operators on locally solid vector lattices

abstract: In this note, we consider the space of all continuous operators with respect to the unbounded topology on locally solid vector lattices. We investigate whether this space forms a band. In addition, we look into some situations under which, the modulus of a continuous operator has the same property. Some examples are given to make the context more understandable.


title: Electron effective mass in unintentionally doped In$_{0.33}$Ga$_{0.67}$N determined by mid-infrared optical Hall effect

abstract: Mid-infrared optical Hall effect measurements are used to determine the free charge carrier parameters of an unintentionally doped wurtzite-structure $c$-plane oriented In$_{0.33}$Ga$_{0.67}$N epitaxial layer. Room temperature electron effective mass parameters of $m^{*}_{\bot}=(0.205 \pm 0.013)~m_0$ and $m^{*}_{\parallel}=(0.204 \pm 0.016)~m_0$ for polarization perpendicular and parallel to the $c$-axis, respectively, were determined. The free electron concentration was obtained as $(1.7 \pm 0.2)\times 10^{19}~$cm$^{-3}$. Within our uncertainty limits we detect no anisotropy for the electron effective mass parameter and we estimate the upper limit of the possible effective mass anisotropy is 7$\%$. We discuss the influence of band nonparabolicity on the electron effective mass parameter as a function of In content. The effective mass parameter is consistent with a linear interpolation scheme between the conduction band mass parameters in GaN and InN when the strong nonparabolicity in InN is included. The In$_{0.33}$Ga$_{0.67}$N electron mobility parameters were found to be anisotropic supporting previous experimental findings for wurtzite-structure GaN, InN, and Al$_{x}$Ga$_{1-x}$N epitaxial layers with $c$-plane growth orientation.


title: Five-brane actions in double field theory

abstract: We construct an action for NSNS 5-branes which is manifestly covariant under O(d,d). This is done by doubling $d$ of the spacetime coordinates which appear in the worldvolume action. By formulating the DBI part of the action in a manner similar to a "gauged sigma model", only half the doubled coordinates genuinely appear. Our approach allows one to describe the full T-duality orbit of the IIB NS5 brane, the IIA KKM and their exotic relations in one formalism. Furthermore, by using ideas from double field theory, our action can be said to describe various aspects of non-geometric five-branes.


title: Physics perspectives with AFTER@LHC (A Fixed Target ExpeRiment at LHC)

abstract: AFTER@LHC is an ambitious fixed-target project in order to address open questions in the domain of proton and neutron spins, Quark Gluon Plasma and high-$x$ physics, at the highest energy ever reached in the fixed-target mode. Indeed, thanks to the highly energetic 7 TeV proton and 2.76 A.TeV lead LHC beams, center-of-mass energies as large as $\sqrt{s_{NN}}$ = 115 GeV in pp/pA and $\sqrt{s_{NN}}$ = 72 GeV in AA can be reached, corresponding to an uncharted energy domain between SPS and RHIC. We report two main ways of performing fixed-target collisions at the LHC, both allowing for the usage of one of the existing LHC experiments. In these proceedings, after discussing the projected luminosities considered for one year of data taking at the LHC, we will present a selection of projections for light and heavy-flavour production.


title: Capturing Reliable Fine-Grained Sentiment Associations by Crowdsourcing and Best-Worst Scaling

abstract: Access to word-sentiment associations is useful for many applications, including sentiment analysis, stance detection, and linguistic analysis. However, manually assigning fine-grained sentiment association scores to words has many challenges with respect to keeping annotations consistent. We apply the annotation technique of Best-Worst Scaling to obtain real-valued sentiment association scores for words and phrases in three different domains: general English, English Twitter, and Arabic Twitter. We show that on all three domains the ranking of words by sentiment remains remarkably consistent even when the annotation process is repeated with a different set of annotators. We also, for the first time, determine the minimum difference in sentiment association that is perceptible to native speakers of a language.


title: Multi-speaker Recognition in Cocktail Party Problem

abstract: This paper proposes an original statistical decision theory to accomplish a multi-speaker recognition task in cocktail party problem. This theory relies on an assumption that the varied frequencies of speakers obey Gaussian distribution and the relationship of their voiceprints can be represented by Euclidean distance vectors. This paper uses Mel-Frequency Cepstral Coefficients to extract the feature of a voice in judging whether a speaker is included in a multi-speaker environment and distinguish who the speaker should be. Finally, a thirteen-dimension constellation drawing is established by mapping from Manhattan distances of speakers in order to take a thorough consideration about gross influential factors.


title: Design Automation for Binarized Neural Networks: A Quantum Leap Opportunity?

abstract: Design automation in general, and in particular logic synthesis, can play a key role in enabling the design of application-specific Binarized Neural Networks (BNN). This paper presents the hardware design and synthesis of a purely combinational BNN for ultra-low power near-sensor processing. We leverage the major opportunities raised by BNN models, which consist mostly of logical bit-wise operations and integer counting and comparisons, for pushing ultra-low power deep learning circuits close to the sensor and coupling it with binarized mixed-signal image sensor data. We analyze area, power and energy metrics of BNNs synthesized as combinational networks. Our synthesis results in GlobalFoundries 22nm SOI technology shows a silicon area of 2.61mm2 for implementing a combinational BNN with 32x32 binary input sensor receptive field and weight parameters fixed at design time. This is 2.2x smaller than a synthesized network with re-configurable parameters. With respect to other comparable techniques for deep learning near-sensor processing, our approach features a 10x higher energy efficiency.


title: Convergence Rates in Almost-Periodic Homogenization of Higher-order Elliptic Systems

abstract: This paper concentrates on the quantitative homogenization of higher-order elliptic systems with almost-periodic coefficients in bounded Lipschitz domains. For coefficients which are almost-periodic in the sense of H. Weyl, we establish uniform ocal $L^2$ estimates for the approximate correctors. Under an additional assumption on the frequencies of the coefficients (see (1.10)), we derive the existence of the true correctors as well as the sharp $O(\varepsilon)$ convergence rate in $H^{m-1}$. As a byproduct, the large-scale H\"older estimate and a Liouville theorem are obtained for higher-order elliptic systems with almost-periodic coefficients in the sense of Besicovish. Since (1.10) is not well-defined for the equivalence classes of almost-periodic functions in the sense of H. Weyl or Besicovish, we provide another condition that implies the sharp convergence rate in terms of perturbations on the coefficients.


title: Bootstrap estimators for the tail-index and for the count statistics of graphex processes

abstract: Graphex processes resolve some pathologies in traditional random graph models, notably, providing models that are both projective and allow sparsity. Most of the literature on graphex processes study them from a probabilistic point of view. Techniques for inferring the parameter of these processes -- the so-called \textit{graphon} -- are still marginal; exceptions are a few papers considering parametric families of graphons. Nonparametric estimation remains unconsidered. In this paper, we propose estimators for a selected choice of functionals of the graphon. Our estimators originate from the subsampling theory for graphex processes, hence can be seen as a form of bootstrap procedure.


title: Crossover between the Gaussian orthogonal ensemble, the Gaussian unitary ensemble, and Poissonian statistics

abstract: Until now only for specific crossovers between Poissonian statistics (P), the statistics of a Gaussian orthogonal ensemble (GOE), or the statistics of a Gaussian unitary ensemble (GUE) analytical formulas for the level spacing distribution function have been derived within random matrix theory. We investigate arbitrary crossovers in the triangle between all three statistics. To this aim we propose an according formula for the level spacing distribution function depending on two parameters. Comparing the behavior of our formula for the special cases of P$\rightarrow$GUE, P$\rightarrow$GOE, and GOE$\rightarrow$GUE with the results from random matrix theory, we prove that these crossovers are described reasonably. Recent investigations by F.~Schweiner~\emph{et al.} [Phys. Rev. E~\textbf{95}, 062205 (2017)] have shown that the Hamiltonian of magnetoexcitons in cubic semiconductors can exhibit all three statistics in dependence on the system parameters. Evaluating the numerical results for magnetoexcitons in dependence on the excitation energy and on a parameter connected with the cubic valence band structure and comparing the results with the formula proposed allows us to distinguish between regular and chaotic behavior as well as between existent or broken antiunitary symmetries. Increasing one of the two parameters, transitions between different crossovers, e.g., from the P$\rightarrow$GOE to the P$\rightarrow$GUE-crossover, are observed and discussed.

categories: cond-mat.mes-hall cond-mat.mtrl-sci nlin.CD quant-ph


title: Factoriality, Connes' type III invariants and fullness of amalgamated free product von Neumann algebras

abstract: We investigate factoriality, Connes' type ${\rm III}$ invariants and fullness of arbitrary amalgamated free product von Neumann algebras using Popa's deformation/rigidity theory. Among other things, we generalize many previous structural results on amalgamated free product von Neumann algebras and we obtain new examples of full amalgamated free product factors for which we can explicitely compute Connes' type ${\rm III}$ invariants.


title: Witt and Cohomological Invariants of Witt Classes

abstract: We classify all invariants of the functor $I^n$ (powers of the fundamental ideal of the Witt ring) with values in $A$, that it to say functions $I^n(K)\rightarrow A(K)$ compatible with field extensions, in the cases where $A(K)=W(K)$ is the Witt ring and $A(K)=H^*(K,\mu_2)$ is mod 2 Galois cohomology. This is done in terms of some invariants $f_n^d$ that behave like divided powers with respect to sums of Pfister forms, and we show that any invariant of $I^n$ can be written uniquely as a (possibly infinite) combination of those $f_n^d$. This in particular allows to lift operations defined on mod 2 Milnor K-theory (or equivalently mod 2 Galois cohomology) to the level of $I^n$. We also study various properties of these invariants, including behaviour under products, similitudes, residues for discrete valuations, and restriction from $I^n$ to $I^{n+1}$. The goal is to use this to study invariants of algebras with involutions in future articles.


title: Spectral characterization of mixed extensions of small graphs

abstract: A mixed extension of a graph $G$ is a graph $H$ obtained from $G$ by replacing each vertex of $G$ by a clique or a coclique, where vertices of $H$ coming from different vertices of $G$ are adjacent if and only if the original vertices are adjacent in $G$. If $G$ has no more than three vertices, $H$ has all but at most three adjacency eigenvalues equal to $0$ or $-1$. In this paper we consider the converse problem, and determine the class $\cal G$ of all graphs with at most three eigenvalues unequal to $0$ and $-1$. Ignoring isolated vertices, we find that $\cal G$ consists of all mixed extensions of graphs on at most three vertices together with some particular mixed extensions of the paths $P_4$ and $P_5$.


title: Minimization algorithm in the simulation of the Wall Touching Kink Modes

abstract: In this paper the discretized variational principle in the simulation of the Wall Touching Kink Modes (WTKM) is reformulated in terms of independent variables and a corresponding constrained minimization algorithm is elaborated. In a frame of a general formalism is proposed an algoritm for constrained linear minimization adapted to this class of problems. The FORTRAN programme that realize the algorithm is described.


title: Convolutional Recurrent Neural Networks for Dynamic MR Image Reconstruction

abstract: Accelerating the data acquisition of dynamic magnetic resonance imaging (MRI) leads to a challenging ill-posed inverse problem, which has received great interest from both the signal processing and machine learning community over the last decades. The key ingredient to the problem is how to exploit the temporal correlation of the MR sequence to resolve the aliasing artefact. Traditionally, such observation led to a formulation of a non-convex optimisation problem, which were solved using iterative algorithms. Recently, however, deep learning based-approaches have gained significant popularity due to its ability to solve general inversion problems. In this work, we propose a unique, novel convolutional recurrent neural network (CRNN) architecture which reconstructs high quality cardiac MR images from highly undersampled k-space data by jointly exploiting the dependencies of the temporal sequences as well as the iterative nature of the traditional optimisation algorithms. In particular, the proposed architecture embeds the structure of the traditional iterative algorithms, efficiently modelling the recurrence of the iterative reconstruction stages by using recurrent hidden connections over such iterations. In addition, spatiotemporal dependencies are simultaneously learnt by exploiting bidirectional recurrent hidden connections across time sequences. The proposed algorithm is able to learn both the temporal dependency and the iterative reconstruction process effectively with only a very small number of parameters, while outperforming current MR reconstruction methods in terms of computational complexity, reconstruction accuracy and speed.


title: Symbolic-Numeric Integration of Rational Functions

abstract: We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of ill-conditioning to which numerical methods are susceptible. We propose two alternative methods for exact input that compute the rational part of the integral using Hermite reduction and then compute the transcendental part two different ways using a combination of exact integration and efficient numerical computation of roots. The symbolic computation is done within BPAS, or Basic Polynomial Algebra Subprograms, which is a highly optimized environment for polynomial computation on parallel architectures, while the numerical computation is done using the highly optimized multiprecision rootfinding package MPSolve. We show that both methods are forward and backward stable in a structured sense and away from singularities tolerance proportionality is achieved by adjusting the precision of the rootfinding tasks.


title: De-noetherizing Cohen-Macaulay rings

abstract: We introduce a new class of commutative {non-noetherian} rings, called $n$-subperfect rings, generalizing the almost perfect rings that have been studied recently by Fuchs-Salce. For an integer $n \ge 0$, the ring $R$ is $n$-subperfect if every maximal regular sequence in $R$ has length $n$ and the total ring of quotients of $R/I$ for any ideal $I$ generated by a regular sequence is a perfect ring in the sense of Bass. We define an extended Cohen-Macaulay ring as a commutative ring $R$ that has noetherian prime spectrum and each localization $R_M$ at a maximal ideal $M$ is ht($M$)-subperfect. In the noetherian case, these are precisely the classical Cohen-Macaulay rings. Several relevant properties are proved reminiscent of those shared by Cohen-Macaulay rings.