title: Convolutional Neural Networks on Manifolds: From Graphs and Back

abstract: Geometric deep learning has gained much attention in recent years due to more available data acquired from non-Euclidean domains. Some examples include point clouds for 3D models and wireless sensor networks in communications. Graphs are common models to connect these discrete data points and capture the underlying geometric structure. With the large amount of these geometric data, graphs with arbitrarily large size tend to converge to a limit model -- the manifold. Deep neural network architectures have been proved as a powerful technique to solve problems based on these data residing on the manifold. In this paper, we propose a manifold neural network (MNN) composed of a bank of manifold convolutional filters and point-wise nonlinearities. We define a manifold convolution operation which is consistent with the discrete graph convolution by discretizing in both space and time domains. To sum up, we focus on the manifold model as the limit of large graphs and construct MNNs, while we can still bring back graph neural networks by the discretization of MNNs. We carry out experiments based on point-cloud dataset to showcase the performance of our proposed MNNs.


title: CHARTOPOLIS: A Small-Scale Labor-art-ory for Research and Reflection on Autonomous Vehicles, Human-Robot Interaction, and Sociotechnical Imaginaries

abstract: CHARTOPOLIS is a multi-faceted sociotechnical testbed meant to aid in building connections among engineers, psychologists, anthropologists, ethicists, and artists. Superficially, it is an urban autonomous-vehicle testbed that includes both a physical environment for small-scale robotic vehicles as well as a high-fidelity virtual replica that provides extra flexibility by way of computer simulation. However, both environments have been developed to allow for participatory simulation with human drivers as well. Each physical vehicle can be remotely operated by human drivers that have a driver-seat point of view that immerses them within the small-scale testbed, and those same drivers can also pilot high-fidelity models of those vehicles in a virtual replica of the environment. Juxtaposing human driving performance across these two contexts will help identify to what extent human driving behaviors are sensorimotor responses or involve psychological engagement with a system that has physical, not virtual, side effects and consequences. Furthermore, through collaboration with artists, we have designed the physical testbed to make tangible the reality that technological advancement causes the history of a city to fork into multiple, parallel timelines that take place within populations whose increasing isolation effectively creates multiple independent cities in one. Ultimately, CHARTOPOLIS is meant to challenge engineers to take a more holistic view when designing autonomous systems, while also enabling them to gather novel data that will assist them in making these systems more trustworthy.


title: Optimized Decoders for Mixed-Order Ambisonics

abstract: In this paper we discuss the motivation, design, and analysis of ambisonic decoders for systems where the vertical order is less than the horizontal order, known as mixed-order Ambisonic systems. This can be due to the use of microphone arrays that emphasize horizontal spatial resolution or speaker arrays that provide sparser coverage vertically. First, we review Ambisonic reproduction criteria, as defined by Gerzon, and summarize recent results on the relative perceptual importance of the various criteria. Then we show that using full-order decoders with mixed-order program material results in poorer performance than with a properly designed mixed-order decoder. We then introduce a new implementation of a decoder optimizer that draws upon techniques from machine learning for quick and robust convergence, discuss the construction of the objective function, and apply it to the problem of designing two-band decoders for mixed-order signal sets and non-uniform loudspeaker layouts. Results of informal listening tests are summarized and future directions discussed.


title: NeRF: Neural Radiance Field in 3D Vision, A Comprehensive Review

abstract: Neural Radiance Field (NeRF) has recently become a significant development in the field of Computer Vision, allowing for implicit, neural network-based scene representation and novel view synthesis. NeRF models have found diverse applications in robotics, urban mapping, autonomous navigation, virtual reality/augmented reality, and more. Due to the growing popularity of NeRF and its expanding research area, we present a comprehensive survey of NeRF papers from the past two years. Our survey is organized into architecture and application-based taxonomies and provides an introduction to the theory of NeRF and its training via differentiable volume rendering. We also present a benchmark comparison of the performance and speed of key NeRF models. By creating this survey, we hope to introduce new researchers to NeRF, provide a helpful reference for influential works in this field, as well as motivate future research directions with our discussion section.


title: Transfer Learning for Individual Treatment Effect Estimation

abstract: This work considers the problem of transferring causal knowledge between tasks for Individual Treatment Effect (ITE) estimation. To this end, we theoretically assess the feasibility of transferring ITE knowledge and present a practical framework for efficient transfer. A lower bound is introduced on the ITE error of the target task to demonstrate that ITE knowledge transfer is challenging due to the absence of counterfactual information. Nevertheless, we establish generalization upper bounds on the counterfactual loss and ITE error of the target task, demonstrating the feasibility of ITE knowledge transfer. Subsequently, we introduce a framework with a new Causal Inference Task Affinity (CITA) measure for ITE knowledge transfer. Specifically, we use CITA to find the closest source task to the target task and utilize it for ITE knowledge transfer. Empirical studies are provided, demonstrating the efficacy of the proposed method. We observe that ITE knowledge transfer can significantly (up to 95%) reduce the amount of data required for ITE estimation.


title: Hasimoto Transformation of General Flows Expressed in the Frenet Frame

abstract: A one-dimensional space curve in $\mathbb{R}^{3}$ is a useful nonlinear medium for modeling vortex filaments and biological soft-matter capable of supporting a variety of wave motions. The Hasimoto transformation defines a mapping between the kinematic evolution of a space curve and nonlinear scalar equations evolving its intrinsic curve geometry. This mapping is quite robust and able to transform general vector fields expressed in the Frenet frame, resulting in a fully nonlinear integro-differential evolution equation, whose coefficient structure is defined by the coordinates of the flow in the Frenet frame. In this paper, we generalize the Hasimoto map to arbitrary flows defined on space curves, which we test against several existing kinematic flows. After this, we consider the time dynamics of length and bending energy to see that binormal flows are generally length preserving, and bending energy is fragile and unlikely to be conserved in the general case.


title: Some results on the Guest-Hutchinson modes and periodic mechanisms of the Kagome lattice metamaterial

abstract: Lattice materials are interesting mechanical metamaterials, and their mechanical properties are often related to the presence of mechanisms. The existence of periodic mechanisms can be indicated by the presence of Guest-Hutchinson (GH) modes, since GH modes are sometimes infinitesimal versions of periodic mechanisms. However, not every GH mode comes from a periodic mechanism. This paper focuses on: (1) clarifying the relationship between GH modes and periodic mechanisms; and (2) answering the question: which GH modes come from periodic mechanisms? We focus primarily on a special lattice system, the Kagome lattice. Our results include explicit formulas for all two-periodic mechanisms of the Kagome lattice, and a necessary condition for a GH mode to come from a periodic mechanism in general. We apply our necessary condition to the two-periodic GH modes, and also to some special GH modes found by Fleck and Hutchinson using Bloch-type boundary conditions on the unit cell of the Kagome lattice.


title: On minimally tough chordal graphs

abstract: Katona and Varga showed that for any rational number $t \in (1/2,1]$, no chordal graph is minimally $t$-tough. We conjecture that no chordal graph is minimally $t$-tough for $t>1/2$ and prove several results supporting the conjecture. In particular, we show that for $t>1/2$, no strongly chordal graph is minimally $t$-tough, no split graph is minimally $t$-tough, and no chordal graph with a universal vertex is minimally $t$-tough.


title: Using matrix sparsification to solve tropical linear vector equations

abstract: A linear vector equation in two unknown vectors is examined in the framework of tropical algebra dealing with the theory and applications of semirings and semifields with idempotent addition. We consider a two-sided equation where each side is a tropical product of a given matrix by one of the unknown vectors. We use a matrix sparsification technique to reduce the equation to a set of vector inequalities that involve row-monomial matrices obtained from the given matrices. An existence condition of solutions for the inequalities is established, and a direct representation of the solutions is derived in a compact vector form. To illustrate the proposed approach and to compare the obtained result with that of an existing solution procedure, we apply our solution technique to handle two-sided equations known in the literature. Finally, a computational scheme based on the approach to derive all solutions of the two-sided equation is discussed.


title: The maximal function of the Devil's staircase is absolutely continuous

abstract: We study the problem of whether the centered Hardy--Littlewood maximal function of a singular function is absolutely continuous. For a parameter $d \in (0,1)$ and a closed set $E\subset [0,1]$, let $\mu$ be a $d$-Ahlfors regular measure associated with $E$. We prove that for the cumulative distribution function $f(x)=\mu([0,x])$ its maximal function $Mf$ is absolutely continuous. We then adapt our method to the multiparameter case and show that the same is true in the positive cone defined by these functions, i.e., for functions of the form $f(x)=\sum_{i=1}^{n}\mu_i([0,x])$ where $\{\mu_i\}_{i=1}^{n}$ is any collection of $d_i$-Ahlfors regular measures, $d_i \in (0,1)$, associated with closed sets $E_i\subset [0,1]$. This provides the first improvement of regularity for the classical centered maximal operator, and can be seen as a partial analogue of the result of Aldaz and P\'erez L\'azaro about the uncentered maximal operator.


title: Fourier Transform Noise Spectroscopy

abstract: Spectral characterization of noise environments that lead to the decoherence of qubits is critical to developing robust quantum technologies. While dynamical decoupling offers one of the most successful approaches to characterize noise spectra, it necessitates applying large sequences of $\pi$ pulses that increase the complexity and cost of the method. Here, we introduce a noise spectroscopy method that utilizes only the Fourier transform of free induction decay or spin echo measurements, thus removing the need for the application many $\pi$ pulses. We show that our method faithfully recovers the correct noise spectra for a variety of different environments (including $1/f$-type noise) and outperforms previous dynamical decoupling schemes while significantly reducing their experimental overhead. We also discuss the experimental feasibility of our proposal and demonstrate its robustness in the presence of statistical measurement error. Our method is applicable to a wide range of quantum platforms and provides a simpler path toward a more accurate spectral characterization of quantum devices, thus offering possibilities for tailored decoherence mitigation.


title: Convergence of Fourier truncations for compact quantum groups and finitely generated groups

abstract: We generalize the Fej\'er-Riesz operator systems defined for the circle group by Connes and van Suijlekom to the setting of compact matrix quantum groups and their ergodic actions on C*-algebras. These truncations form filtrations of the containing C*-algebra. We show that when they and the containing C*-algebra are equipped with suitable quantum metrics, then under suitable conditions they converge to the containing C*-algebra for quantum Gromov-Hausdorff distance. Among other examples, our results are applicable to the quantum groups $SU_q(2)$ and their homogeneous spaces $S^2_q$.


title: A homological nerve theorem for open covers

abstract: In this note we show that a particular homological nerve theorem, which was originally proved for a finite cover of a simplicial complex by subcomplexes, also holds for an open cover of an arbitrary topological space. The motivation for this is to affirmatively answer a question about the homology groups of Vietoris metric thickenings.


title: Triangle Counting Through Cover-Edges

abstract: Counting and finding triangles in graphs is often used in real-world analytics to characterize cohesiveness and identify communities in graphs. In this paper, we propose the novel concept of a cover-edge set that can be used to find triangles more efficiently. We use a breadth-first search (BFS) to quickly generate a compact cover-edge set. Novel sequential and parallel triangle counting algorithms are presented that employ cover-edge sets. The sequential algorithm avoids unnecessary triangle-checking operations, and the parallel algorithm is communication-efficient. The parallel algorithm can asymptotically reduce communication on massive graphs such as from real social networks and synthetic graphs from the Graph500 Benchmark. In our estimate from massive-scale Graph500 graphs, our new parallel algorithm can reduce the communication on a scale 36 graph by 1156x and on a scale 42 graph by 2368x.


title: An adaptive superconvergent finite element method based on local residual minimization

abstract: We introduce an adaptive superconvergent finite element method for a class of mixed formulations to solve partial differential equations involving a diffusion term. It combines a superconvergent postprocessing technique for the primal variable with an adaptive finite element method via residual minimization. Such a residual minimization procedure is performed on a local postprocessing scheme, commonly used in the context of mixed finite element methods. Given the local nature of that approach, the underlying saddle point problems associated with residual minimizations can be solved with minimal computational effort. We propose and study a posteriori error estimators, including the built-in residual representative associated with residual minimization schemes; and an improved estimator which adds, on the one hand, a residual term quantifying the mismatch between discrete fluxes and, on the other hand, the interelement jumps of the postprocessed solution. We present numerical experiments in two dimensions using Brezzi-Douglas-Marini elements as input for our methodology. The experiments perfectly fit our key theoretical findings and suggest that our estimates are sharp.


title: Online Revenue Maximization with Unknown Concave Utilities

abstract: We study an online revenue maximization problem where the consumers arrive i.i.d from some unknown distribution and purchase a bundle of products from the sellers. The classical approach generally assumes complete knowledge of the consumer utility functions, while recent works have been devoted to unknown linear utility functions. This paper focuses on the online posted-price model with unknown consumer distribution and unknown consumer utilities, given they are concave. Hence, the two questions to ask are i) when is the seller's online maximization problem concave, and ii) how to find the optimal pricing strategy for non-linear utilities. We answer the first question by imposing a third-order smoothness condition on the utilities. The second question is addressed by two algorithms, which we prove to exhibit the sub-linear regrets of $O(T^{\frac{2}{3}} (\log T)^{\frac{1}{3}})$ and $O(T^{\frac{1}{2}} (\log T)^{\frac{1}{2}})$ respectively.


title: Physical Computing: A Category Theoretic Perspective on Physical Computation and System Compositionality

abstract: This paper introduces a category theory-based framework to redefine physical computing in light of advancements in quantum computing and non-standard computing systems. By integrating classical definitions within this broader perspective, the paper rigorously recontextualizes what constitutes physical computing devices and processes. It demonstrates how the compositional nature and relational structures of physical computing systems can be coherently formalized using category theory. This approach not only encapsulates recent formalisms in physical computing but also offers a structured method to explore the dynamic interactions within these systems.

categories: quant-ph cs.AI cs.CL physics.comp-ph q-bio.OT


title: (Non)-Coherent MU-MIMO Block Fading Channels with Finite Blocklength and Linear Processing

abstract: This paper studies the coherent and non-coherent multiuser multiple-input multiple-output (MU-MIMO) uplink system in the finite blocklength regime. The i.i.d. Gaussian codebook is assumed for each user. To be more specific, the BS first uses two popular linear processing schemes to combine the signals transmitted from all users, namely, MRC and ZF. Following it, the matched maximum-likelihood (ML) and mismatched nearest-neighbour (NN) decoding metric for the coherent and non-coherent cases are respectively employed at the BS. Under these conditions, the refined third-order achievable coding rate, expressed as a function of the blocklength, average error probability, and the third-order term of the information density (called as the channel perturbation), is derived. With this result in hand, a detailed performance analysis is then pursued, through which, we derive the asymptotic results of the channel perturbation, achievable coding rate, channel capacity, and the channel dispersion. These theoretical results enable us to obtain a number of interesting insights related to the impact of the finite blocklength: i) in our system setting, massive MIMO helps to reduce the channel perturbation of the achievable coding rate, which can even be discarded without affecting the performance with just a small-to-moderate number of BS antennas and number of blocks; ii) under the non-coherent case, even with massive MIMO, the channel estimation errors cannot be eliminated unless the transmit powers in both the channel estimation and data transmission phases for each user are made inversely proportional to the square root of the number of BS antennas; iii) in the non-coherent case and for fixed total blocklength, the scenarios with longer coherence intervals and smaller number of blocks offer higher achievable coding rate.


title: CGELBank: CGEL as a Framework for English Syntax Annotation

abstract: We introduce the syntactic formalism of the \textit{Cambridge Grammar of the English Language} (CGEL) to the world of treebanking through the CGELBank project. We discuss some issues in linguistic analysis that arose in adapting the formalism to corpus annotation, followed by quantitative and qualitative comparisons with parallel UD and PTB treebanks. We argue that CGEL provides a good tradeoff between comprehensiveness of analysis and usability for annotation, which motivates expanding the treebank with automatic conversion in the future.


title: Federated Generalized Linear Mixed Models for Collaborative Genome-wide Association Studies

abstract: As the sequencing costs are decreasing, there is great incentive to perform large scale association studies to increase power of detecting new variants. Federated association testing among different institutions is a viable solution for increasing sample sizes by sharing the intermediate testing statistics that are aggregated by a central server. There are, however, standing challenges to performing federated association testing. Association tests are known to be confounded by numerous factors such as population stratification, which can be especially important in multiancestral studies and in admixed populations among different sites. Furthermore, disease etiology should be considered via flexible models to avoid biases in the significance of the genetic effect. A rising challenge for performing large scale association studies is the privacy of participants and related ethical concerns of stigmatization and marginalization. Here, we present dMEGA, a flexible and efficient method for performing federated generalized linear mixed model based association testing among multiple sites while underlying genotype and phenotype data are not explicitly shared. dMEGA first utilizes a reference projection to estimate population-based covariates without sharing genotype dataset among sites. Next, dMEGA uses Laplacian approximation for the parameter likelihoods and decomposes parameter estimation into efficient local-gradient updates among sites. We use simulated and real datasets to demonstrate the accuracy and efficiency of dMEGA. Overall, dMEGA's formulation is flexible to integrate fixed and random effects in a federated setting.


title: Re-Routing Strategy of Connected and Automated Vehicles Considering Coordination at Intersections

abstract: In this paper, we propose a re-routing strategy for connected and automated vehicles (CAVs), considering coordination and control of all the CAVs in the network. The objective for each CAV is to find the route that minimizes the total travel time of all CAVs. We coordinate CAVs at signal-free intersections to accurately predict the travel time for the routing problem. While it is possible to find a system-optimal solution by comparing all the possible combinations of the routes, this may impose a computational burden. Thus, we instead find a person-by-person optimal solution to reduce computational time while still deriving a better solution than selfish routing. We validate our framework through simulations in a grid network.


title: Connecting XOR and XOR* games

abstract: In this work we focus on two classes of games: XOR nonlocal games and XOR* sequential games with monopartite resources. XOR games have been widely studied in the literature of nonlocal games, and we introduce XOR* games as their natural counterpart within the class of games where a resource system is subjected to a sequence of controlled operations and a final measurement. Examples of XOR* games are $2\rightarrow 1$ quantum random access codes (QRAC) and the CHSH* game introduced by Henaut et al. in [PRA 98,060302(2018)]. We prove, using the diagrammatic language of process theories, that under certain assumptions these two classes of games can be related via an explicit theorem that connects their optimal strategies, and so their classical (Bell) and quantum (Tsirelson) bounds. We also show that two of such assumptions -- the reversibility of transformations and the bi-dimensionality of the resource system in the XOR* games -- are strictly necessary for the theorem to hold by providing explicit counterexamples. We conclude with several examples of pairs of XOR/XOR* games and by discussing in detail the possible resources that power the quantum computational advantages in XOR* games.


title: Globular cluster metallicity distributions in the E-MOSAICS simulations

abstract: The metallicity distributions of globular cluster (GC) systems in galaxies are a critical test of any GC formation scenario. In this work, we investigate the predicted GC metallicity distributions of galaxies in the MOdelling Star cluster population Assembly In Cosmological Simulations within EAGLE (E-MOSAICS) simulation of a representative cosmological volume ($L = 34.4$ comoving Mpc). We find that the predicted GC metallicity distributions and median metallicities from the fiducial E-MOSAICS GC formation model agree well the observed distributions, except for galaxies with masses $M_\ast \sim 2 \times 10^{10}$ M$_\odot$, which contain an overabundance of metal-rich GCs. The predicted fraction of galaxies with bimodal GC metallicity distributions ($37 \pm 2$ per cent in total; $45 \pm 7$ per cent for $M_\ast > 10^{10.5}$ M$_\odot$) is in good agreement with observed fractions ($44^{+10}_{-9}$ per cent), as are the mean metallicities of the metal-poor and metal-rich peaks. We show that, for massive galaxies ($M_\ast > 10^{10}$ M$_\odot$), bimodal GC distributions primarily occur as a result of cluster disruption from initially-unimodal distributions, rather than as a result of cluster formation processes. Based on the distribution of field stars with GC-like abundances in the Milky Way, we suggest that the bimodal GC metallicity distribution of Milky Way GCs also occurred as a result of cluster disruption, rather than formation processes. We conclude that separate formation processes are not required to explain metal-poor and metal-rich GCs, and that GCs can be considered as the surviving analogues of young massive star clusters that are readily observed to form in the local Universe today.


title: Polynomial representations of the Witt Lie algebra

abstract: The Witt algebra W_n is the Lie algebra of all derivations of the n-variable polynomial ring V_n=C[x_1, ..., x_n] (or of algebraic vector fields on A^n). A representation of W_n is polynomial if it arises as a subquotient of a sum of tensor powers of V_n. Our main theorems assert that finitely generated polynomial representations of W_n are noetherian and have rational Hilbert series. A key intermediate result states polynomial representations of the infinite Witt algebra are equivalent to representations of Fin^op, where Fin is the category of finite sets. We also show that polynomial representations of W_n are equivalent to polynomial representations of the endomorphism monoid of A^n. These equivalences are a special case of an operadic version of Schur--Weyl duality, which we establish.


title: Systematic Generalization and Emergent Structures in Transformers Trained on Structured Tasks

abstract: Transformer networks have seen great success in natural language processing and machine vision, where task objectives such as next word prediction and image classification benefit from nuanced context sensitivity across high-dimensional inputs. However, there is an ongoing debate about how and when transformers can acquire highly structured behavior and achieve systematic generalization. Here, we explore how well a causal transformer can perform a set of algorithmic tasks, including copying, sorting, and hierarchical compositions of these operations. We demonstrate strong generalization to sequences longer than those used in training by replacing the standard positional encoding typically used in transformers with labels arbitrarily paired with items in the sequence. We search for the layer and head configuration sufficient to solve these tasks, then probe for signs of systematic processing in latent representations and attention patterns. We show that two-layer transformers learn reliable solutions to multi-level problems, develop signs of task decomposition, and encode input items in a way that encourages the exploitation of shared computation across related tasks. These results provide key insights into how attention layers support structured computation both within a task and across multiple tasks.


title: On a three-dimensional and two four-dimensional oncolytic viro-therapy models

abstract: We revisit here and carry out further works on tumor-virotherapy compartmental models of [Tian, 2011, Wang et al., 2013, Phan and Tian, 2017, Guo et al., 2019]. The results of these papers are only slightly pushed further. However, what is new is the fact that we make public our electronic notebooks, since we believe that easy electronic reproducibility is crucial in an era in which the role of the software becomes very important.


title: Virtual Domination of 3-manifolds III

abstract: We prove that for any oriented cusped hyperbolic 3-manifold $M$ and any compact oriented 3-manifold $N$ with tori boundary, there exists a finite cover $M'$ of $M$ that admits a degree-8 map $f:M'\to N$, i.e. $M$ virtually 8-dominates $N$.


title: Anatomy of Perturbed Traffic Networks during Urban Flooding

abstract: Urban flooding disrupts traffic networks, affecting the mobility and disrupting access of residents. Since flooding events are predicted to increase due to climate change, and given the criticality of traffic networks, understanding the flood-caused disruption of traffic networks is critical to improve emergency planning and city resilience. Leveraging high-resolution traffic network data from a major flood event and advanced high-order network analysis, this study reveals characteristics of the anatomy of perturbed traffic networks. First, the findings show network-wide persistent increased travel times could last for weeks after flood water has receded, even after modest flood failure. During disaster event period, modest flooding of 1.3% road segments caused 8% temporal expansion of the entire traffic network. The results also show distant trips would experience a greater percentage increase in travel time. Also, the extent of increase in travel time does not decay with distance from inundated areas, suggesting that the spatial reach of flood impacts extends beyond flooded areas. Departing from the existing literature, which primarily informs about physical vulnerability in road networks to floods, the findings of this study provide important novel understanding of floods impacts on the functioning of traffic networks in terms of travel time and traffic network geometry. The persistent travel time increase in the entire network can translate to significant social and economic impacts in terms of user costs, additional CO2 emissions, and lost productivity. Due to the importance of traffic networks functioning for the operation of cities, the results have significance implications for city managers, transportation planners, and emergency managers to deal with the impacts of urban flooding.


title: Nonlinear optical birefringence in Li2SO4-MgO-P2O5 amorphous system-influence of Cu ions

abstract: Li2SO4-MgO-P2O5 glasses doped with varied contents of CuO (from 0- 1.0 mol%) were prepared. The optical birefringence induced by a High Q-2 femtosecond pulsed laser is explored as a function of copper oxide concentration in these glasses. The magnitude of the light-induced birefringence exhibited a gradual decrease with the increase of copper oxide content. The observed behavior is discussed in terms of polymerization of the glass network, the degree of which rises with concentration of Cu+ ions occupying Td sites in the glass matrix. However, the samples containing low content of CuO are dominated by Cu2+ ions that act as modifiers and induce structural imperfections by breaking of P-O-S bonds. Accordingly, the samples mixed with lower content of CuO are more favorable for inducing higher magnitudes of the optical birefringence. This conclusion is corroborated by results of electrical conductivity, positron annihilation and ultrasonic measurements.


title: Basic Binary Convolution Unit for Binarized Image Restoration Network

abstract: Lighter and faster image restoration (IR) models are crucial for the deployment on resource-limited devices. Binary neural network (BNN), one of the most promising model compression methods, can dramatically reduce the computations and parameters of full-precision convolutional neural networks (CNN). However, there are different properties between BNN and full-precision CNN, and we can hardly use the experience of designing CNN to develop BNN. In this study, we reconsider components in binary convolution, such as residual connection, BatchNorm, activation function, and structure, for IR tasks. We conduct systematic analyses to explain each component's role in binary convolution and discuss the pitfalls. Specifically, we find that residual connection can reduce the information loss caused by binarization; BatchNorm can solve the value range gap between residual connection and binary convolution; The position of the activation function dramatically affects the performance of BNN. Based on our findings and analyses, we design a simple yet efficient basic binary convolution unit (BBCU). Furthermore, we divide IR networks into four parts and specially design variants of BBCU for each part to explore the benefit of binarizing these parts. We conduct experiments on different IR tasks, and our BBCU significantly outperforms other BNNs and lightweight models, which shows that BBCU can serve as a basic unit for binarized IR networks. All codes and models will be released.


title: An acousto-optic modulator based bi-frequency interferometer for quantum technology

abstract: We demonstrate a high performance AOM based bi-frequency interferometer, which can realize either beating or beating free interference for single photon level quantum state. Visibility and optical efficiency of the interferometer are (99.5 +- 0.2)% and (95 +- 1)%, respectively. The phase of the interferometer is actively stabilized by using dithering phase locking scheme, where the phase dithering is realized by directly driving the AOMs with specially designed electronic signal. We further demonstrate applications of the interferometer in quantum technology, including bi-frequency coherent combination, frequency tuning and optical switching. These result show the interferometer is a versatile device for multiple quantum technologies.


title: PCONet: A Convolutional Neural Network Architecture to Detect Polycystic Ovary Syndrome (PCOS) from Ovarian Ultrasound Images

abstract: Polycystic Ovary Syndrome (PCOS) is an endrocrinological dysfunction prevalent among women of reproductive age. PCOS is a combination of syndromes caused by an excess of androgens - a group of sex hormones - in women. Syndromes including acne, alopecia, hirsutism, hyperandrogenaemia, oligo-ovulation, etc. are caused by PCOS. It is also a major cause of female infertility. An estimated 15% of reproductive-aged women are affected by PCOS globally. The necessity of detecting PCOS early due to the severity of its deleterious effects cannot be overstated. In this paper, we have developed PCONet - a Convolutional Neural Network (CNN) - to detect polycistic ovary from ovarian ultrasound images. We have also fine tuned InceptionV3 - a pretrained convolutional neural network of 45 layers - by utilizing the transfer learning method to classify polcystic ovarian ultrasound images. We have compared these two models on various quantitative performance evaluation parameters and demonstrated that PCONet is the superior one among these two with an accuracy of 98.12%, whereas the fine tuned InceptionV3 showcased an accuracy of 96.56% on test images.


title: Enumeration of Random Walk Positions in $L_1$-norm ball in $\mathbb{Z}^d$

abstract: In this paper, we mainly concerned about deriving the general formula to count the possible positions of $n$ step random walk in $\mathbb{Z}^d$ with unit length in each step, which we denoted as $|P_n^{d}|$. For our results, we firstly propose a recurrence relation of the counting formula: $|P_n^{d+1}| = |P_n^d| + 2\sum_{k=0}^{n-1} |P_k^d|$. Next, we propose two methods in deriving the explicit formula of $|P_n^{d}|$ using generating functions and Faulhaber's formula. Finally, we reached our main theorem in the matrix representation of our formula.


title: Joint Multivariate and Functional Modeling for Plant Traits and Reflectances

abstract: The investigation of leaf-level traits in response to varying environmental conditions has immense importance for understanding plant ecology. Remote sensing technology enables measurement of the reflectance of plants to make inferences about underlying traits along environmental gradients. While much focus has been placed on understanding how reflectance and traits are related at the leaf-level, the challenge of modelling the dependence of this relationship along environmental gradients has limited this line of inquiry. Here, we take up the problem of jointly modeling traits and reflectance given environment. Our objective is to assess not only response to environmental regressors but also dependence between trait levels and the reflectance spectrum in the context of this regression. This leads to joint modeling of a response vector of traits with reflectance arising as a functional response over the wavelength spectrum. To conduct this investigation, we employ a dataset from a global biodiversity hotspot, the Greater Cape Floristic Region in South Africa.


title: A Comprehensive Study of Bright Fermi-GBM Short Gamma-Ray Bursts: II. Very Short Burst and Its Implications

abstract: A thermal component is suggested to be the physical composition of the ejecta of several bright gamma-ray bursts (GRBs). Such a thermal component is discovered in the time-integrated spectra of several short GRBs as well as long GRBs. In this work, we present a comprehensive analysis of ten very short GRBs detected by Fermi Gamma-Ray Burst Monitor to search for the thermal component. We found that both the resultant low-energy spectral index and the peak energy in each GRB imply a common hard spectral feature, which is in favor of the main classification of the short/hard versus long/soft dichotomy in the GRB duration. We also found moderate evidence for the detection of thermal component in eight GRBs. Although such a thermal component contributes a small proportion of the global prompt gamma-ray emission, the modified thermal-radiation mechanism could enhance the proportion significantly, such as in subphotospheric dissipation.


title: Self-Supervised Monocular Depth Estimation: Solving the Edge-Fattening Problem

abstract: Self-supervised monocular depth estimation (MDE) models universally suffer from the notorious edge-fattening issue. Triplet loss, as a widespread metric learning strategy, has largely succeeded in many computer vision applications. In this paper, we redesign the patch-based triplet loss in MDE to alleviate the ubiquitous edge-fattening issue. We show two drawbacks of the raw triplet loss in MDE and demonstrate our problem-driven redesigns. First, we present a min. operator based strategy applied to all negative samples, to prevent well-performing negatives sheltering the error of edge-fattening negatives. Second, we split the anchor-positive distance and anchor-negative distance from within the original triplet, which directly optimizes the positives without any mutual effect with the negatives. Extensive experiments show the combination of these two small redesigns can achieve unprecedented results: Our powerful and versatile triplet loss not only makes our model outperform all previous SoTA by a large margin, but also provides substantial performance boosts to a large number of existing models, while introducing no extra inference computation at all.


title: Observer-based Event-triggered Boundary Control of the One-phase Stefan Problem

abstract: This paper provides an observer-based event-triggered boundary control strategy for the one-phase Stefan problem using the position and velocity measurements of the moving interface. The infinite-dimensional backstepping approach is used to design the underlying observer and controller. For the event-triggered implementation of the continuous-time observer-based controller, a dynamic event triggering condition is proposed. The triggering condition determines the times at which the control input needs to be updated. In between events, the control input is applied in a \textit{Zero-Order-Hold} fashion. It is shown that the dwell-time between two triggering instances is uniformly bounded below excluding \textit{Zeno behavior}. Under the proposed event-triggered boundary control approach, the well-posedness of the closed-loop system along with certain model validity conditions is provided. Further, using Lyapunov approach, the global exponential convergence of the closed-loop system to the setpoint is proved. A simulation example is provided to illustrate the theoretical results.


title: Unsupervised Visual Odometry and Action Integration for PointGoal Navigation in Indoor Environment

abstract: PointGoal navigation in indoor environment is a fundamental task for personal robots to navigate to a specified point. Recent studies solved this PointGoal navigation task with near-perfect success rate in photo-realistically simulated environments, under the assumptions with noiseless actuation and most importantly, perfect localization with GPS and compass sensors. However, accurate GPS signalis difficult to be obtained in real indoor environment. To improve the PointGoal navigation accuracy without GPS signal, we use visual odometry (VO) and propose a novel action integration module (AIM) trained in unsupervised manner. Sepecifically, unsupervised VO computes the relative pose of the agent from the re-projection error of two adjacent frames, and then replaces the accurate GPS signal with the path integration. The pseudo position estimated by VO is used to train action integration which assists agent to update their internal perception of location and helps improve the success rate of navigation. The training and inference process only use RGB, depth, collision as well as self-action information. The experiments show that the proposed system achieves satisfactory results and outperforms the partially supervised learning algorithms on the popular Gibson dataset.


title: A chaotic discrete-time continuous-state Hopfield network with piecewise-affine activation functions

abstract: We construct a chaotic discrete-time continuous-state Hopfield network with piecewise-affine nonnegative activation functions and weight matrix with small positive entries. More precisely, there exists a Cantor set $C$ in the state space such that the network has sensitive dependence on initial conditions at initial states in $C$ and the network orbit of each initial state in $C$ has $C$ as its $\omega$-limit set. The approach we use is based on tools developed and employed recently in the study of the topological dynamics of piecewise-contractions. The parameters of the chaotic network are explicitly given.


title: Metric Distribution to Vector: Constructing Data Representation via Broad-Scale Discrepancies

abstract: Graph embedding provides a feasible methodology to conduct pattern classification for graph-structured data by mapping each data into the vectorial space. Various pioneering works are essentially coding method that concentrates on a vectorial representation about the inner properties of a graph in terms of the topological constitution, node attributions, link relations, etc. However, the classification for each targeted data is a qualitative issue based on understanding the overall discrepancies within the dataset scale. From the statistical point of view, these discrepancies manifest a metric distribution over the dataset scale if the distance metric is adopted to measure the pairwise similarity or dissimilarity. Therefore, we present a novel embedding strategy named $\mathbf{MetricDistribution2vec}$ to extract such distribution characteristics into the vectorial representation for each data. We demonstrate the application and effectiveness of our representation method in the supervised prediction tasks on extensive real-world structural graph datasets. The results have gained some unexpected increases compared with a surge of baselines on all the datasets, even if we take the lightweight models as classifiers. Moreover, the proposed methods also conducted experiments in Few-Shot classification scenarios, and the results still show attractive discrimination in rare training samples based inference.


title: Transport-Reaction Systems: Higher-Dimensional Domains and a Qualitative Dichotomy

abstract: We study general linear transport-reaction systems on an arbitrary dimensional hypercube with periodic boundary conditions. Transport-reaction systems are often used to model the finite speed movement and interaction of particles, bacteria or animals. We first show a weak spectral mapping theorem and demonstrate its' application. Secondly, we introduce a certain class of so-called hyperbolic instabilities, which provide a natural framework for transport-driven instabilities on one-dimensional domains: They are either Turing patterns or increasingly oscillating hyperbolic instabilities. A new algebraic condition for the existence of Turing patterns is obtained as a side-product.


title: Voice Spoofing Countermeasures: Taxonomy, State-of-the-art, experimental analysis of generalizability, open challenges, and the way forward

abstract: Malicious actors may seek to use different voice-spoofing attacks to fool ASV systems and even use them for spreading misinformation. Various countermeasures have been proposed to detect these spoofing attacks. Due to the extensive work done on spoofing detection in automated speaker verification (ASV) systems in the last 6-7 years, there is a need to classify the research and perform qualitative and quantitative comparisons on state-of-the-art countermeasures. Additionally, no existing survey paper has reviewed integrated solutions to voice spoofing evaluation and speaker verification, adversarial/antiforensics attacks on spoofing countermeasures, and ASV itself, or unified solutions to detect multiple attacks using a single model. Further, no work has been done to provide an apples-to-apples comparison of published countermeasures in order to assess their generalizability by evaluating them across corpora. In this work, we conduct a review of the literature on spoofing detection using hand-crafted features, deep learning, end-to-end, and universal spoofing countermeasure solutions to detect speech synthesis (SS), voice conversion (VC), and replay attacks. Additionally, we also review integrated solutions to voice spoofing evaluation and speaker verification, adversarial and anti-forensics attacks on voice countermeasures, and ASV. The limitations and challenges of the existing spoofing countermeasures are also presented. We report the performance of these countermeasures on several datasets and evaluate them across corpora. For the experiments, we employ the ASVspoof2019 and VSDC datasets along with GMM, SVM, CNN, and CNN-GRU classifiers. (For reproduceability of the results, the code of the test bed can be found in our GitHub Repository.


title: Subspace Learning for Feature Selection via Rank Revealing QR Factorization: Unsupervised and Hybrid Approaches with Non-negative Matrix Factorization and Evolutionary Algorithm

abstract: The selection of most informative and discriminative features from high-dimensional data has been noticed as an important topic in machine learning and data engineering. Using matrix factorization-based techniques such as nonnegative matrix factorization for feature selection has emerged as a hot topic in feature selection. The main goal of feature selection using matrix factorization is to extract a subspace which approximates the original space but in a lower dimension. In this study, rank revealing QR (RRQR) factorization, which is computationally cheaper than singular value decomposition (SVD), is leveraged in obtaining the most informative features as a novel unsupervised feature selection technique. This technique uses the permutation matrix of QR for feature selection which is a unique property to this factorization method. Moreover, QR factorization is embedded into non-negative matrix factorization (NMF) objective function as a new unsupervised feature selection method. Lastly, a hybrid feature selection algorithm is proposed by coupling RRQR, as a filter-based technique, and a Genetic algorithm as a wrapper-based technique. In this method, redundant features are removed using RRQR factorization and the most discriminative subset of features are selected using the Genetic algorithm. The proposed algorithm shows to be dependable and robust when compared against state-of-the-art feature selection algorithms in supervised, unsupervised, and semi-supervised settings. All methods are tested on seven available microarray datasets using KNN, SVM and C4.5 classifiers. In terms of evaluation metrics, the experimental results shows that the proposed method is comparable with the state-of-the-art feature selection.


title: Generic mean curvature flows with cylindrical singularities

abstract: This paper examines the dynamics of mean curvature flow as it approaches a cylindrical singularity. We reveal the mechanism for the isolatedness of cylindrical singularities in terms of the normal form of the asymptotic expansion of the rescaled mean curvature flow and formulate the notion of nondegeneracy of a cylindrical singularity. Our findings show that, generically, such a non-degenerate singularity is robust and isolated. In the presence of more complicated singularity sets such as in the example of a marriage ring, we demonstrate how to make the first-time singularity set a singleton by an arbitrarily small initial perturbation. These discoveries have implications for the level set flows' generic low regularity and the type-I nature of generic rotational MCFs. Additionally, the paper introduces the concept of a ``firecracker'' type singularity and its significance in studying the isolatedness of cylindrical singularities. The research combines techniques and concepts from geometric flows, dynamical systems, and semilinear heat equations.


title: An Improved Berry-Esseen Bound of Least Squares Estimation for Fractional Ornstein-Uhlenbeck Processes

abstract: The aim of this paper is twofold. First, it offers a novel formula to calculate the inner product of the bounded variation function in the Hilbert space $\mathcal{H}$ associated with the fractional Brownian motion with Hurst parameter $H\in (0,\frac12)$. This formula is based on a kind of decomposition of the Lebesgue-Stieljes measure of the bounded variation function and the integration by parts formula of the Lebesgue-Stieljes measure. Second, as an application of the formula, we explore that as $T\to\infty$, the asymptotic line for the square of the norm of the bivariate function $f_T(t,s)=e^{-\theta|t-s|}1_{\{0\leq s,t\leq T\}}$ in the symmetric tensor space $\mathcal{H}^{\odot 2}$ (as a function of $T$), and improve the Berry-Ess\'{e}en type upper bound for the least squares estimation of the drift coefficient of the fractional Ornstein-Uhlenbeck processes with Hurst parameter $H\in (\frac14,\frac12)$. The asymptotic analysis of the present paper is much more subtle than that of Lemma 17 in Hu, Nualart, Zhou(2019) and the improved Berry-Ess\'{e}en type upper bound is the best improvement of the result of Theorem 1.1 in Chen, Li (2021). As a by-product, a second application of the above asymptotic analysis is given, i.e., we also show the Berry-Ess\'{e}en type upper bound for the moment estimation of the drift coefficient of the fractional Ornstein-Uhlenbeck processes where the method is obvious different to that of Proposition 4.1 in Sottinen, Viitasaari(2018).


title: Order-optimal Joint Transmission and Identification in Massive Multi-User MIMO via Group Testing

abstract: The number of wireless devices which are connected to a single Wireless Local Area Network continues to grow each year. As a result, the orchestration of so many devices becomes a daunting, resource--consuming task, especially when the resources available at the single access point are limited, and it is hard to anticipate which devices will request access at any given time. On the other hand, the number of antennas on both the devices and the access point grows as well, facilitating advanced joint scheduling and coding techniques. In this paper, we leverage the large number of antennas and suggest a massive multiple-user multiple-input-multiple-output (MU-MIMO) scheme using sparse coding based on Group Testing (GT) principles. The scheme allows for a small subset of devices to transmit simultaneously, without a preceding scheduling phase or coordination, thus reducing overhead and complexity. Specifically, we show that out of a population of \(N\) devices, it is possible to jointly identify and decode \(K\) devices, unknown in advance, simultaneously and without any scheduling. The scheme utilizes minimal knowledge of channel state, uses an efficient (in both run-time and space) decoding algorithm, and requires \(O(K\log N\mathcal{M})\) antennas, where \(\mathcal{M}\) is the number of messages per device. In fact, we prove that this scheme is order--optimal in the number of users and messages. This is done by deriving sufficient conditions for a vanishing error probability (a direct result), bounding the minimal number of antennas necessary for any such scheme (a converse result), and showing that these results are asymptotically tight.


title: Stochastic optimization on matrices and a graphon McKean-Vlasov limit

abstract: We consider stochastic gradient descents on the space of large symmetric matrices of suitable functions that are invariant under permuting the rows and columns using the same permutation. We establish deterministic limits of these random curves as the dimensions of the matrices go to infinity while the entries remain bounded. Under a ``small noise'' assumption the limit is shown to be the gradient flow of functions on graphons whose existence was established in~\cite{oh2021gradient}. We also consider limits of stochastic gradient descents with added properly scaled reflected Brownian noise. The limiting curve of graphons is characterized by a family of stochastic differential equations with reflections and can be thought of as an extension of the classical McKean-Vlasov limit for interacting diffusions to the graphon setting. The proofs introduce a family of infinite-dimensional exchangeable arrays of reflected diffusions and a novel notion of propagation of chaos for large matrices of diffusions converging to such arrays in a suitable sense.


title: Improved Algorithms for Neural Active Learning

abstract: We improve the theoretical and empirical performance of neural-network(NN)-based active learning algorithms for the non-parametric streaming setting. In particular, we introduce two regret metrics by minimizing the population loss that are more suitable in active learning than the one used in state-of-the-art (SOTA) related work. Then, the proposed algorithm leverages the powerful representation of NNs for both exploitation and exploration, has the query decision-maker tailored for $k$-class classification problems with the performance guarantee, utilizes the full feedback, and updates parameters in a more practical and efficient manner. These careful designs lead to an instance-dependent regret upper bound, roughly improving by a multiplicative factor $O(\log T)$ and removing the curse of input dimensionality. Furthermore, we show that the algorithm can achieve the same performance as the Bayes-optimal classifier in the long run under the hard-margin setting in classification problems. In the end, we use extensive experiments to evaluate the proposed algorithm and SOTA baselines, to show the improved empirical performance.


title: Dynamical history of the Galilean satellites for a fast migration of Callisto

abstract: The dynamics of the innermost Galilean satellites (Io, Europa and Ganymede) is characterised by a chain of mean motion resonances, called Laplace resonance, and by a strong tidal dissipation that causes wide variations of their semi-major axes over large timescales. The precise history of energy dissipation in the Jovian system is not known, but several theories have been proposed. Tidal resonance locking states that big outer moons can also migrate fast. If this is the case for Callisto, then it should have crossed the 2:1 mean motion resonance with Ganymede in the past, affecting the motion of all four Galilean satellites. Therefore, we aim to determine whether a fast migration for Callisto is compatible with the current orbital configuration of the system. Due to the chaotic nature of the resonant crossing, different outcomes are possible. A small portion of our simulations shows that Callisto can cross the 2:1 resonance with Ganymede without being captured and preserving the Laplace resonance. However, in most cases, we found that Callisto is captured into resonance, despite its divergent migration. As Callisto continues to migrate fast outwards, the moons depart substantially from the exact 8:4:2:1 commensurability, while still maintaining the resonant chain. Callisto can eventually escape it by crossing a high-order mean motion resonance with Ganymede. Afterwards, the moons' system is able to relax to its current configuration for suitable dissipation parameters of the satellites. Therefore it is possible, although challenging, to build a self-consistent picture of the past history of the Galilean satellites for a fast migration of Callisto.


title: On the Neutron Star/Black Hole Mass Gap and Black Hole Searches

abstract: Mass distribution of black holes in low-mass X-ray binaries previously suggested the existence of a $ \sim 2-5M_{\odot} $ mass gap between the most massive neutron stars and the least massive black holes, while some recent evidence appears to support that this mass gap is being populated. Whether there is a mass gap or not can potentially shed light on the physics of supernova explosions that form neutron stars and black holes, although significant mass accretion of neutron stars including binary mergers may lead to the formation of mass-gap objects. In this review, I collect the compact objects that are probable black holes with masses being in the gap. Most of them are in binaries, their mass measurements are obviously subject to some uncertainties. Current observations are still unable to confidently infer an absence or presence of the mass gap. Ongoing and future surveys are expected to build the mass spectrum of black holes which can be used to constrain the process of their formation especially in binaries. I describe the theoretical predictions for the formation of black holes in various types of binaries, and present some prospects of searching for black holes via electromagnetic and gravitational wave observations.


title: Higher-order rogue wave fission under the effects of third-order dispersion, self-steepening and self-frequency shift

abstract: Using the generalised nonlinear Schr\"odinger equation, we investigate how the effect of third-order dispersion, self-steepening, and Raman-induced-self-frequency shift have an impact on the higher-order rogue waves. We observe that individually each effect breaks apart the higher-order rogue waves reducing to their constituent fundamental parts similar to how a higher-order soliton undergoes fission. We demonstrate that under the influence of their combined effect, the disintegrated elements of higher-order rogue waves become fundamental solitons creating asymmetrical spectral profiles that generate both red and blue-shifted frequency components. These observations reveal the mechanisms that create a large number of solitons in the process of modulation instability-induced supercontinuum generation from a continuous-wave background in optical fibers.


title: Local Density of Solutions to Fractional Equations

abstract: The study of nonlocal operators of fractional type possesses a long tradition, motivated both by mathematical curiosity and by real world applications...


title: Reduction in turbulence-induced non-linear dynamic vibration using tuned liquid damper (TLD)

abstract: In the present research work, an attempt is made to develop a coupled non-linear turbulence-structure-damper model in a finite volume-finite difference (FV-FD) framework. Tuned liquid damper (TLD) is used as the additional damping system along with inherent structural damping. Real-time simulation of flow-excited bridge box girder or chimney section and the vibration reduction using TLD can be performed using the developed model. The turbulent flow field around a structure is modeled using an OpenFOAM transient PISO solver, and the time-varying drag force is calculated. This force perturbs the structure, causing the sloshing phenomena of the attached TLD, modeled using shallow depth approximation, damping the flow-induced vibration of the structure. The structural motion with and without the attached TLD is modeled involving the FD-based Newmark-Beta method using in-house MATLAB codes. The TLD is tuned with the vortex-shedding frequency of the low-Reynolds number flows, and it is found to be reducing the structural excitation significantly. On the other hand, the high-Reynolds number turbulent flow exhibits a broadband excitation, for which by tuning the TLD with few frequencies obtained through investigations, a good reduction in vibration is observed.


title: ROSIA: Rotation-Search-Based Star Identification Algorithm

abstract: This paper presents a rotation-search-based approach for addressing the star identification (Star-ID) problem. The proposed algorithm, ROSIA, is a heuristics-free algorithm that seeks the optimal rotation that maximally aligns the input and catalog stars in their respective coordinates. ROSIA searches the rotation space systematically with the Branch-and-Bound (BnB) method. Crucially affecting the runtime feasibility of ROSIA is the upper bound function that prioritizes the search space. In this paper, we make a theoretical contribution by proposing a tight (provable) upper bound function that enables a 400x speed-up compared to an existing formulation. Coupling the bounding function with an efficient evaluation scheme that leverages stereographic projection and the R-tree data structure, ROSIA achieves feasible operational speed on embedded processors with state-of-the-art performances under different sources of noise. The source code of ROSIA is available at https://github.com/ckchng/ROSIA.


title: Understanding Adversarial Robustness Against On-manifold Adversarial Examples

abstract: Deep neural networks (DNNs) are shown to be vulnerable to adversarial examples. A well-trained model can be easily attacked by adding small perturbations to the original data. One of the hypotheses of the existence of the adversarial examples is the off-manifold assumption: adversarial examples lie off the data manifold. However, recent research showed that on-manifold adversarial examples also exist. In this paper, we revisit the off-manifold assumption and want to study a question: at what level is the poor performance of neural networks against adversarial attacks due to on-manifold adversarial examples? Since the true data manifold is unknown in practice, we consider two approximated on-manifold adversarial examples on both real and synthesis datasets. On real datasets, we show that on-manifold adversarial examples have greater attack rates than off-manifold adversarial examples on both standard-trained and adversarially-trained models. On synthetic datasets, theoretically, We prove that on-manifold adversarial examples are powerful, yet adversarial training focuses on off-manifold directions and ignores the on-manifold adversarial examples. Furthermore, we provide analysis to show that the properties derived theoretically can also be observed in practice. Our analysis suggests that on-manifold adversarial examples are important, and we should pay more attention to on-manifold adversarial examples for training robust models.


title: Cross-Wave Profiles of Altitude and Particle Size of Noctilucent Clouds in the Case of One-Dimensional Small-Scale Gravity Wave Pattern

abstract: This paper describes the wide-field three-color observations of an expanded field of noctilucent clouds modulated by a one-dimensional gravity wave. Long wave crests were aligned by a small angle to the solar vertical in the sky. This made possible separate determination of altitude and particle size at different wave phases based on three-color photometry of noctilucent clouds. Thereby, it is possible to use simple optical imaging to record the changes in the parameters of noctilucent clouds when a short-period gravity wave passes by.


title: From rogue waves to solitons

abstract: Using a generalized nonlinear Schr\"odinger equation, we investigate the transformation of a fundamental rogue wave to a collection of solitons. Taking the third-order dispersion, self-steepening, and Raman-induced self-frequency shift as the generalizing effects, we systematically observe how a fundamental rogue wave has an impact on its surrounding continuous wave background and reshapes its own characteristics while a group of solitons are created. We show that under the influence of the self-steepening effect, a finite-volume rogue wave can transform into an infinite volume soliton. Also, we find that with the Raman-induced self-frequency shift, a decelerating rogue wave generates a red-shifted Raman radiation while the rogue wave itself turns into a slow-moving soliton. We show that each of these effects has an element of mechanism that favors the rogue wave to generate a group of solitons while the rogue wave itself also becomes one of these solitons.


title: Open Framework for Analyzing Public Parliaments Data

abstract: Open information of government organizations is a subject that should interest all citizens who care about the functionality of their governments. Large-scale open governmental data open the door to new opportunities for citizens and researchers to monitor their government's activities and to improve its transparency. Over the years, various projects and systems have been processing and analyzing governmental data using open government information. Here, we present the Collecting and Analyzing Parliament Data (CAPD) framework. This novel generic open framework enables the collection and analysis of large-scale public governmental data from multiple sources. We used the framework to collect over 64,000 parliaments' protocols from over 90 committees from three countries. Then, we parsed the collected data and calculated structured features from it. Next, using the calculated features, we utilized anomaly detection and time series analysis to uncover various insights into the committees' activities. We demonstrate that the CAPD framework can be used to identify anomalous meetings and detect dates of events that affect the parliaments' functionality, and help to monitor their activities.


title: Music-to-Text Synaesthesia: Generating Descriptive Text from Music Recordings

abstract: In this paper, we consider a novel research problem: music-to-text synaesthesia. Different from the classical music tagging problem that classifies a music recording into pre-defined categories, music-to-text synaesthesia aims to generate descriptive texts from music recordings with the same sentiment for further understanding. As existing music-related datasets do not contain the semantic descriptions on music recordings, we collect a new dataset that contains 1,955 aligned pairs of classical music recordings and text descriptions. Based on this, we build a computational model to generate sentences that can describe the content of the music recording. To tackle the highly non-discriminative classical music, we design a group topology-preservation loss, which considers more samples as a group reference and preserves the relative topology among different samples. Extensive experimental results qualitatively and quantitatively demonstrate the effectiveness of our proposed model over five heuristics or pre-trained competitive methods and their variants on our collected dataset.


title: Metal-organic kagome systems as candidates to study spin liquids, spin ice or the quantum anomalous Hall effect

abstract: We present the results of first-principle calculations using the Vienna Ab-initio Simulation Package (VASP) for a new class of organometallics labeled TM3C6O6 (TM =Sc, Ti, V, Cr, Fe, Co, Ni and Cu) in the form of planar, two-dimensional, periodic free-standing layers. These materials, which can be produced by on-surface coordination on metallic surfaces, have a kagome lattice of TM ions. Calculating the structural properties, we show that all considered materials have local magnetic moments in the ground state, but four of them (with Fe, Co, Ni and Cu) show spin-crossover behavior by changing the lattice constant, which could be valuable for possible epitaxy routes on various substrates. Surprisingly, we find a very large richness of electronic and magnetic properties, qualifying these materials as highly promising metal-organic topological quantum materials. We find semi-conductors with nearest-neighbor ferromagnetic (FM) or antiferromagnetic (AFM) couplings for V, and Sc and Cr, respectively, being of potential interest to study spin ice or spin liquids on the 2D kagome lattice. Other TM ion systems combine AFM couplings with metallic behavior (Ti, Fe and Ni) or are ferromagnetic kagome metals like Cu3C6O6 with symmetry protected Weyl crossings at the Fermi surface. For the latter compound, the spin orbit coupling is shown to be responsible for small gaps which should allow the observation of the quantum anomalous Hall effect (QAHE).


title: Inductive Freeness of Ziegler's Canonical Multiderivations for Restrictions of Reflection Arrangements

abstract: Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A''$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $\kappa$ is then a free multiarrangement. Recently, in [Hoge-R\"ohrle2022], an analogue of Ziegler's theorem for the stronger notion of inductive freeness was proved: if $\mathcal A$ is inductively free, then so is the free multiarrangement $(\mathcal A'',\kappa)$. In [Hoge-R\"ohrle2018], all reflection arrangements which admit inductively free Ziegler restrictions are classified. The aim of this paper is an extension of this classification to all restrictions of reflection arrangements utilizing the aforementioned fundamental result from [Hoge-R\"ohrle2022].


title: A Unified Framework for Optimization-Based Graph Coarsening

abstract: Graph coarsening is a widely used dimensionality reduction technique for approaching large-scale graph machine learning problems. Given a large graph, graph coarsening aims to learn a smaller-tractable graph while preserving the properties of the originally given graph. Graph data consist of node features and graph matrix (e.g., adjacency and Laplacian). The existing graph coarsening methods ignore the node features and rely solely on a graph matrix to simplify graphs. In this paper, we introduce a novel optimization-based framework for graph dimensionality reduction. The proposed framework lies in the unification of graph learning and dimensionality reduction. It takes both the graph matrix and the node features as the input and learns the coarsen graph matrix and the coarsen feature matrix jointly while ensuring desired properties. The proposed optimization formulation is a multi-block non-convex optimization problem, which is solved efficiently by leveraging block majorization-minimization, $\log$ determinant, Dirichlet energy, and regularization frameworks. The proposed algorithms are provably convergent and practically amenable to numerous tasks. It is also established that the learned coarsened graph is $\epsilon\in(0,1)$ similar to the original graph. Extensive experiments elucidate the efficacy of the proposed framework for real-world applications.


title: Design of Artificial Noise for Physical Layer Security in Visible Light Systems with Clipping

abstract: Though visible light communication (VLC) systems are contained to a given room, ensuring their security amongst users in a room is essential. In this paper, the design of artificial noise (AN) to enhance physical layer security in VLC systems is studied in the context of input signals with no explicit amplitude constraint (such as multicarrier systems). In such systems, clipping is needed to constrain the input signals within the limited linear ranges of the LEDs. However, this clipping process gives rise to non-linear clipping distortion, which must be incorporated into the AN design. To facilitate the solution of this problem, a sub-optimal design approach is presented using the Charnes-Cooper transformation and the convex-concave procedure (CCP). Numerical results show that the clipping distortion significantly reduces the secrecy level, and using AN is advantageous over the no-AN scheme in improving the secrecy performance.


title: Investigation of Aerodynamic Characteristics of a Generic Transport Aircraft in Ground Effect Using URANS Simulations

abstract: This paper focuses on computational prediction of aerodynamic and the flow field characteristics for NASA Common Research Model (CRM) in it's High-Lift (HL) configuration in close proximity to the ground. The URANS simulation with the Spalart-Allmaras (SA) turbulence model is checked for the quality of the generated mesh and compared with the available wind tunnel data. The obtained simulation results in the immediate vicinity of the ground demonstrate significant changes in the longitudinal and lateral-directional aerodynamic characteristics in aircraft banked positions, which is important for a better understanding of aircraft landing in crosswind conditions.


title: Grouped self-attention mechanism for a memory-efficient Transformer

abstract: Time-series data analysis is important because numerous real-world tasks such as forecasting weather, electricity consumption, and stock market involve predicting data that vary over time. Time-series data are generally recorded over a long period of observation with long sequences owing to their periodic characteristics and long-range dependencies over time. Thus, capturing long-range dependency is an important factor in time-series data forecasting. To solve these problems, we proposed two novel modules, Grouped Self-Attention (GSA) and Compressed Cross-Attention (CCA). With both modules, we achieved a computational space and time complexity of order $O(l)$ with a sequence length $l$ under small hyperparameter limitations, and can capture locality while considering global information. The results of experiments conducted on time-series datasets show that our proposed model efficiently exhibited reduced computational complexity and performance comparable to or better than existing methods.


title: Mixed configurations and intertwined quantum phase transitions in odd-mass nuclei

abstract: We introduce a new Bose-Fermi framework for studying spectral properties and quantum phase transitions (QPTs) in odd-mass nuclei, in the presence of configuration mixing. A detailed analysis of odd-mass Nb isotopes discloses the effects of an abrupt crossing of states in normal and intruder configurations (Type II QPT), accompanied by a gradual evolution from spherical- to deformed-core shapes within the intruder configuration (Type I QPT). The pronounced presence of both types of QPTs demonstrates, for the first time, the occurrence of intertwined QPTs in odd-mass nuclei.


title: Modified-operator method for the calculation of band diagrams of crystalline materials

abstract: In solid state physics, electronic properties of crystalline materials are often inferred from the spectrum of periodic Schr\"odinger operators. As a consequence of Bloch's theorem, the numerical computation of electronic quantities of interest involves computing derivatives or integrals over the Brillouin zone of so-called energy bands, which are piecewise smooth, Lipschitz continuous periodic functions obtained by solving a parametrized elliptic eigenvalue problem on a Hilbert space of periodic functions. Classical discretization strategies for resolving these eigenvalue problems produce approximate energy bands that are either non-periodic or discontinuous, both of which cause difficulty when computing numerical derivatives or employing numerical quadrature. In this article, we study an alternative discretization strategy based on an ad hoc operator modification approach. While specific instances of this approach have been proposed in the physics literature, we introduce here a systematic formulation of this operator modification approach. We derive a priori error estimates for the resulting energy bands and we show that these bands are periodic and can be made arbitrarily smooth (away from band crossings) by adjusting suitable parameters in the operator modification approach. Numerical experiments involving a toy model in 1D, graphene in 2D, and silicon in 3D validate our theoretical results and showcase the efficiency of the operator modification approach.


title: ReAct: A Review Comment Dataset for Actionability (and more)

abstract: Review comments play an important role in the evolution of documents. For a large document, the number of review comments may become large, making it difficult for the authors to quickly grasp what the comments are about. It is important to identify the nature of the comments to identify which comments require some action on the part of document authors, along with identifying the types of these comments. In this paper, we introduce an annotated review comment dataset ReAct. The review comments are sourced from OpenReview site. We crowd-source annotations for these reviews for actionability and type of comments. We analyze the properties of the dataset and validate the quality of annotations. We release the dataset (https://github.com/gtmdotme/ReAct) to the research community as a major contribution. We also benchmark our data with standard baselines for classification tasks and analyze their performance.


abstract: Exact solution of the Susceptible-Infectious-Recovered (SIR) epidemic model is derived, and various properties of solution are obtained directly from the exact solution. It is shown that there exists an exact solution of an initial value problem for SIR differential system and that the parametric form of the exact solution satisfies some linear differential system.


title: ManiCLIP: Multi-Attribute Face Manipulation from Text

abstract: In this paper we present a novel multi-attribute face manipulation method based on textual descriptions. Previous text-based image editing methods either require test-time optimization for each individual image or are restricted to single attribute editing. Extending these methods to multi-attribute face image editing scenarios will introduce undesired excessive attribute change, e.g., text-relevant attributes are overly manipulated and text-irrelevant attributes are also changed. In order to address these challenges and achieve natural editing over multiple face attributes, we propose a new decoupling training scheme where we use group sampling to get text segments from same attribute categories, instead of whole complex sentences. Further, to preserve other existing face attributes, we encourage the model to edit the latent code of each attribute separately via an entropy constraint. During the inference phase, our model is able to edit new face images without any test-time optimization, even from complex textual prompts. We show extensive experiments and analysis to demonstrate the efficacy of our method, which generates natural manipulated faces with minimal text-irrelevant attribute editing. Code and pre-trained model are available at https://github.com/hwang1996/ManiCLIP.


title: Seventy Years of Radar and Communications: The Road from Separation to Integration

abstract: Radar and communications (R&C) as key utilities of electromagnetic (EM) waves have fundamentally shaped human society and triggered the modern information age. Although R&C have been historically progressing separately, in recent decades they have been converging towards integration, forming integrated sensing and communication (ISAC) systems, giving rise to new, highly desirable capabilities in next-generation wireless networks and future radars. To better understand the essence of ISAC, this paper provides a systematic overview on the historical development of R&C from a signal processing (SP) perspective. We first interpret the duality between R&C as signals and systems, followed by an introduction of their fundamental principles. We then elaborate on the two main trends in their technological evolution, namely, the increase of frequencies and bandwidths, and the expansion of antenna arrays. We then show how the intertwined narratives of R&C evolved into ISAC, and discuss the resultant SP framework. Finally, we overview future research directions in this field.


title: Spectral signatures of a unique charge density wave in Ta$_2$NiSe$_7$

abstract: Charge Density Waves (CDW) are commonly associated with the presence of near-Fermi level states which are separated from others, or "nested", by a wavector of $\mathbf{q}$. Here we use Angle-Resolved Photo Emission Spectroscopy (ARPES) on the CDW material Ta$_2$NiSe$_7$ and identify a total absence of any plausible nesting of states at the primary CDW wavevector $\mathbf{q}$. Nevertheless we observe spectral intensity on replicas of the hole-like valence bands, shifted by a wavevector of $\mathbf{q}$, which appears with the CDW transition. In contrast, we find that there is a possible nesting at $\mathbf{2q}$, and associate the characters of these bands with the reported atomic modulations at $\mathbf{2q}$. Our comprehensive electronic structure perspective shows that the CDW-like transition of Ta$_2$NiSe$_7$ is unique, with the primary wavevector $\mathbf{q}$ being unrelated to any low-energy states, but suggests that the reported modulation at $\mathbf{2q}$, which would plausibly connect low-energy states, might be more important for the overall energetics of the problem.


title: A Smart Recycling Bin Using Waste Image Classification At The Edge

abstract: Rapid economic growth gives rise to the urgent demand for a more efficient waste recycling system. This work thereby developed an innovative recycling bin that automatically separates urban waste to increase the recycling rate. We collected 1800 recycling waste images and combined them with an existing public dataset to train classification models for two embedded systems, Jetson Nano and K210, targeting different markets. The model reached an accuracy of 95.98% on Jetson Nano and 96.64% on K210. A bin program was designed to collect feedback from users. On Jetson Nano, the overall power consumption of the application was reduced by 30% from the previous work to 4.7 W, while the second system, K210, only needed 0.89 W of power to operate. In summary, our work demonstrated a fully functional prototype of an energy-saving, high-accuracy smart recycling bin, which can be commercialized in the future to improve urban waste recycling.


title: Higgs Boson Physics -- The View Ahead

abstract: Eleven years ago, the Higgs boson was discovered at the LHC. I briefly survey the status of Higgs boson physics today and explore some of the implications for future Higgs studies. Although current experimental measurements are consistent with interpreting the observed Higgs boson as being consistent with the predictions of the Standard Model of particle physics, it is still possible that the Higgs boson is a member of an extended scalar sector that lies beyond the Standard Model. Nevertheless, an extended Higgs sector is already highly constrained. The Higgs sector can also serve as a portal to new physics beyond the Standard Model. Finally, two Higgs wishlists are assembled that merit future study and clarification at the LHC and future collider facilities now under development.


title: Citation Trajectory Prediction via Publication Influence Representation Using Temporal Knowledge Graph

abstract: Predicting the impact of publications in science and technology has become an important research area, which is useful in various real world scenarios such as technology investment, research direction selection, and technology policymaking. Citation trajectory prediction is one of the most popular tasks in this area. Existing approaches mainly rely on mining temporal and graph data from academic articles. Some recent methods are capable of handling cold-start prediction by aggregating metadata features of new publications. However, the implicit factors causing citations and the richer information from handling temporal and attribute features still need to be explored. In this paper, we propose CTPIR, a new citation trajectory prediction framework that is able to represent the influence (the momentum of citation) of either new or existing publications using the history information of all their attributes. Our framework is composed of three modules: difference-preserved graph embedding, fine-grained influence representation, and learning-based trajectory calculation. To test the effectiveness of our framework in more situations, we collect and construct a new temporal knowledge graph dataset from the real world, named AIPatent, which stems from global patents in the field of artificial intelligence. Experiments are conducted on both the APS academic dataset and our contributed AIPatent dataset. The results demonstrate the strengths of our approach in the citation trajectory prediction task.


title: Asynchronous Activity Detection for Cell-Free Massive MIMO: From Centralized to Distributed Algorithms

abstract: Device activity detection in the emerging cell-free massive multiple-input multiple-output (MIMO) systems has been recognized as a crucial task in machine-type communications, in which multiple access points (APs) jointly identify the active devices from a large number of potential devices based on the received signals. Most of the existing works addressing this problem rely on the impractical assumption that different active devices transmit signals synchronously. However, in practice, synchronization cannot be guaranteed due to the low-cost oscillators, which brings additional discontinuous and nonconvex constraints to the detection problem. To address this challenge, this paper reveals an equivalent reformulation to the asynchronous activity detection problem, which facilitates the development of a centralized algorithm and a distributed algorithm that satisfy the highly nonconvex constraints in a gentle fashion as the iteration number increases, so that the sequence generated by the proposed algorithms can get around bad stationary points. To reduce the capacity requirements of the fronthauls, we further design a communication-efficient accelerated distributed algorithm. Simulation results demonstrate that the proposed centralized and distributed algorithms outperform state-of-the-art approaches, and the proposed accelerated distributed algorithm achieves a close detection performance to that of the centralized algorithm but with a much smaller number of bits to be transmitted on the fronthaul links.


title: Integrable isotropic profiles for polarized light

abstract: We consider the propagation of polarized light in the medium with an isotropic refraction index profile and show that polarization violates the additional symmetries of the medium. Then we suggest a scheme for the construction of polarization-dependent refraction index which restores all symmetries of the initial profile. We illustrate the proposed scheme on the examples of Luneburg and Maxwell's fisheye profiles.


title: Neural Graphical Models

abstract: Probabilistic Graphical Models are often used to understand dynamics of a system. They can model relationships between features (nodes) and the underlying distribution. Theoretically these models can represent very complex dependency functions, but in practice often simplifying assumptions are made due to computational limitations associated with graph operations. In this work we introduce Neural Graphical Models (NGMs) which attempt to represent complex feature dependencies with reasonable computational costs. Given a graph of feature relationships and corresponding samples, we capture the dependency structure between the features along with their complex function representations by using a neural network as a multi-task learning framework. We provide efficient learning, inference and sampling algorithms. NGMs can fit generic graph structures including directed, undirected and mixed-edge graphs as well as support mixed input data types. We present empirical studies that show NGMs' capability to represent Gaussian graphical models, perform inference analysis of a lung cancer data and extract insights from a real world infant mortality data provided by Centers for Disease Control and Prevention.


title: Solving Multi-Dimensional Schr\"{o}dinger Equations Based on EPINNs

abstract: Due to the good performance of neural networks in high-dimensional and nonlinear problems, machine learning is replacing traditional methods and becoming a better approach for eigenvalue and wave function solutions of multi-dimensional Schr\"{o}dinger equations. This paper proposes a numerical method based on neural networks to solve multiple excited states of multi-dimensional stationary Schr\"{o}dinger equation. We introduce the orthogonal normalization condition into the loss function, use the frequency principle of neural networks to automatically obtain multiple excited state eigenfunctions and eigenvalues of the equation from low to high energy levels, and propose a degenerate level processing method. The use of equation residuals and energy uncertainty makes the error of each energy level converge to 0, which effectively avoids the order of magnitude interference of error convergence, improves the accuracy of wave functions, and improves the accuracy of eigenvalues as well. Comparing our results to the previous work, the accuracy of the harmonic oscillator problem is at least an order of magnitude higher with fewer training epochs. We complete numerical experiments on typical analytically solvable Schr\"{o}dinger equations, e.g., harmonic oscillators and hydrogen-like atoms, and propose calculation and evaluation methods for each physical quantity, which prove the effectiveness of our method on eigenvalue problems. Our successful solution of the excited states of the hydrogen atom problem provides a potential idea for solving the stationary Schr\"{o}dinger equation for multi-electron atomic molecules.


title: HUXt -- An open source, computationally efficient reduced-physics solar wind model, written in Python

abstract: HUXt is an open source numerical model of the solar wind written in Python. It is based on the solution of the 1D inviscid Burger's equation. This reduced-physics approach produces solar wind flow simulations that closely emulate the flow produced by 3-D magnetohydrodynamic solar wind models at a small fraction of the computational expense. While not intended as a replacement for 3-D MHD, the simplicity and computational efficiency of HUXt offers several key advantages that enable experiments and the use of techniques that would otherwise be cost prohibitive. For example, large ensembles can easily be run with modest computing resources, which are useful for exploring and quantifying the uncertainty in space weather predictions, as well as for the application of some data assimilation methods. We present the developments in the latest version of HUXt, v4.0, and discuss our plans for future developments and applications of the model. The three key developments in v4.0 are: a restructuring of the models solver to enable fully time-dependent boundary conditions, such that HUXt can in principle be initialised with in-situ observations from any of the fleet of heliospheric monitors; new functionality to trace streaklines through the HUXt flow solutions, which can be used to track features such as the Heliospheric Current Sheet; introduction of a small test-suite so that we can better ensure the reliability and reproducibility of HUXt simulations for all users across future versions. Other more minor developments are discussed in the article. Future applications of HUXt are discussed, including the development data assimilation schemes for assimilation of both remote sensing and in-situ plasma measures. We discuss the progress of transitioning HUXt into an operational model at the UK's Met Office Space Weather Operations Center as part of the UK governments SWIMMR programme.

categories: astro-ph.SR astro-ph.IM physics.plasm-ph physics.space-ph


title: The Natural partial order on modules

abstract: The Mitsch order is already known as a natural partial order for semigroups and rings. The purpose of this paper is to further study of the Mitsch order on modules by investigating basic properties via endomorphism rings. And so this study also contribute to the results related to the orders on rings. As a module theoretic analog of the Mitsch order, we show that this order is a partial order on arbitrary modules. Among others, lattice properties of the Mitsch order and the relations between the Mitsch order and the other well-known orders, such as, the minus order, the Jones order, the direct sum order and the space pre-order on modules are studied. In particular, we prove that the minus order is the Mitsch order and we supply an example to show that the converse does not hold in general.


title: Towards a Complete Direct Mapping From Relational Databases To Property Graphs

abstract: It is increasingly common to find complex data represented through the graph model. Contrary to relational models, graphs offer a high capacity for executing analytical tasks on complex data. Since a huge amount of data is still presented in terms of relational tables, it is necessary to understand how to translate this data into graphs. This paper proposes a complete mapping process that allows transforming any relational database (schema and instance) into a property graph database (schema and instance). Contrary to existing mappings, our solution preserves the three fundamental mapping properties, namely: information preservation, semantic preservation and query preservation. Moreover, we study mapping any SQL query into an equivalent Cypher query, which makes our solution practical. Existing solutions are either incomplete or based on non-practical query language. Thus, this work is the first complete and practical solution for mapping relations to graphs.


title: Vertical projections in the Heisenberg group via cinematic functions and point-plate incidences

abstract: Let $\{\pi_{e} \colon \mathbb{H} \to \mathbb{W}_{e} : e \in S^{1}\}$ be the family of vertical projections in the first Heisenberg group $\mathbb{H}$. We prove that if $K \subset \mathbb{H}$ is a Borel set with Hausdorff dimension $\dim_{\mathbb{H}} K \in [0,2] \cup \{3\}$, then $$ \dim_{\mathbb{H}} \pi_{e}(K) \geq \dim_{\mathbb{H}} K $$ for $\mathcal{H}^{1}$ almost every $e \in S^{1}$. This was known earlier if $\dim_{\mathbb{H}} K \in [0,1]$. The proofs for $\dim_{\mathbb{H}} K \in [0,2]$ and $\dim_{\mathbb{H}} K = 3$ are based on different techniques. For $\dim_{\mathbb{H}} K \in [0,2]$, we reduce matters to a Euclidean problem, and apply the method of cinematic functions due to Pramanik, Yang, and Zahl. To handle the case $\dim_{\mathbb{H}} K = 3$, we introduce a point-line duality between horizontal lines and conical lines in $\mathbb{R}^{3}$. This allows us to transform the Heisenberg problem into a point-plate incidence question in $\mathbb{R}^{3}$. To solve the latter, we apply a Kakeya inequality for plates in $\mathbb{R}^{3}$, due to Guth, Wang, and Zhang. This method also yields partial results for Borel sets $K \subset \mathbb{H}$ with $\dim_{\mathbb{H}} K \in (5/2,3)$.


title: Bounded Cohomology of Groups acting on Cantor sets

abstract: We study the bounded cohomology of certain groups acting on the Cantor set. More specifically, we consider the full group of homeomorphisms of the Cantor set as well as Thompson's group $V$. We prove that both of these groups are boundedly acyclic, that is the bounded cohomology with trivial real coefficients vanishes in positive degrees. Combining this result with the already established $\mathbb{Z}$-acyclicity of Thompson's group $V$, will make $V$ the first example of a finitely generated group, in fact the first example of a group of type $F_\infty$, which is universally boundedly acyclic. Before proving bounded acyclicity, we gather various properties of the groups under consideration and certain subgroups thereof. As a consequence the proofs of bounded acyclicity will be relatively short. It will turn out that the approaches to handle these groups are very similar. This suggests that there could be a unifying approach which would imply the bounded acyclicity of a larger class of groups acting on the Cantor set, including the discussed ones.


title: Extended time-dependent generator coordinate method study of induced fission (II): total kinetic energy distribution

abstract: A model is developed to calculate the total kinetic energy (TKE) distribution of fission fragments in the framework of the time-dependent generator coordinate method (TDGCM), extended to include dissipation effects in the description of induced fission dynamics. Starting from an expression for the dissipative term in the GCM Hamiltonian that determines the time evolution of a statistical collective wave function, derived in the first part of this work, the integrated flux of the probability current through the scission hyper-surface can be computed at different temperatures. The kinetic energy at scission for a specific pair of fragments at a given temperature is determined by the energy balance formula. By folding the kinetic energies of the fragments with the flux of the probability current, the TKE distribution is calculated. The method is illustrated with a calculation of the TKE distribution for induced fission of $^{228}$Th, in the 3D space of collective coordinates: axially-symmetric quadrupole and octupole deformations, and nuclear temperature.