title: Heuristics with Performance Guarantees for the Minimum Number of Matches Problem in Heat Recovery Network Design

abstract: Heat exchanger network synthesis exploits excess heat by integrating process hot and cold streams and improves energy efficiency by reducing utility usage. Determining provably good solutions to the minimum number of matches is a bottleneck of designing a heat recovery network using the sequential method. This subproblem is an NP-hard mixed-integer linear program exhibiting combinatorial explosion in the possible hot and cold stream configurations. We explore this challenging optimization problem from a graph theoretic perspective and correlate it with other special optimization problems such as cost flow network and packing problems. In the case of a single temperature interval, we develop a new optimization formulation without problematic big-M parameters. We develop heuristic methods with performance guarantees using three approaches: (i) relaxation rounding, (ii) water filling, and (iii) greedy packing. Numerical results from a collection of 51 instances substantiate the strength of the methods.


title: Detection of Low-energy Breaks in Gamma-Ray Burst Prompt Emission Spectra

abstract: The radiative process responsible for gamma-Ray Burst (GRB) prompt emission has not been identified yet. If dominated by fast-cooling synchrotron radiation, the part of the spectrum immediately below the $\nu F_\nu$ peak energy should display a power-law behavior with slope $\alpha_2=-3/2$, which breaks to a higher value $\alpha_1=-2/3$ (i.e. to a harder spectral shape) at lower energies. Prompt emission spectral data (usually available down to $\sim10-20\,$keV) are consistent with one single power-law behavior below the peak, with typical slope $\langle\alpha\rangle=-1$, higher than (and then inconsistent with) the expected value $\alpha_2=-3/2$. To better characterize the spectral shape at low energy, we analyzed 14 GRBs for which the Swift X-ray Telescope started observations during the prompt. When available, Fermi-GBM observations have been included in the analysis. For 67% of the spectra, models that usually give a satisfactory description of the prompt (e.g., the Band model) fail in reproducing the $0.5-1000\,$keV spectra: low-energy data outline the presence of a spectral break around a few keV.We then introduce an empirical fitting function that includes a low-energy power law $\alpha_1$, a break energy $E_{\rm break}$, a second power law $\alpha_2$, and a peak energy $E_{\rm peak}$. We find $\langle\alpha_1\rangle=-0.66$ ($ \rm \sigma=0.35$), $\langle \log (E_{\rm break}/\rm keV)\rangle=0.63$ ($ \rm \sigma=0.20$), $\langle\alpha_2\rangle=-1.46$ ($\rm \sigma=0.31$), and $\langle \log (E_{\rm peak}/\rm keV)\rangle=2.1$ ($ \rm \sigma=0.56$).The values $\langle\alpha_1\rangle$ and $\langle\alpha_2\rangle$ are very close to expectations from synchrotron radiation. In this context, $E_{\rm break}$ corresponds to the cooling break frequency.


title: Electric power transfer in spin pumping experiments

abstract: Spin pumping is becoming an established method to generate voltages from magnetic dynamics. The standard detection method of spin pumping is based on open circuit voltage measurement across ferromagnetic (FM) and non-magnetic (NM) bi-layers, where the inverse spin-Hall effect (ISHE) can convert spin currents into electrical charge accumulation. In this paper, we present that it is also possible to measure the associated electric charge current generated in FM/NM bi-layers, by using a macroscopic closed circuitry detection method. Using variable load resistors connected in series to the sample, we quantified charge currents and associated electric power dissipation as a function of the load resistance. By using basic circuit analysis, we are able to describe spin pumping cells as a non-ideal voltage source or equivalent current source with an internal resistor.


title: Kramers-Wannier duality and worldline representation for the SU(2) principal chiral model

abstract: In this letter we explore different representations of the SU(2) principal chiral model on the lattice. We couple chemical potentials to two of the conserved charges to induce finite density. This leads to a complex action such that the conventional field representation cannot be used for a Monte Carlo simulation. Using the recently developed Abelian color flux approach we derive a new worldline representation where the partition sum has only real and positive weights, such that a Monte Carlo simulation is possible. In a second step we transform the model to new dual variables in the Kramers-Wannier (KW) sense, such that the constraints are automatically fulfilled, and we obtain a second representation free of the complex action problem. We implement exploratory Monte Carlo simulations for both, the worldline, as well as the KW-dual form, for cross-checking the two dualizations and a first assessment of their potential for dual simulations.


title: A Trigger Interface Board to manage trigger and timing signals in CTA Large-Sized Telescope and Medium-Sized Telescope cameras

abstract: One of the main goals of the Cherenkov Telescope Array (CTA) observatory is to improve the $\gamma$-ray detection sensitivity by an order of magnitude, compared to the current ground-based observatories. Widening the energy coverage down to 20 GeV and up to 300 TeV is also an important goal. This goal will be possible by using Large-Sized Telescopes (LSTs) for the energy range of 20--200 GeV, Medium-Sized Telescopes (MSTs) for 100 GeV--10 TeV, and Small-Sized Telescopes (SSTs) for energies above 5 TeV. The LSTs, which focus on the lowest energies, are operated in a region dominated by background events originated from the night sky background. To reduce such background events as much as possible, the LST cameras are only read out if at least two of them have been triggered in a short-time coincidence window. Such trigger is implemented for each LST camera in a dedicated module called Trigger Interface Board (TIB). In addition, the TIB is also used in MSTs equipped with the NectarCAM camera system to manage the different trigger and timing signals between LSTs and MSTs, as well as to monitor the different counting rates and dead-time of the cameras. It also assigns a time stamp to each event, which is recorded along with the information provided by the CTA global timing distribution system, based on the White Rabbit protocol. Therefore, the event arrival time can be determined in a redundant way. In this contribution, the main features and the technical performance of the TIB are presented.


title: Physical Layer Security in Uplink NOMA Multi-Antenna Systems with Randomly Distributed Eavesdroppers

abstract: The physical layer security of uplink non-orthogonal multiple access (NOMA) is analyzed. A stochastic geometry approach is applied to analyze the coverage probability and the effective secrecy throughput (EST) of the kth NOMA user, where a fixed or an adaptive transmission rate can be used. A protected zone around the legitimate terminals to establish an eavesdropper-exclusion area. We assume that the channel state information associated with eavesdroppers is not available at the base station. We consider that the base station is equipped with multiple antennas. The impact of imperfect successive interference cancellation is also taken into account in this work. Our analysis allows an easy selection of the wiretap code rates that maximizes the EST. Additionally, our framework also allows an optimum selection of other system parameters like the transmit power or the eavesdropper-exclusion radius.


title: Adatom diffusion in high electric fields

abstract: Strong electric fields are known to create biased adatom migration on metallic surfaces. We present a Kinetic Monte Carlo model that can simulate adatom migration on a tungsten (W) surface in electric fields. We validate our model by using it to calculate the drift velocity of the adatom at different fields and temperature and comparing the results with experimental data from the literature. We obtain excellent agreement.


title: The Conditional Analogy GAN: Swapping Fashion Articles on People Images

abstract: We present a novel method to solve image analogy problems : it allows to learn the relation between paired images present in training data, and then generalize and generate images that correspond to the relation, but were never seen in the training set. Therefore, we call the method Conditional Analogy Generative Adversarial Network (CAGAN), as it is based on adversarial training and employs deep convolutional neural networks. An especially interesting application of that technique is automatic swapping of clothing on fashion model photos. Our work has the following contributions. First, the definition of the end-to-end trainable CAGAN architecture, which implicitly learns segmentation masks without expensive supervised labeling data. Second, experimental results show plausible segmentation masks and often convincing swapped images, given the target article. Finally, we discuss the next steps for that technique: neural network architecture improvements and more advanced applications.


title: DiSAN: Directional Self-Attention Network for RNN/CNN-Free Language Understanding

abstract: Recurrent neural nets (RNN) and convolutional neural nets (CNN) are widely used on NLP tasks to capture the long-term and local dependencies, respectively. Attention mechanisms have recently attracted enormous interest due to their highly parallelizable computation, significantly less training time, and flexibility in modeling dependencies. We propose a novel attention mechanism in which the attention between elements from input sequence(s) is directional and multi-dimensional (i.e., feature-wise). A light-weight neural net, "Directional Self-Attention Network (DiSAN)", is then proposed to learn sentence embedding, based solely on the proposed attention without any RNN/CNN structure. DiSAN is only composed of a directional self-attention with temporal order encoded, followed by a multi-dimensional attention that compresses the sequence into a vector representation. Despite its simple form, DiSAN outperforms complicated RNN models on both prediction quality and time efficiency. It achieves the best test accuracy among all sentence encoding methods and improves the most recent best result by 1.02% on the Stanford Natural Language Inference (SNLI) dataset, and shows state-of-the-art test accuracy on the Stanford Sentiment Treebank (SST), Multi-Genre natural language inference (MultiNLI), Sentences Involving Compositional Knowledge (SICK), Customer Review, MPQA, TREC question-type classification and Subjectivity (SUBJ) datasets.


title: GREENER: A Tool for Improving Energy Efficiency of Register Files

abstract: Graphics Processing Units (GPUs) maintain a large register file to increase the thread level parallelism (TLP). To increase the TLP further, recent GPUs have increased the number of on-chip registers in every generation. However, with the increase in the register file size, the leakage power increases. Also, with the technology advances, the leakage power component has increased and has become an important consideration for the manufacturing process. The leakage power of a register file can be reduced by turning infrequently used registers into low power (drowsy or off) state after accessing them. A major challenge in doing so is the lack of runtime register access information. This paper proposes GREENER (GPU REgister file ENErgy Reducer): a system to minimize leakage energy of the register file of GPUs. GREENER employs a compile-time analysis to estimate the run-time register access information. The result of the analysis is used to determine the power state of the registers (ON, SLEEP, or OFF) after each instruction. We propose a power optimized assembly instruction set that allows GREENER to encode the power state of the registers in the executable itself. The modified assembly, along with a run-time optimization to update the power state of a register during execution, results in significant power reduction. We implemented GREENER in GPGPU-Sim simulator, and used GPUWattch framework to measure the register file's leakage power. Evaluation of GREENER on 21 kernels from CUDASDK, GPGPU-SIM, Parboil, and Rodinia benchmarks suites shows an average reduction of register leakage energy by 69.04% and maximum reduction of 87.95% with a negligible number of simulation cycles overhead (0.53% on average).


title: Controlling Anomalous Diffusion in Lipid Membranes

abstract: Diffusion in cell membranes is not just simple two-dimensional Brownian motion, but typically depends on the timescale of the observation. The physical origins of this anomalous sub-diffusion are unresolved, and model systems capable of quantitative and reproducible control of membrane diffusion have been recognised as a key experimental bottleneck. Here we control anomalous dif- fusion using supported lipids bilayers containing lipids derivatized with polyethylene glycol (PEG) headgroups. Bilayers with specific excluded area fractions are formed by control of PEG-lipid mole fraction. These bilayers exhibit a switch in diffusive behaviour, becoming anomalous as bilayer continuity is disrupted. Diffusion in these bilayers is well-described by a power-law dependence of the mean-square displacement with observation time. The parameters describing this diffusion can be tailored by simply controlling the mole fraction of PEG-lipid, producing bilayers that exhibit diffusive behaviour with similar characteristics to those observed in biological membranes.


title: Levelable Sets and the Algebraic Structure of Parameterizations

abstract: Asking which sets are fixed-parameter tractable for a given parameterization constitutes much of the current research in parameterized complexity theory. This approach faces some of the core difficulties in complexity theory. By focussing instead on the parameterizations that make a given set fixed-parameter tractable, we circumvent these difficulties. We isolate parameterizations as independent measures of complexity and study their underlying algebraic structure. Thus we are able to compare parameterizations, which establishes a hierarchy of complexity that is much stronger than that present in typical parameterized algorithms races. Among other results, we find that no practically fixed-parameter tractable sets have optimal parameterizations.


title: On proximal mappings with Young functions in uniformly convex Banach spaces

abstract: It is well known in convex analysis that proximal mappings on Hilbert spaces are $1$-Lipschitz. In the present paper we show that proximal mappings on uniformly convex Banach spaces are uniformly continuous on bounded sets. Moreover, we introduce a new general proximal mapping whose regularization term is given as a composition of a Young function and the norm, and formulate our results at this level of generality. It is our aim to obtain the corresponding modulus of uniform continuity explicitly in terms of a modulus of uniform convexity of the norm and of moduli witnessing properties of the Young function. We also derive several quantitative results on uniform convexity, which may be of interest on their own.


title: Codes for Erasures over Directed Graphs

abstract: In this work we continue the study of a new class of codes, called \emph{codes over graphs}. Here we consider storage systems where the information is stored on the edges of a complete directed graph with $n$ nodes. The failure model we consider is of \emph{node failures} which are erasures of all edges, both incoming and outgoing, connected to the failed node. It is said that a code over graphs is a \textit{$\rho$-node-erasure-correcting code} if it can correct the failure of any $\rho$ nodes in the graphs of the code. While the construction of such optimal codes is an easy task if the field size is ${\cal O} (n^2)$, our main goal in the paper is the construction of codes over smaller fields. In particular, our main result is the construction of optimal binary codes over graphs which correct two node failures with a prime number of nodes.


title: Trait evolution with jumps: illusionary normality

abstract: Phylogenetic comparative methods for real-valued traits usually make use of stochastic process whose trajectories are continuous. This is despite biological intuition that evolution is rather punctuated than gradual. On the other hand, there has been a number of recent proposals of evolutionary models with jump components. However, as we are only beginning to understand the behaviour of branching Ornstein-Uhlenbeck (OU) processes the asymptotics of branching OU processes with jumps is an even greater unknown. In this work we build up on a previous study concerning OU with jumps evolution on a pure birth tree. We introduce an extinction component and explore via simulations, its effects on the weak convergence of such a process. We furthermore, also use this work to illustrate the simulation and graphic generation possibilities of the mvSLOUCH package.


title: The shrinking domain framework I: a new, faster, more efficient approach to cosmological simulations

abstract: The advent of the new generation of wide field galaxy surveys makes large N-body cosmological simulations a necessary evil. While the cosmological simulation codes have evolved a lot since the first calculations in the 80s, the computational requirements for generating data that is relevant for large surveys remain challenging. We propose an alternative approach that can speed up these simulations. The framework is based on the idea of reducing the size of the integration region following the lightcone of an observer at redshift zero and thus simulating only the parts of the Universe that can be observed. A possible implementation of this framework is presented, as well as tests of its accuracy and performance. These simple tests, based on conservative assumptions, show that the new framework gives a factor of three speed up with respect to the usual approach.


title: Global $W^{2,\delta}$ estimates for a type of singular fully nonlinear elliptic equations

abstract: We obtain global $W^{2,\delta}$ estimates for a type of singular fully nonlinear elliptic equations where the right hand side term belongs to $L^\infty$. The main idea of the proof is to slide paraboloids from below and above to touch the solution of the equation, and then to estimate the low bound of the measure of the set of contact points by the measure of the set of vertex points.


title: Poisson brackets with prescribed family of functions in involution

abstract: It is well known that functions in involution with respect to Poisson brackets have a privileged role in the theory of completely integrable systems. Finding functionally independent functions in involution with a given function $h$ on a Poisson manifold is a fundamental problem of this theory and is very useful for the explicit integration of the equations of motion defined by $h$. In this paper, we present our results on the study of the inverse, so to speak, problem. By developing a technique analogous to that presented in P. Damianou and F. Petalidou, Poisson brackets with prescribed Casimirs, Canad. J. Math., 2012, vol. 64, 991-1018, for the establishment of Poisson brackets with prescribed Casimir invariants, we construct an algorithm which yields Poisson brackets having a given family of functions in involution. Our approach allows us to deal with bi-Hamiltonian structures constructively and therefore allows us to also deal with the completely integrable systems that arise in such a framework.


title: Majorana neutrinos in seesaw mechanism and Bogoliubov quasiparticles

abstract: The idea that the Majorana neutrino should be identified as a Bogoliubov quasiparticle is applied to the seesaw mechanism for the three generations of neutrinos in the Standard Model. A relativistic analogue of the Bogoliubov transformation in the present context is a CP-preserving canonical transformation but modifies charge conjugation properties in such a way that the C-noninvariant fermion number violating term (condensate) is converted to a Dirac mass term. Puzzling aspects associated with the charge conjugation of chiral Weyl fermions are clarified. By invoking the Coleman--Weinberg mechanism in the framework of dimensional regularization, it is also noted that seesaw models become unnatural in some parameter regions which induce the hierarchy problems in the bosonic sector.


title: Global $W^{2,\delta}$ estimates for singular fully nonlinear elliptic equations with $L^n$ right hand side terms

abstract: We establish in this paper \emph{a priori} global $W^{2,\delta}$ estimates for singular fully nonlinear elliptic equations with $L^n$ right hand side terms. The method is to slide paraboloids and barrier functions vertically to touch the solution of the equation, and then to estimate the measure of the contact set in terms of the measure of the vertex point set. To derive global estimates from $L^n$ data, the Hardy-Littlewood maximal functions, appropriate localizations and a new type of covering argument are adopted. These methods also provide us a more direct proof of the $W^{2,\delta}$ estimates for (nonsingular) fully nonlinear elliptic equations established by L. A. Caffarelli and X. Cabr\'{e}.


title: A Randomly Expandable Method for Data Layout of RAID Storage Systems

abstract: With the increase of huge amounts of data in volume, velocity, and variety, the need for capacity of Redundant Arrays of Inexpensive Disks (RAID) storage systems is dramatically growing. However, the probability of disk failures in RAID storage systems is sharply high with the increase of program/erase cycles, read cycles, and retention time. Furthermore, they are faced with more challenges in fault tolerance, storage efficiency, computational complexity, and expandability. This article presents a novel data layout scheme for RAID storage System using Random Binary Extensive Code (RBEC), which are designed to ensure random expandability, high reliability, and availability of data in RAID storage systems. RBEC is a family of systematic code, in which the generator matrix consists of two submatrices with entries over GF(2), an identity matrix on the top, and another submatrix on the bottom. Compared with the existed approaches, the attractive advantages of our schemes include 1) they are completely implemented based on only simple eXclusive OR (XOR) operations and have systematic code property, 2) they can provide arbitrary fault tolerance, 3) their storage efficiency is quasi-optimal, and 4) data and parity disks of RAID storage systems can be randomly expanded according to practical requirements. Thus, our scheme is particularly suitable for RAID storage systems that need higher reliability, availability, and expandability.


title: The LHCb Upgrade

abstract: The LHCb Experiment is preparing a detector upgrade fully exploit the flavour physics potential of the LHC. The whole detector will be read out at the full collision rate and the online event selection will be performed by a software trigger. This will increase the event yields by a facto 10 for muonic and a factor 20 for hadronic final states. Research towards the upgrade has started with the target to install the detector in 2018.


title: Embedded-Graph Theory

abstract: In this paper, we propose a new type of graph, denoted as "embedded-graph", and its theory, which employs a distributed representation to describe the relations on the graph edges. Embedded-graphs can express linguistic and complicated relations, which cannot be expressed by the existing edge-graphs or weighted-graphs. We introduce the mathematical definition of embedded-graph, translation, edge distance, and graph similarity. We can transform an embedded-graph into a weighted-graph and a weighted-graph into an edge-graph by the translation method and by threshold calculation, respectively. The edge distance of an embedded-graph is a distance based on the components of a target vector, and it is calculated through cosine similarity with the target vector. The graph similarity is obtained considering the relations with linguistic complexity. In addition, we provide some examples and data structures for embedded-graphs in this paper.


title: EMOMA: Exact Match in One Memory Access

abstract: An important function in modern routers and switches is to perform a lookup for a key. Hash-based methods, and in particular cuckoo hash tables, are popular for such lookup operations, but for large structures stored in off-chip memory, such methods have the downside that they may require more than one off-chip memory access to perform the key lookup. Although the number of off-chip memory accesses can be reduced using on-chip approximate membership structures such as Bloom filters, some lookups may still require more than one off-chip memory access. This can be problematic for some hardware implementations, as having only a single off-chip memory access enables a predictable processing of lookups and avoids the need to queue pending requests. We provide a data structure for hash-based lookups based on cuckoo hashing that uses only one off-chip memory access per lookup, by utilizing an on-chip pre-filter to determine which of multiple locations holds a key. We make particular use of the flexibility to move elements within a cuckoo hash table to ensure the pre-filter always gives the correct response. While this requires a slightly more complex insertion procedure and some additional memory accesses during insertions, it is suitable for most packet processing applications where key lookups are much more frequent than insertions. An important feature of our approach is its simplicity. Our approach is based on simple logic that can be easily implemented in hardware, and hardware implementations would benefit most from the single off-chip memory access per lookup.


title: On the exterior Dirichlet problem for Hessian quotient equations

abstract: In this paper, we establish the existence and uniqueness theorem for solutions of the exterior Dirichlet problem for Hessian quotient equations with prescribed asymptotic behavior at infinity. This extends the previous related results on the Monge-Amp\`{e}re equations and on the Hessian equations, and rearranges them in a systematic way. Based on the Perron's method, the main ingredient of this paper is to construct some appropriate subsolutions of the Hessian quotient equation, which is realized by introducing some new quantities about the elementary symmetric functions and using them to analyze the corresponding ordinary differential equation related to the generalized radially symmetric subsolutions of the original equation.


title: Classical well-posedness in dispersive equations with nonlinearities of mild regularity, and a composition theorem in Besov spaces

abstract: For both localized and periodic initial data, we prove local existence in classical energy space $H^s, s>\frac{3}{2}$, for a class of dispersive equations $u_{t}+(n(u))_{x}+Lu_{x}=0$ with nonlinearities of mild regularity. Our results are valid for symmetric Fourier multiplier operators $L$ whose symbol is of temperate growth, and $n(\cdot)$ in local Sobolev space $H^{s+2}_{\mathrm{loc}}(\mathbb{R})$. In particular, the results include non-smooth and exponentially growing nonlinearities. Our proof is based on a combination of semi-group methods and a new composition result for Besov spaces. In particular, we extend a previous result for Nemytskii operators on Besov spaces on $\mathbb{R}$ to the periodic setting by using the difference-derivative characterization of Besov spaces.


title: Trace and Stable Failures Semantics for CSP-Agda

abstract: CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form, which sup- ports a modular development of processes. In this paper, we implement two main models of CSP, trace and stable failures semantics, in CSP-Agda, and define the corresponding refinement and equal- ity relations. Because of the monadic setting, some adjustments need to be made. As an example, we prove commutativity of the external choice operator w.r.t. the trace semantics in CSP-Agda, and that refinement w.r.t. stable failures semantics is a partial order. All proofs and definitions have been type checked in Agda. Further proofs of algebraic laws will be available in the CSP-Agda repository.


title: Relational Semantics for the Turing Schmerl Calculus

abstract: In arXiv:1604.08705 the authors introduced the propositional modal logic $\textbf{TSC}$ (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations between different kinds of Turing progressions. The current paper defines a model $\mathcal{J}$ which is proven to be a universal model for $\textbf{TSC}$. The model $\mathcal{J}$ is a slight modification of the intensively studied $\mathcal{I}$ : Ignatiev's universal model for the closed fragment of G\"odel L\"ob's polymodal provability logic $\textbf{GLP}$.


title: Quantum entanglement of a harmonic oscillator in an electromagnetic field

abstract: At present, there are many methods of quantum entanglement of particles with an electromagnetic field. Most methods have a low probability of quantum entanglement and not an exact theoretical apparatus based on an approximate solution of the Schrodinger equation. There is a need for new methods for obtaining quantum-entangled particles and mathematically accurate studies of such methods. In this paper, a quantum harmonic oscillator (for example, an electron in a magnetic field) interacting with a quantized electromagnetic field is considered. Based on the exact solution of the Schrodinger equation for this system, it is shown that for certain parameters there can be a large quantum entanglement between the electron and the electromagnetic field. Quantum entanglement is analyzed on the basis of a mathematically exact expression for the Schmidt modes and the Von Neumann entropy.


title: Singular Degenerations of Lie Supergroups of Type $D(2,1;a)$

abstract: The complex Lie superalgebras $\mathfrak{g}$ of type $D(2,1;a)$ - also denoted by $\mathfrak{osp}(4,2;a) $ - are usually considered for "non-singular" values of the parameter $a$, for which they are simple. In this paper we introduce five suitable integral forms of $\mathfrak{g}$, that are well-defined at singular values too, giving rise to "singular specializations" that are no longer simple: this extends the family of simple objects of type $D(2,1;a)$ in five different ways. The resulting five families coincide for general values of $a$, but are different at "singular" ones: here they provide non-simple Lie superalgebras, whose structure we describe explicitly. We also perform the parallel construction for complex Lie supergroups and describe their singular specializations (or "degenerations") at singular values of $a$. Although one may work with a single complex parameter $a$, in order to stress the overall $\mathfrak{S}_3$-symmetry of the whole situation, we shall work (following Kaplansky) with a two-dimensional parameter $\boldsymbol{\sigma} = (\sigma_1,\sigma_2,\sigma_3)$ ranging in the complex affine plane $\sigma_1 + \sigma_2 + \sigma_3 = 0$.


title: The Impact of Local Geometry and Batch Size on Stochastic Gradient Descent for Nonconvex Problems

abstract: In several experimental reports on nonconvex optimization problems in machine learning, stochastic gradient descent (SGD) was observed to prefer minimizers with flat basins in comparison to more deterministic methods, yet there is very little rigorous understanding of this phenomenon. In fact, the lack of such work has led to an unverified, but widely-accepted stochastic mechanism describing why SGD prefers flatter minimizers to sharper minimizers. However, as we demonstrate, the stochastic mechanism fails to explain this phenomenon. Here, we propose an alternative deterministic mechanism that can accurately explain why SGD prefers flatter minimizers to sharper minimizers. We derive this mechanism based on a detailed analysis of a generic stochastic quadratic problem, which generalizes known results for classical gradient descent. Finally, we verify the predictions of our deterministic mechanism on two nonconvex problems.


title: Szemer\'edi's theorem in the primes

abstract: Green and Tao famously proved in 2005 that any subset of the primes of fixed positive density contains arbitrarily long arithmetic progressions. Green had previously shown that in fact any subset of the primes of relative density tending to zero sufficiently slowly contains a 3-term term progression. This was followed by work of Helfgott and de Roton, and Naslund, who improved the bounds on the relative density in the case of 3-term progressions. The aim of this note is to present an analogous result for longer progressions by combining a quantified version of the relative Szemer\'edi theorem given by Conlon, Fox and Zhao with Henriot's estimates of the enveloping sieve weights.


title: An improvement on the maximum number of $k$-Dominating Independent Sets

abstract: Erd\H{o}s and Moser raised the question of determining the maximum number of maximal cliques or equivalently, the maximum number of maximal independent sets in a graph on $n$ vertices. Since then there has been a lot of research along these lines. A $k$-dominating independent set is an independent set $D$ such that every vertex not contained in $D$ has at least $k$ neighbours in $D$. Let $mi_k(n)$ denote the maximum number of $k$-dominating independent sets in a graph on $n$ vertices, and let $\zeta_k:=\lim_{n \rightarrow \infty} \sqrt[n]{mi_k(n)}$. Nagy initiated the study of $mi_k(n)$. In this article we disprove a conjecture of Nagy and prove that for any even $k$ we have $$1.489 \approx \sqrt[9]{36} \le \zeta^k_k.$$ We also prove that for any $k \ge 3$ we have $$\zeta_k^{k} \le 2.053^{\frac{1}{1.053+1/k}}< 1.98,$$ improving the upper bound of Nagy.


title: The Brauer-Picard groups of the fusion categories coming from the $ADE$ subfactors

abstract: We compute the group of Morita auto-equivalences of the even parts of the $ADE$ subfactors, and Galois conjugates. To achieve this we study the braided auto-equivalences of the Drinfeld centres of these categories. We give planar algebra presentations for each of these Drinfeld centres, which we leverage to obtain information about the braided auto-equivalences of the corresponding categories. We also perform the same calculations for the fusion categories constructed from the full $ADE$ subfactors. Of particular interest, the even part of the $D_{10}$ subfactor is shown to have Brauer-Picard group $S_3 \times S_3$. We develop combinatorial arguments to compute the underlying algebra objects of these invertible bimodules.


title: On the exterior Dirichlet problem for special Lagrangian equations

abstract: In this paper, we establish the existence and uniqueness theorem of the exterior Dirichlet problem for special Lagrangian equations with prescribed asymptotic behavior at infinity.


title: Constraining the magnitude of the Chiral Magnetic Effect with Event Shape Engineering in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76$ TeV

abstract: In ultrarelativistic heavy-ion collisions, the event-by-event variation of the elliptic flow $v_2$ reflects fluctuations in the shape of the initial state of the system. This allows to select events with the same centrality but different initial geometry. This selection technique, Event Shape Engineering, has been used in the analysis of charge-dependent two- and three-particle correlations in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}} =2.76$ TeV. The two-particle correlator $\langle \cos(\varphi_\alpha - \varphi_\beta) \rangle$, calculated for different combinations of charges $\alpha$ and $\beta$, is almost independent of $v_2$ (for a given centrality), while the three-particle correlator $\langle \cos(\varphi_\alpha + \varphi_\beta - 2\Psi_2) \rangle$ scales almost linearly both with the event $v_2$ and charged-particle pseudorapidity density. The charge dependence of the three-particle correlator is often interpreted as evidence for the Chiral Magnetic Effect (CME), a parity violating effect of the strong interaction. However, its measured dependence on $v_2$ points to a large non-CME contribution to the correlator. Comparing the results with Monte Carlo calculations including a magnetic field due to the spectators, the upper limit of the CME signal contribution to the three-particle correlator in the 10-50% centrality interval is found to be 26-33% at 95% confidence level.


title: Commutators of singular integrals revisited

abstract: We obtain a Bloom-type characterization of the two-weighted boundedness of iterated commutators of singular integrals. The necessity is established for a rather wide class of operators, providing a new result even in the unweighted setting for the first order commutators.


title: Unsupervised object discovery for instance recognition

abstract: Severe background clutter is challenging in many computer vision tasks, including large-scale image retrieval. Global descriptors, that are popular due to their memory and search efficiency, are especially prone to corruption by such a clutter. Eliminating the impact of the clutter on the image descriptor increases the chance of retrieving relevant images and prevents topic drift due to actually retrieving the clutter in the case of query expansion. In this work, we propose a novel salient region detection method. It captures, in an unsupervised manner, patterns that are both discriminative and common in the dataset. Saliency is based on a centrality measure of a nearest neighbor graph constructed from regional CNN representations of dataset images. The descriptors derived from the salient regions improve particular object retrieval, most noticeably in a large collections containing small objects.


title: Deuterated methanol on Solar System scale around the HH212 protostar

abstract: Context: Methanol is thought to be mainly formed during the prestellar phase and its deuterated form keeps memory of the conditions at that epoch. Thanks to the unique combination of high angular resolution and sensitivity provided by ALMA, we wish to measure methanol deuteration in the planet formation region around a Class 0 protostar and to understand its origin. Aims: We mapped both the $^{13}$CH$_3$OH and CH$_2$DOH distribution in the inner regions ($\sim$100 au) of the HH212 system in Orion B. To this end, we used ALMA Cycle 1 and Cycle 4 observations in Band 7 with angular resolution down to $\sim$0.15$"$. Results: We detected 6 lines of $^{13}$CH$_3$OH and 13 lines of CH$_2$DOH with upper level energies up to 438 K in temperature units. We derived a rotational temperature of (171 $\pm$ 52) K and column densities of 7$\times$10$^{16}$ cm$^{-2}$ ($^{13}$CH$_3$OH) and 1$\times$10$^{17}$ cm$^{-2}$ (CH$_2$DOH), respectively. Consequently, the D/H ratio is (2.4 $\pm$ 0.4)$\times$10$^{-2}$, a value lower by an order of magnitude with respect to what was previously measured using single dish telescopes toward protostars located in Perseus. Our findings are consistent with the higher dust temperatures in Orion B with respect to that derived for the Perseus cloud. The emission is tracing a rotating structure extending up to 45 au from the jet axis and elongated by 90 au along the jet axis. So far, the origin of the observed emission appears to be related with the accretion disk. Only higher spatial resolution measurements however, will be able to disentangle between different possible scenarios: disk wind, disk atmosphere, or accretion shocks.


title: A Bernstein problem for special Lagrangian equations in exterior domains

abstract: We establish quadratic asymptotics for solutions to special Lagrangian equations with supercritical phases in exterior domains. The method is based on an exterior Liouville type result for general fully nonlinear elliptic equations toward constant asymptotics of bounded Hessian, and also certain rotation arguments toward Hessian bound. Our unified approach also leads to quadratic asymptotics for convex solutions to Monge-Amp\`{e}re equations (previously known), quadratic Hessian equations, and inverse harmonic Hessian equations over exterior domains.


title: On Majorization in Dependence Modeling

abstract: We apply concepts of majorization theory to derive new insights in the field of extremal dependence structures. In particular, we consider the Rearrangement Algorithm by Puccetti and Rueschendorf, where majorization arguments yield a statement that unifies and extends the existing theory in two ways. The first extension considers convex functions of non-linear risk aggregation and the second allows for non-symmetric cost functions. The article is concluded by computing an example.


title: Shannon entropy for imprecise and under-defined or over-defined information

abstract: Shannon entropy was defined for probability distributions and then its using was expanded to measure the uncertainty of knowledge for systems with complete information. In this article, it is proposed to extend the using of Shannon entropy to under-defined or over-defined information systems. To be able to use Shannon entropy, the information is normalized by an affine transformation. The construction of affine transformation is done in two stages: one for homothety and another for translation. Moreover, the case of information with a certain degree of imprecision was included in this approach. Besides, the article shows the using of Shannon entropy for some particular cases such as: neutrosophic information both in the trivalent and bivalent case, bifuzzy information, intuitionistic fuzzy information, imprecise fuzzy information, and fuzzy partitions.


title: Quantum theory of electromagnetic fields in a cosmological quantum spacetime

abstract: The theory of quantum fields propagating on an isotropic cosmological quantum spacetime is reexamined by generalizing the scalar test field to an electromagnetic (EM) vector field. For any given polarization of the EM field on the classical background, the Hamiltonian can be written in the form of the Hamiltonian of a set of decoupled harmonic oscillators, each corresponding to a single mode of the field. In transition from the classical to quantum spacetime background, following the technical procedure given by Ashtekar {\em et al.} [Phys. Rev. D 79, 064030 (2009)], a quantum theory of the test EM field on an effective (dressed) spacetime emerges. The nature of this emerging dressed geometry is independent of the chosen polarization, but it may depend on the energy of the corresponding field mode. Specifically, when the backreaction of the field on the quantum geometry is negligible (i.e., a test field approximation is assumed), all field modes probe the same effective background independent of the mode's energy. However, when the backreaction of the field modes on the quantum geometry is significant, by employing a Born-Oppenheimer approximation, it is shown that a rainbow (i.e., a mode-dependent) metric emerges. The emergence of this mode-dependent background in the Planck regime may have a significant effect on the creation of quantum particles. The production amount on the dressed background is computed and is compared with the familiar results on the classical geometry.


title: Binary-decomposed DCNN for accelerating computation and compressing model without retraining

abstract: Recent trends show recognition accuracy increasing even more profoundly. Inference process of Deep Convolutional Neural Networks (DCNN) has a large number of parameters, requires a large amount of computation, and can be very slow. The large number of parameters also require large amounts of memory. This is resulting in increasingly long computation times and large model sizes. To implement mobile and other low performance devices incorporating DCNN, model sizes must be compressed and computation must be accelerated. To that end, this paper proposes Binary-decomposed DCNN, which resolves these issues without the need for retraining. Our method replaces real-valued inner-product computations with binary inner-product computations in existing network models to accelerate computation of inference and decrease model size without the need for retraining. Binary computations can be done at high speed using logical operators such as XOR and AND, together with bit counting. In tests using AlexNet with the ImageNet classification task, speed increased by a factor of 1.79, models were compressed by approximately 80%, and increase in error rate was limited to 1.20%. With VGG-16, speed increased by a factor of 2.07, model sizes decreased by 81%, and error increased by only 2.16%.


title: On the Kubo-Greenwood Model for Electron Conductivity

abstract: Currently, the most common method to calculate transport properties for materials under extreme conditions is based on the phenomenological Kubo-Greenwood method. The results of an inquiry into the justification and context of that model are summarized here. Specifically, the basis for its connection to equilibrium DFT and the assumption of static ions are discussed briefly.


title: Generalized Second Law and optimal protocols for nonequilibrium systems

abstract: A generalized version of the Maximum Work Theorem is valid when the system is initially not at thermal equilibrium. In this work, we initially study the fraction of trajectories that violate this generalized theorem for a two simple systems: a particle in a harmonic trap (i) whose centre is dragged with some protocol, and (ii) whose stiffness constant changes as a function of time. We also find the optimal protocol that minimizes the average change in total entropy. To our surprise, we find that optimization of protocol does not necessarily entail maximum violation fraction.


title: Perspectives for Evaluating Conversational AI

abstract: Conversational AI systems are becoming famous in day to day lives. In this paper, we are trying to address the following key question: To identify whether design, as well as development efforts for search oriented conversational AI are successful or not.It is tricky to define 'success' in the case of conversational AI and equally tricky part is to use appropriate metrics for the evaluation of conversational AI. We propose four different perspectives namely user experience, information retrieval, linguistic and artificial intelligence for the evaluation of conversational AI systems. Additionally, background details of conversational AI systems are provided including desirable characteristics of personal assistants, differences between chatbot and an AI based personal assistant. An importance of personalization and how it can be achieved is explained in detail. Current challenges in the development of an ideal conversational AI (personal assistant) are also highlighted along with guidelines for achieving personalized experience for users.


title: CP Violation in Leptonic Rare $B^0_s$ Decays as a Probe of New Physics

abstract: The decay $B^0_s\to\mu^+\mu^-$ is a key probe for the search of physics beyond the Standard Model. While the current measurements of the corresponding branching ratio agree with the Standard Model within the uncertainties, significant New-Physics effects may still be hiding in $B^0_s\to\mu^+\mu^-$. In order to reveal them, the observable $\mathcal{A}^{\mu\mu}_{\Delta \Gamma_s}$, which is provided by the decay width difference $\Delta\Gamma_s$ of the $B^0_s$-meson system, plays a central role. We point out that a measurement of a CP-violating observable ${\cal S}_{\rm \mu\mu}$, which is induced through interference between $B^0_s$-$\bar B^0_s$ mixing and $B_s\to\mu^+\mu^-$ decay processes, is essential to obtain the full picture, in particular to establish new scalar contributions and CP-violating phases. We illustrate these findings with future scenarios for the upgrade(s) of the LHC, exploiting also relations which emerge within an effective field theory description of the Standard Model, complemented with New Physics entering significantly beyond the electroweak scale.


title: The formation of mini-Neptunes

abstract: Mini-Neptunes seem to be common planets. In this work we investigate the possible formation histories and predicted occurrence rates of mini-Neptunes assuming the planets form beyond the iceline. We consider pebble and planetesimal accretion accounting for envelope enrichment and two different opacity conditions. We find that the formation of mini-Neptunes is a relatively frequent output when envelope enrichment by volatiles is included, and that there is a "sweet spot" for mini-Neptune formation with a relatively low solid accretion rate of ~10^{-6} Earth masses per year. This rate is typical for low/intermediate-mass protoplanetary disks and/or disks with low metallicities. With pebble accretion, envelope enrichment and high opacity favor the formation of mini-Neptunes, with more efficient formation at large semi-major axes (~30 AU) and low disk viscosity. For planetesimal accretion, such planets can form also without enrichment, with the opacity being a key aspect in the growth history and favorable formation location. Finally, we show that the formation of Neptune-like planets remains a challenge for planet formation theories.


title: Some Remarks on Robin-Laplacian Eigenvalues

abstract: We study some properties of Laplacian eigenvalues with negative Robin boundary conditions. We will show some monotonicity properties on annuli of the first eigenvalue by means of shape optimization techniques.


title: IRC +10 216 in 3-D: morphology of a TP-AGB star envelope

abstract: During their late pulsating phase, AGB stars expel most of their mass in the form of massive dusty envelopes, an event that largely controls the composition of interstellar matter. The envelopes, however, are distant and opaque to visible and NIR radiation: Their structure remains poorly known and the mass-loss process poorly understood. Millimeter-wave interferometry is the optimal investigative tool for this purpose. The circumstellar envelope IRC +10 216 and its central star, the C-rich TP-AGB star closest to the Sun, are the best objects for such an investigation. Two years ago, we reported on IRAM 30-m telescope CO(2-1) line emission observations in that envelope (HPBW 11"). We now report much higher angular resolution observations of CO(2-1), CO(1-0), CN(2-1) and C$_4$H(24-23) made with the SMA, PdB and ALMA interferometers (with synthesized half-power beamwidths of 3", 1" and 0.3", respectively). Although the envelope appears more intricate at high resolution, its prevailing structure remains a pattern of thin, nearly concentric shells. Outside the small (r<0.3") dust formation zone, the gas appears to expand radially at a constant velocity, 14.5 km/s, with small turbulent motions. Based on that property, we have reconstructed the 3-D structure of the outer envelope and have derived the gas temperature and density radial profiles in the inner (r<25") envelope. The over-dense shells have spherical or slightly oblate shapes and typically extend over a few steradians, implying isotropic mass loss. The regular spacing of shells in the outer envelope supports the model of a binary star system with a period of 700 years and a near face-on elliptical orbit. The companion fly-by triggers enhanced episodes of mass loss near periastron. The densification of the shell pattern observed in the central part of the envelope suggests a more complex scenario for the last few thousand years.


title: Extended corona product as an exactly tractable model for weighted heterogeneous networks

abstract: Various graph products and operations have been widely used to construct complex networks with common properties of real-life systems. However, current works mainly focus on designing models of binary networks, in spite of the fact that many real networks can be better mimicked by heterogeneous weighted networks. In this paper, we develop a corona product of two weighted graphs, based on which and an observed updating mechanism of edge weight in real networks, we propose a minimal generative model for inhomogeneous weighted networks. We derive analytically relevant properties of the weighted network model, including strength, weight and degree distributions, clustering coefficient, degree correlations and diameter. These properties are in good agreement with those observed in diverse real-world weighted networks. We then determine all the eigenvalues and their corresponding multiplicities of the transition probability matrix for random walks on the weighted networks. Finally, we apply the obtained spectra to derive explicit expressions for mean hitting time of random walks and weighted counting of spanning trees on the weighted networks. Our model is an exactly solvable one, allowing to analytically treat its structural and dynamical properties, which is thus a good test-bed and an ideal substrate network for studying different dynamical processes, in order to explore the impacts of heterogeneous weight distribution on these processes.


title: Molecular gas in the Herschel-selected strongly lensed submillimeter galaxies at z~2-4 as probed by multi-J CO lines

abstract: (abridged) We present the IRAM-30m observations of multiple-J CO and CI line emission in a sample of redshift ~2-4 Herschel-ATLAS SMGs. A non-negligible effect of differential lensing is found for the CO emission lines, which could have caused significant underestimations of the linewidths, hence of the dynamical masses. The CO SLEDs are found to be similar to those of the local starburst-dominated ULIRGs and of the previously studied SMGs. After correcting for lensing amplification, we derived the global properties of the bulk of molecular gas in the SMGs using non-LTE radiative transfer modelling. The gas thermal pressure is found to be correlated with star formation efficiency. Further decomposing the CO SLEDs into two excitation components, we find a low-excitation component, which is less correlated with star formation, and a high-excitation one which is tightly related to the on-going star-forming activity. Additionally, tight linear correlations between the FIR and CO line luminosities have been confirmed for the $J \ge 5$ CO lines, implying that these CO lines are good tracers of star formation. The [CI](2-1) lines follow the tight linear correlation between the luminosities of the [CI](2-1) and the CO(1-0) line found in local starbursts, indicating that CI lines could serve as good total molecular gas mass tracers for high-redshift SMGs. The total mass of the molecular gas reservoir, $(1-30) \times 10^{10} M_\odot$, suggests a typical molecular gas depletion time ~20-100 Myr and a gas to dust mass ratio ${\delta}_{\rm GDR}$~30-100. The ratio between CO line luminosity and the dust mass appears to be slowly increasing with redshift for the SMGs, which need to be further confirmed. Finally, through comparing the linewidth of CO and H2O lines, we find that they agree well in almost all our SMGs, confirming that the emitting regions are co-spatially located.


title: The usefulness of Poynting's theorem in magnetic turbulence

abstract: We rewrite Poynting's theorem, already used in a previous publication (Treumann & Baumjohann 2017) to derive relations between the turbulent magnetic and electric power spectral densities, to make explicit where the mechanical contributions enter. We then make explicit use of the relativistic transformation of the turbulent electric fluctuations to obtain expressions which depend only on the magnetic and velocity fluctuations. Any electric fluctuations play just an intermediate role. Equations are constructed for the turbulent conductivity spectrum in Alfv\'enic and non-Alfv\'enic turbulence in extension of the results in the above citation. An observation-based discussion of their use in application to solar wind turbulence is given. The inertial range solar wind turbulence exhibits signs of chaos and self-organisation.


title: Strong magnetic fields in nonlocal chiral quark models

abstract: We study the behavior of strongly interacting matter under a uniform intense external magnetic field in the context of nonlocal extensions of the Polyakov-Nambu-Jona-Lasinio model. A detailed description of the formalism is presented, considering the cases of zero and finite temperature. In particular, we analyze the effect of the magnetic field on the chiral restoration and deconfinement transitions, which are found to occur at approximately the same critical temperatures. Our results show that these models offer a natural framework to account for the phenomenon of inverse magnetic catalysis found in lattice QCD calculations.


title: Evaluating probabilistic forecasts with scoringRules

abstract: Probabilistic forecasts in the form of probability distributions over future events have become popular in several fields including meteorology, hydrology, economics, and demography. In typical applications, many alternative statistical models and data sources can be used to produce probabilistic forecasts. Hence, evaluating and selecting among competing methods is an important task. The scoringRules package for R provides functionality for comparative evaluation of probabilistic models based on proper scoring rules, covering a wide range of situations in applied work. This paper discusses implementation and usage details, presents case studies from meteorology and economics, and points to the relevant background literature.


title: Subspace Clustering using Ensembles of $K$-Subspaces

abstract: Subspace clustering is the unsupervised grouping of points lying near a union of low-dimensional linear subspaces. Algorithms based directly on geometric properties of such data tend to either provide poor empirical performance, lack theoretical guarantees, or depend heavily on their initialization. We present a novel geometric approach to the subspace clustering problem that leverages ensembles of the K-subspaces (KSS) algorithm via the evidence accumulation clustering framework. Our algorithm, referred to as ensemble K-subspaces (EKSS), forms a co-association matrix whose (i,j)th entry is the number of times points i and j are clustered together by several runs of KSS with random initializations. We prove general recovery guarantees for any algorithm that forms an affinity matrix with entries close to a monotonic transformation of pairwise absolute inner products. We then show that a specific instance of EKSS results in an affinity matrix with entries of this form, and hence our proposed algorithm can provably recover subspaces under similar conditions to state-of-the-art algorithms. The finding is, to the best of our knowledge, the first recovery guarantee for evidence accumulation clustering and for KSS variants. We show on synthetic data that our method performs well in the traditionally challenging settings of subspaces with large intersection, subspaces with small principal angles, and noisy data. Finally, we evaluate our algorithm on six common benchmark datasets and show that unlike existing methods, EKSS achieves excellent empirical performance when there are both a small and large number of points per subspace.


title: Families of vector-like deformed relativistic quantum phase spaces, twists and symmetries

abstract: Families of vector-like deformed relativistic quantum phase spaces and corresponding realizations are analyzed. Method for general construction of star product is presented. Corresponding twist, expressed in terms of phase space coordinates, in Hopf algebroid sense is presented. General linear realizations are considered and corresponding twists, in terms of momenta and Poincar\'e-Weyl generators or $\mathfrak{gl}(n)$ generators, are constructed and R-matrix is discussed. Classification of linear realizations leading to vector-like deformed phase spaces is given. There are 3 types of spaces: $i)$ commutative spaces, $ii)$ $\kappa$-Minkowski spaces and $iii)$ $\kappa$-Snyder spaces. Corresponding star products are $i)$ associative and commutative (but non-local), $ii)$ associative and non-commutative and $iii)$ non-associative and non-commutative, respectively. Twisted symmetry algebras are considered. Transposed twists and left-right dual algebras are presented. Finally, some physical applications are discussed.


title: Parallel Enumeration of Triangulations

abstract: We report on the implementation of an algorithm for computing the set of all regular triangulations of finitely many points in Euclidean space. This algorithm, which we call down-flip reverse search, can be restricted, e.g., to computing full triangulations only; this case is particularly relevant for tropical geometry. Most importantly, down-flip reverse search allows for massive parallelization, i.e., it scales well even for many cores. Our implementation allows to compute the triangulations of much larger point sets than before.


title: T${}^2$K${}^2$: The Twitter Top-K Keywords Benchmark

abstract: Information retrieval from textual data focuses on the construction of vocabularies that contain weighted term tuples. Such vocabularies can then be exploited by various text analysis algorithms to extract new knowledge, e.g., top-k keywords, top-k documents, etc. Top-k keywords are casually used for various purposes, are often computed on-the-fly, and thus must be efficiently computed. To compare competing weighting schemes and database implementations, benchmarking is customary. To the best of our knowledge, no benchmark currently addresses these problems. Hence, in this paper, we present a top-k keywords benchmark, T${}^2$K${}^2$, which features a real tweet dataset and queries with various complexities and selectivities. T${}^2$K${}^2$ helps evaluate weighting schemes and database implementations in terms of computing performance. To illustrate T${}^2$K${}^2$'s relevance and genericity, we successfully performed tests on the TF-IDF and Okapi BM25 weighting schemes, on one hand, and on different relational (Oracle, PostgreSQL) and document-oriented (MongoDB) database implementations, on the other hand.


title: On imitation dynamics in potential population games

abstract: Imitation dynamics for population games are studied and their asymptotic properties analyzed. In the considered class of imitation dynamics - that encompass the replicator equation as well as other models previously considered in evolutionary biology - players have no global information about the game structure, and all they know is their own current utility and the one of fellow players contacted through pairwise interactions. For potential population games, global asymptotic stability of the set of Nash equilibria of the sub-game restricted to the support of the initial population configuration is proved. These results strengthen (from local to global asymptotic stability) existing ones and generalize them to a broader class of dynamics. The developed techniques highlight a certain structure of the problem and suggest possible generalizations from the fully mixed population case to imitation dynamics whereby agents interact on complex communication networks.


title: Why Early-Stage Software Startups Fail: A Behavioral Framework

abstract: Software startups are newly created companies with little operating history and oriented towards producing cutting-edge products. As their time and resources are extremely scarce, and one failed project can put them out of business, startups need effective practices to face with those unique challenges. However, only few scientific studies attempt to address characteristics of failure, especially during the early- stage. With this study we aim to raise our understanding of the failure of early-stage software startup companies. This state-of-practice investigation was performed using a literature review followed by a multiple-case study approach. The results present how inconsistency between managerial strategies and execution can lead to failure by means of a behavioral framework. Despite strategies reveal the first need to understand the problem/solution fit, actual executions prioritize the development of the product to launch on the market as quickly as possible to verify product/market fit, neglecting the necessary learning process.


title: Edge-Transitive Graphs

abstract: A graph is said to be edge-transitive if its automorphism group acts transitively on its edges. It is known that edge-transitive graphs are either vertex-transitive or bipartite. In this paper we present a complete classification of all connected edge-transitive graphs on less than or equal to $20$ vertices. We then present a construction for an infinite family of edge-transitive bipartite graphs, and use this construction to show that there exists a non-trivial bipartite subgraph of $K_{m,n}$ that is connected and edge-transitive whenever $gcd(m,n)>2$. Additionally, we investigate necessary and sufficient conditions for edge transitivity of connected $(r,2)$ biregular subgraphs of $K_{m,n}$, as well as for uniqueness, and use these results to address the case of $gcd(m,n)=2$. We then present infinite families of edge-transitive graphs among vertex-transitive graphs, including several classes of circulant graphs. In particular, we present necessary conditions and sufficient conditions for edge-transitivity of certain circulant graphs.


title: From Plants to Landmarks: Time-invariant Plant Localization that uses Deep Pose Regression in Agricultural Fields

abstract: Agricultural robots are expected to increase yields in a sustainable way and automate precision tasks, such as weeding and plant monitoring. At the same time, they move in a continuously changing, semi-structured field environment, in which features can hardly be found and reproduced at a later time. Challenges for Lidar and visual detection systems stem from the fact that plants can be very small, overlapping and have a steadily changing appearance. Therefore, a popular way to localize vehicles with high accuracy is based on ex- pensive global navigation satellite systems and not on natural landmarks. The contribution of this work is a novel image- based plant localization technique that uses the time-invariant stem emerging point as a reference. Our approach is based on a fully convolutional neural network that learns landmark localization from RGB and NIR image input in an end-to-end manner. The network performs pose regression to generate a plant location likelihood map. Our approach allows us to cope with visual variances of plants both for different species and different growth stages. We achieve high localization accuracies as shown in detailed evaluations of a sugar beet cultivation phase. In experiments with our BoniRob we demonstrate that detections can be robustly reproduced with centimeter accuracy.


title: The wave method of building color palette and its application in computer graphics

abstract: This article describes a method of getting a harmonious combination of colors, developed by us on the basis of the relationship of color and acoustic waves. Presents a parallel between harmoniously matched colors and the concept of harmony in music theory (consonance). Describes the physical assumption of the essence of the phenomenon of harmony (consonance). The article also provides algorithm of implementation wave method for the sRGB color model.


title: Relative Singularity Categories

abstract: We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce the relative singularity category as the Verdier quotient of the bounded derived category of coherent sheaves on A modulo the category of perfect complexes on X. We view it as a measure for the difference between X and A. The main results of this thesis are the following. (i) We prove an analogue of Orlov's localization result in our setup. If X has isolated singularities, then this reduces the study of the relative singularity categories to the affine case. (ii) We prove Hom-finiteness and idempotent completeness of the relative singularity categories in the complete local situation and determine its Grothendieck group. (iii) We give a complete and explicit description of the relative singularity categories when X has only nodal singularities and the resolution is given by a sheaf of Auslander algebras. (iv) We study relations between relative singularity categories and classical singularity categories. For a simple hypersurface singularity and its Auslander resolution, we show that these categories determine each other. (v) The developed technique leads to the following `purely commutative' application: a description of Iyama & Wemyss triangulated category for rational surface singularities in terms of the singularity category of the rational double point resolution. (vi) We give a description of singularity categories of gentle algebras.


title: Search for new physics in dijet final states in ATLAS and CMS

abstract: Events containing a pair of high energy hadronic jet can provide clear signatures in the search for new physics at high energy hadron colliders. The ATLAS and CMS experiments collected the data from LHC collisions at $\sqrt{s}$= 13 TeV during 2015 and 2016, looking for evidence of new resonances or deviations from the Standard Model predictions. Althoug no hint of new physics was seen, strong limits have been set on the most interesting benchmark models, improving LHC Run1 reach.


title: Measuring sets by means

abstract: We are going to classify sets by a given mean in two ways. Firstly we study small and big sets regarding a given mean. Secondly we study sets that have the same weight according to a mean. We also generalize the notion of roundness and get another way to compare subsets by a mean.


title: The Cosmic-Ray Neutron Rover - Mobile Surveys of Field Soil Moisture and the Influence of Roads

abstract: Measurements of root-zone soil moisture across spatial scales of tens to thousands of meters have been a challenge for many decades. The mobile application of Cosmic-Ray Neutron Sensing (CRNS) is a promising approach to measure field soil moisture non-invasively by surveying large regions with a ground-based vehicle. Recently, concerns have been raised about a potentially biasing influence of local structures and roads. We employed neutron transport simulations and dedicated experiments to quantify the influence of different road types on the CRNS measurement. We found that the presence of roads introduces a bias in the CRNS estimation of field soil moisture compared to non-road scenarios. However, this effect becomes insignificant at distances beyond a few meters from the road. Measurements from the road could overestimate the field value by up to 40 % depending on road material, width, and the surrounding field water content. The bias could be successfully removed with an analytical correction function that accounts for these parameters. Additionally, an empirical approach is proposed that can be used on-the-fly without prior knowledge of field soil moisture. Tests at different study sites demonstrated good agreement between road-effect corrected measurements and field soil moisture observations. However, if knowledge about the road characteristics is missing, any measurements on the road could substantially reduce the accuracy of this method. Our results constitute a practical advancement of the mobile CRNS methodology, which is important for providing unbiased estimates of field-scale soil moisture to support applications in hydrology, remote sensing, and agriculture.


title: The deterioration of materials from air pollution as derived from satellite and ground based observations

abstract: Dose-Response Functions (DRFs) are widely used in estimating corrosion and/or soiling levels of materials used in constructions and cultural monuments. These functions quantify the effects of air pollution and environmental parameters on different materials through ground based measurements of specific air pollutants and climatic parameters. Here, we propose a new approach where available satellite observations are used instead of ground-based data. Through this approach, the usage of DRFs is expanded in cases/areas where there is no availability of in situ measurements, introducing also a totally new field where satellite data can be shown to be very helpful. In the present work satellite observations made by MODIS (MODerate resolution Imaging Spectroradiometer) on board Terra and Aqua, OMI (Ozone Monitoring Instrument) on board Aura and AIRS (Atmospheric Infrared Sounder) on board Aqua have been used.


title: Inclusive dihadron production at the LHC in NLA BFKL

abstract: A study of cross sections and azimuthal correlation moments for the inclusive production of two, light charged hadrons featuring large transverse momenta and well separated in rapidity at LHC energies, including BFKL resummation effects with NLA accuracy, is presented. This reaction shares the same theoretical setup with the well konwn Mueller-Navelet jet production and can be thought of as a new and complementary channel to access the BFKL dynamics at proton colliders.


title: The hydrogen atom according to wave mechanics in cartesian coordinates

abstract: A partial separation of the variables is practicable for the solution of Schroedinger's temporally independent equation in cartesian coordinates x,y,z, which yields moderately simple algebraic formulae for the amplitude functions involving quantum numbers k,l,m, the same as in spherical polar coordinates. The properties of angular momentum are thus achieved with no angular variable. Several plots of surfaces of constant psi(x,y,z) are presented to illustrate the resemblance of the shapes of these surfaces to the shapes of surfaces of psi(r,theta,phi) with the corresponding quantum numbers.


title: Proximity Effect in Superconducting-Ferromagnetic Granular Structures

abstract: We examined the proximity effect in granular films made of Pb, a superconductor, and Ni, a ferromagnet, with various compositions. Slow decay of the critical temperature as a function of the relative volume concentration of Ni per sample was demonstrated by our measurements, followed by a saturation of T$_c$. Using an approximate theoretical description of our granular system in terms of a layered one, we show that our data can only be reasonably fitted by a multilayer model. This indicates the importance of the interplay between different ferromagnetic grains; when non-collinearly magnetized they should lead to triplet Cooper pairing.


title: A Novel Metamaterial-Inspired RF-coil for Preclinical Dual-Nuclei MRI

abstract: In this paper we propose, design and test a new dual-nuclei RF-coil inspired by wire metamaterial structures. The coil operates due to resonant excitation of hybridized eigenmodes in multimode flat periodic structures comprising several coupled thin metal strips. It was shown that the field distribution of the coil (i.e. penetration depth) can be controlled independently at two different Larmor frequencies by selecting a proper eigenmode in each of two mutually orthogonal periodic structures. The proposed coil requires no lumped capacitors for tuning and matching. In order to demonstrate the performance of the new design, an experimental preclinical coil for $^{19}$F/$^{1}$H imaging of small animals at 7.05T was engineered and tested on a homogeneous liquid phantom and in-vivo. The presented results demonstrate that the coil was well tuned and matched simultaneously at two Larmor frequencies and capable of image acquisition with both the nuclei reaching large homogeneity area along with a sufficient signal-to-noise ratio. In an in-vivo experiment it has been shown that without retuning the setup it was possible to obtain anatomical $^{1}$H images of a mouse under anesthesia consecutively with $^{19}$F images of a tiny tube filled with a fluorine-containing liquid and attached to the body of the mouse.


title: Denoising Autoencoders for Overgeneralization in Neural Networks

abstract: Despite the recent developments that allowed neural networks to achieve impressive performance on a variety of applications, these models are intrinsically affected by the problem of overgeneralization, due to their partitioning of the full input space into the fixed set of target classes used during training. Thus it is possible for novel inputs belonging to categories unknown during training or even completely unrecognizable to humans to fool the system into classifying them as one of the known classes, even with a high degree of confidence. Solving this problem may help improve the security of such systems in critical applications, and may further lead to applications in the context of open set recognition and 1-class recognition. This paper presents a novel way to compute a confidence score using denoising autoencoders and shows that such confidence score can correctly identify the regions of the input space close to the training distribution by approximately identifying its local maxima.


title: Motif-based Rule Discovery for Predicting Real-valued Time Series

abstract: Time series prediction is of great significance in many applications and has attracted extensive attention from the data mining community. Existing work suggests that for many problems, the shape in the current time series may correlate an upcoming shape in the same or another series. Therefore, it is a promising strategy to associate two recurring patterns as a rule's antecedent and consequent: the occurrence of the antecedent can foretell the occurrence of the consequent, and the learned shape of consequent will give accurate predictions. Earlier work employs symbolization methods, but the symbolized representation maintains too little information of the original series to mine valid rules. The state-of-the-art work, though directly manipulating the series, fails to segment the series precisely for seeking antecedents/consequents, resulting in inaccurate rules in common scenarios. In this paper, we propose a novel motif-based rule discovery method, which utilizes motif discovery to accurately extract frequently occurring consecutive subsequences, i.e. motifs, as antecedents/consequents. It then investigates the underlying relationships between motifs by matching motifs as rule candidates and ranking them based on the similarities. Experimental results on real open datasets show that the proposed approach outperforms the baseline method by 23.9%. Furthermore, it extends the applicability from single time series to multiple ones.


title: Interpretable Graph-Based Semi-Supervised Learning via Flows

abstract: In this paper, we consider the interpretability of the foundational Laplacian-based semi-supervised learning approaches on graphs. We introduce a novel flow-based learning framework that subsumes the foundational approaches and additionally provides a detailed, transparent, and easily understood expression of the learning process in terms of graph flows. As a result, one can visualize and interactively explore the precise subgraph along which the information from labeled nodes flows to an unlabeled node of interest. Surprisingly, the proposed framework avoids trading accuracy for interpretability, but in fact leads to improved prediction accuracy, which is supported both by theoretical considerations and empirical results. The flow-based framework guarantees the maximum principle by construction and can handle directed graphs in an out-of-the-box manner.


title: Complete Pascal Interpolation Scheme For Approximating The Geometry Of A Quadrilateral Element

abstract: This paper applies a complete parametric set for approximating the geometry of a quadrilateral element. The approximation basis used is a complete Pascal polynomial of second order with six free parameters. The interpolation procedure is a natural interpolation scheme. The six free parameters are determined using the natural coordinates of the four nodal points (vertices) of the quadrilateral element and the two intersections points of the lines crossing every two opposite edges (poles). The presented scheme recovers the well known Lagrangian interpolation scheme, when every two opposite edges are parallel. A third order Pascal interpolation scheme is also presented. The four midpoints of the four edges in addition to the six nodal point from the second order case are used as significant nodal points. It is expected to reflect the geometry properties better since the shape functions are complete


title: Knot Physics on Entangled Vortex-Membranes: Classification, Dynamics and Effective Theory

abstract: In this paper, knot physics on entangled vortex-membranes are studied including classification, knot dynamics and effective theory. The physics objects in this paper are entangled vortex-membranes that are called composite knot-crystals. Under projection, a composite knot-crystal is reduced into coupled zero-lattices. In the continuum limit, the effective theories of coupled zero-lattices become quantum field theories. After considering the topological interplay between knots and different types of zero-lattices, gauge interactions emerge. Based on a particular composite knot-crystal with (N=4, M=3) (we call it standard knot-crystal), the derived effective model becomes the (one-flavor) Standard model. As a result, the knot physics may provide an alternative interpretation on quantum field theory.


title: A review of approaches to the value of privacy

abstract: In this paper we examine information privacy from a value-centered angle. We review and compare different personal data valuation approaches. We consider the value of personal data now and in the near future, and we find that the enduring part of personal data will soon become common knowledge and that their price and value will drop substantially. Therefore the sector that is based on personal data extraction will need to focus on new ways of monetization and on the of the dynamic part of personal information.


title: Renormalization Group theory outperforms other approaches in statistical comparison between upscaling techniques for porous media

abstract: Determining the pressure differential required to achieve a desired flow rate in a porous medium requires solving Darcy's law, a Laplace-like equation, with a spatially varying tensor permeability. In various scenarios, the permeability coefficient is sampled at high spatial resolution, which makes solving Darcy's equation numerically prohibitively expensive. As a consequence, much effort has gone into creating upscaled or low-resolution effective models of the coefficient while ensuring that the estimated flow rate is well reproduced, bringing to fore the classic tradeoff between computational cost and numerical accuracy. Here we perform a statistical study to characterize the relative success of upscaling methods on a large sample of permeability coefficients that are above the percolation threshold. We introduce a new technique based on Mode-Elimination Renormalization-Group theory (MG) to build coarse-scale permeability coefficients. Comparing the results with coefficients upscaled using other methods, we find that MG is consistently more accurate, particularly so due to its ability to address the tensorial nature of the coefficients. MG places a low computational demand, in the manner that we have implemented it, and accurate flow-rate estimates are obtained when using MG-upscaled permeabilities that approach or are beyond the percolation threshold.


title: Analytical and numerical investigation of radiative heat transfer in semitransparent Media

abstract: This paper is devoted to deal with some mathematical and numerical aspects of the radiative integral transfer equations. First, the properties of the raidative integral operators are analyzed. Based on these results, the existence and uniqueness of solution to the radiative integral system is proved by the reversibility of operator matrix. Besides, the convergence analysis of an iterative scheme is also carried out. Then, boundary element method based on the collocation scheme is used to discretize the radiative integral system. Arbitrary enclosure geometry is considered. For the non-convex geometries, an element-subdivision algorithm is developed to handle with the integrals contained the visibility factor. Finally, examples are presented to verify the effectiveness and accuracy of our method.


title: The Arbitrarily Varying Broadcast Channel with Degraded Message Sets with Causal Side Information at the Encoder

abstract: In this work, we study the arbitrarily varying broadcast channel (AVBC), when state information is available at the transmitter in a causal manner. We establish inner and outer bounds on both the random code capacity region and the deterministic code capacity region with degraded message sets. The capacity region is then determined for a class of channels satisfying a condition on the mutual informations between the strategy variables and the channel outputs. As an example, we consider the arbitrarily varying binary symmetric broadcast channel with correlated noises. We show cases where the condition holds, hence the capacity region is determined, and other cases where there is a gap between the bounds.


title: Symmetries and Geometrical Properties of Dynamical Fluctuations in Molecular Dynamics

abstract: We describe some general results that constrain the dynamical fluctuations that can occur in non-equilibrium steady states, with a focus on molecular dynamics. That is, we consider Hamiltonian systems, coupled to external heat baths, and driven out of equilibrium by non-conservative forces. We focus on the probabilities of rare events (large deviations). First, we discuss a PT (parity-time) symmetry that appears in ensembles of trajectories where a current is constrained to have a large (non-typical) value. We analyse the heat flow in such ensembles, and compare it with non-equilibrium steady states. Second, we consider pathwise large deviations that are defined by considering many copies of a system. We show how the probability currents in such systems can be decomposed into orthogonal contributions, that are related to convergence to equilibrium and to dissipation. We discuss the implications of these results for modelling non-equilibrium steady states.


title: A Scalable Approach for Service Chain (SC) Mapping with Multiple SC Instances in a Wide-Area Network

abstract: Network Function Virtualization (NFV) aims to simplify deployment of network services by running Virtual Network Functions (VNFs) on commercial off-the-shelf servers. Service deployment involves placement of VNFs and in-sequence routing of traffic flows through VNFs comprising a Service Chain (SC). The joint VNF placement and traffic routing is called SC mapping. In a Wide-Area Network (WAN), a situation may arise where several traffic flows, generated by many distributed node pairs, require the same SC; then, a single instance (or occurrence) of that SC might not be enough. SC mapping with multiple SC instances for the same SC turns out to be a very complex problem, since the sequential traversal of VNFs has to be maintained while accounting for traffic flows in various directions. Our study is the first to deal with the problem of SC mapping with multiple SC instances to minimize network resource consumption. We first propose an Integer Linear Program (ILP) to solve this problem. Since ILP does not scale to large networks, we develop a column-generation-based ILP (CG-ILP) model. However, we find that exact mathematical modeling of the problem results in quadratic constraints in our CG-ILP. The quadratic constraints are made linear but even the scalability of CG-ILP is limited. Hence, we also propose a two-phase column-generation-based approach to get results over large network topologies within reasonable computational times. Using such an approach, we observe that an appropriate choice of only a small set of SC instances can lead to a solution very close to the minimum bandwidth consumption. Further, this approach also helps us to analyze the effects of number of VNF replicas and number of NFV nodes on bandwidth consumption when deploying these minimum number of SC instances.


title: Uniform Edge Betweenness Centrality

abstract: The edge betweenness centrality of an edge is loosely defined as the fraction of shortest paths between all pairs of vertices passing through that edge. In this paper, we investigate graphs where the edge betweenness centrality of edges is uniform. It is clear that if a graph G is edge-transitive (its automorphism group acts transitively on its edges) then G has uniform edge betweenness centrality. However this sufficient condition is not necessary. Graphs that are not edge-transitive but have uniform edge betweenness centrality appear to be very rare. Of the over 11.9 million connected graphs on up to ten vertices, there are only four graphs that are not edge-transitive but have uniform edge betweenness centrality. Despite this rarity among small graphs, we present methods for creating infinite classes of graphs with this unusual combination of properties.


title: Almost subnormal subgroups in division rings with generalized algebraic rational identities

abstract: In this paper we study non-central almost subnormal subgroups of the multiplicative group of a division ring satisfying a non-zero generalized rational identity. The main result generalizes Chiba's theorem on subnormal subgroups. As an application, we get a theorem on almost subnormal subgroups satisfying a generalized algebraic rational identity. The last theorem has several corollaries which generalize completely or partially some previous results.


title: The 1223 new periodic orbits of planar three-body problem with unequal mass and zero angular momentum

abstract: We present 1349 families of Newtonian periodic planar three-body orbits with unequal mass and zero angular momentum and the initial conditions in case of isosceles collinear configurations. These 1349 families of the periodic collisionless orbits can be divided into seven classes according to their geometric and algebraic symmetries. Among these 1349 families, 1223 families are entirely new, to the best of our knowledge. Furthermore, some periodic orbits have the same free group element for different mass. We find that the scale-invariant average period linearly increases with the mass of one body when the masses of the other two are constant. It is suggested that the masses of bodies may play an important role in periodic three-body systems. The movies of these periodic orbits are given on the website \url{http://numericaltank.sjtu.edu.cn/three-body/three-body-unequal-mass.htm} .


title: Negative charge enhancement of near-surface nitrogen vacancy centers by multicolor excitation

abstract: Nitrogen-Vacancy (NV) centers in diamond have been identified over the past few years as promising systems for a variety of applications, ranging from quantum information science to magnetic sensing. This relies on the unique optical and spin properties of the negatively charged NV. Many of these applications require shallow NV centers, i.e. NVs that are close (a few nm) to the diamond surface. In recent years there has been increasing interest in understanding the dynamics of NV centers under various illumination conditions, specifically under infra-red (IR) excitation, which has been demonstrated to have significant impact on the NV centers' emission and charge state. Nevertheless, a full understanding of all experimental data is still lacking, with further complications arising from potential differences between the photo-dynamics of bulk vs. shallow NVs. Here we suggest a generalized quantitative model for NV center spin and charge state dynamics under both green and IR excitation. We experimentally extract the relevant transition rates, providing a comprehensive model which reconciles all existing results in the literature. Moreover, we identify key differences between the photo-dynamics of bulk and shallow NVs, and use them to significantly enhance the initialization fidelity of shallow NVs to the useful negatively-charged state.


title: Monte-Carlo Algorithms for Forward Feynman-Kac type representation for semilinear nonconservative Partial Differential Equations

abstract: The paper is devoted to the construction of a probabilistic particle algorithm. This is related to nonlin-ear forward Feynman-Kac type equation, which represents the solution of a nonconservative semilinear parabolic Partial Differential Equations (PDE). Illustrations of the efficiency of the algorithm are provided by numerical experiments.


title: Stable ODE-type blowup for some quasilinear wave equations with derivative-quadratic nonlinearities

abstract: We prove a constructive stable ODE-type blowup result for open sets of solutions to a family of quasilinear wave equations in three spatial dimensions featuring a Riccati-type derivative-quadratic semilinear term. The singularity is more severe than a shock in that the solution itself blows up like the log of the distance to the blowup-time. We assume that the quasilinear terms satisfy certain structural assumptions, which in particular ensure that the "elliptic part" of the wave operator vanishes precisely at the singular points. The initial data are compactly supported and can be small or large in $L^{\infty}$, but the spatial derivatives must initially satisfy a nonlinear smallness condition compared to the time derivative. The first main idea of the proof is to construct a quasilinear integrating factor, which allows us to reformulate the wave equation as a system whose solutions remain regular, all the way up to the singularity. This is equivalent to constructing quasilinear vectorfields adapted to the nonlinear flow. The second main idea is to exploit some crucial monotonic terms in various estimates, especially the energy estimates, that feature the integrating factor. The availability of the monotonicity is tied to our assumptions on the data and on the structure of the quasilinear terms. The third main idea is to propagate the relative smallness of the spatial derivatives all the way up to the singularity so that the solution behaves, in many ways, like an ODE solution. As a corollary of our main results, we show that there are quasilinear wave equations that exhibit two distinct kinds of blowup: the formation of shocks for one non-trivial set of data, and ODE-type blowup for another non-trivial set.


title: Phaseless Sampling and Linear Reconstruction of Functions in Spline Spaces

abstract: We study phaseless sampling in spline spaces generated by B-splines with arbitrary knots. For real spline spaces, we give a necessary and sufficient condition for a sequence of sampling points to admit a local phase retrieval of any nonseparable function. We also study phaseless sampling in complex spline spaces and illustrate that phase retrieval is impossible in this case. Nevertheless, we show that phaseless sampling is possible. For any function $f$ in a complex spline space, no mater it is separable or not, we show that $|f(x)|^2$ is uniquely determined and can be recovered linearly from its sampled values at a well chosen sequence of sampling points. We give necessary and sufficient conditions for such sequences.


title: A random walk with catastrophes

abstract: Random population dynamics with catastrophes (events pertaining to possible elimination of a large portion of the population) has a long history in the mathematical literature. In this paper we study an ergodic model for random population dynamics with linear growth and binomial catastrophes: in a catastrophe, each individual survives with some fixed probability, independently of the rest. Through a coupling construction, we obtain sharp two-sided bounds for the rate of convergence to stationarity which are applied to show that the model exhibits a cutoff phenomenon.


title: Causal Fermion Systems: A Primer for Lorentzian Geometers

abstract: We give a brief introduction to causal fermion systems with a focus on the geometric structures in space-time.


title: Ab initio design of drug carriers for zoledronate guest molecule using phosphonated and sulfonated calix[4]arene and calix[4]resorcinarene host molecules

abstract: Monomolecular drug carriers based on calix[n]-arenes and -resorcinarenes containing the interior cavity can enhance the affinity and specificity of the osteoporosis inhibitor drug zoledronate (ZOD). In this work we investigate the suitability of nine different calix[4]-arenes and -resorcinarenes based macrocycles as hosts for the ZOD guest molecule by conducting {\it ab initio} density functional theory calculations for structures and energetics of eighteen different host-guest complexes. For the optimized molecular structures of the free, phosphonated, sulfonated calix[4]-arenes and -resorcinarenes, the geometric sizes of their interior cavities are measured and compared with those of the host-guest complexes in order to check the appropriateness for host-guest complex formation. Our calculations of binding energies indicate that in gaseous states some of the complexes might be unstable but in aqueous states almost all of the complexes can be formed spontaneously. Of the two different docking ways, the insertion of ZOD with the \ce{P-C-P} branch into the cavity of host is easier than that with the nitrogen containing heterocycle of ZOD. The work will open a way for developing effective drug delivering systems for the ZOD drug and promote experimentalists to synthesize them.


title: Nonanomalous measure of realism-based nonlocality

abstract: Based on a recently proposed model of physical reality and an underlying criterion of nonlocality for contexts [A. L. O. Bilobran and R. M. Angelo, Europhys. Lett. {\bf 112}, 40005 (2015)], we introduce a quantifier of realism-based nonlocality for bipartite quantum states, a concept that is profoundly different from Bell nonlocality. We prove that this measure reduces to entanglement for pure states, thus being free of anomalies in arbitrary dimensions, and identify the class of states with null realism-based nonlocality. Then we show that such a notion of nonlocality can be positioned in a low level within the hierarchy of quantumness quantifiers, meaning that it can occur even for separable states. These results open a different perspective for nonlocality studies.