title: Poor electronic screening in lightly doped Mott insulators observed with scanning tunneling microscopy

abstract: The effective Mott gap measured by scanning tunneling microscopy (STM) in the lightly doped Mott insulator $(\rm{Sr}_{1 -x}\rm{La}_x)_2\rm{IrO}_4$ differs greatly from values reported by photoemission and optical experiments. Here, we show that this is a consequence of the poor electronic screening of the tip-induced electric field in this material. Such effects are well known from STM experiments on semiconductors, and go under the name of tip-induced band bending (TIBB). We show that this phenomenon also exists in the lightly doped Mott insulator $(\rm{Sr}_{1 -x}\rm{La}_x)_2\rm{IrO}_4$ and that, at doping concentrations of $x\leq 4 \%$, it causes the measured energy gap in the sample density of states to be bigger than the one measured with other techniques. We develop a model able to retrieve the intrinsic energy gap leading to a value which is in rough agreement with other experiments, bridging the apparent contradiction. At doping $x \approx 5 \%$ we further observe circular features in the conductance layers that point to the emergence of a significant density of free carriers in this doping range, and to the presence of a small concentration of donor atoms. We illustrate the importance of considering the presence of TIBB when doing STM experiments on correlated-electron systems and discuss the similarities and differences between STM measurements on semiconductors and lightly doped Mott insulators.


title: Dynamical amplification of magnetoresistances and Hall currents up to the THz regime

abstract: Spin-orbit-related effects offer a highly promising route for reading and writing information in magnetic units of future devices. These phenomena rely not only on the static magnetization orientation but also on its dynamics to achieve fast switchings that can reach the THz range. In this work, we consider Co/Pt and Fe/W bilayers to show that accounting for the phase difference between different processes is crucial to the correct description of the dynamical currents. By tuning each system towards its ferromagnetic resonance, we reveal that dynamical spin Hall angles can non-trivially change sign and be boosted by over 500%, reaching giant values. We demonstrate that charge and spin pumping mechanisms can greatly magnify or dwindle the currents flowing through the system, influencing all kinds of magnetoresistive and Hall effects, thus impacting also dc and second harmonic experimental measurements.


title: Thermal Conductivity of Glass-Forming Liquids

abstract: Thermal conductivity of a model glass-forming system in the liquid and glass states is studied using extensive numerical simulations. We show that near the glass transition temperture, where the structural relaxation time becomes very long, the measured thermal conductivity decreases with increasing age. Secondly the thermal conductivity of the disordered solid obtained at low temperatures depends on the cooling rate with which it was prepared, with lower cooling rates leading to lower thermal conductivity. Our analysis links this decrease of the thermal conductivity with increased exploration of lower-energy inherent structures of the underlying potential energy landscape. Further we show that the lowering of conductivity for lower-energy inherent structures is related to the high frequency harmonic modes associated with the inherent structure being less extended.


title: Circuit quantum acoustodynamics with surface acoustic waves

abstract: The experimental investigation of quantum devices incorporating mechanical resonators has opened up new frontiers in the study of quantum mechanics at a macroscopic level$^{1,2}$. Superconducting microwave circuits have proven to be a powerful platform for the realisation of such quantum devices, both in cavity optomechanics$^{3,4}$, and circuit quantum electro-dynamics (QED)$^{5,6}$. While most experiments to date have involved localised nanomechanical resonators, it has recently been shown that propagating surface acoustic waves (SAWs) can be piezoelectrically coupled to superconducting qubits$^{7,8}$, and confined in high-quality Fabry-Perot cavities up to microwave frequencies in the quantum regime$^{9}$, indicating the possibility of realising coherent exchange of quantum information between the two systems. Here we present measurements of a device in which a superconducting qubit is embedded in, and interacts with, the acoustic field of a Fabry-Perot SAW cavity on quartz, realising a surface acoustic version of cavity quantum electrodynamics. This quantum acoustodynamics (QAD) architecture may be used to develop new quantum acoustic devices in which quantum information is stored in trapped on-chip surface acoustic wavepackets, and manipulated in ways that are impossible with purely electromagnetic signals, due to the $10^{5}$ times slower speed of travel of the mechanical waves.


title: Comparison of echo state network output layer classification methods on noisy data

abstract: Echo state networks are a recently developed type of recurrent neural network where the internal layer is fixed with random weights, and only the output layer is trained on specific data. Echo state networks are increasingly being used to process spatiotemporal data in real-world settings, including speech recognition, event detection, and robot control. A strength of echo state networks is the simple method used to train the output layer - typically a collection of linear readout weights found using a least squares approach. Although straightforward to train and having a low computational cost to use, this method may not yield acceptable accuracy performance on noisy data. This study compares the performance of three echo state network output layer methods to perform classification on noisy data: using trained linear weights, using sparse trained linear weights, and using trained low-rank approximations of reservoir states. The methods are investigated experimentally on both synthetic and natural datasets. The experiments suggest that using regularized least squares to train linear output weights is superior on data with low noise, but using the low-rank approximations may significantly improve accuracy on datasets contaminated with higher noise levels.


title: The structure and composition statistics of 6A binary and ternary crystalline materials

abstract: The fundamental principles underlying the arrangement of elements into solid compounds with an enormous variety of crystal structures are still largely unknown. This study presents a general overview of the structure types appearing in an important subset of the solid compounds, i.e., binary and ternary compounds of the 6A column oxides, sulfides and selenides. It contains an analysis of these compounds, including the prevalence of various structure types, their symmetry properties, compositions, stoichiometries and unit cell sizes. It is found that these compound families include preferred stoichiometries and structure types that may reflect both their specific chemistry and research bias in the available empirical data. Identification of non-overlapping gaps and missing stoichiometries in these structure populations may be used as guidance in the search for new materials.


title: High-Throughput and Language-Agnostic Entity Disambiguation and Linking on User Generated Data

abstract: The Entity Disambiguation and Linking (EDL) task matches entity mentions in text to a unique Knowledge Base (KB) identifier such as a Wikipedia or Freebase id. It plays a critical role in the construction of a high quality information network, and can be further leveraged for a variety of information retrieval and NLP tasks such as text categorization and document tagging. EDL is a complex and challenging problem due to ambiguity of the mentions and real world text being multi-lingual. Moreover, EDL systems need to have high throughput and should be lightweight in order to scale to large datasets and run on off-the-shelf machines. More importantly, these systems need to be able to extract and disambiguate dense annotations from the data in order to enable an Information Retrieval or Extraction task running on the data to be more efficient and accurate. In order to address all these challenges, we present the Lithium EDL system and algorithm - a high-throughput, lightweight, language-agnostic EDL system that extracts and correctly disambiguates 75% more entities than state-of-the-art EDL systems and is significantly faster than them.


title: Global survival of branching random walks and tree-like branching random walks

abstract: The reproduction speed of a continuous-time branching random walk is proportional to a positive parameter $\lambda$. There is a threshold for $\lambda$, which is called $\lambda_w$, that separates almost sure global extinction from global survival. Analogously, there exists another threshold $\lambda_s$ below which any site is visited almost surely a finite number of times (i.e.~local extinction) while above it there is a positive probability of visiting every site infinitely many times. The local critical parameter $\lambda_s$ is completely understood and can be computed as a function of the reproduction rates. On the other hand, only for some classes of branching random walks it is known that the global critical parameter $\lambda_w$ is the inverse of a certain function of the reproduction rates, which we denote by $K_w$. We provide here new sufficient conditions which guarantee that the global critical parameter equals $1/K_w$. This result extends previously known results for branching random walks on multigraphs and general branching random walks. We show that these sufficient conditions are satisfied by periodic tree-like branching random walks. We also discuss the critical parameter and the critical behaviour of continuous-time branching processes in varying environment. So far, only examples where $\lambda_w=1/K_w$ were known; here we provide an example where $\lambda_w>1/K_w$.


title: Exact firing time statistics of neurons driven by discrete inhibitory noise

abstract: Neurons in the intact brain receive a continuous and irregular synaptic bombardment from excitatory and inhibitory pre-synaptic neurons, which determines the firing activity of the stimulated neuron. In order to investigate the influence of inhibitory stimulation on the firing time statistics, we consider Leaky Integrate-and-Fire neurons subject to inhibitory instantaneous post-synaptic potentials. In particular, we report exact results for the firing rate, the coefficient of variation and the spike train spectrum for various synaptic weight distributions. Our results are not limited to stimulations of infinitesimal amplitude, but they apply as well to finite amplitude post-synaptic potentials, thus being able to capture the effect of rare and large spikes. The developed methods are able to reproduce also the average firing properties of heterogeneous neuronal populations.


title: Characterization of hidden modes in networks of superconducting qubits

abstract: We present a method for detecting electromagnetic (EM) modes that couple to a superconducting qubit in a circuit-QED architecture. Based on measurement-induced dephasing, this technique allows the measurement of modes that have a high quality factor (Q) and may be difficult to detect through standard transmission and reflection measurements at the device ports. In this scheme the qubit itself acts as a sensitive phase meter, revealing modes that couple to it through measurements of its coherence time. Such modes are indistinguishable from EM modes that do not couple to the qubit using a vector network analyzer. Moreover, this technique provides useful characterization parameters including the quality factor and the coupling strength of the unwanted resonances. We demonstrate the method for detecting both high-Q coupling resonators in planar devices as well as spurious modes produced by a 3D cavity.


title: Smart Contract SLAs for Dense Small-Cell-as-a-Service

abstract: The disruptive power of blockchain technologies represents a great opportunity to re-imagine standard practices of telecommunication networks and to identify critical areas that can benefit from brand new approaches. As a starting point for this debate, we look at the current limits of infrastructure sharing, and specifically at the Small-Cell-as-a-Service trend, asking ourselves how we could push it to its natural extreme: a scenario in which any individual home or business user can become a service provider for mobile network operators, freed from all the scalability and legal constraints that are inherent to the current modus operandi. We propose the adoption of smart contracts to implement simple but effective Service Level Agreements (SLAs) between small cell providers and mobile operators, and present an example contract template based on the Ethereum blockchain.


title: A note on rank 1 log extendable isocrystals on simply connected open varieties

abstract: In 2010 de Jong proposed a $p$-adic version of Gieseker's conjecture: if $X$ is a smooth, simply connected projective variety, then any isocrystal on $X$ is constant. This was proven by Esnault and Shiho under some additional assumptions. We show that the conjecture holds in the case of a non-proper variety with trivial tame fundamental group and for rank 1 log extendable isocrystals.


title: Geometry and mechanics of microdomains in growing bacterial colonies

abstract: Bacterial colonies are abundant on living and nonliving surfaces and are known to mediate a broad range of processes in ecology, medicine, and industry. Although extensively researched, from single cells to demographic scales, a comprehensive biomechanical picture, highlighting the cell-to-colony dynamics, is still lacking. Here, using molecular dynamics simulations and continuous modeling, we investigate the geometrical and mechanical properties of a bacterial colony growing on a substrate with a free boundary and demonstrate that such an expanding colony self-organizes into a "mosaic" of microdomains consisting of highly aligned cells. The emergence of microdomains is mediated by two competing forces: the steric forces between neighboring cells, which favor cell alignment, and the extensile stresses due to cell growth that tend to reduce the local orientational order and thereby distort the system. This interplay results in an exponential distribution of the domain areas and sets a characteristic length scale proportional to the square root of the ratio between the system orientational stiffness and the magnitude of the extensile active stress. Our theoretical predictions are finally compared with experiments with freely growing E. coli microcolonies, finding quantitative agreement.


title: A remark on a construction of D.S. Asche

abstract: It is shown that a classical construction of D.S. Asche of 72 equiangular lines in the 19 dimensional Euclidean space contains a subset of 54 equiangular lines embedded in an 18 dimensional subspace.


title: Quasiparticle Breakdown and Spin Hamiltonian of the Frustrated Quantum Pyrochlore Yb$_2$Ti$_2$O$_7$ in Magnetic Field

abstract: The frustrated pyrochlore magnet Yb$_2$Ti$_2$O$_7$ has the remarkable property that it orders magnetically, but has no propagating magnons over wide regions of the Brillouin zone. Here we use inelastic neutron scattering to follow how the spectrum evolves in cubic-axis magnetic fields. At high fields we observe in addition to dispersive magnons also a two-magnon continuum, which grows in intensity upon reducing the field and overlaps with the one-magnon states at intermediate fields leading to strong renormalization of the dispersion relations, and magnon decays. Using heat capacity measurements we find that the low and high field regions are smoothly connected with no sharp phase transition, with the spin gap increasing monotonically in field. Through fits to an extensive data set we re-evaluate the spin Hamiltonian finding dominant quantum exchange terms, which we propose are responsible for the anomalously strong fluctuations and quasiparticle breakdown effects observed at low fields.


title: A Semiglobal, Practical, Strict Pseudogradient Property for Iterative Methods

abstract: We consider a class of iterative numerical methods and introduce the notion of semiglobally, practically, strictly pseudogradient (SPSP) search directions. We demonstrate the relevance of the SPSP property in modelling a variety of optimization algorithms, including those subject to absolute and relative errors. We show that the attractors of iterative methods with SPSP search directions exhibit semiglobal, practical, asymptotic stability. Moreover, the SPSP property is robust in the sense that perturbations of SPSP search directions also have the SPSP property.


title: Pattern Recognition on Oriented Matroids: Decompositions of Topes, and Dehn-Sommerville Type Relations

abstract: If V(R) is the vertex set of a symmetric cycle R in the tope graph of a simple oriented matroid M, then for any tope T of M there exists a unique inclusion-minimal subset Q(T;R) of V(R) such that T is the sum of the topes of Q(T;R). If |Q(T;R)|>3, then the decomposition Q(T;R) of the tope T with respect to the symmetric cycle R satisfies certain Dehn-Sommerville type relations.


title: Kiloparsec-Scale Simulations of Star Formation in Disk Galaxies. IV. Regulation of Galactic Star Formation Rates by Stellar Feedback

abstract: Star formation from the interstellar medium of galactic disks is a basic process controlling the evolution of galaxies. Understanding the star formation rate in a local patch of a disk with a given gas mass is thus an important challenge for theoretical models. Here we simulate a kiloparsec region of a disk, following the evolution of self-gravitating molecular clouds down to subparsec scales, as they form stars that then inject feedback energy by dissociating and ionizing UV photons and supernova explosions. We assess the relative importance of each feedback mechanism. We find that $\rm H_2$-dissociating feedback results in the largest absolute reduction in star formation compared to the run with no feedback. Subsequently adding photoionization feedback produces a more modest reduction. Our fiducial models that combine all three feedback mechanisms yield, without fine-tuning, star formation rates that are in excellent agreement with observations, with $\rm H_2$-dissociating photons playing a crucial role. Models that only include supernova feedback---a common method in galaxy evolution simulations---settle to similar star formation rates, but with very different temperature and chemical states of the gas, and with very different spatial distributions of young stars.


title: A version of Krasnoselskii's compression-expansion fixed point theorem in cones for discontinuous operators with applications

abstract: We introduce a new fixed point theorem of Krasnoselskii type for discontinuous operators. As an application we use it to study the existence of positive solutions of a second-order differential problem with separated boundary conditions and discontinuous nonlinearities.


title: Effects of boundary conditions on irreversible dynamics

abstract: We present a simple one-dimensional Ising-type spin system on which we define a completely asymmetric Markovian single spin-flip dynamics. We study the system at a very low, yet non-zero, temperature and we show that for empty boundary conditions the Gibbs measure is stationary for such dynamics, while introducing in a single site a $+$ condition the stationary measure changes drastically, with macroscopical effects. We achieve this result defining an absolutely convergent series expansion of the stationary measure around the zero temperature system. Interesting combinatorial identities are involved in the proofs.


title: Normalisation de la langue et de lecriture arabe : enjeux culturels regionaux et mondiaux

abstract: Arabic language and writing are now facing a resurgence of international normative solutions that challenge most of their local or network based operating principles. Even if the multilingual digital coding solutions, especially those proposed by Unicode, have solved many difficulties of Arabic writing, the linguistic aspect is still in search of more adapted solutions. Terminology is one of the sectors in which the Arabic language requires a deep modernization of its classical productivity models. The normative approach, in particular that of the ISO TC37, is proposed as one of the solutions that would allow it to combine with international standards to better integrate the knowledge society under construction. La langue et lecriture arabe sont aujourdhui confrontees a une recrudescence de solutions normatives internationales qui remettent en cause la plupart de leurs principes de fonctionnement en site ou sur les reseaux. Meme si les solutions du codage numerique multilingue, notamment celles proposees par Unicode, ont resolu beaucoup de difficultes de lecriture arabe, le volet linguistique est encore en quete de solutions plus adaptees. La terminologie est lun des secteurs dans lequel la langue arabe necessite une modernisation profonde de ses modeles classiques de production. La voie normative, notamment celle du TC37 de ISO, est proposee comme une des solutions qui lui permettrait de se mettre en synergie avec les referentiels internationaux pour mieux integrer la societe du savoir en voie de construction.


title: White paper on EUSO-SPB2

abstract: EUSO-SPB2 is a second generation Extreme Universe Space Observatory (EUSO) on a Super-Pressure Balloon (SPB). This document describes the physics capabilities, the proposed technical design of the instruments, and the simulation and analysis software.


title: EmbedInsight: Automated Grading of Embedded Systems Assignments

abstract: Grading in embedded systems courses typically requires a face-to-face appointment between the student and the instructor because of experimental setups that are only available in laboratory facilities. Such a manual grading process is an impediment to both students and instructors. Students have to wait for several days to get feedback, and instructors may spend valuable time evaluating trivial aspects of the assignment. As seen with software courses, an automated grading system can significantly improve the insights available to the instructor and encourage students to learn quickly with iterative testing. We have designed and implemented EmbedInsight, an automated grading system for embedded system courses that accommodates a wide variety of experimental setups and is scalable to MOOC-style courses. EmbedInsight employs a modular web services design that separates the user interface and the experimental setup that evaluates student assignments. We deployed and evaluated EmbedInsight for our university embedded systems course. We show that our system scales well to a large number of submissions, and students are satisfied with their overall experience.


title: Fukaya categories of plumbings and multiplicative preprojective algebras

abstract: Given an arbitrary graph $\Gamma$ and non-negative integers $g_v$ for each vertex $v$ of $\Gamma$, let $X_\Gamma$ be the Weinstein $4$-manifold obtained by plumbing copies of $T^*\Sigma_v$ according to this graph, where $\Sigma_v$ is a surface of genus $g_v$. We compute the wrapped Fukaya category of $X_\Gamma$ (with bulk parameters) using Legendrian surgery extending our previous work arXiv:1502.07922 where it was assumed that $g_v=0$ for all $v$ and $\Gamma$ was a tree. The resulting algebra is recognized as the (derived) multiplicative preprojective algebra (and its higher genus version) defined by Crawley-Boevey and Shaw arXiv:math/0404186. Along the way, we find a smaller model for the internal DG-algebra of Ekholm-Ng arXiv:1307.8436 associated to $1$-handles in the Legendrian surgery presentation of Weinstein $4$-manifolds which might be of independent interest.


title: GL-equivariant modules over polynomial rings in infinitely many variables. II

abstract: Twisted commutative algebras (tca's) have played an important role in the nascent field of representation stability. Let A_d be the complex tca freely generated by d indeterminates of degree 1. In a previous paper, we determined the structure of the category of A_1-modules (which is equivalent to the category of FI-modules). In this paper, we establish analogous results for the category of A_d-modules, for any d. Modules over A_d are closely related to the structures used by the authors in previous works studying syzygies of Segre and Veronese embeddings, and we hope the results of this paper will eventually lead to improvements on those works. Our results also have implications in asymptotic commutative algebra.


title: Variable selection in discriminant analysis for mixed variables and several groups

abstract: We propose a method for variable selection in discriminant analysis with mixed categorical and continuous variables. This method is based on a criterion that permits to reduce the variable selection problem to a problem of estimating suitable permutation and dimensionality. Then, estimators for these parameters are proposed and the resulting method for selecting variables is shown to be consistent. A simulation study that permits to study several poperties of the proposed approach and to compare it with an existing method is given.


title: Paperstack - A Novel Lean-Interactive System for Documentation Sharing in Maritime Industries

abstract: This paper defines a new domain for collaborative systems and technologies research: inter-organizational lean-interactive systems engineering. It departs from the problems pertaining to large-scale, technically demanding one-off construction projects, such as in our case studies, the building of specialized offshore service vessels. The requirements are unique, as are the explicit ambitions to be "lean", in other words, avoid waste and re-engineering by making sure that the process is customer-driven and rational. Emphasis is on efficiency rather than effectiveness. This set-up poses new demands to the collaborative systems and technologies, which we in this paper have addressed with the design of a new type of Documentation-emtric ERP, which we have called "Paperstack". The ambition is to support inter-organizational lean-interactive systems engineering in an integrated platform, and the next step for our research, naturally, is to put the systems into factual use. This paper summarizes the design ideas.


title: Decentralized, Robust and Efficient Services for an Autonomous and Real-time Urban Crisis Management

abstract: The globalization of trade and the organization of work are currently causing a large migratory flow towards the cities. This growth of cities requires new urban planning where digital tools take a preponderant place to capture data and understand and decide in face of changes. These tools however hardly resist to natural disasters, terrorism, accidents, etc. Based on the expertise of the CITI laboratory of INSA Lyon and SC3 of the Industrial University of Santander, we propose to create the ALERT project - Autonomous Liable Emergency service in Real Time - with decentralized, reliable and efficient services, physically close to the citizens, taking decisions locally, in a relevant manner without risk of disconnection with a central authority. These information gathering and decision-making will involve the population with participatory and social approaches.


title: Lipschitz Normal Embeddings in the Space of Matrices

abstract: The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are bilipschitz equivalent. In this article we prove Lipschitz normal embeddedness of some algebraic subsets of the space of matrices. These include the space $m \times n$ matrices, symmetric matrices and skew-symmetric matrices of rank equal to a given number and their closures, and the upper triangular matrices with determinant $0$. We also make a short discussion about generalizing these results to determinantal varieties in real and complex spaces.


title: Functional renormalization group study of parallel double quantum dots: Effects of asymmetric dot-lead couplings

abstract: We explore the effects of asymmetry of hopping parameters between double parallel quantum dots and the leads on the conductance and a possibility of local magnetic moment formation in this system using functional renormalization group approach with the counterterm. We demonstrate a possibility of a quantum phase transition to a local moment regime (so called singular Fermi liquid (SFL) state) for various types of hopping asymmetries and discuss respective gate voltage dependences of the conductance. It is shown, that depending on the type of the asymmetry, the system can demonstrate either a first order quantum phase transition to SFL state, accompanied by a discontinuous change of the conductance, similarly to the symmetric case, or the second order quantum phase transition, in which the conductance is continuous and exhibits Fano-type asymmetric resonance near the transition point. A semi-analytical explanation of these different types of conductance behavior is presented.


title: Odd viscosity in two-dimensional incompressible fluids

abstract: In this work, we present observable consequences of parity-violating odd viscosity term in incompressible 2+1D hydrodynamics. For boundary conditions depending on the velocity field (flow) alone we show that: (i) The fluid flow quantified by the velocity field is independent of odd viscosity, (ii) The force acting on a closed contour is independent of odd viscosity, and (iii) The odd viscosity part of torque on a closed contour is proportional to the rate of change of area enclosed by the contour with the proportionality constant being twice the odd viscosity. The last statement allows us to define a measurement protocol of {\it odd viscostance} in analogy to Hall resistance measurements. We also consider {\it no-stress} boundary conditions which explicitly depend on odd viscosity. A classic hydrodynamics problem with no-stress boundary conditions is that of a bubble in a planar Stokes flow. We solve this problem exactly for shear and hyperbolic flows and show that the steady-state shape of the bubble in the shear flow depends explicitly on the value of odd viscosity.


title: Applicability of Educational Data Mining in Afghanistan: Opportunities and Challenges

abstract: The author's own experience as a student and later as a lecturer in Afghanistan has shown that the methods used in the educational system are not only flawed, but also do not provide the minimum guidance to students to select proper course of study before they enter the national university entrance (Kankor) exam. Thus, it often results in high attrition rates and poor performance in higher education. Based on the studies done in other countries, and by the author of this paper through online questionnaires distributed to university students in Afghanistan - it was found that proper procedures and specialized studies in high schools can help students in selecting their major field of study more systematically. Additionally, it has come to be known that there are large amounts of data available for mining purposes, but the methods that the Ministry of Education and Ministry of Higher Education use to store and produce their data, only enable them to achieve simple facts and figures. Furthermore, from the results it can be concluded that there are potential opportunities for educational data mining application in the domain of Afghanistan's education systems. Finally, this study will provide the readers with approaches for using Educational Data Mining to improve the educational business processes. For instance, predict proper field of study for high school graduates, or, identify first year university students who are at high risk of attrition.


title: Healthcare

abstract: The complexity of the healthcare ecosystem and the trans-disciplinary convergence which is essential for its function, makes it difficult to address healthcare as one domain. Data curation and analysis of the information may boost our health related knowledge. Increasing connectivity and improving infrastructure may help, among other things, to uncover facts and observations which may influence the future of global health.


title: Computer of Things a Proposal to Speed up IoT Development

abstract: This paper propose and predict the need for a new line of computer production that can facilitate and accelerate the improvements of things and systems towards IoT networks. The proposed computer that is named Computer of Thing, CoT, will speed up the establishment of smart world in a synchronized way with similar standards, communication protocols, and hardware and software. Also, the need for a new standardization body in addition to those who exist is stated that will motivate governments to invest more on IoT development. However, to show the importance of proposed CoT, a brief review on IoT present status is performed and then some terminologies and classification of IoT networks is presented. This classification helps manufacturers to gain a proper view for their future products development. Then, observing from production point of view the need for CoT is highlighted. Finally, as smart systems may work in different dimensions of applications via internet or intranet connectivity, the basic specifications of proposed CoT are presented. Consequently, due to nature of CoTs, a new multi- dimension multi-hierarchy control strategy is proposed.


title: MWTP: Monterrey Weather, Traffic and Pollution Database for Geospatial Analysis

abstract: The MWTP: Monterrey Weather, Traffic and Pollution Database contains a collection of historic weather conditions, and recent traffic and air pollution data of the metropolitan area of Monterrey, Mexico. Collected data includes: temperature, humidity, raining conditions, wind speed, travel distance, travel time, PM2.5, PM10, O3, among many others. As of February 2017, the MWTP database contained more than 4 million records of weather data, more than 700 thousand records of traffic data and around 57 thousand of air pollution measurements. Here, it is described how the data is been collected and structured into a databased, so it can be used for statistical and geospatial analysis of the Monterrey area.


title: Extremely high magnetoresistance and conductivity in the type-II Weyl semimetals WP2 and MoP2

abstract: The peculiar band structure of semimetals exhibiting Dirac and Weyl crossings can lead to spectacular electronic properties such as large mobilities accompanied by extremely high magnetoresistance. In particular, two closely neighbouring Weyl points of the same chirality are protected from annihilation by structural distortions or defects, thereby significantly reducing the scattering probability between them. Here we present the electronic properties of the transition metal diphosphides, WP2 and MoP2, that are type-II Weyl semimetals with robust Weyl points. We present transport and angle resolved photoemission spectroscopy measurements, and first principles calculations. Our single crystals of WP2 display an extremely low residual low-temperature resistivity of 3 nohm-cm accompanied by an enormous and highly anisotropic magnetoresistance above 200 million % at 63 T and 2.5 K. These properties are likely a consequence of the novel Weyl fermions expressed in this compound. We observe a large suppression of charge carrier backscattering in WP2 from transport measurements.


title: Stable accretion from a cold disc in highly magnetized neutron stars

abstract: The aim of this paper is to investigate the transition of a strongly magnetized neutron star into the accretion regime with very low accretion rate. For this purpose we monitored the Be-transient X-ray pulsar GRO J1008-57 throughout a full orbital cycle. The current observational campaign was performed with the Swift/XRT telescope in the soft X-ray band (0.5-10 keV) between two subsequent Type I outbursts in January and September 2016. The expected transition to the propeller regime was not observed. However, the transitions between different regimes of accretion were detected. In particular, after an outburst the source entered a stable accretion state characterised by the accretion rate of ~10^14-10^15 g/s. We associate this state with accretion from a cold (low-ionised) disc of temperature below ~6500 K. We argue that a transition to such accretion regime should be observed in all X-ray pulsars with certain combination of the rotation frequency and magnetic field strength. The proposed model of accretion from a cold disc is able to explain several puzzling observational properties of X-ray pulsars.


title: Task-based End-to-end Model Learning in Stochastic Optimization

abstract: With the increasing popularity of machine learning techniques, it has become common to see prediction algorithms operating within some larger process. However, the criteria by which we train these algorithms often differ from the ultimate criteria on which we evaluate them. This paper proposes an end-to-end approach for learning probabilistic machine learning models in a manner that directly captures the ultimate task-based objective for which they will be used, within the context of stochastic programming. We present three experimental evaluations of the proposed approach: a classical inventory stock problem, a real-world electrical grid scheduling task, and a real-world energy storage arbitrage task. We show that the proposed approach can outperform both traditional modeling and purely black-box policy optimization approaches in these applications.


title: Uniform Symbolic Topologies via Multinomial Expansions

abstract: When does a Noetherian commutative ring $R$ have uniform symbolic topologies on primes--read, when does there exist an integer $D>0$ such that the symbolic power $P^{(Dr)} \subseteq P^r$ for all prime ideals $P \subseteq R$ and all $r >0$? Groundbreaking work of Ein-Lazarsfeld-Smith, as extended by Hochster and Huneke, and by Ma and Schwede in turn, provides a beautiful answer in the setting of finite-dimensional excellent regular rings. It is natural to then sleuth for analogues where the ring $R$ is non-regular, or where the above ideal containments can be improved using a linear function whose growth rate is slower. This manuscript falls under the overlap of these research directions. Working with a prescribed type of prime ideal $Q$ inside of tensor products of domains of finite type over an algebraically closed field $\mathbb{F}$, we present binomial- and multinomial expansion criteria for containments of type $Q^{(E r)} \subseteq Q^r$, or even better, of type $Q^{(E (r-1)+1)} \subseteq Q^r$ for all $r>0$. The final section consolidates remarks on how often we can utilize these criteria, presenting an example.


title: Observation of intervalley biexcitonic optical Stark effect in monolayer WS2

abstract: Coherent optical dressing of quantum materials offers technological advantages to control their electronic properties, such as the electronic valley degree of freedom in monolayer transition metal dichalcogenides (TMDs). Here, we observe a new type of optical Stark effect in monolayer WS2, one that is mediated by intervalley biexcitons under the blue-detuned driving with circularly polarized light. We found that such helical optical driving not only induces an exciton energy downshift at the excitation valley, but also causes an anomalous energy upshift at the opposite valley, which is normally forbidden by the exciton selection rules but now made accessible through the intervalley biexcitons. These findings reveal the critical, but hitherto neglected, role of biexcitons to couple the two seemingly independent valleys, and to enhance the optical control in valleytronics.


title: Standardization of Proton Induced X-Ray Emission for Analysis of Trace Elements in Thick Targets

abstract: This paper presents the standardization of Proton Induced X-rays Emission (PIXE) technique for the trace element analysis of thick standard samples. Three standard reference materials (SRMs) viz-\`a-vis titanium, copper and iron base alloys were used for the study due to their availability. The protons beam was accelerated up to 2.57 MeV energy by 5UDH-II tandem Pelletron accelerator and samples were irradiated at different geometry and durations. Spectrum was acquired using a multi-channel spectrum analyzer while spectrum analysis was done using a GUPIXWIN model for determination of elemental concentrations of trace elements. The obtained experimental data was compared with theoretical data and results were found in close agreement.


title: Defect Line Terahertz Quantum Cascade Laser

abstract: We present terahertz quantum cascade lasers operating at a defect mode of a photonic crystal bandgap. This class of devices exhibits single mode emission and low threshold current compared to standard metal-metal lasers. The mode selectivity is an intrinsic property of the chosen fabrication design. The lower lasing threshold effect, already reported in photonic crystal quantum cascade lasers, is further enhanced in the ultra-flat-dispersion defect line. The presented results pave the way for integrated circuitry operating in the terahertz regime and have important applications in the field of quantum cascade lasers, spectroscopy and microcavity lasers.


title: Peripheral transverse densities of the baryon octet from chiral effective field theory and dispersion analysis

abstract: The baryon electromagnetic form factors are expressed in terms of two-dimensional densities describing the distribution of charge and magnetization in transverse space at fixed light-front time. We calculate the transverse densities of the spin-1/2 flavor-octet baryons at peripheral distances b = O(M_\pi^{-1}) using methods of relativistic chiral effective field theory (\chi EFT) and dispersion analysis. The densities are represented as dispersive integrals over the imaginary parts of the form factors in the timelike region (spectral functions). The isovector spectral functions on the two-pion cut t > 4 M_\pi^2 are calculated using relativistic \chi EFT including octet and decuplet baryons. The \chi EFT calculations are extended into the \rho meson mass region using an N/D method that incorporates the pion electromagnetic form factor data. The isoscalar spectral functions are modeled by vector meson poles. We compute the peripheral charge and magnetization densities in the octet baryon states, estimate the uncertainties, and determine the quark flavor decomposition. The approach can be extended to baryon form factors of other operators and the moments of generalized parton distributions.


title: Early Science with the Large Millimeter Telescope: Detection of dust emission in multiple images of a normal galaxy at $z>4$ lensed by a Frontier Fields cluster

abstract: We directly detect dust emission in an optically-detected, multiply-imaged galaxy lensed by the Frontier Fields cluster MACSJ0717.5+3745. We detect two images of the same galaxy at 1.1mm with the AzTEC camera on the Large Millimeter Telescope leaving no ambiguity in the counterpart identification. This galaxy, MACS071_Az9, is at z>4 and the strong lensing model (mu=7.5) allows us to calculate an intrinsic IR luminosity of 9.7e10 Lsun and an obscured star formation rate of 14.6 +/- 4.5 Msun/yr. The unobscured star formation rate from the UV is only 4.1 +/- 0.3 Msun/yr which means the total star formation rate (18.7 +/- 4.5 Msun/yr) is dominated (75-80%) by the obscured component. With an intrinsic stellar mass of only 6.9e9Msun, MACS0717_Az9 is one of only a handful of z>4 galaxies at these lower masses that is detected in dust emission. This galaxy lies close to the estimated star formation sequence at this epoch. However, it does not lie on the dust obscuration relation (IRX-beta) for local starburst galaxies and is instead consistent with the Small Magellanic Cloud (SMC) attenuation law. This remarkable lower mass galaxy showing signs of both low metallicity and high dust content may challenge our picture of dust production in the early Universe.


title: ZFIRE: Using H$\alpha$ equivalent widths to investigate the in situ initial mass function at z~2

abstract: We use the ZFIRE survey (http://zfire.swinburne.edu.au) to investigate the high mass slope of the initial mass function (IMF) for a mass-complete (log10(M$_*$/M$_\odot$)~9.3) sample of 102 star-forming galaxies at z~2 using their H$\alpha$ equivalent widths (H$\alpha$-EW) and rest-frame optical colours. We compare dust-corrected H$\alpha$-EW distributions with predictions of star-formation histories (SFH) from PEGASE.2 and Starburst99 synthetic stellar population models. We find an excess of high H$\alpha$-EW galaxies that are up to 0.3--0.5 dex above the model-predicted Salpeter IMF locus and the H$\alpha$-EW distribution is much broader (10--500 \AA) than can easily be explained by a simple monotonic SFH with a standard Salpeter-slope IMF. Though this discrepancy is somewhat alleviated when it is assumed that there is no relative attenuation difference between stars and nebular lines, the result is robust against observational biases, and no single IMF (i.e. non-Salpeter slope) can reproduce the data. We show using both spectral stacking and Monte Carlo simulations that starbursts cannot explain the EW distribution. We investigate other physical mechanisms including models with variations in stellar rotation, binary star evolution, metallicity, and the IMF upper-mass cutoff. IMF variations and/or highly rotating extreme metal poor stars (Z~0.1Z$_\odot$) with binary interactions are the most plausible explanations for our data. If the IMF varies, then the highest H$\alpha$-EWs would require very shallow slopes ($\Gamma$>-1.0) with no one slope able to reproduce the data. Thus, the IMF would have to vary stochastically. We conclude that the stellar populations at z~2 show distinct differences from local populations and there is no simple physical model to explain the large variation in H$\alpha$-EWs at z~2.


title: A novel artificial condensed matter lattice and a new platform for one-dimensional topological phases

abstract: Engineered lattices in condensed matter physics, such as cold atom optical lattices or photonic crystals, can have fundamentally different properties from naturally-occurring electronic crystals. Here, we report a novel type of artificial quantum matter lattice. Our lattice is a multilayer heterostructure built from alternating thin films of topological and trivial insulators. Each interface within the heterostructure hosts a set of topologically-protected interface states, and by making the layers sufficiently thin, we demonstrate for the first time a hybridization of interface states across layers. In this way, our heterostructure forms an emergent atomic chain, where the interfaces act as lattice sites and the interface states act as atomic orbitals, as seen from our measurements by angle-resolved photoemission spectroscopy (ARPES). By changing the composition of the heterostructure, we can directly control hopping between lattice sites. We realize a topological and a trivial phase in our superlattice band structure. We argue that the superlattice may be characterized in a significant way by a one-dimensional topological invariant, closely related to the invariant of the Su-Schrieffer-Heeger model. Our topological insulator heterostructure demonstrates a novel experimental platform where we can engineer band structures by directly controlling how electrons hop between lattice sites.


title: Asymptotic Results for the Queen Packing Problem

abstract: We consider the problem of placing k queens on an nxn board so that the total number of attacked squares is as small as possible. In particular, we consider the domain where k is small relative to n and derive nearly tight bounds in this setting.


title: Software stage-effort estimation based on association rule mining and fuzzy set theory

abstract: Relaying on early effort estimation to predict the required number of resources is not often sufficient, and could lead to under or over estimation. It is widely acknowledge that that software development process should be refined regularly and that software prediction made at early stage of software development is yet kind of guesses. Even good predictions are not sufficient with inherent uncertainty and risks. The stage-effort estimation allows project manager to re-allocate correct number of resources, re-schedule project and control project progress to finish on time and within budget. In this paper we propose an approach to utilize prior effort records to predict stage effort. The proposed model combines concepts of Fuzzy set theory and association rule mining. The results were good in terms of prediction accuracy and have potential to deliver good stage-effort estimation.


title: Star formation, supernovae, iron, and alpha: consistent cosmic and Galactic histories

abstract: Recent versions of the observed cosmic star-formation history (SFH) have resolved an inconsistency with the stellar mass density history. We show that the revised SFH also scales up the delay-time distribution (DTD) of Type Ia supernovae (SNe Ia), as determined from the observed volumetric SN Ia rate history, aligning it with other field-galaxy SN Ia DTD measurements. The revised-SFH-based DTD has a $t^{-1.1 \pm 0.1}$ form and a Hubble-time-integrated production efficiency of $N/M_\star=1.3\pm0.1$ SNe Ia per $1000~{\rm M_\odot}$ of formed stellar mass. Using these revised histories and updated empirical iron yields of the various SN types, we re-derive the cosmic iron accumulation history. Core-collapse SNe and SNe Ia have contributed about equally to the total mass of iron in the Universe today. We find the track of the average cosmic gas element in the [$\alpha$/Fe] vs. [Fe/H] abundance-ratio plane. The track is broadly similar to the observed main locus of Galactic stars in this plane, indicating a Milky Way (MW) SFH similar in form to the cosmic one. We easily find a simple MW SFH that makes the track closely match this stellar locus. Galaxy clusters appear to have a higher-normalization DTD. This cluster DTD, combined with a short-burst MW SFH peaked at $z=3$, produces a track that matches remarkably well the observed "high-$\alpha$" locus of MW stars, suggesting the halo/thick-disk population has had a galaxy-cluster-like formation mode. Thus, a simple two-component SFH, combined with empirical DTDs and SN iron yields, suffices to closely reproduce the MW's stellar abundance patterns.


title: Positive Geometries and Canonical Forms

abstract: Recent years have seen a surprising connection between the physics of scattering amplitudes and a class of mathematical objects--the positive Grassmannian, positive loop Grassmannians, tree and loop Amplituhedra--which have been loosely referred to as "positive geometries". The connection between the geometry and physics is provided by a unique differential form canonically determined by the property of having logarithmic singularities (only) on all the boundaries of the space, with residues on each boundary given by the canonical form on that boundary. In this paper we initiate an exploration of "positive geometries" and "canonical forms" as objects of study in their own right in a more general mathematical setting. We give a precise definition of positive geometries and canonical forms, introduce general methods for finding forms for more complicated positive geometries from simpler ones, and present numerous examples of positive geometries in projective spaces, Grassmannians, and toric, cluster and flag varieties. We also illustrate a number of strategies for computing canonical forms which yield interesting representations for the forms associated with wide classes of positive geometries, ranging from the simplest Amplituhedra to new expressions for the volume of arbitrary convex polytopes.


title: The Galaxy-Halo Connection Over The Last 13.3 Gyrs

abstract: We present new determinations of the stellar-to-halo mass relation (SHMR) at $z=0-10$ that match the evolution of the galaxy stellar mass function, the SFR$-M_*$ relation,and the cosmic star formation rate. We utilize a compilation of 40 observational studies from the literature and correct them for potential biases. Using our robust determinations of halo mass assembly and the SHMR, we infer star formation histories, merger rates, and structural properties for average galaxies, combining star-forming and quenched galaxies. Our main findings: (1) The halo mass $M_{50}$ above which 50\% of galaxies are quenched coincides with sSFR/sMAR$\sim1$, where sMAR is the specific halo mass accretion rate. (2) $M_{50}$ increases with redshift, presumably due to cold streams being more efficient at high redshift while virial shocks and AGN feedback become more relevant at lower redshifts. (3) The ratio sSFR/sMAR has a peak value, which occurs around $M_{\rm vir}\sim2\times10^{11}M_{\odot}$. (4) The stellar mass density within 1 kpc, $\Sigma_1$, is a good indicator of the galactic global sSFR. (5) Galaxies are statistically quenched after they reach a maximum in $\Sigma_1$, consistent with theoretical expectations of the gas compaction model; this maximum depends on redshift. (6) In-situ star formation is responsible for most galactic stellar mass growth, especially for lower-mass galaxies. (7) Galaxies grow inside out. The marked change in the slope of the size--mass relation when galaxies became quenched, from $d\log R_{\rm eff}/d\log M_*\sim0.35$ to $\sim2.5$, could be the result of dry minor mergers.


title: Control of ultrafast pulses in hydrogen-filled hollow-core photonic crystal fiber by Raman coherence

abstract: We present the results of an experimental and numerical investigation into temporally non-local coherent interactions between ultrashort pulses, mediated by Raman coherence, in gas-filled kagom\'{e}-style hollow-core photonic crystal fiber. A pump pulse first set up the Raman coherence, creating a refractive index grating in the gas that travels at the group velocity of the pump pulse. Varying the arrival time of a second probe pulse allows high degree of control over its evolution as it propagates along the fiber, in particular soliton self-compression and dispersive wave (DW) emission. In the experiments reported, a DW is emitted at ~300 nm, with a central frequency that oscillates with the pump-probe delay. The results demonstrate that strong Raman coherence created in broadband guiding gas-filled kagom\'e-PCF can be used to control the dynamics of ultrashort probe pulses, even in difficult-to-access spectral regions such as the deep and vacuum ultraviolet.


title: WISE J080822.18-644357.3 - a 45 Myr-old accreting M dwarf hosting a primordial disc

abstract: WISE J080822.18$-$644357.3 was recently identified as a new M dwarf debris disc system and a candidate member of the 45 Myr-old Carina association. Given that the strength of its infrared excess ($L_{\rm IR}/L_{\rm \star}\simeq 0.1$) appears to be more consistent with a young protoplanetary disc, we present the first optical spectra of the star and reassess its evolutionary and membership status. We find WISE J0808-6443 to be a Li-rich M5 star with strong H$\alpha$ emission ($-125 < \textrm{EW} < -65$ \AA\ over 4 epochs) whose strength and broad width are consistent with accretion at a low level ($\sim$10$^{-10}$ $M_{\odot}$ yr$^{-1}$) from its disc. The spectral energy distribution of the star is consistent with a primordial disc and is well-fit using a two-temperature blackbody model with $T_{\rm inner}\simeq$ 1100 K and $T_{\rm outer}\simeq$ 240 K. AllWISE multi-epoch photometry shows the system exhibits significant variability in the 3.4 $\mu$m and 4.6 $\mu$m bands. We calculate an improved proper motion based on archival astrometry, and combined with a new radial velocity, the kinematics of the star are consistent with membership in Carina at a kinematic distance of $90\pm9$ pc. The spectroscopic and photometric data are consistent with WISE J0808-6443 being a $\sim$0.1 $M_{\odot}$ Classical T-Tauri star and one of the oldest known accreting M-type stars. These results provide further evidence that the upper limit on the lifetimes of gas-rich discs - and hence the timescales to form and evolve protoplanetary systems - around the lowest mass stars may be longer than previously recognised, or some mechanism may be responsible for regenerating short-lived discs at later stages of pre-main sequence evolution.


title: Exponential Distance Relation and Near Resonances in the Trappist-1 Planetary System

abstract: We report in this paper a new exponential relation distance of planets in the newly discovered exoplanetary system of the Trappist-1 star, and we comment on near orbital mean motion resonances among the seven planets. We predict that possible smaller planets could be found inside the orbit of the innermost discovered Planet b.


title: The Novel ABALONE Photosensor Technology: 4-Year Long Tests of Vacuum Integrity, Internal Pumping and Afterpulsing

abstract: The ABALONE Photosensor Technology (U.S. Patent 9064678 2015) has the capability of supplanting the expensive 80 year old Photomultiplier Tube (PMT) manufacture by providing a modern and cost effective alternative product. An ABALONE Photosensor comprises only three monolithic glass components, sealed together by our new thin film adhesive. In 2013, we left one of the early ABALONE Photosensor prototypes intact for continuous stress testing, and here we report its long term vacuum integrity. The exceptionally low ion afterpulsing rate (approximately two orders of magnitude lower than in PMTs) has been constantly improving. We explain the physical and technological reasons for this achievement. Due to the cost-effectiveness and the specific combination of features, including low level of radioactivity, integration into large-area panels, and robustness, this technology can open new horizons in the fields of fundamental physics, functional medical imaging, and nuclear security.

categories: physics.ins-det astro-ph.IM hep-ex physics.med-ph


title: Condition number and matrices

abstract: It is well known the concept of the condition number $\kappa(A) = \|A\|\|A^{-1}\|$, where $A$ is a $n \times n$ real or complex matrix and the norm used is the spectral norm. Although it is very common to think in $\kappa(A)$ as "the" condition number of $A$, the truth is that condition numbers are associated to problems, not just instance of problems. Our goal is to clarify this difference. We will introduce the general concept of condition number and apply it to the particular case of real or complex matrices. After this, we will introduce the classic condition number $\kappa(A)$ of a matrix and show some known results.


title: An Approximate Analytic Model of a Star Cluster with Potential Escapers

abstract: In the context of a star cluster moving on a circular galactic orbit, a "potential escaper" is a cluster star that has orbital energy greater than the escape energy, and yet is confined within the Jacobi radius of the stellar system. On the other hand analytic models of stellar clusters typically have a truncation energy equal to the cluster escape energy, and therefore explicitly exclude these energetically unbound stars. Starting from the landmark analysis performed by Henon of periodic orbits of the circular Hill equations, we present a numerical exploration of the population of "non-escapers", defined here as those stars which remain within two Jacobi radii for several galactic periods, with energy above the escape energy. We show that they can be characterised by the Jacobi integral and two further approximate integrals, which are based on perturbation theory and ideas drawn from Lidov-Kozai theory. Finally we use these results to construct an approximate analytic model that includes a phase space description of a population resembling that of potential escapers, in addition to the usual bound population.


title: Systemic Risk, Maximum Entropy and Interbank Contagion

abstract: We discuss the systemic risk implied by the interbank exposures reconstructed with the maximum entropy method. The maximum entropy method severely underestimates the risk of interbank contagion by assuming a fully connected network, while in reality the structure of the interbank network is sparsely connected. Here, we formulate an algorithm for sparse network reconstruction, and we show numerically that it provides a more reliable estimation of the systemic risk.


title: Sensor Fusion for Robot Control through Deep Reinforcement Learning

abstract: Deep reinforcement learning is becoming increasingly popular for robot control algorithms, with the aim for a robot to self-learn useful feature representations from unstructured sensory input leading to the optimal actuation policy. In addition to sensors mounted on the robot, sensors might also be deployed in the environment, although these might need to be accessed via an unreliable wireless connection. In this paper, we demonstrate deep neural network architectures that are able to fuse information coming from multiple sensors and are robust to sensor failures at runtime. We evaluate our method on a search and pick task for a robot both in simulation and the real world.


title: A procedure for detecting hidden surface defects in a plate from real thermal data by means of active thermography

abstract: Let $\Omega_\epsilon$ be a metallic plate whose top inaccessible surface has been damaged by some chemical or mechanical agent. We heat the opposite side and collect a sequence of temperature maps $u^\epsilon$. Here, we construct a formal explicit approximation of the damage $\epsilon\theta$ by solving a nonlinear inverse problem for the heat equation in three steps: (i) smoothing of temperature maps, (ii) domain derivative of the temperature, (iii) thin plate approximation of the model and perturbation theory. Our inversion formula is tested with realistic synthetic data and used in a real laboratory experiment.


title: Distributed Optimal Vehicle Grid Integration Strategy with User Behavior Prediction

abstract: With the increasing of electric vehicle (EV) adoption in recent years, the impact of EV charging activities to the power grid becomes more and more significant. In this article, an optimal scheduling algorithm which combines smart EV charging and V2G gird service is developed to integrate EVs into power grid as distributed energy resources, with improved system cost performance. Specifically, an optimization problem is formulated and solved at each EV charging station according to control signal from aggregated control center and user charging behavior prediction by mean estimation and linear regression. The control center collects distributed optimization results and updates the control signal, periodically. The iteration continues until it converges to optimal scheduling. Experimental result shows this algorithm helps fill the valley and shave the peak in electric load profiles within a microgrid, while the energy demand of individual driver can be satisfied.


title: Numerical Methods for the Inverse Problem of Density Functional Theory

abstract: The inverse problem of Kohn-Sham density functional theory (DFT) is often solved in an effort to benchmark and design approximate exchange-correlation potentials. The forward and inverse problems of DFT rely on the same equations but the numerical methods for solving each problem are substantially different. We examine both problems in this tutorial with a special emphasis on the algorithms and error analysis needed for solving the inverse problem. Two inversion methods based on partial differential equation constrained optimization and constrained variational ideas are introduced. We compare and contrast several different inversion methods applied to one-dimensional finite and periodic model systems.


title: Multi-Patch and Multi-Group Epidemic Models: A New Framework

abstract: We develop a multi-patch and multi-group model that captures the dynamics of an infectious disease when the host is structured into an arbitrary number of groups and interacts into an arbitrary number of patches where the infection takes place. In this framework, we model host mobility that depends on its epidemiological status, by a Lagrangian approach. This framework is applied to a general SEIRS model and the basic reproduction number $\mathcal{R_0}$ is derived. The effects of heterogeneity in groups, patches and mobility patterns on $\mathcal{R_0}$ and disease prevalence are explored. Our results show that for a fixed number of groups, the basic reproduction number increases with respect to the number of patches and the host mobility patterns. Moreover, when the mobility matrix of susceptible individuals is of rank one, the basic reproduction number is explicitly determined and was found to be independent of the latter. The cases where mobility matrices are of rank one capture important modeling scenarios. Additionally, we study the global analysis of equilibria for some special cases. Numerical simulations are carried out to showcase the ramifications of mobility pattern matrices on disease prevalence and basic reproduction number.


title: Computing Kazhdan constants by semidefinite programming

abstract: Kazhdan constants of discrete groups are hard to compute and the actual constants are known only for several classes of groups. By solving a semidefinite programming problem by a computer, we obtain a lower bound of the Kazhdan constant of a discrete group. Positive lower bounds imply that the group has property (T). We study lattices on $\tilde{A}_2$-buildings in detail. For $\tilde{A}_2$-groups, our numerical bounds look identical to the known actual constants. That suggests that our approach is effective. For a family of groups, $G_1, \cdots, G_4$, that are studied by Ronan, Tits and others, we conjecture the spectral gap of the Laplacian is $(\sqrt 2-1)^2$ based on our experimental results. For $\mathrm{SL}(3,\Bbb Z)$ and $\mathrm{SL}(4,\Bbb Z)$ we obtain lower bounds of the Kazhdan constants, 0.2155 and 0.3285, respectively, which are better than any other known bounds. We also obtain 0.1710 as a lower bound of the Kazhdan constant of the Steinberg group $\mathrm{St}_3(\Bbb Z)$.


title: Topological insulator particles as optically induced oscillators: towards dynamical force measurements and optical rheology

abstract: We report the first experimental study upon the optical trapping and manipulation of topological insulator (TI) particles. By virtue of the unique TI properties, which have a conducting surface and an insulating bulk, the particles present a peculiar behaviour in the presence of a single laser beam optical tweezers: they oscillate in a plane perpendicular to the direction of the laser propagation, as a result of the competition between radiation pressure and gradient forces. In other words, TI particles behave as optically induced oscillators, allowing dynamical measurements with unprecedented simplicity and purely optical control. Actually, optical rheology of soft matter interfaces and biological membranes, as well as dynamical force measurements in macromolecules and biopolymers, may be quoted as feasible possibilities for the near future.


title: Recursive computation of the invariant distribution of Markov and Feller processes

abstract: This paper provides a general and abstract approach to approximate ergodic regimes of Markov and Feller processes. More precisely, we show that the recursive algorithm presented in Lamberton & Pages (2002) and based on simulation algorithms of stochastic schemes with decreasing step can be used to build invariant measures for general Markov and Feller processes. We also propose applications in three different configurations: Approximation of Markov switching Brownian diffusion ergodic regimes using Euler scheme, approximation of Markov Brownian diffusion ergodic regimes with Milstein scheme and approximation of general diffusions with jump components ergodic regimes.


title: Localization of a multi-dimensional quantum walk with one defect

abstract: In this paper, we introduce a multidimensional generalization of Kitagawa's split-step discrete-time quantum walk, study the spectrum of its evolution operator for the case of one defect coins, and prove localization of the walk. Using a spectral mapping theorem, we can reduce the spectral analysis of the evolution operator to that of a discrete Schr\"{o}dinger operator with variable coefficients, which is analyzed using the Feshbach map.


title: Fully Convolutional Neural Networks to Detect Clinical Dermoscopic Features

abstract: The presence of certain clinical dermoscopic features within a skin lesion may indicate melanoma, and automatically detecting these features may lead to more quantitative and reproducible diagnoses. We reformulate the task of classifying clinical dermoscopic features within superpixels as a segmentation problem, and propose a fully convolutional neural network to detect clinical dermoscopic features from dermoscopy skin lesion images. Our neural network architecture uses interpolated feature maps from several intermediate network layers, and addresses imbalanced labels by minimizing a negative multi-label Dice-F$_1$ score, where the score is computed across the mini-batch for each label. Our approach ranked first place in the 2017 ISIC-ISBI Part 2: Dermoscopic Feature Classification Task challenge over both the provided validation and test datasets, achieving a 0.895% area under the receiver operator characteristic curve score. We show how simple baseline models can outrank state-of-the-art approaches when using the official metrics of the challenge, and propose to use a fuzzy Jaccard Index that ignores the empty set (i.e., masks devoid of positive pixels) when ranking models. Our results suggest that (i) the classification of clinical dermoscopic features can be effectively approached as a segmentation problem, and (ii) the current metrics used to rank models may not well capture the efficacy of the model. We plan to make our trained model and code publicly available.


title: Space-time least-squares Petrov-Galerkin projection for nonlinear model reduction

abstract: This work proposes a space-time least-squares Petrov-Galerkin (ST-LSPG) projection method for model reduction of nonlinear dynamical systems. In contrast to typical nonlinear model-reduction methods that first apply (Petrov-)Galerkin projection in the spatial dimension and subsequently apply time integration to numerically resolve the resulting low-dimensional dynamical system, the proposed method applies projection in space and time simultaneously. To accomplish this, the method first introduces a low-dimensional space-time trial subspace, which can be obtained by computing tensor decompositions of state-snapshot data. The method then computes discrete-optimal approximations in this space-time trial subspace by minimizing the residual arising after time discretization over all space and time in a weighted $\ell^2$-norm. This norm can be defined to enable complexity reduction (i.e., hyper-reduction) in time, which leads to space-time collocation and space-time GNAT variants of the ST-LSPG method. Advantages of the approach relative to typical spatial-projection-based nonlinear model reduction methods such as Galerkin projection and least-squares Petrov-Galerkin projection include: (1) a reduction of both the spatial and temporal dimensions of the dynamical system, (2) the removal of spurious temporal modes (e.g., unstable growth) from the state space, and (3) error bounds that exhibit slower growth in time. Numerical examples performed on model problems in fluid dynamics demonstrate the ability of the method to generate orders-of-magnitude computational savings relative to spatial-projection-based reduced-order models without sacrificing accuracy.


title: Drone Squadron Optimization: a Self-adaptive Algorithm for Global Numerical Optimization

abstract: This paper proposes Drone Squadron Optimization, a new self-adaptive metaheuristic for global numerical optimization which is updated online by a hyper-heuristic. DSO is an artifact-inspired technique, as opposed to many algorithms used nowadays, which are nature-inspired. DSO is very flexible because it is not related to behaviors or natural phenomena. DSO has two core parts: the semi-autonomous drones that fly over a landscape to explore, and the Command Center that processes the retrieved data and updates the drones' firmware whenever necessary. The self-adaptive aspect of DSO in this work is the perturbation/movement scheme, which is the procedure used to generate target coordinates. This procedure is evolved by the Command Center during the global optimization process in order to adapt DSO to the search landscape. DSO was evaluated on a set of widely employed benchmark functions. The statistical analysis of the results shows that the proposed method is competitive with the other methods in the comparison, the performance is promising, but several future improvements are planned.


title: Convex subquivers and the finitistic dimension

abstract: Let $\cQ$ be a quiver and $K$ a field. We study the interrelationship of homological properties of algebras associated to convex subquivers of $\cQ$ and quotients of the path algebra $K\cQ$. We introduce the homological heart of $\cQ$ which is a particularly nice convex subquiver of $\cQ$. For any algebra of the form $K\cQ/I$, the algebra associated to $K\cQ/I$ and the homological heart have similar homological properties. We give an application showing that the finitistic dimension conjecture need only be proved for algebras with path connected quivers.


title: An Optimized Analogy-Based Project Effort Estimation

abstract: Despite the predictive performance of Analogy-Based Estimation (ABE) in generating better effort estimates, there is no consensus on how to predict the best number of analogies, and which adjustment technique produces better estimates. This paper proposes a new adjusted ABE model based on optimizing and approximating complex relationships between features and reflects that approximation on the final estimate. The results show that the predictive performance of ABE has noticeably been improved, and the number of analogies was remarkably variable for each test project.


title: Analogy-based effort estimation: a new method to discover set of analogies from dataset characteristics

abstract: Analogy-based effort estimation (ABE) is one of the efficient methods for software effort estimation because of its outstanding performance and capability of handling noisy datasets. Conventional ABE models usually use the same number of analogies for all projects in the datasets in order to make good estimates. The authors' claim is that using same number of analogies may produce overall best performance for the whole dataset but not necessarily best performance for each individual project. Therefore there is a need to better understand the dataset characteristics in order to discover the optimum set of analogies for each project rather than using a static k nearest projects. Method: We propose a new technique based on Bisecting k-medoids clustering algorithm to come up with the best set of analogies for each individual project before making the prediction. Results & Conclusions: With Bisecting k-medoids it is possible to better understand the dataset characteristic, and automatically find best set of analogies for each test project. Performance figures of the proposed estimation method are promising and better than those of other regular ABE models


title: Fuzzy Model Tree For Early Effort Estimation

abstract: Use Case Points (UCP) is a well-known method to estimate the project size, based on Use Case diagram, at early phases of software development. Although the Use Case diagram is widely accepted as a de-facto model for analyzing object oriented software requirements over the world, UCP method did not take sufficient amount of attention because, as yet, there is no consensus on how to produce software effort from UCP. This paper aims to study the potential of using Fuzzy Model Tree to derive effort estimates based on UCP size measure using a dataset collected for that purpose. The proposed approach has been validated against Treeboost model, Multiple Linear Regression and classical effort estimation based on the UCP model. The obtained results are promising and show better performance than those obtained by classical UCP, Multiple Linear Regression and slightly better than those obtained by Tree boost model.


title: Model tree based adaption strategy for software effort estimation by analogy

abstract: Background: Adaptation technique is a crucial task for analogy based estimation. Current adaptation techniques often use linear size or linear similarity adjustment mechanisms which are often not suitable for datasets that have complex structure with many categorical attributes. Furthermore, the use of nonlinear adaptation technique such as neural network and genetic algorithms needs many user interactions and parameters optimization for configuring them (such as network model, number of neurons, activation functions, training functions, mutation, selection, crossover, ... etc.). Aims: In response to the abovementioned challenges, the present paper proposes a new adaptation strategy using Model Tree based attribute distance to adjust estimation by analogy and derive new estimates. Using Model Tree has an advantage to deal with categorical attributes, minimize user interaction and improve efficiency of model learning through classification. Method: Seven well known datasets have been used with 3-Fold cross validation to empirically validate the proposed approach. The proposed method has been investigated using various K analogies from 1 to 3. Results: Experimental results showed that the proposed approach produced better results when compared with those obtained by using estimation by analogy based linear size adaptation, linear similarity adaptation, 'regression towards the mean' and null adaptation. Conclusions: Model Tree could form a useful extension for estimation by analogy especially for complex data sets with large number of categorical attributes.


title: Learning best K analogies from data distribution for case-based software effort estimation

abstract: Case-Based Reasoning (CBR) has been widely used to generate good software effort estimates. The predictive performance of CBR is a dataset dependent and subject to extremely large space of configuration possibilities. Regardless of the type of adaptation technique, deciding on the optimal number of similar cases to be used before applying CBR is a key challenge. In this paper we propose a new technique based on Bisecting k-medoids clustering algorithm to better understanding the structure of a dataset and discovering the the optimal cases for each individual project by excluding irrelevant cases. Results obtained showed that understanding of the data characteristic prior prediction stage can help in automatically finding the best number of cases for each test project. Performance figures of the proposed estimation method are better than those of other regular K-based CBR methods.


title: An empirical evaluation of ensemble adjustment methods for analogy-based effort estimation

abstract: Objective: This paper investigates the potential of ensemble learning for variants of adjustment methods used in analogy-based effort estimation. The number k of analogies to be used is also investigated. Method We perform a large scale comparison study where many ensembles constructed from n out of 40 possible valid variants of adjustment methods are applied to eight datasets. The performance of each method was evaluated based on standardized accuracy and effect size. Results: The results have been subjected to statistical significance testing, and show reasonable significant improvements on the predictive performance where ensemble methods are applied. Conclusion: Our conclusions suggest that ensembles of adjustment methods can work well and achieve good performance, even though they are not always superior to single methods. We also recommend constructing ensembles from only linear adjustment methods, as they have shown better performance and were frequently ranked higher.


title: Laplace expansion method for the calculation of the reduced width amplitudes

abstract: We derive the equations to calculate the reduced width amplitudes (RWA) of the different size clusters and deformed clusters without any approximation. These equations named Laplace expansion method are applicable to the nuclear models which uses the Gaussian wave packets. The advantage of the method is demonstrated by the numerical calculations of the ${}^{16}{\rm O}+\alpha$ and ${}^{24}{\rm Mg}+\alpha$ RWAs in $^{20}{\rm Ne}$ and $^{28}{\rm Si}$.


title: Direct Observation of Valley-polarized Topological Edge States in Designer Surface Plasmon Crystals

abstract: The extensive research of two-dimensional layered materials has revealed that valleys, as energy extrema in momentum space, could offer a new degree of freedom for carrying information. Based on this concept, researchers have predicted valley-Hall topological insulators which could support valley-polarized edge states at non-trivial domain walls. Recently, several kinds of photonic or sonic crystals have been proposed as classical counterparts of valley-Hall topological insulators. However, direct experimental observation of valley-polarized edge states in photonic crystals is still difficult until now. Here, we demonstrate a designer surface plasmon crystal comprising metallic patterns deposited on a dielectric substrate, which can become a valley-Hall photonic topological insulator by exploiting the mirror-symmetry-breaking mechanism. Topological edge states with valley-dependent transport are directly visualized in the microwave regime. The observed edge states are confirmed to be fully valley-polarized through spatial Fourier transforms. Topological protection of the edge states at sharp corners is also experimentally demonstrated.


title: Effect of magnetic field on the hysteresis phenomena and floating potential oscillations in a reflex plasma source

abstract: An experimental investigation on the periodic and chaotic oscillations in a reflex plasma source in presence of magnetic field is presented. The experiment is conducted in a reflex plasma source, consisting of two cathodes and a ring anode. A penning type DC glow discharge in an uniform axial magnetic field is initiated in the background of argon gas. The current-voltage characteristics near the breakdown voltage show a hysteresis with two distinct discharge current regimes. The effect of magnetic field on the discharge current and floating potential oscillations is studied when the discharge is operated within this hysteresis loop. At a typical axial magnetic field, the discharge transits from high discharge current regime (beyond 4-5 mA), an oscillation free regime, to a low discharge current regime (less than 1 mA). Depending upon the discharge parameters, low discharge current regime shows either the periodic or chaotic oscillation in the frequency range of 1-50 KHz. The frequency of periodic oscillation increases with the increase in magnetic field up to 90 Gauss and with further increase in magnetic field, the periodic oscillation becomes chaotic in nature.


title: Plasmonically Enhanced Reflectance of Heat Radiation from Low-Bandgap Semiconductor Microinclusions

abstract: Increased reflectance from the inclusion of highly scattering particles at low volume fractions in an insulating dielectric offers a promising way to reduce radiative thermal losses at high temperatures. Here, we investigate plasmonic resonance driven enhanced scattering from microinclusions of low-bandgap semiconductors (InP, Si, Ge, PbS, InAs and Te) in an insulating composite to tailor its infrared reflectance for minimizing thermal losses from radiative transfer. To this end, we compute the spectral properties of the microcomposites using Monte Carlo modeling and compare them with results from Fresnel equations. The role of particle size-dependent Mie scattering and absorption efficiencies, and, scattering anisotropy are studied to identify the optimal microinclusion size and material parameters for maximizing the reflectance of the thermal radiation. For composites with Si and Ge microinclusions we obtain reflectance efficiencies of 57 - 65% for the incident blackbody radiation from sources at temperatures in the range 400 - 1600 {\deg}C. Furthermore, we observe a broadbanding of the reflectance spectra from the plasmonic resonances due to charge carriers generated from defect states within the semiconductor bandgap. Our results thus open up the possibility of developing efficient high-temperature thermal insulators through use of the low-bandgap semiconductor microinclusions in insulating dielectrics.


title: Thermodynamics of frustrated ferromagnetic spin-$1/2$ Heisenberg chains: The role of inter-chain coupling

abstract: The thermodynamics of coupled frustrated ferromagnetic chains is studied within a spin-rotation-invariant Green's function approach. We consider an isotropic Heisenberg spin-half system with a ferromagnetic in-chain coupling $J_1<0$ between nearest neighbors and a frustrating antiferromagnetic next-nearest neighbor in-chain coupling $J_2>0$. We focus on moderate strength of frustration $J_2 < |J_1|/4$ such that the in-chain spin-spin correlations are predominantly ferromagnetic. We consider two inter-chain couplings (ICs) $J_{\perp,y}$ and $J_{\perp,z}$, corresponding to the two axis perpendicular to the chain, where ferromagnetic as well as antiferromagnetic ICs are taken into account. We discuss the influence of frustration on the ground-state properties for antiferromagnetic ICs, where the ground state is of quantum nature. The major part of our study is devoted to the finite-temperature properties. We calculate the critical temperature $T_{c}$ as a function of the competing exchange couplings $J_{2},J_{\perp,y}, J_{\perp,z}$. We find that for fixed ICs $T_c$ monotonically decreases with increasing frustration $J_2$, where as $J_2 \to |J_1|/4$ the $T_c(J_2)$-curve drops down rapidly. To characterize the magnetic ordering below and above $T_c$ we calculate the spin-spin correlation functions $\langle {\bf S}_0 {\bf S}_{\bf R} \rangle$, the magnetic order parameter $M$, the uniform static susceptibility $\chi_0$ as well as the correlation length $\xi$. Moreover, we discuss the specific heat $C_V$ and the temperature dependence of the excitation spectrum $\omega_{\mathbf{q}}$. As $J_2 \to |J_1|/4$ some unusual frustration-induced features were found, such as an increase of the in-chain spin stiffness (in case of ferromagnetic ICs) or of the in-chain spin-wave velocity (in case of antiferromagnetic ICs) with growing temperature.


title: Causes of discomfort in stereoscopic content: a review

abstract: This paper reviews the causes of discomfort in viewing stereoscopic content. These include objective factors, such as misaligned images, as well as subjective factors, such as excessive disparity. Different approaches to the measurement of visual discomfort are also reviewed, in relation to the underlying physiological and psychophysical processes. The importance of understanding these issues, in the context of new display technologies, is emphasized.


title: Dataset Quality Assessment: An extension for analogy based effort estimation

abstract: Estimation by Analogy (EBA) is an increasingly active research method in the area of software engineering. The fundamental assumption of this method is that the similar projects in terms of attribute values will also be similar in terms of effort values. It is well recognized that the quality of software datasets has a considerable impact on the reliability and accuracy of such method. Therefore, if the software dataset does not satisfy the aforementioned assumption then it is not rather useful for EBA method. This paper presents a new method based on Kendall's row-wise rank correlation that enables data quality evaluation and providing a data preprocessing stage for EBA. The proposed method provides sound statistical basis and justification for the process of data quality evaluation. Unlike Analogy-X, our method has the ability to deal with categorical attributes individually without the need for partitioning the dataset. Experimental results showed that the proposed method could form a useful extension for EBA as it enables: dataset quality evaluation, attribute selection and identifying abnormal observations.


title: Wick rotations and real GIT

abstract: We define Wick-rotations by considering pseudo-Riemannian manifolds as real slices of a holomorphic Riemannian manifold. From a frame bundle viewpoint Wick-rotations between different pseudo-Riemannian spaces can then be studied through their structure groups which are real forms of the corresponding complexified Lie group (different real forms $O(p,q)$ of the complex Lie group $O(n,\mathbb{C})$). In this way, we can use real GIT (geometric invariant theory) to derive several new results regarding the existence, and non-existence, of such Wick-rotations. As an explicit example, we Wick rotate a known $G_2$-holonomy manifold to a pseudo-Riemannian manifold with split-$G_2$ holonomy.


title: Landau damping in the multiscale Vlasov theory

abstract: Vlasov kinetic theory is extended by adopting an extra one particle distribution function as an additional state variable characterizing the micro-turbulence internal structure. The extended Vlasov equation keeps the reversibility, the Hamiltonian structure, and the entropy conservation of the original Vlasov equation. In the setting of the extended Vlasov theory we then argue that the Fokker-Planck type damping in the velocity dependence of the extra distribution function induces the Landau damping. The same type of extension is made also in the setting of fluid mechanics.


title: Wave Equations with three-inverse square potential on $R_+^3$

abstract: In this note we give explicit solutions to the wave equation associated to the Schr\"odinger operator with three-inverse square potential on $R_+^3$


title: Quantum Imploding Scalar Fields

abstract: The d'Alembertian $\Box\phi=0$ has solution $\phi=f(v)/r$, where $f$ is a function of a null coordinate $v$, and this allows creation of a divergent singularity out of nothing. In scalar-Einstein theory a similar situation arises both for the scalar field and also for curvature invariants such as the Ricci scalar. Here what happens in canonical quantum gravity is investigated. Two minispace Hamiltonian systems are set up: extrapolation and approximation of these indicates that the quantum mechanical wavefunction can be finite at the origin.


title: $\Psi(2s)$ production in $p+A$ collisions

abstract: We have analyzed the data on $\psi'$ production in proton-nucleus ($p+A$) collisions, available from the NA50 Collaboration in the SPS energy domain. The investigated data sets include the absolute production cross sections as well as $\psi'$-to-Drell Yan (DY) cross section ratios. An adapted version of two component QVZ model has been employed to calculate $\psi'$ production cross sections. For both $\psi'$ and DY production, nuclear modifications to the free nucleon structure functions are taken into account. For $\psi'$, final state interaction of the produced $c\bar{c}$ pairs with the nuclear medium is also taken into account, in accordance with the previously analyzed $J/\psi$ data. A satisfactory description of the data in $p+A$ collisions is obtained. Model calculations are extrapolated to low energy regime to predict the $\psi'$ suppression in proton induced collisions at near threshold energies.


title: Dynamical systems on graphs through the signless Laplacian matrix

abstract: There is a deep and interesting connection between the topological properties of a graph and the behaviour of the dynamical system defined on it. We analyse various kind of graphs, with different contrasting connectivity or degree characteristics, using the signless Laplacian matrix. We expose the theoretical results about the eigenvalue of the matrix and how they are related to the dynamical system. Then, we perform numerical computations on real-like graphs and observe the resulting system. Comparing the theoretical and numerical results we found a perfect consistency. Furthermore, we define a metric which takes in account the "rigidity" of the graph and enables us to relate all together the topological properties of the graph, the signless Laplacian matrix and the dynamical system.


title: Investigating the Settling Dynamics of Cohesive Silt Particles With Particle-Resolving Simulations

abstract: The settling of cohesive sediment is ubiquitous in aquatic environments. In the settling process, the silt particles show behaviors that are different from non-cohesive particles due to the influence of inter-particle cohesive force. While it is a consensus that cohesive behaviors depend on the characteristics of sediment particles (e.g., Bond number, particle size distribution), little is known about the exact influence of these characteristics on the cohesive behaviors. In the present work, three-dimensional settling process is investigated numerically by using CFD--DEM (Computational Fluid Dynamics--Discrete Element Method). The inter-particle collision force, the van der Waals force, and the fluid--particle interaction forces are considered. The numerical model is used to simulate the hindered settling process of silt based on the experimental setup in the literature. The results obtained in the simulations, including the structural densities of the beds, the characteristic lines, and the particle terminal velocity, are in good agreement with the experimental observations in the literature. To the authors' knowledge, this is the first time that the influences of non-dimensional Bond number and particle polydispersity on the structural densities of silt beds have been investigated separately. The results demonstrate that the cohesive behavior of silt in the settling process is attributed to both the cohesion among silt particles themselves and the particle polydispersity. To guide to the macro-scale modeling of cohesive silt sedimentation, the collision frequency functions obtained in the numerical simulations are also presented based on the micromechanics of particles. The results obtained by using CFD--DEM indicate that the binary collision theory over-estimated the particle collision frequency in the flocculation process at high solid volume fraction.


title: HardIDX: Practical and Secure Index with SGX

abstract: Software-based approaches for search over encrypted data are still either challenged by lack of proper, low-leakage encryption or slow performance. Existing hardware-based approaches do not scale well due to hardware limitations and software designs that are not specifically tailored to the hardware architecture, and are rarely well analyzed for their security (e.g., the impact of side channels). Additionally, existing hardware-based solutions often have a large code footprint in the trusted environment susceptible to software compromises. In this paper we present HardIDX: a hardware-based approach, leveraging Intel's SGX, for search over encrypted data. It implements only the security critical core, i.e., the search functionality, in the trusted environment and resorts to untrusted software for the remainder. HardIDX is deployable as a highly performant encrypted database index: it is logarithmic in the size of the index and searches are performed within a few milliseconds rather than seconds. We formally model and prove the security of our scheme showing that its leakage is equivalent to the best known searchable encryption schemes. Our implementation has a very small code and memory footprint yet still scales to virtually unlimited search index sizes, i.e., size is limited only by the general - non-secure - hardware resources.


title: A new formulation of Lee-Wick quantum field theory

abstract: The Lee-Wick models are higher-derivative theories that are claimed to be unitary thanks to a peculiar cancelation mechanism. In this paper, we provide a new formulation of the models, to clarify several aspects that have remained quite mysterious, so far. Specifically, we define them as nonanalytically Wick rotated Euclidean theories. The complex energy plane is divided into disconnected regions, which can be related to one another by a well-defined, albeit nonanalytic procedure. Working in a generic Lorentz frame, the models are intrinsically equipped with the right recipe to treat the pinchings of the Lee-Wick poles, with no need of external ad hoc prescriptions. We describe these features in detail by calculating the one-loop bubble diagram and explaining how the key properties generalize to more complicated diagrams. The physical results of our formulation are different from those of the previous ones. The unusual behaviors of the physical amplitudes lead to interesting phenomenological predictions.


title: Comment on "Strong Evidence for the Normal Neutrino Hierarchy"

abstract: In the preprint arxiv:1703.03425 "strong evidence" for the normal neutrino mass ordering is claimed. The authors obtain Bayesian odds of 42:1 in favour of the normal ordering. Their conclusion is based on adopting a flat logarithmic prior for the three neutrino masses. Such an assumption favours a hierarchical spectrum for the masses, which is much easier to accommodate for the normal mass ordering, and hence their prior assumption makes the inverted ordering much less likely a priori. We argue that the claimed "evidence" for normal ordering is almost entirely driven by the adopted prior and not due to the data itself.