title: Adaptive Behavioral Model Learning for Software Product Lines

abstract: Behavioral models enable the analysis of the functionality of software product lines (SPL), e.g., model checking and model-based testing. Model learning aims at constructing behavioral models for software systems in some form of a finite state machine. Due to the commonalities among the products of an SPL, it is possible to reuse the previously learned models during the model learning process. In this paper, an adaptive approach (the $\text{PL}^*$ method) for learning the product models of an SPL is presented based on the well-known $L^*$ algorithm. In this method, after model learning of each product, the sequences in the final observation table are stored in a repository which will be used to initialize the observation table of the remaining products to be learned. The proposed algorithm is evaluated on two open-source SPLs and the total learning cost is measured in terms of the number of rounds, the total number of resets and input symbols. The results show that for complex SPLs, the total learning cost for the $\text{PL}^*$ method is significantly lower than that of the non-adaptive learning method in terms of all three metrics. Furthermore, it is observed that the order in which the products are learned affects the efficiency of the $\text{PL}^*$ method. Based on this observation, we introduced a heuristic to determine an ordering which reduces the total cost of adaptive learning in both case studies.


title: M-Accretive Realisations of Skew-Symmetric Operators

abstract: We consider skew-symmetric operators $A_{0}$ on a Hilbert space $H$ and characterise all (nonlinear) m-accretive restrictions of $A:=-A_{0}^{\ast}$ in terms of the "deficiency spaces" $\ker(1\pm A)$. The results are illustrated by several examples and applied to a partial differential equation with an impedance type boundary condition.


title: Forward Error Correction applied to JPEG-XS codestreams

abstract: JPEG-XS offers low complexity image compression for applications with constrained but reasonable bit-rate, and low latency. Our paper explores the deployment of JPEG-XS on lossy packet networks. To preserve low latency, Forward Error Correction (FEC) is envisioned as the protection mechanism of interest. Despite the JPEG-XS codestream is not scalable in essence, we observe that the loss of a codestream fraction impacts the decoded image quality differently, depending on whether this codestream fraction corresponds to codestream headers, to coefficients significance information, or to low/high frequency data, respectively. Hence, we propose a rate-distortion optimal unequal error protection scheme that adapts the redundancy level of Reed-Solomon codes according to the rate of channel losses and the type of information protected by the code. Our experiments demonstrate that, at 5% loss rates, it reduces the Mean Squared Error by up to 92% and 65%, compared to a transmission without and with optimal but equal protection, respectively.


title: Combinatorial sputter deposition of CrMnFeCoNi high entropy alloy thin films on agitated particles

abstract: A method for combinatorial sputter deposition of thin films on microparticles is presented. The method is developed for a laboratory-scale magnetron sputter system and uses a piezoelectric actuator to agitate the microparticles through oscillation. Custom-made components enable to agitate up to nine separate batches of particles simultaneously. Due to the agitation, the whole surface of the particles can be exposed to the sputter flux and thus can be completely covered with a thin film. By sputtering a CrMnFeCoNi high entropy alloy target, separate batches of polystyrene microspheres (500 um monodisperse diameter), Fe alloy particles (300 um mean size) and NaCl salt particles (350 um mean size) were simultaneously coated with a homogeneous thin film. In contrast, a CrMnFeCoNi thin film that was deposited on agglomerating Al particles (5 um mean size) only partially covers the surface of the particles. By co-sputtering a CrMn, an FeCo and a Ni target, nine separate batches of Al particles (25 um mean size) were coated with a CrMnFeCoNi thin film with a composition gradient. These depositions demonstrate the ability to coat different types of particles with uniform films (from elemental to multinary compositions) and to deposit films with composition gradients on uniform particles.


title: Classification and Generation of real-world data with an Associative Memory Model

abstract: Drawing from memory the face of a friend you have not seen in years is a difficult task. However, if you happen to cross paths, you would easily recognize each other. The biological memory is equipped with an impressive compression algorithm that can store the essential, and then infer the details to match perception. The Willshaw Memory is a simple abstract model for cortical computations which implements mechanisms of biological memories. Using our recently proposed sparse coding prescription for visual patterns, this model can store and retrieve an impressive amount of real-world data in a fault-tolerant manner. In this paper, we extend the capabilities of the basic Associative Memory Model by using a Multiple-Modality framework. In this setting, the memory stores several modalities (e.g., visual, or textual) of each pattern simultaneously. After training, the memory can be used to infer missing modalities when just a subset is perceived. Using a simple encoder-memory-decoder architecture, and a newly proposed iterative retrieval algorithm for the Willshaw Model, we perform experiments on the MNIST dataset. By storing both the images and labels as modalities, a single Memory can be used not only to retrieve and complete patterns but also to classify and generate new ones. We further discuss how this model could be used for other learning tasks, thus serving as a biologically-inspired framework for learning.


title: Uniform Distribution of Hardy Sums

abstract: We employ the spectral theory of Eisenstein series to prove that the Hardy sums, integer-valued analogs of the classical Dedekind sums, are uniformly distributed in $\mathbf{Z} / m \mathbf{Z}$ for any integer $m > 1$.


title: Low-complexity Joint Phase Adjustment and Receive Beamforming for Directional Modulation Networks via IRS

abstract: Intelligent reflecting surface (IRS) is a revolutionary and low-cost technology for boosting the spectrum and energy efficiencies in future wireless communication network. In order to create controllable multipath transmission in the conventional line-of-sight (LOS) wireless communication environment, an IRS-aided directional modulation (DM) network is considered. In this paper, to improve the transmission security of the system and maximize the receive power sum (Max-RPS), two alternately optimizing schemes of jointly designing receive beamforming (RBF) vectors and IRS phase shift matrix (PSM) are proposed: Max-RPS using general alternating optimization (Max-RPS-GAO) algorithm and Max-RPS using zero-forcing (Max-RPS-ZF) algorithm. Simulation results show that, compared with the no-IRS-assisted scheme and the no-PSM optimization scheme, the proposed IRS-assisted Max-RPS-GAO method and Max-RPS-ZF method can significantly improve the secrecy rate (SR) performance of the DM system. Moreover, compared with the Max-RPS-GAO method, the proposed Max-RPS-ZF method has a faster convergence speed and a certain lower computational complexity.


title: Maximal monotonicity and cyclic involutivity of multi-conjugate convex functions

abstract: A cornerstone in convex analysis is the crucial relationship between functions and their convex conjugate via the Fenchel-Young inequality. In this dual variable setting, the maximal monotonicity of the contact set $ \big\{(x,y) \ \big| \ f(x) + f^*(y) = \langle x,y \rangle \big\}$ is due to the involution $f^{**} = f$ holding for convex lower-semicontinuous functions defined on any Hilbert space. We investigate the validity of the cyclic version of involution and maximal monotonicity for multiple (more than two) convex functions. As a result, we show that when the underlying space is the real line, cyclical involutivity and maximal monotonicity induced by multi-conjugate convex functions continue to hold as for the dual variable case. On the other hand, when the underlying space is multidimensional, we show that the corresponding properties do not hold in general unless a further regularity assumption is imposed. We provide detailed examples that illustrate the significant differences between dual- and multi-conjugate convex functions, as well as between uni- and multi-dimensional underlying spaces.


title: Bounding the List Color Function Threshold from Above

abstract: The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$ for each $m \in \mathbb{N}$. In 1990, Kostochka and Sidorenko introduced the list color function of graph $G$, denoted $P_{\ell}(G,m)$, which is a list analogue of the chromatic polynomial. The list color function threshold of $G$, denoted $\tau(G)$, is the smallest $k \geq \chi(G)$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. It is known that for every graph $G$, $\tau(G)$ is finite, and in fact, $\tau(G) \leq (|E(G)|-1)/\ln(1+ \sqrt{2}) + 1$. It is also known that when $G$ is a cycle or chordal graph, $G$ is enumeratively chromatic-choosable which means $\tau(G) = \chi(G)$. A recent paper of Kaul et al. suggests that understanding the list color function threshold of complete bipartite graphs is essential to the study of the extremal behavior of $\tau$. In this paper we show that for any $n \geq 2$, $\tau(K_{2,n}) \leq \lceil (n+2.05)/1.24 \rceil$ which gives an improvement on the general upper bound for $\tau(G)$ when $G = K_{2,n}$. We also develop additional tools that allow us to show that $\tau(K_{2,3}) = \chi(K_{2,3})$ and $\tau(K_{2,4}) = \tau(K_{2,5}) = 3$.


title: Mixed vine copula flows for flexible modelling of neural dependencies

abstract: Recordings of complex neural population responses provide a unique opportunity for advancing our understanding of neural information processing at multiple scales and improving performance of brain computer interfaces. However, most existing analytical techniques fall short of capturing the complexity of interactions within the concerted population activity. Vine copula-based approaches have shown to be successful at addressing complex high-order dependencies within the population, disentangled from the single-neuron statistics. However, most applications have focused on parametric copulas which bear the risk of misspecifying dependence structures. In order to avoid this risk, we adopted a fully non-parametric approach for the single-neuron margins and copulas by using Neural Spline Flows (NSF). We validated the NSF framework on simulated data of continuous and discrete type with various forms of dependency structures and with different dimensionality. Overall, NSFs performed similarly to existing non-parametric estimators, while allowing for considerably faster and more flexible sampling which also enables faster Monte Carlo estimation of copula entropy. Moreover, our framework was able to capture low and higher order heavy tail dependencies in neuronal responses recorded in the mouse primary visual cortex during a visual learning task while the animal was navigating a virtual reality environment. These findings highlight an often ignored aspect of complexity in coordinated neuronal activity which can be important for understanding and deciphering collective neural dynamics for neurotechnological applications.


title: Quench-Probe Setup as Analyzer of Fractionalized Entanglement Spreading

abstract: We propose a novel spatially inhomogeneous setup for revealing quench-induced fractionalized excitations in entanglement dynamics. In this quench-probe setting, the region undergoing a quantum quench is tunnel-coupled to a static region, the probe.Subsequently, the time-dependent entanglement signatures of a tunable subset of excitations propagating to the probe are monitored by energy selectivity. We exemplify the power of this generic approach by identifying a unique dynamical signature associated with the presence of an isolated Majorana zero mode in the post-quench Hamiltonian. In this case excitations emitted from the topological part of the system give rise to a fractionalized jump of $\log(2)/2$ in the entanglement entropy of the probe. This dynamical effect is highly sensitive to the localized nature of the Majorana zero mode, but does not require the preparation of a topological initial state.


title: Speaker Anonymization with Phonetic Intermediate Representations

abstract: In this work, we propose a speaker anonymization pipeline that leverages high quality automatic speech recognition and synthesis systems to generate speech conditioned on phonetic transcriptions and anonymized speaker embeddings. Using phones as the intermediate representation ensures near complete elimination of speaker identity information from the input while preserving the original phonetic content as much as possible. Our experimental results on LibriSpeech and VCTK corpora reveal two key findings: 1) although automatic speech recognition produces imperfect transcriptions, our neural speech synthesis system can handle such errors, making our system feasible and robust, and 2) combining speaker embeddings from different resources is beneficial and their appropriate normalization is crucial. Overall, our final best system outperforms significantly the baselines provided in the Voice Privacy Challenge 2020 in terms of privacy robustness against a lazy-informed attacker while maintaining high intelligibility and naturalness of the anonymized speech.


title: Homogeneity Enforced Calibration of Stage Nonidealities for Pipelined ADCs

abstract: Pipelined analog-to-digital converters (ADCs) are fundamental components of various signal processing systems requiring high sampling rates and a high linearity. Over the past years, calibration techniques have been intensively investigated to increase the linearity. In this work, we propose an equalization-based calibration technique which does not require knowledge of the ADC input signal for calibration. For that, a test signal and a scaled version of it are fed into the ADC sequentially, while only the corresponding output samples are used for calibration. Several test signal sources are possible, such as a signal generator (SG) or the system application (SA) itself. For the latter case, the presented method corresponds to a background calibration technique. Thus, slowly changing errors are tracked and calibrated continuously. Because of the low computational complexity of the calibration technique, it is suitable for an on-chip implementation. Ultimately, this work contains an analysis of the stability and convergence behavior as well as simulation results.


title: A randomized benchmarking suite for mid-circuit measurements

abstract: Mid-circuit measurements are a key component in many quantum information computing protocols, including quantum error correction, fault-tolerant logical operations, and measurement based quantum computing. As such, techniques to quickly and efficiently characterize or benchmark their performance are of great interest. Beyond the measured qubit, it is also relevant to determine what, if any, impact mid-circuit measurement has on adjacent, unmeasured, spectator qubits. Here, we present a mid-circuit measurement benchmarking suite developed from the ubiquitous paradigm of randomized benchmarking. We show how our benchmarking suite can be used to both detect as well as quantify errors on both measured and spectator qubits, including measurement-induced errors on spectator qubits and entangling errors between measured and spectator qubits. We demonstrate the scalability of our suite by simultaneously characterizing mid-circuit measurement on multiple qubits from an IBM Quantum Falcon device, and support our experimental results with numerical simulations. Further, using a mid-circuit measurement tomography protocol we establish the nature of the errors identified by our benchmarking suite.


title: RRMSE Voting Regressor: A weighting function based improvement to ensemble regression

abstract: This paper describes the RRMSE (Relative Root Mean Square Error) based weights to weight the occurrences of predictive values before averaging for the ensemble voting regression. The core idea behind ensemble regression is to combine several base regression models in order to improve the prediction performance in learning problems with a numeric continuous target variable. The default weights setting for the ensemble voting regression is uniform weights, and without domain knowledge of learning task, assigning weights for predictions are impossible, which makes it very difficult to improve the predictions. This work attempts to improve the prediction of voting regression by implementing the RRMSE based weighting function. Experiments show that RRMSE voting regressor produces significantly better predictions than other state-of-the-art ensemble regression algorithms on six popular regression learning datasets.


title: Parameter estimation via indefinite causal structures

abstract: Quantum Fisher information is the principal tool used to give the ultimate precision bound on the estimation of parameters for quantum channels. In this work, we present analytical expressions for the quantum Fisher information with three noisy channels for the case where the channels are in superposition of causal orders. We found that the quantum Fisher information increases as the number of causal orders increases for certain combinations. We also show that certain combinations of causal orders attain higher precision on bounds than others for the same number of causal orders. Based on our results, we chose the best combinations of causal orders with three channels for probing schemes using indefinite causal structures


title: Ternary and Quaternary CNTFET Full Adders are less efficient than the Binary Ones for Carry-Propagate Adders

abstract: In Carry Propagate Adders, carry propagation is the critical delay. The most efficient scheme is to generate Cout0 (Cin=0) and Cout1(Cin=1) and multiplex the correct output according to Cin. For any radix, the carry output is always 0/1. We present two versions of ternary adders with Cin = (0V, Vdd/2) and Cin = (0V, Vdd) and two versions of quaternary adders with Cin = (0V, Vdd/3) and Cin = (0V, Vdd). Using full swing Vdd for Cin reduces the propagation delays for ternary and quaternary adders. 6-bit, 4-trit and 3-quit CPAs are then compared.


title: Barrier-crossing times for different non-Markovian friction in well and barrier $-$ A numerical study

abstract: We introduce a generalized Langevin model system for different non-Markovian effects in the well and barrier regions of a potential, and use it to numerically study the dependence of the barrier-crossing time. In the appropriate limits, our model interpolates between the theoretical barrier-crossing-time predictions by Grote and Hynes (GH), as well as by Pollak et al., which for a single barrier memory time can differ by several orders of magnitude. Our model furthermore allows to test an analytic rate theory for space-inhomogeneous memory, which disagrees with our numerical results in the long well-memory regime. In this regime, we find that short barrier memory decreases the barrier-crossing time as compared to long barrier memory. This is in contrast with the short well-memory regime, where both our numerical results and GH theory predict an acceleration of the barrier crossing time with increasing barrier memory time. Both effects, the `Markovian-barrier acceleration' and GH `non-Markovian-barrier acceleration' can be understood from a committor analysis. Our model combines finite relaxation times of orthogonal degrees of freedom with a space-inhomogeneous coupling to such degrees, and represents a step towards more realistic modeling of physical reaction coordinates.

categories: physics.chem-ph cond-mat.mes-hall cond-mat.soft cond-mat.stat-mech physics.bio-ph


title: TIPS: Transaction Inclusion Protocol with Signaling in DAG-based Blockchain

abstract: Directed Acyclic Graph (DAG) is a popular approach to achieve scalability of blockchain networks. Due to its high efficiency in data communication and great scalability, DAG has been widely adopted in many applications such as Internet of Things (IoT) and Decentralized Finance (DeFi). DAG-based blockchain, nevertheless, faces the key challenge of transaction inclusion collision due to the high concurrency and the network delay. Particularly, the transaction inclusion collision in DAG-based blockchain leads to the revenue and throughput dilemmas, which would greatly degrade the system performance. In this paper, we propose "TIPS", the Transaction Inclusion Protocol with Signaling, which broadcasts a signal indicating the transactions in the block. We show that with the prompt broadcast of a signal, TIPS substantially reduces the transaction collision and thus resolves these dilemmas. Moreover, we show that TIPS can defend against both the denial-of-service and the delay-of-service attacks. We also conduct intensive experiments to demonstrate the superior performance of the proposed protocol.


title: Entanglement witnesses in the XY chain: Thermal equilibrium and postquench nonequilibrium states

abstract: We use entanglement witnesses to detect entanglement in the XY chain in thermal equilibrium and determine the temperature bound below which the state is detected as entangled. We consider the entanglement witness based on the Hamiltonian. Such a witness detects a state as entangled if its energy is smaller than the energy of separable states. We also consider a family of entanglement witnesses related to the entanglement negativity of the state. We test the witnesses in infinite and finite systems. We study how the temperature bounds obtained are influenced by a quantum phase-transition or a disorder line in the ground state. Very strong finite-size corrections are observed in the ordered phase due to the presence of a quasi-degenerate excitation. We also study the postquench states in the thermodynamic limit after a quench when the parameters of the Hamiltonian are changed suddenly. In the case of the Ising model, we find that the mixed postquench state is detected as entangled by the two methods if the parameters of the Hamiltonian before and after the quench are close to each other. We find that the two witnesses give qualitatively similar results, showing that energy-based entanglement witnesses are efficient in detecting the nearest-neighbor entanglement in spin chains in various circumstances. For other XY models, we find that the negativity based witnesses also detect states in some parameter regions where the energy-based witness does not, in particular, if the quench is performed from the paramagnetic phase to the ferromagnetic phase and vice versa. The domains in parameter space corresponding to postquench states detected as entangled by the energy-based witness have been determined analytically, which stresses further the utility of our method.


title: Statistical Detection of Adversarial examples in Blockchain-based Federated Forest In-vehicle Network Intrusion Detection Systems

abstract: The internet-of-Vehicle (IoV) can facilitate seamless connectivity between connected vehicles (CV), autonomous vehicles (AV), and other IoV entities. Intrusion Detection Systems (IDSs) for IoV networks can rely on machine learning (ML) to protect the in-vehicle network from cyber-attacks. Blockchain-based Federated Forests (BFFs) could be used to train ML models based on data from IoV entities while protecting the confidentiality of the data and reducing the risks of tampering with the data. However, ML models created this way are still vulnerable to evasion, poisoning, and exploratory attacks using adversarial examples. This paper investigates the impact of various possible adversarial examples on the BFF-IDS. We proposed integrating a statistical detector to detect and extract unknown adversarial samples. By including the unknown detected samples into the dataset of the detector, we augment the BFF-IDS with an additional model to detect original known attacks and the new adversarial inputs. The statistical adversarial detector confidently detected adversarial examples at the sample size of 50 and 100 input samples. Furthermore, the augmented BFF-IDS (BFF-IDS(AUG)) successfully mitigates the adversarial examples with more than 96% accuracy. With this approach, the model will continue to be augmented in a sandbox whenever an adversarial sample is detected and subsequently adopt the BFF-IDS(AUG) as the active security model. Consequently, the proposed integration of the statistical adversarial detector and the subsequent augmentation of the BFF-IDS with detected adversarial samples provides a sustainable security framework against adversarial examples and other unknown attacks.


title: FCC-ee, an Accelerator for New Physics Searches in the Heavy Quark Sector

abstract: This manuscript is devoted to the description of the proposed Future Circular Collider (FCC) project and its physics program focused on measurements involving heavy quarks. It summarizes the report submitted to the US 2021 Snowmass Process and European Strategy on Particle Physics. The proposed electron-positron collider based on established technologies will provide high instantaneous luminosities at center-of-mass energies from the Z resonance through the ZH and WW and up to the $t\bar{t}$ threshold. This will allow a very rich set of fundamental measurements as well as the study of heavy-flavor and tau physics in ultra-rare decays beyond the LHC reach.


title: An optimal MOO strategy

abstract: We calculated a fixed strategy that minimizes the average number of guesses (minimum strategy) for the number-guessing game MOO by exhaustive search. Although the minimum strategy for a similar game, mastermind, has been reported, this study seems to be the first to find the minimum strategy for MOO with a larger search space. When two players play against each other in MOO, the minimum strategy is not always the strongest fixed strategy. First, we compute a fixed strategy that has the maximum winning rate when played against the minimum strategy. Then we confirm that there is no fixed strategy with a winning rate exceeding 0.5 against this strategy. This result shows that MOO is a game with the strongest fixed strategy.


title: Fitness Dependent Optimizer for IoT Healthcare using Adapted Parameters: A Case Study Implementation

abstract: This discusses a case study on Fitness Dependent Optimizer or so-called FDO and adapting its parameters to the Internet of Things (IoT) healthcare. The reproductive way is sparked by the bee swarm and the collaborative decision-making of FDO. As opposed to the honey bee or artificial bee colony algorithms, this algorithm has no connection to them. In FDO, the search agent's position is updated using speed or velocity, but it's done differently. It creates weights based on the fitness function value of the problem, which assists lead the agents through the exploration and exploitation processes. Other algorithms are evaluated and compared to FDO as Genetic Algorithm (GA) and Particle Swarm Optimization (PSO) in the original work. The key current algorithms:The Salp-Swarm Algorithms (SSA), Dragonfly Algorithm (DA), and Whale Optimization Algorithm (WOA) have been evaluated against FDO in terms of their results. Using these FDO experimental findings, we may conclude that FDO outperforms the other techniques stated. There are two primary goals for this chapter: first, the implementation of FDO will be shown step-by-step so that readers can better comprehend the algorithm method and apply FDO to solve real-world applications quickly. The second issue deals with how to tweak the FDO settings to make the meta-heuristic evolutionary algorithm better in the IoT health service system at evaluating big quantities of information. Ultimately, the target of this chapter's enhancement is to adapt the IoT healthcare framework based on FDO to spawn effective IoT healthcare applications for reasoning out real-world optimization, aggregation, prediction, segmentation, and other technological problems.


title: Experimental End-To-End Delay Analysis of LTE cat-M With High-Rate Synchrophasor Communications

abstract: Micro-Phasor Measurement Units (u-PMUs) are devices that permit monitoring voltage and current in the distribution grid with high accuracy, thus enabling a wide range of smart grid applications, such as state estimation, protection and control. These devices need to transmit the synchronous measurements of voltage and current, also known as synchrophasors, to the power utility control center at high rate. The use of wireless networks, such as LTE, to transmit synchrophasor data is becoming increasingly popular. However, synchrophasors are included in small frames and it would be more efficient to use low power cellular solutions, such as LTE cat-M. In this work, we present experimental research on the deployment of a u-PMU with the ability to connect over a commercial LTE cat-M network. The deployed u-PMU is built with off-the-shelf hardware, such as Arduino microcontrollers, and is used to transmit data-compliant with the IEEE C37.118.2 standard at a variable rate from 1 frame/s to 80 frames/s. A detailed network performance analysis is carried out to show the suitability of LTE cat-M to support u-PMU communications. Experimental results on performance indicators, such as delay and jitter, are reported. The effect of the LTE cat-M access mechanism on the time distribution of frame arrivals is also thoroughly analyzed.


title: On the Application of Agile Project Management Techniques, V-Model and Recent Software Tools in Postgraduate Theses Supervision

abstract: Due to the nature of most postgraduate theses in control engineering and their similarities to industrial and software engineering projects, invoking novel project control techniques could be effective. In recent decades, agile techniques have attracted popularity thanks to their attributes in delivering successful projects. Hence exploiting those methods in education and thesis supervision of engineering topics can facilitate the process. On the other hand, because of the limitations imposed by the CoVid19 pandemic, the integration of well-established online tools in collaborative education is noteworthy. This paper proposes an application of the agile project management method for the supervision of postgraduate students' theses in the general field of engineering. The study extends a Scrum technique combined with approved systems engineering and team working tools such as Jira Software, Microsoft Teams, and Git version control (Github website). A custom designed V-model to nail an outstanding thesis is presented. The overall blended method is beneficial to provide feedback and self-assessment aid for the students and the supervisors. Employing this technique has shown promising progress in easing the supervision of students whilst helping them to manage their projects.


title: Biaxial growth of pentacene on rippled silica surfaces studied by rotating grazing incidence X-ray diffraction

abstract: Pentacene is known to grow on isotropic silicon oxide surfaces in a substrate-induced phase with fiber textured crystallites. This growth study reports on the growth of pentacene crystallites on uniaxially oriented surfaces. Silica substrates have been treated by ion beam sputtering so that ripples with a lateral corrugation length of 38 nm and a surface roughness of 1.3 nm are formed. Pentacene thin films with a nominal thickness in the range from 20 nm up to 300 nm are deposited on top of the rippled surfaces. The films are characterized by atomic force microscopy and grazing incidence X-ray diffraction. Bi-axially oriented crystals are formed due to the grooves of the substrate surface opening up the possibility of a defined in-plane alignment of the crystals. In a first stage of thin film growth, the thin film phase (TFP) of pentacene is formed, while in the later stage the bulk crystal structure (C, Campbell phase) also appears. Due to the bi-axial alignment of the crystallites the transition from the thin film phase to the bulk crystal structure can be directly investigated. An epitaxial relationship with (120)TFP || (210)C and [-210]TFP || [1-20]C is observed which can be explained by an adaption of the herringbone layers of both crystal structures. This work reveals one possible microscopic mechanism for the transition from the metastable substrate-induced phase of pentacene to its equilibrium bulk structure.


title: Extending the laws of thermodynamics for arbitrary autonomous quantum systems

abstract: Originally formulated for macroscopic machines, the laws of thermodynamics were recently shown to hold for quantum systems coupled to ideal sources of work (external classical fields) and heat (systems at equilibrium). Ongoing efforts have been focusing on extending the validity of thermodynamic laws to more realistic, non-ideal energy sources. Here, we go beyond these extensions and show that energy exchanges between arbitrary quantum systems are structured by the laws of thermodynamics. We first generalize the second law and identify the associated work and heat exchanges. After recovering known results from ideal work and heat sources, we analyze some consequences of hybrid work and heat sources. We illustrate our general laws with microscopic machines realizing thermodynamic tasks in which the roles of heat and work sources are simultaneously played by elementary quantum systems. Our results open perspectives to understand and optimize the energetic performances of realistic quantum devices, at any scale.


title: Closed embedded self-shrinkers of mean curvature flow

abstract: In this article we show the existence of closed embedded self-shrinkers in $\Bbb{R}^{n+1}$ that are topologically of type $S^1\times M$, where $M\subset S^n$ is any isoparametric hypersurface in $S^n$ for which the multiplicities of the principle curvatures agree. This yields new examples of closed self-shrinkers, for example self-shrinkers of topological type $S^1\times S^k\times S^k\subset \Bbb R^{2k+2}$ for any $k$. If the number of distinct principle curvatures of $M$ is one the resulting self-shrinker is topologically $S^1\times S^{n-1}$ and the construction recovers Angenent's shrinking doughnut.


title: Further q-reflections on the modulo 9 Kanade-Russell (conjectural) identities

abstract: We examine four identities conjectured by Hickerson which complement five modulo $9$ Kanade--Russell identities, and we build up a profile of new identities and new conjectures not unlike those found by Uncu and Zudilin.


title: Minimax identity with robust utility functional for a non-concave utility

abstract: We study the minimax identity for a non-decreasing upper-semicontinuous utility function satisfying mild growth assumption. In contrast to the classical setting, we do not impose the assumption that the utility function is concave. By considering the concave envelope of the utility function we obtain equalities and inequalities between the robust utility functionals of an initial utility function and its concavification. Furthermore, we prove similar equalities and inequalities in the case of implementing an upper bound on the final endowment of the initial model.


title: Single-cell phase-contrast tomograms data encoded by 3D Zernike descriptors

abstract: Phase-contrast tomographic flow cytometry combines quantitative 3D analysis of unstained single cells and high-throughput. A crucial issue of this method is the storage and management of the huge amount of 3D tomographic data. Here we show an effective quasi lossless compression of tomograms data through 3D Zernike descriptors, unlocking data management tasks and computational pipelines that were unattainable until now.


title: Canonical graph decompositions via coverings

abstract: We present a canonical way to decompose finite graphs into highly connected local parts. The decomposition depends only on an integer parameter whose choice sets the intended degree of locality. The global structure of the graph, as determined by the relative position of these parts, is described by a coarser $\it model$. This is a simpler graph determined entirely by the decomposition, not imposed. The model and decomposition are obtained as projections of the tangle-tree structure of a covering of the given graph that reflects its local structure while unfolding its global structure. In this way, the tangle theory from graph minors is brought to bear canonically on arbitrary graphs, which need not be tree-like. Our theorem extends to locally finite quasi-transitive graphs, and in particular to locally finite Cayley graphs. It thereby offers a canonical decomposition for finitely generated groups into local parts, whose relative structure is displayed by a graph.


title: Research Joint Ventures: The Role of Financial Constraints

abstract: This paper provides a novel theory of research joint ventures for financially constrained firms. When firms choose R&D portfolios, an RJV can help to coordinate research efforts, reducing investments in duplicate projects. This can free up resources, increase the variety of pursued projects and thereby increase the probability of discovering the innovation. RJVs improve innovation outcomes when market competition is weak and external financing conditions are bad. An RJV may increase the innovation probability and nevertheless lower total R&D costs. RJVs that increase innovation also increase consumer surplus and tend to be profitable, but innovation-reducing RJVs also exist. Finally, we compare RJVs to innovation-enhancing mergers.


title: Emergence of Novelty in Evolutionary Algorithms

abstract: One of the main problems of evolutionary algorithms is the convergence of the population to local minima. In this paper, we explore techniques that can avoid this problem by encouraging a diverse behavior of the agents through a shared reward system. The rewards are randomly distributed in the environment, and the agents are only rewarded for collecting them first. This leads to an emergence of a novel behavior of the agents. We introduce our approach to the maze problem and compare it to the previously proposed solution, denoted as Novelty Search (Lehman and Stanley, 2011a). We find that our solution leads to an improved performance while being significantly simpler. Building on that, we generalize the problem and apply our approach to a more advanced set of tasks, Atari Games, where we observe a similar performance quality with much less computational power needed.


title: LaT: Latent Translation with Cycle-Consistency for Video-Text Retrieval

abstract: Video-text retrieval is a class of cross-modal representation learning problems, where the goal is to select the video which corresponds to the text query between a given text query and a pool of candidate videos. The contrastive paradigm of vision-language pretraining has shown promising success with large-scale datasets and unified transformer architecture, and demonstrated the power of a joint latent space. Despite this, the intrinsic divergence between the visual domain and textual domain is still far from being eliminated, and projecting different modalities into a joint latent space might result in the distorting of the information inside the single modality. To overcome the above issue, we present a novel mechanism for learning the translation relationship from a source modality space $\mathcal{S}$ to a target modality space $\mathcal{T}$ without the need for a joint latent space, which bridges the gap between visual and textual domains. Furthermore, to keep cycle consistency between translations, we adopt a cycle loss involving both forward translations from $\mathcal{S}$ to the predicted target space $\mathcal{T'}$, and backward translations from $\mathcal{T'}$ back to $\mathcal{S}$. Extensive experiments conducted on MSR-VTT, MSVD, and DiDeMo datasets demonstrate the superiority and effectiveness of our LaT approach compared with vanilla state-of-the-art methods.


title: An Overview on IEEE 802.11bf: WLAN Sensing

abstract: With recent advancements, the wireless local area network (WLAN) or wireless fidelity (Wi-Fi) technology has been successfully utilized to realize sensing functionalities such as detection, localization, and recognition. However, the WLANs standards are developed mainly for the purpose of communication, and thus may not be able to meet the stringent sensing requirements in emerging applications. To resolve this issue, a new Task Group (TG), namely IEEE 802.11bf, has been established by the IEEE 802.11 working group, with the objective of creating a new amendment to the WLAN standard to provide advanced sensing requirements while minimizing the effect on communications. This paper provides a comprehensive overview on the up-to-date efforts in the IEEE 802.11bf TG. First, we introduce the definition of the 802.11bf amendment and its standardization timeline. Then, we discuss the WLAN sensing procedure and framework used for measurement acquisition, by considering both conventional sensing at sub-7 GHz and directional multi-gigabit (DMG) sensing at 60 GHz, respectively. Next, we present various candidate technical features for IEEE 802.11bf, including waveform/sequence design, feedback types, quantization, as well as security and privacy. Finally, we describe the methodologies used by the IEEE 802.11bf TG to evaluate the alternative performance. It is desired that this overview paper provide useful insights on IEEE 802.11 WLAN sensing to people with great interests and promote the IEEE 802.11bf standard to be widely deployed.


title: Risk assessment and optimal allocation of security measures under stealthy false data injection attacks

abstract: This paper firstly addresses the problem of risk assessment under false data injection attacks on uncertain control systems. We consider an adversary with complete system knowledge, injecting stealthy false data into an uncertain control system. We then use the Value-at-Risk to characterize the risk associated with the attack impact caused by the adversary. The worst-case attack impact is characterized by the recently proposed output-to-output gain. We observe that the risk assessment problem corresponds to an infinite non-convex robust optimization problem. To this end, we use dissipative system theory and the scenario approach to approximate the risk-assessment problem into a convex problem and also provide probabilistic certificates on approximation. Secondly, we consider the problem of security measure allocation. We consider an operator with a constraint on the security budget. Under this constraint, we propose an algorithm to optimally allocate the security measures using the calculated risk such that the resulting Value-at-risk is minimized. Finally, we illustrate the results through a numerical example. The numerical example also illustrates that the security allocation using the Value-at-risk, and the impact on the nominal system may have different outcomes: thereby depicting the benefit of using risk metrics.


title: Moir\'e Modulation of Charge Density Waves

abstract: Here we investigate how charge density waves (CDW), inherent to a monolayer, are effected by creating twisted van der Waals structures. Homobilayers of metallic transition metal dichalcogenides (TMDs), at small twist angles where there is significant atomic reconstruction, are utilised as an example to investigate the interplay between the moir\'e domain structure and CDWs of different periods. For $\sqrt{3}\times\sqrt{3}$ CDWs, there is no geometric constraint to prevent the CDWs from propagating throughout the moir\'e structure. Whereas for $2\times2$ CDWs, to ensure the CDWs in each layer have the most favourable interactions in the domains, the CDW phase must be destroyed in the connecting domain walls. For $3\times3$ CDWs with twist angles close to 180 degree, moir\'e-scale triangular structures can form; while close to 0 degree, moir\'e-scale dimer domains occur. The star-of-David CDW ($\sqrt{13}\times\sqrt{13}$) is found to host CDWs in the domains only, since there is one low energy stacking configuration, similar to $2\times2$ CDWs. These predictions are offered for experimental verification in twisted bilayer metallic TMDs which host CDWs, and we hope this will stimulate further research on the interplay between the moir\'e supperlattice and CDW phases intrinsic to the comprising 2D materials.


title: Slot Filling for Extracting Reskilling and Upskilling Options from the Web

abstract: Disturbances in the job market such as advances in science and technology, crisis and increased competition have triggered a surge in reskilling and upskilling programs. Information on suitable continuing education options is distributed across many sites, rendering the search, comparison and selection of useful programs a cumbersome task. This paper, therefore, introduces a knowledge extraction system that integrates reskilling and upskilling options into a single knowledge graph. The system collects educational programs from 488 different providers and uses context extraction for identifying and contextualizing relevant content. Afterwards, entity recognition and entity linking methods draw upon a domain ontology to locate relevant entities such as skills, occupations and topics. Finally, slot filling integrates entities based on their context into the corresponding slots of the continuous education knowledge graph. We also introduce a German gold standard that comprises 169 documents and over 3800 annotations for benchmarking the necessary content extraction, entity linking, entity recognition and slot filling tasks, and provide an overview of the system's performance.


title: A nonlocal theory of fermion mixing

abstract: We study a nonlocal generalization of two flavor fermion mixing and compute the transition probability by means of the path integral formalism. In our treatment, we delocalize only the mixing term, and consider a perturbative interaction with a small mixing angle. The oscillation formula derived reduces to the correct local form when the appropriate limit is considered. We apply our formalism to some string-inspired delocalization kernels and discuss the phenomenological deviations from the local theory.


title: The fundamental gap of a kind of two dimensional sub-elliptic operator

abstract: This paper is concerned at the minimization fundamental gap problem for a class of two-dimensional degenerate sub-elliptic operators. We establish existence results for weak solutions, Sobolev embedding theorem and spectral theory of sub-elliptic operators. We provide the existence and characterization theorems for extremizing potentials $V(x)$ when $V(x)$ is subject to $L^\infty$ norm constraint.


title: Orchestrating Tool Chains for Model-based Systems Engineering with RCE

abstract: When using multiple software tools to analyze, visualize, or optimize models in MBSE, it is often tedious and error-prone to manually coordinate the execution of these tools and to retain their respective input and output data for later analysis. Since such tools often require expertise in their usage as well as diverse run-time environments, it is not straightforward to orchestrate their execution via off-the-shelf software tools. We present RCE, an application developed at the German Aerospace Center that supports engineers in developing and orchestrating the execution of complex tool chains. This application is used in numerous research and development projects in diverse domains and enables and simplifies the creation, analysis, and optimization of models.


title: Bayesian Optimization-based Nonlinear Adaptive PID Controller Design for Robust Mobile Manipulation

abstract: In this paper, we propose to use a nonlinear adaptive PID controller to regulate the joint variables of a mobile manipulator. The motion of the mobile base forces undue disturbances on the joint controllers of the manipulator. In designing a conventional PID controller, one should make a trade-off between the performance and agility of the closed-loop system and its stability margins. The proposed nonlinear adaptive PID controller provides a mechanism to relax the need for such a compromise by adapting the gains according to the magnitude of the error without expert tuning. Therefore, we can achieve agile performance for the system while seeing damped overshoot in the output and track the reference as close as possible, even in the presence of external disturbances and uncertainties in the modeling of the system. We have employed a Bayesian optimization approach to choose the parameters of a nonlinear adaptive PID controller to achieve the best performance in tracking the reference input and rejecting disturbances. The results demonstrate that a well-designed nonlinear adaptive PID controller can effectively regulate a mobile manipulator's joint variables while carrying an unspecified heavy load and an abrupt base movement occurs.


title: The Lepto-Variance of Stock Returns

abstract: The Regression Tree (RT) sorts the samples using a specific feature and finds the split point that produces the maximum variance reduction from a node to its children. Our key observation is that the best factor to use (in terms of MSE drop) is always the target itself, as this most clearly separates the target. Thus using the target as the splitting factor provides an upper bound on MSE drop (or lower bound on the residual children MSE). Based on this observation, we define the k-bit lepto-variance ${\lambda}k^2$ of a target variable (or equivalently the lepto-variance at a specific depth k) as the variance that cannot be removed by any regression tree of a depth equal to k. As the upper bound performance for any feature, we believe ${\lambda}k^2$ to be an interesting statistical concept related to the underlying structure of the sample as it quantifies the resolving power of the RT for the sample. The max variance that may be explained using RTs of depth up to k is called the sample k-bit macro-variance. At any depth, total sample variance is thus decomposed into lepto-variance ${\lambda}^2$ and macro-variance ${\mu}^2$. We demonstrate the concept, by performing 1- and 2-bit RT based lepto-structure analysis for daily IBM stock returns.


title: Testing Standard Model extensions with few-electron ions

abstract: When collecting spectroscopic data on at least four isotopes, nonlinearities in the King plot are a possible sign of Physics beyond the Standard Model. In this work, an improved approach to the search for hypothetical new interactions with isotope shift spectroscopy of few-electron ions is presented. Very careful account is taken of the small nuclear corrections to the energy levels and the gyromagnetic factors, which cause deviations from King linearity within the Standard Model and are hence a possible source of confounds. In this new approach, the experimental King nonlinearity is not compared to the vanishing prediction of the Standard Model at the leading order, but to the calculated full Standard Model contribution to King nonlinearity. This makes searching for beyond-the-Standard-Model physics with King linearity analysis possible in a very-high-precision experimental regime, avoiding confounds. The bounds which can be set on beyond-the-Standard-Model parameters remain limited by the uncertainties on the small Standard Model nuclear corrections which cause King nonlinearity. Direct comparison between theory and experiment on a single pair of isotopes is advocated as a more suitable approach for few-electron ions.


title: Graph-based Molecular Representation Learning

abstract: Molecular representation learning (MRL) is a key step to build the connection between machine learning and chemical science. In particular, it encodes molecules as numerical vectors preserving the molecular structures and features, on top of which the downstream tasks (e.g., property prediction) can be performed. Recently, MRL has achieved considerable progress, especially in methods based on deep molecular graph learning. In this survey, we systematically review these graph-based molecular representation techniques, especially the methods incorporating chemical domain knowledge. Specifically, we first introduce the features of 2D and 3D molecular graphs. Then we summarize and categorize MRL methods into three groups based on their input. Furthermore, we discuss some typical chemical applications supported by MRL. To facilitate studies in this fast-developing area, we also list the benchmarks and commonly used datasets in the paper. Finally, we share our thoughts on future research directions.


title: Partial regularity of solutions to the 3D chemotaxis-Navier-Stokes equations at the first blow-up time

abstract: In this note, we investigate partial regularity of weak solutions of the three dimensional chemotaxis-Navier-Stokes equations, and obtain the $\frac53$-dimensional Hausdorff measure of the possible singular set is vanishing at the first blow-up time. The new ingredients are to establish certain type of local energy inequality and deal with the non-scaling invariant quantity of $n\ln n$, which seems to be the first description for the singular set of weak solutions of the chemotaxis-fluid model, which is motivated by Caffarelli-Kohn-Nirenberg's partial regularity theory \cite{CKN}.


title: Statistical Equilibrium of Large Scales in Three-Dimensional Hydrodynamic Turbulence

abstract: We investigate experimentally three-dimensional (3D) hydrodynamic turbulence at scales larger than the forcing scale. We manage to perform a scale separation between the forcing scale and the container size by injecting energy into the fluid using centimetric magnetic particles. We measure the statistics of the fluid velocity field at scales larger than the forcing scale (energy spectra, velocity distributions, and energy flux spectrum). In particular, we show that the large-scale dynamics are in statistical equilibrium and can be described with an effective temperature, although not isolated from the turbulent Kolmogorov cascade. In the large-scale domain, the energy flux is zero on average but exhibits intense temporal fluctuations. Our work paves the way to use equilibrium statistical mechanics to describe the large-scale properties of 3D turbulent flows.


title: Parameterized Complexity of Streaming Diameter and Connectivity Problems

abstract: We initiate the investigation of the parameterized complexity of Diameter and Connectivity in the streaming paradigm. On the positive end, we show that knowing a vertex cover of size $k$ allows for algorithms in the Adjacency List (AL) streaming model whose number of passes is constant and memory is $O(\log n)$ for any fixed $k$. Underlying these algorithms is a method to execute a breadth-first search in $O(k)$ passes and $O(k \log n)$ bits of memory. On the negative end, we show that many other parameters lead to lower bounds in the AL model, where $\Omega(n/p)$ bits of memory is needed for any $p$-pass algorithm even for constant parameter values. In particular, this holds for graphs with a known modulator (deletion set) of constant size to a graph that has no induced subgraph isomorphic to a fixed graph $H$, for most $H$. For some cases, we can also show one-pass, $\Omega(n \log n)$ bits of memory lower bounds. We also prove a much stronger $\Omega(n^2/p)$ lower bound for Diameter on bipartite graphs. Finally, using the insights we developed into streaming parameterized graph exploration algorithms, we show a new streaming kernelization algorithm for computing a vertex cover of size $k$. This yields a kernel of $2k$ vertices (with $O(k^2)$ edges) produced as a stream in $\text{poly}(k)$ passes and only $O(k \log n)$ bits of memory.


title: Hierarchical Average Precision Training for Pertinent Image Retrieval

abstract: Image Retrieval is commonly evaluated with Average Precision (AP) or Recall@k. Yet, those metrics, are limited to binary labels and do not take into account errors' severity. This paper introduces a new hierarchical AP training method for pertinent image retrieval (HAP-PIER). HAPPIER is based on a new H-AP metric, which leverages a concept hierarchy to refine AP by integrating errors' importance and better evaluate rankings. To train deep models with H-AP, we carefully study the problem's structure and design a smooth lower bound surrogate combined with a clustering loss that ensures consistent ordering. Extensive experiments on 6 datasets show that HAPPIER significantly outperforms state-of-the-art methods for hierarchical retrieval, while being on par with the latest approaches when evaluating fine-grained ranking performances. Finally, we show that HAPPIER leads to better organization of the embedding space, and prevents most severe failure cases of non-hierarchical methods. Our code is publicly available at: https://github.com/elias-ramzi/HAPPIER.


title: Hebbian Continual Representation Learning

abstract: Continual Learning aims to bring machine learning into a more realistic scenario, where tasks are learned sequentially and the i.i.d. assumption is not preserved. Although this setting is natural for biological systems, it proves very difficult for machine learning models such as artificial neural networks. To reduce this performance gap, we investigate the question whether biologically inspired Hebbian learning is useful for tackling continual challenges. In particular, we highlight a realistic and often overlooked unsupervised setting, where the learner has to build representations without any supervision. By combining sparse neural networks with Hebbian learning principle, we build a simple yet effective alternative (HebbCL) to typical neural network models trained via the gradient descent. Due to Hebbian learning, the network have easily interpretable weights, which might be essential in critical application such as security or healthcare. We demonstrate the efficacy of HebbCL in an unsupervised learning setting applied to MNIST and Omniglot datasets. We also adapt the algorithm to the supervised scenario and obtain promising results in the class-incremental learning.


title: State estimation with the Interacting Multiple Model (IMM) method

abstract: For model-based estimation methods, the modeling that is as close to reality as possible makes a vital estimation result. In simple applications, it is sufficient to model a system with a single state space model. However, there are applications in which a system changes its behavior deterministically or stochastically. A previously defined model then describes the behavior of the system only inaccurately or is even no longer valid. The state of the art is to use more than one system models in parallel and to derive a suitable system estimate from them. In the literature, this is generally referred to as the Multiple Model (MM) method. Depending on the application and requirements, different methods exist for this purpose, which determine a single state estimate from a set of models. A frequently used representative of these methods is the Interacting Multiple Model (IMM) method which will be presented in this paper.


title: On the Intrinsic Structures of Spiking Neural Networks

abstract: Recent years have emerged a surge of interest in SNNs owing to their remarkable potential to handle time-dependent and event-driven data. The performance of SNNs hinges not only on selecting an apposite architecture and fine-tuning connection weights, similar to conventional ANNs, but also on the meticulous configuration of intrinsic structures within spiking computations. However, there has been a dearth of comprehensive studies examining the impact of intrinsic structures. Consequently, developers often find it challenging to apply a standardized configuration of SNNs across diverse datasets or tasks. This work delves deep into the intrinsic structures of SNNs. Initially, we unveil two pivotal components of intrinsic structures: the integration operation and firing-reset mechanism, by elucidating their influence on the expressivity of SNNs. Furthermore, we draw two key conclusions: the membrane time hyper-parameter is intimately linked to the eigenvalues of the integration operation, dictating the functional topology of spiking dynamics, and various hyper-parameters of the firing-reset mechanism govern the overall firing capacity of an SNN, mitigating the injection ratio or sampling density of input data. These findings elucidate why the efficacy of SNNs hinges heavily on the configuration of intrinsic structures and lead to a recommendation that enhancing the adaptability of these structures contributes to improving the overall performance and applicability of SNNs. Inspired by this recognition, we propose two feasible approaches to enhance SNN learning. These involve leveraging self-connection architectures and employing stochastic spiking neurons to augment the adaptability of the integration operation and firing-reset mechanism, respectively. We verify the effectiveness of the proposed methods from perspectives of theory and practice.


title: Detection of interstellar cyanamide (NH$_{2}$CN) towards the hot molecular core G10.47+0.03

abstract: In the interstellar medium, the amide-type molecules play an important role in the formation of the prebiotic molecules in the hot molecular cores or high-mass star formation regions. The complex amide-related molecule cyanamide (NH$_{2}$CN) is known as one of the rare interstellar molecule which has played a major role in the formation of urea (NH$_{2}$CONH$_{2}$). In this article, we presented the detection of the emission lines of cyanamide (NH$_{2}$CN) towards the hot molecular core G10.47+0.03 between the frequency range 158.49$-$160.11 GHz using the Atacama Large Millimeter/submillimeter Array (ALMA) interferometric radio telescope. The estimated column density of the emission lines of NH$_{2}$CN using the rotational diagram model was $N$(NH$_{2}$CN) = (6.60$\pm$0.1)$\times$10$^{15}$ cm$^{-2}$ with rotational temperature ($T_{rot}$) = 201.2$\pm$3.3 K. The fractional abundance of NH$_{2}$CN with respect to H$_{2}$ towards G10.47+0.03 was $f$(NH$_{2}$CN) = 5.076$\times$10$^{-8}$. Additionally, we estimated the NH$_{2}$CN/NH$_{2}$CHO abundance ratio towards the G10.47+0.03 was 0.170, which was nearly similar with NH$_{2}$CN/NH$_{2}$CHO abundance ratio towards IRAS 16293$-$2422 B and Sgr B2 (M). We found that the observed abundance of NH$_{2}$CN with respect to H$_{2}$ towards G10.47+0.03 fairly agrees with the theoretical value predicted by Garrod (2013). We also discussed the possible formation and destruction pathways of NH$_{2}$CN.


title: Stacked Autoencoder Based Multi-Omics Data Integration for Cancer Survival Prediction

abstract: Cancer survival prediction is important for developing personalized treatments and inducing disease-causing mechanisms. Multi-omics data integration is attracting widespread interest in cancer research for providing information for understanding cancer progression at multiple genetic levels. Many works, however, are limited because of the high dimensionality and heterogeneity of multi-omics data. In this paper, we propose a novel method to integrate multi-omics data for cancer survival prediction, called Stacked AutoEncoder-based Survival Prediction Neural Network (SAEsurv-net). In the cancer survival prediction for TCGA cases, SAEsurv-net addresses the curse of dimensionality with a two-stage dimensionality reduction strategy and handles multi-omics heterogeneity with a stacked autoencoder model. The two-stage dimensionality reduction strategy achieves a balance between computation complexity and information exploiting. The stacked autoencoder model removes most heterogeneities such as data's type and size in the first group of autoencoders, and integrates multiple omics data in the second autoencoder. The experiments show that SAEsurv-net outperforms models based on a single type of data as well as other state-of-the-art methods.


title: Spin-structures on real Bott manifolds with K\"{a}hler structure

abstract: Let $M$ be a real Bott manifold with K\"{a}hler structure. Using Ishida characterization \cite{I11} we give necessary and sufficient condition for the existence of the spin-structure on $M$. In proof we use the technic developed in \cite{PS16} and characteristic classes.


title: SDFEst: Categorical Pose and Shape Estimation of Objects from RGB-D using Signed Distance Fields

abstract: Rich geometric understanding of the world is an important component of many robotic applications such as planning and manipulation. In this paper, we present a modular pipeline for pose and shape estimation of objects from RGB-D images given their category. The core of our method is a generative shape model, which we integrate with a novel initialization network and a differentiable renderer to enable 6D pose and shape estimation from a single or multiple views. We investigate the use of discretized signed distance fields as an efficient shape representation for fast analysis-by-synthesis optimization. Our modular framework enables multi-view optimization and extensibility. We demonstrate the benefits of our approach over state-of-the-art methods in several experiments on both synthetic and real data. We open-source our approach at https://github.com/roym899/sdfest.


title: Simple and complex spiking neurons: perspectives and analysis in a simple STDP scenario

abstract: Spiking neural networks (SNNs) are largely inspired by biology and neuroscience and leverage ideas and theories to create fast and efficient learning systems. Spiking neuron models are adopted as core processing units in neuromorphic systems because they enable event-based processing. The integrate-and-fire (I&F) models are often adopted, with the simple Leaky I&F (LIF) being the most used. The reason for adopting such models is their efficiency and/or biological plausibility. Nevertheless, rigorous justification for adopting LIF over other neuron models for use in artificial learning systems has not yet been studied. This work considers various neuron models in the literature and then selects computational neuron models that are single-variable, efficient, and display different types of complexities. From this selection, we make a comparative study of three simple I&F neuron models, namely the LIF, the Quadratic I&F (QIF) and the Exponential I&F (EIF), to understand whether the use of more complex models increases the performance of the system and whether the choice of a neuron model can be directed by the task to be completed. Neuron models are tested within an SNN trained with Spike-Timing Dependent Plasticity (STDP) on a classification task on the N-MNIST and DVS Gestures datasets. Experimental results reveal that more complex neurons manifest the same ability as simpler ones to achieve high levels of accuracy on a simple dataset (N-MNIST), albeit requiring comparably more hyper-parameter tuning. However, when the data possess richer Spatio-temporal features, the QIF and EIF neuron models steadily achieve better results. This suggests that accurately selecting the model based on the richness of the feature spectrum of the data could improve the whole system's performance. Finally, the code implementing the spiking neurons in the SpykeTorch framework is made publicly available.


title: Variations on two-parameter families of forecasting functions: seasonal/nonseasonal Models, comparison to the exponential smoothing and ARIMA models, and applications to stock market data

abstract: We introduce twenty four two-parameter families of advanced time series forecasting functions using a new and nonparametric approach. We also introduce the concept of powering and derive nonseasonal and seasonal models with examples in education, sales, finance and economy. We compare the performance of our twenty four models to both Holt--Winters and ARIMA models for both nonseasonal and seasonal times series. We show in particular that our models not only do not require a decomposition of a seasonal time series into trend, seasonal and random components, but leads also to substantially lower sum of absolute error and a higher number of closer forecasts than both Holt--Winters and ARIMA models. Finally, we apply and compare the performance of our twenty four models using five-year stock market data of 467 companies of the S&P500.


title: A First Search for Solar $^8$B Neutrino in the PandaX-4T Experiment using Neutrino-Nucleus Coherent Scattering

abstract: A search for interactions from solar $^8$B neutrinos elastically scattering off xenon nuclei using PandaX-4T commissioning data is reported. The energy threshold of this search is further lowered compared with the previous search for dark matter, with various techniques utilized to suppress the background that emerges from data with the lowered threshold. A blind analysis is performed on the data with an effective exposure of 0.48 tonne$\cdot$year, and no significant excess of events is observed. Among results obtained using the neutrino-nucleus coherent scattering, our results give the best constraint on the solar $^8$B neutrino flux. We further provide a more stringent limit on the cross section between dark matter and nucleon in the mass range from 3 to 9 GeV/c$^2$.


title: Proposal and Verification of Novel Machine Learning on Classification Problems

abstract: This paper aims at proposing a new machine learning for classification problems. The classification problem has a wide range of applications, and there are many approaches such as decision trees, neural networks, and Bayesian nets. In this paper, we focus on the action of neurons in the brain, especially the EPSP/IPSP cancellation between excitatory and inhibitory synapses, and propose a Machine Learning that does not belong to any conventional method. The feature is to consider one neuron and give it a multivariable Xj (j = 1, 2,.) and its function value F(Xj) as data to the input layer. The multivariable input layer and processing neuron are linked by two lines to each variable node. One line is called an EPSP edge, and the other is called an IPSP edge, and a parameter {\Delta}j common to each edge is introduced. The processing neuron is divided back and forth into two parts, and at the front side, a pulse having a width 2{\Delta}j and a height 1 is defined around an input X . The latter half of the processing neuron defines a pulse having a width 2{\Delta}j centered on the input Xj and a height F(Xj) based on a value obtained from the input layer of F(Xj). This information is defined as belonging to group i. In other words, the group i has a width of 2{\Delta}j centered on the input Xj, is defined in a region of height F(Xj), and all outputs of xi within the variable range are F(Xi). This group is learned and stored by a few minutes of the Teaching signals, and the output of the TEST signals is predicted by which group the TEST signals belongs to. The parameter {\Delta}j is optimized so that the accuracy of the prediction is maximized. The proposed method was applied to the flower species classification problem of Iris, the rank classification problem of used cars, and the ring classification problem of abalone, and the calculation was compared with the neural networks.


title: Global Cellular Automata GCA -- A Massively Parallel Computing Model

abstract: The Global Cellular Automata (GCA) Model is a generalization of the Cellular Automata (CA) Model. The GCA model consists of a collection of cells which change their states depending on the states of their neighbors, like in the classical CA model. In generalization of the CA model, the neighbors are no longer fixed and local, they are variable and global. In the basic GCA model, a cell is structured into a data part and a pointer part. The pointer part consists of several pointers that hold addresses to global neighbors. The data rule defines the new data state, and the pointer rule define the new pointer states. The cell's state is synchronously or asynchronously updated using the new data and new pointer states. Thereby the global neighbors can be changed from generation to generation. Similar to the CA model, only the own cell's state is modified. Thereby write conflicts cannot occur, all cells can work in parallel which makes it a massively parallel model. The GCA model is related to the CROW (concurrent read owners write) model, a specific PRAM (parallel random access machine) model. Therefore many of the well-studied PRAM algorithms can be transformed into GCA algorithms. Moreover, the GCA model allows to describe a large number of data parallel applications in a suitable way. The GCA model can easily be implemented in software, efficiently interpreted on standard parallel architectures, and synthesized / configured into special hardware target architectures. This article reviews the model, applications, and hardware architectures.


title: Bio-inspired Machine Learning: programmed death and replication

abstract: We analyze algorithmic and computational aspects of biological phenomena, such as replication and programmed death, in the context of machine learning. We use two different measures of neuron efficiency to develop machine learning algorithms for adding neurons to the system (i.e. replication algorithm) and removing neurons from the system (i.e. programmed death algorithm). We argue that the programmed death algorithm can be used for compression of neural networks and the replication algorithm can be used for improving performance of the already trained neural networks. We also show that a combined algorithm of programmed death and replication can improve the learning efficiency of arbitrary machine learning systems. The computational advantages of the bio-inspired algorithms are demonstrated by training feedforward neural networks on the MNIST dataset of handwritten images.


title: A note on VIX for postprocessing quantitative strategies

abstract: In this note, we introduce how to use Volatility Index (VIX) for postprocessing quantitative strategies so as to increase the Sharpe ratio and reduce trading risks. The signal from this procedure is an indicator of trading or not on a daily basis. Finally, we analyze this procedure on SH510300 and SH510050 assets. The strategies are evaluated by measurements of Sharpe ratio, max drawdown, and Calmar ratio. However, there is always a risk of loss in trading. The results from the tests are just examples of how the method works; no claim is made on the suggestion of real market positions.


title: Non-Convex Bilevel Games with Critical Point Selection Maps

abstract: Bilevel optimization problems involve two nested objectives, where an upper-level objective depends on a solution to a lower-level problem. When the latter is non-convex, multiple critical points may be present, leading to an ambiguous definition of the problem. In this paper, we introduce a key ingredient for resolving this ambiguity through the concept of a selection map which allows one to choose a particular solution to the lower-level problem. Using such maps, we define a class of hierarchical games between two agents that resolve the ambiguity in bilevel problems. This new class of games requires introducing new analytical tools in Morse theory to extend implicit differentiation, a technique used in bilevel optimization resulting from the implicit function theorem. In particular, we establish the validity of such a method even when the latter theorem is inapplicable due to degenerate critical points. Finally, we show that algorithms for solving bilevel problems based on unrolled optimization solve these games up to approximation errors due to finite computational power. A simple correction to these algorithms is then proposed for removing these errors.


title: Linear Leaky-Integrate-and-Fire Neuron Model Based Spiking Neural Networks and Its Mapping Relationship to Deep Neural Networks

abstract: Spiking neural networks (SNNs) are brain-inspired machine learning algorithms with merits such as biological plausibility and unsupervised learning capability. Previous works have shown that converting Artificial Neural Networks (ANNs) into SNNs is a practical and efficient approach for implementing an SNN. However, the basic principle and theoretical groundwork are lacking for training a non-accuracy-loss SNN. This paper establishes a precise mathematical mapping between the biological parameters of the Linear Leaky-Integrate-and-Fire model (LIF)/SNNs and the parameters of ReLU-AN/Deep Neural Networks (DNNs). Such mapping relationship is analytically proven under certain conditions and demonstrated by simulation and real data experiments. It can serve as the theoretical basis for the potential combination of the respective merits of the two categories of neural networks.


title: The Mean Dimension of Neural Networks -- What causes the interaction effects?

abstract: Owen and Hoyt recently showed that the effective dimension offers key structural information about the input-output mapping underlying an artificial neural network. Along this line of research, this work proposes an estimation procedure that allows the calculation of the mean dimension from a given dataset, without resampling from external distributions. The design yields total indices when features are independent and a variant of total indices when features are correlated. We show that this variant possesses the zero independence property. With synthetic datasets, we analyse how the mean dimension evolves layer by layer and how the activation function impacts the magnitude of interactions. We then use the mean dimension to study some of the most widely employed convolutional architectures for image recognition (LeNet, ResNet, DenseNet). To account for pixel correlations, we propose calculating the mean dimension after the addition of an inverse PCA layer that allows one to work on uncorrelated PCA-transformed features, without the need to retrain the neural network. We use the generalized total indices to produce heatmaps for post-hoc explanations, and we employ the mean dimension on the PCA-transformed features for cross comparisons of the artificial neural networks structures. Results provide several insights on the difference in magnitude of interactions across the architectures, as well as indications on how the mean dimension evolves during training.


title: Minimoon still on the loose

abstract: On Aug 22, 2016, a bright fireball was observed by the Desert Fireball Network in South Australia. Its pre-atmosphere orbit suggests it was temporarily captured by the Earth-Moon system before impact. A search was conducted two years after the fall, and a meteorite was found after 6 days of searching. The meteorite appeared relatively fresh, had a mass consistent with fireball observation predictions, and was at the predicted location within uncertainties. However, the meteorite did show some weathering and lacked short-lived radionuclides ($^{58}$Co, $^{54}$Mn). A terrestrial age based on cosmogenic $^{14}$C dating was determined; the meteorite has been on the Earth's surface for $3.2\pm1.3$ kyr, ruling out it being connected to the 2016 fireball. Using an upper limit on the pleistieocene terrain age and the total searched area, we find that the contamination probability from another fall is $<2\%$. Thus, the retrieval of the "wrong" meteorite is at odds with the contamination statistics. This is a key example to show that fireball-meteorite pairings should be carefully verified.


title: Adversarial Style Augmentation for Domain Generalized Urban-Scene Segmentation

abstract: In this paper, we consider the problem of domain generalization in semantic segmentation, which aims to learn a robust model using only labeled synthetic (source) data. The model is expected to perform well on unseen real (target) domains. Our study finds that the image style variation can largely influence the model's performance and the style features can be well represented by the channel-wise mean and standard deviation of images. Inspired by this, we propose a novel adversarial style augmentation (AdvStyle) approach, which can dynamically generate hard stylized images during training and thus can effectively prevent the model from overfitting on the source domain. Specifically, AdvStyle regards the style feature as a learnable parameter and updates it by adversarial training. The learned adversarial style feature is used to construct an adversarial image for robust model training. AdvStyle is easy to implement and can be readily applied to different models. Experiments on two synthetic-to-real semantic segmentation benchmarks demonstrate that AdvStyle can significantly improve the model performance on unseen real domains and show that we can achieve the state of the art. Moreover, AdvStyle can be employed to domain generalized image classification and produces a clear improvement on the considered datasets.


title: Improved understanding of the peaking phenomenon existing in the new di-$J/\psi$ invariant mass spectrum from the CMS Collaboration

abstract: Very recently, the CMS Collaboration reported a peaking phenomenon existing in the di-$J/\psi$ invariant mass spectrum from $pp$ collision, by which the $X(6900)$ structure announced by the LHCb Collaboration was confirmed, but also more enhancement structures were discovered. Facing such a novel phenomenon, in this work we indicate that these new features reflected from the CMS measurement provide a good implication for a dynamical mechanism which reproduces the novel peaking phenomenon in the reported $J/\psi$-pair mass spectrum well. This mechanism is due to special reactions, where different charmonium pairs directly produced by $pp$ collision may transit into the final state of $J/\psi J/\psi$. The present work provides a special viewpoint to decode these observed fully charm structures in the $J/\psi$-pair invariant mass spectrum.


title: New Quantum Invariants of Planar Knotoids

abstract: In this paper we discuss the applications of knotoids to modelling knots in open curves and produce new knotoid invariants. We show how invariants of knotoids generally give rise to well-behaved measures of how much an open curve is knotted. We define biframed planar knotoids, and construct new invariants of these objects that can be computed in polynomial time. As an application of these invariants we improve the classification of planar knotoids with up to five crossings by distinguishing several pairs of prime knotoids that were conjectured to be distinct by Goundaroulis et al.


title: Bottlenecks CLUB: Unifying Information-Theoretic Trade-offs Among Complexity, Leakage, and Utility

abstract: Bottleneck problems are an important class of optimization problems that have recently gained increasing attention in the domain of machine learning and information theory. They are widely used in generative models, fair machine learning algorithms, design of privacy-assuring mechanisms, and appear as information-theoretic performance bounds in various multi-user communication problems. In this work, we propose a general family of optimization problems, termed as complexity-leakage-utility bottleneck (CLUB) model, which (i) provides a unified theoretical framework that generalizes most of the state-of-the-art literature for the information-theoretic privacy models, (ii) establishes a new interpretation of the popular generative and discriminative models, (iii) constructs new insights to the generative compression models, and (iv) can be used in the fair generative models. We first formulate the CLUB model as a complexity-constrained privacy-utility optimization problem. We then connect it with the closely related bottleneck problems, namely information bottleneck (IB), privacy funnel (PF), deterministic IB (DIB), conditional entropy bottleneck (CEB), and conditional PF (CPF). We show that the CLUB model generalizes all these problems as well as most other information-theoretic privacy models. Then, we construct the deep variational CLUB (DVCLUB) models by employing neural networks to parameterize variational approximations of the associated information quantities. Building upon these information quantities, we present unified objectives of the supervised and unsupervised DVCLUB models. Leveraging the DVCLUB model in an unsupervised setup, we then connect it with state-of-the-art generative models, such as variational auto-encoders (VAEs), generative adversarial networks (GANs), as well as the Wasserstein GAN (WGAN), Wasserstein auto-encoder (WAE), and adversarial auto-encoder (AAE) models through the optimal transport (OT) problem. We then show that the DVCLUB model can also be used in fair representation learning problems, where the goal is to mitigate the undesired bias during the training phase of a machine learning model. We conduct extensive quantitative experiments on colored-MNIST and CelebA datasets, with a public implementation available, to evaluate and analyze the CLUB model.

categories: cs.LG cs.CR cs.IT math.IT math.ST stat.TH


title: Solving Bilevel AC OPF Problems by Smoothing the Complementary Conditions -- Part I: Model Description and the Algorithm

abstract: The existing research on market price-affecting agents, i.e. price makers, neglects or simplifies the nature of AC power flows in the power system as it predominantly relies on DC power flows. This paper proposes a novel bilevel formulation based on the smoothing technique, where any price-affecting strategic player can be modelled in the upper level, while the market clearing problem in the lower level uses convex quadratic transmission AC optimal power flow (AC OPF), with the goal of achieving accuracy close to the one of the exact nonlinear formulations. Achieving convexity in the lower level is the foundation for bilevel modeling since traditional single-level reduction techniques do not hold for nonconvex models. The bilevel market participation problem with the AC OPF formulation in the lower level is transformed into a single-level problem and solved using multiple techniques such as the primal-dual counterpart, the strong duality theorem, the McCormick envelopes, the complementary slackness, the penalty factor, the interaction discretization as well as the proposed smoothing techniques. Due to an extensive amount of information and descriptions, the overall work is presented as a two-part paper. This first part provides a literature overview, positions the work and presents the model and the solution algorithm, while the solution techniques and case studies are provided in the accompanying paper.


title: Bounds and convex heuristics for bi-objective optimal experiment design in water networks

abstract: Optimal Experiment Design for parameter estimation in water networks has been traditionally formulated to maximize either hydraulic model accuracy or spatial coverage. Because a unique sensor configuration that optimizes both objectives may not exist, these approaches inevitably result in sub-optimal configurations with respect to one of the objectives. This paper presents a new bi-objective optimization problem formulation to investigate the trade-offs between these conflicting objectives. We develop a convex heuristic to approximate the Pareto front, and compute guaranteed bounds to discard portions of the criterion space that do not contain non-dominated solutions. Our method relies on a Chebyshev scalarization scheme and convex optimization. We implement the proposed methods for optimal experiment design in an operational water network from the UK. For this case study, the convex heuristic computes near-optimal solutions for the individual objective minimization problems, and tight bounds on the true Pareto front of the considered bi-objective optimization problem.


title: Bound State Formation in Time Dependent Potentials

abstract: We study the temporal formation of quantum mechanical bound states within a one-dimensional attractive square-well potential, by first solving the time-independent Schroedinger equation and then study a time dependent system with an external time-dependent potential. For this we introduce Gaussian potentials with different spatial and temporal extensions, and generalize this description also for subsequent pulses and for random, noisy potentials. Our main goal is to study the time scales, in which the bound state is populated and depopulated. Particularly we clarify a likely connection between the uncertainty relation for energy and time and the transition time between different energy eigenstates. We demonstrate, that the formation of states is not delayed due to the uncertainty relation but follows the pulse shape of the perturbation. In addition we investigate the (non-)applicability of first-order perturbation theory on the considered quantum system.


title: Reinforcement Learning of CPG-regulated Locomotion Controller for a Soft Snake Robot

abstract: Intelligent control of soft robots is challenging due to the nonlinear and difficult-to-model dynamics. One promising model-free approach for soft robot control is reinforcement learning (RL). However, model-free RL methods tend to be computationally expensive and data-inefficient and may not yield natural and smooth locomotion patterns for soft robots. In this work, we develop a bio-inspired design of a learning-based goal-tracking controller for a soft snake robot. The controller is composed of two modules: An RL module for learning goal-tracking behaviors given the unmodeled and stochastic dynamics of the robot, and a central pattern generator (CPG) with the Matsuoka oscillators for generating stable and diverse locomotion patterns. We theoretically investigate the maneuverability of Matsuoka CPG's oscillation bias, frequency, and amplitude for steering control, velocity control, and sim-to-real adaptation of the soft snake robot. Based on this analysis, we proposed a composition of RL and CPG modules such that the RL module regulates the tonic inputs to the CPG system given state feedback from the robot, and the output of the CPG module is then transformed into pressure inputs to pneumatic actuators of the soft snake robot. This design allows the RL agent to naturally learn to entrain the desired locomotion patterns determined by the CPG maneuverability. We validated the optimality and robustness of the control design in both simulation and real experiments, and performed extensive comparisons with state-of-art RL methods to demonstrate the benefit of our bio-inspired control design.


title: UM4: Unified Multilingual Multiple Teacher-Student Model for Zero-Resource Neural Machine Translation

abstract: Most translation tasks among languages belong to the zero-resource translation problem where parallel corpora are unavailable. Multilingual neural machine translation (MNMT) enables one-pass translation using shared semantic space for all languages compared to the two-pass pivot translation but often underperforms the pivot-based method. In this paper, we propose a novel method, named as Unified Multilingual Multiple teacher-student Model for NMT (UM4). Our method unifies source-teacher, target-teacher, and pivot-teacher models to guide the student model for the zero-resource translation. The source teacher and target teacher force the student to learn the direct source to target translation by the distilled knowledge on both source and target sides. The monolingual corpus is further leveraged by the pivot-teacher model to enhance the student model. Experimental results demonstrate that our model of 72 directions significantly outperforms previous methods on the WMT benchmark.


title: Exploring Length Generalization in Large Language Models

abstract: The ability to extrapolate from short problem instances to longer ones is an important form of out-of-distribution generalization in reasoning tasks, and is crucial when learning from datasets where longer problem instances are rare. These include theorem proving, solving quantitative mathematics problems, and reading/summarizing novels. In this paper, we run careful empirical studies exploring the length generalization capabilities of transformer-based language models. We first establish that naively finetuning transformers on length generalization tasks shows significant generalization deficiencies independent of model scale. We then show that combining pretrained large language models' in-context learning abilities with scratchpad prompting (asking the model to output solution steps before producing an answer) results in a dramatic improvement in length generalization. We run careful failure analyses on each of the learning modalities and identify common sources of mistakes that highlight opportunities in equipping language models with the ability to generalize to longer problems.


title: A lightcone catalogue from the Millennium-XXL simulation: improved spatial interpolation and colour distributions for the DESI BGS

abstract: The use of realistic mock galaxy catalogues is essential in the preparation of large galaxy surveys, in order to test and validate theoretical models and to assess systematics. We present an updated version of the mock catalogue constructed from the Millennium-XXL simulation, which uses a halo occupation distribution (HOD) method to assign galaxies r-band magnitudes and g-r colours. We have made several modifications to the mock to improve the agreement with measurements from the SDSS and GAMA surveys. We find that cubic interpolation, which was used to build the original halo lightcone, produces extreme velocities between snapshots. Using linear interpolation improves the correlation function quadrupole measurements on small scales. We also update the g-r colour distributions so that the observed colours better agree with measurements from GAMA data, particularly for faint galaxies. As an example of the science that can be done with the mock, we investigate how the luminosity function depends on environment and colour, and find good agreement with measurements from the GAMA survey. This full-sky mock catalogue is designed for the ongoing Dark Energy Spectroscopic Instrument (DESI) Bright Galaxy Survey (BGS), and is complete to a magnitude limit r=20.2.


title: B-mode constraints from Planck low multipole polarisation data

abstract: We present constraints on primordial B modes from large angular scale cosmic microwave background polarisation anisotropies measured with the Planck satellite. To remove Galactic polarised foregrounds, we use a Bayesian parametric component separation method, modelling synchrotron radiation as a power law and thermal dust emission as a modified blackbody. This method propagates uncertainties from the foreground cleaning into the noise covariance matrices of the maps. We construct two likelihoods: (i) a semi-analytical cross-spectrum-based likelihood-approximation scheme (momento) and (ii) an exact polarisation-only pixel-based likelihood (pixlike). Since momento is based on cross-spectra it is statistically less powerful than pixlike, but is less sensitive to systematic errors correlated across frequencies. Both likelihoods give a tensor-to-scalar ratio, r, that is consistent with zero from low multipole (2 <= ell < 30) Planck polarisation data. From full-mission maps we obtain r_0.05<0.274, at 95 per cent confidence, at a pivot scale of k = 0.05 Mpc^-1, using pixlike. momento gives a qualitatively similar but weaker 95 per cent confidence limit of r_0.05<0.408.


title: Going the Extra Mile in Face Image Quality Assessment: A Novel Database and Model

abstract: An accurate computational model for image quality assessment (IQA) benefits many vision applications, such as image filtering, image processing, and image generation. Although the study of face images is an important subfield in computer vision research, the lack of face IQA data and models limits the precision of current IQA metrics on face image processing tasks such as face superresolution, face enhancement, and face editing. To narrow this gap, in this paper, we first introduce the largest annotated IQA database developed to date, which contains 20,000 human faces -- an order of magnitude larger than all existing rated datasets of faces -- of diverse individuals in highly varied circumstances. Based on the database, we further propose a novel deep learning model to accurately predict face image quality, which, for the first time, explores the use of generative priors for IQA. By taking advantage of rich statistics encoded in well pretrained off-the-shelf generative models, we obtain generative prior information and use it as latent references to facilitate blind IQA. The experimental results demonstrate both the value of the proposed dataset for face IQA and the superior performance of the proposed model.


title: Soft coring: how to get a clarinet out of a flute?

abstract: Cutting mozzarella with a dull blade results in poorly shaped slices: the process occurs in a configuration so deformed as to yield unexpectedly curved surfaces. We study the rich morphogenetics arising from such process through the example of coring: when a thin cylindrical hollow punch is pushed into a soft elastomer, the extracted core is "clarinet-shaped", reaching diameters far smaller than those of the tool. With contributions from fracture mechanics and large strain theory, we build a simple yet quantitative understanding of the observed shapes, revealing the crucial role of friction.