title: Weakly and Semi-Supervised Detection, Segmentation and Tracking of Table Grapes with Limited and Noisy Data

abstract: Detection, segmentation and tracking of fruits and vegetables are three fundamental tasks for precision agriculture, enabling robotic harvesting and yield estimation applications. However, modern algorithms are data hungry and it is not always possible to gather enough data to apply the best performing supervised approaches. Since data collection is an expensive and cumbersome task, the enabling technologies for using computer vision in agriculture are often out of reach for small businesses. Following previous work in this context, where we proposed an initial weakly supervised solution to reduce the data needed to get state-of-the-art detection and segmentation in precision agriculture applications, here we improve that system and explore the problem of tracking fruits in orchards. We present the case of vineyards of table grapes in southern Lazio (Italy) since grapes are a difficult fruit to segment due to occlusion, color and general illumination conditions. We consider the case in which there is some initial labelled data that could work as source data (\eg wine grape data), but it is considerably different from the target data (e.g. table grape data). To improve detection and segmentation on the target data, we propose to train the segmentation algorithm with a weak bounding box label, while for tracking we leverage 3D Structure from Motion algorithms to generate new labels from already labelled samples. Finally, the two systems are combined in a full semi-supervised approach. Comparisons with state-of-the-art supervised solutions show how our methods are able to train new models that achieve high performances with few labelled images and with very simple labelling.


title: Numerical geometric acoustics: an eikonal-based approach for modeling sound propagation in 3D environments

abstract: We present algorithms for solving high-frequency acoustic scattering problems in complex domains. The eikonal and transport partial differential equations from the WKB/geometric optic approximation of the Helmholtz equation are solved recursively to generate boundary conditions for a tree of eikonal/transport equation pairs, describing the phase and amplitude of a geometric optic wave propagating in a complicated domain, including reflection and diffraction. Edge diffraction is modeled using the uniform theory of diffraction. For simplicity, we limit our attention to domains with piecewise linear boundaries and a constant speed of sound. The domain is discretized into a conforming tetrahedron mesh. For the eikonal equation, we extend the jet marching method to tetrahedron meshes. Hermite interpolation enables second order accuracy for the eikonal and its gradient and first order accuracy for its Hessian, computed using cell averaging. To march the eikonal on an unstructured mesh, we introduce a new method of rejecting unphysical updates by considering Lagrange multipliers and local visibility. To handle accuracy degradation near caustics, we introduce several fast Lagrangian initialization algorithms. We store the dynamic programming plan uncovered by the marcher in order to propagate auxiliary quantities along characteristics. We introduce an approximate origin function which is computed using the dynamic programming plan, and whose 1/2-level set approximates the geometric optic shadow and reflection boundaries. We also use it to propagate geometric spreading factors and unit tangent vector fields needed to compute the amplitude and evaluate the high-frequency edge diffraction coefficient. We conduct numerical tests on a semi-infinite planar wedge to evaluate the accuracy of our method. We also show an example with a more realistic building model with challenging architectural features.


title: Latent Signal Models: Learning Compact Representations of Signal Evolution for Improved Time-Resolved, Multi-contrast MRI

abstract: Purpose: Training auto-encoders on simulated signal evolution and inserting the decoder into the forward model improves reconstructions through more compact, Bloch-equation-based representations of signal in comparison to linear subspaces. Methods: Building on model-based nonlinear and linear subspace techniques that enable reconstruction of signal dynamics, we train auto-encoders on dictionaries of simulated signal evolution to learn more compact, non-linear, latent representations. The proposed Latent Signal Model framework inserts the decoder portion of the auto-encoder into the forward model and directly reconstructs the latent representation. Latent Signal Models essentially serve as a proxy for fast and feasible differentiation through the Bloch-equations used to simulate signal. This work performs experiments in the context of T2-shuffling, gradient echo EPTI, and MPRAGE-shuffling. We compare how efficiently auto-encoders represent signal evolution in comparison to linear subspaces. Simulation and in-vivo experiments then evaluate if reducing degrees of freedom by inserting the decoder into the forward model improves reconstructions in comparison to subspace constraints. Results: An auto-encoder with one real latent variable represents FSE, EPTI, and MPRAGE signal evolution as well as linear subspaces characterized by four basis vectors. In simulated/in-vivo T2-shuffling and in-vivo EPTI experiments, the proposed framework achieves consistent quantitative NRMSE and qualitative improvement over linear approaches. From qualitative evaluation, the proposed approach yields images with reduced blurring and noise amplification in MPRAGE shuffling experiments. Conclusion: Directly solving for non-linear latent representations of signal evolution improves time-resolved MRI reconstructions through reduced degrees of freedom.


title: Quantum gravity in a general background gauge

abstract: We deduce, in a general background gauge, the counter-term Lagrangian for pure quantum gravity to one-loop order. As an application, we evaluate the leading quantum correction to the classical gravitational potential, generated by the vacuum polarization. We find that, in specific background gauges, this yields the complete result for the one-loop quantum corrections to the Newtonian potential. This approach is also applied to calculate the $\ln(T)$ contributions in quantum gravity at high-temperature.


title: MyMigrationBot: A Cloud-based Facebook Social Chatbot for Migrant Populations

abstract: We present the design, implementation and evaluation of a new cloud-based social chatbot called MyMigrationBot, that is deployed to Facebook. The system asks and answers questions related to user's personality traits and person-job competency fit to give feedback, and potentially support migrant populations. The chatbot's response database is based on reputable socio-psychological tools and can be customised. The system's backend is written with Node.js, deployed to AWS and Twilio, and joined with Facebook through Graph and Messenger APIs. To our knowledge this is the first multilingual social chatbot deployed to Facebook and designed to research and support migrant populations with feedback in Europe. It does not have personality like other bots, but it can study and feedback on migrants' personality and on other customised questionnaires e.g., job-competency fit. The aim of a social chatbot in our research project is to help engage migrants with social research using feedback information tailored to them. It can help migrants to get knowledge about their psycho-social resources and therefore to facilitate their integration process into a receiving labour market. We evaluated the chatbot on a group of 53 people, incl. 23 migrants, and we present the results.


title: Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems

abstract: In this paper, we propose a novel nonlinear observer based on neural networks, called neural observer, for observation tasks of linear time-invariant (LTI) systems and uncertain nonlinear systems. In particular, the neural observer designed for uncertain systems is inspired by the active disturbance rejection control, which can measure the uncertainty in real-time. The stability analysis (e.g., exponential convergence rate) of LTI and uncertain nonlinear systems (involving neural observers) are presented and guaranteed, where it is shown that the observation problems can be solved only using the linear matrix inequalities (LMIs). Also, it is revealed that the observability and controllability of the system matrices are required to demonstrate the existence of solutions of LMIs. Finally, the effectiveness of neural observers is verified on three simulation cases, including the X-29A aircraft model, the nonlinear pendulum, and the four-wheel steering vehicle.


title: Multi-level Contrastive Learning Framework for Sequential Recommendation

abstract: Sequential recommendation (SR) aims to predict the subsequent behaviors of users by understanding their successive historical behaviors. Recently, some methods for SR are devoted to alleviating the data sparsity problem (i.e., limited supervised signals for training), which take account of contrastive learning to incorporate self-supervised signals into SR. Despite their achievements, it is far from enough to learn informative user/item embeddings due to the inadequacy modeling of complex collaborative information and co-action information, such as user-item relation, user-user relation, and item-item relation. In this paper, we study the problem of SR and propose a novel multi-level contrastive learning framework for sequential recommendation, named MCLSR. Different from the previous contrastive learning-based methods for SR, MCLSR learns the representations of users and items through a cross-view contrastive learning paradigm from four specific views at two different levels (i.e., interest- and feature-level). Specifically, the interest-level contrastive mechanism jointly learns the collaborative information with the sequential transition patterns, and the feature-level contrastive mechanism re-observes the relation between users and items via capturing the co-action information (i.e., co-occurrence). Extensive experiments on four real-world datasets show that the proposed MCLSR outperforms the state-of-the-art methods consistently.


title: Extra DoF of Near-Field Holographic MIMOCommunications Leveraging Evanescent Waves

abstract: In this letter, we consider transceivers with spatially-constrained antenna apertures of rectangular symmetry, and aim to improve of spatial degrees of freedom (DoF) and channel capacity leveraging evanescent waves for information transmission in near-field scenarios based on the Fourier plane-wave series expansion. The treatment is limited to an isotropic scattering environment but can be extended to the non-isotropic case through the linear-system theoretic interpretation of plane-wave propagation. Numerical results show that evanescent waves have the significant potential to provide additional DoF and capacity in the near-field region.


title: Object Goal Navigation using Data Regularized Q-Learning

abstract: Object Goal Navigation requires a robot to find and navigate to an instance of a target object class in a previously unseen environment. Our framework incrementally builds a semantic map of the environment over time, and then repeatedly selects a long-term goal ('where to go') based on the semantic map to locate the target object instance. Long-term goal selection is formulated as a vision-based deep reinforcement learning problem. Specifically, an Encoder Network is trained to extract high-level features from a semantic map and select a long-term goal. In addition, we incorporate data augmentation and Q-function regularization to make the long-term goal selection more effective. We report experimental results using the photo-realistic Gibson benchmark dataset in the AI Habitat 3D simulation environment to demonstrate substantial performance improvement on standard measures in comparison with a state of the art data-driven baseline.


title: Infinitesimally helicoidal motions with fixed pitch of oriented geodesics of a space form

abstract: Let L be the manifold of all (unparametrized) oriented lines of R^3. We study the controllability of the control system in L given by the condition that a curve in L describes at each instant, at the infinitesimal level, an helicoid with prescribed angular speed alpha. Actually, we pose the analogous more general problem by means of a control system on the manifold G_kappa of all the oriented complete geodesics of the three dimensional space form of curvature kappa: R^3 for kappa = 0, S^3 for kappa = 1 and hyperbolic 3-space for kappa = -1. We obtain that the system is controllable if and only if alpha ^2 not equal kappa. In the spherical case with alpha = (+/-) 1, an admissible curve remains in the set of fibers of a fixed Hopf fibration of S^3. We also address and solve a sort of Kendall's (aka Oxford) problem in this setting: Finding the minimum number of switches of piecewise continuous curves joininig two arbitrary oriented lines, with pieces in some distinguished families of admissible curves.


title: Degenerate fourfold Massey products over arbitrary fields

abstract: We prove that, for all fields $F$ of characteristic different from $2$ and all $a,b,c\in F^\times$, the mod $2$ Massey product $\langle a,b,c,a \rangle$ vanishes as soon as it is defined. For every field $F_0$, we construct a field $F$ containing $F_0$ and $a,b,c,d\in F^\times$ such that $\langle a,b,c \rangle$ and $\langle b,c,d \rangle$ vanish but $\langle a,b,c,d \rangle$ is not defined. As a consequence, we answer a question of Positselski by constructing the first examples of fields containing all roots of unity and such that the mod $2$ cochain DGA of the absolute Galois group is not formal.


title: A Descriptive Method of Firm Size Transition Dynamics Using Markov Chain

abstract: Social employment, which is mostly carried by firms of different types, determines the prosperity and stability of a country. As time passing, the fluctuations of firm employment can reflect the process of creating or destroying jobs. Therefore, it is instructive to investigate the firm employment (size) dynamics. Drawing on the firm-level panel data extracted from the Chinese Industrial Enterprises Database 1998-2013, this paper proposes a Markov-chain-based descriptive approach to clearly demonstrate the firm size transfer dynamics between different size categories. With this method, any firm size transition path in a short time period can be intuitively demonstrated. Furthermore, by utilizing the properties of Markov transfer matrices, the definition of transition trend and the transition entropy are introduced and estimated. As a result, the tendency of firm size transfer between small, medium and large can be exactly revealed, and the uncertainty of size change can be quantified. Generally from the evidence of this paper, it can be inferred that small and medium manufacturing firms in China have greater job creation potentials compared to large firms over this time period.


title: Structural Stability of Transonic Shock Flows with an External Force

abstract: This paper is devoted to the structural stability of a transonic shock passing through a flat nozzle for two-dimensional steady compressible flows with an external force. We first establish the existence and uniqueness of one dimensional transonic shock solutions to the steady Euler system with an external force by prescribing suitable pressure at the exit of the nozzle when the upstream flow is a uniform supersonic flow. It is shown that the external force helps to stabilize the transonic shock in flat nozzles and the shock position is uniquely determined. Then we are concerned with the structural stability of these transonic shoc solutions when the exit pressure is suitably perturbed. One of the new ingredients in our analysis is to use the deformation-curl decomposition to the steady Euler system developed in \cite{WengX2019} to deal with the transonic shock problem.


title: Polyhedral results and stronger Lagrangean bounds for stable spanning trees

abstract: Given a graph $G=(V,E)$ and a set $C$ of unordered pairs of edges regarded as being in conflict, a stable spanning tree in $G$ is a set of edges $T$ inducing a spanning tree in $G$, such that for each $\left\lbrace e_i, e_j \right\rbrace \in C$, at most one of the edges $e_i$ and $e_j$ is in $T$. The existing work on Lagrangean algorithms to the NP-hard problem of finding minimum weight stable spanning trees is limited to relaxations with the integrality property. We exploit a new relaxation of this problem: fixed cardinality stable sets in the underlying conflict graph $H =(E,C)$. We find interesting properties of the corresponding polytope, and determine stronger dual bounds in a Lagrangean decomposition framework, optimizing over the spanning tree polytope of $G$ and the fixed cardinality stable set polytope of $H$ in the subproblems. This is equivalent to dualizing exponentially many subtour elimination constraints, while limiting the number of multipliers in the dual problem to $|E|$. It is also a proof of concept for combining Lagrangean relaxation with the power of MILP solvers over strongly NP-hard subproblems. We present encouraging computational results using a dual method that comprises the Volume Algorithm, initialized with multipliers determined by Lagrangean dual-ascent. In particular, the bound is within 5.5% of the optimum in 146 out of 200 benchmark instances; it actually matches the optimum in 75 cases. All of the implementation is made available in a free, open-source repository.


title: Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications

abstract: The Twelfth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2022) was held in Debrecen, Hungary, on August 26 and 27, 2022, organized by the University of Debrecen. The NCMA workshop series was established in 2009 as an annual event for researchers working on non-classical and classical models of automata, grammars or related devices. Such models are investigated both as theoretical models and as formal models for applications from different points of view.


title: AesUST: Towards Aesthetic-Enhanced Universal Style Transfer

abstract: Recent studies have shown remarkable success in universal style transfer which transfers arbitrary visual styles to content images. However, existing approaches suffer from the aesthetic-unrealistic problem that introduces disharmonious patterns and evident artifacts, making the results easy to spot from real paintings. To address this limitation, we propose AesUST, a novel Aesthetic-enhanced Universal Style Transfer approach that can generate aesthetically more realistic and pleasing results for arbitrary styles. Specifically, our approach introduces an aesthetic discriminator to learn the universal human-delightful aesthetic features from a large corpus of artist-created paintings. Then, the aesthetic features are incorporated to enhance the style transfer process via a novel Aesthetic-aware Style-Attention (AesSA) module. Such an AesSA module enables our AesUST to efficiently and flexibly integrate the style patterns according to the global aesthetic channel distribution of the style image and the local semantic spatial distribution of the content image. Moreover, we also develop a new two-stage transfer training strategy with two aesthetic regularizations to train our model more effectively, further improving stylization performance. Extensive experiments and user studies demonstrate that our approach synthesizes aesthetically more harmonious and realistic results than state of the art, greatly narrowing the disparity with real artist-created paintings. Our code is available at https://github.com/EndyWon/AesUST.


title: A Multi-Format Transfer Learning Model for Event Argument Extraction via Variational Information Bottleneck

abstract: Event argument extraction (EAE) aims to extract arguments with given roles from texts, which have been widely studied in natural language processing. Most previous works have achieved good performance in specific EAE datasets with dedicated neural architectures. Whereas, these architectures are usually difficult to adapt to new datasets/scenarios with various annotation schemas or formats. Furthermore, they rely on large-scale labeled data for training, which is unavailable due to the high labelling cost in most cases. In this paper, we propose a multi-format transfer learning model with variational information bottleneck, which makes use of the information especially the common knowledge in existing datasets for EAE in new datasets. Specifically, we introduce a shared-specific prompt framework to learn both format-shared and format-specific knowledge from datasets with different formats. In order to further absorb the common knowledge for EAE and eliminate the irrelevant noise, we integrate variational information bottleneck into our architecture to refine the shared representation. We conduct extensive experiments on three benchmark datasets, and obtain new state-of-the-art performance on EAE.


title: Twisted conjugacy in some lamplighter-type groups

abstract: For a restricted wreath product $G\wr \mathbb{Z}^k$, where $G$ is a finite abelian group, we determine (almost in all cases) whether this product has the $R_\infty$ property (i.e., each its automorphism has infinite Reidemeister number).


title: Impact of Loss Model Selection on Power Semiconductor Lifetime Prediction in Electric Vehicles

abstract: Power loss estimation is an indispensable procedure to conduct lifetime prediction for power semiconductor device. The previous studies successfully perform steady-state power loss estimation for different applications, but which may be limited for the electric vehicles (EVs) with high dynamics. Based on two EV standard driving cycle profiles, this paper gives a comparative study of power loss estimation models with two different time resolutions, i.e., the output period average and the switching period average. The correspondingly estimated power losses, thermal profiles, and lifetime clearly pointed out that the widely applied power loss model with the output period average is limited for EV applications, in particular for the highly dynamic driving cycle. The difference in the predicted lifetime can be up to 300 times due to the unreasonable choice the loss model, which calls for the industry attention on the differences of the EVs and the importance of loss model selection in lifetime prediction.


title: Practical applications of Set Shaping Theory in Huffman coding

abstract: One of the biggest criticisms of the Set Shaping Theory is the lack of a practical application. This is due to the difficulty of its application. In fact, to apply this technique from an experimental point of view we must use a table that defines the correspondences between two sets. However, this approach is not usable in practice, because the table has A^N elements, with A number of symbols and N length of the message to be encoded. Consequently, these tables can be implemented in a program only when A and N have a low value. Unfortunately, in these cases, there are no compression algorithms with such efficiency as to detect the improvement introduced by this method. In this article, we use a function capable of performing the transform without using the correspondence table; this allows us to apply this theory to a wide range of values of A and N. The results obtained confirm the theoretical predictions.


title: On Unsupervised Training of Link Grammar Based Language Models

abstract: In this short note we explore what is needed for the unsupervised training of graph language models based on link grammars. First, we introduce the ter-mination tags formalism required to build a language model based on a link grammar formalism of Sleator and Temperley [21] and discuss the influence of context on the unsupervised learning of link grammars. Second, we pro-pose a statistical link grammar formalism, allowing for statistical language generation. Third, based on the above formalism, we show that the classical dissertation of Yuret [25] on discovery of linguistic relations using lexical at-traction ignores contextual properties of the language, and thus the approach to unsupervised language learning relying just on bigrams is flawed. This correlates well with the unimpressive results in unsupervised training of graph language models based on bigram approach of Yuret.


title: Parity-Check Matrix Partitioning for Efficient Layered Decoding of QC-LDPC Codes

abstract: In this paper, we consider how to partition the parity-check matrices (PCMs) to reduce the hardware complexity and computation delay for the row layered decoding of quasi-cyclic low-density parity-check (QC-LDPC) codes. First, we formulate the PCM partitioning as an optimization problem, which targets to minimize the maximum column weight of each layer while maintaining a block cyclic shift property among different layers. As a result, we derive all the feasible solutions for the problem and propose a tight lower bound $\omega_{LB}$ on the minimum possible maximum column weight to evaluate a solution. Second, we define a metric called layer distance to measure the data dependency between consecutive layers and further illustrate how to identify the solutions with desired layer distance from those achieving the minimum value of $\omega_{LB}=1$, which is preferred to reduce computation delay. Next, we demonstrate that up-to-now, finding an optimal solution for the optimization problem with polynomial time complexity is unachievable. Therefore, both enumerative and greedy partition algorithms are proposed instead. After that, we modify the quasi-cyclic progressive edge-growth (QC-PEG) algorithm to directly construct PCMs that have a straightforward partition scheme to achieve $\omega_{LB} $ or the desired layer distance. Simulation results showed that the constructed codes have better error correction performance and smaller average number of iterations than the underlying 5G LDPC code.


title: On $m$-ovoids of finite classical polar spaces with an irreducible transitive automorphism group

abstract: In this paper, we classify the $m$-ovoids of finite classical polar spaces that admit a transitive automorphism group acting irreducibly on the ambient vector space. In particular, we obtain several new infinite families of transitive $m$-ovoids.


title: Strichartz inequality for orthonormal functions associated with Dunkl Laplacian and Hermite-Schr\"{o}dinger operators

abstract: Strichartz inequality for the solutions of free Schr\"odinger equation associated with Dunkl Hermite operator $H_\kappa$ is generalized to any system of orthonormal functions with initial data. A relation between the kernels of Schr\"odinger propagators ($e^{-it H_\kappa}$ and $e^{it\Delta_\kappa}$) associated with the Dunkl Hermite and Dunkl Laplacian operators is established using which corresponding Schtrichartz inequality for orthonormal functions associated with Dunkl Laplacian is obtained.


title: A stochastic model for the residence time of solid particles in turbulent Rayleigh-B\'enard Flow

abstract: The Pi Chamber, located at Michigan Technological University, generates moist turbulent Rayleigh-B\'{e}nard flow in order to replicate steady-state cloud conditions. We take inspiration from this setup and consider a particle-laden, convectively-driven turbulent flow using direct numerical simulation (DNS). The aim of our study is to develop a simple stochastic model that can accurately describe the residence times of the particles in the flow, this time being determined by the complex competition between the gravitational settling of the particles, and the interaction of the particles with the turbulent structures in the flow. A simple conceptual picture underlies the stochastic model, namely that the particles take repeated trips between the top and bottom boundaries, driven by the convective cells that occur in Rayleigh-B\'{e}nard turbulence, and that their residence times are determined by the time it takes to complete one of these trips, which varies from one trip to another, and the probability of falling out to the bottom boundary after each trip. Despite the simplicity of the model, it yields quantitatively accurate predictions of the distribution of the particle residence times in the flow. We independently vary the Stokes numbers and settling velocities in order to shed light on the independent roles that gravity and inertia play in governing these residence times.


title: Multiparty Spohn's theorem for mixed local Markovian and non-Markovian quantum dynamics

abstract: We obtain the Gorini-Kossakowski-Sudarshan-Lindblad master equation for two or more quantum systems connected locally to a combination of Markovian and non-Markovian heat baths. We analyze the thermodynamic quantities for such a mixed set of local environments, and derive a modified form of the Spohn's theorem for that setup. The modification of the theorem naturally leads to a witness as well as an easily computable quantifier of non-Markovianity. Furthermore, we find that for multiparty situations, where a combination of Markovian and non-Markovian heat baths are active, the response in thermodynamic system characteristics due to non-Markovian baths is prominent at times close to the initial time of evolution, whereas the long-time behavior is predominantly controlled by the Markovian ones.


title: Improving debris flow evacuation alerts in Taiwan using machine learning

abstract: Taiwan has the highest susceptibility to and fatalities from debris flows worldwide. The existing debris flow warning system in Taiwan, which uses a time-weighted measure of rainfall, leads to alerts when the measure exceeds a predefined threshold. However, this system generates many false alarms and misses a substantial fraction of the actual debris flows. Towards improving this system, we implemented five machine learning models that input historical rainfall data and predict whether a debris flow will occur within a selected time. We found that a random forest model performed the best among the five models and outperformed the existing system in Taiwan. Furthermore, we identified the rainfall trajectories strongly related to debris flow occurrences and explored trade-offs between the risks of missing debris flows versus frequent false alerts. These results suggest the potential for machine learning models trained on hourly rainfall data alone to save lives while reducing false alerts.


title: Ramsey numbers of cycles in random graphs

abstract: Let $R(C_n)$ be the Ramsey number of the cycle on $n$ vertices. We prove that, for some $C > 0$, with high probability every $2$-colouring of the edges of $G(N,p)$ has a monochromatic copy of $C_n$, as long as $N\geq R(C_n) + C/p$ and $p \geq C/n$. This is sharp up to the value of $C$ and it improves results of Letzter and of Krivelevich, Kronenberg and Mond.


title: Multi-Outputs Is All You Need For Deblur

abstract: Image deblurring task is an ill-posed one, where exists infinite feasible solutions for blurry image. Modern deep learning approaches usually discard the learning of blur kernels and directly employ end-to-end supervised learning. Popular deblurring datasets define the label as one of the feasible solutions. However, we argue that it's not reasonable to specify a label directly, especially when the label is sampled from a random distribution. Therefore, we propose to make the network learn the distribution of feasible solutions, and design based on this consideration a novel multi-head output architecture and corresponding loss function for distribution learning. Our approach enables the model to output multiple feasible solutions to approximate the target distribution. We further propose a novel parameter multiplexing method that reduces the number of parameters and computational effort while improving performance. We evaluated our approach on multiple image-deblur models, including the current state-of-the-art NAFNet. The improvement of best overall (pick the highest score among multiple heads for each validation image) PSNR outperforms the compared baselines up to 0.11~0.18dB. The improvement of the best single head (pick the best-performed head among multiple heads on validation set) PSNR outperforms the compared baselines up to 0.04~0.08dB. The codes are available at https://github.com/Liu-SD/multi-output-deblur.


title: Quantum tunneling in deep potential wells and strong magnetic field revisited

abstract: Inspired by a recent paper$^*$ by C. Fefferman, J. Shapiro and M. Weinstein, we investigate quantum tunneling for a Hamiltonian with a symmetric double well and a uniform magnetic field. In the simultaneous limit of strong magnetic field and deep potential wells with disjoint supports, tunneling occurs and we derive accurate estimates of its magnitude. $^*\,$[Lower bound on quantum tunneling for strong magnetic fields. SIAM J. Math. Anal. 54(1), 1105-1130 (2022).]


title: Spatial Relation Graph and Graph Convolutional Network for Object Goal Navigation

abstract: This paper describes a framework for the object-goal navigation task, which requires a robot to find and move to the closest instance of a target object class from a random starting position. The framework uses a history of robot trajectories to learn a Spatial Relational Graph (SRG) and Graph Convolutional Network (GCN)-based embeddings for the likelihood of proximity of different semantically-labeled regions and the occurrence of different object classes in these regions. To locate a target object instance during evaluation, the robot uses Bayesian inference and the SRG to estimate the visible regions, and uses the learned GCN embeddings to rank visible regions and select the region to explore next.


title: RL-DistPrivacy: Privacy-Aware Distributed Deep Inference for low latency IoT systems

abstract: Although Deep Neural Networks (DNN) have become the backbone technology of several ubiquitous applications, their deployment in resource-constrained machines, e.g., Internet of Things (IoT) devices, is still challenging. To satisfy the resource requirements of such a paradigm, collaborative deep inference with IoT synergy was introduced. However, the distribution of DNN networks suffers from severe data leakage. Various threats have been presented, including black-box attacks, where malicious participants can recover arbitrary inputs fed into their devices. Although many countermeasures were designed to achieve privacy-preserving DNN, most of them result in additional computation and lower accuracy. In this paper, we present an approach that targets the security of collaborative deep inference via re-thinking the distribution strategy, without sacrificing the model performance. Particularly, we examine different DNN partitions that make the model susceptible to black-box threats and we derive the amount of data that should be allocated per device to hide proprieties of the original input. We formulate this methodology, as an optimization, where we establish a trade-off between the latency of co-inference and the privacy-level of data. Next, to relax the optimal solution, we shape our approach as a Reinforcement Learning (RL) design that supports heterogeneous devices as well as multiple DNNs/datasets.


title: A class of static spherically symmetric solutions in $f(Q)$-gravity

abstract: We analyze a class of topological static spherically symmetric vacuum solutions in $f(Q)$-gravity. We considered an Ansatz ensuring that those solutions trivially satisfy the field equations of the theory when the non-metricity scalar is constant. In the specific, we provide and discuss local solutions in the form of black holes and traversable wormholes.


title: Power Delivery for Ultra-Large-Scale Applications on Si-IF

abstract: In recent years, with the rise of artificial intelligence and big data, there is an even greater demand for scaling out computing and memory capacity. Silicon interconnect fabric (Si-IF), a wafer-scale integration platform, promotes a paradigm shift in packaging features and enables ultra-large-scale systems, while significantly improving communication bandwidth and latency. Such systems are expected to dissipate tens of kilowatts of power. Designing an efficient and robust power delivery methodology for these high power applications is a key challenge in the enablement of the Si-IF platform. Based on several figure-of-merit parameters, an efficient power delivery methodology is matched with each of three candidate applications on the Si-IF, namely, artificial intelligence accelerators, high-performance computing, and neuromorphic computing. The proposed power delivery approaches were simulated and exhibit compatibility with the relevant ultra-large-scale application on Si-IF. The simulation results confirm that the dedicated power delivery topologies can support ultra-large-scale applications on the SI-IF.


title: SoK: Decentralized Finance (DeFi) Attacks

abstract: Within just four years, the blockchain-based Decentralized Finance (DeFi) ecosystem has accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in DeFi's popularity has, unfortunately, been accompanied by many impactful incidents. According to our data, users, liquidity providers, speculators, and protocol operators suffered a total loss of at least 3.24 billion USD from Apr 30, 2018 to Apr 30, 2022. Given the blockchain's transparency and increasing incident frequency, two questions arise: How can we systematically measure, evaluate, and compare DeFi incidents? How can we learn from past attacks to strengthen DeFi security? In this paper, we introduce a common reference frame to systematically evaluate and compare DeFi incidents, including both attacks and accidents. We investigate 77 academic papers, 30 audit reports, and 181 real-world incidents. Our data reveals several gaps between academia and the practitioners' community. For example, few academic papers address "price oracle attacks" and "permissonless interactions", while our data suggests that they are the two most frequent incident types (15% and 10.5% correspondingly). We also investigate potential defenses, and find that: (i) 103 (56%) of the attacks are not executed atomically, granting a rescue time frame for defenders; (ii) SoTA bytecode similarity analysis can at least detect 31 vulnerable/23 adversarial contracts; and (iii) 33 (15.3%) of the adversaries leak potentially identifiable information by interacting with centralized exchanges.


title: One-to-One correspondence of soft and hard Pomeron with the CDP of the gluon density at low $x$

abstract: The correspondence between the gluon density behavior of the color dipole picture and the two-Pomeron approach at low $x$ deep inelastic scattering is considered. For photon virtualities of $Q^{2}{\gtrsim}10~\mathrm{GeV}^{2}$, the results for the parametrization and CDP models are defined by the CDP asymptotic limit and are compatible with the soft and hard-Pomeron approach. These results show that the hard-Pomeron trajectory does not guarantee converging towards the asymptotic representation at low and large $Q^{2}$ ($Q^{2}{\lesssim}100~\mathrm{GeV}^{2}$) values in a wide range of the virtual-photon-proton energy squared. The gluon distributions can be obtained directly in terms of the proton structure functions and the running coupling and compared with the results from the GJR and MSTW parametrizations.


title: Beyond DGLAP improved saturation model

abstract: We present a modification of the DGLAP improved saturation model with respect to the nonlinear correction (NLC). The GLR-MQ improved saturation model is considered by employing the parametrization of proton structure function due to the Laplace transforms method, which preserves its behavior success in the low and high $Q^{2}$ regions. We show that the geometric scaling holds for the GLR-MQ improved model in a wide kinematic region $rQ_{s}$. These results are comparable with other models in a wide kinematic region $rQ_{s}$. The behavior of the dipole cross sections, with respect to the GLR-MQ improved saturation model, are comparable with the Color Glass Condensate (CGC) model. The model describes the dipole cross sections in the inclusive and diffractive processes. We also compare the nonlinear corrections to the impact-parameter dependent saturation (IP-Sat) model with the impact-parameter dependent color glass condensate (b-CGC) dipole model. Finally, we consider the linear and nonlinear corrections to the IP Non-Sat model. These results provide a benchmark for further investigation of QCD at small $x$ in future experiments such as the Large Hadron Collider and Future Circular Collider projects.


title: Boundary conditions for the order parameter and the proximity influenced internal phase differences in double superconducting junctions

abstract: This paper gives an overview of the unconventional dependence of internal phase differences on the external phase difference in superconductor-normal metal-superconductor (SINIS) and superconductor-superconductor-superconductor (SISIS) tunnel double junctions. The results are obtained within the Ginzburg-Landau (GL) approach that includes boundary conditions for the superconductor order parameter in the presence of a Josephson coupling through interfaces. The boundary conditions are derived within the GL theory and substantiated microscopically. The absence of the one-to-one correspondence between external $\phi$ and internal $\chi_{1,2}$ phase differences in the junctions is shown to occur in two qualitatively different ways, both of which result in the range of $\chi_{1,2}$ reduced and prevent the $4\pi$-periodic current-phase relation $j=j_c\sin\frac{\phi}{2}$. In SINIS junctions, the effect of the supercurrent-induced phase incursion $\varphi$ between the end faces of the central electrode of mesoscopic length $L$ can play a crucial role. In SISIS junctions, there occurs the regime of interchanging modes, which is modified as $L$ decreases. The proximity and pair breaking effects in the double junctions with closely spaced interfaces are addressed.


title: LAB-Net: LAB Color-Space Oriented Lightweight Network for Shadow Removal

abstract: This paper focuses on the limitations of current over-parameterized shadow removal models. We present a novel lightweight deep neural network that processes shadow images in the LAB color space. The proposed network termed "LAB-Net", is motivated by the following three observations: First, the LAB color space can well separate the luminance information and color properties. Second, sequentially-stacked convolutional layers fail to take full use of features from different receptive fields. Third, non-shadow regions are important prior knowledge to diminish the drastic color difference between shadow and non-shadow regions. Consequently, we design our LAB-Net by involving a two-branch structure: L and AB branches. Thus the shadow-related luminance information can well be processed in the L branch, while the color property is well retained in the AB branch. In addition, each branch is composed of several Basic Blocks, local spatial attention modules (LSA), and convolutional filters. Each Basic Block consists of multiple parallelized dilated convolutions of divergent dilation rates to receive different receptive fields that are operated with distinct network widths to save model parameters and computational costs. Then, an enhanced channel attention module (ECA) is constructed to aggregate features from different receptive fields for better shadow removal. Finally, the LSA modules are further developed to fully use the prior information in non-shadow regions to cleanse the shadow regions. We perform extensive experiments on the both ISTD and SRD datasets. Experimental results show that our LAB-Net well outperforms state-of-the-art methods. Also, our model's parameters and computational costs are reduced by several orders of magnitude. Our code is available at https://github.com/ngrxmu/LAB-Net.


title: YOLOX-PAI: An Improved YOLOX, Stronger and Faster than YOLOv6

abstract: We develop an all-in-one computer vision toolbox named EasyCV to facilitate the use of various SOTA computer vision methods. Recently, we add YOLOX-PAI, an improved version of YOLOX, into EasyCV. We conduct ablation studies to investigate the influence of some detection methods on YOLOX. We also provide an easy use for PAI-Blade which is used to accelerate the inference process based on BladeDISC and TensorRT. Finally, we receive 42.8 mAP on COCO dateset within 1.0 ms on a single NVIDIA V100 GPU, which is a bit faster than YOLOv6. A simple but efficient predictor api is also designed in EasyCV to conduct end2end object detection. Codes and models are now available at: https://github.com/alibaba/EasyCV.


title: Dynamics of composite symplectic Dehn twists

abstract: This paper appears as the confluence of hyperbolic dynamics, symplectic topology and low dimensional topology, etc. We show that composite symplectic Dehn twists have certain form of nonuniform hyperbolicity that can be used to give positive topological entropy as well as two families of local stable and unstable Lagrangian manifolds, as signatures of pseudo Anosov mapping classes. Moreover, we also show that the rank of the Floer cohomology group grows exponentially under iterations.


title: Power Graphs of Finite Groups

abstract: The power graph $\mathcal{P}(G)$ of a group $G$ is the graph whose vertex set is $G$, having an edge between two distinct vertices if one is the power of the other. The directed power graph $\vec{\mathcal{P}}(G)$ of a group $G$ is the digraph whose vertex set is $G$, having an arc from $x$ to $y$, with $x\ne y$, whenever $y$ is a power of $x$. We rewrite two Cameron's articles concerning the reconstruction of $\vec{\mathcal{P}}(G)$ from $\mathcal{P}(G)$. We correct mistakes that appear in the papers. In particular, we add missing cases needed to complete the main theorems of these articles. We also study the quotient of the power graph under some equivalence relations. We close the thesis with lower bounds for the maximum length of a cycle in the power graph of a group.


title: On state dependent batch service queue with single and multiple vacation under Markovian arrival process

abstract: An infinite buffer batch service vacation queue has been studied where service rate of the batch is dependent on the size of the batch and vacation rate is dependent on the queue size at vacation initiation epoch. The arrivals follow the Markovian arrival process (MAP). For service rule, general bulk service (GBS) rule is considered. The service time and vacation time both are considered to be generally distributed. Several joint distributions of interest are obtained using the bivariate vector generating function method and the supplementary variable technique (SVT). Numerical results are presented to show the behavior of the system performance to validate the analytical results.


title: Addressing energy density functionals in the language of path-integrals I: Comparative study of diagrammatic techniques applied to the (0+0)-D $O(N)$-symmetric $\varphi^{4}$-theory

abstract: The energy density functional (EDF) method is currently the only microscopic theoretical approach able to tackle the entire nuclear chart. Nevertheless, it suffers from limitations resulting from its empirical character and deteriorating its reliability. This paper is part of a larger program that aims at formulating the EDF approach as an effective field theory (EFT) in order to overcome these limitations. A relevant framework to achieve this is the path-integral (PI) formulation of quantum field theory (QFT). The latter indeed provides a wide variety of treatments of the many-body problem well suited to deal with non-perturbative interactions and to exploit a Lagrangian resulting from an EFT as a starting point. While developing the formalism in a general setting, we present a comparative study of such techniques applied to a toy model, i.e. the (0+0)-D $O(N)$-symmetric $\varphi^{4}$-theory. More specifically, our focus will be on the following diagrammatic techniques: loop expansion (LE), optimized perturbation theory (OPT) and self-consistent perturbation theory (SCPT). With these methods, we notably address the spontaneous breakdown of the $O(N)$ symmetry with care especially since spontaneous symmetry breakings (SSBs) play a paramount role in current implementations of the EDF approach.


title: Characterization of exoplanetary atmospheres with SLOPpy

abstract: Transmission spectroscopy is among the most fruitful techniques to infer the main opacity sources present in the upper atmosphere of a transiting planet and to constrain the composition of the thermosphere and of the unbound exosphere. Not having a public tool able to automatically extract a high-resolution transmission spectrum creates a problem of reproducibility for scientific results. As a consequence, it is very difficult to compare the results obtained by different research groups and to carry out a homogeneous characterization of the exoplanetary atmospheres. In this work, we present a standard, publicly available, user-friendly tool, named SLOPpy (Spectral Lines Of Planets with python), to automatically extract and analyze the optical transmission spectrum of exoplanets as accurately as possible. Several data reduction steps are first performed by SLOPpy to correct the input spectra for sky emission, atmospheric dispersion, the presence of telluric features and interstellar lines, center-to-limb variation, and Rossiter-McLaughlin effect, thus making it a state-of-the-art tool. The pipeline has successfully been applied to HARPS and HARPS-N data of ideal targets for atmospheric characterization. To first assess the code's performance and to validate its suitability, here we present a comparison with the results obtained from the previous analyses of other works on HD 189733 b, WASP-76 b, WASP-127 b, and KELT-20 b. Comparing our results with other works that have analyzed the same datasets, we conclude that this tool gives results in agreement with the published results within 1$\sigma$ most of the time, while extracting, with SLOPpy, the planetary signal with a similar or higher statistical significance.


title: Nearly parallel $G_2$-manifolds: formality and associative submanifolds

abstract: We construct new examples of non-formal simply connected compact Sasaki-Einstein 7-manifolds. We determine the minimal model of the total space of any fibre bundle over $CP^2$ with fibre $S^1\times S^2$ or $S^3/Z_p$ ($p>0$), and we apply this to conclude that the Aloff-Wallach spaces are formal. We also find examples of formal manifolds and non-formal manifolds, which are locally conformal parallel $Spin(7)$-manifolds. On the other hand, we construct associative minimal submanifolds in the Aloff-Wallach spaces and in any regular Sasaki-Einstein 7-manifold; in particular, in the space $Q(1,1,1)=(SU(2) \times SU(2) \times SU(2))/ (U(1) \times U(1))$ with the natural $S^1$-family of nearly parallel $G_2$-structures induced by the Sasaki-Einstein structure. In each of those cases, we obtain a family of non-trivial associative deformations.


title: Nanoscale Electric Field Sensing Using Levitated Nano-resonator with Net Charge

abstract: Nanomechanical resonator based on levitated particle exhibits unique advantages in the development of ultrasensitive electric field detector. We demonstrate a three-dimensional, high-sensitivity electric field measurement technology using the optically levitated nanoparticle with a known net charge. By changing the relative position between nanoparticle and parallel electrodes, the three-dimensional electric field distribution is scanned. The measured noise equivalent electric intensity with charge amount of 100 reaches the order of {\rm{1\mu V/cm/H}}{{\rm{z}}^{{\rm{1/2}}}} at 1.4 \times {10^{ - 7}}mbar. Linearity analysis near resonance frequency shows a measured linear range over 91dB limited only by the maximum output voltage of the driving equipment. This work may provide avenue for developing a high-sensitive electric field sensor based on optically levitated nano-resonator.


title: Downfolded Configuration Interaction for Chemically Accurate Electron Correlation

abstract: A model subspace configuration interaction method is developed to obtain chemically accurate electron correlations by diagonalising a very compact effective Hamiltonian of realistic molecule. The construction of the effective Hamiltonian is deterministic and implemented by iteratively building a sufficiently small model subspace comprising local clusters of a small number of determinants. Through the low-rank reciprocal of interaction Hamiltonian, important determinants in the outer subspace are identified to couple with the subspace of pairwise clusters. This method avoids direct ordering and selection of the configurations in the entire space. We demonstrate the efficiency and accuracy of this theory for several molecules of the multireference nature relevant to chemistry.


title: TrojViT: Trojan Insertion in Vision Transformers

abstract: Vision Transformers (ViTs) have demonstrated the state-of-the-art performance in various vision-related tasks. The success of ViTs motivates adversaries to perform backdoor attacks on ViTs. Although the vulnerability of traditional CNNs to backdoor attacks is well-known, backdoor attacks on ViTs are seldom-studied. Compared to CNNs capturing pixel-wise local features by convolutions, ViTs extract global context information through patches and attentions. Na\"ively transplanting CNN-specific backdoor attacks to ViTs yields only a low clean data accuracy and a low attack success rate. In this paper, we propose a stealth and practical ViT-specific backdoor attack $TrojViT$. Rather than an area-wise trigger used by CNN-specific backdoor attacks, TrojViT generates a patch-wise trigger designed to build a Trojan composed of some vulnerable bits on the parameters of a ViT stored in DRAM memory through patch salience ranking and attention-target loss. TrojViT further uses minimum-tuned parameter update to reduce the bit number of the Trojan. Once the attacker inserts the Trojan into the ViT model by flipping the vulnerable bits, the ViT model still produces normal inference accuracy with benign inputs. But when the attacker embeds a trigger into an input, the ViT model is forced to classify the input to a predefined target class. We show that flipping only few vulnerable bits identified by TrojViT on a ViT model using the well-known RowHammer can transform the model into a backdoored one. We perform extensive experiments of multiple datasets on various ViT models. TrojViT can classify $99.64\%$ of test images to a target class by flipping $345$ bits on a ViT for ImageNet.Our codes are available at https://github.com/mxzheng/TrojViT


title: Injectively closed commutative semigroups

abstract: Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is $injectively$ $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in\mathcal C$ containing $X$ as a subsemigroup. Let $\mathsf{T_{\!2}S}$ (resp. $\mathsf{T_{\!z}S}$) be the class of Hausdorff (and zero-dimensional) topological semigroups. We prove that a commutative semigroup $X$ is injectively $\mathsf{T_{\!2}S}$-closed if and only if $X$ is injectively $\mathsf{T_{\!z}S}$-closed if and only if $X$ is bounded, chain-finite, group-finite, nonsingular and not Clifford-singular.


title: Snowmass Instrumentation Frontier IF02 Topical Group Report: Photon Detectors

abstract: The Photon Detectors Topical Group has identified two areas where focused R&D over the next decade could have a large impact in High Energy Physics Experiments. These areas described here are characterized by the convergence of a compelling scientific need and recent technological advances. Key messages: IF02-1 The development of detectors with the capability of counting single photons from IR to UV has been a very active area in the last decade. We now need to pursue R\&D to implement these in HEP experiments by making larger arrays, improving their energy resolution, timing, dark counts rates and extending their wavelength coverage. IF02-2 New photon detector developments are being considered for planned future neutrino experiments going beyond the current technologies. Concept demonstrations have been done, and we now need to move from a conceptual phase to working detectors. The science for generation, detection and manipulation of light is extremely fast moving and driven mainly from outside our field. The HEP community would benefit from resources dedicated to the implementation of these advanced photonic technologies in particle physics experiments.


title: On highly equivalent non-isomorphic countable models of arithmetic and set theory

abstract: It is well-known that the first order Peano axioms PA have a continuum of non-isomorphic countable models. The question, how close to being isomorphic such countable models can be, seems to be less investigated. A measure of closeness to isomorphism of countable models is the length of back-and-forth sequences that can be established between them. We show that for every countable ordinal alpha there are countable non-isomorphic models of PA with a back-and-forth sequence of length alpha between them. This implies that the Scott height (or rank) of such models is bigger than $\alpha$. We also prove the same result for models of ZFC.


title: QoS-based Packet Scheduling Algorithms for Heterogeneous LTE-Advanced Networks, Concepts and a Literature Survey

abstract: The number of LTE users and their applications has increased significantly in the last decade, which increased the demand on the mobile network. LTE-Advanced comes with many features that can support this increasing demand. LTE-Advanced supports Heterogeneous Networks deployment, in which it consists of a mix of macro-cells, remote radio heads, and low power nodes such as Pico-cells, and Femto-cells. Embedding this mix of base-stations in a macro-cellular network allows for achieving significant gains in coverage, throughput and system capacity compared to the use of macro-cells only. These base-stations can operate on the same wireless channel as the macro-cellular network, which will provide higher spatial reuse via cell splitting. Also, it allows network operators to support higher data traffic by offloading it to smaller cells, such as Femto-cells. Hence, it enables network operators to provide their growing number of users with the required Quality of Service that meets with their service demands. In-order for the network operators to make the best out of the heterogeneous LTE-Advanced network, they need to use QoS-based packet scheduling algorithms that can efficiently manage the spectrum resources in the heterogeneous deployment. In this paper, we survey Quality of Service based packet scheduling algorithms that were proposed in the literature for the use of packet scheduling in Heterogeneous LTE-Advanced Networks. We start by explaining the concepts of QoS in LTE, heterogeneous LTE-Advanced networks, and how traffic is classified within a packet scheduling architecture for heterogeneous LTE-Advanced networks. Then, by summarising the proposed QoS-based packet scheduling algorithms in the literature for heterogeneous LTE-Advanced Networks, and for Femtocells LTE-Advanced Networks. And finally, we provide some concluding remarks in the last section.


title: CrackSeg9k: A Collection and Benchmark for Crack Segmentation Datasets and Frameworks

abstract: The detection of cracks is a crucial task in monitoring structural health and ensuring structural safety. The manual process of crack detection is time-consuming and subjective to the inspectors. Several researchers have tried tackling this problem using traditional Image Processing or learning-based techniques. However, their scope of work is limited to detecting cracks on a single type of surface (walls, pavements, glass, etc.). The metrics used to evaluate these methods are also varied across the literature, making it challenging to compare techniques. This paper addresses these problems by combining previously available datasets and unifying the annotations by tackling the inherent problems within each dataset, such as noise and distortions. We also present a pipeline that combines Image Processing and Deep Learning models. Finally, we benchmark the results of proposed models on these metrics on our new dataset and compare them with state-of-the-art models in the literature.


title: Howe duality and dynamical Weyl group

abstract: We give a fermionic formula for $R$-matrices of exterior powers of the vector representations of $U_q(\widehat{ \mathfrak{gl}}_N)$ and relate it to the dynamical Weyl group of Tarasov--Varchenko and Etingof--Varchenko, via a Howe ($\mathfrak{gl}_N,\mathfrak{gl}_M)$-duality. In the limit $N\to\infty$ we obtain $R$-matrices for Fock spaces. As a consequence of our result we obtain a dynamical action of the Weyl group on integrable $U_q\mathfrak{gl}_M$-modules, extending the known action on zero weight spaces. In an Appendix by Anfisa Gurenkova it is shown that the latter property also holds if we replace $\mathfrak{gl}_M$ by a general symmetrizable Kac--Moody algebra.


title: Lossy Image Compression with Quantized Hierarchical VAEs

abstract: Recent research has shown a strong theoretical connection between variational autoencoders (VAEs) and the rate-distortion theory. Motivated by this, we consider the problem of lossy image compression from the perspective of generative modeling. Starting with ResNet VAEs, which are originally designed for data (image) distribution modeling, we redesign their latent variable model using a quantization-aware posterior and prior, enabling easy quantization and entropy coding at test time. Along with improved neural network architecture, we present a powerful and efficient model that outperforms previous methods on natural image lossy compression. Our model compresses images in a coarse-to-fine fashion and supports parallel encoding and decoding, leading to fast execution on GPUs. Code is available at https://github.com/duanzhiihao/lossy-vae.


title: Locality of gapped ground states in systems with power-law decaying interactions

abstract: It has been proved that in gapped ground states of locally-interacting quantum systems, the effect of local perturbations decays exponentially with distance. However, in systems with power-law ($1/r^\alpha$) decaying interactions, no analogous statement has been shown, and there are serious mathematical obstacles to proving it with existing methods. In this paper we prove that when $\alpha$ exceeds the spatial dimension $D$, the effect of local perturbations on local properties a distance $r$ away is upper bounded by a power law $1/r^{\alpha_1}$ in gapped ground states, provided that the perturbations do not close the spectral gap. The power-law exponent $\alpha_1$ is tight if $\alpha>2D$ and interactions are two-body, where we have $\alpha_1=\alpha$. The proof is enabled by a method that avoids the use of quasiadiabatic continuation and incorporates techniques of complex analysis. This method also improves bounds on ground state correlation decay, even in short-range interacting systems. Our work generalizes the fundamental notion that local perturbations have local effects to power-law interacting systems, with broad implications for numerical simulations and experiments.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP


title: Adversarial Robustness for Tabular Data through Cost and Utility Awareness

abstract: Many safety-critical applications of machine learning, such as fraud or abuse detection, use data in tabular domains. Adversarial examples can be particularly damaging for these applications. Yet, existing works on adversarial robustness primarily focus on machine-learning models in image and text domains. We argue that, due to the differences between tabular data and images or text, existing threat models are not suitable for tabular domains. These models do not capture that the costs of an attack could be more significant than imperceptibility, or that the adversary could assign different values to the utility obtained from deploying different adversarial examples. We demonstrate that, due to these differences, the attack and defense methods used for images and text cannot be directly applied to tabular settings. We address these issues by proposing new cost and utility-aware threat models that are tailored to the adversarial capabilities and constraints of attackers targeting tabular domains. We introduce a framework that enables us to design attack and defense mechanisms that result in models protected against cost and utility-aware adversaries, for example, adversaries constrained by a certain financial budget. We show that our approach is effective on three datasets corresponding to applications for which adversarial examples can have economic and social implications.


title: Emergent Spatial Characteristics from Strategic Games Simulated on Random and Real Networks

abstract: Complex networks are a great tool for simulating the outcomes of different strategies used within the iterated prisoners' dilemma game. However, because the strategies themselves rely on the connection between nodes, then initial network structure should have an impact on the progression of the game. By defining each interaction in terms of a prisoner's dilemma and using its payoff matrix as a basis for investigation, we implemented players with various interaction and edge attachment strategies, and ran this dynamic process on real and random networks with varying network structure. We found that, both network size and small world properties played an important role in not only deciding the convergence rate of the simulation but also the dominant status of nodes, under the conditions where identical strategies are employed by every player.


title: Algebraic properties of the values of newform Dedekind sums

abstract: We study the image of a generalized Dedekind sum relating to the weight zero Eisenstein series $E_{\chi_1,\chi_2}$. We show that the image is a lattice of full rank inside a number field determined by the characters $\chi_1$ and $\chi_2$. We also give a generalization of Knopp's identity for the classical Dedekind sum.


title: On Biased Behavior of GANs for Face Verification

abstract: Deep Learning systems need large data for training. Datasets for training face verification systems are difficult to obtain and prone to privacy issues. Synthetic data generated by generative models such as GANs can be a good alternative. However, we show that data generated from GANs are prone to bias and fairness issues. Specifically, GANs trained on FFHQ dataset show biased behavior towards generating white faces in the age group of 20-29. We also demonstrate that synthetic faces cause disparate impact, specifically for race attribute, when used for fine tuning face verification systems.


title: Determinantal Conditions for Modules of Generalized Splines

abstract: Generalized splines on a graph $G$ with edge labels in a commutative ring $R$ are vertex labelings such that if two vertices share an edge in $G$, the difference between the vertex labels lies in the ideal generated by the edge label. When $R$ is an integral domain, the set of all such splines is a finitely generated $R$-module $R_G$ of rank $n$, the number of vertices of $G$. We find determinantal conditions on subsets of $R_G$ that determine whether $R_G$ is a free module, and if so, whether a so called "flow-up class basis" exists.


title: A new class of regular black hole solutions with quasi-localized sources of matter in $(2 + 1)$ dimensions

abstract: This paper investigates a new class of regular black hole solutions in (2 + 1)-dimensions by introducing a generalization of the quasi-localized matter model proposed by Estrada and Tello-Ortiz. Initially, we try to physically interpret the matter source encoded in the energy-momentum tensor as originating from nonlinear electrodynamics. We show, however, that the required conditions for the quasi-locality of the energy density are incompatible with the expected behavior of nonlinear electrodynamics, which must tend to Maxwell's theory on the asymptotic limit. Despite this, we propose a generalization for the quasi-localized energy density that encompasses the existing models in the literature and allows us to obtain a class of regular black hole solutions exhibiting remarkable features on the event horizons and their thermodynamic properties. Furthermore, since the usual version of the first law of thermodynamics, due to the presence of the matter fields, leads to incorrect values of entropy and thermodynamics volume for regular black holes, we propose a new version of the first law for regular black holes.


title: A Diversity-Aware Domain Development Methodology

abstract: The development of domain ontological models, though being a mature research arena backed by well-established methodologies, still suffer from two key shortcomings. Firstly, the issues concerning the semantic persistency of ontology concepts and their flexible reuse in domain development employing existing approaches. Secondly, due to the difficulty in understanding and reusing top-level concepts in existing foundational ontologies, the obfuscation regarding the semantic nature of domain representations. The paper grounds the aforementioned shortcomings in representation diversity and proposes a three-fold solution - (i) a pipeline for rendering concepts reuse-ready, (ii) a first characterization of a minimalistic foundational knowledge model, named foundational teleology, semantically explicating foundational distinctions enforcing the static as well as dynamic nature of domain representations, and (iii) a flexible, reuse-native methodology for diversity-aware domain development exploiting solutions (i) and (ii). The preliminary work reported validates the potentiality of the solution components.


title: Towards Improving Operation Economics: A Bilevel MIP-Based Closed-Loop Predict-and-Optimize Framework for Prescribing Unit Commitment

abstract: Generally, system operators conduct the economic operation of power systems in an open-loop predict-then-optimize process: the renewable energy source (RES) availability and system reserve requirements are first predicted; given the predictions, system operators solve optimization models such as unit commitment (UC) to determine the economical operation plans accordingly. However, such an open-loop process could essentially compromise the operation economics because its predictors myopically seek to improve the immediate statistical prediction errors instead of the ultimate operation cost. To this end, this paper presents a closed-loop predict-and-optimize framework, offering a prescriptive UC to improve the operation economics. First, a bilevel mixed-integer programming model is leveraged to train cost-oriented predictors tailored for optimal system operations: the upper level trains the RES and reserve predictors based on their induced operation cost; the lower level, with given predictions, mimics the system operation process and feeds the induced operation cost back to the upper level. Furthermore, the embeddability of the trained predictors grants a prescriptive UC model, which simultaneously provides RES-reserve predictions and UC decisions with enhanced operation economics. Finally, numerical case studies using real-world data illustrate the potential economic and practical advantages of prescriptive UC over deterministic, robust, and stochastic UC models.


title: SA: Sliding attack for synthetic speech detection with resistance to clipping and self-splicing

abstract: Deep neural networks are vulnerable to adversarial examples that mislead models with imperceptible perturbations. In audio, although adversarial examples have achieved incredible attack success rates on white-box settings and black-box settings, most existing adversarial attacks are constrained by the input length. A More practical scenario is that the adversarial examples must be clipped or self-spliced and input into the black-box model. Therefore, it is necessary to explore how to improve transferability in different input length settings. In this paper, we take the synthetic speech detection task as an example and consider two representative SOTA models. We observe that the gradients of fragments with the same sample value are similar in different models via analyzing the gradients obtained by feeding samples into the model after cropping or self-splicing. Inspired by the above observation, we propose a new adversarial attack method termed sliding attack. Specifically, we make each sampling point aware of gradients at different locations, which can simulate the situation where adversarial examples are input to black-box models with varying input lengths. Therefore, instead of using the current gradient directly in each iteration of the gradient calculation, we go through the following three steps. First, we extract subsegments of different lengths using sliding windows. We then augment the subsegments with data from the adjacent domains. Finally, we feed the sub-segments into different models to obtain aggregate gradients to update adversarial examples. Empirical results demonstrate that our method could significantly improve the transferability of adversarial examples after clipping or self-splicing. Besides, our method could also enhance the transferability between models based on different features.


title: Transmission gaps in phosphorene superlattice

abstract: Our research focuses on the transmission gaps of charge carriers passing through phosphorene superlattice, which are made up of a series of barriers and wells generating $n$ identical cells. We determine the solutions of the energy spectrum and then transmission using Bloch's theorem and the transfer-matrix approach. The analysis will be done on the impact of incident energy, barrier height, potential widths, period number, and transverse wave vector on transmission. We show that pseudo-gaps appear and turn into real transmission gaps by increasing the number of cells. Their number, width, and position can be tuned by changing the physical parameters of the structure. At normal incidence, a forbidden gap is found, meaning that there is no Klein tunneling effect, in contrast to the case of graphene. Our findings can be used to create a variety of phosphorene-based electronic devices.


title: Apiary: A DBMS-Integrated Transactional Function-as-a-Service Framework

abstract: Developers increasingly use function-as-a-service (FaaS) platforms for data-centric applications that perform low-latency and transactional operations on data, such as for microservices or web serving. Unfortunately, existing FaaS platforms support these applications poorly because they physically and logically separate application logic, executed in cloud functions, from data management, done in interactive transactions accessing remote storage. Physical separation harms performance while logical separation complicates efficiently providing transactional guarantees and fault tolerance. This paper introduces Apiary, a novel DBMS-integrated FaaS platform for deploying and composing fault-tolerant transactional functions. Apiary physically co-locates and logically integrates function execution and data management by wrapping a distributed DBMS engine and using it as a unified runtime for function execution, data management, and operational logging, thus providing similar or stronger transactional guarantees as comparable systems while greatly improving performance and observability. To allow developers to write complex stateful programs, we leverage this integration to enable efficient and fault-tolerant function composition, building a frontend for orchestrating workflows of functions with the guarantees that each workflow runs to completion and each function in a workflow executes exactly once. We evaluate Apiary against research and production FaaS platforms and show it outperforms them by 2--68x on microservice workloads by reducing communication overhead.


title: On linear non-uniform cellular automata: duality and dynamics

abstract: For linear non-uniform cellular automata (NUCA) over an arbitrary universe, we introduce and investigate their dual linear NUCA. Generalizing results for linear CA, we show that dynamical properties namely pre-injectivity, resp. injectivity, resp. stably injectivity, resp. invertibility of a linear NUCA is equivalent to surjectivity, resp. post-surjectivity, resp. stably post-surjectivity, resp. invertibility of the dual linear NUCA. However, while bijectivity is a dual property for linear CA, it is no longer the case for linear NUCA. We prove that for linear NUCA, stable injectivity and stable post-surjectivity are precisely characterized respectively by left invertibility and right invertibility and that a linear NUCA is invertible if and only if it is pre-injective and stably post-surjective. Moreover, we show that linear NUCA satisfy the important shadowing property. Applications on the dual surjunctivity are also obtained.


title: Self-Supervised Face Presentation Attack Detection with Dynamic Grayscale Snippets

abstract: Face presentation attack detection (PAD) plays an important role in defending face recognition systems against presentation attacks. The success of PAD largely relies on supervised learning that requires a huge number of labeled data, which is especially challenging for videos and often requires expert knowledge. To avoid the costly collection of labeled data, this paper presents a novel method for self-supervised video representation learning via motion prediction. To achieve this, we exploit the temporal consistency based on three RGB frames which are acquired at three different times in the video sequence. The obtained frames are then transformed into grayscale images where each image is specified to three different channels such as R(red), G(green), and B(blue) to form a dynamic grayscale snippet (DGS). Motivated by this, the labels are automatically generated to increase the temporal diversity based on DGS by using the different temporal lengths of the videos, which prove to be very helpful for the downstream task. Benefiting from the self-supervised nature of our method, we report the results that outperform existing methods on four public benchmarks, namely, Replay-Attack, MSU-MFSD, CASIA-FASD, and OULU-NPU. Explainability analysis has been carried out through LIME and Grad-CAM techniques to visualize the most important features used in the DGS.


title: Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above

abstract: OpenACC is a high-level directive-based parallel programming model that can manage the sophistication of heterogeneity in architectures and abstract it from the users. The portability of the model across CPUs and accelerators has gained the model a wide variety of users. This means it is also crucial to analyze the reliability of the compilers' implementations. To address this challenge, the OpenACC Validation and Verification team has proposed a validation testsuite to verify the OpenACC implementations across various compilers with an infrastructure for a more streamlined execution. This paper will cover the following aspects: (a) the new developments since the last publication on the testsuite, (b) outline the use of the infrastructure, (c) discuss tests that highlight our workflow process, (d) analyze the results from executing the testsuite on various systems, and (e) outline future developments.


title: An upper limit on [OIII] 88 $\mu$m and 1.2 mm continuum emission from a JWST $z \approx 12-13$ galaxy candidate with ALMA

abstract: A number of new $z>11$ galaxy candidates have recently been identified based on public James Webb Space Telescope (JWST) NIRCam observations. Spectroscopic confirmation of these candidates is necessary to robustly measure their redshift and put them in the context of our understanding of the buildup of galaxies in the early Universe. GLASS-z13 is one of these candidates, with a reported photometric redshift $z>11.9$. I present publicly available Atacama Large Millimeter/submillimeter Array (ALMA) band 6 Director's Discretionary Time observations (project 2021.A.00020.S; PI T. Bakx), taken to acquire a spectroscopic redshift for GLASS-z13 by searching for [OIII] line emission in the redshift range $z=11.9-13.5$. No [OIII] emission is detected in integrated spectra extracted within an aperture around GLASS-z13, nor when using an automated line finding algorithm (applying different uv-weighting strategies for the imaging). 1.2 mm continuum emission associated to GLASS-z13 is not detected either. If GLASS-z13 is at z$\approx$12-13, this implies a 3-$\sigma$ upper limit on the [OIII] and rest-frame $\sim$90 $\mu$m continuum emission of $\sim1\times10^8\,\rm{L}_\odot$ and 10.8 $\mu$Jy, respectively. The non-detection of [OIII] and continuum emission does not necessarily imply that GLASS-z13 is not at $z\approx12-13$. It can also be explained by a low metallicity ($\sim 0.2\,\rm{Z}_\odot$ or lower) and/or high-density (at least 100 $\rm{cm}^{-3}$) interstellar medium. This work demonstrates the synergy between ALMA and JWST to study the properties of the first galaxies, although JWST/NIRSpec spectroscopy will be necessary to confirm or reject the high photometric-redshift of GLASS-z13.


title: Modelling structural zeros in compositional data via a zero-censored multivariate normal model

abstract: We present a new model for analyzing compositional data with structural zeros. Inspired by \cite{butler2008} who suggested a model in the presence of zero values in the data we propose a model that treats the zero values in a different manner. Instead of projecting every zero value towards a vertex, we project them onto their corresponding edge and fit a zero-censored multivariate model.


title: $\ell^2$ Inference for Change Points in High-Dimensional Time Series via a Two-Way MOSUM

abstract: We propose an inference method for detecting multiple change points in high-dimensional time series, targeting dense or spatially clustered signals. Our method aggregates moving sum (MOSUM) statistics cross-sectionally by an $\ell^2$-norm and maximizes them over time. We further introduce a novel Two-Way MOSUM, which utilizes spatial-temporal moving regions to search for breaks, with the added advantage of enhancing testing power when breaks occur in only a few groups. The limiting distribution of an $\ell^2$-aggregated statistic is established for testing break existence by extending a high-dimensional Gaussian approximation theorem to spatial-temporal non-stationary processes. Simulation studies exhibit promising performance of our test in detecting non-sparse weak signals. Two applications, analyzing equity returns and COVID-19 cases in the United States, showcase the real-world relevance of our proposed algorithms.


title: Highly-twisted states of light from a high quality factor photonic crystal ring

abstract: Twisted light with orbital angular momentum (OAM) has been extensively studied for applications in quantum and classical communications, microscopy, and optical micromanipulation. Ejecting the naturally high angular momentum whispering gallery modes (WGMs) of an optical microresonator through a grating-assisted mechanism, where the generated OAM number ($l$) is the difference of the angular momentum of the WGM and that of the grating, provides a scalable, chip-integrated solution for OAM generation. However, demonstrated OAM microresonators have exhibited a much lower quality factor ($Q$) than conventional WGM resonators (by $>100\times$), and an understanding of the ultimate limits on $Q$ has been lacking. This is crucial given the importance of $Q$ in enhancing light-matter interactions, such as single emitter coupling and parametric nonlinear processes, that underpin many important microresonator applications. Moreover, though high-OAM states are often desirable, the limits on what is achievable in a microresonator configuration are not well understood. Here, we provide new physical insight on these two longstanding questions, through understanding OAM from the perspective of mode coupling in a photonic crystal ring, and linking it to the commonly studied case of coherent backscattering between counter-propagating WGMs. In addition to demonstrating high-$Q$ ($10^5$ to $10^6$), high estimated OAM ejection efficiency (up to $90~\%$), and high-OAM number (up to $l$ = 60), our empirical model is supported by experiments and provides a quantitative explanation for the behavior of $Q$ and OAM ejection efficiency with $l$ for the first time. The state-of-the-art performance and new understanding of the physics of microresonator OAM generation will open new opportunities for realizing OAM applications using chip-integrated technologies.


title: Pressure-robust enriched Galerkin methods for the Stokes equations

abstract: In this paper, we present a pressure-robust enriched Galerkin (EG) scheme for solving the Stokes equations, which is an enhanced version of the EG scheme for the Stokes problem proposed in [Son-Young Yi, Xiaozhe Hu, Sanghyun Lee, James H. Adler, An enriched Galerkin method for the Stokes equations, Computers and Mathematics with Applications, accepted, 2022]. The pressure-robustness is achieved by employing a velocity reconstruction operator on the load vector on the right-hand side of the discrete system. An a priori error analysis proves that the velocity error is independent of the pressure and viscosity. We also propose and analyze a perturbed version of our pressure-robust EG method that allows for the elimination of the degrees of freedom corresponding to the discontinuous component of the velocity vector via static condensation. The resulting method can be viewed as a stabilized $H^1$-conforming $\mathbb{P}_1$-$\mathbb{P}_0$ method. Further, we consider efficient block preconditioners whose performances are independent of the viscosity. The theoretical results are confirmed through various numerical experiments in two and three dimensions.


title: SupervisorBot: NLP-Annotated Real-Time Recommendations of Psychotherapy Treatment Strategies with Deep Reinforcement Learning

abstract: We propose a recommendation system that suggests treatment strategies to a therapist during the psychotherapy session in real-time. Our system uses a turn-level rating mechanism that predicts the therapeutic outcome by computing a similarity score between the deep embedding of a scoring inventory, and the current sentence that the patient is speaking. The system automatically transcribes a continuous audio stream and separates it into turns of the patient and of the therapist and perform real-time inference of their therapeutic working alliance. The dialogue pairs along with their computed working alliance as ratings are then fed into a deep reinforcement learning recommendation system where the sessions are treated as users and the topics are treated as items. Other than evaluating the empirical advantages of the core components on an existing dataset of psychotherapy sessions, we demonstrate the effectiveness of this system in a web app.


title: MDIA: A Benchmark for Multilingual Dialogue Generation in 46 Languages

abstract: Owing to the lack of corpora for low-resource languages, current works on dialogue generation have mainly focused on English. In this paper, we present mDIA, the first large-scale multilingual benchmark for dialogue generation across low- to high-resource languages. It covers real-life conversations in 46 languages across 19 language families. We present baseline results obtained by fine-tuning the multilingual, non-dialogue-focused pre-trained model mT5 as well as English-centric, dialogue-focused pre-trained chatbot DialoGPT. The results show that mT5-based models perform better on sacreBLEU and BertScore but worse on diversity. Even though promising results are found in few-shot and zero-shot scenarios, there is a large gap between the generation quality in English and other languages. We hope that the release of mDIA could encourage more works on multilingual dialogue generation to promote language diversity.


title: Geometrical Homogeneous Clustering for Image Data Reduction

abstract: In this paper, we present novel variations of an earlier approach called homogeneous clustering algorithm for reducing dataset size. The intuition behind the approaches proposed in this paper is to partition the dataset into homogeneous clusters and select some images which contribute significantly to the accuracy. Selected images are the proper subset of the training data and thus are human-readable. We propose four variations upon the baseline algorithm-RHC. The intuition behind the first approach, RHCKON, is that the boundary points contribute significantly towards the representation of clusters. It involves selecting k farthest and one nearest neighbour of the centroid of the clusters. In the following two approaches (KONCW and CWKC), we introduce the concept of cluster weights. They are based on the fact that larger clusters contribute more than smaller sized clusters. The final variation is GHCIDR which selects points based on the geometrical aspect of data distribution. We performed the experiments on two deep learning models- Fully Connected Networks (FCN) and VGG1. We experimented with the four variants on three datasets- MNIST, CIFAR10, and Fashion-MNIST. We found that GHCIDR gave the best accuracy of 99.35%, 81.10%, and 91.66% and a training data reduction of 87.27%, 32.34%, and 76.80% on MNIST, CIFAR10, and Fashion-MNIST respectively.


title: Information FOMO: The unhealthy fear of missing out on information. A method for removing misleading data for healthier models

abstract: Not all data are equal. Misleading or unnecessary data can critically hinder the accuracy of Machine Learning (ML) models. When data is plentiful, misleading effects can be overcome, but in many real-world applications data is sparse and expensive to acquire. We present a method that substantially reduces the data size necessary to accurately train ML models, potentially opening the door for many new, limited-data applications in ML. Our method extracts the most informative data, while ignoring and omitting data that misleads the ML model to inferior generalization properties. Specifically, the method eliminates the phenomena of "double descent", where more data leads to worse performance. This approach brings several key features to the ML community. Notably, the method naturally converges and removes the traditional need to divide the dataset into training, testing, and validation data. Instead, the selection metric inherently assesses testing error. This ensures that key information is never wasted in testing or validation.


title: Textwash -- automated open-source text anonymisation

abstract: The increased use of text data in social science research has benefited from easy-to-access data (e.g., Twitter). That trend comes at the cost of research requiring sensitive but hard-to-share data (e.g., interview data, police reports, electronic health records). We introduce a solution to that stalemate with the open-source text anonymisation software_Textwash_. This paper presents the empirical evaluation of the tool using the TILD criteria: a technical evaluation (how accurate is the tool?), an information loss evaluation (how much information is lost in the anonymisation process?) and a de-anonymisation test (can humans identify individuals from anonymised text data?). The findings suggest that Textwash performs similar to state-of-the-art entity recognition models and introduces a negligible information loss of 0.84%. For the de-anonymisation test, we tasked humans to identify individuals by name from a dataset of crowdsourced person descriptions of very famous, semi-famous and non-existing individuals. The de-anonymisation rate ranged from 1.01-2.01% for the realistic use cases of the tool. We replicated the findings in a second study and concluded that Textwash succeeds in removing potentially sensitive information that renders detailed person descriptions practically anonymous.


title: A squeezed mechanical oscillator with milli-second quantum decoherence

abstract: An enduring challenge in constructing mechanical oscillator-based hybrid quantum systems is to ensure engineered coupling to an auxiliary degree of freedom while maintaining good mechanical isolation from the environment, that is, low quantum decoherence, consisting of thermal decoherence and dephasing. Here, we overcome this challenge by introducing a superconducting circuit optomechanical platform which exhibits a low quantum decoherence while having a large optomechanical coupling, which allows us to prepare the quantum ground and squeezed states of motion with high fidelity. We directly measure a thermal decoherence rate of 20.5 Hz (corresponding to T_1 = 7.7 ms) as well as a pure dephasing rate of 0.09 Hz, resulted in a 100-fold improvement of quantum-state lifetime compared to the prior optomechanical systems. This enables us to reach to 0.07 quanta motional ground state occupation (93% fidelity) and realize mechanical squeezing of -2.7 dB below zero-point-fluctuation. Furthermore, we observe the free evolution of mechanical squeezed state, preserving its non-classical nature over milli-second timescales. Such ultra-low quantum decoherence not only increases the fidelity of quantum control and measurement of macroscopic mechanical systems, but may also benefit interfacing with qubits, and places the system in a parameter regime suitable for tests of quantum gravity. (Keywords: Quantum optomechanics, Superconducting circuit electromechanics, Quantum squeezing, Quantum memory, Quantum coherence)


title: Period domains for gravitational instantons

abstract: Based on the uniformization theorems of gravitation instantons by Chen--Chen arXiv:1505.01790, Chen--Viaclovsky arXiv:2110.06498, Collins--Jacob--Lin arXiv:2111.09260, and Hein--Sun--Viaclovsky--Zhang arXiv:2111.09287, we prove that the period maps for the ALH*, ALG, and ALG* gravitational instantons are surjective.


title: The phase structure and effective action of 3D CDT at higher spatial genus

abstract: We perform a detailed investigation of the phase structure and the semiclassical effective action of (2+1)-dimensional Causal Dynamical Triangulations (CDT) quantum gravity using computer simulations. On the one hand, we study the effect of enlarging the ensemble of triangulations by relaxing the simplicial manifold conditions in a controlled way. On the other hand, we cast a first look at CDT geometries with spatial topology beyond that of the sphere or torus. We measure the phase structure of the model for several triangulation ensembles and spatial topologies, finding evidence that the phase structure is qualitatively unaffected by these generalizations. Furthermore, we determine the effective action for the spatial volumes of the system, again varying the simplicial manifold conditions and the spatial topology. In all cases where we were able to gather sufficient statistics, we found the resulting effective action to be consistent with a minisuperspace action derived from continuum Einstein gravity. We interpret our overall results as evidence that 1) partially relaxing simplicial manifold conditions or changing the spatial genus does not affect the continuum limit of 3D CDT and that 2) increasing the spatial genus of the system likely does not influence the leading-order terms in the emergent effective action.


title: Target Speaker Voice Activity Detection with Transformers and Its Integration with End-to-End Neural Diarization

abstract: This paper describes a speaker diarization model based on target speaker voice activity detection (TS-VAD) using transformers. To overcome the original TS-VAD model's drawback of being unable to handle an arbitrary number of speakers, we investigate model architectures that use input tensors with variable-length time and speaker dimensions. Transformer layers are applied to the speaker axis to make the model output insensitive to the order of the speaker profiles provided to the TS-VAD model. Time-wise sequential layers are interspersed between these speaker-wise transformer layers to allow the temporal and cross-speaker correlations of the input speech signal to be captured. We also extend a diarization model based on end-to-end neural diarization with encoder-decoder based attractors (EEND-EDA) by replacing its dot-product-based speaker detection layer with the transformer-based TS-VAD. Experimental results on VoxConverse show that using the transformers for the cross-speaker modeling reduces the diarization error rate (DER) of TS-VAD by 11.3%, achieving a new state-of-the-art (SOTA) DER of 4.57%. Also, our extended EEND-EDA reduces DER by 6.9% on the CALLHOME dataset relative to the original EEND-EDA with a similar model size, achieving a new SOTA DER of 11.18% under a widely used training data setting.