title: Zipper Stack: Shadow Stacks Without Shadow

abstract: Return-Oriented Programming (ROP) is a typical attack technique that exploits return addresses to abuse existing code repeatedly. Most of the current return address protecting mechanisms (also known as the Backward-Edge Control-Flow Integrity) work only in limited threat models. For example, the attacker cannot break memory isolation, or the attacker has no knowledge of a secret key or random values. This paper presents a novel, lightweight mechanism protecting return addresses, Zipper Stack, which authenticates all return addresses by a chain structure using cryptographic message authentication codes (MACs). This innovative design can defend against the most powerful attackers who have full control over the program's memory and even know the secret key of the MAC function. This threat model is stronger than the one used in related work. At the same time, it produces low-performance overhead. We implemented Zipper Stack by extending the RISC-V instruction set architecture, and the evaluation on FPGA shows that the performance overhead of Zipper Stack is only 1.86%. Thus, we think Zipper Stack is suitable for actual deployment.


title: Speaker Verification By Partial AUC Optimization With Mahalanobis Distance Metric Learning

abstract: Receiver operating characteristic (ROC) and detection error tradeoff (DET) curves are two widely used evaluation metrics for speaker verification. They are equivalent since the latter can be obtained by transforming the former's true positive y-axis to false negative y-axis and then re-scaling both axes by a probit operator. Real-world speaker verification systems, however, usually work on part of the ROC curve instead of the entire ROC curve given an application. Therefore, we propose in this paper to use the area under part of the ROC curve (pAUC) as a more efficient evaluation metric for speaker verification. A Mahalanobis distance metric learning based back-end is applied to optimize pAUC, where the Mahalanobis distance metric learning guarantees that the optimization objective of the back-end is a convex one so that the global optimum solution is achievable. To improve the performance of the state-of-the-art speaker verification systems by the proposed back-end, we further propose two feature preprocessing techniques based on length-normalization and probabilistic linear discriminant analysis respectively. We evaluate the proposed systems on the major languages of NIST SRE16 and the core tasks of SITW. Experimental results show that the proposed back-end outperforms the state-of-the-art speaker verification back-ends in terms of seven evaluation metrics.


title: Photodetachment and Photoreactions of Substituted Naphthalene Anions in a Tandem Ion Mobility Spectrometer

abstract: Substituted naphthalene anions (deprotonated 2-naphthol and 6-hydroxy-2-naphthoic acid) are spectroscopically probed in a tandem drift tube ion mobility spectrometer (IMS). Target anions are selected according to their drift speed through nitrogen buffer gas in the first IMS stage before being exposed to a pulse of tunable light that induces either photodissociation or electron photodetachment, which is conveniently monitored by scavenging the detached electrons with trace \ce{SF6} in the buffer gas. The photodetachment action spectrum of the 2-naphtholate anion exhibits a band system spanning 380-460\,nm~with a prominent series of peaks spaced by 440\,\cme, commencing at 458.5\,nm, and a set of weaker peaks near the electron detachment threshold corresponding to transitions to dipole-bound states. The two deprotomers of 6-hydroxy-2-naphthoic acid are separated and spectroscopically probed independently. The molecular anion formed from deprotonation of the hydroxy group possesses a photodetachment action spectrum similar to that of the 2-naphtholate anion with an onset at 470\,nm and a maximum at 420\,nm. Near threshold, photoreaction with \ce{SF6} is observed with displacement of an OH group by an F atom. In contrast, the anion formed from deprotonation of the carboxylic acid group features a photodissociation action spectrum, recorded on the \ce{CO2} loss channel, lying to much shorter wavelength with an onset at 360\,nm and maximum photoresponse at 325\,nm.


title: Classification of triples of lattice polytopes with a given mixed volume

abstract: We present an algorithm for the classification of triples of lattice polytopes with a given mixed volume $m$ in dimension 3. It is known that the classification can be reduced to the enumeration of so-called irreducible triples, the number of which is finite for fixed $m$. Following this algorithm, we enumerate all irreducible triples of normalized mixed volume up to 4 that are inclusion-maximal. This produces a classification of generic trivariate sparse polynomial systems with up to 4 solutions in the complex torus, up to monomial changes of variables. By a recent result of Esterov, this leads to a description of all generic trivariate sparse polynomial systems that are solvable by radicals.


title: Optimal control of false discovery criteria in the two-group model

abstract: The highly influential two-group model in testing a large number of statistical hypotheses assumes that the test statistics are drawn independently from a mixture of a high probability null distribution and a low probability alternative. Optimal control of the marginal false discovery rate (mFDR), in the sense that it provides maximal power (expected true discoveries) subject to mFDR control, is known to be achieved by thresholding the local false discovery rate (locFDR), i.e., the probability of the hypothesis being null given the set of test statistics, with a fixed threshold. We address the challenge of controlling optimally the popular false discovery rate (FDR) or positive FDR (pFDR) rather than mFDR in the general two-group model, which also allows for dependence between the test statistics. These criteria are less conservative than the mFDR criterion, so they make more rejections in expectation. We derive their optimal multiple testing (OMT) policies, which turn out to be thresholding the locFDR with a threshold that is a function of the entire set of statistics. We develop an efficient algorithm for finding these policies, and use it for problems with thousands of hypotheses. We illustrate these procedures on gene expression studies.


title: Confronting $B$ anomalies with low energy parity violation

abstract: Indirect searches have the potential to probe scales beyond the realm of direct searches. In this letter we consider the implications of two parity violating experiments: weak charge of proton $Q_W^p$ and the Caesium atom $Q_W^{Cs}$ on the solutions to lepton flavour non-universality violations (LFUV) in the decay of $B$ mesons. Working in a generic implementation of a minimal $Z^\prime$ model, we assume the primary contribution being due to the electron to facilitate comparison with the low $q^2$ parity violating experiments. We demonstrate that the conclusion is characterized by different limiting behavior depending on the chirality of the lepton current. The correlation developed in this study demonstrates the effectiveness in studying the synergy between different experiments leading to a deeper understanding of the interpretation of the existing data. It is shown that a possible future improvement in the parity violating experiments can have far reaching implications in the context of direct searches. We also comment on the prospect of addition of the muon to the fits and the role it plays in ameliorating the constraints on models of $Z'$. This offers a complimentary understanding of the pattern of the coupling of the NP to the leptons, strongly suggesting either a muon only or a combination of solutions to the anomalies.


title: Weyl nodal point-line Fermion in ferromagnetic Eu$_5$Bi$_3$

abstract: Based on $ab$ $initio$ calculations and low-energy effective $k{\cdot}p$ model, we propose a type of Weyl nodal point-line fermion, composed of 0D Weyl points and 1D Weyl nodal line, in ferromagnetic material Eu$_5$Bi$_3$. In the absence of spin-orbital coupling (SOC), the spin-up bands host a pair of triply degenerate points together with a unique bird-cage like node structure. In the presence of SOC with (001) magnetization, each triplet point splits into a double Weyl point and a single Weyl point accompanied by two nodal rings, forming two sets of Weyl nodal point-line fermions near the Fermi level. The novel properties of Weyl nodal point-line fermion are explored by revealing the unusual Berry curvature field and demonstrating the pinned chiral surface states with exotic Fermi arcs at different planes. Moreover, a large anomalous Hall conductivity of -260 ($\hbar$/$e$)($\Omega$cm)$^{-1}$ parallel to [001] direction is predicted. Our work offers a new perspective for exploring novel topological semimetal states with diverse band-crossing dimensions, and provides an ideal material candidate for future experimental realiztion.


title: A note on derivability conditions

abstract: We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and non-implications between the conditions, and we discuss unprovability of consistency statements induced by derivability conditions. First, we classify already known versions of the second incompleteness theorem, and exhibit some new sets of conditions which are sufficient for unprovability of Hilbert--Bernays' consistency statement. Secondly, we improve Buchholz's schematic proof of provable $\Sigma_1$-completeness. Then among other things, we show that Hilbert--Bernays' conditions and L\"ob's conditions are mutually incomparable. We also show that neither Hilbert--Bernays' conditions nor L\"ob's conditions accomplish G\"odel's original statement of the second incompleteness theorem.


title: Error-Correcting Decoders for Communities in Networks

abstract: As recent work demonstrated, the task of identifying communities in networks can be considered analogous to the classical problem of decoding messages transmitted along a noisy channel. We leverage this analogy to develop a community detection method directly inspired by a standard and widely-used decoding technique. We further simplify the algorithm to reduce the time complexity from quadratic to linear. We test the performance of the original and reduced versions of the algorithm on artificial benchmarks with pre-imposed community structure, and on real networks with annotated community structure. Results of our systematic analysis indicate that the proposed techniques are able to provide satisfactory results.


title: One more counterexample on sign patterns

abstract: The \textit{sepr-sequence} of an $n\times n$ real matrix $A$ is $(s_1,\ldots,s_n)$, where $s_k$ is the subset of those signs of $+,-,0$ that appear in the values of the $k\times k$ principal minors of $A$. The $12\times 12$ matrix $$\left(\begin{array}{cccccc|ccc|ccc} 0&0&0&0&0&0&0&0&0&a_1&0&0\\ 0&0&0&0&0&0&0&0&0&0&a_2&0\\ 0&0&0&0&0&0&0&0&0&0&0&a_3\\ 0&0&0&0&0&0&0&0&0&0&0&a_4\\ 0&0&0&0&0&0&0&0&0&0&0&a_5\\ 0&0&0&0&0&0&0&0&0&0&0&a_6\\\hline b_1&b_2&0&0&0&0&0&0&0&0&0&0\\ b_3&b_4&0&0&b_5&-b_6&0&0&0&0&0&0\\ 0&b_7&b_8&-b_9&b_{10}&b_{11}&0&0&0&0&0&0\\\hline 0&0&0&0&0&0&c_1&0&0&0&0&0\\ 0&0&0&0&0&0&0&c_2&0&0&0&0\\ 0&0&0&0&0&0&0&0&c_3&0&0&0 \end{array}\right)$$ does always have $s_k=\{0,+,-\}$ if $k=3,6,9$ and $s_k=\{0\}$ otherwise, provided that the variables are positive. However, every principal $9\times 9$ minor that is not identically zero can take values of both signs.


title: A Relational Tucker Decomposition for Multi-Relational Link Prediction

abstract: We propose the Relational Tucker3 (RT) decomposition for multi-relational link prediction in knowledge graphs. We show that many existing knowledge graph embedding models are special cases of the RT decomposition with certain predefined sparsity patterns in its components. In contrast to these prior models, RT decouples the sizes of entity and relation embeddings, allows parameter sharing across relations, and does not make use of a predefined sparsity pattern. We use the RT decomposition as a tool to explore whether it is possible and beneficial to automatically learn sparsity patterns, and whether dense models can outperform sparse models (using the same number of parameters). Our experiments indicate that---depending on the dataset--both questions can be answered affirmatively.


title: Series expansion of weighted Finsler-Kato-Hardy inequalities

abstract: In this work, we consider weighted anisotropic Hardy inequalities and trace Hardy inequalities involving a general Finsler metric. We follow a unifying approach, by establishing first a sharp interpolation between them, extending the corresponding nonweighted version, being established recently by a different approach. Then, passing to bounded domains, we obtain successive sharp improvements by adding remainder terms involving sharp weights and optimal constants, resulting in an infinite series-type improvement. The results extend, into the Finsler context, the earlier known ones within the Euclidean setting. The generalization of our results to cones is also discussed.


title: Detection of a giant white-light flare on an L2.5 dwarf with the Next Generation Transit Survey

abstract: We present the detection of a $\Delta V\sim$ -10 flare from the ultracool L2.5 dwarf ULAS J224940.13-011236.9 with the Next Generation Transit Survey (NGTS). The flare was detected in a targeted search of late-type stars in NGTS full-frame images and represents one of the largest flares ever observed from an ultracool dwarf. This flare also extends the detection of white-light flares to stars with temperatures below 2000 K. We calculate the energy of the flare to be $3.4^{+0.9}_{-0.7}\times10^{33}$erg, making it an order of magnitude more energetic than the Carrington event on the Sun. Our data show how the high-cadence NGTS full-frame images can be used to probe white-light flaring behaviour in the latest spectral types.


title: Distributed robust seeking of Nash equilibrium for networked games: an extended-state observer based approach

abstract: This paper aims to accommodate games in which the players' dynamics are subject to un-modeled and disturbance terms. The un-modeled and disturbance terms are regarded as extended states for which observers are designed to estimate them. Compensating the players' dynamics with the observed values, the control laws are designed to achieve the robust seeking of the Nash equilibrium for networked games. Firstly, we consider the case in which the players' dynamics are subject to bounded disturbances only. In this case, the seeking strategy is developed by employing a smooth observer based on the Proportional-Integral (PI) control. By utilizing the designed strategy, we show that the players' actions would converge to a small neighborhood of the Nash equilibrium. Moreover, the ultimate bound can be adjusted to be arbitrarily small by tuning the control gains. Then, we further consider the case in which both an un-modeled term and a disturbance term coexist in the players' dynamics. In this case, we adapt the idea from the Robust Integral of the Sign of the Error (RISE) method in the strategy design to achieve the asymptotic seeking of the Nash equilibrium. Both strategies are analytically investigated via the Lyapunov stability analysis. The applications of the proposed methods for a network of velocity-actuated vehicles are discussed. Finally, the effectiveness of the proposed methods is verified via conducting numerical simulations.


title: A multidimensional Tauberian theorem for Laplace transforms of ultradistributions

abstract: We obtain a multidimensional Tauberian theorem for Laplace transforms of Gelfand-Shilov ultradistributions. The result is derived from a Laplace transform characterization of bounded sets in spaces of ultradistributions with supports in a convex acute cone of $\mathbb{R}^{n}$, also established here.


title: Three- and four-body kaonic nuclear states: Binding energies and widths

abstract: Using separable potentials for $\bar{K}N-\pi\Sigma$ interaction, we investigated four-body kaonic nuclear systems such as $K^{-}ppn$ and $K^{-}K^{-}pp$, with the Faddeev AGS method in the momentum representation. The Faddeev calculations are based on the quasi-particle method and the method of the energy dependent pole expansion was used to obtain the separable representation for the integral kernels in the three- and four-body equations. Different types of $\bar{K}N-\pi\Sigma$ potentials based on phenomenological and chiral SU(3) approach are used and it was shown that the kaonic nuclear systems under consideration are tightly bound.


title: The concavity of $p$-entropy power and applications in functional inequalities

abstract: In this paper, we prove the concavity of $p$-entropy power of probability densities solving the $p$-heat equation on closed Riemannian manifold with nonnegative Ricci curvature. As applications, we give new proofs of $L^p$-Euclidean Nash inequality and $L^p$-Euclidean Logarithmic Sobolev inequality, moreover, an improvement of $L^p$-Logarithmic Sobolev inequality is derived.


title: Observations of the RRc variable LINEAR 1169665 with the robotic telescope TAROT

abstract: LINEAR 1169665 is a RR Lyrae of sub-type c discovered by the asteroid survey LINEAR. The robotic telescope TAROT at Calern Observatory has observed it between the years 2006 and 2015. The present study of TAROT data as well as those from the surveys ASAS-SN (2012-2019) and LINEAR (2002-2008) shows that this star presents a period modulation with a period of 1800.1 days (4.9 years) but with no significant variation of magnitude at maximum. This phenomenon is similar to the one found in KEPLER data for the RRc KIC 2831097 (Sodor et al., 2017) which was suspected to be the result of a light time effect in a double stellar system. The large modulation period and the lack of amplitude modulation exclude it to be attributed to a Blazhko effect. But alternatively to the light time effect this phenomenon might be due to a new modulation phenomenon with long period affecting at least RRc stars.


title: Measure of positive and not completely positive single-qubit Pauli maps

abstract: The time evolution of an initially uncorrelated system is governed by a completely positive (CP) map. More generally, the system may contain initial (quantum) correlations with an environment, in which case the system evolves according to a not-completely positive (NCP) map. It is an interesting question what the relative measure is for these two types of maps within the set of positive maps. After indicating the scope of the full problem of computing the true volume for generic maps acting on a qubit, we study the case of Pauli channels in an abstract space whose elements represent an equivalence class of maps that are identical up to a non-Pauli unitary. In this space, we show that the volume of NCP maps is twice that of CP maps.


title: Local time of diffusion with stochastic resetting

abstract: Diffusion with stochastic resetting has recently emerged as a powerful modeling tool with a myriad of potential applications. Here, we study local time in this model, covering situations of free and biased diffusion with, and without, the presence of an absorbing boundary. Given a Brownian trajectory that evolved for $t$ units of time, the local time is simply defined as the total time the trajectory spent in a small vicinity of its initial position. However, as Brownian trajectories are stochastic --- the local time itself is a random variable which fluctuates round and about its mean value. In the past, the statistics of these fluctuations has been quantified in detail; but not in the presence of resetting which biases the particle to spend more time near its starting point. Here, we extend past results to include the possibility of stochastic resetting with, and without, the presence of an absorbing boundary and/or drift. We obtain exact results for the moments and distribution of the local time and these reveal that its statistics usually admits a simple form in the long-time limit. And yet, while fluctuations in the absence of stochastic resetting are typically non-Gaussian --- resetting gives rise to Gaussian fluctuations. The analytical findings presented herein are in excellent agreement with numerical simulations.


title: Stochastic Gradient Descent for Nonconvex Learning without Bounded Gradient Assumptions

abstract: Stochastic gradient descent (SGD) is a popular and efficient method with wide applications in training deep neural nets and other nonconvex models. While the behavior of SGD is well understood in the convex learning setting, the existing theoretical results for SGD applied to nonconvex objective functions are far from mature. For example, existing results require to impose a nontrivial assumption on the uniform boundedness of gradients for all iterates encountered in the learning process, which is hard to verify in practical implementations. In this paper, we establish a rigorous theoretical foundation for SGD in nonconvex learning by showing that this boundedness assumption can be removed without affecting convergence rates. In particular, we establish sufficient conditions for almost sure convergence as well as optimal convergence rates for SGD applied to both general nonconvex objective functions and gradient-dominated objective functions. A linear convergence is further derived in the case with zero variances.


title: An Invitation to Quantum Channels

abstract: Open quantum systems have become an active area of research, owing to its potential applications in many different fields ranging from computation to biology. Here, we review the formalism of dynamical maps used to represent the time evolution of open quantum systems and discuss the various representations and properties of the same, with many examples.


title: Smart Web Services (SmartWS) -- The Future of Services on the Web

abstract: The past few years have been marked by an increased use of sensor technologies, abundant availability of mobile devices, and growing popularity of wearables, which enable the direct integration of their data as part of rich client applications. Despite the potential and added value that such aggregate applications bring, the implementations are usually custom solutions for particular use cases and do not support easy integration of further devices. To this end, the vision of the Web of Things (WoT) is to leverage Web standards in order to interconnect all types of devices and real-world objects, and thus to make them a part of the World Wide Web (WWW) and provide overall interoperability. In this context we introduce Smart Web Services (SmartWS) that not only provide remote access to resources and functionalities, by relying on standard communication protocols, but also encapsulate `intelligence'. Smartness features can include, for instance, context-based adaptation, cognition, inference and rules that implement autonomous decision logic in order to realize services that automatically perform tasks on behalf of the users, without requiring their explicit involvement. In this paper, we present the key characteristics of SmartWS, and introduce a reference implementation framework. Furthermore, we describe a specific use case for implementing SmartWS in the medical domain and specify a maturity model for determining the quality and usability of SmartWS.


title: Study, representation and applications of hypergraph minimal transversals

abstract: This work is part of the field of the hypergraph theory and focuses on hypergraph minimal transversal. The problem of extracting the minimal transversals from a hypergraph received the interest of many researchers as shown the number of algorithms proposed in the literature, and this is mainly due to the solutions offered by the minimal transversal in various application areas such as databases, artificial intelligence, e-commerce, semantic web, etc. In view of the wide range of fields of minimal transversal application and the interest they generate, the objective of this thesis is to explore new application paths of minimal transversal by proposing methods to optimize the extraction. This has led to three proposed contributions in this thesis. The first approach takes advantage of the emergence of Web 2.0 and, therefore, social networks using minimal transversal for the detection of important actors within these networks. The second part of research in this thesis has focused on reducing the number of hypergraph minimal transversal. A concise and accurate representation of minimal transversal was proposed and is based on the construction of an irredundant hypergraph, hence are calculated the irredundant minimal transversal of the initial hypergraph. An application of this representation to the dependency inference problem is presented to illustrate the usefulness of this approach. The last approach includes the hypergraph decomposition into partial hypergraph the local minimal transversal are calculated and their Cartesian product can generate all the hypergraph transversal sets. Different experimental studies have shown the value of these proposed approaches.


title: Floer homology in the cotangent bundle of a closed Finsler manifold and noncontractible periodic orbits

abstract: We show that the existence of noncontractible periodic orbits for compactly supported time-dependent Hamiltonian on the disk cotangent bundle of a Finsler manifold provided that the Hamiltonian is sufficiently large over the zero section. We generalize the BPS capacities and earlier constructions of Weber (2006 Duke Math. J. 133, 527-568) and other authors Biran et al (2003 Duke Math. J. 119, 65-118) to the Finsler setting. We then obtain a number of applications including: (1) generalizing the main theorem of Xue (2017 J. Symplectic Geom. 15, 905-936) to the Lie group setting, (2) preservation of minimal Finsler length of closed geodesics in any given free homotopy class by symplectomorphisms, (3) existence of periodic orbits for Hamiltonian systems separating two Lagrangian submanifolds, (4) existence of periodic orbits for Hamiltonians on noncompact domains, (5) existence of periodic orbits for Lorentzian Hamiltonian in higher dimensional case, (6) partial solution to a conjecture of Kawasaki (2016 Heavy subsets and non-contractible trajectories (arXiv:1606.01964)), (7) results on squeezing/nonsqueezing theorem on torus cotangent bundles, etc.


title: Inferring Concept Hierarchies from Text Corpora via Hyperbolic Embeddings

abstract: We consider the task of inferring is-a relationships from large text corpora. For this purpose, we propose a new method combining hyperbolic embeddings and Hearst patterns. This approach allows us to set appropriate constraints for inferring concept hierarchies from distributional contexts while also being able to predict missing is-a relationships and to correct wrong extractions. Moreover -- and in contrast with other methods -- the hierarchical nature of hyperbolic space allows us to learn highly efficient representations and to improve the taxonomic consistency of the inferred hierarchies. Experimentally, we show that our approach achieves state-of-the-art performance on several commonly-used benchmarks.


title: Constraining the stellar energetic particle flux in young solar-like stars

abstract: Anomalies in the abundance measurements of short lived radionuclides in meteorites indicate that the protosolar nebulae was irradiated by a large number of energetic particles ($E\gtrsim10\,$MeV), often called solar cosmic rays. The particle flux of the contemporary Sun cannot explain these anomalies, but, similar to \mbox{T Tauri} stars, the young Sun was more active and probably produced enough high energy particles. However, the stellar particle (SP) flux of young stars is essentially unknown. We model the impact of high-energy ionization sources on the chemistry of the circumstellar environment (disks and envelopes). The model includes X-ray radiative transfer and makes use of particle transport models to calculate the individual molecular hydrogen ionization rates. We study the impact on the chemistry via the ionization tracers HCO$^+$ and N$_2$H$^+$. We argue that spatially resolved observations of those molecules combined with detailed models allow for disentangling the contribution of the individual high-energy ionization sources and to put constraints on the SP flux in young stars.


title: How a spinning quark moves in the NJL type mean field

abstract: The transport equation of the spinning quarks, moving in the Nambu-Jona-Lasinio (NJL) type mean field, is derived by solving the Schwinger-Dyson equations, up to the order of $\hbar$, under the mean field approximation. It shows that the scalar and the vector mean field potentials have different impacts on the quantum correction to the transport equation. Both the forces give rise to an anomalous velocity and an anomalous force where the latter would vanish if the vector force is turned off. The particle dispersion relation is modified by the vector force as well. Besides, the spin precession in the particle rest frame is purely governed by the vector force.


title: Discovering Implicational Knowledge in Wikidata

abstract: Knowledge graphs have recently become the state-of-the-art tool for representing the diverse and complex knowledge of the world. Examples include the proprietary knowledge graphs of companies such as Google, Facebook, IBM, or Microsoft, but also freely available ones such as YAGO, DBpedia, and Wikidata. A distinguishing feature of Wikidata is that the knowledge is collaboratively edited and curated. While this greatly enhances the scope of Wikidata, it also makes it impossible for a single individual to grasp complex connections between properties or understand the global impact of edits in the graph. We apply Formal Concept Analysis to efficiently identify comprehensible implications that are implicitly present in the data. Although the complex structure of data modelling in Wikidata is not amenable to a direct approach, we overcome this limitation by extracting contextual representations of parts of Wikidata in a systematic fashion. We demonstrate the practical feasibility of our approach through several experiments and show that the results may lead to the discovery of interesting implicational knowledge. Besides providing a method for obtaining large real-world data sets for FCA, we sketch potential applications in offering semantic assistance for editing and curating Wikidata.


title: Recycled Two-Stage Estimation in Nonlinear Mixed Effects Regression Models

abstract: We consider a re-sampling scheme for estimation of the population parameters in the mixed effects nonlinear regression models of the type use for example in clinical pharmacokinetics, say. We provide an estimation procedure which {\it recycles}, via random weighting, the relevant two-stage parameters estimates to construct consistent estimates of the sampling distribution of the various estimates. We establish the asymptotic consistency and asymptotic normality of the resampled estimates and demonstrate the applicability of the {\it recycling} approach in a small simulation study and via example.


title: MICIK: MIning Cross-Layer Inherent Similarity Knowledge for Deep Model Compression

abstract: State-of-the-art deep model compression methods exploit the low-rank approximation and sparsity pruning to remove redundant parameters from a learned hidden layer. However, they process each hidden layer individually while neglecting the common components across layers, and thus are not able to fully exploit the potential redundancy space for compression. To solve the above problem and enable further compression of a model, removing the cross-layer redundancy and mining the layer-wise inheritance knowledge is necessary. In this paper, we introduce a holistic model compression framework, namely MIning Cross-layer Inherent similarity Knowledge (MICIK), to fully excavate the potential redundancy space. The proposed MICIK framework simultaneously, (1) learns the common and unique weight components across deep neural network layers to increase compression rate; (2) preserves the inherent similarity knowledge of nearby layers and distant layers to minimize the accuracy loss and (3) can be complementary to other existing compression techniques such as knowledge distillation. Extensive experiments on large-scale convolutional neural networks demonstrate that MICIK is superior over state-of-the-art model compression approaches with 16X parameter reduction on VGG-16 and 6X on GoogLeNet, all without accuracy loss.


title: A Faster FPTAS for Knapsack Problem With Cardinality Constraint

abstract: We study the $K$-item knapsack problem (i.e., $1.5$-dimensional KP), which is a generalization of the famous 0-1 knapsack problem (i.e., $1$-dimensional KP) in which an upper bound $K$ is imposed on the number of items selected. This problem is of fundamental importance and is known to have a broad range of applications in various fields. It is well known that, there is no FPTAS for the $d$-dimensional knapsack problem when $d\geq 2$, unless P $=$ NP. While the $K$-item knapsack problem is known to admit an FPTAS, the complexity of all existing FPTASs have a high dependency on the cardinality bound $K$ and approximation error $\varepsilon$, which could result in inefficiencies especially when $K$ and $\varepsilon^{-1}$ increase. The current best results are due to Mastrolilli and Hutter (2006), in which two schemes are presented exhibiting a space-time tradeoff--one scheme with time complexity $O(n+Kz^{2}/\varepsilon^{2})$ and space complexity $O(n+z^{3}/\varepsilon)$, while another scheme requires $O(n+(Kz^{2}+z^{4})/\varepsilon^{2})$ run-time but only needs $O(n+z^{2}/\varepsilon)$ space, where $z=\min\{K,1/\varepsilon\}$. In this paper we close the space-time tradeoff exhibited in the state-of-the-art by designing a new FPTAS with a run-time of $\widetilde{O}(n+z^{2}/\varepsilon^{2})$, while simultaneously reaching the $O(n+z^{2}/\varepsilon)$ space bound. Our scheme provides $\widetilde{O}(K)$ and $O(z)$ improvements on the state-of-the-art algorithms in time and space complexity respectively, and is the first scheme that achieves a run-time that is independent of cardinality bound $K$ (up to logarithmic factors) under fixed $\varepsilon$. Another salient feature of our scheme is that it is the first FPTAS that achieves better time and space complexity bounds than the very first standard FPTAS over all parameter regimes.


title: Non-harmonic Gohberg's lemma, Gershgorin theory and heat equation on manifolds with boundary

abstract: In this paper, following the works on non-harmonic analysis of boundary value problems by Tokmagambetov, Ruzhansky and Delgado, we use Operator Ideals Theory and Gershgorin Theory to obtain explicit information concerning the spectrum of pseudo-differential operators, on a smooth manifold $\Omega$ with boundary $\partial \Omega$, in the context of the non-harmonic analysis of boundary value problems, introduced by Tokmagambetov and Ruzhansky in terms of a model operator $\mathfrak{L} $. Under certain assumptions about the eigenfunctions of the model operator, for symbols in the H\"ormander class $S^0_{1,0} (\overline{\Omega} \times \mathcal{I} )$, we provide a "non-harmonic version" of Gohberg's Lemma, and a sufficient and necessary condition to ensure that the corresponding pseudo-differential operator is a compact operator in $L^2(\Omega)$. Also, for pseudo-differential operators with symbols satisfying some integrability condition, one defines its associated matrix in terms of the biorthogonal system associated to $\mathfrak{L} $, and this matrix is used to give necessary and sufficient conditions for the $L^2(\Omega)$-boundedness, and to locate the spectrum of some operators. After that, we extend to the context of the non-harmonic analysis of boundary value problems the well known theorems about the exact domain of elliptic operators, and discuss some applications of the obtained results to evolution equations. Specifically we provide sufficient conditions to ensure the smoothness and stability of solutions to a generalised version of the heat equation.


title: Proof-of-principle experiment for nanoparticle-assisted laser wakefield acceleration

abstract: In the present work, we demonstrate for the first time a proof-of-principle experiment for nanoparticle-assisted laser wakefield acceleration. The nanoparticles, generated through laser ablation of aluminium, were introduced into the plasma and used to trigger the injection of electrons into the nonlinear plasma wake excited by a high power femtosecond laser. In this experiment, a significant enhancement of the electron beam energy, energy spread and divergence is obtained compared with the case when electrons are self-injected. The best quality electron bunches presented peak energy up to 338 MeV with a relative energy spread of 4.7% and vertical divergence of 5.9 mrad. This method can be further improved by adding an aerodynamic lens system, for instance, which would control the nanoparticle size, density, material and injection position thus allowing accurate control of the laser wakefield accelerator.


title: Multiwavelength Study of Equatorial Coronal-Hole Jets

abstract: Jets (transient/collimated plasma ejections) occur frequently throughout the solar corona and contribute mass/energy to the corona and solar wind. By combining numerical simulations and high-resolution observations, we have made substantial progress recently on determining the energy buildup and release processes in these jets. Here we describe a study of 27 equatorial coronal-hole jets using Solar Dynamics Observatory/AIA and HMI observations on 2013 June 27-28 and 2014 January 8-10. Out of 27 jets, 18 (67%) are associated with mini-filament ejections; the other 9 (33%) do not show mini-filament eruptions but do exhibit mini-flare arcades and other eruptive signatures. This indicates that every jet in our sample involved a filament-channel eruption. From the complete set of events, 6 jets (22%) are apparently associated with tiny flux-cancellation events at the polarity inversion line, and 2 jets (7%) are associated with sympathetic eruptions of filaments from neighboring bright points. Potential-field extrapolations of the source-region photospheric magnetic fields reveal that all jets originated in the fan-spine topology of an embedded bipole associated with an extreme ultraviolet coronal bright point. Hence, all our jets are in agreement with the breakout model of solar eruptions. We present selected examples and discuss the implications for the jet energy build-up and initiation mechanisms.


title: Finite-Time Error Bounds For Linear Stochastic Approximation and TD Learning

abstract: We consider the dynamics of a linear stochastic approximation algorithm driven by Markovian noise, and derive finite-time bounds on the moments of the error, i.e., deviation of the output of the algorithm from the equilibrium point of an associated ordinary differential equation (ODE). We obtain finite-time bounds on the mean-square error in the case of constant step-size algorithms by considering the drift of an appropriately chosen Lyapunov function. The Lyapunov function can be interpreted either in terms of Stein's method to obtain bounds on steady-state performance or in terms of Lyapunov stability theory for linear ODEs. We also provide a comprehensive treatment of the moments of the square of the 2-norm of the approximation error. Our analysis yields the following results: (i) for a given step-size, we show that the lower-order moments can be made small as a function of the step-size and can be upper-bounded by the moments of a Gaussian random variable; (ii) we show that the higher-order moments beyond a threshold may be infinite in steady-state; and (iii) we characterize the number of samples needed for the finite-time bounds to be of the same order as the steady-state bounds. As a by-product of our analysis, we also solve the open problem of obtaining finite-time bounds for the performance of temporal difference learning algorithms with linear function approximation and a constant step-size, without requiring a projection step or an i.i.d. noise assumption.


title: Approximation of the first passage time distribution for the birth-death processes

abstract: We propose a general method to obtain approximation of the first passage time distribution for the birth-death processes. We rely on the general properties of birth-death processes, Keilson's theorem and the concept of Riemann sum to obtain closed-form expressions. We apply the method to the three selected birth-death processes and the sophisticated order-book model exhibiting long-range memory. We discuss how our approach contributes to the competition between spurious and true long-range memory models.


title: Bayesian semi-supervised learning for uncertainty-calibrated prediction of molecular properties and active learning

abstract: Predicting bioactivity and physical properties of small molecules is a central challenge in drug discovery. Deep learning is becoming the method of choice but studies to date focus on mean accuracy as the main metric. However, to replace costly and mission-critical experiments by models, a high mean accuracy is not enough: Outliers can derail a discovery campaign, thus models need reliably predict when it will fail, even when the training data is biased; experiments are expensive, thus models need to be data-efficient and suggest informative training sets using active learning. We show that uncertainty quantification and active learning can be achieved by Bayesian semi-supervised graph convolutional neural networks. The Bayesian approach estimates uncertainty in a statistically principled way through sampling from the posterior distribution. Semi-supervised learning disentangles representation learning and regression, keeping uncertainty estimates accurate in the low data limit and allowing the model to start active learning from a small initial pool of training data. Our study highlights the promise of Bayesian deep learning for chemistry.


title: A Delsarte-Style Proof of the Bukh-Cox Bound

abstract: The line packing problem is concerned with the optimal packing of points in real or complex projective space so that the minimum distance between points is maximized. Until recently, all bounds on optimal line packings were known to be derivable from Delsarte's linear program. Last year, Bukh and Cox introduced a new bound for the line packing problem using completely different techniques. In this paper, we use ideas from the Bukh--Cox proof to find a new proof of the Welch bound, and then we use ideas from Delsarte's linear program to find a new proof of the Bukh--Cox bound. Hopefully, these unifying principles will lead to further refinements.


title: Depthwise Convolution is All You Need for Learning Multiple Visual Domains

abstract: There is a growing interest in designing models that can deal with images from different visual domains. If there exists a universal structure in different visual domains that can be captured via a common parameterization, then we can use a single model for all domains rather than one model per domain. A model aware of the relationships between different domains can also be trained to work on new domains with less resources. However, to identify the reusable structure in a model is not easy. In this paper, we propose a multi-domain learning architecture based on depthwise separable convolution. The proposed approach is based on the assumption that images from different domains share cross-channel correlations but have domain-specific spatial correlations. The proposed model is compact and has minimal overhead when being applied to new domains. Additionally, we introduce a gating mechanism to promote soft sharing between different domains. We evaluate our approach on Visual Decathlon Challenge, a benchmark for testing the ability of multi-domain models. The experiments show that our approach can achieve the highest score while only requiring 50% of the parameters compared with the state-of-the-art approaches.


title: The Apache Point Observatory Galactic Evolution Experiment (APOGEE) Spectrographs

abstract: We describe the design and performance of the near-infrared (1.51--1.70 micron), fiber-fed, multi-object (300 fibers), high resolution (R = lambda/delta lambda ~ 22,500) spectrograph built for the Apache Point Observatory Galactic Evolution Experiment (APOGEE). APOGEE is a survey of ~ 10^5 red giant stars that systematically sampled all Milky Way populations (bulge, disk, and halo) to study the Galaxy's chemical and kinematical history. It was part of the Sloan Digital Sky Survey III (SDSS-III) from 2011 -- 2014 using the 2.5 m Sloan Foundation Telescope at Apache Point Observatory, New Mexico. The APOGEE-2 survey is now using the spectrograph as part of SDSS-IV, as well as a second spectrograph, a close copy of the first, operating at the 2.5 m du Pont Telescope at Las Campanas Observatory in Chile. Although several fiber-fed, multi-object, high resolution spectrographs have been built for visual wavelength spectroscopy, the APOGEE spectrograph is one of the first such instruments built for observations in the near-infrared. The instrument's successful development was enabled by several key innovations, including a "gang connector" to allow simultaneous connections of 300 fibers; hermetically sealed feedthroughs to allow fibers to pass through the cryostat wall continuously; the first cryogenically deployed mosaic volume phase holographic grating; and a large refractive camera that includes mono-crystalline silicon and fused silica elements with diameters as large as ~ 400 mm. This paper contains a comprehensive description of all aspects of the instrument including the fiber system, optics and opto-mechanics, detector arrays, mechanics and cryogenics, instrument control, calibration system, optical performance and stability, lessons learned, and design changes for the second instrument.


title: GW170817 constraints on the properties of a neutron star in the presence of WIMP dark matter

abstract: The properties of a neutron star are studied in the presence of dark matter. We have considered a relatively light Weakly Interacting Massive Particle (WIMP) as a dark matter candidate with properties suggested by the results of the DAMA/LIBRA collaboration, realized for instance within the framework of the Next-to-Minimal Supersymmetric Standard Model. The dark matter particle interacts with the baryonic matter of a neutron star through Higgs bosons. The dark matter variables are essentially fixed using the results of the DAMA/LIBRA experiment, which are then used to build the Lagrangian density for the WIMP-nucleon interaction inside a neutron star. We have used the effective field theory motivated relativistic mean field model to study the equations-of-state in the presence of dark matter. The predicted equations-of-state are used in the Tolman-Oppenheimer-Volkoff equations to obtain the mass-radius relations, the moment of inertia, and effects of the tidal field on a neutron star. The calculated properties are compared with the corresponding data of the GW170817 event.


title: Fukaya categories of Lagrangian cobordisms and duality

abstract: We introduce a new type of duality structure for $A_\infty$-categories called a relative weak Calabi-Yau pairing which generalizes Kontsevich and Soibelman's notion of a weak (proper) Calabi-Yau structure. We prove the existence of a relative weak Calabi-Yau pairing on Biran and Cornea's Fukaya category of Lagrangian cobordisms $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$. Here $M$ is a symplectic manifold which is closed or tame at infinity. This duality structure on $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$ extends the relative Poincar\'e duality satisfied by Floer complexes for pairs of Lagrangian cobordisms. Moreover, we show that the relative weak Calabi-Yau pairing on $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$ satisfies a compatibility condition with respect to the usual weak Calabi-Yau structure on the monotone Fukaya category of $M$. The construction of the relative weak Calabi-Yau pairing on $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$ is based on counts of curves in $\mathbb{C}\times M$ satisfying an inhomogeneous nonlinear Cauchy-Riemann equation. In order to prove the existence of this duality structure and to verify its properties, we extend the methods of Biran and Cornea to establish regularity and compactness results for the relevant moduli spaces. We also consider the implications of the existence of the relative weak Calabi-Yau pairing on $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$ for the cone decomposition in the derived Fukaya category of $M$ associated to a Lagrangian cobordism, and we present an example involving Lagrangian surgery.


title: Optimal Experiment Design in Nonlinear Parameter Estimation with Exact Confidence Regions

abstract: A model-based optimal experiment design (OED) of nonlinear systems is studied. OED represents a methodology for optimizing the geometry of the parametric joint-confidence regions (CRs), which are obtained in an a posteriori analysis of the least-squares parameter estimates. The optimal design is achieved by using the available (experimental) degrees of freedom such that more informative measurements are obtained. Unlike the commonly used approaches, which base the OED procedure upon the linearized CRs, we explore a path where we explicitly consider the exact CRs in the OED framework. We use a methodology for a finite parametrization of the exact CRs within the OED problem and we introduce a novel approximation technique of the exact CRs using inner- and outer-approximating ellipsoids as a computationally less demanding alternative. The employed techniques give the OED problem as a finite-dimensional mathematical program of bilevel nature. We use two small-scale illustrative case studies to study various OED criteria and compare the resulting optimal designs with the commonly used linearization-based approach. We also assess the performance of two simple heuristic numerical schemes for bilevel optimization within the studied problems.


title: On Suslin homology with integral coefficients in characteristic zero (with an appendix by Bruno Kahn)

abstract: We show that the Suslin homology group with integral coefficients of a scheme $X$ separated of finite type over an algebraically closed field of characteristic 0 is a direct sum of a uniquely divisible group, finite copies of $\mathbb{Q}/\mathbb{Z}$, and a finitely generated group. We also study the possible type of homomorphisms between such groups induced by the morphisms of schemes. An appendix written by Bruno Kahn is included, which simplifies the proofs and generalizes the results.


title: Towards an overall astrometric error budget with MICADO-MCAO

abstract: MICADO is the Multi-AO Imaging Camera for Deep Observations, and it will be one of the first light instruments of the Extremely Large Telescope (ELT). Doing high precision multi-object differential astrometry behind ELT is particularly effective given the increased flux and small diffraction limit. Thanks to its robust design with fixed mirrors and a cryogenic environment, MICADO aims to provide 50 $\mu$as absolute differential astrometry (measure star-to-star distances in absolute $\mu$as units) over a 53" FoV in the range 1.2-2.5 $\mu$m. Tackling high precision astrometry over large FoV requires Multi Conjugate Adaptive Optics (MCAO) and an accurate distortion calibration. The MICADO control scheme relies on the separate calibration of the ELT, MAORY and MICADO systematics and distortions, to ensure the best disentanglement and correction of all the contributions. From a system perspective, we are developing an astrometric error budget supported by optical simulations to assess the impact of the main astrometric errors induced by the telescope and its optical tolerances, the MCAO distortions and the opto-mechanical errors between internal optics of ELT, MAORY and MICADO. The development of an overall astrometric error budget will pave the road to an efficient calibration strategy complementing the design of the MICADO calibration unit. At the focus of this work are a number of opto-mechanical error terms which have particular relevance for MICADO astrometry applications, and interface to the MCAO design.


title: Determining Star Formation Thresholds from Observations

abstract: Most gas in giant molecular clouds is relatively low-density and forms star inefficiently, converting only a small fraction of its mass to stars per dynamical time. However, star formation models generally predict the existence of a threshold density above which the process is efficient and most mass collapses to stars on a dynamical timescale. A number of authors have proposed observational techniques to search for a threshold density above which star formation is efficient, but it is unclear which of these techniques, if any, are reliable. In this paper we use detailed simulations of turbulent, magnetised star-forming clouds, including stellar radiation and outflow feedback, to investigate whether it is possible to recover star formation thresholds using current observational techniques. Using mock observations of the simulations at realistic resolutions, we show that plots of projected star formation efficiency per free-fall time $\epsilon_{\rm ff}$ can detect the presence of a threshold, but that the resolutions typical of current dust emission or absorption surveys are insufficient to determine its value. In contrast, proposed alternative diagnostics based on a change in the slope of the gas surface density versus star formation rate surface density (Kennicutt-Schmidt relation) or on the correlation between young stellar object counts and gas mass as a function of density are ineffective at detecting thresholds even when they are present. The signatures in these diagnostics sometimes taken as indicative of a threshold in observations, which we generally reproduce in our mock observations, do not prove to correspond to real physical features in the 3D gas distribution.


title: Borsuk-Ulam theorems for products of spheres and Stiefel manifolds revisited

abstract: We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(\mathbb{Z}/2)^k$-equivariant maps from a product of $k$ spheres to the unit sphere in a real $(\mathbb{Z}/2)^k$-representation of the same dimension. Our proof method allows us to derive Borsuk--Ulam theorems for certain equivariant maps from Stiefel manifolds, from the corresponding results about products of spheres, leading to alternative proofs and extensions of some results of Fadell and Husseini.


title: New Constellation Design and Bit Mapping for Dual Mode OFDM-IM

abstract: Dual mode orthogonal frequency division multiplexing with index modulation (DM-OFDM-IM) is recently proposed, which modulates all subcarriers to eliminate the limits of spectrum efficiency in OFDM with index modulation (OFDM-IM). In DM-OFDM-IM, the subcarriers within each subblock are divided into two groups, which are modulated by two distinguishable constellation alphabets drawn from the distinct two constellations. In this paper, a new constellation design for DM-OFDM-IM is proposed based on the pairwise error probability (PEP) analysis. In previous works, the design of the constellation pair is naive and induces much power. Also, a new bit mapping scheme for DM-OFDM-IM is proposed. The proposed bit mapping scheme can relieve the catastrophic effect of the index demodulation error incurring burst of errors, which is the endemic problem of the index demodulation systems. The simulation results show that the proposed constellation pair and the proposed bit mapping scheme substantially enhance the BER performance of the DM-OFDM-IM than the conventional DM-OFDM-IM.


title: Projective limits of local shift morphism

abstract: We define the notion of projective limit of local shift morphisms of type $\left( r,s\right) $ and endow the space of such mathematical objects with an adapted differential structure. The notion of shift Poisson tensor $P$ on a Hilbert tower corresponds to such morphisms which are antisymmetric and whose Schouten bracket $\left[ P,P\right] $ vanishes. We illustrate this notion with the example of the famous KdV equation on the circle $\mathbb{S}^{1}$ for which one can associate a couple of compatible Poisson tensors of this type on the Hilbert tower $\left( H^{n}(\mathbb{S}^{1})\right) _{n\in\mathbb{N}% ^{\ast}}$.


title: Local dimensions and quantization dimensions in dynamical systems

abstract: Let $\mu$ be a Borel probability measure generated by a hyperbolic recurrent iterated function system defined on a nonempty compact subset of $\mathbb R^k$. We study the Hausdorff and the packing dimensions, and the quantization dimensions of $\mu$ with respect to the geometric mean error. The results establish the connections with various dimensions of the measure $\mu$, and generalize many known results about local dimensions and quantization dimensions of measures.


title: A general model of focal adhesion orientation dynamics in response to static and cyclic stretch

abstract: Understanding cellular response to mechanical forces is immensely important for a plethora of biological processes. Focal adhesions are multi-molecular protein assemblies that connect the cell to the extracellular matrix and play a pivotal role in cell mechanosensing. Under time varying stretches, focal adhesions dynamically reorganize and reorient and as a result, regulate the response of cells in tissues. Here, I present a simple theoretical model based on, to my knowledge, a novel approach in the understanding of stretch sensitive bond association and dissociation processes together with the elasticity of the cell-substrate system to predict the growth, stability and the orientation of focal adhesions in the presence of static as well as cyclically varying stretches. The model agrees well with several experimental observations; most importantly, it explains the puzzling observations of parallel orientation of focal adhesions under static stretch and nearly perpendicular orientation in response to fast varying cyclic stretch.


title: Strictly invariant submodules

abstract: If $M$ is an $R$-module, we study the submodules $K\leq M$ with the property that $K$ is invariant with respect to all monomorphisms $K\rightarrow M$. Such submodules are called \textsl{strictly invariant}. For the case of $% \mathbb{Z}$-modules (i.e. Abelian groups) we prove that in many situations these submodules are invariant with respect to all homomorphisms $% K\rightarrow M$, submodules which were called \textsl{strongly invariant}.


title: Bayesian optimization in ab initio nuclear physics

abstract: Theoretical models of the strong nuclear interaction contain unknown coupling constants (parameters) that must be determined using a pool of calibration data. In cases where the models are complex, leading to time consuming calculations, it is particularly challenging to systematically search the corresponding parameter domain for the best fit to the data. In this paper, we explore the prospect of applying Bayesian optimization to constrain the coupling constants in chiral effective field theory descriptions of the nuclear interaction. We find that Bayesian optimization performs rather well with low-dimensional parameter domains and foresee that it can be particularly useful for optimization of a smaller set of coupling constants. A specific example could be the determination of leading three-nucleon forces using data from finite nuclei or three-nucleon scattering experiments.


title: Measure rigidity of synthetic lower Ricci curvature bound on Riemannian manifolds

abstract: In this paper we investigate Lott-Sturm-Villani's synthetic lower Ricci curvature bound on Riemannian manifolds with boundary. We prove several measure rigidity results for some important functional and geometric inequalities, which completely characterize ${\rm CD}(K, \infty)$ condition and non-collapsed ${\rm CD}(K, N)$ condition on Riemannian manifolds with boundary. In particular, using $L^1$-optimal transportation theory, we prove that ${\rm CD}(K, \infty)$ condition implies geodesical convexity.


title: Products of elements of cobordism-like modules induced from generic maps

abstract: Recently the author has introduced cobordism-like modules induced from generic maps whose codimensions are negative. They are generalizations of cobordism modules of manifolds. They have been introduced in generalizing the following theorem shown by Hiratuka and Saeki in 2013--14; for a generic map whose codimension is negative including a connected component of an inverse image of a regular value being not null-cobordant and for a space defined as all connected components of inverse images, which is a polyhedron of dimension equal to that of the target space, the top-dimensional homology group does not vanish. Note that such spaces are fundamental and important tools in general, in the differential topological theory of Morse functions and their higher dimensional versions and application to algebraic and differential topology of manifolds, or the global singularity theory. In this paper, the author succeeded in defining suitable elements as the products for pairs of elements in cobordism modules which may be distinct, as in the case of the ordinary cobordism modules. This is an extension of the product of two ordinary cobordism classes of manifolds.


title: Unbroken $E_7\times E_7$ nongeometric heterotic strings, stable degenerations and enhanced gauge groups in F-theory duals

abstract: Eight-dimensional non-geometric heterotic strings with gauge algebra $\mathfrak{e}_8\mathfrak{e}_7$ were constructed by Malmendier and Morrison as heterotic duals of F-theory on K3 surfaces with $\Lambda^{1,1}\oplus E_8\oplus E_7$ lattice polarization. Clingher, Malmendier and Shaska extended these constructions to eight-dimensional non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$ as heterotic duals of F-theory on $\Lambda^{1,1}\oplus E_7\oplus E_7$ lattice polarized K3 surfaces. In this study, we analyze the points in the moduli of non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$, at which the non-Abelian gauge groups on the F-theory side are maximally enhanced. The gauge groups on the heterotic side do not allow for the perturbative interpretation at these points. We show that these theories can be described as deformations of the stable degenerations, as a result of coincident 7-branes on the F-theory side. From the heterotic viewpoint, this effect corresponds to the insertion of 5-branes. These effects can be used to understand nonperturbative aspects of nongeometric heterotic strings. Additionally, we build a family of elliptic Calabi-Yau 3-folds by fibering elliptic K3 surfaces, which belong to the F-theory side of the moduli of non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$, over $\mathbb{P}^1$. We find that highly enhanced gauge symmetries arise on F-theory on the built elliptic Calabi-Yau 3-folds.


title: Superconvergence of $C^0$-$Q^k$ finite element method for elliptic equations with approximated coefficients

abstract: We prove that the superconvergence of $C^0$-$Q^k$ finite element method at the Gauss Lobatto quadrature points still holds if variable coefficients in an elliptic problem are replaced by their piecewise $Q^k$ Lagrange interpolant at the Gauss Lobatto points in each rectangular cell. In particular, a fourth order finite difference type scheme can be constructed using $C^0$-$Q^2$ finite element method with $Q^2$ approximated coefficients.


title: Distributed Dynamic Pricing of Multiscale Transportation Networks

abstract: We study transportation networks controlled by dynamic feedback tolls. We focus on a multiscale model whereby the dynamics of the traffic flows are intertwined with those of the routing choices. The latter are influenced by the current traffic state of the network as well as by dynamic tolls controlled in feedback by the system planner. We prove that a class of decentralized monotone flow-dependent tolls allow for globally stabilizing the transportation network around a generalized Wardrop equilibrium. In particular, our results imply that using decentralized marginal cost tolls, stability of the dynamic transportation network is guaranteed around the social optimum traffic assignment. This is particularly remarkable as such dynamic feedback tolls can be computed in a fully local way without the need for any global information about the network structure, its state, or the exogenous network loads. Through numerical simulations, we also compare the performance of such decentralized dynamic feedback marginal cost tolls with constant off-line (and centrally) optimized tolls both in the asymptotic and in the transient regime and we investigate their robustness to information delays.


title: Stochastic first-order methods: non-asymptotic and computer-aided analyses via potential functions

abstract: We provide a novel computer-assisted technique for systematically analyzing first-order methods for optimization. In contrast with previous works, the approach is particularly suited for handling sublinear convergence rates and stochastic oracles. The technique relies on semidefinite programming and potential functions. It allows simultaneously obtaining worst-case guarantees on the behavior of those algorithms, and assisting in choosing appropriate parameters for tuning their worst-case performances. The technique also benefits from comfortable tightness guarantees, meaning that unsatisfactory results can be improved only by changing the setting. We use the approach for analyzing deterministic and stochastic first-order methods under different assumptions on the nature of the stochastic noise. Among others, we treat unstructured noise with bounded variance, different noise models arising in over-parametrized expectation minimization problems, and randomized block-coordinate descent schemes.


title: Outage Performance in Secure Cooperative NOMA

abstract: Enabling cooperation in a NOMA system is a promising approach to improve its performance. In this paper, we study the cooperation in a secure NOMA system, where the legitimate users are distributed uniformly in the network and the eavesdroppers are distributed according to a homogeneous Poisson point process. We consider a cooperative NOMA scheme (two users are paired as strong and weak users) in two phases: 1) Direct transmission phase, in which the base station broadcasts a superposition of the messages, 2) Cooperation phase, in which the strong user acts as a relay to help in forwarding the messages of the weak user. We study the secrecy outage performance in two cases: (i) security of the strong user, (ii) security of both users, are guaranteed. In the first case, we derive the exact secrecy outage probability of the system for some regions of power allocation coefficients and a lower bound on the secrecy outage probability is derived for the other regions. In the second case, the strong user is a relay or a friendly jammer (as well as a relay), where an upper bound on the secrecy outage probability is derived at high signal-to-noise-ratio regimes. For both cases, the cooperation in a two-user paired NOMA system necessitate to utilize the joint distribution of the distance between two random users. Numerical results shows the superiority of the secure cooperative NOMA for a range of the cooperation power compared to secure non-cooperative NOMA systems.


title: Gedanken Experiments to Destroy a BTZ Black Hole

abstract: We consider gedanken experiments to destroy an extremal or near-extremal BTZ black hole by throwing matter into the horizon. These black holes are vacuum solutions to (2+1)-dimensional gravity theories, and are asymptotically $\mathrm{AdS}_3$. Provided the null energy condition for the falling matter, we prove the following---(i) in a Mielke-Baekler model without ghost fields, when torsion is present, an extremal BTZ black hole can be overspun and becomes a naked conical singularity; (ii) in 3-dimensional Einstein gravity and chiral gravity, which both live in torsionless limits of Mielke-Baekler model, an extremal BTZ black hole cannot be overspun; and (iii) in both Einstein gravity and chiral gravity, a near-extremal BTZ black hole cannot be overspun, leaving the weak cosmic censorship preserved. To obtain these results, we follow the analysis of Sorce and Wald on their gedanken experiments to destroy a Kerr-Newman black hole, and calculate the second order corrections to the black hole mass. Furthermore, Wald's type of gedanken experiment provides an operational procedure of proving the third law of black hole mechanics. Through the AdS/CFT correspondence, our results on BTZ black holes also indicate that a third law of thermodynamics holds for the holographic conformal field theories dual to 3-dimensional Einstein gravity and chiral gravity.


title: Dynamic Shortening of Disorder Potentials in Anharmonic Halide Perovskites

abstract: Halide perovskites are semiconductors that exhibit sharp optical absorption edges and small Urbach energies allowing for efficient collection of sunlight in thin-film photovoltaic devices. However, halide perovskites also exhibit large nuclear anharmonic effects and disorder, which is unusual for efficient optoelectronic materials and difficult to rationalize in view of the small Urbach energies that indicate a low amount of disorder. To address this important issue, the disorder potential induced for electronic states by the nuclear dynamics in various paradigmatic halide perovskites is studied with molecular dynamics and density functional theory. We find that the disorder potential is dynamically shortened due to the nuclear motions in the perovskite, such that it is short-range correlated, which is shown to lead to favorable distributions of band edge energies. This dynamic mechanism allows for sharp optical absorption edges and small Urbach energies, which are highly desired properties of any solar absorber material.


title: Firing statistics in the bistable regime of neurons with homoclinic spike generation

abstract: Neuronal voltage dynamics of regularly firing neurons typically has one stable attractor: either a fixed point (like in the subthreshold regime) or a limit cycle that defines the tonic firing of action potentials (in the suprathreshold regime). In two of the three spike onset bifurcation sequences that are known to give rise to all-or-none type action potentials, however, the resting-state fixpoint and limit cycle spiking can coexist in an intermediate regime, resulting in bistable dynamics. Here, noise can induce switches between the attractors, i.e., between rest and spiking, and thus increase the variability of the spike train compared to neurons with only one stable attractor. Qualitative features of the resulting spike statistics depend on the spike onset bifurcations. This study focuses on the creation of the spiking limit cycle via the saddle-homoclinic orbit (HOM) bifurcation and derives interspike interval (ISI) densities for a conductance-based neuron model in the bistable regime. The ISI densities of bistable homoclinic neurons are found to be unimodal yet distinct from the inverse Gaussian distribution associated with the saddle-node-on-invariant-cycle (SNIC) bifurcation. It is demonstrated that for the HOM bifurcation the transition between rest and spiking is mainly determined along the downstroke of the action potential -- a dynamical feature that is not captured by the commonly used reset neuron models. The deduced spike statistics can help to identify HOM dynamics in experimental data.


title: Automating Software Citation using GitCite

abstract: The ability to cite software and give credit to its authors and contributors is increasingly important. While the number of online open-source software repositories has grown rapidly over the past few years, few are being properly cited when used due to the difficulty of creating appropriate citations and the lack of automated techniques. This paper presents GitCite, a model for software citation with version control which enables citations to be inferred for any project component based on a small number of explicit citations attached to subdirectories/files, and an implementation that integrates with Git and GitHub. The implementation includes a browser extension and a local executable tool, which enable citations to be added/modified/deleted to software project repositories and managed through functions such as fork/merge/copy.


title: Assessing the Usages of LMS at KAU and Proposing FORCE Strategy for the Diffusion

abstract: Since the beginning of the Saudi Arabian academic year 1435 (Sept 2014), the web-based learning management system Blackboard has been introduced and made available to all instructors and students for all courses at King Abdulaziz University (KAU). The current study takes place to assess the current usages of the Blackboard usages at KAU. The data collected from the 923 students of the foundation year which represent about one-third of the total number of the male students for the academic 2016-2017. Based on statistical evidence gained from the students responses to the survey questions, 78% of the students are inactive users of the Blackboard. The study follows up with interviewing five instructors who teach first-year students in order to seek explanations of the Blackboard low usages by the students. The outcomes point significant processes at an individual level and as well as an organizational level. The Diffusion of Innovation (DOI) was used to study the case because it is believed to be the best explain such adoption of innovation at individual and organizational levels. Based on the current outcomes and the author's experience in teaching a computer course using Blackboard, a strategy called 'FORCE' is proposed for the diffusion process.


title: Degenerate orbital effect in a three orbital periodic Anderson model

abstract: The competition between the Ruderman-Kittel-Kasuya-Yosida effect and Kondo effect is a central subject of periodic Anderson model. By using the density matrix embedding theory, we study a three orbital periodic Anderson model, in which the effects of degenerate conduction orbitals via the local magnetic moments, number of electrons, and spin-spin correlation functions, are investigated. From the phase diagram at half filling, we find there exists two different anti-ferromagnetic phases and one paramagnetic phase. To explore the difference of the two anti-ferromagnetic phases, the topology of Fermi surface and the connection with standard periodic Anderson model are considered. The spin-spin correlation functions yield insight into the competition between Ruderman-Kittel-Kasuya-Yosida interaction and Kondo interaction. We further find there is a "scaling transformation" connects different ratio of the hybridization strength.


title: From Parisi to Boltzmann

abstract: We sketch a new framework for the analysis of disordered systems, in particular mean field spin glasses, which is variational in nature and within the formalism of classical thermodynamics. For concreteness, only the Sherrington-Kirkpatrick model is considered here. For this we show how the Parisi solution (replica symmetric, or when replica symmetry is broken) emerges, in large but finite volumes, from a high temperature expansion to second order of the Gibbs potential with respect to order parameters encoding the law of the effective fields. In contrast with classical systems where convexity in the order parameters is the default situation, the functionals employed here are, at infinite temperature, concave: this feature is eventually due to the Gaussian nature of the interaction and implies, in particular, that the canonical Boltzmann-Gibbs variational principles must be reversed. The considerations suggest that thermodynamical phase transitions are intimately related to the divergence of the infinite expansions.


title: Deep Autotuner: A Data-Driven Approach to Natural-Sounding Pitch Correction for Singing Voice in Karaoke Performances

abstract: We describe a machine-learning approach to pitch correcting a solo singing performance in a karaoke setting, where the solo voice and accompaniment are on separate tracks. The proposed approach addresses the situation where no musical score of the vocals nor the accompaniment exists: It predicts the amount of correction from the relationship between the spectral contents of the vocal and accompaniment tracks. Hence, the pitch shift in cents suggested by the model can be used to make the voice sound in tune with the accompaniment. This approach differs from commercially used automatic pitch correction systems, where notes in the vocal tracks are shifted to be centered around notes in a user-defined score or mapped to the closest pitch among the twelve equal-tempered scale degrees. We train the model using a dataset of 4,702 amateur karaoke performances selected for good intonation. We present a Convolutional Gated Recurrent Unit (CGRU) model to accomplish this task. This method can be extended into unsupervised pitch correction of a vocal performance, popularly referred to as autotuning.


title: $\ell_1$-norm in three-qubit quantum entanglement constrained by Yang-Baxter equation

abstract: Usually the $\ell_2$-norm plays vital roles in quantum physics, acting as the probability of states. In this paper, we show the important roles of $\ell_1$-norm in Yang-Baxter quantum system, in connection with both the braid matrix and quantum entanglements. Concretely, we choose the 2-body and 3-body S-matrices, constrained by Yang-Baxter equation. It has been shown that for 2-body case, the extreme values of $\ell_1$-norm lead to two types of braid matrices and 2-qubit Bell states. Here we show that for the 3-body case, due to the constraint of YBE, the extreme values of $\ell_1$-norm lead to both 3-qubit $|GHZ\rangle$ (local maximum) and $|W\rangle$ (local minimum) states, which cover all 3-qubit genuine entanglements for pure states under SLOCC. This is a more convincing proof for the roles of $\ell_1$-norm in quantum mechanics.


title: Sharp threshold nonlinearity for maximizing the Trudinger-Moser inequalities

abstract: We study existence of maximizer for the Trudinger-Moser inequality with general nonlinearity of the critical growth on $R^2$, as well as on the disk. We derive a very sharp threshold nonlinearity between the existence and the non-existence in each case, in asymptotic expansions with respect to growth and decay of the function. The expansions are explicit, using Ap\'ery's constant. We also obtain an asymptotic expansion for the exponential radial Sobolev inequality on $R^2$.


title: Finite term relations for the exponential orthogonal polynomials

abstract: The exponential orthogonal polynomials encode via the theory of hyponormal operators a shade function $g$ supported by a bounded planar shape. We prove under natural regularity assumptions that these complex polynomials satisfy a three term relation if and only if the underlying shape is an ellipse carrying uniform black on white. More generally, we show that a finite term relation among these orthogonal polynomials holds if and only if the first row in the associated Hessenberg matrix has finite support. This rigidity phenomenon is in sharp contrast with the theory of classical complex orthogonal polynomials. On function theory side, we offer an effective way based on the Cauchy transforms of $g, \overline{z}g, \ldots, \overline{z}^dg$, to decide whether a $(d+2)$-term relation among the exponential orthogonal polynomials exists; in that case we indicate how the shade function $g$ can be reconstructed from a resulting polynomial of degree $d$ and the Cauchy transform of $g$. A discussion of the relevance of the main concepts in Hele-Shaw dynamics completes the article.


title: Highly relativistic electron flux enhancement during the weak geomagnetic storm of April-May 2017

abstract: We report observations of energetic electron flux and Phase Space Density (PSD) to show that a relatively weak magnetic storm with $Sym-H_{min} \approx -50 $nT, resulted in a relativistic and ultra--relativistic electron enhancement of two orders of magnitude similar to the St. Patrick's event of 2015, an extreme storm with $Sym-H_{min} \approx -235 nT$. This enhancement appeared at energies up to $\approx 10$ MeV, lasted for at least 24 days and was not recorded in geosynchronous orbit where most space weather alert data are collected. By combined analysis of PSD radial profiles and Fokker--Planck simulation, we show that the enhancement of relativistic and ultra--relativistic electrons is caused by different mechanisms: first, chorus waves during the intense substorm injections of April 21--25 accelerate the seed electron population to relativistic energies and redistribute them while inward diffusion driven by Pc5 ULF waves further accelerates them to ultra--relativistic energies.


title: On the statistics of acceleration and loss of relativistic electrons in the outer radiation belt: a superposed epoch analysis

abstract: We investigate the response of the outer Van Allen belt electrons to various types of solar wind and magnetospheric disturbances. We use electron phase space density (PSD) calculations as well as concurrent Pc5 and chorus wave activity observations in the outer belt during the Van Allen Probes era to compare 20 electron enhancement and 8 depletion events. Results indicate that the combined effect of magnetopause shadowing and outward diffusion driven by Pc5 waves is present in both groups of events. Furthermore, in the case of enhancement events, the synergy of enhanced seed population levels and chorus activity -- due to the enhanced substorm activity -- can effectively replenish the losses of relativistic electrons, while inward diffusion can further accelerate them.


title: The braided group of a square-free solution of the Yang-Baxter equation and its group algebra

abstract: Set-theoretic solutions of the Yang--Baxter equation form a meeting-ground of mathematical physics, algebra and combinatorics. Such a solution $(X,r)$ consists of a set $X$ and a bijective map $r:X\times X\to X\times X$ which satisfies the braid relations. In this work we study the braided group $G=G(X,r)$ of an involutive square-free solution $(X,r)$ of finite order $n$ and cyclic index $p=p(X,r)$ and the group algebra $\textbf{k} [G]$ over a field $\textbf{k}$. We show that $G$ contains a $G$-invariant normal subgroup $\mathcal{F}_p$ of finite index $p^n$, $\mathcal{F}_p$ is isomorphic to the free abelian group of rank $n$. We describe explicitly the quotient braided group $\widetilde{G}=G/\mathcal{F}_p$ of order $p^n$ and show that $X$ is embedded in $\widetilde{G}$. We prove that the group algebra $\textbf{k} [G]$ is a free left (resp. right) module of finite rank $p^n$ over its commutative subalgebra $\textbf{k}[\mathcal{F}_p]$ and give an explicit free basis. The center of $\textbf{k} [G]$ contains the subalgebra of symmetric polynomials in $\textbf{k} [x_1^p, \cdots, x_n^p]$. Classical results on group rings imply that $\textbf{k}[G]$ is a left (and right) Noetherian domain of finite global dimension.


title: Improvement of Simplified Models of Variability of Stars: A review

abstract: Astronomical data are typically irregular in time, e.g. the space (HIPPARCOS/TYCHO, KEPLER, GAIA, WISE etc.) and ground-based CCD (NSVS, ASAS, CRTS, SuperWASP etc.) and photographic (Harvard, Sonneberg, Odessa etc.) photometrical surveys. This leads to cancellation of the conditions, which lead to the orthogonality of the basic functions, and thus the simplified methods give biased parameters of the approximations. We have elaborated a series of algorithms and programs for statistically correct analysis, and have applied them to 2000+ variable stars of different types. The data were obtained from an international collaboration in a frame of the "Inter-Longitude Astronomy" (ILA) campaign. Some highlights of our studies are presented, with an extended list of our original publications. The main improvements were done: 1) for the periodogram analysis - the parameters are determined from a complete set of equations containing the (algebraic polynomial) trend superimposed on the (multi-) harmonic wave, so no "detrending", no "prewhitening" are used; 2) for the approximations - we use additional (multi-) harmonic waves, and also "special shapes" (patterns) for parts of the light curve, which correspond to relatively fast changes (minima of the eclipsing binaries, minima and maxima for the pulsating variables); 3) "auto correlation analysis" (ACF) - taking into account the bias due to a trend removal (previously - only a subtraction of the sample mean was taken into account); ACF for the irregularly spaced data; 4) for the signals with bad coherence, the "scalegram" analysis is proposed, which allows to estimate a characteristic cycle length and the amplitude, as well as to provide a realistic approximation; 5) the extension of the Morlet-type wavelet for more periodic signals and 6) "running" (parabola, sine) approximations for aperiodic and "nearly periodic" variations, respectively.


title: Analysis and Output Tracking Design for the Direct Contact Membrane Distillation Parabolic System

abstract: This paper considers the performance output tracking for a boundary controlled Direct Contact Membrane Distillation (DCMD) system. First, the mathematical properties of a recently developed mathematical model of the DCMD system are discussed. This model consists of parabolic equations coupled at the boundary. Then, the existence and uniqueness of the solutions are analyzed, using the theory of operators. Some regularity results of the solution are also established. A particular case showing the diagonal property of the principal operator is studied. Then, based on one-side feedback law the control problem, which consists of tracking both the feed and permeate outlet temperatures of the membrane distillation system is formulated. A servomechanism and an output feedback controller are proposed to solve the control problem. In addition, an extended state observer aimed at estimating both the system state and disturbance, based on the temperature measurements of the inlet is proposed. Thus, by some regularity for the reference signal and when the disturbance vanishes, we prove the exponential decay of the output tracking error. Moreover, we show the performance of the control strategy in presence of the flux noise.


title: An elementary computation of the Galois groups of symmetric sextic trinomials

abstract: We compute the Galois group of the splitting field $F$ of any irreducible and separable polynomial $f(x)=x^6+ax^3+b$ with $a,b\in K$, a field with characteristic different from two. The proofs require to distinguish between two cases: whether or not the cubic roots of unity belong to $K$. We also give a criterion to determine whether a polynomial as $f(x)$ is irreducible, when $F$ is a finite field. Moreover, at the end of the paper we also give a complete list of all the possible subfields of $F$.


title: 4-regular planar unit triangle graphs without additional triangles

abstract: In this article we proof the existence of 4-regular planar unit-distance graphs consisting only of unit triangles without additional triangles. It is shown that the smallest number of unit triangles is $\leq$6422.


title: Lecture Notes on the Theory of Open Quantum Systems

abstract: This is a self-contained set of lecture notes covering various aspects of the theory of open quantum system, at a level appropriate for a one-semester graduate course. The main emphasis is on completely positive maps and master equations, both Markovian and non-Markovian.


title: Maximal Tukey types, P-ideals and the weak Rudin-Keisler order

abstract: In this paper, we study some new examples of ideals on $\omega$ with maximal Tukey type (that is, maximal among partial orders of size continuum). This discussion segues into an examination of a refinement of the Tukey order -- known as the "weak Rudin-Keisler order" -- and its structure when restricted to these ideals of maximal Tukey type. Mirroring a result of Fremlin on the Tukey order, we also show that there is an analytic P-ideal above all other analytic P-ideals in the weak Rudin-Keisler. Acknowledgment: this preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this article is published in the Archive for Mathematical Logic, and is available online at https://doi.org/10.1007/s00153-023-00897-z.


title: Arecibo Radar Observations of Near-Earth Asteroid (3200) Phaethon During the 2017 Apparition

abstract: We report Arecibo S-band (2380 MHz; 12.6 cm) radar observations of near-Earth asteroid (3200) Phaethon during the December 2017 apparition when Phaethon passed within 0.07 au of Earth. Radar images with a resolution of 75 m per pixel reveal a roughly spheroidal shape more than 6 km in diameter at the equator with several discernible surface features hundreds of meters in extent. These include a possible crater more than 1 km across located below 30$^{\circ}$ latitude and a roughly 600-m radar-dark region near one of the poles. Overall, the radar images of Phaethon are reminiscent of those of (101955) Bennu, target of the OSIRIS-REx mission. As such, the shape of Phaethon is suspected to have an equatorial ridge similar to the top-shaped models of several other radar-observed near-Earth asteroids as well as the optical images of (162173) Ryugu returned by the Hayabusa2 spacecraft. Preliminary analysis of the radar data finds no satellites and gives no indication of a dusty coma at the time of these observations.


title: Non-monotonic pressure dependence of high-field nematicity and magnetism in CeRhIn$_5$

abstract: CeRhIn$_5$ provides a textbook example of quantum criticality in a heavy fermion system: Pressure suppresses local-moment antiferromagnetic (AFM) order and induces superconductivity in a dome around the associated quantum critical point (QCP) near $p_{c} \approx 23\,$kbar. Strong magnetic fields also suppress the AFM order at a field-induced QCP at $B_{\rm c}\approx 50\,$T. In its vicinity, a nematic phase at $B^*\approx 28\,$T characterized by a large in-plane resistivity anisotropy emerges. Here, we directly investigate the interrelation between these phenomena via magnetoresistivity measurements under high pressure. As pressure increases, the nematic transition shifts to higher fields, until it vanishes just below $p_{\rm c}$. While pressure suppresses magnetic order in zero field as $p_{\rm c}$ is approached, we find magnetism to strengthen under strong magnetic fields due to suppression of the Kondo effect. We reveal a strongly non-mean-field-like phase diagram, much richer than the common local-moment description of CeRhIn$_5$ would suggest.


title: Basic geometry of the affine group over Z

abstract: The subject matter of this paper is the geometry of the affine group over the integers, $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$. Turing-computable complete $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-orbit invariants are constructed for angles, segments, triangles and ellipses. In rational affine $\mathsf{GL}(n,\mathbb Q)\ltimes \mathbb Q^n$-geometry, ellipses are classified by the Clifford--Hasse--Witt invariant, via the Hasse-Minkowski theorem. We classify ellipses in $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-geometry combining results by Apollonius of Perga and Pappus of Alexandria with the Hirzebruch-Jung continued fraction algorithm and the Morelli-W\l odarczyk solution of the weak Oda conjecture on the factorization of toric varieties. We then consider {\it rational polyhedra}, i.e., finite unions of simplexes in $\mathbb R^n$ with rational vertices. Markov's unrecognizability theorem for combinatorial manifolds states the undecidability of the problem whether two rational polyhedra $P$ and $P'$ are continuously $\mathsf{GL}(n,\mathbb Q)\ltimes \mathbb Q^n$-equidissectable. The same problem for the continuous $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-equi\-dis\-sect\-ability of $P$ and $P'$ is open. We prove the decidability of the problem whether two rational polyhedra $P,Q$ in $\mathbb R^n$ have the same $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-orbit.


title: Universal Lemmatizer: A Sequence to Sequence Model for Lemmatizing Universal Dependencies Treebanks

abstract: In this paper we present a novel lemmatization method based on a sequence-to-sequence neural network architecture and morphosyntactic context representation. In the proposed method, our context-sensitive lemmatizer generates the lemma one character at a time based on the surface form characters and its morphosyntactic features obtained from a morphological tagger. We argue that a sliding window context representation suffers from sparseness, while in majority of cases the morphosyntactic features of a word bring enough information to resolve lemma ambiguities while keeping the context representation dense and more practical for machine learning systems. Additionally, we study two different data augmentation methods utilizing autoencoder training and morphological transducers especially beneficial for low resource languages. We evaluate our lemmatizer on 52 different languages and 76 different treebanks, showing that our system outperforms all latest baseline systems. Compared to the best overall baseline, UDPipe Future, our system outperforms it on 62 out of 76 treebanks reducing errors on average by 19% relative. The lemmatizer together with all trained models is made available as a part of the Turku-neural-parsing-pipeline under the Apache 2.0 license.


title: Linear recursions for integer point transforms

abstract: We consider the integer point transform $\sigma _P (\mathbf{x}) = \sum _{\mathbf{m} \in P\cap \mathbb{Z}^n} \mathbf{x}^\mathbf{m} \in \mathbb C [x_1^{\pm 1},\ldots, x_n^{\pm 1}]$ of a polytope $P\subset \mathbb{R}^n$. We show that if $P$ is a lattice polytope then for any polytope $Q$ the sequence $\lbrace \sigma _{kP+Q}(\mathbf{x})\rbrace _{k\geq 0}$ satisfies a multivariate linear recursion that only depends on the vertices of $P$. We recover Brion's Theorem and by applying our results to Schur polynomials we disprove a conjecture of Alexandersson (2014).


title: The fundamental group, rational connectedness and the positivity of Kaehler manifolds

abstract: First we confirm a conjecture asserting that any compact K\"ahler manifold $N$ with $\Ric^\perp>0$ must be simply-connected by applying a new viscosity consideration to Whitney's comass of $(p, 0)$-forms. Secondly we prove the projectivity and the rational connectedness of a K\"ahler manifold of complex dimension $n$ under the condition $\Ric_k>0$ (for some $k\in \{1, \cdots, n\}$, with $\Ric_n$ being the Ricci curvature), generalizing a well-known result of Campana, and independently of Koll\'ar-Miyaoka-Mori, for the Fano manifolds. The proof utilizes both the above comass consideration and a second variation consideration of \cite{Ni-Zheng2}. Thirdly, motivated by $\Ric^\perp$ and the classical work of Calabi-Vesentini \cite{CV}, we propose two new curvature notions. The cohomology vanishing $H^q(N, T'N)=\{0\}$ for any $1\le q\le n$ and a deformation rigidity result are obtained under these new curvature conditions. In particular they are verified for all classical K\"ahler C-spaces with $b_2=1$. The new conditions provide viable candidates for a curvature characterization of homogenous K\"ahler manifolds related to a generalized Hartshone conjecture.


title: Some Remarks on Real-Time Turing Machines

abstract: The power of real-time Turing machines using sublinear space is investigated. In contrast to a claim appearing in the literature, such machines can accept non-regular languages, even if working in deterministic mode. While maintaining a standard binary counter appears to be impossible in real-time, we present a guess and check approach that yields a binary representation of the input length. Based on this technique, we show that unary encodings of languages accepted in exponential time can be recognized by nondeterministic real-time Turing machines.


title: Bayesian Elicitation

abstract: We study how a decision-maker can acquire more information from an agent by reducing her own ability to observe what the agent transmits. In a large class of binary-action games, opacity design is just as good as full commitment to actions and also guarantees that ex ante information acquisition always benefits the receiver, even though without opacity design this learning might actually lower the receiver's expected payoff.


title: Dynamics of Renyi entanglement entropy in local quantum circuits with charge conservation

abstract: In local quantum circuits with charge conservation, we initialize the system in random product states and study the dynamics of the Renyi entanglement entropy $R_\alpha$. We rigorously prove that $R_\alpha$ with Renyi index $\alpha>1$ at time $t$ is $\le O(\sqrt{t\ln t})$ if the transport of charges is diffusive. Very recent numerical results of Rakovszky et al. show that this upper bound is saturated (up to the sub-logarithmic correction) in random local quantum circuits with charge conservation.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Central limit theorem for peaks of a random permutation in a fixed conjugacy class of $S_n$

abstract: The number of peaks of a random permutation is known to be asymptotically normal. We give a new proof of this and prove a central limit theorem for the distribution of peaks in a fixed conjugacy class of the symmetric group. Our technique is to apply ``analytic combinatorics'' to study a complicated but exact generating function for peaks in a given conjugacy class.