title: 3DPeople: Modeling the Geometry of Dressed Humans

abstract: Recent advances in 3D human shape estimation build upon parametric representations that model very well the shape of the naked body, but are not appropriate to represent the clothing geometry. In this paper, we present an approach to model dressed humans and predict their geometry from single images. We contribute in three fundamental aspects of the problem, namely, a new dataset, a novel shape parameterization algorithm and an end-to-end deep generative network for predicting shape. First, we present 3DPeople, a large-scale synthetic dataset with 2.5 Million photo-realistic images of 80 subjects performing 70 activities and wearing diverse outfits. Besides providing textured 3D meshes for clothes and body, we annotate the dataset with segmentation masks, skeletons, depth, normal maps and optical flow. All this together makes 3DPeople suitable for a plethora of tasks. We then represent the 3D shapes using 2D geometry images. To build these images we propose a novel spherical area-preserving parameterization algorithm based on the optimal mass transportation method. We show this approach to improve existing spherical maps which tend to shrink the elongated parts of the full body models such as the arms and legs, making the geometry images incomplete. Finally, we design a multi-resolution deep generative network that, given an input image of a dressed human, predicts his/her geometry image (and thus the clothed body shape) in an end-to-end manner. We obtain very promising results in jointly capturing body pose and clothing shape, both for synthetic validation and on the wild images.


title: One-dimensional guarded fragments

abstract: We call a first-order formula one-dimensional if its every maximal block of existential (universal) quantifiers leaves at most one variable free. We consider the one-dimensional restrictions of the guarded fragment, GF, and the tri-guarded fragment, TGF, the latter being a recent extension of GF in which quantification for subformulas with at most two free variables need not be guarded, and which thus may be seen as a unification of GF and the two-variable fragment, FO2. We denote the resulting formalisms, resp., GF1, and TGF1. We show that GF1 has an exponential model property and NExpTime-complete satisfiability problem (that is, it is easier than full GF). For TGF1 we show that it is decidable, has the finite model property, and its satisfiability problem is TwoExpTime-complete (NExpTime-complete in the absence of equality). All the above-mentioned results are obtained for signatures with no constants. We finally discuss the impact of their addition, observing that constants do not spoil the decidability but increase the complexity of the satisfiability problem.


title: Functional Isolation Forest

abstract: For the purpose of monitoring the behavior of complex infrastructures (e.g. aircrafts, transport or energy networks), high-rate sensors are deployed to capture multivariate data, generally unlabeled, in quasi continuous-time to detect quickly the occurrence of anomalies that may jeopardize the smooth operation of the system of interest. The statistical analysis of such massive data of functional nature raises many challenging methodological questions. The primary goal of this paper is to extend the popular Isolation Forest (IF) approach to Anomaly Detection, originally dedicated to finite dimensional observations, to functional data. The major difficulty lies in the wide variety of topological structures that may equip a space of functions and the great variety of patterns that may characterize abnormal curves. We address the issue of (randomly) splitting the functional space in a flexible manner in order to isolate progressively any trajectory from the others, a key ingredient to the efficiency of the algorithm. Beyond a detailed description of the algorithm, computational complexity and stability issues are investigated at length. From the scoring function measuring the degree of abnormality of an observation provided by the proposed variant of the IF algorithm, a Functional Statistical Depth function is defined and discussed as well as a multivariate functional extension. Numerical experiments provide strong empirical evidence of the accuracy of the extension proposed.


title: On distributional adjugate and derivative of the inverse

abstract: Let $\Omega\subset\er^3$ be a domain and let $f\colon\Omega\to\er^3$ be a bi-$BV$ homeomorphism. Very recently in \cite{HKL} it was shown that the distributional adjugate of $Df$ (and thus also of $Df^{-1}$) is a matrix-valued measure. In the present paper we show that the components of $\Adj Df$ are equal to components of $Df^{-1}(f(U))$ as measures and that the absolutely continuous part of the distributional adjugate $\Adj Df$ equals to the pointwise adjugate $\adj Df(x)$ a.e. We also show the equivalence of several approaches to the definition of the distributional adjugate.


title: The Optical to Mid-Infrared Extinction Law Based on the APOGEE, Gaia DR2, Pan-STARRS1, SDSS, APASS, 2MASS and WISE Surveys

abstract: A precise interstellar dust extinction law is critically important to interpret observations. There are two indicators of extinction: the color excess ratio (CER) and the relative extinction. Compared to the CER, the wavelength-dependent relative extinction is more challenging to be determined. In this work, we combine spectroscopic, astrometric, and photometric data to derive high-precision CERs and relative extinction from optical to mid-infrared (IR) bands. A group of 61,111 red clump (RC) stars are selected as tracers by stellar parameters from APOGEE survey. The multiband photometric data are collected from Gaia, APASS, SDSS, Pan-STARRS1, 2MASS, and WISE surveys. For the first time, we calibrate the curvature of CERs in determining CERs E(lambda-GRP)/E(GBP-GRP) from color excess--color excess diagrams. Through elaborate uncertainty analysis, we conclude that the precision of our CERs is significantly improved (sigma < 0.015). With parallaxes from Gaia DR2, we calculate the relative extinction A_GBP/A_GRP for 5051 RC stars. By combining the CERs with the A_GBP/A_GRP, the optical--mid-IR extinction A_lambda/A_GRP has been determined in a total of 21 bands. Given no bias toward any specific environment, our extinction law represents the average extinction law with the total-to-selective extinction ratio Rv=3.16+-0.15. Our observed extinction law supports an adjustment in parameters of the CCM Rv=3.1 curve, together with the near-IR power-law index alpha=2.07+-0.03. The relative extinction values of HST and JWST near-IR bandpasses are predicted in 2.5% precision. As the observed reddening/extinction tracks are curved, the curvature correction needs to be considered when applying extinction correction.


title: Higher random indestructibility of MAD families

abstract: We give a combinatorial characterization of when a maximal almost disjoint family of a weakly compact cardinal $\kappa$ is indestructible by the higher random forcing $\mathbb Q_\kappa$. We then use this characterisation to show that $\mathrm{add}(\mathbf{null}_\kappa) = \mathfrak b_\kappa = \mathfrak c_\kappa$ implies the existence $\mathbb Q_\kappa$-indestructible family. The results and proofs presented here are parallel to those for classical random forcing.


title: A Survey on Software-Defined VANETs: Benefits, Challenges, and Future Directions

abstract: The evolving of Fifth Generation (5G) networks isbecoming more readily available as a major driver of the growthof new applications and business models. Vehicular Ad hocNetworks (VANETs) and Software Defined Networking (SDN)represent the key enablers of 5G technology with the developmentof next generation intelligent vehicular networks and applica-tions. In recent years, researchers have focused on the integrationof SDN and VANET, and look at different topics related to thearchitecture, the benefits of software-defined VANET servicesand the new functionalities to adapt them. However, securityand robustness of the complete architecture is still questionableand have been largely negleted. Moreover, the deployment andintegration of novel entities and several architectural componentsdrive new security threats and vulnerabilities.In this paper, first we survey the state-of-the-art SDN basedVehicular ad-hoc Network (SDVN) architectures for their net-working infrastructure design, functionalities, benefits, and chal-lenges. Then we discuss these SDVN architectures against majorsecurity threats that violate the key security services such asavailability, confidentiality, authentication, and data integrity.We also propose different countermeasures to these threats.Finally, we discuss the lessons learned with the directions offuture research work towards provisioning stringent security andprivacy solutions in future SDVN architectures. To the best of ourknowledge, this is the first comprehensive work that presents sucha survey and analysis on SDVNs in the era of future generationnetworks (e.g., 5G, and Information centric networking) andapplications (e.g., intelligent transportation system, and IoT-enabled advertising in VANETs).


title: Moments of character sums to composite modulus

abstract: In this paper we consider the problem of estimating character sums to composite modulus and obtain some progress towards removing the cubefree restriction in the Burgess bound. Our approach is to estimate high order moments of character sums in terms of solutions to congruences with Kloosterman fractions and we deal with this problem by extending some techniques of Bourgain, Garaev, Konyagin and Shparlinski and Bourgain and Garaev from the setting of prime modulus to composite modulus. As an application of our result we improve an estimate of Norton.


title: A Concept-Value Network as a Brain Model

abstract: This paper suggests a statistical framework for describing the relations between the physical and conceptual entities of a brain-like model. Features and concept instances are put into context, where the paper suggests that features may be the electrical wiring, although chemical connections are also possible. With this idea, the actual length of the connection is important, because it is related to firing rates and neuron synchronization, but the signal type is less important. The paper then suggests that concepts are neuron groups that link feature sets and concept instances are determined by chemical signals from those groups. Therefore, features become the static horizontal framework of the neural system and concepts are vertically interconnected combinations of these. This would also suggest that features can be distributed entities and not concentrated to a single area.


title: Experimental Evaluation of Server Centric Passive Optical Network Based Data Centre Architecture

abstract: Passive optical networks (PON) technology has recently been proposed as a solution for scalability, energy efficiency, high capacity, low cost, flexibility and oversubscription issues in data centres. This paper experimentally demonstrates and discusses the implementation of a server centric PON based data centre architecture with high speed and reliability. The architecture is set up using a set of servers grouped into racks directly connected together and to the Optical Line Terminal (OLT) through gateway servers. The switching and routing functionalities have been embedded into servers using 4x10GE Xilinx NetFPGA. Flow continuity has been observed through live video streaming using IP cameras transmitting over up to 110 km optical connections through WDM nodes and the PON network.


title: TDM/WDM over AWGR Based Passive Optical Network Data Centre Architecture

abstract: Passive Optical Data Centre Networks have been developed due to the performance limitations in current data centres to provide high performance within data centre networks. An AWGR based passive optical network data centre architecture is evaluated using a TDM/WDM multiple access technique to provision the flow of traffic among the network efficiently. A Mixed Integer Linear Programming model is developed to optimise resource allocation in the architecture. Using WDM-TDM as a multiple access technique helps in solving issues such as oversubscription and congestion by allowing servers to make simultaneous transmissions of packets in different time slots. The results show that the provisioning / allocation of resource within the architecture is improved with improvements of up to 75% in resource utilisation.


title: The Fourth Moment of Derivatives of Dirichlet $L$-functions in Function Fields

abstract: We obtain the asymptotic main term of moments of arbitrary derivatives of $L$-functions in the function field setting. Specifically, the first, second, and mixed fourth moments. The average is taken over all non-trivial characters of a prime modulus $Q \in \mathbb{F}_q [t]$, and the asymptotic limit is as $\mathrm{deg} \, Q \longrightarrow \infty$. This extends the work of Tamam who obtained the asymptotic main term of low moments of $L$-functions, without derivatives, in the function field setting. It also expands on the work of Conrey, Rubinstein, and Snaith who cojectured, using random matrix theory, the asymptotic main term of any even moment of the derivative of the Riemann zeta-function in the number field setting.


title: Correlation-Based Community Detection

abstract: Mining community structures from the complex network is an important problem across a variety of fields. Many existing community detection methods detect communities through optimizing a community evaluation function. However, most of these functions even have high values on random graphs and may fail to detect small communities in the large-scale network (the so-called resolution limit problem). In this paper, we introduce two novel node-centric community evaluation functions by connecting correlation analysis with community detection. We will further show that the correlation analysis can provide a novel theoretical framework which unifies some existing evaluation functions in the context of a correlation-based optimization problem. In this framework, we can mitigate the resolution limit problem and eliminate the influence of random fluctuations by selecting the right correlation function. Furthermore, we introduce three key properties used in mining association rule into the context of community detection to help us choose the appropriate correlation function. Based on our introduced correlation functions, we propose a community detection algorithm called CBCD. Our proposed algorithm outperforms existing state-of-the-art algorithms on both synthetic benchmark networks and real-world networks.


title: Heuristic Modeling of Strong Coupling in Plasmonic Resonators

abstract: Strong coupling of plasmonic excitations and dipolar emitters, such as organic molecules, have been studied extensively in the last years. The questions whether strong coupling can be achieved with a single molecule only and how this is unambiguously proven are still under debate. A critical issue of plasmonic in contrast to photonic systems is additional excitonic line broadening, which is often neglected when modeling such systems. This has led to too optimistic design predictions or incorrect interpretation of ambiguous experimental data, for example in models relying on Maxwell solvers without self-consistent incorporation of line broadening effects. In this paper, we present a heuristic modeling approach for strongly coupled systems based on plasmonic nanoparticles and dipolar emitters that accounts for such broadening and elucidates on recent experiments with single emitters. We explicitly focus on a clear and intuitive classical description that utilizes well-established methods, easy to use within typical Maxwell solvers. The heuristic model (i) provides experimentally relevant numbers like emitter densities and spectra (ii) allows to discriminate systems, which can reach the strong coupling regime from those, which can not (iii) allows to identify optimization routes and (iv) nicely matches with experimental findings. In particular, we employ an approach related to quasi normal modes and extinction simulations where the excitonic system is represented by a frequency dependent permittivity. As examples, we investigate two configurations with many, but also single emitters, which have been studied in recent experiments.


title: Handover Management for mmWave Networks with Proactive Performance Prediction Using Camera Images and Deep Reinforcement Learning

abstract: For millimeter-wave networks, this paper presents a paradigm shift for leveraging time-consecutive camera images in handover decision problems. While making handover decisions, it is important to predict future long-term performance---e.g., the cumulative sum of time-varying data rates---proactively to avoid making myopic decisions. However, this study experimentally notices that a time-variation in the received powers is not necessarily informative for proactively predicting the rapid degradation of data rates caused by moving obstacles. To overcome this challenge, this study proposes a proactive framework wherein handover timings are optimized while obstacle-caused data rate degradations are predicted before the degradations occur. The key idea is to expand a state space to involve time consecutive camera images, which comprises informative features for predicting such data rate degradations. To overcome the difficulty in handling the large dimensionality of the expanded state space, we use a deep reinforcement learning for deciding the handover timings. The evaluations performed based on the experimentally obtained camera images and received powers demonstrate that the expanded state space facilitates (i) the prediction of obstacle-caused data rate degradations from 500 ms before the degradations occur and (ii) superior performance to a handover framework without the state space expansion


title: Green functions and Glauberman degree-divisibility

abstract: The Glauberman correspondence is a fundamental bijection in the character theory of finite groups. In 1994, Hartley and Turull established a degree-divisibility property for characters related by that correspondence, subject to a congruence condition which should hold for the Green functions of finite groups of Lie type, as defined by Deligne and Lusztig. Here, we present a general argument for completing the proof of that congruence condition. Consequently, the degree-divisibility property holds in complete generality.


title: A Randomized Coordinate Descent Method with Volume Sampling

abstract: We analyze the coordinate descent method with a new coordinate selection strategy, called volume sampling. This strategy prescribes selecting subsets of variables of certain size proportionally to the determinants of principal submatrices of the matrix, that bounds the curvature of the objective function. In the particular case, when the size of the subsets equals one, volume sampling coincides with the well-known strategy of sampling coordinates proportionally to their Lipschitz constants. For the coordinate descent with volume sampling, we establish the convergence rates both for convex and strongly convex problems. Our theoretical results show that, by increasing the size of the subsets, it is possible to accelerate the method up to the factor which depends on the spectral gap between the corresponding largest eigenvalues of the curvature matrix. Several numerical experiments confirm our theoretical conclusions.


title: Towards breaking the curse of dimensionality in (ro)vibrational computations of molecular systems with multiple large-amplitude motions

abstract: Methodological progress is reported in the challenging direction of a black-box-type variational solution of the (ro)vibrational Schr\"odinger equation applicable to floppy, polyatomic systems with multiple large-amplitude motions. This progress is achieved through the combination of (i) the numerical kinetic-energy operator (KEO) approach of [E. M\'atyus, G. Czak\'o, and A. G. Cs\'asz\'ar, J. Chem. Phys. 130, 134112 (2009)] and (ii) the Smolyak non-product grid method of [G. Avila and T. Carrington, Jr., J. Chem. Phys. 131, 174103 (2009)]. The numerical representation of the KEO makes it possible to choose internal coordinates and a body-fixed frame best suited for the molecular system. The Smolyak scheme reduces the size of the direct-product grid representation by orders of magnitude, while retaining some of the useful features of it. As a result, multi-dimensional (ro)vibrational states are computed with system-adapted coordinates, a compact basis- and grid-representation, and an iterative eigensolver. Details of the methodological developments and the first numerical applications are presented for the CH$_4\cdot$Ar complex treated in full (12D) vibrational dimensionality.


title: Ensemble Models for Spoofing Detection in Automatic Speaker Verification

abstract: Detecting spoofing attempts of automatic speaker verification (ASV) systems is challenging, especially when using only one modeling approach. For robustness, we use both deep neural networks and traditional machine learning models and combine them as ensemble models through logistic regression. They are trained to detect logical access (LA) and physical access (PA) attacks on the dataset released as part of the ASV Spoofing and Countermeasures Challenge 2019. We propose dataset partitions that ensure different attack types are present during training and validation to improve system robustness. Our ensemble model outperforms all our single models and the baselines from the challenge for both attack types. We investigate why some models on the PA dataset strongly outperform others and find that spoofed recordings in the dataset tend to have longer silences at the end than genuine ones. By removing them, the PA task becomes much more challenging, with the tandem detection cost function (t-DCF) of our best single model rising from 0.1672 to 0.5018 and equal error rate (EER) increasing from 5.98% to 19.8% on the development set.


title: A new Hybrid Lattice Attack on Galbraith's Binary LWE Cryptosystem

abstract: LWE-based cryptosystems are an attractive alternative to traditional ones in the post-quantum era. To minimize the storage cost of part of its public key - a $256 \times 640$ integer matrix, $\textbf{T}$ - a binary version of $\textbf{T}$ has been proposed. One component of its ciphertext, $\textbf{c}_{1}$ is computed as $\textbf{c}_{1} = \textbf{Tu}$ where $\textbf{u}$ is an ephemeral secret. Knowing $\textbf{u}$, the plaintext can be deduced. Given $\textbf{c}_{1}$ and $\textbf{T}$, Galbraith's challenge is to compute $\textbf{u}$ with existing computing resources in 1 year. Our hybrid approach guesses and removes some bits of the solution vector and maps the problem of solving the resulting sub-instance to the Closest Vector Problem in Lattice Theory. The lattice-based approach reduces the number of bits to be guessed while the initial guess based on LP relaxation reduces the number of subsequent guesses to polynomial rather than exponential in the number of guessed bits. Further enhancements partition the set of guessed bits and use a 2-step application of LP. Given the constraint of processor cores and time, a one-time training algorithm learns the optimal combination of partitions yielding a success rate of 9\% - 23\% with 1000 - 100,000 cores in 1 year. This compares favourably with earlier work that yielded 2\% success with 3000 cores.


title: Detection mechanism in highly sensitive ZnO nanowires network gas sensors

abstract: Metal-oxide nanowires are showing a great interest in the domain of gas sensing due to their large response even at a low temperature, enabling low-power gas sensors. However their response is still not fully understood, and mainly restricted to the linear response regime, which limits the design of appropriate sensors for specific applications. Here we analyse the non-linear response of a sensor based on ZnO nanowires network, both as a function of the device geometry and as a response to oxygen exposure. Using an appropriate model, we disentangle the contribution of the nanowire resistance and of the junctions between nanowires in the network. The applied model shows a very good consistency with the experimental data, allowing us to demonstrate that the response to oxygen at room temperature is dominated by the barrier potential at low bias voltage, and that the nanowire resistance starts to play a role at higher bias voltage. This analysis allows us to find the appropriate device geometry and working point in order to optimize the sensitivity. Such analysis is important for providing design rules, not only for sensing devices, but also for applications in electronics and opto-electronics using nanostructures networks with different materials and geometries.


title: Long time behaviour of interacting particles through a vibrating medium: comparison between the N-particle systems and the natural kinetic equation dynamics

abstract: We are interested in a kinetic equation intended to describe the interactions of particles with their environment. We focus on the long time behaviour. We prove that the time derivative of the spatial density goes to 0 and exhibit the omega limit set for the distribution function. We then apply this result to the empirical density associated to a finite number of particles and prove that the speeds of all of them go to 0. It also allows us to prove the convergence of all the positions with an increasing external potential and to get a precise description of their long time behaviour with a non decreasing external potential. Those results allow us to prove that in very large time, the distribution function is not a good approximation of the N-particle system. From all those considerations, we get a very detailed description of the dynamic of the N-particle system.


title: On the KPZ equation with fractional diffusion: global regularity and existence results

abstract: In this work we analyze the existence of solutions to the fractional quasilinear problem, $$ (P) \left\{ \begin{array}{rcll} u_t+(-\Delta )^s u &=&|\nabla u|^{\alpha}+ f &\inn \Omega_T\equiv\Omega\times (0,T),\\ u(x,t)&=&0 & \inn(\mathbb{R}^N\setminus\Omega)\times [0,T),\\ u(x,0)&=&u_{0}(x) & \inn\Omega,\\ \end{array}\right. $$ where $\Omega$ is a $C^{1,1}$ bounded domain in $\mathbb{R}^N$, $N> 2s$ and $\frac{1}{2}<s<1$. We will assume that $f$ and $u_0$ are non negative functions satisfying some additional hypotheses that will be specified later on. Assuming certain regularity on $f$, we will prove the existence of a solution to problem $(P)$ for values $\alpha<\dfrac{s}{1-s}$, as well as the non existence of such a solution when $\alpha>\dfrac{1}{1-s}$. This behavior clearly exhibits a deep difference with the local case.


title: Tracking-free Determination of Microparticle Motion from Image Variance

abstract: In this work, we use the standard deviation of image pixel intensity to analyse the speed, direction and surface-interaction of microparticles in fluid. First, we present an analytical model for estimating the total variance in the image space for directed or diffusive motion of microparticles and show that this measure is correlated to the density and speed of the particles. The analytical model was found to have good agreement with numerical simulations for low particle density. Then, using only the local image variance we obtain the magnitude and direction of the particle velocity in a rectangular microfluidic channel, closely matching the theoretical profile. Further, we also demonstrate the application of this method as a probe for particle-surface interactions by extracting the differences in distribution and time-evolution of image variance from mobile microparticles adhering to different surfaces. We believe that the image variance based method described here presents an addition to the suite of tracking-free techniques such as Differential Dynamic Microscopy (DDM) to extract motility parameters from video data.

categories: physics.app-ph cond-mat.soft eess.IV physics.data-an physics.flu-dyn


title: Simultaneous Contact, Gait and Motion Planning for Robust Multi-Legged Locomotion via Mixed-Integer Convex Optimization

abstract: Traditional motion planning approaches for multi-legged locomotion divide the problem into several stages, such as contact search and trajectory generation. However, reasoning about contacts and motions simultaneously is crucial for the generation of complex whole-body behaviors. Currently, coupling theses problems has required either the assumption of a fixed gait sequence and flat terrain condition, or non-convex optimization with intractable computation time. In this paper, we propose a mixed-integer convex formulation to plan simultaneously contact locations, gait transitions and motion, in a computationally efficient fashion. In contrast to previous works, our approach is not limited to flat terrain nor to a pre-specified gait sequence. Instead, we incorporate the friction cone stability margin, approximate the robot's torque limits, and plan the gait using mixed-integer convex constraints. We experimentally validated our approach on the HyQ robot by traversing different challenging terrains, where non-convexity and flat terrain assumptions might lead to sub-optimal or unstable plans. Our method increases the motion generality while keeping a low computation time.


title: Advantage in two-way communication using non-classical states of light

abstract: The advantage of using a single-photon two-mode entangled state in two-way communication via maximal violation of an inequality associated with the `Guess Your Neighbour's Input' (GYNI) game has been theoretically [Phys. Rev. Lett. 120, 060503 (2018)] as well as experimentally [CLEO FID.4 (OSA, 2018)] established quite recently. We show that such an advantage can also be obtained using any single-mode pure non-classical state embedded in a two-mode pure entangled state, wherein the other mode is the vacuum (henceforth referred to as a generalized NOON state), regardless of the average photon number of the single mode state. For the special cases of the even-coherent, odd-coherent, and squeezed vacuum NOON states, we establish that the advantage is also maximal. We show that the usage of the even-coherent NOON states can provide an advantage under noisy apparatuses (beam splitters and photo detectors). As an aside, we study how some of these states fare in terms of violation of a reference-frame independent Bell-type inequality.


title: Power Grid with 100% Renewable Energy for Small Island Developing States -- Nexus of Energy, Environment, and Economic Growth

abstract: We estimated system-wise levelized cost of electricity (LCOE) for a power grid with a high level of renewable energy using our grid optimization model. The estimation results of the system-wise LCOE are discussed in terms of the nexus of energy, environment, and economic growth for Small Island Developing States (SIDS) economies. While 100% renewable energy is technologically possible with the usage of electricity storage, the estimated LCOE is as high as 397 $/MWh which is substantially higher than electricity prices for residential consumers in the US and Japan. The susceptibility analyses imply that the estimated LCOE increase of 223% with a 100% renewable power grid corresponds to an as high as 11% decrease in economic growth. This decrease in economic growth would have a significant negative impact on SIDS economies. However, hydrogen production via the electrolysis of water using the excess energy supply from solar photovoltaics would reduce the LCOE, therefore higher economic growth would be attained with less CO2 emission.


title: CsMn$_4$As$_3$: A layered tetragonal transition-metal pnictide compound with antiferromagnetic ground state

abstract: We report the synthesis and properties of a new layered tetragonal ternary compound CsMn$_4$As$_3$ (structure: KCu$_4$S$_3$-type, space group: $P4/mmm$, No. 123 and $Z = 2$). The material is a small band-gap semiconductor and exhibits an antiferromagnetic ground state associated with Mn spins. The compound exhibits a signature of a distinct magnetic moment canting event at 150(5)~K with a canting angle of $\approx 0.3^{\circ}$. Although, some features of the magnetic characteristics of this new compound are qualitatively similar to those of the related BaMn$_2$As$_2$, the underlying Mn sublattices of the two materials are quite different. While the Mn square-lattice layers in BaMn$_2$As$_2$ are equally spaced along the $c$-direction with the interlayer distance $d_{\rm L\,Ba} = 6.7341(4)$ Ang., the Mn sublattice forms bilayers in CsMn$_4$As$_3$ with the interlayer distance within a bilayer $d_{\rm L\,Cs} = 3.1661(6)$ Ang. and the distance between the two adjacent bilayers $d_{\rm B} = 7.290(6)$ Ang. This difference in the Mn sublattice is bound to significantly alter the energy balance between the $J_{1}$, $J_{2}$ and $J_{c}$ exchange interactions within the J1-J2-Jc model compared to that in BaMn$_2$As$_2$ and the other related 122 compounds including the well-known iron-arsenide superconductor parent compound BaFe$_2$As$_2$. Owing to the novelty of its transition metal sublattice, this new addition to the family of tetragonal materials related to the iron-based superconductors brings prospects for doping and pressure studies in the search of new superconducting phases as well as other exciting correlated-electron properties.


title: Exceptional cycles for perfect complexes over gentle algebras

abstract: Exceptional cycles in a triangulated category $\mathcal T$ with Serre duality, introduced by N. Broomhead, D. Pauksztello, and D. Ploog, have a notable impact on the global structure of $\mathcal T$. In this paper we show that if $\mathcal T$ is homotopy-like, then any exceptional $1$-cycle is indecomposable and at the mouth; and any object in an exceptional $n$-cycle with $n\ge 3$ is at the mouth. Let $A$ be an indecomposable gentle $k$-algebra with $A\ne k$. The Hom spaces between string complexes at the mouth are explicitly determined. The main result classifies "almost all" the exceptional cycles in $K^b(A\mbox{-}{\rm proj})$, using characteristic components and their AG-invariants, except those exceptional $1$-cycles which are band complexes. Namely, the mouth of a characteristic component $C$ of $K^b(A\mbox{-}{\rm proj})$ forms a unique exceptional cycle in $C$, up to an equivalent relation $\approx$; if the quiver of $A$ is not of type $A_3$, this gives all the exceptional $n$-cycle in $K^b(A\mbox{-}{\rm proj})$ with $n\ge 2$, up to $\approx$; and a string complex is an exceptional $1$-cycle if and only if it is at the mouth of a characteristic component with {\rm AG}-invariant $(1, m)$. However, a band complex at the mouth is possibly not an exceptional $1$-cycle.


title: Hierarchical Planning of Dynamic Movements without Scheduled Contact Sequences

abstract: Most animal and human locomotion behaviors for solving complex tasks involve dynamic motions and rich contact interaction. In fact, complex maneuvers need to consider dynamic movement and contact events at the same time. We present a hierarchical trajectory optimization approach for planning dynamic movements with unscheduled contact sequences. We compute whole-body motions that achieve goals that cannot be reached in a kinematic fashion. First, we find a feasible CoM motion according to the centroidal dynamics of the robot. Then, we refine the solution by applying the robot's full-dynamics model, where the feasible CoM trajectory is used as a warm-start point. To accomplish the unscheduled contact behavior, we use complementarity constraints to describe the contact model, i.e. environment geometry and non-sliding active contacts. Both optimization phases are posed as Mathematical Program with Complementarity Constraints (MPCC). Experimental trials demonstrate the performance of our planning approach in a set of challenging tasks.


title: New bounds on even cycle creating Hamiltonian paths using expander graphs

abstract: We say that two graphs on the same vertex set are $G$-creating if their union (the union of their edges) contains $G$ as a subgraph. Let $H_n(G)$ be the maximum number of pairwise $G$-creating Hamiltonian paths of $K_n$. Cohen, Fachini and K\"orner proved \[n^{\frac{1}{2}n-o(n)}\leq H_n(C_4) \leq n^{\frac{3}{4}n+o(n)}.\] In this paper we close the superexponential gap between their lower and upper bounds by proving \[n^{\frac{1}{2}n-\frac{1}{2}\frac{n}{\log{n}}-O(1)}\leq H_n(C_4) \leq n^{\frac{1}{2}n+o\left(\frac{n}{\log{n}} \right)}.\] We also improve the previously established upper bounds on $H_n(C_{2k})$ for $k>3$, and we present a small improvement on the lower bound of F\"uredi, Kantor, Monti and Sinaimeri on the maximum number of so-called pairwise reversing permutations. One of our main tools is a theorem of Krivelevich, which roughly states that (certain kinds of) good expanders contain many Hamiltonian paths.


title: Large Deviations in Renewal Models of Statistical Mechanics

abstract: In Ref. [1] the author has recently established sharp large deviation principles for cumulative rewards associated with a discrete-time renewal model, supposing that each renewal involves a broad-sense reward taking values in a separable Banach space. The renewal model has been there identified with constrained and non-constrained pinning models of polymers, which amount to Gibbs changes of measure of a classical renewal process. In this paper we show that the constrained pinning model is the common mathematical structure to the Poland-Scheraga model of DNA denaturation and to some relevant one-dimensional lattice models of Statistical Mechanics, such as the Fisher-Felderhof model of fluids, the Wako-Sait\^o-Mu\~noz-Eaton model of protein folding, and the Tokar-Dreyss\'e model of strained epitaxy. Then, in the framework of the constrained pinning model, we develop an analytical characterization of the large deviation principles for cumulative rewards corresponding to multivariate deterministic rewards that are uniquely determined by, and at most of the order of magnitude of, the time elapsed between consecutive renewals. In particular, we outline the explicit calculation of the rate functions and successively we identify the conditions that prevent them from being analytic and that underlie affine stretches in their graphs. Finally, we apply the general theory to the number of renewals. From the point of view of Equilibrium Statistical Physics and Statistical Mechanics, cumulative rewards of the above type are the extensive observables that enter the thermodynamic description of the system. The number of renewals, which turns out to be the commonly adopted order parameter for the Poland-Scheraga model and for also the renewal models of Statistical Mechanics, is one of these observables.


title: Developable surface patches bounded by NURBS curves

abstract: In this paper we construct developable surface patches which are bounded by two rational or NURBS curves, though the resulting patch is not a rational or NURBS surface in general. This is accomplished by reparameterizing one of the boundary curves. The reparameterization function is the solution of an algebraic equation. For the relevant case of cubic or cubic spline curves, this equation is quartic at most, quadratic if the curves are Bezier or splines and lie on parallel planes, and hence it may be solved either by standard analytical or numerical methods.


title: Electron-positron pairs in hot plasma of accretion column in bright X-ray pulsars

abstract: The luminosity of X-ray pulsars powered by accretion onto magnetized neutron stars covers a wide range over a few orders of magnitude. The brightest X-ray pulsars recently discovered as pulsating ultraluminous X-ray sources reach accretion luminosity above $10^{40}\,{\rm erg\,s^{-1}}$ which exceeds the Eddington value more than by a factor of ten. Most of the energy is released within small regions in the vicinity of magnetic poles of accreting neutron star - in accretion columns. Because of the extreme energy release within a small volume accretion columns of bright X-ray pulsars are ones of the hottest places in the Universe, where the internal temperature can exceed 100 keV. Under these conditions, the processes of creation and annihilation of electron-positron pairs can be influential but have been largely neglected in theoretical models of accretion columns. In this letter, we investigate properties of a gas of electron-positron pairs under physical conditions typical for accretion columns. We argue that the process of pairs creation can crucially influence both the dynamics of the accretion process and internal structure of accretion column limiting its internal temperature, dropping the local Eddington flux and increasing the gas pressure.


title: Rain O'er Me: Synthesizing real rain to derain with data distillation

abstract: We present a supervised technique for learning to remove rain from images without using synthetic rain software. The method is based on a two-stage data distillation approach: 1) A rainy image is first paired with a coarsely derained version using on a simple filtering technique ("rain-to-clean"). 2) Then a clean image is randomly matched with the rainy soft-labeled pair. Through a shared deep neural network, the rain that is removed from the first image is then added to the clean image to generate a second pair ("clean-to-rain"). The neural network simultaneously learns to map both images such that high resolution structure in the clean images can inform the deraining of the rainy images. Demonstrations show that this approach can address those visual characteristics of rain not easily synthesized by software in the usual way.


title: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

abstract: We develop a new approach for building cryptographic implementations. Our approach goes the last mile and delivers assembly code that is provably functionally correct, protected against side-channels, and as efficient as hand-written assembly. We illustrate ur approach using ChaCha20-Poly1305, one of the mandatory ciphersuites in TLS 1.3, and deliver formally verified vectorized implementations which outperform the fastest non-verified code. We realize our approach by combining the Jasmin framework, which offers in a single language features of high-level and low-level programming, and the EasyCrypt proof assistant, which offers a versatile verification infrastructure that supports proofs of functional correctness and equivalence checking. Neither of these tools had been used for functional correctness before. Taken together, these infrastructures empower programmers to develop efficient and verified implementations by "game hopping", starting from reference implementations that are proved functionally correct against a specification, and gradually introducing program optimizations that are proved correct by equivalence checking. We also make several contributions of independent interest, including a new and extensible verified compiler for Jasmin, with a richer memory model and support for vectorized instructions, and a new embedding of Jasmin in EasyCrypt.


title: Gumbel and Fr\'echet convergence of the maxima of independent random walks

abstract: We consider point process convergence for sequences of iid random walks. The objective is to derive asymptotic theory for the largest extremes of these random walks. We show convergence of the maximum random walk to the Gumbel or the Fr\'echet distributions. The proofs heavily depend on precise large deviation results for sums of independent random variables with a finite moment generating function or with a subexponential distribution.


title: Hyper-Parameter Tuning for the (1+(\lambda,\lambda)) GA

abstract: It is known that the $(1+(\lambda,\lambda))$~Genetic Algorithm (GA) with self-adjusting parameter choices achieves a linear expected optimization time on OneMax if its hyper-parameters are suitably chosen. However, it is not very well understood how the hyper-parameter settings influences the overall performance of the $(1+(\lambda,\lambda))$~GA. Analyzing such multi-dimensional dependencies precisely is at the edge of what running time analysis can offer. To make a step forward on this question, we present an in-depth empirical study of the self-adjusting $(1+(\lambda,\lambda))$~GA and its hyper-parameters. We show, among many other results, that a 15\% reduction of the average running time is possible by a slightly different setup, which allows non-identical offspring population sizes of mutation and crossover phase, and more flexibility in the choice of mutation rate and crossover bias --a generalization which may be of independent interest. We also show indication that the parametrization of mutation rate and crossover bias derived by theoretical means for the static variant of the $(1+(\lambda,\lambda))$~GA extends to the non-static case.


title: A new perspective from a Dirichlet model for forecasting outstanding liabilities of nonlife insurers

abstract: Forecasting the outstanding claim liabilities to set adequate reserves is critical for a nonlife insurer's solvency. Chain-Ladder and Bornhuetter-Ferguson are two prominent actuarial approaches used for this task. The selection between the two approaches is often ad hoc due to different underlying assumptions. We introduce a Dirichlet model that provides a common statistical framework for the two approaches, with some appealing properties. Depending on the type of information available, the model inference naturally leads to either Chain-Ladder or Bornhuetter-Ferguson prediction. Using claims data on Worker's compensation insurance from several US insurers, we discuss both frequentist and Bayesian inference.


title: Buckling Soft Tensegrities: Fickle Elasticity and Configurational Switching in Living Cells

abstract: Tensegrity structures are special architectures made by floating compressed struts kept together by a continuous system of tensed cables. The multiplicity of shapes that tensegrity structures can assume and their intrinsic capability to be deployable and assembled, so storing (and releasing) elastic energy, have motivated their success as paradigm -pioneeringly proposed by Donald E. Ingber- to explain some underlying mechanisms regulating dynamics of living cells. The interlaced structure of the cell cytoskeleton, constituted by actin and intermediate filaments and microtubules which continuously change their spatial organization and pre-stresses through polymerization/depolymerization, seems to steer migration, adhesion and cell division by obeying the tensegrity construct. Even though rough calculations lead to estimate discrepancies when comparing axial stiffness of actin filaments and microtubules and recent works have shown bent microtubules, no one has yet tried to remove the hypothesis of rigid struts in tensegrities when used to idealize the cytoskeleton mechanics. With reference to the 30-element tensegrity cell paradigm, we introduce both compressibility and bendability of the struts and rewrite the theory to take into account nonlinear elasticity of both tendons and bars, so abandoning the classical linear stress-strain assumptions. By relaxing the hypothesis of rigidity of the struts, we demonstrate that some quantitative confirmations and many extreme and somehow counterintuitive mechanical behaviors actually exploited by cells for storing/releasing energy, resisting to applied loads and deforming by modulating their overall elasticity and shape through pre-stress changes and instability-guided configurational switching, can be all theoretically found.


title: Corrosion studies on Fe-30Mn-1C alloy in chloridecontaining solutions with view to biomedical application

abstract: Austenitic Fe-30Mn-1C (FeMnC) is a prospective biodegradable implant material combining high mechanical integrity with adequate corrosion rates. The fast solidified TWIP alloy, its constituents and 316L stainless steel were electrochemically analysed in various electrolytes at 37 {\deg}C under laminar flow. Potentiodynamic polarization tests were conducted in Trisbuffered simulated body fluid (SBF), in Tris-buffered saline (TBS) and in 150 mM - 0.15 mM NaCl solutions (pH 7.6, 10, 5, 2) to study initial corrosion stages. Active dissolution of FeMnC is revealed in all electrolytes and is discussed on basis of the Fe and Mn behaviour plus is compared to that of 316L. The role of Tris (Tris(hydroxymethyl)aminomethane) as organic buffer for SBFs is critically assessed, particularly with view to the sensitivity of Fe. SEM studies of FeMnC corroded in NaCl revealed preferential dissolution along Mn-rich grain boundary regions. Static immersion tests of FeMnC in SBF with surface and solution analyses (SEM/EDX, XPS, ICP-OES) indicated that dissolution processes interfere with the formation of permeable surface coatings comprising hydroxides and salts.


title: Automated Search for Configurations of Deep Neural Network Architectures

abstract: Deep Neural Networks (DNNs) are intensively used to solve a wide variety of complex problems. Although powerful, such systems require manual configuration and tuning. To this end, we view DNNs as configurable systems and propose an end-to-end framework that allows the configuration, evaluation and automated search for DNN architectures. Therefore, our contribution is threefold. First, we model the variability of DNN architectures with a Feature Model (FM) that generalizes over existing architectures. Each valid configuration of the FM corresponds to a valid DNN model that can be built and trained. Second, we implement, on top of Tensorflow, an automated procedure to deploy, train and evaluate the performance of a configured model. Third, we propose a method to search for configurations and demonstrate that it leads to good DNN models. We evaluate our method by applying it on image classification tasks (MNIST, CIFAR-10) and show that, with limited amount of computation and training, our method can identify high-performing architectures (with high accuracy). We also demonstrate that we outperform existing state-of-the-art architectures handcrafted by ML researchers. Our FM and framework have been released %and are publicly available to support replication and future research.


title: Analytic continuation and differential geometry views on slow manifolds and separatrices

abstract: We start from a mechano-chemical analogy considering the time evolution of a homogeneous chemical reaction modeled by a nonlinear dynamical system (ordinary differential equation, ODE) as the movement of a phase space point on the solution manifold such as the movement of a mass point in curved spacetime. Based on our variational problem formulation \cite{Lebiedz2011} for slow invariant manifold (SIM) computation and ideas from general relativity theory we argue for a coordinate free analysis treatment \cite{Heiter2018} and a differential geometry formulation in terms of geodesic flows \cite{Poppe2019}. In particular, we propose analytic continuation of the dynamical system to the complex time domain to reveal deeper structures and allow the application of the rich toolbox of Fourier and complex analysis to the SIM problem.


title: Practical Reinforcement Learning of Stabilizing Economic MPC

abstract: Reinforcement Learning (RL) has demonstrated a huge potential in learning optimal policies without any prior knowledge of the process to be controlled. Model Predictive Control (MPC) is a popular control technique which is able to deal with nonlinear dynamics and state and input constraints. The main drawback of MPC is the need of identifying an accurate model, which in many cases cannot be easily obtained. Because of model inaccuracy, MPC can fail at delivering satisfactory closed-loop performance. Using RL to tune the MPC formulation or, conversely, using MPC as a function approximator in RL allows one to combine the advantages of the two techniques. This approach has important advantages, but it requires an adaptation of the existing algorithms. We therefore propose an improved RL algorithm for MPC and test it in simulations on a rather challenging example.


title: Efficient Reconstruction of Free Breathing Under-Sampled Cardiac Cine MRI

abstract: Respiratory motion can cause strong blurring artifacts in the reconstructed image during MR acquisition. These artifacts become more prominent when use in the presence of undersampled data. Recently, compressed sensing (CS) is developed as an MR reconstruction technique, to recover good quality images from the compressive k-space samples. To maximize the benefits of CS in free breathing data, it is understandable to use CS with the motion corrected images. In this paper, we have developed a new CS based motion corrected image reconstruction technique. In this two-stage technique, we use similarity measure to sort the motion corrupted data into different respiratory states. Then, we use a new reconstruction algorithm, which iteratively performs reconstruction and motion correction. The performance of the proposed method is qualitatively and quantitively evaluated using simulated data and clinical data. Results depict that this method performs the better reconstruction of respiratory motion corrected cardiac cine images as compared to the CS based reconstruction method.


title: Characterization of Separatrices in Holomorphic Dynamical Systems

abstract: Multiple time scales in dynamical systems lead to a bundling of trajectories onto slow invariant manifolds (SIMs). Although they are absent in two-dimensional holomorphic dynamical systems, a bundling of orbits is often observed as well. They bundle onto special trajectories called separatrices. We apply numerical methods for the approximation of SIMs to holomorphic flows and show how a separatrix between two regions of periodic orbits can be characterized topologically. Complex time reveals a new perspective on holomorphic dynamical systems.


title: Dynamic Scheduling and Power Control in Uplink Massive MIMO with Random Data Arrivals

abstract: In this paper, we study the joint power control and scheduling in uplink massive multiple-input multiple-output (MIMO) systems with random data arrivals. The data is generated at each user according to an individual stochastic process. Using Lyapunov optimization techniques, we develop a dynamic scheduling algorithm (DSA), which decides at each time slot the amount of data to admit to the transmission queues and the transmission rates over the wireless channel. The proposed algorithm achieves nearly optimal performance on the long-term user throughput under various fairness policies. Simulation results show that the DSA can improve the time-average delay performance compared to the state-of-the-art power control schemes developed for Massive MIMO with infinite backlogs.


title: On the Newton-Raphson basins of convergence associated with the libration points in the axisymmetric five-body problem: the concave configuration

abstract: The axisymmetric five-body problem with the concave configuration has been studied numerically to reveal the basins of convergence, by exploring the Newton-Raphson iterative scheme, corresponding to the coplanar libration points (which act as attractors). In addition, four primaries are set in axisymmetric central configurations introduced by \'{E}rdi and Czirj\'{a}k and the motion is governed by mutual gravitational attraction only. The evolution of the positions of libration points is illustrated, as a function of the value of angle parameters. A systematic and rigorous investigation is performed in an effort to unveil how the angle parameters affect the topology of the basins of convergence. In addition, the relation of the domain of basins of convergence with required number of iterations and the corresponding probability distributions are illustrated.


title: Entropy numbers of finite dimensional mixed-norm balls and function space embeddings with small mixed smoothness

abstract: We study the embedding $\text{id}: \ell_p^b(\ell_q^d) \to \ell_r^b(\ell_u^d)$ and prove matching bounds for the entropy numbers $e_k(\text{id})$ provided that $0<p<r\leq \infty$ and $0<q\leq u\leq \infty$. Based on this finding, we establish optimal dimension-free asymptotic rates for the entropy numbers of embeddings of Besov and Triebel-Lizorkin spaces of small dominating mixed smoothness which settles an open question in the literature. Both results rely on a novel covering construction recently found by Edmunds and Netrusov.


title: Gaussian YOLOv3: An Accurate and Fast Object Detector Using Localization Uncertainty for Autonomous Driving

abstract: The use of object detection algorithms is becoming increasingly important in autonomous vehicles, and object detection at high accuracy and a fast inference speed is essential for safe autonomous driving. A false positive (FP) from a false localization during autonomous driving can lead to fatal accidents and hinder safe and efficient driving. Therefore, a detection algorithm that can cope with mislocalizations is required in autonomous driving applications. This paper proposes a method for improving the detection accuracy while supporting a real-time operation by modeling the bounding box (bbox) of YOLOv3, which is the most representative of one-stage detectors, with a Gaussian parameter and redesigning the loss function. In addition, this paper proposes a method for predicting the localization uncertainty that indicates the reliability of bbox. By using the predicted localization uncertainty during the detection process, the proposed schemes can significantly reduce the FP and increase the true positive (TP), thereby improving the accuracy. Compared to a conventional YOLOv3, the proposed algorithm, Gaussian YOLOv3, improves the mean average precision (mAP) by 3.09 and 3.5 on the KITTI and Berkeley deep drive (BDD) datasets, respectively. Nevertheless, the proposed algorithm is capable of real-time detection at faster than 42 frames per second (fps) and shows a higher accuracy than previous approaches with a similar fps. Therefore, the proposed algorithm is the most suitable for autonomous driving applications.


title: Towards Analyzing Semantic Robustness of Deep Neural Networks

abstract: Despite the impressive performance of Deep Neural Networks (DNNs) on various vision tasks, they still exhibit erroneous high sensitivity toward semantic primitives (e.g. object pose). We propose a theoretically grounded analysis for DNN robustness in the semantic space. We qualitatively analyze different DNNs' semantic robustness by visualizing the DNN global behavior as semantic maps and observe interesting behavior of some DNNs. Since generating these semantic maps does not scale well with the dimensionality of the semantic space, we develop a bottom-up approach to detect robust regions of DNNs. To achieve this, we formalize the problem of finding robust semantic regions of the network as optimizing integral bounds and we develop expressions for update directions of the region bounds. We use our developed formulations to quantitatively evaluate the semantic robustness of different popular network architectures. We show through extensive experimentation that several networks, while trained on the same dataset and enjoying comparable accuracy, do not necessarily perform similarly in semantic robustness. For example, InceptionV3 is more accurate despite being less semantically robust than ResNet50. We hope that this tool will serve as a milestone towards understanding the semantic robustness of DNNs.


title: Quadratic Chabauty for (bi)elliptic curves and Kim's conjecture

abstract: We explore a number of problems related to the quadratic Chabauty method for determining integral points on hyperbolic curves. We remove the assumption of semistability in the description of the quadratic Chabauty sets $\mathcal{X}(\mathbb{Z}_p)_2$ containing the integral points $\mathcal{X}(\mathbb{Z})$ of an elliptic curve of rank at most $1$. Motivated by a conjecture of Kim, we then investigate theoretically and computationally the set-theoretic difference $\mathcal{X}(\mathbb{Z}_p)_2\setminus \mathcal{X}(\mathbb{Z})$. We also consider some algorithmic questions arising from Balakrishnan--Dogra's explicit quadratic Chabauty for the rational points of a genus-two bielliptic curve. As an example, we provide a new solution to a problem of Diophantus which was first solved by Wetherell. Computationally, the main difference from the previous approach to quadratic Chabauty is the use of the $p$-adic sigma function in place of a double Coleman integral.


title: Quantized conductance of Majorana zero mode in the vortex of the topological superconductor (Li0.84Fe0.16)OHFeSe

abstract: The Majorana zero mode (MZM), which manifests as an exotic neutral excitation in superconductors, is the building block of topological quantum computing. It has recently been found in the vortices of several iron-based superconductors as a zero-bias conductance peak (ZBCP) in tunneling spectroscopy. In particular, a clean and robust MZM has been observed in the cores of free vortices in (Li0.84Fe0.16)OHFeSe. Here using scanning tunneling spectroscopy (STS), we demonstrate that Majorana-induced resonant Andreev reflection occurs between the STM tip and this zero-bias bound state, and consequently, the conductance at zero bias is quantized as 2e2/h. Our results present a hallmark signature of the MZM in the vortex of an intrinsic topological superconductor, together with its intriguing behavior.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Disarrangements and instabilities in 1D hyperelasticity

abstract: In the present work, the overall nonlinear elastic behavior of a 1D multi-modular structure incorporating possible imperfections at the discrete (micro-scale) level, is derived with respect to both tensile and compressive applied loads. The model is built up through the repetition of n units, each one comprising two rigid rods having equal lengths, linked by means of pointwise constraints capable to elastically limit motions in terms of relative translations (sliders) and rotations (hinges). The mechanical response of the structure is analyzed by varying the number n of the elemental moduli, as well as in the limit case of infinite number of infinitesimal constituents, in light of the theory of (first order) Structured Deformations (SDs), that interprets the deformation of any continuum body as the projection, at the macroscopic scale, of geometrical changes occurring at the level of its sub-macroscopic elements. In this way, a wide family of nonlinear elastic behaviors is generated by tuning internal microstructural parameters, the tensile buckling and the classical Euler Elastica under compressive loads resulting as special cases in the so-called continuum limit, say when n tends to 1. Finally, by plotting the results in terms of first Piola-Kirchhoff stress versus macroscopic stretch, it is for the first time demonstrated that such SDs-based 1D models can be helpfully used to generalize some standard hyperelastic behaviors by additionally taking into account instability phenomena and concealed defects.


title: Temperature Dependence of Self-diffusion in Cr2O3 from First Principles

abstract: Understanding and predicting the dominant diffusion processes in Cr2O3 is essential to its optimization for anti-corrosion coatings, spintronics, and other applications. Despite significant theoretical effort in modeling defect mediated diffusion in Cr2O3 the correlation with experimentally measured diffusivities remains poor partly due to the insufficient accuracy of the theoretical approaches. Here an attempt to resolve these discrepancies is made through high accuracy density functional theory simulations coupled with grand canonical formalism of defect thermochemistry. In this approach, point defect formation energies were computed using hybrid exchange correlation functional. This level of theory proved to be essential for achieving the agreement with experimental self-diffusion coefficients. The analysis of the resulting self-diffusion coefficients indicate that chromium has higher mobility at low temperatures and high oxygen partial pressures, in particular at standard temperature and pressure conditions. At high vacuum, high temperature conditions, oxygen diffusion becomes dominant. At Cr/Cr2O3 interfaces O vacancies were found to be more mobile than Cr vacancies at all temperatures. Cr diffuses preferentially along the c-axis at low temperatures but switches to basal plane at higher temperatures. O diffusion is primarily bound to basal plane at all temperatures.


title: Distributed Computation of Top-$k$ Degrees in Hidden Bipartite Graphs

abstract: Hidden graphs are flexible abstractions that are composed of a set of known vertices (nodes), whereas the set of edges are not known in advance. To uncover the set of edges, multiple edge probing queries must be executed by evaluating a function $f(u,v)$ that returns either true or false, if nodes $u$ and $v$ are connected or not respectively. Evidently, the graph can be revealed completely if all possible $n(n-1)/2$ probes are executed for a graph containing $n$ nodes. However, the function $f()$ is usually computationally intensive and therefore executing all possible probing queries result in high execution costs. The target is to provide answers to useful queries by executing as few probing queries as possible. In this work, we study the problem of discovering the top-$k$ nodes of a hidden bipartite graph with the highest degrees, by using distributed algorithms. In particular, we use Apache Spark and provide experimental results showing that significant performance improvements are achieved in comparison to existing centralized approaches.


title: The {\it K2} Light Curves and Stunted Outbursts of AC Cnc

abstract: We describe two observations of the nova-like cataclysmic variable AC Cnc obtained with {\it Kepler} during its revamped second mission ({\it K2}). Using the {\it K2} 1-minute cadence mode, the data were obtained during Campaigns 5 and 18. Campaign 5 (C05) lasted from ${\sim}$2015 Apr 27 to ${\sim}$2015 July 10, a total of 74.8 days, and yielded ${\sim}$106,000 measurements. Campaign 18 (C18) lasted from ${\sim}$2018 May 13 to ${\sim}$2018 July 2, a total of 50.7 days, yielding $\sim$72,000 measurements. The C05 light curve reveals two `stunted outbursts' having properties consistent with stunted bursts observed from the ground; a stunted burst was underway during the C18 observation when it ended. During a stunted outburst, the primary eclipse is found to increase in depth but the residual brightness at mid-primary-eclipse remains nearly constant. By contrast, the secondary eclipse retains the same depth but the brightness at mid-secondary eclipse increases during outburst, following the orbital variations of the out-of-eclipse light. The eclipse ephemeris is statistically consistent with historical ephemerides and shows only marginal evidence for a period change. On the basis of the {\it K2} data, we can not confirm a previously-reported non-orbital periodicity in AC~Cnc.


title: Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds

abstract: This paper explores the conjecture that the following are equivalent for rational homology 3-spheres: having left-orderable fundamental group, having non-minimal Heegaard Floer homology, and admitting a co-orientable taut foliation. In particular, it adds further evidence in favor of this conjecture by studying these three properties for more than 300,000 hyperbolic rational homology 3-spheres. New or much improved methods for studying each of these properties form the bulk of the paper, including a new combinatorial criterion, called a foliar orientation, for showing that a 3-manifold has a taut foliation.


title: Catalytic upgrading of hydrothermal liquefaction biocrudes: Different challenges for different feedstocks

abstract: Hydrothermal liquefaction (HTL) followed by catalytic hydrotreating of the produced biocrude is increasingly gaining ground as an effective technology for the conversion of biomass into liquid biofuels. A strong advantage of HTL resides in its great flexibility towards the feedstock, since it is able to treat a large number of different organic substrates, ranging from dry to wet residual biomass. Nevertheless, the characteristics of biocrudes from different typologies of organic materials result in different challenges to be met during the hydrotreating step, leading to differences in heteroatoms removal and in the typology and composition of the targeted products. In this work, biocrudes were catalytically hydrotreated with a commercial NiMo/Al2O3 catalyst at different temperatures and pressures. Sewage sludge biocrude was found to be very promising for the production of straight-chain hydrocarbons in the diesel range, with considerable heteroatoms removal even at mild hydrotreating conditions. Similar results were shown by algal biocrude, although complete denitrogenation is challenging. Upgraded biocrudes from lignocellulosic feedstock (miscanthus) showed high yields in the gasoline range, with a remarkable content of aromatics. Operating at a higher H2 pressure was found to be crucial to prevent coking and decarboxylation reactions.


title: Derivatives of normal functions in reverse mathematics

abstract: Consider a normal function $f$ on the ordinals (i. e. a function $f$ that is strictly increasing and continuous at limit stages). By enumerating the fixed points of $f$ we obtain a faster normal function $f'$, called the derivative of $f$. The present paper investigates this important construction from the viewpoint of reverse mathematics. Within this framework we must restrict our attention to normal functions $f:\aleph_1\rightarrow\aleph_1$ that are represented by dilators (i. e. particularly uniform endofunctors on the category of well-orders, as introduced by J.-Y. Girard). Due to a categorical construction of P. Aczel, each normal dilator $T$ has a derivative $\partial T$. We will give a new construction of the derivative, which shows that the existence and fundamental properties of $\partial T$ can already be established in the theory $\mathbf{RCA}_0$. The latter does not prove, however, that $\partial T$ preserves well-foundedness. Our main result shows that the statement ``for every normal dilator $T$, its derivative $\partial T$ preserves well-foundedness'' is $\mathbf{ACA}_0$-provably equivalent to $\Pi^1_1$-bar induction (and hence to $\Sigma^1_1$-dependent choice and to $\Pi^1_2$-reflection for $\omega$-models).


title: CycleGAN-VC2: Improved CycleGAN-based Non-parallel Voice Conversion

abstract: Non-parallel voice conversion (VC) is a technique for learning the mapping from source to target speech without relying on parallel data. This is an important task, but it has been challenging due to the disadvantages of the training conditions. Recently, CycleGAN-VC has provided a breakthrough and performed comparably to a parallel VC method without relying on any extra data, modules, or time alignment procedures. However, there is still a large gap between the real target and converted speech, and bridging this gap remains a challenge. To reduce this gap, we propose CycleGAN-VC2, which is an improved version of CycleGAN-VC incorporating three new techniques: an improved objective (two-step adversarial losses), improved generator (2-1-2D CNN), and improved discriminator (PatchGAN). We evaluated our method on a non-parallel VC task and analyzed the effect of each technique in detail. An objective evaluation showed that these techniques help bring the converted feature sequence closer to the target in terms of both global and local structures, which we assess by using Mel-cepstral distortion and modulation spectra distance, respectively. A subjective evaluation showed that CycleGAN-VC2 outperforms CycleGAN-VC in terms of naturalness and similarity for every speaker pair, including intra-gender and inter-gender pairs.


title: Virtually cyclic dimension for 3-manifold groups

abstract: Let G be the fundamental group of a connected, closed, orientable 3-manifold. We explicitly compute its virtually cyclic geometric dimension. Among the tools we use are the prime and JSJ decompositions of M, several push-out type constructions, as well as some Bredon cohomology computations.


title: Cosmological Consequences of New Dark Energy Models in Einstein-Aether Gravity

abstract: In this paper, we reconstruct various solutions for the accelerated universe in the Einstein-Aether theory of gravity. For this purpose, we obtain the effective density and pressure for Einstein-Aether theory. We reconstruct the Einstein-Aether models by comparing its energy density with various newly proposed holographic dark energy models such as Tsallis, R$\acute{e}$nyi and Sharma-Mittal. For this reconstruction, we use two forms of scale factor, power-law and exponential forms. The cosmological analysis of underlying scenario has been done by exploring different cosmological parameters. This includes equation of state parameter, squared speed of sound and evolutionary equation of state parameter via graphical representation. We obtain some favorable results for some values of model parameters.


title: Induced Brownian motion by the Friedmann-Robertson-Walker spacetime in the presence of a cosmic string

abstract: In this paper we investigate the quantum Brownian motion of a massive scalar point particle induced by the FRW spacetime in the presence of a linear topological defect named cosmic string. In addition, we also consider a flat boundary orthogonal to the defect to analyse its effect on the particle's motion. For both cases we found exact expressions for the renormalized mean square deviation of the particle velocity, the quantity that measures the induced Brownian motion, and obtain asymptotic expressions when the point particle is near and far away from the cosmic string and the boundary. Furthermore, in both cases, there appears divergencies in the mean square deviation of the particle velocity coming from a time interval that correspond to a round trip of the massive point particle between its position and the cosmic string/flat boundary. The number of divergencies depends upon the radial position of the particle and the parameter associated with the cosmic string in the case without boundary, and upon this parameter and the radial and $z$ positions of the particle in the case with boundary.


title: Sequential dispersive measurement of a superconducting qubit

abstract: We present a superconducting device that realizes the sequential measurement of a transmon qubit. The device disables common limitations of dispersive readout such as Purcell effect or transients in the cavity mode by turning on and off the coupling to the measurement channel on demand. The qubit measurement begins by loading a readout resonator that is coupled to the qubit. After an optimal interaction time with negligible loss, a microwave pump releases the content of the readout mode by upconversion into a measurement line in a characteristic time as low as 10~ns, which is 400 times shorter than the lifetime of the readout resonator. A direct measurement of the released field quadratures demonstrates a readout fidelity of $97.5~\%$ in a total measurement time of $220~\mathrm{ns}$. The Wigner tomography of the readout mode allows us to characterize the non-Gaussian nature of the readout mode and its dynamics.


title: Tipping point analysis of electrical resistance data with early warning signals of failure for predictive maintenance

abstract: We apply tipping point analysis to measurements of electronic components commonly used in applications in the automotive or aviation industries and demonstrate early warning signals based on scaling properties of resistance time series. The analysis utilises the statistical physics framework with stochastic modelling by representing the measured time series as a composition of deterministic and stochastic components estimated from measurements. The early warning signals are observed much earlier than those estimated from conventional techniques, such as threshold-based failure detection, or bulk estimates used in Weibull failure analysis. The introduced techniques may be useful for predictive maintenance of power electronics, with industrial applications. We suggest that this approach can be applied to various electromagnetic measurements in power systems and energy applications.


title: The Complexity of Definability by Open First-Order Formulas

abstract: In this article we formally define and investigate the computational complexity of the Definability Problem for open first-order formulas (i.e., quantifier free first-order formulas) with equality. Given a logic $\mathbf{\mathcal{L}}$, the $\mathbf{\mathcal{L}}$-Definability Problem for finite structures takes as input a finite structure $\mathbf{A}$ and a target relation $T$ over the domain of $\mathbf{A}$, and determines whether there is a formula of $\mathbf{\mathcal{L}}$ whose interpretation in $\mathbf{A}$ coincides with $T$. We show that the complexity of this problem for open first-order formulas (open definability, for short) is coNP-complete. We also investigate the parametric complexity of the problem, and prove that if the size and the arity of the target relation $T$ are taken as parameters then open definability is $\mathrm{coW}[1]$-complete for every vocabulary $\tau$ with at least one, at least binary, relation.


title: Mathematical Melody in Quantum Anomaly via the Path Integral Approach: A Lesson from the Transverse Current Anomalies in QED

abstract: I address and solve the natural problem of calculating the transverse current anomalies in quantum electrodynamics by means of the path-integral method. An explicitly divergent and regulator-dependent anomaly term is produced for the vector current, in apparent contradiction with the null-result prediction of the one-loop perturbative evaluation. This paradox is carefully explained using the concept of infinite-dimensional Grassmann functional integration, signifying a modification to the conventional wisdom of understanding anomalies in field theory.


title: Poorly connected groups

abstract: We investigate groups whose Cayley graphs have poor\-ly connected subgraphs. We prove that a finitely generated group has bounded separation in the sense of Benjamini--Schramm--Tim\'ar if and only if it is virtually free. We then prove a gap theorem for connectivity of finitely presented groups, and prove that there is no comparable theorem for all finitely generated groups. Finally, we formulate a connectivity version of the conjecture that every group of type $F$ with no Baumslag-Solitar subgroup is hyperbolic, and prove it for groups with at most quadratic Dehn function.


title: Minimal length estimation on the basis of studies of the Sun-Earth-Moon system in deformed space

abstract: A space with deformed Poisson brackets for coordinates and momenta leading to the minimal length is considered. Features of description of motion of a body in the space are examined. We propose conditions on the parameters of deformation on which Poisson brackets for coordinates and momenta of the center-of-mass reproduce relations of deformed algebra, kinetic energy of a body is independent of its composition, and the weak equivalence principle is preserved in the deformed space. Influence of minimal length on the motion of the Sun-Earth-Moon system is studied. We find that deformation of the Poisson brackets leads to corrections to the accelerations of the Earth and the Moon toward the Sun, as a result the Eotvos-parameter does not vanish even if we consider equality of gravitational and inertial masses. The upper bound for the minimal length is estimated using results of the Lunar laser ranging experiment.


title: An alternative description of the weak lepton interaction

abstract: The description of the massive vector- and pseudo-vector bosons is proposed, which allows the use of them as interaction carriers. The boson propagators guarantee the renormalizability of the theory with massive intermediate bosons. The proposed description is free from the Englert-Brout-Higgs mechanism. These bosons are used to describe the weak lepton interactions. In such a description boson's and lepton's interaction Lagrangian coincides with the boson's and lepton's interaction Lagrangian in the Glashow-Weinberg-Salam model, which is in good agreement with the experimental results.


title: Landau-Bogolubov Energy Spectrum of Superconductors

abstract: We demonstrate that a dispersion relation of elementary excitations in the Fermi liquid as a superconductor is identical to the one in a quantum liquid HeII. Hence, we show that the superconductivity is, in fact, the same as superfluidity, but for charged particles.


title: Canonical quantization of anisotropic Bianchi I cosmology from scalar vector tensor Brans Dicke gravity

abstract: We applied a generalized scalar-vector-tensor Brans Dicke gravity model to study canonical quantization of an anisotropic Bianchi I cosmological model. Regarding an anisotropic Harmonic Oscillator potential we show that the corresponding Wheeler de Witt wave functional of the system is described by Hermit polynomials. We obtained a quantization condition on the ADM mass of the cosmological system which raises versus the quantum numbers of the Hermit polynomials. Our calculations show that the inflationary expansion of the universe can be originate from the big bang with no naked singularity due to the uncertainty principle.


title: Martingale optimal transport duality

abstract: We obtain a dual representation of the Kantorovich functional defined for functions on the Skorokhod space using quotient sets. Our representation takes the form of a Choquet capacity generated by martingale measures satisfying additional constraints to ensure compatibility with the quotient sets. These sets contain stochastic integrals defined pathwise and two such definitions starting with simple integrands are given. Another important ingredient of our analysis is a regularized version of Jakubowski's $S$-topology on the Skorokhod space.


title: Evaluating Competence Measures for Dynamic Regressor Selection

abstract: Dynamic regressor selection (DRS) systems work by selecting the most competent regressors from an ensemble to estimate the target value of a given test pattern. This competence is usually quantified using the performance of the regressors in local regions of the feature space around the test pattern. However, choosing the best measure to calculate the level of competence correctly is not straightforward. The literature of dynamic classifier selection presents a wide variety of competence measures, which cannot be used or adapted for DRS. In this paper, we review eight measures used with regression problems, and adapt them to test the performance of the DRS algorithms found in the literature. Such measures are extracted from a local region of the feature space around the test pattern, called region of competence, therefore competence measures.To better compare the competence measures, we perform a set of comprehensive experiments of 15 regression datasets. Three DRS systems were compared against individual regressor and static systems that use the Mean and the Median to combine the outputs of the regressors from the ensemble. The DRS systems were assessed varying the competence measures. Our results show that DRS systems outperform individual regressors and static systems but the choice of the competence measure is problem-dependent.


title: Vacuum and spacetime signature in the theory of superalgebraic spinors

abstract: We investigated action of operator analogs of Dirac gamma matrices (we called them gamma operators) on a vacuum. We derived formulas for vacuum state vector and operators of the Lorentz transformations of spinors in the superalgebraic representation of spinors. Five operator analogs of five Dirac gamma matrices exist in the superalgebraic approach as well as two additional operator analogs of gamma matrices. Gamma operators are constructed from Grassmann densities and derivatives with respect to them. We have shown that there are operators which are built from creation and annihilation operators, and that they are also analogs of Dirac gamma matrices. However, unlike gamma operators of the first kind, they are Lorentz invariant. We have shown that the condition for the existence of spinor vacuum imposes restrictions on possible variants of Clifford algebras of gamma operators: only real algebra with one timelike basis Clifford vector corresponding to the zero gamma matrix in the Dirac representation can be realized. In this case, the signature of the four-dimensional spacetime, in which there is a vacuum state, can only be (1, -1, -1, -1), and there are two additional axes corresponding to the inner space of the spinor, with a signature (-1, -1).


title: Removing muscle artifacts from EEG data of people with cognitive impairment using high order statistic methods

abstract: Objective: Often, people with Subjective Cognitive Impairment (SCI), Mild Cognitive Impairment (MCI) and dementia are underwent to Electroencephalography (EEG) in order to evaluate through biological indexes the functional connectivity between brain regions and activation areas during cognitive performance. EEG recordings are frequently contaminated by muscle artifacts, which obscure and complicate their interpretation. These muscle artifacts are particularly difficult to be removed from the EEG in order the latter to be used for further clinical evaluation. In this paper, we proposed a new approach in removing muscle artifacts from EEG data using a method that combines second and high order statistical information. Subjects and Methods: In the proposed system the muscle artifacts of the EEG signal are removed by using the Independent Vector Analysis (IVA). The latter was formulated as a general joint Blind Source Separation (BSS) method that uses both second-order and higher order statistical information and thus takes advantage of both Independent Component Analysis (ICA) and Canonical Correlation Analysis (CCA). Diagonalization methods for IVA in the proposed system were reworked based on SCHUR decomposition offering a faster second order blind identification algorithm that can be used on time demanding applications. Results: The proposed method is evaluated in both simulated and real EEG data. To quantitatively examine the performance of the new method, two objective measures were adopted. The first measure is the Root Mean Square Error (RMSE) while the second is the Signal-to-noise-ratio (SNR). Conclusion: The proposed method overcomes with the need of removing muscle artifacts on both realistic simulated EEG data and brain activity from people with cognitive impairment.


title: Global properties of warped solutions in General Relativity with electromagnetic field and cosmological constant

abstract: We consider general relativity with cosmological constant minimally coupled to electromagnetic field and assume that four-dimensional space-time manifold is the warped product of two surfaces with Lorentzian and Euclidean signature metrics. Einstein's equations imply that at least one of the surfaces must be of constant curvature. It means that the symmetry of the metric arises as the consequence of equations of motion (`spontaneous symmetry emergence'). We give classification of global solutions in two cases: (i) both surfaces are of constant curvature and (ii) the Riemannian surface is of constant curvature. The latter case includes spherically symmetric solutions (sphere S^2 with SO(3)-symmetry group), planar solutions (two-dimensional Euclidean space R^2 with IO(2)-symmetry group), and hyperbolic solutions (two-sheeted hyperboloid H^2 with SO(1,2)-symmetry). Totally, we get 37 topologically different solutions. There is a new one among them, which describes changing topology of space in time already at the classical level.


title: Reversible Formation of Thermoresponsive Binary Particle Gels with Tunable Structural and Mechanical Properties

abstract: We investigate the collective behavior of suspended thermoresponsive microgels, that expel solvent and subsequently decrease in size upon heating. Using a binary mixture of differently thermoresponsive microgels, we demonstrate how distinctly different gel structures form, depending on the heating profile used. Confocal laser scanning microscopy (CLSM) imaging shows that slow heating ramps yield a core-shell network through sequential gelation, while fast heating ramps yield a random binary network through homo-gelation. Here, secondary particles are shown to aggregate in a monolayer fashion upon the first gel, which can be qualitatively reproduced through Brownian dynamics simulations using a model based on a temperature-dependent interaction potential incorporating steric repulsion and van der Waals attraction. Through oscillatory rheology it is shown that secondary microgel deposition enhances the structural integrity of the previously formed single species gel, and the final structure exhibits higher elastic and loss moduli than its compositionally identical homo-gelled counterpart. Furthermore, we demonstrate that aging processes in the scaffold before secondary microgel deposition govern the final structural properties of the bigel, which allows a detailed control over these properties. Our results thus demonstrate how the temperature profile can be used to finely control the structural and mechanical properties of these highly tunable materials.


title: Gradient-Free Multi-Agent Nonconvex Nonsmooth Optimization

abstract: In this paper, we consider the problem of minimizing the sum of nonconvex and possibly nonsmooth functions over a connected multi-agent network, where the agents have partial knowledge about the global cost function and can only access the zeroth-order information (i.e., the functional values) of their local cost functions. We propose and analyze a distributed primal-dual gradient-free algorithm for this challenging problem. We show that by appropriately choosing the parameters, the proposed algorithm converges to the set of first order stationary solutions with a provable global sublinear convergence rate. Numerical experiments demonstrate the effectiveness of our proposed method for optimizing nonconvex and nonsmooth problems over a network.


title: A Cosmological basis for E=mc^2

abstract: The Universe has a gravitational horizon with a radius R_h=c/H coincident with that of the Hubble sphere. This surface separates null geodesics approaching us from those receding, and as free-falling observers within the Friedmann-Lemaitre-Robertson-Walker spacetime, we see it retreating at proper speed c, giving rise to the eponymously named cosmological model R_h=ct. As of today, this cosmology has passed over 25 observational tests, often better than LCDM. The gravitational/Hubble radius R_h therefore appears to be highly relevant to cosmological theory, and in this paper we begin to explore its impact on fundamental physics. We calculate the binding energy of a mass m within the horizon and demonstrate that it is equal to mc^2. This energy is stored when the particle is at rest near the observer, transitioning to a purely kinetic form equal to the particle's escape energy when it approaches R_h. In other words, a particle's gravitational coupling to that portion of the Universe with which it is causally connected appears to be the origin of rest-mass energy.


title: The Field Theory of Specific Heat

abstract: Finite temperature quantum field theory in the heat kernel method is used to study the heat capacity of condensed matter. The lattice heat is treated a la P. Debye as energy of the elastic (sound) waves. The dimensionless functional of free energy is re-derived with a cut-off parameter and used to obtain the specific heat of crystal lattices. The new dimensionless thermodynamical variable is formed as the Planck's inverse temperature divided by the lattice constant. The dimensionless constant, universal for a class of crystal lattices, which determines the low temperature region of molar specific heat, is introduced and tested with the data for diamond lattice crystals. The low temperature asymptotics of specific heat is found to be the fourth power in temperature instead of the cubic power law of the Debye theory. Experimental data for the carbon group elements (silicon, germanium) and other materials decisively confirm the quartic law. The true low temperature regime of specific heat is defined by the surface heat, therefore, it depends on geometrical characteristics of a body, while the absolute zero temperature limit is geometrically forbidden. The limit on a growth of specific heat at temperatures close to critical points, known as the Dulong-Petit law, appears from the lattice constant cut-off. Its value depends on the lattice type and it is the same for materials with the same crystal lattice. The Dulong-Petit values of compounds are equal to those of elements with the same crystal lattice type, if one mole of solid state matter were taken as the Avogadro number of the lattice atoms. This means the Neumann-Kopp rule is valid only in some cases.


title: Effective Rheology of Bi-Viscous Non-Newtonian Fluids in Porous Media

abstract: We model the flow of a bi-viscous non-Newtonian fluid in a porous medium by a square lattice where the links obey a piece-wise linear constitutive equation. We find numerically that the flow regime where the network transitions from all links behaving according to the first linear part of the constitutive equation to all links behaving according to the second linear part of the constitutive equation, is characterized by a critical point. We measure two critical exponents associated with this critical point, one of the being the correlation length exponent. We find that both critical exponents depend on the parameters of the model.


title: Electric charge of black holes: Is it really always negligible?

abstract: We discuss the problem of the third black hole parameter, an electric charge. While the mass and the spin of black holes are frequently considered in the majority of publications, the charge is often neglected and implicitly set identically to zero. However, both classical and relativistic processes can lead to a small non-zero charge of black holes. When dealing with neutral particles and photons, zero charge is a good approximation. On the other hand, even a small charge can significantly influence the motion of charged particles, in particular cosmic rays, in the vicinity of black holes. Therefore, we stress that more attention should be paid to the problem of a black-hole charge and hence, it should not be neglected a priori, as it is done in most astrophysical studies nowadays. The paper looks at the problem of the black-hole charge mainly from the astrophysical point of view, which is complemented by a few historical as well as philosophical notes when relevant. In particular, we show that a cosmic ray or in general elementary charged particles passing a non-neutral black hole can experience an electromagnetic force as much as sixteen times the gravitational force for the mass of the Galactic centre black hole and its charge being seventeen orders of magnitude less than the extremal value (calculated for a proton). Furthermore, a Kerr-Newman rotating black hole with the maximum likely charge of 1 Coulomb per solar mass can have the position of its innermost stable circular orbit (ISCO) moved by both rotation and charge in ways that can enhance or partly cancel each other, putting the ISCO not far from the gravitational radius or out at more than 6 gravitational radii. An interpretation of X-ray radiation from near the ISCO of a black hole in X-ray binaries is then no longer unique.


title: Four-dimensional reflection groups and electrostatics

abstract: We present a new class of electrostatics problems that are exactly solvable by adding finitely many image charges. Given a charge at some location inside a cavity bounded by up to four conducting grounded segments of spheres: if the spheres have a symmetry derived via a stereographic projection from a 4D finite reflection group, then this is a solvable generalization of the familiar problem of a charge inside a spherical cavity. There are 19 three-parametric families of finite groups formed by inversions relative to at most four spheres, each member of each family giving a solvable problem. We solve a sample problem which derives from the reflection group $\mathbf{D}_{4}$ and requires 191 image charges.

categories: physics.class-ph cond-mat.quant-gas math-ph math.MP


title: Thermoelectric and optical probes for a Fermi surface topology change in noncentrosymmetric metals

abstract: Noncentrosymmetric metals such as Li$_2$(Pd$_{1-x}$Pt$_x$)$_3$B have different Fermi surface topology below and above the band touching point where spin-degeneracy is not lifted by the spin-orbit coupling. We investigate thermoelectric and optical response as probes for this Fermi surface topology change. We show that the chemical potential displays a dimensional crossover from a three-dimensional to one-dimensional characteristics as the descending Fermi energy crosses the band touching point. This dimensional crossover is due to the existence of different Fermi surface topology above and below the band touching point. We obtain an exact expression of relaxation time due to short-range scatterer by solving Boltzmann transport equations self-consistently. The thermoelctric power and figure of merit are significantly enhanced as the Fermi energy goes below the band touching point owing to the underlying one-dimensional-like nature of noncentrosymmteric bulk metals. The value of thermoelectric figure of merit goes beyond two as the Fermi energy approaches to the van Hove singularity for lower spin-orbit coupling. Similarly, the studies of the zero-frequency and finite-frequency optical conductivities in the zero-momentum limit reflect the nature of topological change of the Fermi surface. The Hall coefficient and optical absorption width exhibit distinct signatures in response to the changes in Fermi surface topology.