title: A New Theoretical and Technological System of Imprecise-Information Processing

abstract: Imprecise-information processing will play an indispensable role in intelligent systems, especially in the anthropomorphic intelligent systems (as intelligent robots). A new theoretical and technological system of imprecise-information processing has been founded in Principles of Imprecise-Information Processing: A New Theoretical and Technological System[1] which is different from fuzzy technology. The system has clear hierarchy and rigorous structure, which results from the formation principle of imprecise information and has solid mathematical and logical bases, and which has many advantages beyond fuzzy technology. The system provides a technological platform for relevant applications and lays a theoretical foundation for further research.


title: Cyclic completion of the anamorphic universe

abstract: Cyclic models of the universe have the advantage of avoiding initial conditions problems related to postulating any sort of beginning in time. To date, the only known viable examples of cyclic models have been ekpyrotic. In this paper, we show that the recently proposed anamorphic scenario can also be made cyclic. The key to the cyclic completion is a classically stable, non-singular bounce. Remarkably, even though the bounce construction was originally developed to connect a period of contraction with a period of expansion both described by Einstein gravity, we show here that it can naturally be modified to connect an ordinary contracting phase described by Einstein gravity with a phase of anamorphic smoothing. The paper will present the basic principles and steps in constructing cyclic anamorphic models.


title: Local M-estimation with Discontinuous Criterion for Dependent and Limited Observations

abstract: This paper examines asymptotic properties of local M-estimators under three sets of high-level conditions. These conditions are sufficiently general to cover the minimum volume predictive region, conditional maximum score estimator for a panel data discrete choice model, and many other widely used estimators in statistics and econometrics. Specifically, they allow for discontinuous criterion functions of weakly dependent observations, which may be localized by kernel smoothing and contain nuisance parameters whose dimension may grow to infinity. Furthermore, the localization can occur around parameter values rather than around a fixed point and the observation may take limited values, which leads to set estimators. Our theory produces three different nonparametric cube root rates and enables valid inference for the local M-estimators, building on novel maximal inequalities for weakly dependent data. Our results include the standard cube root asymptotics as a special case. To illustrate the usefulness of our results, we verify our conditions for various examples such as the Hough transform estimator with diminishing bandwidth, maximum score-type set estimator, and many others.


title: Full dimensional sets of reals whose sums of partial quotients increase in certain speed

abstract: For a real $x\in(0,1)\setminus\mathbb{Q}$, let $x=[a_1(x),a_2(x),\cdots]$ be its continued fraction expansion. Let $s_n(x)=\sum_{j=1}^n a_j(x)$. The Hausdorff dimensions of the level sets $E_{\varphi(n),\alpha}:=\{x\in(0,1): \lim_{n\rightarrow\infty}\frac{s_n(x)}{\varphi(n)}=\alpha\}$ for $\alpha\geq 0$ and a non-decreasing sequence $\{\varphi(n)\}_{n=1}^\infty$ have been studied by E. Cesaratto, B. Vall\'ee, J. Wu, J. Xu, G. Iommi, T. Jordan, L. Liao, M. Rams \emph{et al}. In this work we carry out a kind of inverse project of their work, that is, we consider the conditions on $\varphi(n)$ under which one can expect a $1$-dimensional set $E_{\varphi(n),\alpha}$. We give certain upper and lower bounds on the increasing speed of $\varphi(n)$ when $E_{\varphi(n),\alpha}$ is of Hausdorff dimension 1 and a new class of sequences $\{\varphi(n)\}_{n=1}^\infty$ such that $E_{\varphi(n),\alpha}$ is of full dimension. There is also a discussion of the problem in the irregular case.


title: Experimentally freezing quantum discord in a dissipative environment using dynamical decoupling

abstract: The discovery of the intriguing phenomenon that certain kinds of quantum correlations remain impervious to noise up to a specific point in time and then suddenly decay, has generated immense recent interest. We exploit dynamical decoupling sequences to prolong the persistence of time-invariant quantum discord in a system of two NMR qubits decohering in independent dephasing environments. We experimentally prepare two-qubit Bell-diagonal quantum states that interact with individual dephasing channels and demonstrate the effect of dynamical decoupling on the preservation of both quantum and classical correlations. We are able to freeze quantum discord over long time scales in the presence of noise, using dynamical decoupling. We use robust state-independent dynamical decoupling schemes for state preservation and demonstrate that these schemes are able to successfully preserve quantum discord.


title: Nonequilibrium steady state of biochemical cycle kinetics under non-isothermal conditions

abstract: Nonequilibrium steady state of isothermal biochemical cycle kinetics has been extensively studied, but much less investigated under non-isothermal conditions. However, once the heat exchange between subsystems is rather slow, the isothermal assumption of the whole system meets great challenge, which is indeed the case inside many kinds of living organisms. Here we generalize the nonequilibrium steady-state theory of isothermal biochemical cycle kinetics, in the master-equation models, to the situation in which the temperatures of subsystems can be far from uniform. We first obtain a new thermodynamic relation between the chemical reaction rates and thermodynamic potentials under such a non-isothermal circumstances, which immediately implies simply applying the isothermal transition-state rate formula for each chemical reaction in terms of only the reactants' temperature, is not thermodynamically consistent. Therefore, we mathematically derive several revised reaction-rate formulas which not only obey the new thermodynamic relation but also approximate the exact reaction rate better than the rate formula under isothermal condition. The new thermodynamic relation also predicts that in the transporter system with different temperatures inside and outside the membrane, the net flux of the transported molecules can possibly even go against the temperature gradient in the absence of the chemical driving force.


title: Dataiku's Solution to SPHERE's Activity Recognition Challenge

abstract: Our team won the second prize of the Safe Aging with SPHERE Challenge organized by SPHERE, in conjunction with ECML-PKDD and Driven Data. The goal of the competition was to recognize activities performed by humans, using sensor data. This paper presents our solution. It is based on a rich pre-processing and state of the art machine learning methods. From the raw train data, we generate a synthetic train set with the same statistical characteristics as the test set. We then perform feature engineering. The machine learning modeling part is based on stacking weak learners through a grid searched XGBoost algorithm. Finally, we use post-processing to smooth our predictions over time.


title: Stochastic Alternating Direction Method of Multipliers with Variance Reduction for Nonconvex Optimization

abstract: In the paper, we study the stochastic alternating direction method of multipliers (ADMM) for the nonconvex optimizations, and propose three classes of the nonconvex stochastic ADMM with variance reduction, based on different reduced variance stochastic gradients. Specifically, the first class called the nonconvex stochastic variance reduced gradient ADMM (SVRG-ADMM), uses a multi-stage scheme to progressively reduce the variance of stochastic gradients. The second is the nonconvex stochastic average gradient ADMM (SAG-ADMM), which additionally uses the old gradients estimated in the previous iteration. The third called SAGA-ADMM is an extension of the SAG-ADMM method. Moreover, under some mild conditions, we establish the iteration complexity bound of $O(1/\epsilon)$ of the proposed methods to obtain an $\epsilon$-stationary solution of the nonconvex optimizations. In particular, we provide a general framework to analyze the iteration complexity of these nonconvex stochastic ADMM methods with variance reduction. Finally, some numerical experiments demonstrate the effectiveness of our methods.


title: Driving field amplitude gauged quantitative inverse spin Hall effect detection

abstract: Spin transport in thin-film materials can be studied by ferromagnetic resonantly (FMR) driven spin pumping of a charge-free spin current which induces an electromotive force through the inverse spin Hall effect (ISHE). For quantitative ISHE experiments, precise control of the FMR driving field amplitude $B_1$ is crucial. This study exploits in situ monitoring of $B_1$ by utilization of electron paramagnetic resonantly (EPR) induced transient nutation of paramagnetic molecules (a 1:1 complex of {\alpha},{\gamma}-bisdiphenylene-{\beta}-phenylallyl and benzene, BDPA) placed as $B_1$ probe in proximity of a NiFe/Pt-based ISHE device. Concurrent to an ISHE experiment, $B_1$ is obtained from the inductively measured BDPA Rabi-nutation frequency. Higher reproducibility is achieved by renormalization of the ISHE voltage to $B_1^2$ with an accuracy that is determined by the homogeneity of the FMR driving field and thus by the applied microwave resonator and ISHE device setup.


title: Image Segmentation Based on the Self-Balancing Mechanism in Virtual 3D Elastic Mesh

abstract: In this paper, a novel model of 3D elastic mesh is presented for image segmentation. The model is inspired by stress and strain in physical elastic objects, while the repulsive force and elastic force in the model are defined slightly different from the physical force to suit the segmentation problem well. The self-balancing mechanism in the model guarantees the stability of the method in segmentation. The shape of the elastic mesh at balance state is used for region segmentation, in which the sign distribution of the points'z coordinate values is taken as the basis for segmentation. The effectiveness of the proposed method is proved by analysis and experimental results for both test images and real world images.


title: Robust force sensing for a free particle in a dissipative optomechanical system with a parametric amplifier

abstract: We theoretically investigate optical detection of a weak classical force acting on a free particle in a dissipative coupling optomechanical system with a degenerate parametric amplifier (PA). We show that the PA allows one to achieve the force sensitivity far better than the standard quantum limit (SQL) over a broad range of the detection frequencies. The improvement depends on the parametric gain and the driving power. Moreover, we discuss the effects of the mechanical damping and the thermal noise on the force sensitivity. We find that the robustness of the force sensitivity much better than the SQL against the mechanical damping and the thermal noise is achievable in the presence of the PA with a high parametric gain. For the temperature $T = 1$ K, the improvement in sensitivity is better by a factor of about 7 when the driving power is set at a value corresponding to the SQL with no PA.


title: Matching of Images with Rotation Transformation Based on the Virtual Electromagnetic Interaction

abstract: A novel approach of image matching for rotating transformation is presented and studied. The approach is inspired by electromagnetic interaction force between physical currents. The virtual current in images is proposed based on the significant edge lines extracted as the fundamental structural feature of images. The virtual electromagnetic force and the corresponding moment is studied between two images after the extraction of the virtual currents in the images. Then image matching for rotating transformation is implemented by exploiting the interaction between the virtual currents in the two images to be matched. The experimental results prove the effectiveness of the novel idea, which indicates the promising application of the proposed method in image registration.


title: Conic James' Compactness Theorem

abstract: Our main result is the following: {\it Let $E$ be a Banach space and $D$ be a weakly compact subset of $E$ with $0\notin D$. If $A$ is a bounded subset of $E$ such that every $x^*\in E^*$ with $x^*(D) >0$ attains its supremum on $A$, then $A$ is weakly relatively compact.}


title: Controllable deposition of titanium dioxides onto carbon nanotubes in aqueous solutions

abstract: Within the field of nanotechnology, nano-scale composites have significant potential in the development of advanced materials for functional applications. Here, composites based on carbon nanotubes and titanium dioxides have been prepared with titanyl sulfate using a chemical bath deposition method at or near room temperature. Two kinds of titanium dioxide depositions corresponding to rutile and anatase were sheathed on carbon nanotubes evenly by adjusting the precursor concentration and temperature. Possible composite mechanisms are discussed. Compared with original tubes, the specific surface areas have been improved nearly four times and the content ratio of mesostructures has also been increased after deposition processes.


title: Vehicle-to-Vehicle Communications with Urban Intersection Path Loss Models

abstract: Vehicle-to-vehicle (V2V) communication can improve road safety and traffic efficiency, particularly around critical areas such as intersections. We analytically derive V2V success probability near an urban intersection, based on empirically supported line-of-sight (LOS), weak-line-of-sight (WLOS), and non-line-of-sight (NLOS) channel models. The analysis can serve as a preliminary design tool for performance assessment over different system parameters and target performance requirements.


title: Liouville first passage percolation: geodesic length exponent is strictly larger than 1 at high temperatures

abstract: Let $\{\eta(v): v\in V_N\}$ be a discrete Gaussian free field in a two-dimensional box $V_N$ of side length $N$ with Dirichlet boundary conditions. We study the Liouville first passage percolation, i.e., the shortest path metric where each vertex is given a weight of $e^{\gamma \eta(v)}$ for some $\gamma>0$. We show that for sufficiently small but fixed $\gamma>0$, with probability tending to $1$ as $N\to \infty$, all geodesics between vertices of macroscopic Euclidean distances simultaneously have (the conjecturally unique) length exponent strictly larger than 1.


title: Origin of magnetic anisotropy in doped Ce$_2$Co$_{17}$ alloys

abstract: Magnetocrystalline anisotropy (MCA) in doped Ce$_{2}$Co$_{17}$ and other competing structures was investigated using density functional theory. We confirmed that the MCA contribution from dumbbell Co sites is very negative. Replacing Co dumbbell atoms with a pair of Fe or Mn atoms greatly enhance the uniaxial anisotropy, which agrees quantitatively with experiment, and this enhancement arises from electronic-structure features near the Fermi level, mostly associated with dumbbell sites. With Co dumbbell atoms replaced by other elements, the variation of anisotropy is generally a collective effect and contributions from other sublattices may change significantly. Moreover, we found that Zr doping promotes the formation of 1-5 structure that exhibits a large uniaxial anisotropy, such that Zr is the most effective element to enhance MCA in this system.


title: Trajectory Prediction of Rotating Objects in Viscous Fluid: Based on Kinematic Investigation of Magnus Glider

abstract: The case of a rotating object traveling through viscous fluid appears in many phenomena like the banana ball and missile movement. In this work, we build a model to predict the trajectory of such rotating objects with near-cylinder geometry. The analytical expression of Magnus force is given and a wind tunnel experiment is carried out, which shows the Magnus force is well proportional to the product of angular velocity and centroid velocity. The trajectory prediction is consistent with the trajectory record experiment of Magnus glider, which implies the validity and robustness of this model.


title: Inverse Diffusion Curves using Shape Optimization

abstract: The inverse diffusion curve problem focuses on automatic creation of diffusion curve images that resemble user provided color fields. This problem is challenging since the 1D curves have a nonlinear and global impact on resulting color fields via a partial differential equation (PDE). We introduce a new approach complementary to previous methods by optimizing curve geometry. In particular, we propose a novel iterative algorithm based on the theory of shape derivatives. The resulting diffusion curves are clean and well-shaped, and the final image closely approximates the input. Our method provides a user-controlled parameter to regularize curve complexity, and generalizes to handle input color fields represented in a variety of formats.


title: Reconstruction of colourings without freezing

abstract: We prove that reconstruction in the $k$-colouring model occurs strictly below the threshold for freezing for large $k$.


title: An introduction to Ulrich bundles

abstract: After recalling the definition and basic properties of Ulrich bundles, we focus on the existence problem: does any smooth projective variety carry a Ulrich bundle? We show that the Serre construction provides a positive answer on certain surfaces and threefolds.


title: Probing the magnetic fields in L1415 and L1389

abstract: We present the R-band polarimetric results towards two nebulae L1415 and L1389 containing low luminosity stars. Aim of this study is to understand the role played by magnetic fields in formation of low luminosity objects. Linear polarization arise due to dichroism of the background starlight projected on the cloud providing the plane-of-the sky magnetic field orientation. The offsets between mean magnetic field directions obtained towards L1415 and L1389 and the projected outflow axes are found to be 35$^{\circ}$ and 12$^{\circ}$, respectively. The offset between cloud minor axes and mean envelope magnetic field direction in L1415 and L1389 are 50$^{\circ}$ and 87$^{\circ}$, respectively. To estimate the magnetic field strength by using the updated Chandrasekhar-Fermi relation, we obtained the $^{12}$CO(J=1-0) line velocity dispersion value towards L1415 cloud using the TRAO single dish observations. The values of B$_{pos}$ in L1415 and L1389 are found to be 28$~\mu$G and 149$~\mu$G using CF technique and 23$~\mu$G and 140$~\mu$G using structure function analysis, respectively. The values of B$_{pos}$ in these clouds are found to be consistent using both the techniques. By combining the present results with those obtained from our previous study of magnetic fields in cores with VeLLOs, we attempt to improve the sample of cores with low luminosity protostars and bridge the gap between the understanding of importance of magnetic fields in cores with VeLLOs and low luminosity protostars. The Results of this work and that of our previous work show that the outflow directions are aligned with envelope magnetic fields of the clouds.


title: The SAMI Galaxy Survey: Asymmetry in Gas Kinematics and its links to Stellar Mass and Star Formation

abstract: We study the properties of kinematically disturbed galaxies in the SAMI Galaxy Survey using a quantitative criterion, based on kinemetry (Krajnovic et al.). The approach, similar to the application of kinemetry by Shapiro et al. uses ionised gas kinematics, probed by H{\alpha} emission. By this method 23+/-7% of our 360-galaxy sub-sample of the SAMI Galaxy Survey are kinematically asymmetric. Visual classifications agree with our kinemetric results for 90% of asymmetric and 95% of normal galaxies. We find stellar mass and kinematic asymmetry are inversely correlated and that kinematic asymmetry is both more frequent and stronger in low-mass galaxies. This builds on previous studies that found high fractions of kinematic asymmetry in low mass galaxies using a variety of different methods. Concentration of star forma- tion and kinematic disturbance are found to be correlated, confirming results found in previous work. This effect is stronger for high mass galaxies (log(M*) > 10) and indicates that kinematic disturbance is linked to centrally concentrated star formation. Comparison of the inner (within 0.5Re) and outer H{\alpha} equivalent widths of asymmetric and normal galaxies shows a small but significant increase in inner equivalent width for asymmetric galaxies.


title: Prime powers in sums of terms of binary recurrence sequences

abstract: Let $\{u_{n}\}_{n \geq 0}$ be a non-degenerate binary recurrence sequence with positive, square-free discriminant and $p$ be a fixed prime number. In this paper, we have shown the finiteness result for the solutions of the Diophantine equation $u_{n_{1}} + u_{n_{2}} + \cdots + u_{n_{t}} = p^{z}$ with some conditions on $n_i $ for all $1\leq i \leq t$. Moreover, we explicitly find all the powers of three which are sums of three balancing numbers using the lower bounds for linear forms in logarithms. Further, we use a variant of Baker-Davenport reduction method in Diophantine approximation due to Dujella and Peth\H{o}.


title: The Halos and Environments of Nearby Galaxies (HERON) Survey

abstract: We have used dedicated 0.7m telescopes in California and Israel to image the halos of ~200 galaxies in the Local Volume to 29 mag/sq arcsec, the sample mainly drawn from the 2MASS Large Galaxy Atlas (LGA). We supplement the LGA sample with dwarf galaxies and more distant giant ellipticals. Low surface brightness halos exceeding 50 kpc in diameter are found only in galaxies more luminous than L* and classic interaction signatures are relatively infrequent. Halo diameter is correlated with total galaxy luminosity. Extended low surface brightness halos are present even in galaxies as faint as M_V=-18. Edge-on galaxies with boxy bulges tend to lack extended spheroidal halos, while those with large classical bulges exhibit extended round halos, supporting the notions that boxy or barlike bulges originate from disks. Most face-on spiral galaxies present features that appear to be irregular extensions of spiral arms, although rare cases show smooth boundaries with no sign of star formation. Although we serendipitously discovered a dwarf galaxy undergoing tidal disruption in the halo of NGC 4449, we found no comparable examples in our general survey. A search for similar examples in the Local Volume identified hcc087, a tidally disrupting dwarf galaxy in the Hercules Cluster, but we do not confirm an anomalously large half-light radius reported for the dwarf VCC 1661.


title: Otto refrigerator based on a superconducting qubit: classical and quantum performance

abstract: We analyse a quantum Otto refrigerator based on a superconducting qubit coupled to two LC-resonators each including a resistor acting as a reservoir. We find various operation regimes: nearly adiabatic (low driving frequency), ideal Otto cycle (intermediate frequency), and non-adiabatic coherent regime (high frequency). In the nearly adiabatic regime, the cooling power is quadratic in frequency, and we find substantially enhanced coefficient of performance $\epsilon$, as compared to that of an ideal Otto cycle. Quantum coherent effects lead invariably to decrease in both cooling power and $\epsilon$ as compared to purely classical dynamics. In the non-adiabatic regime we observe strong coherent oscillations of the cooling power as a function of frequency. We investigate various driving waveforms: compared to the standard sinusoidal drive, truncated trapezoidal drive with optimized rise and dwell times yields higher cooling power and efficiency.


title: LHC production of forward-center and forward-forward di-jets in the $k_t$-factorization $unintegrated$ parton distribution frameworks

abstract: The present work is devoted to study the high-energy $QCD$ events, such as the di-jet productions from proton-proton inelastic collisions at the $LHC$ in the forward-center and the forward-forward configurations, using the $unintegrated$ parton distribution functions ($UPDF$) in the $k_t$-factorization framework. The $UPDF$ of $Kimber$ et. al. ($KMR$) and $Martin$ et.al. ($MRW$) are generated in the leading order ($LO$) and next-to-leading order ($NLO$), using the $Harland-Lang$ et al. ($MMHT2014$) $PDF$ libraries. While working in the forward-center and the forward-forward rapidity sectors, one can probe the parton densities at very low longitudinal momentum fractions ($x$). Therefore, such a computation can provide a valuable test-field for these $UPDF$. We find very good agreement with the corresponding di-jet production data available from $LHC$ experiments. On the other hand, as we have also stated in our previous works, (i.e. the protons longitudinal and transverse structure function as well as hadron-hadron $LHC$ $W/Z$ production), the present calculations based on the $KMR$ prescriptions show a better agreement with the corresponding experimental data. This conclusion is achieved, due to the particular visualization of the angular ordering constraint ($AOC$), despite the fact that the $LO-MRW$ and the $NLO-MRW$ formalisms both employ better theoretical descriptions of the $Dokshitzer$-$Gribov$-$Lipatov$ -$Altarelli$-$Parisi$ ($DGLAP$) evolution equation, and hence are expected to produce better results. The form of the $AOC$ in the $KMR$ prescription automatically includes the re-summation of the higher-order $ln({1/x})$ type contributions, i.e. the $Balitski$-$Fadin$-$Kuraev$-$Lipatov$ ($BFKL$) logarithms, in the $LO$-$DGLAP$ evolution equation.


title: Integration by Parts formula for SPDEs with Multiplicative Noise and its Applications

abstract: By using the Malliavin calculus, the Driver-type integration by parts formula is established for the semigroup associated to to SPDEs with Multiplicative Noise. Moreover, estimates on the density of heat kernel w.r.t. Lebesgue measure are obtained in finite dimension case.


title: Atomic size zone interaction potential between two ground-state cold atoms

abstract: The complex-source-point model are already used in the exact solution for the urtrashort pulse and nonparaxial beam. In this letter we have used the complex-source-point model to deduce the interaction potential equation for the separation R between two atoms which is comparable with the size of the atoms. We show the result and the characteristics of the numerical calculation. Since the singular point around R=0 is removed by using the complex-source-point model, so that we can obtain the result force around R=0. With the decreasing of the distance between two atoms, the force switches from the electromagnetic force to the strong force by use our equation.


title: Reconstructing sparse exponential polynomials from samples: Stirling numbers and Hermite interpolation

abstract: Prony's method, in its various concrete algorithmic realizations, is concerned with the reconstruction of a sparse exponential sum from integer samples. In several variables, the reconstruction is based on finding the variety for a zero dimensional radical ideal. If one replaces the coefficients in the representation by polynomials, i.e., tries to recover sparse exponential polynomials, the zeros associated to the ideal have multiplicities attached to them . The precise relationship between the coefficients in the exponential polynomial and the multiplicity spaces are pointed out in this paper.


title: The Role of Information in System Stability with Partially Observable Servers

abstract: We consider a simple discrete-time controlled queueing system, where the controller has a choice of which server to use at each time slot and server performance varies according to a Markov modulated random environment. We explore the role of information in the system stability region. At the extreme cases of information availability, that is when there is either full information or no information, stability regions and maximally stabilizing policies are trivial. But in the more realistic cases where only the environment state of the selected server is observed, only the service successes are observed or only queue length is observed, finding throughput maximizing control laws is a challenge. To handle these situations, we devise a Partially Observable Markov Decision Process (POMDP) formulation of the problem and illustrate properties of its solution. We further model the system under given decision rules, using Quasi-Birth-and-Death (QBD) structure to find a matrix analytic expression for the stability bound. We use this formulation to illustrate how the stability region grows as the number of controller belief states increases. Our focus in this paper is on the simple case of two servers where the environment of each is modulated according to a two-state Markov chain. As simple as this case seems, there appear to be no closed form descriptions of the stability region under the various regimes considered. Our numerical approximations to the POMDP Bellman equations and the numerical solutions of the QBDs hint at a variety of structural results.


title: Specialization map between stratified bundles and pro-\'etale fundamental group

abstract: Given a projective family of semi-stable curves over a complete discrete valuation ring of characteristic p with algebraically closed residue field, we construct a specialization functor between the category of continuous representations of the pro-\'etale fundamental group of the closed fibre and the category of stratified bundles on the geometric generic fibre. By Tannakian duality, this functor induces a morphism between the corresponding affine group schemes. We show that this morphism is a lifting of the specialization map, constructed by Grothendieck, between the \'etale fundamental groups.


title: White matter biomarkers from fast protocols using axially symmetric diffusion kurtosis imaging

abstract: White matter tract integrity (WMTI) can characterize brain microstructure in areas with highly aligned fiber bundles. Several WMTI biomarkers have now been validated against microscopy and provided promising results in studies of brain development and aging, and in a number of brain disorders. Currently, WMTI is mostly used in dedicated animal studies and clinical studies of slowly progressing diseases but has not yet emerged as a routine clinical tool. To this end, a less data intensive experimental method would be beneficial by enabling high resolution validation studies, and ease clinical applications by speeding up data acquisition compared to typical diffusion kurtosis imaging (DKI) protocols utilized as part of WMTI imaging. Here, we evaluate WMTI based on recently introduced axially symmetric DKI which has lower data demand than conventional DKI. We compare WMTI parameters derived from conventional DKI to those calculated analytically from axially symmetric DKI. We employ numerical simulations, as well as data from fixed rat spinal cord (1) and in vivo human (3) and rat brain (4). Our analysis shows that analytical WMTI based on axially symmetric DKI with sparse data sets (19 images) produces WMTI metrics that correlate strongly with estimates based on traditional DKI data sets (60 images or more). We demonstrate the preclinical potential of the proposed WMTI technique in in vivo rat brain (300 {\mu}m isotropic resolution with whole brain coverage). WMTI parameter estimates are subject to a duality leading to two solution branches dependent on a sign choice which is currently debated. Results from both of these branches are presented and discussed throughout our analysis. The proposed fast WMTI approach may be useful for preclinical research and e.g. clinical evaluation of patients with traumatic white matter injuries or symptoms of neurovascular or neuroinflammatory disorders.


title: Modelling quantum black hole

abstract: Novel bound states are obtained for manifolds with singular potentials. These singular potentials require proper boundary conditions across boundaries. The number of bound states match nicely with what we would expect for black holes. Also they serve to model membrane mechanism for the black hole horizons in simpler contexts. The singular potentials can also mimic expanding boundaries elegantly, there by obtaining appropriately tuned radiation rates.


title: Reconstructing the Star Knowledge of Aboriginal Tasmanians

abstract: The canopy of stars is a central presence in the daily and spiritual lives of Aboriginal Tasmanians. With the arrival of European colonists, Tasmanian astronomical knowledge and traditions were interrupted and dispersed. Fragments can be found scattered in the ethnographic and historical record throughout the nineteenth century. We draw from ethnohistorical documents to analyse and reconstruct Aboriginal astronomical knowledge in Tasmania. This analysis demonstrates that stars, the Milky Way, constellations, dark nebula, the Sun, Moon, meteors, and aurorae held cultural, spiritual, and subsistence significance within the Aboriginal cultures of Tasmania. We move beyond a monolithic view of Aboriginal astronomical knowledge in Tasmania, commonly portrayed in previous research, to lay the groundwork for future ethnographic and archaeological fieldwork with Aboriginal elders and communities.


title: Degenerate $C$-distribution semigroups in locally convex spaces

abstract: The main purpose of this paper is to investigate degenerate $C$-distribution semigroups in the setting of barreled sequentially complete locally convex spaces. In our approach, the infinitesimal generator of a degenerate $C$-distribution semigroup is a multivalued linear operator and the regularizing operator $C$ is not necessarily injective. We provide a few important theoretical novelties, considering also exponential subclasses of degenerate $C$-distribution semigroups.


title: Electoral Competition under Best-Worst Voting Rules

abstract: We characterise multi-candidate pure-strategy equilibria in the Hotelling-Downs spatial election model for the class of best-worst voting rules, in which each voter is endowed with both a positive and a negative vote, i.e., each voter can vote in favour of one candidate and against another one. The weights attached to positive and negative votes in calculating a candidate's net score may be different, so that a negative vote and a positive vote need not cancel out exactly. These rules combine the first-place seeking incentives of plurality with the incentives to avoid being ranked last of anti-plurality. We show that these rules generally admit equilibria, which are nonconvergent if and only if the importance of a positive vote exceeds that of a negative vote. The set of equilibria in the latter case is very similar to that of plurality, except that the platforms are less extreme due to the moderating effect of negative votes. Moreover, any degree of dispersion between plurality, at one extreme, and full convergence, at the other, can be attained for the correct choice of the weights.


title: Degenerate $C$-ultradistribution semigroups in locally convex spaces

abstract: The main subject in this paper are degenerate $C$-ultradistribution semigroups in barreled sequentially complete locally convex spaces. Here, the regularizing operator $C$ is not necessarily injective and the infinitesimal generator is multivalued linear operator. We also consider exponential degenerate $C$-ultradistribution semigroups.


title: Quasi-equicontinous exponential families of generalized function $C$-semigroups in locally convex spaces

abstract: Our main goal in this paper is to investigate the (q-)exponential $C$-distribution semigroups and (q-)exponential $C$-ultradistribution semigroups in the setting of sequentially complete locally convex spaces. We contribute to previous work and the work of many other authors, providing additionally plenty of various examples and applications of obtained results.


title: Distribution of spin-axes longitudes and shape elongations of main-belt asteroids

abstract: Context: Large all-sky surveys provide us with a lot of photometric data that are sparse in time (typically few measurements per night) and can be potentially used for the determination of shapes and rotational states of asteroids. The method which is generally used to derive these parameters is the lightcurve inversion. However, for most asteroids their sparse data are not accurate enough to derive a unique model and the lightcurve inversion method is thus not very efficient. Aims: To fully utilize photometry sparse in time, we developed a new simplified model and applied it on the data from the Lowell photometric database. Our aim was to derive spin axis orientations and shape elongations of asteroids and to reconstruct distributions of these parameters for selected subpopulations to find if there are some differences. Methods: We model asteroids as geometrically scattering triaxial ellipsoids. Observed values of mean brightness and the dispersion of brightness are compared with computed values obtained from the parameters of the model -- ecliptical longitude $\lambda$ and latitude $\beta$ of the pole and the ratios $a/b$, $b/c$ of axes of the ellipsoid. These parameters are optimized to get the best agreement with the observation. Results: We found that the distribution of $\lambda$ for main-belt asteroids is not uniform (in agreement with findings of Bowell et al., 2014, M&PS, 49, 95) and is dependent on the inclination of orbit. Surprisingly, the non-uniformity of $\lambda$ distribution is larger for asteroids residing on low-inclination orbits. We also studied distributions of $a/b$ for several groups of asteroids and found that small asteroids ($D<25\,$km) are on average more elongated than large ones.


title: $C$-distribution semigroups and $C$-ultradistribution semigroups in locally convex spaces

abstract: The main purpose of this paper is to investigate $C$-distribution semigroups and $C$-ultradistribution semigroups in the setting of sequentially complete locally convex spaces. There are a few important theoretical novelties in this field and there are given some interesting examples.


title: Transverse phase space and its multipole decomposition

abstract: Relativistic phase space distributions are very interesting objects as they allow one to gather the information extracted from various types of experiments into a single coherent picture. Focusing on the four-dimensional transverse phase space, we identified all the possible angular correlations providing at the same time a clear physical interpretation of all the leading-twist generalized and transverse-momentum dependent parton distributions. We also developed a convenient representation of this four-dimensional space.


title: Precise observations of the 12C/13C ratios of HC3N in the low-mass star-forming region L1527

abstract: Using the Green Bank 100 m telescope and the Nobeyama 45 m telescope, we have observed the rotational emission lines of the three 13C isotopic species of HC3N in the 3 and 7 mm bands toward the low-mass star-forming region L1527 in order to explore their anomalous 12C/13C ratios. The column densities of the 13C isotopic species are derived from the intensities of the J = 5-4 lines observed at high signal-to-noise ratios. The abundance ratios are determined to be 1.00:1.01 +- 0.02:1.35 +- 0.03:86.4 +- 1.6 for [H13CCCN]:[HC13CCN]:[HCC13CN]:[HCCCN], where the errors represent one standard deviation. The ratios are very similar to those reported for the starless cloud, Taurus Molecular Cloud-1 Cyanopolyyne Peak (TMC-1 CP). These ratios cannot be explained by thermal equilibrium, but likely reflect the production pathways of this molecule. We have shown the equality of the abundances of H13CCCN and HC13CCN at a high-confidence level, which supports the production pathways of HC3N via C2H2 and C2H2+. The average 12C/13C ratio for HC3N is 77 +- 4, which may be only slightly higher than the elemental 12C/13C ratio. Dilution of the 13C isotope in HC3N is not as significant as that in CCH or c-C3H2. We have also simultaneously observed the DCCCN and HCCC15N lines and derived the isotope ratios: [DCCCN]/[HCCCN] = 0.0370 +- 0.0007 and [HCCCN]/[HCCC15N] = 338 +- 12.


title: Performance study of acoustophoretic microfluidic silicon-glass devices by characterization of material- and geometry-dependent frequency spectra

abstract: The mechanical and electrical response of acoustophoretic microfluidic devices attached to an ac-voltage-driven piezoelectric transducer is studied by means of numerical simulations. The governing equations are formulated in a variational framework that, introducing Lagrangian and Hamiltonian densities, is used to derive the weak form for the finite element discretization of the equations and to characterize the device response in terms of frequency-dependent figures of merit or indicators. The effectiveness of the device in focusing microparticles is quantified by two mechanical indicators: the average direction of the pressure gradient and the amount of acoustic energy localized in the microchannel. Further, we derive the relations between the Lagrangian, the Hamiltonian and three electrical indicators: the resonance Q-value, the impedance and the electric power. The frequency response of the hard-to-measure mechanical indicators is correlated to that of the easy-to-measure electrical indicators, and by introducing optimality criteria, it is clarified to which extent the latter suffices to identify optimal driving frequencies as the geometric configuration and the material parameters vary.


title: Measuring correlations of cold atom systems using multiple quantum probes

abstract: We present a non-destructive method to probe a complex quantum system using multiple impurity atoms as quantum probes. Our protocol provides access to different equilibrium properties of the system by changing its coupling to the probes. In particular, we show that measurements with two probes reveal the system's non-local two-point density correlations, for probe-system contact interactions. We illustrate our findings with analytic and numerical calculations for the Bose-Hubbard model in the weakly and strongly-interacting regimes, under conditions relevant to ongoing experiments in cold atom systems.


title: Modeling of Spatial Uncertainties in the Magnetic Reluctivity

abstract: In this paper a computationally efficient approach is suggested for the stochastic modeling of an inhomogeneous reluctivity of magnetic materials. These materials can be part of electrical machines, such as a single phase transformer (a benchmark example that is considered in this paper). The approach is based on the Karhunen-Lo\`{e}ve expansion. The stochastic model is further used to study the statistics of the self inductance of the primary coil as a quantity of interest.


title: Guidance algorithm for smooth trajectory tracking of a fixed wing UAV flying in wind flows

abstract: This paper presents an algorithm for solving the problem of tracking smooth curves by a fixed wing unmanned aerial vehicle travelling with a constant airspeed and under a constant wind disturbance. The algorithm is based on the idea of following a guiding vector field which is constructed from the implicit function that describes the desired (possibly time-varying) trajectory. The output of the algorithm can be directly expressed in terms of the bank angle of the UAV in order to achieve coordinated turns. Furthermore, the algorithm can be tuned offline such that physical constraints of the UAV, e.g. the maximum bank angle, will not be violated in a neighborhood of the desired trajectory. We provide the corresponding theoretical convergence analysis and performance results from actual flights.


title: K-homology and K-theory for the lamplighter groups of finite groups

abstract: Let $F$ be a finite group. We consider the lamplighter group $L=F\wr\mathbb{Z}$ over $F$. We prove that $L$ has a classifying space for proper actions $\underline{E} L$ which is a complex of dimension two. We use this to give an explicit proof of the Baum-Connes conjecture (without coefficients), that states that the assembly map $\mu_i^L:K_i^L(\underline{E} L)\rightarrow K_i(C^*L)\;(i=0,1)$ is an isomorphism. Actually, $K_0(C^*L)$ is free abelian of countable rank, with an explicit basis consisting of projections in $C^*L$, while $K_1(C^*L)$ is infinite cyclic, generated by the unitary of $C^*L$ implementing the shift. Finally we show that, for $F$ abelian, the $C^*$-algebra $C^*L$ is completely characterized by $|F|$ up to isomorphism.


title: A Five-Freedom Active Damping and Alignment Device Used in the Joule Balance

abstract: Damping devices are necessary for suppressing the undesired coil motions in the watt/joule balance. In this paper, an active electromagnetic damping device, located outside the main magnet, is introduced in the joule balance project. The presented damping device can be used in both dynamic and static measurement modes. With the feedback from a detection system, five degrees of freedom of the coil, i.e. the horizontal displacement $x$, $y$ and the rotation angles $\theta_x$, $\theta_y$, $\theta_z$, can be controlled by the active damping device. Hence, two functions, i.e. suppressing the undesired coil motions and reducing the misalignment error, can be realized with this active damping device. The principle, construction and performance of the proposed active damping device are presented.


title: Cross-layer Transmission Design for Tactile Internet

abstract: To ensure the low end-to-end (E2E) delay for tactile internet, short frame structures will be used in 5G systems. As such, transmission errors with finite blocklength channel codes should be considered to guarantee the high reliability requirement. In this paper, we study cross-layer transmission optimization for tactile internet, where both queueing delay and transmission delay are accounted for in the E2E delay, and different packet loss/error probabilities are considered to characterize the reliability. We show that the required transmit power becomes unbounded when the allowed maximal queueing delay is shorter than the channel coherence time. To satisfy quality-of-service requirement with finite transmit power, we introduce a proactive packet dropping mechanism, and optimize a queue state information and channel state information dependent transmission policy. Since the resource and policy for transmission and the packet dropping policy are related to the packet error probability, queueing delay violation probability, and packet dropping probability, we optimize the three probabilities and obtain the policies related to these probabilities. We start from single-user scenario and then extend our framework to the multi-user scenario. Simulation results show that the optimized three probabilities are in the same order of magnitude. Therefore, we have to take into account all these factors when we design systems for tactile internet applications.


title: STASH: Securing transparent authentication schemes using prover-side proximity verification

abstract: Transparent authentication (TA) schemes are those in which a user is authenticated by a verifier without requiring explicit user interaction. By doing so, those schemes promise high usability and security simultaneously. The majority of TA implementations rely on the received signal strength as an indicator for the proximity of a user device (prover). However, such implicit proximity verification is not secure against an adversary who can relay messages over a larger distance. In this paper, we propose a novel approach for thwarting relay attacks in TA schemes: the prover permits access to authentication credentials only if it can confirm that it is near the verifier. We present STASH, a system for relay-resilient transparent authentication in which the prover does proximity verification by comparing its approach trajectory towards the intended verifier with known authorized reference trajectories. Trajectories are measured using low-cost sensors commonly available on personal devices. We demonstrate the security of STASH against a class of adversaries and its ease-of-use by analyzing empirical data, collected using a STASH prototype. STASH is efficient and can be easily integrated to complement existing TA schemes.


title: ASTE Observation of Jupiter's Stratospheric Composition: Detection of Carbon Monosulfide ($J$=7--6) in 19 Years After the Cometary Impact

abstract: In Jupiter's stratosphere, gaseous carbon monosulfide (CS) was first discovered in 1994 by millimeter and ultraviolet observations as a product induced by the collision of comet Shoemaker-Levy 9 (SL9). {To constrain sulfur chemistry, in 2013, 19 years after the SL9 event, we observed Jupiter's stratospheric CS $J$=7 -- 6 rotational transition at 0.8 mm wavelength by using the Atacama Submillimeter Telescope Experiment (ASTE) 10-m single dish telescope. The CS molecular line was successfully detected with 120 mK intensity in the antenna temperature scale. The obtained CS total mass shows $\sim$90$\%$ decrease relative to that observed in 1998. From the line shape analysis, CS is suggested to be present above the 0.2$^{+0.4}_{-0.15}$ mbar pressure level, which is comparable to that of determined in 1998 which was provided by SL9 along with CS, was observed up to the 2.0 mbar pressure region. The discrepancy of CS vertical distribution with \ce{H2O} and the decrease in its total mass may be attributed to the chemical loss of CS in Jupiter's stratosphere lower than the 0.2 mbar altitude region.


title: Phase diagram for the O(n) model with defects of "random local field" type and verity of the Imry-Ma theorem

abstract: It is shown that the Imry-Ma theorem stating that in space dimensions d<4 the introduction of an arbitrarily small concentration of defects of the "random local field" type in a system with continuous symmetry of the n-component vector order parameter (O(n)model) leads to the long-range order collapse and to the occurrence of a disordered state, is not true if the anisotropic distribution of the defect-induced random local field directions in the n-dimensional space of the order parameter leads to the defect-induced effective anisotropy of the "easy axis" type. For a weakly anisotropic field distribution, in space dimensions 2<d<4 there exists some critical defect concentration, above which the inhomogeneous Imry-Ma state can exist as an equilibrium one. At lower defect concentration the long-range order takes place in the system. For a strongly anisotropic field distribution, the Imry-Ma state is suppressed completely and the long-range order state takes place at any defect concentration.


title: The PANDA Experiment at FAIR - Subatomic Physics with Antiprotons

abstract: The non-perturbative nature of the strong interaction leads to spectacular phenomena, such as the formation of hadronic matter, color confinement, and the generation of the mass of visible matter. To get deeper insight into the underlying mechanisms remains one of the most challenging tasks within the field of subatomic physics. The antiProton ANnihilations at DArmstadt (PANDA) collaboration has the ambition to address key questions in this field by exploiting a cooled beam of antiprotons at the High Energy Storage Ring (HESR) at the future Facility for Antiproton and Ion Research (FAIR) combined with a state-of-the-art and versatile detector. This contribution will address some of the unique features of PANDA that give rise to a promising physics program together with state-of-the-art technological developments.


title: Nanoporous ionic organic networks: from synthesis to materials applications

abstract: The past decade has witnessed the rapid progress in synthesizing nanoporous organic networks or polymer frameworks for various potential applications. Generally speaking, functionalization of porous networks to add extra properties and enhance materials performance could be achieved either during the pore formation (thus a concurrent approach) or post-synthetic modification (a sequential approach). Nanoporous organic networks which include ion pairs in a covalent manner are of special importance and possess extreme application profiles. Within these nanoporous ionic organic networks (NIONs), here with a pore size in the range from sub-1 nm to 100 nm, we observe a synergistic coupling of the electrostatic interaction of charges, the nanoconfinement within pores and the addressable functional units in soft matter resulting in a wide variety of functions and applications, above all catalysis, energy storage and conversion, as well as environmental operations. This review aims to highlight the recent progress in this area, and seeks to raise original perspectives that will stimulate future advancements at both the fundamental and applied level.


title: Modelling Sentence Pairs with Tree-structured Attentive Encoder

abstract: We describe an attentive encoder that combines tree-structured recursive neural networks and sequential recurrent neural networks for modelling sentence pairs. Since existing attentive models exert attention on the sequential structure, we propose a way to incorporate attention into the tree topology. Specially, given a pair of sentences, our attentive encoder uses the representation of one sentence, which generated via an RNN, to guide the structural encoding of the other sentence on the dependency parse tree. We evaluate the proposed attentive encoder on three tasks: semantic similarity, paraphrase identification and true-false question selection. Experimental results show that our encoder outperforms all baselines and achieves state-of-the-art results on two tasks.


title: Robust Bayesian Compressed sensing

abstract: We consider the problem of robust compressed sensing whose objective is to recover a high-dimensional sparse signal from compressed measurements corrupted by outliers. A new sparse Bayesian learning method is developed for robust compressed sensing. The basic idea of the proposed method is to identify and remove the outliers from sparse signal recovery. To automatically identify the outliers, we employ a set of binary indicator hyperparameters to indicate which observations are outliers. These indicator hyperparameters are treated as random variables and assigned a beta process prior such that their values are confined to be binary. In addition, a Gaussian-inverse Gamma prior is imposed on the sparse signal to promote sparsity. Based on this hierarchical prior model, we develop a variational Bayesian method to estimate the indicator hyperparameters as well as the sparse signal. Simulation results show that the proposed method achieves a substantial performance improvement over existing robust compressed sensing techniques.


title: On massless dyadic forms and no minimal coupling theorem

abstract: We use the spinor helicity formalism in order to derive the dyadic forms for massless fields of various spins. We also give an iterated form of this approach in case higher spin theories are under study. This reduces calculations at hard and soft scattering problems in gauge theories drastically. Finally, we state and prove a theorem of gauge symmetry violation in the presence of minimal coupling with light in higher spin theories ($j>1/2$).


title: Energy Efficient Design for Tactile Internet

abstract: Ensuring the ultra-low end-to-end latency and ultrahigh reliability required by tactile internet is challenging. This is especially true when the stringent Quality-of-Service (QoS) requirement is expected to be satisfied not at the cost of significantly reducing spectral efficiency and energy efficiency (EE). In this paper, we study how to maximize the EE for tactile internet under the stringent QoS constraint, where both queueing delay and transmission delay are taken into account. We first validate that the upper bound of queueing delay violation probability derived from the effective bandwidth can be used to characterize the queueing delay violation probability in the short delay regime for Poisson arrival process. However, the upper bound is not tight for short delay, which leads to conservative designs and hence leads to wasting energy. To avoid this, we optimize resource allocation that depends on the queue state information and channel state information. Analytical results show that with a large number of transmit antennas the EE achieved by the proposed policy approaches to the EE limit achieved for infinite delay bound, which implies that the policy does not lead to any EE loss. Simulation and numerical results show that even for not-so-large number of antennas, the EE achieved by the proposed policy is still close to the EE limit.


title: Gravitomagnetic effects in quadratic gravity with a scalar field

abstract: The two gravitomagnetic effects which influence bodies orbiting around a gravitational source are the geodetic effect and the Lense-Thirring effect. The former describes the precession angle of the axis of a spinning gyroscope while in orbit around a nonrotating gravitational source whereas the latter provides a correction for this angle in the case of a spinning source. In this paper we derive the relevant equations in quadratic gravity and relate them to their equivalents in general relativity. Starting with an investigation into Kepler's third law in quadratic gravity with a scalar field, the effects of an axisymmetric and rotating gravitational source on an orbiting body in a circular, equatorial orbit are introduced.


title: Quantum Transport Characteristics of Lateral pn-Junction of Single Layer TiS3

abstract: Using density functional theory and nonequilibrium Greens functions-based methods we investigated the electronic and transport properties of monolayer TiS3 pn-junction. We constructed a lateral pn-junction in monolayer TiS3 by using Li and F adatoms. An applied bias voltage caused significant variability in the electronic and transport properties of the TiS3 pn-junction. In addition, spin dependent current-voltage characteristics of the constructed TiS3 pn-junction were analyzed. Important device characteristics were found such as negative differential resistance and rectifying diode behaviors for spin-polarized currents in the TiS3 pn-junction. These prominent conduction properties of TiS3 pn-junction offer remarkable opportunities for the design of nanoelectronic devices based on a recently synthesized single-layered material.


title: Analytical expression for radial distribution function of hard sphere system: density derivative and application to perturbation theories

abstract: Model of hard sphere system is important part of modern theories of liquids. Radial distribution function of hard sphere fluid represented in form of explicit analytical expression allows to obtain thermodynamic potentials in analytical form, which is very helpful for further analysis and applications. A new analytical expression of radial distribution function of hard sphere fluid is developed. The density derivative of the radial distribution function and the first two terms of Barker-Henderson perturbation theory are derived as analytical expressions. The obtained results agree well with published simulation data. These results have important implications for real fluid modeling using density functional theory and perturbation theories.


title: The semi-classical energy of closed Nambu-Goto strings

abstract: We compute semi-classical corrections to the energy of rotating closed Nambu-Goto strings. We confirm the results obtained by means of the Polchinski-Strominger action. We also show that in this semi-classical approximation, the spectrum of physical excitations contains modes that are unphysical non-perturbatively, i.e., to which no physical excitations of the covariantly quantized Nambu-Goto string correspond.


title: Exponential growth of some iterated monodromy groups

abstract: Iterated monodromy groups of postcritically-finite rational maps form a rich class of self-similar groups with interesting properties. There are examples of such groups that have intermediate growth, as well as examples that have exponential growth. These groups arise from polynomials. We show exponential growth of the $\operatorname{IMG}$ of several non-polynomial maps. These include rational maps whose Julia set is the whole sphere, rational maps with Sierpi\'{n}ski carpet Julia set, and obstructed Thurston maps. Furthermore, we construct the first example of a non-renormalizable polynomial with a dendrite Julia set whose $\operatorname{IMG}$ has exponential growth.


title: Highly Robust Clustering of GPS Driver Data for Energy Efficient Driving Style Modelling

abstract: This paper presents a novel approach to distinguish driving styles with respect to their energy efficiency. A distinct property of our method is that it relies exclusively on Global Positioning System (GPS) logs of drivers. This setting is highly relevant in practice as these data can easily be acquired. Relying on positional data alone means that all derived features will be correlated, so we strive to find a single quantity that allows us to perform the driving style analysis. To this end we consider a robust variation of the so called jerk of a movement. We show that our feature choice outperforms other more commonly used jerk-based formulations and we discuss the handling of noisy, inconsistent, and incomplete data as this is a notorious problem when dealing with real-world GPS logs. Our solving strategy relies on an agglomerative hierarchical clustering combined with an L-term heuristic to determine the relevant number of clusters. It can easily be implemented and performs fast, even on very large, real-world data sets. Experiments show that our approach is robust against noise and able to discern different driving styles.


title: Uplink Transmission Design with Massive Machine Type Devices in Tactile Internet

abstract: In this work, we study how to design uplink transmission with massive machine type devices in tactile internet, where ultra-short delay and ultra-high reliability are required. To characterize the transmission reliability constraint, we employ a two-state transmission model based on the achievable rate with finite blocklength channel codes. If the channel gain exceeds a threshold, a short packet can be transmitted with a small error probability; otherwise there is a packet loss. To exploit frequency diversity, we assign multiple subchannels to each active device, from which the device selects a subchannel with channel gain exceeding the threshold for transmission. To show the total bandwidth required to ensure the reliability, we optimize the number of subchannels and bandwidth of each subchannel and the threshold for each device to minimize the total bandwidth of the system with a given number of antennas at the base station. Numerical results show that with 1000 devices in one cell, the required bandwidth of the optimized policy is acceptable even for prevalent cellular systems. Furthermore, we show that by increasing antennas at the BS, frequency diversity becomes unnecessary, and the required bandwidth is reduced.


title: Spintronics via non-axisymmetric chiral skyrmions

abstract: Micromagnetic calculations demonstrate a peculiar evolution of non-axisymmetric skyrmions driven by an applied magnetic field in confined helimagnets with longitudinal modulations. We argue that these specific solitonic states can be employed in nanoelectronic devices as an effective alternative to the common axisymmetric skyrmions which occur in magnetically saturated states.


title: Enhancing Thermoelectric Performance Using Nonlinear Transport Effects

abstract: We study nonlinear transport effects on the maximum efficiency and power for both inelastic and elastic thermoelectric generators. The former refers to phonon-assisted hopping in double quantum-dots, while the latter is represented by elastic tunneling through a single quantum-dot. We find that nonlinear thermoelectric transport can lead to enhanced efficiency and power for both types of devices. A comprehensive survey of various quantum-dot energy, temperature, and parasitic heat conduction reveals that the nonlinear transport induced improvements of the maximum efficiency and power are overall much more significant for inelastic devices than the elastic devices, even for temperature biases as small as $T_h=1.2T_c$ ($T_h$ and $T_c$ are the temperatures of the hot and cold reservoirs, respectively). The underlying mechanism is revealed as due to the fact that, unlike the Fermi distribution, the Bose distribution is not bounded when the temperature bias increases. A large flux density of absorbed phonons leads to great enhancement of the electrical current, the output power, and the energy efficiency, dominating over the concurrent increase of the parasitic heat current. Our study reveals that nonlinear transport effects can be a useful tool for improving thermoelectric performance.


title: Assortativity in Generalized Preferential Attachment Models

abstract: In this paper, we analyze assortativity of preferential attachment models. We deal with a wide class of preferential attachment models (PA-class). It was previously shown that the degree distribution in all models of the PA-class follows a power law. Also, the global and the average local clustering coefficients were analyzed. We expand these results by analyzing the assortativity property of the PA-class of models. Namely, we analyze the behavior of $d_{nn}(d)$ which is the average degree of a neighbor of a vertex of degree $d$.


title: Redundancies in Linear Systems with two Variables per Inequality

abstract: The problem of detecting and removing redundant constraints is fundamental in optimization. We focus on the case of linear programs (LPs), given by $d$ variables with $n$ inequality constraints. A constraint is called \emph{redundant}, if after its removal, the LP still has the same feasible region. The currently fastest method to detect all redundancies is due to Clarkson: it solves $n$ linear programs, but each of them has at most $s$ constraints, where $s$ is the number of nonredundant constraints. In this paper, we study the special case where every constraint has at most two variables with nonzero coefficients. This family, denoted by $LI(2)$, has some nice properties. Namely, as shown by Aspvall and Shiloach, given a variable $x_i$ and a value $\lambda$, we can test in time $O(nd)$ whether there is a feasible solution with $x_i = \lambda$. Hochbaum and Naor present an $O(d^2 n \log n)$ algorithm for solving the feasibility problem in $LI(2)$. Their technique makes use of the Fourier-Motzkin elimination method and the earlier mentioned result by Aspvall and Shiloach. We present a strongly polynomial algorithm that solves redundancy detection in time $O(n d^2 s \log s)$. It uses a modification of Clarkson's algorithm, together with a revised version of Hochbaum and Naor's technique. Finally we show that dimensionality testing can be done with the same running time as solving feasibility.


title: On exact triangles consisting of stable vector bundles on tori

abstract: In this paper, we consider the exact triangles consisting of stable vector bundles on one-dimensional complex tori, and give a geometric interpretation of them in terms of the corresponding Fukaya category via the homological mirror symmetry.


title: Diversity Extraction for Multicarrier Continuous-Variable Quantum Key Distribution

abstract: We introduce a diversity extraction for multicarrier continuous-variable (CV) quantum key distribution (QKD). The diversity extraction utilizes the resources that are injected into the transmission by the additional degrees of freedom of the multicarrier modulation. The multicarrier scheme granulates the information into Gaussian subcarrier CVs and divides the physical link into several Gaussian sub-channels for the transmission. We prove that the exploitable extra degree of freedom in a multicarrier CVQKD scenario significantly extends the possibilities of single-carrier CVQKD. The diversity extraction allows for the parties to reach decreased error probabilities by utilizing those extra resources of a multicarrier transmission that are not available in a single-carrier CVQKD setting. The additional resources of multicarrier CVQKD allow the achievement of significant performance improvements that are particularly crucial in an experimental scenario.


title: Iterative Secret Key Rate Adapting with Error Minimization for Continuous-Variable Quantum Key Distribution

abstract: We define an iterative error-minimizing secret key adapting method for multicarrier CVQKD. A multicarrier CVQKD protocol uses Gaussian subcarrier quantum continuous variables (CVs) for the transmission. The proposed method allows for the parties to reach a given target secret key rate with minimized error rate through the Gaussian sub-channels by a sub-channel adaption procedure. The adaption algorithm iteratively determines the optimal transmit conditions to achieve the target secret key rate and the minimal error rate over the sub-channels. The solution requires no complex calculations or computational tools, allowing for easy implementation for experimental CVQKD scenarios.


title: Determinism and Computational Power of Real Measurement-based Quantum Computation

abstract: Measurement-based quantum computing (MBQC) is a universal model for quantum computation. The combinatorial characterisation of determinism in this model, powered by measurements, and hence, fundamentally probabilistic, is the cornerstone of most of the breakthrough results in this field. The most general known sufficient condition for a deterministic MBQC to be driven is that the underlying graph of the computation has a particular kind of flow called Pauli flow. The necessity of the Pauli flow was an open question. We show that the Pauli flow is necessary for real-MBQC, and not in general providing counterexamples for (complex) MBQC. We explore the consequences of this result for real MBQC and its applications. Real MBQC and more generally real quantum computing is known to be universal for quantum computing. Real MBQC has been used for interactive proofs by McKague. The two-prover case corresponds to real-MBQC on bipartite graphs. While (complex) MBQC on bipartite graphs are universal, the universality of real MBQC on bipartite graphs was an open question. We show that real bipartite MBQC is not universal proving that all measurements of real bipartite MBQC can be parallelised leading to constant depth computations. As a consequence, McKague techniques cannot lead to two-prover interactive proofs.


title: On representations of isometric isomorphisms between some monoid of functions

abstract: We prove that each isometric isomorphism, between the monoids of all nonegative 1-Lipschitz maps defined on invariant metric groups and equiped with the inf-convolution law, is given canonically from an isometric isomorphism between their groups of units.


title: Joint Resource Bidding and Tipping Strategies in Multi-hop Cognitive Networks

abstract: In multi-hop secondary networks, bidding strategies for spectrum auction, route selection and relaying incentives should be jointly considered to establish multi-hop communication. In this paper, a framework for joint resource bidding and tipping is developed where users iteratively revise their strategies, which include bidding and incentivizing relays, to achieve their Quality of Service (QoS) requirements. A bidding language is designed to generalize secondary users' heterogeneous demands for multiple resources and willingness to pay. Then, group partitioning-based auction mechanisms are presented to exploit the heterogeneity of SU demands in multi-hop secondary networks. These mechanisms include primary operator (PO) strategies based on static and dynamic partition schemes combined with new payment mechanisms to obtain high revenue and fairly allocate the resources. The proposed auction schemes stimulate the participation of SUs and provide high revenue for the PO while maximizing the social welfare. Besides, they satisfy the properties of truthfulness, individual rationality and computational tractability. Simulation results have shown that for highly demanding users the static group scheme achieves 150% more winners and 3 times higher revenue for the PO compared to a scheme without grouping. For lowly demanding users, the PO may keep similar revenue with the dynamic scheme by lowering 50% the price per channel as the number of winners will increase proportionally.


title: Measurement of $R$ between 1.84 and 3.05 GeV at the KEDR detector

abstract: Using the KEDR detector at the VEPP-4M $e^+e^-$ collider, we have determined the values of $R$ at thirteen points of the center-of-mass energy between 1.84 and 3.05 GeV. The achieved accuracy is about or better than $3.9\%$ at most of the energy points with a systematic uncertainty less than $2.4\%$.


title: Ranking academic institutions on potential paper acceptance in upcoming conferences

abstract: The crux of the problem in KDD Cup 2016 involves developing data mining techniques to rank research institutions based on publications. Rank importance of research institutions are derived from predictions on the number of full research papers that would potentially get accepted in upcoming top-tier conferences, utilizing public information on the web. This paper describes our solution to KDD Cup 2016. We used a two step approach in which we first identify full research papers corresponding to each conference of interest and then train two variants of exponential smoothing models to make predictions. Our solution achieves an overall score of 0.7508, while the winning submission scored 0.7656 in the overall results.


title: On Optimality Conditions in Control Theory

abstract: We study optimality conditions for various types of control problems like the standard optimal control problem, optimal multiprocesses, problems with infinite horizon or the control of Volterra integral equations. To derive necessary conditions the needle variation method of Ioffe & Tichomirov is the central tool. In the particular control problem with infinite horizon the question of a suitable setting arises. We propose the framework of continuous state trajectories converging at infinity. This requires a version of Riesz' representation theorem and the introduction of regular Borel measures on the extended real number line. The control of Volterra integral equations including an inner and outer time variable. Consequently, we deal with a two-dimensional time set. We extend the needle variation method of Ioffe & Tichomirov to this case. The obtained optimality conditions are demonstrated in illustrative examples.


title: Frequency doubled telecom fiber laser for a cold atom interferometer using optical lattices

abstract: A compact and robust laser system, based on a frequency-doubled telecom laser, providing all the lasers needed for a rubidium cold atom interferometer using optical lattices is presented. Thanks to an optical switch at 1.5 \mu m and a dual-wavelength second harmonic generation system, only one laser amplifier is needed for all the laser system. Our system delivers at 780 nm a power of 900 mW with a detuning of 110 GHz for the optical lattice and a power of 650 mW with an adjustable detuning between 0 and -1 GHz for the laser cooling, the detection and the Raman transitions.


title: Domain adaptation based Speaker Recognition on Short Utterances

abstract: This paper explores how the in- and out-domain probabilistic linear discriminant analysis (PLDA) speaker verification behave when enrolment and verification lengths are reduced. Experiment studies have found that when full-length utterance is used for evaluation, in-domain PLDA approach shows more than 28% improvement in EER and DCF values over out-domain PLDA approach and when short utterances are used for evaluation, the performance gain of in-domain speaker verification reduces at an increasing rate. Novel modified inter dataset variability (IDV) compensation is used to compensate the mismatch between in- and out-domain data and IDV-compensated out-domain PLDA shows respectively 26% and 14% improvement over out-domain PLDA speaker verification when SWB and NIST data are respectively used for S normalization. When the evaluation utterance length is reduced, the performance gain by IDV also reduces as short utterance evaluation data i-vectors have more variations due to phonetic variations when compared to the dataset mismatch between in- and out-domain data.


title: Useful axioms

abstract: We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom of choice and Baire's category theorem. First of all we outline how, using basic partial order theory, it is possible to reformulate the axiom of choice, Baire's category theorem, and many large cardinal axioms as specific instances of forcing axioms. We then address forcing axioms with a model-theoretic perspective and outline a deep analogy existing between the standard {\L}o\'s Theorem for ultraproducts of first order structures and Shoenfield's absoluteness for $\Sigma^1_2$-properties. Finally we address the question of whether and to what extent forcing axioms can provide a "complete" semantics for set theory. We argue that to a large extent this is possible for certain initial fragments of the universe of sets: The pioneering work of Woodin on generic absoluteness show that this is the case for the Chang model $L(\text{Ord}^\omega)$ in the presence of large cardinals, and recent works by the author show that this can also be the case for the Chang model $L(\text{Ord}^{\omega_1})$ in the presence of large cardinals and maximal strengthenings of Martin's maximum or of the proper forcing axiom. The major open question we leave open is whether this situation is peculiar to these Chang models or can be lifted up also to $L(\text{Ord}^\kappa)$ for cardinals $\kappa>\omega_1$.


title: Nernst-Planck transport theory for (reverse) electrodialysis: II. Effect of water transport through ion-exchange membranes

abstract: Transport of water through ion-exchange membranes is of importance both for electrodialysis (ED) and reverse electrodialysis (RED). In this work, we extend our previous theory [J. Membrane Sci., 510, (2016) 370-381] and include water transport in a two-dimensional model for (R)ED. Following a Maxwell-Stefan (MS) approach, ions in the membrane have friction with the water, pore walls, and one another. We show that when ion-ion friction is neglected, the MS-approach is equivalent to the hydrodynamic theory of hindered transport, for instance applied to nanofiltration. After validation against experimental data from literature for ED and RED, the model is used to analyze single-pass seawater ED, and RED with highly concentrated solutions. In the model, fluxes and velocities of water and ions in the membranes are self-consistently calculated as function of the driving forces. We investigate the influence of water and coion leakage under different operational conditions.


abstract: A Hopf bifurcation in the Kuramoto-Daido model is investigated based on the generalized spectral theory and the center manifold reduction for a certain class of frequency distributions. The dynamical system of the order parameter on a four-dimensional center manifold is derived. It is shown that the dynamical system undergoes a Hopf bifurcation as the coupling strength increases, which proves the existence of a periodic two-cluster state of oscillators.


title: Large fluctuations and growth rates of linear Volterra summation equations

abstract: This paper concerns the asymptotic behaviour of solutions of a linear convolution Volterra summation equation with an unbounded forcing term. In particular, we suppose the kernel is summable and ascribe growth bounds to the exogenous perturbation. If the forcing term grows at a geometric rate asymptotically or is bounded by a geometric sequence, then the solution (appropriately scaled) omits a convenient asymptotic representation. Moreover, this representation is used to show that additional growth properties of the perturbation are preserved in the solution. If the forcing term fluctuates asymptotically, we prove that fluctuations of the same magnitude will be present in the solution and we also connect the finiteness of time averages of the solution with those of the perturbation. Our results, and corollaries thereof, apply to stochastic as well as deterministic equations, and we demonstrate this by studying some representative classes of examples. Finally, we show that our theory can be extended to cover a class of nonlinear equations via a straightforward linearisation argument.


title: New Special Finsler Spaces

abstract: The pullback approach to global Finsler geometry is adopted. Some new types of special Finsler spaces are introduced and investigated, namely, Ricci, generalized Ricci, projectively recurrent and m-projectively recurrent Finsler spaces. The properties of these special Finsler spaces are studied and the relations between them are singled out.


title: On the classification of normal G-varieties with spherical orbits

abstract: In this article, we investigate the geometry of reductive group actions on algebraic varieties. Given a connected reductive group $G$, we elaborate on a geometric and combinatorial approach based on Luna-Vust theory to describe every normal $G$-variety with spherical orbits. This description encompasses the classical case of spherical varieties and the theory of $\mathbb{T}$-varieties recently introduced by Altmann, Hausen, and S\"uss.


title: The effect of gaseous accretion disk on dynamics of the stellar cluster in AGN

abstract: There is a supermassive black hole, a gaseous accretion disk and compact star cluster in the center of active galactic nuclei, as known today. So the activity of AGN can be represented as the result of interaction of these three subsystems. In this work we investigate the dynamical interaction of a central star cluster surrounding a supermassive black hole and a central accretion disk. The dissipative force acting on stars in the disk leads to an asymmetry in the phase space distribution of the central star cluster due to the rotating accretion disk. In our work we present some results of Stardisk model, where we see some changes in density and phase space of central star cluster due to influence of rotating gaseous accretion disk.


abstract: The notion of type of quadruples of rows is proven to be useful in the classification of Hadamard matrices. In this paper, we investigate Hadamard matrices with few distinct types. Among other results, the Sylvester Hadamard matrices are shown to be characterized by their spectrum of types.


title: Adaptive quantum tomography

abstract: We provide a review of the experimental and theoretical research in the field of quantum tomography with an emphasis on recently developed adaptive protocols. Several statistical frameworks for adaptive experimental design are discussed. We argue in favor of the Bayesian approach, highlighting both its advantages for a statistical reconstruction of unknown quantum states and processes, and utility for adaptive experimental design. The discussion is supported by an analysis of several recent experimental implementations and numerical recipes.


title: LR-Drawings of Ordered Rooted Binary Trees and Near-Linear Area Drawings of Outerplanar Graphs

abstract: In this paper we study a family of algorithms, introduced by Chan [SODA 1999] and called LR-algorithms, for drawing ordered rooted binary trees. In particular, we are interested in constructing LR-drawings (that are drawings obtained via LR-algorithms) with small width. Chan showed three different LR-algorithms that achieve, for an ordered rooted binary tree with $n$ nodes, width $O(n^{0.695})$, width $O(n^{0.5})$, and width $O(n^{0.48})$. We prove that, for every $n$-node ordered rooted binary tree, an LR-drawing with minimum width can be constructed in $O(n^{1.48})$ time. Further, we show an infinite family of $n$-node ordered rooted binary trees requiring $\Omega(n^{0.418})$ width in any LR-drawing; no lower bound better than $\Omega(\log n)$ was previously known. Finally, we present the results of an experimental evaluation that allowed us to determine the minimum width of all the ordered rooted binary trees with up to $451$ nodes. Our interest in LR-drawings is mainly motivated by a result of Di Battista and Frati [Algorithmica 2009], who proved that $n$-vertex outerplanar graphs have outerplanar straight-line drawings in $O(n^{1.48})$ area by means of a drawing algorithm which resembles an LR-algorithm. We deepen the connection between LR-drawings and outerplanar straight-line drawings by proving that, if $n$-node ordered rooted binary trees have LR-drawings with $f(n)$ width, for any function $f(n)$, then $n$-vertex outerplanar graphs have outerplanar straight-line drawings in $O(f(n))$ area. Finally, we exploit a structural decomposition for ordered rooted binary trees introduced by Chan in order to prove that every $n$-vertex outerplanar graph has an outerplanar straight-line drawing in $O(n\cdot 2^{\sqrt{2 \log_2 n}} \sqrt{\log n})$ area.


title: Gapped electron fractionalization in robustly one dimensional Li0.9Mo6O17

abstract: The angle resolved photoemission spectroscopy lineshapes of quasi one-dimensional (1d) Li0.9Mo6O17 display both agreement with and departures from the one-band Tomonaga-Luttinger model. We show that the departures can be understood by explicitly accounting for the four modes arising from the two quasi-1d bands known to cross the Fermi energy. The key assumption is that the antisymmetric charge mode is gapped with a magnitude near the temperature (T) of a mysterious 25K powerlaw resistivity upturn. The gap is consistent with the lack of a charge or spin density wave accompanying the upturn, is able to control the upturn T, and prevents crossover to a Fermi liquid (FL) down to the superconducting transition at 1.9K.


title: Unjamming in models with analytic pairwise potentials

abstract: The canonical models for studying the unjamming scenario in systems of soft repulsive particles assume pairwise potentials with a sharp cut-off in the interaction range. The sharp cut-off renders the potential non-analytic, but makes it possible to describe many properties of the solid in terms of the coordination number $z$, which has an unambiguous definition in these cases. Pairwise potentials without a sharp cut-off in the interaction range have not been considered in this context, but are of interest for understanding the relevance of the unjamming phenomenology to systems in which such a cut-off cannot be assumed. In this work we explore two systems with such interactions: an inverse power law and an exponentially decaying pairwise potential, with the control parameters being the exponent (of the inverse power-law) for the former and the number density for the latter. Both systems are shown to exhibit the characteristic features of the unjamming transition, among which are the vanishing of the shear to bulk modulus ratio and the emergence of an excess of low-frequency vibrational modes. We establish a relation between the hydrostatic pressure to bulk modulus ratio and the distance to unjamming in each of our model systems. This allows us to predict the dependence of other key observables on the distance to unjamming. Our results provide the means for a quantitative estimation of the proximity of generic glass forming models to the unjamming transition in the absence of a clear-cut definition of the coordination number, and highlight the general irrelevance of nonaffine contributions to the bulk modulus.


title: Continuous-time Markov decision processes with exponential utility

abstract: In this paper, we consider a continuous-time Markov decision process (CTMDP) in Borel spaces, where the certainty equivalent with respect to the exponential utility of the total undiscounted cost is to be minimized. The cost rate is nonnegative. We establish the optimality equation. Under the compactness-continuity condition, we show the existence of a deterministic stationary optimal policy. We reduce the risk-sensitive CTMDP problem to an equivalent risk-sensitive discrete-time Markov decision process, which is with the same state and action spaces as the original CTMDP. In particular, the value iteration algorithm for the CTMDP problem follows from this reduction. We do not need impose any condition on the growth of the transition and cost rate in the state, and the controlled process could be explosive.


title: Hom-post-Lie modules, O-operators and some functors on Hom-algebras

abstract: The aim of this paper is to study modules over Hom-post-Lie algebras and give some contructions and various twisting i.e. we show that modules over post-Hom-Lie algebras are close by twisting either Hom-post-Lie algebras or module structure maps. Given a type of Hom-algebra A, an A-bimodule M and an O-operator T : A ---> M, we give constructions another of Hom-algebra structure on M.


title: A new proof of the Larman-Rogers upper bound for the chromatic number of the Euclidean space

abstract: The chromatic number $\chi(\mathbb{R}^n)$ of the Euclidean space $\mathbb{R}^n$ is the smallest number of colors sufficient for coloring all points of the space in such a way that any two points at the distance 1 have different colors. In 1972 Larman--Rogers proved that $\chi(\mathbb{R}^n) \leq (3 + o(1))^n$. We give a new proof of this bound.


abstract: Hierarchical Reinforcement Learning has been previously shown to speed up the convergence rate of RL planning algorithms as well as mitigate feature-based model misspecification (Mankowitz et. al. 2016a,b, Bacon 2015). To do so, it utilizes hierarchical abstractions, also known as skills -- a type of temporally extended action (Sutton et. al. 1999) to plan at a higher level, abstracting away from the lower-level details. We incorporate risk sensitivity, also referred to as Situational Awareness (SA), into hierarchical RL for the first time by defining and learning risk aware skills in a Probabilistic Goal Semi-Markov Decision Process (PG-SMDP). This is achieved using our novel Situational Awareness by Risk-Conscious Skills (SARiCoS) algorithm which comes with a theoretical convergence guarantee. We show in a RoboCup soccer domain that the learned risk aware skills exhibit complex human behaviors such as `time-wasting' in a soccer game. In addition, the learned risk aware skills are able to mitigate reward-based model misspecification.


title: Exploring Biases of Atmospheric Retrievals in Simulated JWST Transmission Spectra of Hot Jupiters

abstract: With a scheduled launch in October 2018, the James Webb Space Telescope (JWST) is expected to revolutionise the field of atmospheric characterization of exoplanets. The broad wavelength coverage and high sensitivity of its instruments will allow us to extract far more information from exoplanet spectra than what has been possible with current observations. In this paper, we investigate whether current retrieval methods will still be valid in the era of JWST, exploring common approximations used when retrieving transmission spectra of hot Jupiters. To assess biases, we use 1D photochemical models to simulate typical hot Jupiter cloud-free atmospheres and generate synthetic observations for a range of carbon-to-oxygen ratios. Then, we retrieve these spectra using TauREx, a Bayesian retrieval tool, using two methodologies: one assuming an isothermal atmosphere, and one assuming a parametrized temperature profile. Both methods assume constant-with-altitude abundances. We found that the isothermal approximation biases the retrieved parameters considerably, overestimating the abundances by about one order of magnitude. The retrieved abundances using the parametrized profile are usually within one sigma of the true state, and we found the retrieved uncertainties to be generally larger compared to the isothermal approximation. Interestingly, we found that using the parametrized temperature profile we could place tight constraints on the temperature structure. This opens the possibility to characterize the temperature profile of the terminator region of hot Jupiters. Lastly, we found that assuming a constant-with-altitude mixing ratio profile is a good approximation for most of the atmospheres under study.


title: Automatic Gain Tuning of a Momentum Based Balancing Controller for Humanoid Robots

abstract: This paper proposes a technique for automatic gain tuning of a momentum based balancing controller for humanoid robots. The controller ensures the stabilization of the centroidal dynamics and the associated zero dynamics. Then, the closed-loop, constrained joint space dynamics is linearized and the controller's gains are chosen so as to obtain desired properties of the linearized system. Symmetry and positive definiteness constraints of gain matrices are enforced by proposing a tracker for symmetric positive definite matrices. Simulation results are carried out on the humanoid robot iCub.


title: Impatient DNNs - Deep Neural Networks with Dynamic Time Budgets

abstract: We propose Impatient Deep Neural Networks (DNNs) which deal with dynamic time budgets during application. They allow for individual budgets given a priori for each test example and for anytime prediction, i.e., a possible interruption at multiple stages during inference while still providing output estimates. Our approach can therefore tackle the computational costs and energy demands of DNNs in an adaptive manner, a property essential for real-time applications. Our Impatient DNNs are based on a new general framework of learning dynamic budget predictors using risk minimization, which can be applied to current DNN architectures by adding early prediction and additional loss layers. A key aspect of our method is that all of the intermediate predictors are learned jointly. In experiments, we evaluate our approach for different budget distributions, architectures, and datasets. Our results show a significant gain in expected accuracy compared to common baselines.


title: A Greedy Blind Calibration Method for Compressed Sensing with Unknown Sensor Gains

abstract: The realisation of sensing modalities based on the principles of compressed sensing is often hindered by discrepancies between the mathematical model of its sensing operator, which is necessary during signal recovery, and its actual physical implementation, which can amply differ from the assumed model. In this paper we tackle the bilinear inverse problem of recovering a sparse input signal and some unknown, unstructured multiplicative factors affecting the sensors that capture each compressive measurement. Our methodology relies on collecting a few snapshots under new draws of the sensing operator, and applying a greedy algorithm based on projected gradient descent and the principles of iterative hard thresholding. We explore empirically the sample complexity requirements of this algorithm by testing its phase transition, and show in a practically relevant instance of this problem for compressive imaging that the exact solution can be obtained with only a few snapshots.


title: Truncation Dimension for Function Approximation

abstract: We consider approximation of functions of $s$ variables, where $s$ is very large or infinite, that belong to weighted anchored spaces. We study when such functions can be approximated by algorithms designed for functions with only very small number ${\rm dim^{trnc}}(\varepsilon)$ of variables. Here $\varepsilon$ is the error demand and we refer to ${\rm dim^{trnc}}(\varepsilon)$ as the $\varepsilon$-truncation dimension. We show that for sufficiently fast decaying product weights and modest error demand (up to about $\varepsilon \approx 10^{-5}$) the truncation dimension is surprisingly very small.


title: Minimal energy solutions to the fractional Lane-Emden system, I: Existence and singularity formation

abstract: This is the first of two papers which study asymptotic behavior of minimal energy solutions to the fractional Lane-Emden system in a smooth bounded domain $\Omega$ \[(-\Delta)^s u = v^p, \quad (-\Delta)^s v = u^q \text{ in } \Omega \quad \text{and} \quad u = v = 0 \text{ on } \pa \Omega \quad \text{for } 0 < s < 1\] under the assumption that the subcritical pair $(p,q)$ approaches to the critical Sobolev hyperbola. If $p = 1$, the above problem is reduced to the subcritical higher-order fractional Lane-Emden equation with the Navier boundary condition \[(-\Delta)^s u = u^{\frac{n+2s}{n-2s}-\ep} \text{ in } \Omega \quad \text{and} \quad u = (-\Delta)^{s \over 2} u = 0 \quad \text{for } 1 < s < 2.\] The main objective of this paper is to deduce the existence of minimal energy solutions, and to examine their (normalized) pointwise limits provided that $\Omega$ is convex. As a by-product of our study, a new approach for the existence of an extremal function for the Hardy-Littlewood-Sobolev inequality is provided.


title: Hallmarks of Hund's coupling in the Mott insulator Ca$_2$RuO$_4$

abstract: A paradigmatic case of multi-band Mott physics including spin-orbit and Hund's coupling is realised in Ca$_2$RuO$_4$. Progress in understanding the nature of this Mott insulating phase has been impeded by the lack of knowledge about the low-energy electronic structure. Here we provide -- using angle-resolved photoemission electron spectroscopy -- the band structure of the paramagnetic insulating phase of Ca$_2$RuO$_4$ and show how it features several distinct energy scales. Comparison to a simple analysis of atomic multiplets provides a quantitative estimate of the Hund's coupling $J=0.4$ eV. Furthermore, the experimental spectra are in good agreement with electronic structure calculations performed with Dynamical Mean-Field Theory. The crystal field stabilisation of the d$_{xy}$ orbital due to $c$-axis contraction is shown to be important in explaining the nature of the insulating state. It is thus a combination of multiband physics, Coulomb interaction and Hund's coupling that generates the Mott insulating state of Ca$_2$RuO$_4$. These results underscore the importance of Hund's coupling in the ruthenates and related multiband materials.