title: An Experimental Evaluation of a De-biasing Intervention for Professional Software Developers

abstract: CONTEXT: The role of expert judgement is essential in our quest to improve software project planning and execution. However, its accuracy is dependent on many factors, not least the avoidance of judgement biases, such as the anchoring bias, arising from being influenced by initial information, even when it's misleading or irrelevant. This strong effect is widely documented. OBJECTIVE: We aimed to replicate this anchoring bias using professionals and, novel in a software engineering context, explore de-biasing interventions through increasing knowledge and awareness of judgement biases. METHOD: We ran two series of experiments in company settings with a total of 410 software developers. Some developers took part in a workshop to heighten their awareness of a range of cognitive biases, including anchoring. Later, the anchoring bias was induced by presenting low or high productivity values, followed by the participants' estimates of their own project productivity. Our hypothesis was that the workshop would lead to reduced bias, i.e., work as a de-biasing intervention. RESULTS: The anchors had a large effect (robust Cohen's $d=1.19$) in influencing estimates. This was substantially reduced in those participants who attended the workshop (robust Cohen's $d=0.72$). The reduced bias related mainly to the high anchor. The de-biasing intervention also led to a threefold reduction in estimate variance. CONCLUSIONS: The impact of anchors upon judgement was substantial. Learning about judgement biases does appear capable of mitigating, although not removing, the anchoring bias. The positive effect of de-biasing through learning about biases suggests that it has value.


title: A kinematic formula for the total absolute curvature

abstract: Let $A$ and $B$ be compact PL-subspaces of some euclidean space $E^n$. We show that for these a kinematic formula for the total absolute curvature holds in analogy to the classical one.


title: Real Normal Operators and Williamson's Normal Form

abstract: A simple proof is provided to show that any bounded normal operator on a real Hilbert space is orthogonally equivalent to its transpose(adjoint). A structure theorem for invertible skew-symmetric operators, which is analogous to the finite dimensional situation is also proved using elementary techniques. The second result is used to establish the main theorem of this article, which is a generalization of Williamson's normal form for bounded positive operators on infinite dimensional separable Hilbert spaces. This has applications in the study of infinite mode Gaussian states.


title: Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL

abstract: In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the Isabelle theorem prover, and provide a tactic to evaluate winding numbers through Cauchy indices. By further combining this approximation with the argument principle, we are able to make use of remainder sequences to effectively count the number of complex roots of a polynomial within some domains, such as a rectangular box and a half-plane.


title: Generating Multilingual Parallel Corpus Using Subtitles

abstract: Neural Machine Translation with its significant results, still has a great problem: lack or absence of parallel corpus for many languages. This article suggests a method for generating considerable amount of parallel corpus for any language pairs, extracted from open source materials existing on the Internet. Parallel corpus contents will be derived from video subtitles. It needs a set of video titles, with some attributes like release date, rating, duration and etc. Process of finding and downloading subtitle pairs for desired language pairs is automated by using a crawler. Finally sentence pairs will be extracted from synchronous dialogues in subtitles. The main problem of this method is unsynchronized subtitle pairs. Therefore subtitles will be verified before downloading. If two subtitle were not synchronized, then another subtitle of that video will be processed till it finds the matching subtitle. Using this approach gives ability to make context based parallel corpus through filtering videos by genre. Context based corpus can be used in complex translators which decode sentences by different networks after determining contents subject. Languages have many differences in their formal and informal styles, including words and syntax. Other advantage of this method is to make corpus of informal style of languages. Because most of movies dialogues are parts of a conversation. So they had informal style. This feature of generated corpus can be used in real-time translators to have more accurate conversation translations.


title: Quantum Coherence and Path-Distinguishability of Two Entangled Particles

abstract: An interference experiment with entangled particles is theoretically analyzed, where one of the entangled pair (particle 1) goes through a multi-slit before being detected at a fixed detector. In addition, one introduces a mechanism for finding out which of the n slits did particle 1 go through. The other particle of the entangled pair (particle 2) goes in a different direction, and is detected at a variable, spatially separated location. In coincident counting, particle 2 shows n-slit interference. It is shown that the normalized quantum coherence of particle 2, $\mathcal{C}_2$, and the path-distinguishability of particle 1, $\mathcal{D}_{Q1}$, are bounded by an inequality $\mathcal{D}_{Q1} + \mathcal{C}_2 \le 1$. This is a kind of {\em nonlocal} duality relation, which connects the path distinguishability of one particle to the quantum coherence of the other.


title: Spontaneous patterns in coherently driven polariton microcavities

abstract: We consider a polariton microcavity resonantly driven by two external lasers which simultaneously pump both lower and upper polariton branches at normal incidence. In this setup, we study the occurrence of instabilities of the pump-only solutions towards the spontaneous formation of patterns. Their appearance is a consequence of the spontaneous symmetry breaking of translational and rotational invariance due to interaction induced parametric scattering. We observe the evolution between diverse patterns which can be classified as single-pump, where parametric scattering occurs at the same energy as one of the pumps, and as two-pump, where scattering occurs at a different energy. For two-pump instabilities, stripe and chequerboard patterns become the dominant steady-state solutions because cubic parametric scattering processes are forbidden. This contrasts with the single-pump case, where hexagonal patterns are the most common arrangements. We study the possibility of controlling the evolution between different patterns. Our results are obtained within a linear stability analysis and are confirmed by finite size full numerical calculations.


title: Weighted Poincar\'e inequalities, concentration inequalities and tail bounds related to the Stein kernels in dimension one

abstract: We investigate links between the so-called Stein's density approach in dimension one and some functional and concentration inequalities. We show that measures having a finite first moment and a density with connected support satisfy a weighted Poincar\'e inequality with the weight being the Stein kernel, that indeed exists and is unique in this case. Furthermore, we prove weighted log-Sobolev and asymmetric Brascamp-Lieb type inequalities related to Stein kernels. We also show that existence of a uniformly bounded Stein kernel is sufficient to ensure a positive Cheeger isoperimetric constant. Then we derive new concentration inequalities. In particular, we prove generalized Mills' type inequalities when a Stein kernel is uniformly bounded and sub-gamma concentration for Lipschitz functions of a variable with a sub-linear Stein kernel. When some exponential moments are finite, a general concentration inequality is then expressed in terms of Legendre-Fenchel transform of the Laplace transform of the Stein kernel. Along the way, we prove a general lemma for bounding the Laplace transform of a random variable, that should be useful in many other contexts when deriving concentration inequalities. Finally, we provide density and tail formulas as well as tail bounds, generalizing previous results that where obtained in the context of Malliavin calculus.


title: Modeling and Testing Implementations of Protocols with Complex Messages

abstract: This paper presents a new language called APSL for formally describing protocols to facilitate automated testing. Many real world communication protocols exchange messages whose structures are not trivial, e.g. they may consist of multiple and nested fields, some could be optional, and some may have values that depend on other fields. To properly test implementations of such a protocol, it is not sufficient to only explore different orders of sending and receiving messages. We also need to investigate if the implementation indeed produces correctly formatted messages, and if it responds correctly when it receives different variations of every message type. APSL's main contribution is its sublanguage that is expressive enough to describe complex message formats, both text-based and binary. As an example, this paper also presents a case study where APSL is used to model and test a subset of Courier IMAP email server.


title: Deep Learning For Computer Vision Tasks: A review

abstract: Deep learning has recently become one of the most popular sub-fields of machine learning owing to its distributed data representation with multiple levels of abstraction. A diverse range of deep learning algorithms are being employed to solve conventional artificial intelligence problems. This paper gives an overview of some of the most widely used deep learning algorithms applied in the field of computer vision. It first inspects the various approaches of deep learning algorithms, followed by a description of their applications in image classification, object identification, image extraction and semantic segmentation in the presence of noise. The paper concludes with the discussion of the future scope and challenges for construction and training of deep neural networks.


title: A synopsis of comparative metrics for classifications

abstract: Phylogeny is the study of the relations between biological entities. From it, the need to compare tree-like graphs has risen and several metrics were established and researched, but since there is no definitive way to compare them, its discussion is still open nowadays. All of them emphasize different features of the structures and, of course, the efficiency of these computations also varies. The work in this article is mainly expositive (a lifting from a collection of papers and articles) with special care in its presentation (trying to mathematically formalize what was not presented that way previously) and filling (with original work) where information was not available (or at least, to our knowledge) given the frame we set to fit these metrics, which was to state their discriminative power and time complexity. The Robinson Foulds, Robinson Foulds Length, Quartet, Triplet, Triplet Length, Geodesic metrics are approached with greater detail (stating also some of its problems in formulation and discussing its intricacies) but the reader can also expect that less used (but not necessarily less important or less promising) metrics will be covered, which are Maximum Aggreement Subtree, Align, Cophenetic Correlation Coeficcient, Node, Similarity Based on Probability, Hybridization Number and Subtree Prune and Regraft. Finally, some challenges that sprouted from making this synopsys are presented as a possible subject of study and research.


title: Energy distributions of an ion in a radiofrequency trap immersed in a buffer gas under the influence of additional external forces

abstract: An ion held in a radiofrequency trap interacting with a uniform buffer gas of neutral atoms develops a steady-state energy distribution characterised by a power-law tail at high energies instead of the exponential decay characteristic of thermal equilibrium. We have previously shown that the Tsallis statistics frequently used as an empirical model for this distribution is a good approximation when the ion is heated due to a combination of micromotion interruption and exchange of kinetic energy with the buffer gas [I. Rouse and S. Willitsch, Phys. Rev. Lett. 118, 143401 (2017)]. Here, we extend our treatment to include the heating due to additional motion of the ion caused by external forces, including the "excess micromotion" induced by uniform electric fields and rf phase offsets. We show that this also leads to a Tsallis distribution with a potentially different power-law exponent from that observed in the absence of this additional forced motion, with the difference increasing as the ratio of the mass of the neutral atoms to that of the ion decreases. Our results indicate that unless the excess micromotion is minimised to a very high degree, then even a system with very light neutrals and a heavy ion does not exhibit a thermal distribution.


title: Universally starlike and Pick functions

abstract: Denote by $\mathcal{P}_{\log}$ the set of all non-constant Pick functions $f$ whose logarithmic derivatives $f^{\, \prime}/f$ also belong to the Pick class. Let $\mathcal{U}(\Lambda)$ be the family of functions $z\cdot f(z)$, where $f \in\mathcal{P}_{\log}$ and $f$ is holomorphic on $\Lambda:=\mathbb{C}\setminus [1, +\infty)$. Important examples of functions in $\mathcal{U}(\Lambda)$ are the classical polylogarithms $Li_\alpha(z)$ $:=$ $\sum_{k=1}^{\infty} z^k / k^\alpha$ for $\alpha \geq 0$. In this paper we prove that every $\varphi \in \mathcal{U}(\Lambda)$ is universally starlike, i.e., $\varphi$ maps every circular domain in $\Lambda$ containing the origin one-to-one onto a starlike domain. Furthermore, we show that every non-constant function $f \in \mathcal{P}_{\log}$ belongs to the Hardy space $H_p$ on the upper half-plane for some constant $p=p(f) > 1$, unless $f$ is proportional to some function $(a-z)^{-\theta}$ with $a \in \mathbb{R}$ and $0 < \theta \leq 1$. Finally we derive a necessary and sufficient condition on a real-valued function $v$ for which there exists $f \in \mathcal{P}_{\log}$ such that $v (x) = \lim_{\varepsilon \to 0} \mathrm{Im} f (x + i \varepsilon)$ for almost all $x \in \mathbb{R}$.


title: Cooperative Energy Efficient Power Allocation Algorithm for downlink massive MIMO

abstract: In this paper power allocation in a cellular network, which transmitter uses massive multiple inputs multiple outputs (MIMO) system was studied. As circuit power consumption is increased by the number of antenna in transmitter and users, thus, to analyze the performance of the network, energy efficiency objective function with considering circuit power consumption was selected. An energy efficiency optimization problem under both maximum transmit power and quality of service (QoS) constraints was considered. To solve this problem under cooperation between users and their base station (BS), energy efficient power allocation algorithm was proposed. In numerical result convergence of the algorithm was shown, also the appropriate number of transmit antenna and users were obtained. Finally, pilot contamination effect was evaluated, where it showed energy efficiency fell down dramatically.


title: Offline Object Extraction from Dynamic Occupancy Grid Map Sequences

abstract: A dynamic occupancy grid map (DOGMa) allows a fast, robust, and complete environment representation for automated vehicles. Dynamic objects in a DOGMa, however, are commonly represented as independent cells while modeled objects with shape and pose are favorable. The evaluation of algorithms for object extraction or the training and validation of learning algorithms rely on labeled ground truth data. Manually annotating objects in a DOGMa to obtain ground truth data is a time consuming and expensive process. Additionally the quality of labeled data depend strongly on the variation of filtered input data. The presented work introduces an automatic labeling process, where a full sequence is used to extract the best possible object pose and shape in terms of temporal consistency. A two direction temporal search is executed to trace single objects over a sequence, where the best estimate of its extent and pose is refined in every time step. Furthermore, the presented algorithm only uses statistical constraints of the cell clusters for the object extraction instead of fixed heuristic parameters. Experimental results show a well-performing automatic labeling algorithm with real sensor data even at challenging scenarios.


title: A vector bundle version of the Monge-Ampere equation

abstract: We introduce a vector bundle version of the complex Monge-Ampere equation motivated by a desire to study stability conditions involving higher Chern forms. We then restrict ourselves to complex surfaces, provide a moment map interpretation of it, and define a positivity condition (MA positivity) which is necessary for the infinite-dimensional symplectic form to be Kahler. On rank-2 bundles on compact complex surfaces, we prove two consequences of the existence of a "positively curved" solution to this equation - Stability (involving the second Chern character) and a Kobayashi-Lubke-Bogomolov-Miyaoka-Yau type inequality. Finally, we prove a Kobayashi-Hitchin correspondence for a dimensional reduction of the aforementioned equation.


title: Greedy Algorithms and Kolmogorov Widths in Banach Spaces

abstract: Let $X$ be a Banach space and $\mathcal{K}$ be a compact subset in $X$. We consider a greedy algorithm for finding an $n$-dimensional subspace $V_n\subset X$ which can be used to approximate the elements of $\mathcal{K}$. We are interested in how well the space $V_n$ approximates the elements of $\mathcal{K}$. For this purpose we compare the performance of greedy algorithm measured by $\sigma_n(\mathcal{K})_X:=\text{dist}(\mathcal{K},V_n)_X$ with the Kolmogorov width $d_n(\mathcal{K})_X$ which is the best possible error one can achieve when approximating $\mathcal{K}$ by $n$-dimensional subspaces. Various results in this direction have been given, e.g., in Binev et al. (SIAM J. Math. Anal. (2011)), DeVore et al. (Constr. Approx. (2013)) and Wojtaszczyk (J. Math. Anal. Appl. (2015)). The purpose of the present paper is to continue this line. We shall show that there exists a constant $C>0$ such that $$ \sigma_n(\mathcal{K})_X\leq C n^{-s+\mu}\big(\log(n+2)\big)^{\min(s,1/2)}, \quad \ n\geq 1\,, $$ if Kolmogorov widths $d_n(\mathcal{K})_X$ decay as $n^{-s}$ and the Banach-Mazur distance between an arbitrary $n$-dimensional subspace $V_n \subset X$ and $\ell_2^n$ satisfies $d(V_n,\ell_2^n)\leq C_1 n^\mu$. In particular, when some additional information about the set $\mathcal{K}$ is given then there is no logarithmic factor in this estimate.


title: Computing quasiconformal folds

abstract: We propose a novel way of computing surface folding maps via solving a linear PDE. This framework is a generalization to the existing quasiconformal methods and allows manipulation of the geometry of folding. Moreover, the crucial quantity that characterizes the geometry occurs as the coefficient of the equation, namely the Beltrami coefficient. This allows us to solve an inverse problem of parametrizing the folded surface given only partial data but with known folding topology. Various interesting applications such as fold sculpting on 3D models and self-occlusion reasoning are demonstrated to show the effectiveness of our method.


title: Magnetic defects in an unbalanced mixture of two Bose-Einstein condensates

abstract: When the spectrum of magnetic excitations of a quantum mixture is much softer than the density spectrum, the system becomes effectively incompressible and can host magnetic defects. These are characterized by the presence of a topological defect in one of the two species and by a local modification of the density in the second one, the total density being practically unaffected. For miscible mixtures interacting with equal intraspecies coupling constants the width of these magnetic defects is fixed by the difference between the intraspecies and interspecies coupling constants and becomes larger and larger as one approaches the demixing transition. When the density of the filling component decreases, the incompressibility condition breaks down and we predict the existence of a critical filling, below which all the atoms of the minority component remain bound in the core of the topological defect. Applications to the sodium case both in uniform and harmonically trapped configurations are considered and a protocol to produce experimentally these defects is discussed. The case of binary mixtures interacting with unequal intraspecies forces and experiencing buoyancy is also addressed.


title: Completeness of Cyclic Proofs for Symbolic Heaps

abstract: Separation logic is successful for software verification in both theory and practice. Decision procedure for symbolic heaps is one of the key issues. This paper proposes a cyclic proof system for symbolic heaps with general form of inductive definitions, and shows its soundness and completeness. The decision procedure for entailments of symbolic heaps with inductive definitions is also given. Decidability for entailments of symbolic heaps with inductive definitions is an important question. Completeness of cyclic proof systems is also an important question. The results of this paper answer both questions. The decision procedure is feasible since it is nondeterministic double-exponential time complexity.


title: Measurement of exceptional motion in VR video contents for VR sickness assessment using deep convolutional autoencoder

abstract: This paper proposes a new objective metric of exceptional motion in VR video contents for VR sickness assessment. In VR environment, VR sickness can be caused by several factors which are mismatched motion, field of view, motion parallax, viewing angle, etc. Similar to motion sickness, VR sickness can induce a lot of physical symptoms such as general discomfort, headache, stomach awareness, nausea, vomiting, fatigue, and disorientation. To address the viewing safety issues in virtual environment, it is of great importance to develop an objective VR sickness assessment method that predicts and analyses the degree of VR sickness induced by the VR content. The proposed method takes into account motion information that is one of the most important factors in determining the overall degree of VR sickness. In this paper, we detect the exceptional motion that is likely to induce VR sickness. Spatio-temporal features of the exceptional motion in the VR video content are encoded using a convolutional autoencoder. For objectively assessing the VR sickness, the level of exceptional motion in VR video content is measured by using the convolutional autoencoder as well. The effectiveness of the proposed method has been successfully evaluated by subjective assessment experiment using simulator sickness questionnaires (SSQ) in VR environment.


title: Local solutions for the Boltzmann equation

abstract: We study local existence for the Boltzmann equation near a global Maxwellian.


title: Artin-Mazur-Milne duality for fppf cohomology

abstract: We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in \'etale cohomology. We also prove some finiteness and vanishing statements.


title: A Test for Multivariate Location Parameter in Elliptical Model based on Forward Search Method

abstract: In this article, we develop a test for multivariate location parameter in elliptical model based on the forward search estimator for a specified scatter matrix. Here, we study the asymptotic power of the test under contiguous alternatives based on the asymptotic distribution of the test statistics under such alternatives. Moreover, the performances of the test have been carried out for different simulated data and real data, and compared the performances with more classical ones.


title: VR IQA NET: Deep Virtual Reality Image Quality Assessment using Adversarial Learning

abstract: In this paper, we propose a novel virtual reality image quality assessment (VR IQA) with adversarial learning for omnidirectional images. To take into account the characteristics of the omnidirectional image, we devise deep networks including novel quality score predictor and human perception guider. The proposed quality score predictor automatically predicts the quality score of distorted image using the latent spatial and position feature. The proposed human perception guider criticizes the predicted quality score of the predictor with the human perceptual score using adversarial learning. For evaluation, we conducted extensive subjective experiments with omnidirectional image dataset. Experimental results show that the proposed VR IQA metric outperforms the 2-D IQA and the state-of-the-arts VR IQA.


title: Saturation in regular, exotic and random pore networks

abstract: Porcolation simulations were carried out on various networks; both regular and irregular. The saturation curve was obtained for cubic networks, localized and completely random 3D networks and networks based on exotic graphs like Sierpi\'nski triangle and carpet. For the random graph generation a modification of the cell list algorithm was introduced, which is capable of generating local random graphs efficiently. With the help of this graph generation method, the effect of locality was investigated, and it was proven to be an important property of random networks from the viewpoint of liquid propagation. The saturation curves of local random networks with different prescribed pore degree distributions were also obtained.


title: Crystallographic bulk-edge correspondence: glide reflections and twisted mod 2 indices

abstract: A 2-torsion topological phase exists for Hamiltonians symmetric under the wallpaper group with glide reflection symmetry, corresponding to the unorientable cycle of the Klein bottle fundamental domain. We prove a mod 2 twisted Toeplitz index theorem, which implies a bulk-edge correspondence between this bulk phase and the exotic topological zero modes that it acquires along a boundary glide axis.

categories: math-ph cond-mat.mes-hall hep-th math.KT math.MP


title: The Evolution of User-Selected Passwords: A Quantitative Analysis of Publicly Available Datasets

abstract: The aim of this work is to study the evolution of password selection among users. We investigate whether users follow best practices when selecting passwords and identify areas in need of improvement. Four distinct publicly-available password datasets (obtained from security breaches, compiled by security experts, and designated as containing bad passwords) are employed. As these datasets were released at different times, the distributions characterizing these datasets suggest a chronological evolution of password selection. A similarity metric, Levenshtein distance, is used to compare passwords in each dataset against the designated benchmark of bad passwords. The resulting distributions of normalized similarity scores are then compared to each other. The comparison reveals an overall increase in the mean of the similarity distributions corresponding to more recent datasets, implying a shift away from the use of bad passwords. This conclusion is corroborated by the passwords' clustering behavior. An encoding capturing best practices maps passwords to a high dimensional space over which a $k$-means clustering (with silhouette coefficient) analysis is performed. Cluster comparison and character frequency analysis indicates an improvement in password selection over time with respect to certain features (length, mixing character types), yet certain discouraged practices (name inclusion, selection bias) still persist.


title: Production of Mo and Ru isotopes in neutrino-driven winds: implications for solar abundances and presolar grains

abstract: The origin of the so-called $p$-isotopes $^{92,94}\mathrm{Mo}$ and $^{96,98}\mathrm{Ru}$ in the solar system remains a mystery as several astrophysical scenarios fail to account for them. In addition, data on presolar silicon carbide grains of type X (SiC X) exhibit peculiar Mo patterns, especially for $^{95,97}\mathrm{Mo}$. We examine production of Mo and Ru isotopes in neutrino-driven winds associated with core-collapse supernovae (CCSNe) over a wide range of conditions. We find that proton-rich winds can make dominant contributions to the solar abundance of $^{98}\mathrm{Ru}$, significant contributions to those of $^{96}$Ru ($\lesssim 40\%$) and $^{92}$Mo ($\lesssim 27\%$), and relatively minor contributions to that of $^{94}$Mo ($\lesssim 14\%$). In contrast, neutron-rich winds make negligible contributions to the solar abundances of $^{92,94}$Mo and cannot produce $^{96,98}$Ru. However, we show that some neutron-rich winds can account for the peculiar Mo patterns in SiC X grains. Our results can be generalized if conditions similar to those studied here are also obtained for other types of ejecta in either CCSNe or neutron star mergers.


title: New insights into the formation of the blue main sequence in NGC 1850

abstract: Recent discoveries of bimodal main sequences (MSs) associated with young clusters (with ages $\lesssim 1$ Gyr) in the Magellanic Clouds have drawn a lot of attention. One of the prevailing formation scenarios attributes these split MSs to a bimodal distribution in stellar rotation rates, with most stars belonging to a rapidly rotating population. In this scenario, only a small fraction of stars populating a secondary blue sequence are slowly or non-rotating stars. Here, we focus on the blue MS in the young cluster NGC 1850. We compare the cumulative number fraction of the observed blue-MS stars to that of the high-mass-ratio binary systems at different radii. The cumulative distributions of both populations exhibit a clear anti-correlation, characterized by a highly significant Pearson coefficient of $-0.97$. Our observations are consistent with the possibility that blue-MS stars are low-mass-ratio binaries, and therefore their dynamical disruption is still ongoing. High-mass-ratio binaries, on the other hand, are more centrally concentrated.


title: Some Applications of $S$-restricted Set Partitions

abstract: In the paper, the authors present several new relations and applications for the combinatorial sequence that counts the possible partitions of a finite set with the restriction that the size of each block is contained in a given set. One of the main applications is in the study of lonesum matrices.


title: Electron-plasmon and electron-phonon satellites in the angle-resolved photoelectron spectra of n-doped anatase TiO2

abstract: We develop a first-principles approach based on many-body perturbation theory to investigate the effects of the interaction between electrons and carrier plasmons on the electronic properties of highly-doped semiconductors and oxides. Through the evaluation of the electron self-energy, we account simultaneously for electron-plasmon and electron-phonon coupling in theoretical calculations of angle-resolved photoemission spectra, electron linewidths, and relaxation times. We apply this methodology to electron-doped anatase TiO2 as an illustrative example. The simulated spectra indicate that electron-plasmon coupling in TiO2 underpins the formation of satellites at energies comparable to those of polaronic spectral features. At variance with phonons, however, the energy of plasmons and their spectral fingerprints depends strongly on the carrier concentration, revealing a complex interplay between plasmon and phonon satellites. The electron-plasmon interaction accounts for approximately 40% of the total electron-boson interaction strength and it is key to improve the agreement with measured quasiparticle spectra.


title: Complex pattern formation driven by the interaction of stable fronts in a competition-diffusion system

abstract: The ecological invasion problem in which a weaker exotic species invades an ecosystem inhabited by two strongly competing native species is modelled by a three-species competition-diffusion system. It is known that for a certain range of parameter values competitor-mediated coexistence occurs and complex spatio-temporal patterns are observed in two spatial dimensions. In this paper we uncover the mechanism which generates such patterns. Under some assumptions on the parameters the three-species competition-diffusion system admits two planarly stable travelling waves. Their interaction in one spatial dimension may result in either reflection or merging into a single homoclinic wave, depending on the strength of the invading species. This transition can be understood by studying the bifurcation structure of the homoclinic wave. In particular, a time-periodic homoclinic wave (breathing wave) is born from a Hopf bifurcation and its unstable branch acts as a separator between the reflection and merging regimes. The same transition occurs in two spatial dimensions: the stable regular spiral associated to the homoclinic wave destabilizes, giving rise first to an oscillating breathing spiral and then breaking up producing a dynamic pattern characterized by many spiral cores. We find that these complex patterns are generated by the interaction of two planarly stable travelling waves, in contrast with many other well known cases of pattern formation where planar instability plays a central role.


title: Theoretical Hyperfine Structures of $^{19}$F~I and $^{17}$O~I

abstract: Multiconfiguration Hartree-Fock (MCHF) and multiconfiguration Dirac-Hartree-Fock (MCDHF) calculations are performed for the $2p^{5}~^{2}P^{o}$, $2p^4(^{3}P)3s~^{4}P$, $2p^4(^{3}P)3s~^{2}P$ and $2p^4(^{3}P)3p~^{4}S^o$ states of $^{19}$F~I to determine their hyperfine constants. Several computing strategies are considered to investigate electron correlation and relativistic effects. High-order correlation contributions are included in MCHF calculations based on single and double multireference (SD-MR) expansions. The largest components of the single reference MCHF wave functions are selected to define the MR sets. In this scheme, relativistic corrections are evaluated in the Breit-Pauli approximation. A similar strategy is used for the calculation of MCDHF relativistic wave functions and hyperfine parameters. While correlation and relativistic corrections are found to be rather small for the ground state, we highlight large relativistic effects on the hyperfine constant $A_{3/2}$ of $2p^4(^{3}P)3p~^{4}S^o$ and, to a lesser extent, on $A_{1/2}$ of $2p^4(^{3}P)3s~^{4}P$. As expected for such a light system, electron correlation effects dominate over relativity in the calculation of the hyperfine interaction of all other levels considered. We also revisit the hyperfine constants of $2p^3(^{4}S)3s~^{5}S^{o}$ and $2p^3(^{4}S)3p~^{5}P$ in $^{17}$O using similar strategies. The results are found to be in excellent agreement with experiment.


title: A PTAS for Euclidean TSP with Hyperplane Neighborhoods

abstract: In the Traveling Salesperson Problem with Neighborhoods (TSPN), we are given a collection of geometric regions in some space. The goal is to output a tour of minimum length that visits at least one point in each region. Even in the Euclidean plane, TSPN is known to be APX-hard, which gives rise to studying more tractable special cases of the problem. In this paper, we focus on the fundamental special case of regions that are hyperplanes in the $d$-dimensional Euclidean space. This case contrasts the much-better understood case of so-called fat regions. While for $d=2$ an exact algorithm with running time $O(n^5)$ is known, settling the exact approximability of the problem for $d=3$ has been repeatedly posed as an open question. To date, only an approximation algorithm with guarantee exponential in $d$ is known, and NP-hardness remains open. For arbitrary fixed $d$, we develop a Polynomial Time Approximation Scheme (PTAS) that works for both the tour and path version of the problem. Our algorithm is based on approximating the convex hull of the optimal tour by a convex polytope of bounded complexity. Such polytopes are represented as solutions of a sophisticated LP formulation, which we combine with the enumeration of crucial properties of the tour. As the approximation guarantee approaches $1$, our scheme adjusts the complexity of the considered polytopes accordingly. In the analysis of our approximation scheme, we show that our search space includes a sufficiently good approximation of the optimum. To do so, we develop a novel and general sparsification technique to transform an arbitrary convex polytope into one with a constant number of vertices and, in turn, into one of bounded complexity in the above sense. Hereby, we maintain important properties of the polytope.


title: A Variable Neighborhood Search for Flying Sidekick Traveling Salesman Problem

abstract: The efficiency and dynamism of Unmanned Aerial Vehicles (UAVs), or drones, present substantial application opportunities in several industries in the last years. Notably, the logistic companies gave close attention to these vehicles envisioning reduce delivery time and operational cost. A variant of the Traveling Salesman Problem (TSP) called Flying Sidekick Traveling Salesman Problem (FSTSP) was introduced involving drone-assisted parcel delivery. The drone is launched from the truck, proceeds to deliver parcels to a customer and then is recovered by the truck in a third location. While the drone travels through a trip, the truck delivers parcels to other customers as long as the drone has enough battery to hover waiting for the truck. This work proposes a hybrid heuristic that the initial solution is created from the optimal TSP solution reached by a TSP solver. Next, an implementation of the General Variable Neighborhood Search is used to obtain the delivery routes of truck and drone. Computational experiments show the potential of the algorithm to improve the delivery time significantly. Furthermore, we provide a new set of instances based on well-known TSPLIB instances.


title: Projection image-to-image translation in hybrid X-ray/MR imaging

abstract: The potential benefit of hybrid X-ray and MR imaging in the interventional environment is large due to the combination of fast imaging with high contrast variety. However, a vast amount of existing image enhancement methods requires the image information of both modalities to be present in the same domain. To unlock this potential, we present a solution to image-to-image translation from MR projections to corresponding X-ray projection images. The approach is based on a state-of-the-art image generator network that is modified to fit the specific application. Furthermore, we propose the inclusion of a gradient map in the loss function to allow the network to emphasize high-frequency details in image generation. Our approach is capable of creating X-ray projection images with natural appearance. Additionally, our extensions show clear improvement compared to the baseline method.


title: Determining the parameters of a random telegraph signal by digital low pass filtering

abstract: We propose a method to determine the switching rates of a random telegraph signal. We apply digital low pass filtering with varying bandwidth to the raw signal, evaluate the cumulants of the resulting distributions and compare them with the analytical prediction. This technique is useful in case of a slow detector with response time comparable to the time interval between the switching events. We demonstrate the efficiency of this method by analyzing random telegraph signals generated by individual charge tunneling events in metallic single-electron transistors.


title: The curse of dimensionality for numerical integration on general domains

abstract: We prove the curse of dimensionality in the worst case setting for multivariate numerical integration for various classes of smooth functions. We prove the results when the domains are isotropic convex bodies with small diameter satisfying a universal $\psi_2$-estimate. In particular, we obtain the result for the important class of volume-normalized $\ell_p^d$-balls in the complete regime $2\leq p \leq \infty$. This extends a result in a work of A. Hinrichs, E. Novak, M. Ullrich and H. Wo\'zniakowski [J. Complexity, 30(2), 117-143, 2014] to the whole range $2\leq p \leq \infty$, and additionally provides a unified approach. The key ingredient in the proof is a deep result from the theory of Asymptotic Geometric Analysis, the thin-shell volume concentration estimate due to O. Gu\'edon and E. Milman. The connection of Asymptotic Geometric Analysis and Information-based Complexity revealed in this work seems promising and is of independent interest.


title: Interdependent Gibbs Samplers

abstract: Gibbs sampling, as a model learning method, is known to produce the most accurate results available in a variety of domains, and is a de facto standard in these domains. Yet, it is also well known that Gibbs random walks usually have bottlenecks, sometimes termed "local maxima", and thus samplers often return suboptimal solutions. In this paper we introduce a variation of the Gibbs sampler which yields high likelihood solutions significantly more often than the regular Gibbs sampler. Specifically, we show that combining multiple samplers, with certain dependence (coupling) between them, results in higher likelihood solutions. This side-steps the well known issue of identifiability, which has been the obstacle to combining samplers in previous work. We evaluate the approach on a Latent Dirichlet Allocation model, and also on HMM's, where precise computation of likelihoods and comparisons to the standard EM algorithm are possible.


title: Making Deep Heatmaps Robust to Partial Occlusions for 3D Object Pose Estimation

abstract: We introduce a novel method for robust and accurate 3D object pose estimation from a single color image under large occlusions. Following recent approaches, we first predict the 2D projections of 3D points related to the target object and then compute the 3D pose from these correspondences using a geometric method. Unfortunately, as the results of our experiments show, predicting these 2D projections using a regular CNN or a Convolutional Pose Machine is highly sensitive to partial occlusions, even when these methods are trained with partially occluded examples. Our solution is to predict heatmaps from multiple small patches independently and to accumulate the results to obtain accurate and robust predictions. Training subsequently becomes challenging because patches with similar appearances but different positions on the object correspond to different heatmaps. However, we provide a simple yet effective solution to deal with such ambiguities. We show that our approach outperforms existing methods on two challenging datasets: The Occluded LineMOD dataset and the YCB-Video dataset, both exhibiting cluttered scenes with highly occluded objects. Project website: https://www.tugraz.at/institute/icg/research/team-lepetit/research-projects/robust-object-pose-estimation/


title: Chaos in charged AdS black hole extended phase space

abstract: We present an analytical study of chaos in a charged black hole in the extended phase space in the context of the Poincare-Melnikov theory. Along with some background on dynamical systems, we compute the relevant Melnikov function and find its zeros. Then we analyse these zeros either to identify the temporal chaos in the spinodal region, or to observe spatial chaos in the small - large black hole equilibrium configuration. As a byproduct, we derive a constraint on the Black hole charge required to produce chaotic behaviour. To the best of our knowledge, this is the first endeavour to understand the correlation between chaos and phase picture in black holes.


title: Discriminative Learning-based Smartphone Indoor Localization

abstract: Due to the growing area of ubiquitous mobile applications, indoor localization of smartphones has become an interesting research topic. Most of the current indoor localization systems rely on intensive site survey to achieve high accuracy. In this work, we propose an efficient smartphones indoor localization system that is able to reduce the site survey effort while still achieving high localization accuracy. Our system is built by fusing a variety of signals, such as Wi-Fi received signal strength indicator, magnetic field and floor plan information in an enhanced particle filter. To achieve high and stable performance, we first apply discriminative learning models to integrate Wi-Fi and magnetic field readings to achieve room level landmark detection. Further, we integrate landmark detection, range-based localization models, with a graph-based discretized system state representation. Because our approach requires only discriminative learning-based room level landmark detections, the time spent in the learning phase is significantly reduced compared to traditional Wi-Fi fingerprinting or landmark-based approaches. We conduct experimental studies to evaluate our system in an office-like indoor environment. Experiment results show that our system can significantly reduce the learning efforts, and the localization method can achieve performance with an average localization error of 1.55 meters.


title: Neutron reflectometry with the Multi-Blade 10B-based detector

abstract: The Multi-Blade is a Boron-10-based gaseous detector developed for neutron reflectometry instruments at the European Spallation Source (ESS) in Sweden. The main challenges for neutron reflectometry detectors are the instantaneous counting rate and spatial resolution. The Multi-Blade has been tested on the CRISP reflectometer at the ISIS neutron and muon source in UK. A campaign of scientific measurements has been performed to study the Multi-Blade response in real instrumental conditions. The results of these tests are discussed in this manuscript.


title: Motor Unit Number Estimation via Sequential Monte Carlo

abstract: A change in the number of motor units that operate a particular muscle is an important indicator for the progress of a neuromuscular disease and the efficacy of a therapy. Inference for realistic statistical models of the typical data produced when testing muscle function is difficult, and estimating the number of motor units from these data is an ongoing statistical challenge. We consider a set of models for the data, each with a different number of working motor units, and present a novel method for Bayesian inference, based on sequential Monte Carlo, which provides estimates of the marginal likelihood and, hence, a posterior probability for each model. To implement this approach in practice we require sequential Monte Carlo methods that have excellent computational and Monte Carlo properties. We achieve this by leveraging the conditional independence structure in the model, where given knowledge of which motor units fired as a result of a particular stimulus, parameters that specify the size of each unit's response are independent of the parameters defining the probability that a unit will respond at all. The scalability of our methodology relies on the natural conjugacy structure that we create for the former and an enforced, approximate conjugate structure for the latter. A simulation study demonstrates the accuracy of our method, and inferences are consistent across two different datasets arising from the same rat tibial muscle.


title: Global solvability and stability to a nutrient-taxis model with porous medium slow diffusion

abstract: In this paper, we study a nutrient-taxis model with porous medium slow diffusion \begin{align*} \left\{ \begin{aligned} &u_t=\Delta u^m-\chi\nabla\cdot(u\nabla v)+\xi uv-\rho u, \\ &v_t-\Delta v=-vu+\mu v(1-v), \end{aligned}\right. \end{align*} in a bounded domain $\Omega\subset \mathbb R^3$ with zero-flux boundary condition. It is shown that for any $m>\frac{11}4-\sqrt 3$,the problem admits a global weak solution for any large initial datum. We divide the study into three cases,(i) $\xi\mu=0, \rho\ge 0$; (ii) $\xi\mu\rho>0$; (iii) $\xi\mu>0$, $\rho=0$. In particular, for Case (i) and Case (ii), the global solutions are uniformly bounded. Subsequently, the large time behavior of these global bounded solutions are also discussed. At last, we also extend the results to the coupled chemotaxis-Stokes system. Important progresses for chemotaxis-Stokes system with $m>\frac 76$, $m>\frac 87$ and $m>\frac 98$ have been carried out respectively by \cite{W2, TW2, W3}, but leave a gap for $1<m\le \frac98$. Our result for chemotaxis-Stokes system supplements part of the gap $(\frac{11}4-\sqrt 3, \frac 98)$. Here $\frac{11}4-\sqrt 3\approx 1.018$.


title: A Comparative Evaluation of Log-Based Process Performance Analysis Techniques

abstract: Process mining has gained traction over the past decade and an impressive body of research has resulted in the introduction of a variety of process mining approaches measuring process performance. Having this set of techniques available, organizations might find it difficult to identify which approach is best suited considering context, performance indicator, and data availability. In light of this challenge, this paper aims at introducing a framework for categorizing and selecting performance analysis approaches based on existing research. We start from a systematic literature review for identifying the existing works discussing how to measure process performance based on information retrieved from event logs. Then, the proposed framework is built starting from the information retrieved from these studies taking into consideration different aspects of performance analysis.


title: J-PLUS: A wide-field multi-band study of the M15 globular cluster. Evidence of multiple stellar populations in the RGB

abstract: The Javalambre Photometric Local Universe Survey (J-PLUS) provides wide field-of-view images in 12 narrow, intermediate and broad-band filters optimized for stellar photometry. Here we have applied J-PLUS data for the first time for the study of Galactic GCs using science verification data obtained for the very metal-poor GC M\,15. Our J-PLUS data provide low-resolution spectral energy distributions covering the near-UV to the near-IR, allowing us to search for MPs based on pseudo-spectral fitting diagnostics. J-PLUS CMDs are found to be particularly useful to search for splits in the sequences formed by the upper red giant branch (RGB) and asymptotic giant branch (AGB) stars. We interpret these split sequences as evidence for the presence of MPs. This demonstrates that the J-PLUS survey will have sufficient spatial coverage and spectral resolution to perform a large statistical study of GCs through multi-band photometry in the coming years.


title: Incremental Predictive Process Monitoring: How to Deal with the Variability of Real Environments

abstract: A characteristic of existing predictive process monitoring techniques is to first construct a predictive model based on past process executions, and then use it to predict the future of new ongoing cases, without the possibility of updating it with new cases when they complete their execution. This can make predictive process monitoring too rigid to deal with the variability of processes working in real environments that continuously evolve and/or exhibit new variant behaviors over time. As a solution to this problem, we propose the use of algorithms that allow the incremental construction of the predictive model. These incremental learning algorithms update the model whenever new cases become available so that the predictive model evolves over time to fit the current circumstances. The algorithms have been implemented using different case encoding strategies and evaluated on a number of real and synthetic datasets. The results provide a first evidence of the potential of incremental learning strategies for predicting process monitoring in real environments, and of the impact of different case encoding strategies in this setting.


title: Quantum mechanical settings inspired by RLC circuits

abstract: In some recent papers several authors used electronic circuits to construct loss and gain systems. This is particularly interesting in the context of PT-quantum mechanics, where this kind of effects appears quite naturally. The electronic circuits used so far are simple, but not so much. Surprisingly enough, a rather trivial RLC circuit can be analyzed with the same perspective and it produces a variety of unexpected results, both from a mathematical and on a physical side. In this paper we show that this circuit produces two biorthogonal bases associated to the Liouville matrix $\Lc$ used in the treatment of its dynamics, with a biorthogonality which is linked to the value of the parameters of the circuit. We also show that the related loss RLC circuit is naturally associated to a gain RLC circuit, and that the relation between the two is rather naturally encoded in $\Lc$. We propose a pseudo-fermionic analysis of the circuit, and we introduce the notion of $m$-equivalence between electronic circuits.


title: Admissibility Conjecture and Kazhdan's Property (T) for quantum groups

abstract: We give a partial solution to a long-standing open problem in the theory of quantum groups, namely we prove that all finite-dimensional representations of a wide class of locally compact quantum groups factor through matrix quantum groups (Admissibility Conjecture for quantum group representations). We use this to study Kazhdan's Property (T) for quantum groups with non-trivial scaling group, strengthening and generalising some of the earlier results obtained by Fima, Kyed and So{\l}tan, Chen and Ng, Daws, Skalski and Viselter, and Brannan and Kerr. Our main results are: (i) All finite-dimensional unitary representations of locally compact quantum groups which are either unimodular or arise through a special bicrossed product construction are admissible. (ii) A generalisation of a theorem of Wang which characterises Property (T) in terms of isolation of finite-dimensional irreducible representations in the spectrum. (iii) A very short proof of the fact that quantum groups with Property (T) are unimodular. (iv) A generalisation of a quantum version of a theorem of Bekka--Valette proven earlier for quantum groups with trivial scaling group, which characterises Property (T) in terms of non-existence of almost invariant vectors for weakly mixing representations. (v) A generalisation of a quantum version of Kerr-Pichot theorem, proven earlier for quantum groups with trivial scaling group, which characterises Property (T) in terms of denseness properties of weakly mixing representations.


title: Jerk current: A novel bulk photovoltaic effect

abstract: We investigate a physical divergence of the third order polarization susceptibility representing a photoinduced current in biased crystalline insulators. This current grows quadratically with illumination time in the absence of momentum relaxation and saturation; we refer to it as the \textit{jerk current}. Two contributions to the current are identified. The first is a hydrodynamic acceleration of optically injected carriers by the static electric field, and the second is the change in the carrier injection rate in the presence of the static electric field. The jerk current can have a component perpendicular to the static field, a feature not captured by standard hydrodynamic descriptions of carriers in electric fields. We suggest an experiment to detect the jerk current and some of its interesting features.


title: Achieving Heisenberg-limited metrology with spin cat states via interaction-based readout

abstract: Spin cat states are promising candidates for quantum-enhanced measurement. Here, we analytically show that the ultimate measurement precision of spin cat states approaches the Heisenberg limit, where the uncertainty is inversely proportional to the total particle number. In order to fully exploit their metrological ability, we propose to use the interaction-based readout for implementing phase estimation. It is demonstrated that the interaction-based readout enables spin cat states to saturate their ultimate precision bounds. The interaction-based readout comprises a one-axis twisting, two $\frac{\pi}{2}$ pulses, and a population measurement, which can be realized via current experimental techniques. Compared with the twisting echo scheme on spin squeezed states, our scheme with spin cat states is more robust against detection noise. Our scheme may pave an experimentally feasible way to achieve Heisenberg-limited metrology with non-Gaussian entangled states.


title: A Variant of The Corners Theorem

abstract: The Corners Theorem states that for any $\alpha > 0$ there exists an $N_0$ such that for any abelian group $G$ with $|G| = N \geq N_0$ and any subset $A \subset G \times G$ with $|A| \ge \alpha N^2$ we can find a corner in $A$ , i.e. there exist $x, y, d \in G$ with $d \neq 0$ such that $(x, y), (x+d, y), (x, y+d) \in A$. Here, we consider a stronger version: given such a group $G$ and subset $A$, for each $d \in G$ we define $S_d = \{(x, y) \in G \times G : (x, y), (x+d, y), (x, y+d) \in A \}$ . So $|S_d|$ is the number of corners of size $d$. Is it true that, provided $N$ is sufficiently large, there must exist some $d \in G \setminus \{0\}$ such that $|S_d|> (\alpha^3 - \epsilon ) N^2$ ? We answer this question in the negative. We do this by relating the problem to a much simpler-looking problem about random variables. Then, using this link, we show that there are sets $A$ with $|S_d| < C\alpha^{3.13} N^2$ for all $d \neq 0$, where $C$ is an absolute constant. We also show that in the special case where $G = \mathbb{F}_2^n$, one can always find a $d$ with $|S_d|> (\alpha^4 - \epsilon ) N^2$.


title: Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems

abstract: We present a simulation-based approach for generating barrier certificate functions for safety verification of cyber-physical systems (CPS) that contain neural network-based controllers. A linear programming solver is utilized to find a candidate generator function from a set of simulation traces obtained by randomly selecting initial states for the CPS model. A level set of the generator function is then selected to act as a barrier certificate for the system, meaning it demonstrates that no unsafe system states are reachable from a given set of initial states. The barrier certificate properties are verified with an SMT solver. This approach is demonstrated on a case study in which a Dubins car model of an autonomous vehicle is controlled by a neural network to follow a given path.


title: Liquid-liquid displacement in slippery liquid-infused membranes (SLIMs)

abstract: Liquid-infused membranes inspired by slippery liquid-infused porous surfaces (SLIPS) have been recently introduced to membrane technology. The gating mechanism of these membranes is expected to give rise to anti-fouling properties and multi-phase transport capabilities. However, the long-term retention of the infusion liquid has not yet been explored. To address this issue, we investigate the retention of the infusion liquid in slippery liquid-infused membranes (SLIMs) via liquid-liquid displacement porometry (LLDP) experiments combined with microscopic observations of the displacement mechanism. Our results reveal that pores will be opened corresponding to the capillary pressure, leading to preferential flow pathways for water transport. The LLDP results further suggest the presence of liquid-lined pores in SLIM. This hypothesis is analyzed theoretically using an interfacial pore flow model. We find that the displacement patterns correspond to capillary fingering in immiscible displacement in porous media. The related physics regarding two-phase flow in porous media is used to confirm the permeation mechanism appearing in SLIMs. In order to experimentally observe liquid-liquid displacement, a microfluidic chip mimicking a porous medium is designed and a highly ramified structure with trapped infusion liquid is observed. The remaining infusion liquid is retained as pools, bridges and thin films around pillar structures in the chip, which further confirms liquid-lining. Fractal dimension analysis, along with evaluation of the fluid (non-wetting phase) saturation, further confirms that the fractal patterns correspond to capillary fingering, which is consistent with an invasion percolation with trapping (IPT) model.


title: Monte Carlo pathwise sensitivities for barrier options

abstract: The Monte Carlo pathwise sensitivities approach is well established for smooth payoff functions. In this work, we present a new Monte Carlo algorithm that is able to calculate the pathwise sensitivities for discontinuous payoff functions. Our main tool is to combine the one-step survival idea of Glasserman and Staum with the stable differentiation approach of Alm, Harrach, Harrach and Keller. As an application we use the derived results for a two-dimensional calibration of a CoCo-Bond, which we model with different types of discretely monitored barrier options.


title: Every planar graph without adjacent cycles of length at most $8$ is $3$-choosable

abstract: DP-coloring as a generalization of list coloring was introduced by Dvo\v{r}\'{a}k and Postle in 2017, who proved that every planar graph without cycles from 4 to 8 is 3-choosable, which was conjectured by Borodin {\it et al.} in 2007. In this paper, we prove that every planar graph without adjacent cycles of length at most $8$ is $3$-choosable, which extends this result of Dvo\v{r}\'{a}k and Postle.


title: Edge-based LBP description of surfaces with colorimetric patterns

abstract: In this paper we target the problem of the retrieval of colour patterns over surfaces. We generalize to surface tessellations the well known Local Binary Pattern (LBP) descriptor for images. The key concept of the LBP is to code the variability of the colour values around each pixel. In the case of a surface tessellation we adopt rings around vertices that are obtained with a sphere-mesh intersection driven by the edges of the mesh; for this reason, we name our method edgeLBP. Experimental results are provided to show how this description performs well for pattern retrieval, also when patterns come from degraded and corrupted archaeological fragments.


title: A global existence result for a semilinear wave equation with scale-invariant damping and mass in even space dimension

abstract: In the present article a semilinear wave equation with scale-invariant damping and mass is considered. The global (in time) existence of radial symmetric solutions in even spatial dimension $n$ is proved using weighted $L^\infty-L^\infty$ estimates, under the assumption that the multiplicative constants, which appear in the coefficients of damping and of mass terms, fulfill an interplay condition which yields somehow a "wave-like" model. In particular, combining this existence result with a recently proved blow-up result, a suitable shift of Strauss exponent is proved to be the critical exponent for the considered model. Moreover, the still open part of a conjecture done by D'Abbicco - Lucente - Reissig is proved to be true in the massless case.


title: Experimental similarity assessment for a collection of fragmented artifacts

abstract: In the Visual Heritage domain, search engines are expected to support archaeologists and curators to address cross-correlation and searching across multiple collections. Archaeological excavations return artifacts that often are damaged with parts that are fragmented in more pieces or totally missing. The notion of similarity among fragments cannot simply base on the geometric shape but style, material, color, decorations, etc. are all important factors that concur to this concept. In this work, we discuss to which extent the existing techniques for 3D similarity matching are able to approach fragment similarity, what is missing and what is necessary to be further developed.


title: Emergent Communication through Negotiation

abstract: Multi-agent reinforcement learning offers a way to study how communication could emerge in communities of agents needing to solve specific problems. In this paper, we study the emergence of communication in the negotiation environment, a semi-cooperative model of agent interaction. We introduce two communication protocols -- one grounded in the semantics of the game, and one which is \textit{a priori} ungrounded and is a form of cheap talk. We show that self-interested agents can use the pre-grounded communication channel to negotiate fairly, but are unable to effectively use the ungrounded channel. However, prosocial agents do learn to use cheap talk to find an optimal negotiating strategy, suggesting that cooperation is necessary for language to emerge. We also study communication behaviour in a setting where one agent interacts with agents in a community with different levels of prosociality and show how agent identifiability can aid negotiation.


title: Compressive Regularized Discriminant Analysis of High-Dimensional Data with Applications to Microarray Studies

abstract: We propose a modification of linear discriminant analysis, referred to as compressive regularized discriminant analysis (CRDA), for analysis of high-dimensional datasets. CRDA is specially designed for feature elimination purpose and can be used as gene selection method in microarray studies. CRDA lends ideas from $\ell_{q,1}$ norm minimization algorithms in the multiple measurement vectors (MMV) model and utilizes joint-sparsity promoting hard thresholding for feature elimination. A regularization of the sample covariance matrix is also needed as we consider the challenging scenario where the number of features (variables) is comparable or exceeding the sample size of the training dataset. A simulation study and four examples of real-life microarray datasets evaluate the performances of CRDA based classifiers. Overall, the proposed method gives fewer misclassification errors than its competitors, while at the same time achieving accurate feature selection.


title: Hypergeometric representations and differential-difference relations for some kernels appearing in mathematical physics

abstract: The paper is an investigation of the analytic properties of a new class of special functions that appear in the kernels of a class of integral operators underlying the dynamics of matter relaxation processes in attractive fields. These functions, recently introduced by the second author, generate the kernels of the principal parts of these operators and play an important role in understanding their spectral characteristics. We reveal the representations of these functions in terms of the Gauss and Clausen hypergeometric functions and present differential-difference and differential equations they satisfy. Mathematically, the results include calculation of certain trigonometric double integrals and derivation of their other properties. Furthermore, they represent a potentially useful tool in matter relaxation in an external field, the study of nanoelectronic electrolyte-based systems and dynamics of charge carriers in media with obstacles.


title: HEP Software Foundation Community White Paper Working Group - Data Analysis and Interpretation

abstract: At the heart of experimental high energy physics (HEP) is the development of facilities and instrumentation that provide sensitivity to new phenomena. Our understanding of nature at its most fundamental level is advanced through the analysis and interpretation of data from sophisticated detectors in HEP experiments. The goal of data analysis systems is to realize the maximum possible scientific potential of the data within the constraints of computing and human resources in the least time. To achieve this goal, future analysis systems should empower physicists to access the data with a high level of interactivity, reproducibility and throughput capability. As part of the HEP Software Foundation Community White Paper process, a working group on Data Analysis and Interpretation was formed to assess the challenges and opportunities in HEP data analysis and develop a roadmap for activities in this area over the next decade. In this report, the key findings and recommendations of the Data Analysis and Interpretation Working Group are presented.


title: Emergence of Linguistic Communication from Referential Games with Symbolic and Pixel Input

abstract: The ability of algorithms to evolve or learn (compositional) communication protocols has traditionally been studied in the language evolution literature through the use of emergent communication tasks. Here we scale up this research by using contemporary deep learning methods and by training reinforcement-learning neural network agents on referential communication games. We extend previous work, in which agents were trained in symbolic environments, by developing agents which are able to learn from raw pixel data, a more challenging and realistic input representation. We find that the degree of structure found in the input data affects the nature of the emerged protocols, and thereby corroborate the hypothesis that structured compositional language is most likely to emerge when agents perceive the world as being structured.


title: GUE-chGUE Transition preserving Chirality at finite Matrix Size

abstract: We study a random matrix model which interpolates between the the singular values of the Gaussian unitary ensemble (GUE) and of the chiral Gaussian unitary ensemble (chGUE). This symmetry crossover is analogous to the one realized by the Hermitian Wilson Dirac operator in lattice QCD, but our model preserves chiral symmetry of chGUE exactly unlike the Hermitian Wilson Dirac operator. This difference has a crucial impact on the statistics of near-zero eigenvalues, though both singular value statistics build a Pfaffian point process. The model in the present work is motivated by the Dirac operator of 3d staggered fermions, 3d QCD at finite isospin chemical potential, and 4d QCD at high temperature. We calculate the spectral statistics at finite matrix dimension. For this purpose we derive the joint probability density of the singular values, the skew-orthogonal polynomials and the kernels for the $k$-point correlation functions. The skew-orthogonal polynomials are constructed by the method of mixing bi-orthogonal and skew-orthogonal polynomials, which is an alternative approach to Mehta's one. We compare our results with Monte Carlo simulations and study the limits to chGUE and GUE. As a side product we also calculate a new type of a unitary group integral.


title: Dynamic Sensor Subset Selection for Centralized Tracking a Time-Varying Stochastic Process

abstract: Motivated by the Internet-of-things and sensor networks for cyberphysical systems, the problem of dynamic sensor activation for the centralized tracking of an i.i.d. time-varying process is examined. The tradeoff is between energy efficiency, which decreases with the number of active sensors, and fidelity, which increases with the number of active sensors. The problem of minimizing the time-averaged mean-squared error over infinite horizon is examined under the constraint of the mean number of active sensors. The proposed methods artfully combine Gibbs sampling and stochastic approximation for learning, in order to create a high performance, energy efficient tracking mechanisms with active sensor selection. Centralized tracking of i.i.d. process with known distribution as well as an unknown parametric distribution are considered. For an i.i.d. process with known distribution, convergence to the global optimal solution with high probability is proved. The main challenge of the i.i.d. case is that the process has a distribution parameterized by a known or unknown parameter which must be learned; one key theoretical result proves that the proposed algorithm for tracking an i.i.d. process with unknown parametric distribution converges to local optima. Numerical results show the efficacy of the proposed algorithms and also suggest that global optimality is in fact achieved in some cases.


title: Analysis on the Nonlinear Dynamics of Deep Neural Networks: Topological Entropy and Chaos

abstract: The theoretical explanation for deep neural network (DNN) is still an open problem. In this paper DNN is considered as a discrete-time dynamical system due to its layered structure. The complexity provided by the nonlinearity in the dynamics is analyzed in terms of topological entropy and chaos characterized by Lyapunov exponents. The properties revealed for the dynamics of DNN are applied to analyze the corresponding capabilities of classification and generalization.


title: Stability results on vertex Tur\'an problems in Kneser graphs

abstract: The vertex set of the Kneser graph $K(n,k)$ is $V = \binom{[n]}{k}$ and two vertices are adjacent if the corresponding sets are disjoint. For any graph $F$, the largest size of a vertex set $U \subseteq V$ such that $K(n,k)[U]$ is $F$-free, was recently determined by Alishahi and Taherkhani, whenever $n$ is large enough compared to $k$ and $F$. In this paper, we determine the second largest size of a vertex set $W \subseteq V$ such that $K(n,k)[W]$ is $F$-free, in the case when $F$ is an even cycle or a complete multi-partite graph. In the latter case, we actually give a more general theorem depending on the chromatic number of $F$. These results generalize the celebrated Erd\H os-Ko-Rado theorem and Hilton-Milner theorem.


title: Use of the geometric mean as a statistic for the scale of the coupled Gaussian distributions

abstract: The geometric mean is shown to be an appropriate statistic for the scale of a heavy-tailed coupled Gaussian distribution or equivalently the Student's t distribution. The coupled Gaussian is a member of a family of distributions parameterized by the nonlinear statistical coupling which is the reciprocal of the degree of freedom and is proportional to fluctuations in the inverse scale of the Gaussian. Existing estimators of the scale of the coupled Gaussian have relied on estimates of the full distribution, and they suffer from problems related to outliers in heavy-tailed distributions. In this paper, the scale of a coupled Gaussian is proven to be equal to the product of the generalized mean and the square root of the coupling. From our numerical computations of the scales of coupled Gaussians using the generalized mean of random samples, it is indicated that only samples from a Cauchy distribution (with coupling parameter one) form an unbiased estimate with diminishing variance for large samples. Nevertheless, we also prove that the scale is a function of the geometric mean, the coupling term and a harmonic number. Numerical experiments show that this estimator is unbiased with diminishing variance for large samples for a broad range of coupling values.

categories: stat.ME cond-mat.stat-mech math.ST stat.TH


title: Robust Beamforming Design for Ultra-dense User-Centric C-RAN in the Face of Realistic Pilot Contamination and Limited Feedback

abstract: The ultra-dense cloud radio access network (UD-CRAN), in which remote radio heads (RRHs) are densely deployed in the network, is considered. To reduce the channel estimation overhead, we focus on the design of robust transmit beamforming for user-centric frequency division duplex (FDD) UD-CRANs, where only limited channel state information (CSI) is available. Specifically, we conceive a complete procedure for acquiring the CSI that includes two key steps: channel estimation and channel quantization. The phase ambiguity (PA) is also quantized for coherent cooperative transmission. Based on the imperfect CSI, we aim for optimizing the beamforming vectors in order to minimize the total transmit power subject to users' rate requirements and fronthaul capacity constraints. We derive the closed-form expression of the achievable data rate by exploiting the statistical properties of multiple uncertain terms. Then, we propose a low-complexity iterative algorithm for solving this problem based on the successive convex approximation technique. In each iteration, the Lagrange dual decomposition method is employed for obtaining the optimal beamforming vector. Furthermore, a pair of low-complexity user selection algorithms are provided to guarantee the feasibility of the problem. Simulation results confirm the accuracy of our robust algorithm in terms of meeting the rate requirements. Finally, our simulation results verify that using a single bit for quantizing the PA is capable of achieving good performance.


title: Exact results for a $Z_3$ clock-type model and some close relatives

abstract: In this paper, we generalized the Peschel-Emery line of the interacting transverse field Ising model to a model based on three-state clock variables. Along this line, the model has exactly degenerate ground states, which can be written as product states. In addition, we present operators that transform these ground states into each other. Such operators are also presented for the Peschel-Emery case. We numerically show that the generalized model is gapped. Furthermore, we study the spin-S generalization of interacting Ising model and show that along a Peschel-Emery line they also have degenerate ground states. We discuss some examples of excited states that can be obtained exactly for all these models.


title: Multi-layer statistical gravity on the boundary

abstract: Starting from an important research path, we consider gravity as a collective phenomenon governed by statistical mechanics. While previous studies have focussed on the thermodynamic heat flow across a 2d-horizon as perceived by a single, accelerated observer, we evaluate here the number of microscopic states arising for multiple observers perceiving multiple horizons within foliations of the boundary of a space-time region. This yields a temperature-independent, Boltzmann-type "entropy" which is equivalent to the boundary action and which we call m-entropy. According to its statistical interpretation, the m-entropy distribution as a function of the gravitational field is maximum when Einstein's Field Equations hold. However, if the number of "atoms of space" is small, Einstein's Equations do not hold and no sharp geometry can be defined. On the other hand, the transition probability of microstates can be computed and can be interpreted as processes of a (alternative) model of quantum space-time.


title: A Generation Method of Filtering Rules of Twitter Via Smartphone Based Participatory Sensing System for Tourist by Interactive GHSOM and C4.5

abstract: Mobile Phone based Participatory Sensing (MPPS) systems involve a community of users sending personal information and participating in autonomous sensing through their mobile phones. Sensed data can also be obtained from external sensing devices that can communicate wirelessly to the phone. We have developed the tourist subjective data collection system with Android smartphone. The tourist can tweet the information of sightseeing spots by using the application. The application can determine the filtering rules to provide the important information of sightseeing spot. The rules are automatically generated by Interactive Growing Hierarchical SOM and C4.5.


title: An Estimation of Favorite Value in Emotion Generating Calculation by Fuzzy Petri Net

abstract: Emotion Generating Calculations (EGC) method based on the Emotion Eliciting Condition Theory can decide whether an event arouses pleasure or not and quantify the degree under the event. An event in the form of Case Frame representation is classified into 12 types of calculations. However, the weak point in EGC is Favorite Value (FV) as the personal taste information. In order to improve the problem, this paper challenges to establish a learning method to learn speaker's taste information from dialog. Especially, the learning method employs Fuzzy Petri Net to find an appropriate FV to a word which has the unknown FV. This paper discusses the effective learning method to improve a weak point of EGC when a missing value of FV exists.


title: Assimilation of fire perimeters and satellite detections by minimization of the residual in a fire spread model

abstract: Assimilation of data into a fire-spread model is formulated as an optimization problem. The level set equation, which relates the fire arrival time and the rate of spread, is allowed to be satisfied only approximately, and we minimize a norm of the residual. Previous methods based on modification of the fire arrival time either used an additive correction to the fire arrival time, or made a position correction. Unlike additive fire arrival time corrections, the new method respects the dependence of the fire rate of spread on diurnal changes of fuel moisture and on weather changes, and, unlike position corrections, it respects the dependence of the fire spread on fuels and terrain as well. The method is used to interpolate the fire arrival time between two perimeters by imposing the fire arrival time at the perimeters as constraints.


title: Spectral density and calculation of free energy

abstract: For planar and cubic Ising models, we examined two ways of approximation of a spectral density that describes a degeneracy of energy levels. We approximated the exponent of the spectral density by polynomials of even degrees and using our n-vicinity method [8, 9]. According our analysis, the free energy is almost independent of the chosen method of approximation. However, its derivatives depend on the way of approximation and substantially differ in the neighborhood of a critical temperature. Our calculations showed that when approximating by polynomials the system necessarily finds itself in the ground state at a finite temperature, which is forbidden. The n-vicinity method approximates the derivatives of the free energy correctly for the cubic Ising model and it works poorly in the planar case.


title: Security Properties of Gait for Mobile Device Pairing

abstract: Gait has been proposed as a feature for mobile device pairing across arbitrary positions on the human body. Results indicate that the correlation in gait-based features across different body locations is sufficient to establish secure device pairing. However, the population size of the studies is limited and powerful attackers with e.g. capability of video recording are not considered. We present a concise discussion of security properties of gait-based pairing schemes including a discussion of popular quantization schemes, classification and analysis of attack surfaces, discussion of statistical properties of generated sequences, an entropy analysis, as well as possible threats and security weaknesses of gait-based pairing systems. For one of the schemes considered, we present modifications to fix an identified security flaw. As a general limitation of gait-based authentication or pairing systems, we further demonstrate that an adversary with video support can create key sequences that are sufficiently close to on-body generated acceleration sequences to breach gait-based security mechanisms.


title: Superconvergence of the Gradient Approximation for Weak Galerkin Finite Element Methods on Nonuniform Rectangular Partitions

abstract: This article presents a superconvergence for the gradient approximation of the second order elliptic equation discretized by the weak Galerkin finite element methods on nonuniform rectangular partitions. The result shows a convergence of ${\cal O}(h^r)$, $1.5\leq r \leq 2$, for the numerical gradient obtained from the lowest order weak Galerkin element consisting of piecewise linear and constant functions. For this numerical scheme, the optimal order of error estimate is ${\cal O}(h)$ for the gradient approximation. The superconvergence reveals a superior performance of the weak Galerkin finite element methods. Some computational results are included to numerically validate the superconvergence theory.


title: Attention U-Net: Learning Where to Look for the Pancreas

abstract: We propose a novel attention gate (AG) model for medical imaging that automatically learns to focus on target structures of varying shapes and sizes. Models trained with AGs implicitly learn to suppress irrelevant regions in an input image while highlighting salient features useful for a specific task. This enables us to eliminate the necessity of using explicit external tissue/organ localisation modules of cascaded convolutional neural networks (CNNs). AGs can be easily integrated into standard CNN architectures such as the U-Net model with minimal computational overhead while increasing the model sensitivity and prediction accuracy. The proposed Attention U-Net architecture is evaluated on two large CT abdominal datasets for multi-class image segmentation. Experimental results show that AGs consistently improve the prediction performance of U-Net across different datasets and training sizes while preserving computational efficiency. The code for the proposed architecture is publicly available.


title: Non-convex optimization for 3D point source localization using a rotating point spread function

abstract: We consider the high-resolution imaging problem of 3D point source image recovery from 2D data using a method based on point spread function (PSF) engineering. The method involves a new technique, recently proposed by S.~Prasad, based on the use of a rotating PSF with a single lobe to obtain depth from defocus. The amount of rotation of the PSF encodes the depth position of the point source. Applications include high-resolution single molecule localization microscopy as well as the problem addressed in this paper on localization of space debris using a space-based telescope. The localization problem is discretized on a cubical lattice where the coordinates of nonzero entries represent the 3D locations and the values of these entries the fluxes of the point sources. Finding the locations and fluxes of the point sources is a large-scale sparse 3D inverse problem. A new nonconvex regularization method with a data-fitting term based on Kullback-Leibler (KL) divergence is proposed for 3D localization for the Poisson noise model. In addition, we propose a new scheme of estimation of the source fluxes from the KL data-fitting term. Numerical experiments illustrate the efficiency and stability of the algorithms that are trained on a random subset of image data before being applied to other images. Our 3D localization algorithms can be readily applied to other kinds of depth-encoding PSFs as well.


title: Weighted simplicial complex reconstruction from mobile laser scanning using sensor topology

abstract: We propose a new method for the reconstruction of simplicial complexes (combining points, edges and triangles) from 3D point clouds from Mobile Laser Scanning (MLS). Our method uses the inherent topology of the MLS sensor to define a spatial adjacency relationship between points. We then investigate each possible connexion between adjacent points, weighted according to its distance to the sensor, and filter them by searching collinear structures in the scene, or structures perpendicular to the laser beams. Next, we create and filter triangles for each triplet of self-connected edges and according to their local planarity. We compare our results to an unweighted simplicial complex reconstruction.


title: The exact dynamical Chern Simons metric for a spinning black hole possesses a fourth constant of motion: A Dynamical-Systems-Based Conjecture

abstract: The recent gravitational wave observations by the LIGO/Virgo collaboration have allowed the first tests of General Relativity in the extreme gravity regime, when comparable-mass black holes and neutron stars collide. Future space-based detectors, such as the Laser Interferometer Space Antenna, will allow tests of Einstein's theory with gravitational waves emitted when a small black hole falls into a supermassive one in an extreme mass-ratio inspiral. One particular test that is tailor-made for such inspirals is the search for chaos in extreme gravity. We here study whether chaos is present in the motion of test particles around spinning black holes of parity-violating modified gravity, focusing in particular on dynamical Chern-Simons gravity. We develop a resummation strategy that restores all spin terms in the General Relativity limit, while retaining up to fifth-order-in-spin terms in the dynamical Chern-Simons corrections to the Kerr metric. We then calculate Poincar\'e surfaces of section and rotation numbers of a wide family of geodesics of this resummed metric. We find no evidence for geodesic chaos, with at most deformations of the resonant torii that shrink as terms of higher-order in spin are included in the dynamical Chern-Simons corrections to the Kerr metric. Our numerical findings suggest that the geodesics of the as-of-yet unknown exact solution for spinning black holes in this theory may be integrable, and that there may thus exist a fourth integral of motion associated with this exact solution. The studies presented here begin to lay the foundations for chaotic tests of General Relativity with the observation of extreme mass ratio inspirals with the Laser Interferometer Space Antenna.


title: Sentiment Transfer using Seq2Seq Adversarial Autoencoders

abstract: Expressing in language is subjective. Everyone has a different style of reading and writing, apparently it all boil downs to the way their mind understands things (in a specific format). Language style transfer is a way to preserve the meaning of a text and change the way it is expressed. Progress in language style transfer is lagged behind other domains, such as computer vision, mainly because of the lack of parallel data, use cases, and reliable evaluation metrics. In response to the challenge of lacking parallel data, we explore learning style transfer from non-parallel data. We propose a model combining seq2seq, autoencoders, and adversarial loss to achieve this goal. The key idea behind the proposed models is to learn separate content representations and style representations using adversarial networks. Considering the problem of evaluating style transfer tasks, we frame the problem as sentiment transfer and evaluation using a sentiment classifier to calculate how many sentiments was the model able to transfer. We report our results on several kinds of models.


title: Classification of Klein Four Symmetric Pairs of Holomorphic Type for $\mathrm{E}_{7(-25)}$

abstract: The author classifies Klein four symmetric pairs of holomorphic type for the non-compact Lie group of Hermitian type $\mathrm{E}_{7(-25)}$, and applies the results to branching rules.


title: Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions

abstract: The recent line of study on randomness extractors has been a great success, resulting in exciting new techniques, new connections, and breakthroughs to long standing open problems in several seemingly different topics. These include seeded non-malleable extractors, privacy amplification protocols with an active adversary, independent source extractors (and explicit Ramsey graphs), and non-malleable codes in the split state model. However, in all cases there is still a gap to optimum and the motivation to close this gap remains strong. In this paper, we introduce a set of new techniques to further push the frontier in the above questions. Our techniques lead to improvements in all of the above questions, and in several cases partially optimal constructions. Specifically, we obtain: 1. A seeded non-malleable extractor with seed length $O(log n)+log^{1+o(1)}(1/\epsilon) and entropy requirement O(log log n+log(1/\epsilon)), where the entropy requirement is asymptotically optimal by a recent result of Gur and Shinkar \cite{GurS17}; 2. A two-round privacy amplification protocol with optimal entropy loss for security parameter up to \Omega(k), which solves the privacy amplification problem completely; 3. A two-source extractor for entropy O(\frac{log n log log n}{log log log n}), which also gives an explicit Ramsey graph on N vertices with no clique or independent set of size (log N)^{O(\frac{log log log N}{log log log log N})}; and 4. The first explicit non-malleable code in the 2-split state model with \emph{constant} rate, which has been a major goal in the study of non-malleable codes for quite some time. One small caveat is that the error of this code is only (an arbitrarily small) constant, but we can also achieve negligible error with rate \Omega(log log log n/log log n), which already improves the rate in \cite{Li17} exponentially.


title: Property (T) discrete quantum groups and subfactors with triangle presentations

abstract: Kazhdan's property (T) has been studied for several discrete group-like structures, including standard invariants of Jones' subfactors and discrete quantum groups. We prove a Zuk-type spectral gap criterion for property (T) in this setting. This allows us to construct a family of property (T) discrete quantum groups, as well as subfactor standard invariants, given by generators and a triangle presentation. These are the first examples of property (T) discrete quantum groups that are not directly related to a discrete group with property (T).


title: A closer look at the Barboza-Alcaniz equation of state parametrization

abstract: The Barboza-Alcaniz EoS parametrization has been considered and its $q$-parametrization has been investigated in search for a thermodynamic motivation. For this, we have studied the validity of the generalized second law of thermodynamics as well as the thermodynamic equilibrium considering the cosmological apparent horizon as the boundary. Also, an expression for the particle creation rate has been obtained in terms of $q$ assuming an adiabatic particle creation scenario and its behavior has been studied for consistency during various phases of evolution of the Universe as suggested by various thermodynamic arguments found in the literature.


title: Planets around the evolved stars 24 Booties and $\gamma$ Libra: A 30d-period planet and a double giant-planet system in possible 7:3 MMR

abstract: We report the detection of planets around two evolved giant stars from radial velocity measurements at Okayama Astrophysical observatory. 24 Boo (G3IV) has a mass of $0.99\,M_{\odot}$, a radius of $10.64\,R_{\odot}$, and a metallicity of ${\rm [Fe/H]}=-0.77$. The star hosts one planet with a minimum mass of $0.91\,M_{\rm Jup}$ and an orbital period of $30.35{\rm d}$. The planet has one of the shortest orbital periods among those ever found around evolved stars by radial-veloocity methods. The stellar radial velocities show additional periodicity with $150{\rm d}$, which are probably attributed to stellar activity. The star is one of the lowest-metallicity stars orbited by planets currently known. $\gamma$ Lib (K0III) is also a metal-poor giant with a mass of $1.47\,M_{\odot}$, a radius of $11.1\,R_{\odot}$, and ${\rm [Fe/H]}=-0.30$. The star hosts two planets with minimum masses of $1.02M_{\rm Jup}$ and $4.58\,M_{\rm Jup}$, and periods of $415{\rm d}$ and $964{\rm d}$, respectively. The star has the second lowest metallicity among the giant stars hosting more than two planets. Dynamical stability analysis for the $\gamma$ Lib system sets a minimum orbital inclination angle to be about $70^{\circ}$ and suggests that the planets are in 7:3 mean-motion resonance, though the current best-fitted orbits to the radial-velocity data are not totally regular.


title: Decrease of Fisher information and the information geometry of evolution equations for quantum mechanical probability amplitudes

abstract: The relevance of the concept of Fisher information is increasing in both statistical physics and quantum computing. From a statistical mechanical standpoint, the application of Fisher information in the kinetic theory of gases is characterized by its decrease along the solutions of the Boltzmann equation for Maxwellian molecules in the two-dimensional case. From a quantum mechanical standpoint, the output state in Grover's quantum search algorithm follows a geodesic path obtained from the Fubini-Study metric on the manifold of Hilbert-space rays. Additionally, Grover's algorithm is specified by constant Fisher information. In this paper, we present an information geometric characterization of the oscillatory or monotonic behavior of statistically parametrized squared probability amplitudes originating from special functional forms of the Fisher information function: constant, exponential decay, and power-law decay. Furthermore, for each case, we compute both the computational speed and the availability loss of the corresponding physical processes by exploiting a convenient Riemannian geometrization of useful thermodynamical concepts. Finally, we briefly comment on the possibility of using the proposed methods of information geometry to help identify a suitable trade-off between speed and thermodynamic efficiency in quantum search algorithms.